runsolver version 3.4.0 (svn: 3018) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 15822 MiB (14916 MiB free)
  memory of node 1: 16124 MiB (15062 MiB free)
  node distances:
     10  21
     21  10

command line: runsolver -W 1800 ./pigeonPur.py ./benchmarks/sat-2002/biere/dinphil/dp10u09.shuffled.cnf 

running on 1 cores: 0

Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Linux 4.18.0-301.1.el8.x86_64
solver pid=232571, runsolver pid=232567
Current StackSize limit: 8192 KiB


[startup+0.102935 s]*
/proc/loadavg: 0.01 0.01 0.00 6/533 232576
/proc/meminfo: memFree=30666060/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=42528 memory=14804 CPUtime=0.06 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 2570 0 0 0 6 0 0 0 20 0 1 0 132907797 43548672 3701 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 2 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 10632 3701 1460 2 0 3044 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 42528 KiB
Current children cumulated memory: 14804 KiB

[startup+0.221903 s]*
/proc/loadavg: 0.01 0.01 0.00 5/533 232576
/proc/meminfo: memFree=30645776/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=46556 memory=19512 CPUtime=0.16 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 3801 0 0 0 16 0 0 0 20 0 1 0 132907797 47673344 4878 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 11639 4878 1460 2 0 4051 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 46556 KiB
Current children cumulated memory: 19512 KiB

[startup+0.317902 s]*
/proc/loadavg: 0.01 0.01 0.00 4/533 232576
/proc/meminfo: memFree=30645948/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=46556 memory=19512 CPUtime=0.24 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 3802 0 0 0 24 0 0 0 20 0 1 0 132907797 47673344 4878 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 11639 4878 1460 2 0 4051 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 46556 KiB
Current children cumulated memory: 19512 KiB

[startup+0.700897 s]
/proc/loadavg: 0.01 0.01 0.00 5/533 232576
/proc/meminfo: memFree=30645668/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=46556 memory=19512 CPUtime=0.57 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 3805 0 0 0 57 0 0 0 20 0 1 0 132907797 47673344 4878 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 11639 4878 1460 2 0 4051 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 46556 KiB
Current children cumulated memory: 19512 KiB

[startup+1.5009 s]
/proc/loadavg: 0.01 0.01 0.00 6/533 232576
/proc/meminfo: memFree=30644976/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=46556 memory=19512 CPUtime=1.35 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 3810 0 0 0 135 0 0 0 20 0 1 0 132907797 47673344 4878 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 11639 4878 1460 2 0 4051 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 46556 KiB
Current children cumulated memory: 19512 KiB

[startup+3.1189 s]
/proc/loadavg: 0.25 0.06 0.02 6/533 232576
/proc/meminfo: memFree=30645116/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=46556 memory=19512 CPUtime=2.92 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 3820 0 0 0 292 0 0 0 20 0 1 0 132907797 47673344 4878 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 11639 4878 1460 2 0 4051 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 46556 KiB
Current children cumulated memory: 19512 KiB

[startup+6.3009 s]
/proc/loadavg: 0.25 0.06 0.02 6/533 232576
/proc/meminfo: memFree=30643656/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21092 CPUtime=6.04 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4211 0 0 0 604 0 0 0 20 0 1 0 132907797 49246208 5273 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5273 1460 2 0 4435 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21092 KiB

[startup+12.7009 s]
/proc/loadavg: 0.47 0.10 0.03 6/533 232576
/proc/meminfo: memFree=30639156/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21092 CPUtime=12.3 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4211 0 0 0 1230 0 0 0 20 0 1 0 132907797 49246208 5273 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5273 1460 2 0 4435 0
Current children cumulated CPU time: 12.3 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21092 KiB

[startup+25.5009 s]
/proc/loadavg: 1.03 0.25 0.08 6/534 232578
/proc/meminfo: memFree=30638924/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21092 CPUtime=24.8 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4211 0 0 0 2480 0 0 0 20 0 1 0 132907797 49246208 5273 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5273 1460 2 0 4435 0
Current children cumulated CPU time: 24.8 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21092 KiB

[startup+51.1229 s]
/proc/loadavg: 1.70 0.47 0.16 6/534 232578
/proc/meminfo: memFree=30638068/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21092 CPUtime=49.82 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4211 0 0 0 4982 0 0 0 20 0 1 0 132907797 49246208 5273 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5273 1460 2 0 4435 0
Current children cumulated CPU time: 49.82 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21092 KiB

[startup+102.301 s]
/proc/loadavg: 2.60 0.92 0.33 6/535 232588
/proc/meminfo: memFree=30637676/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21092 CPUtime=99.81 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4212 0 0 0 9981 0 0 0 20 0 1 0 132907797 49246208 5273 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5273 1460 2 0 4435 0
Current children cumulated CPU time: 99.81 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21092 KiB

[startup+162.301 s]
/proc/loadavg: 2.85 1.30 0.50 6/535 232598
/proc/meminfo: memFree=30637632/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21092 CPUtime=158.43 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4212 0 0 0 15842 1 0 0 20 0 1 0 132907797 49246208 5273 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5273 1460 2 0 4435 0
Current children cumulated CPU time: 158.43 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21092 KiB

[startup+222.301 s]
/proc/loadavg: 2.95 1.61 0.66 6/535 232608
/proc/meminfo: memFree=30636968/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21092 CPUtime=217.05 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4212 0 0 0 21704 1 0 0 20 0 1 0 132907797 49246208 5273 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5273 1460 2 0 4435 0
Current children cumulated CPU time: 217.05 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21092 KiB

[startup+282.301 s]
/proc/loadavg: 2.98 1.87 0.81 6/535 232618
/proc/meminfo: memFree=30636960/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21092 CPUtime=275.66 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4213 0 0 0 27565 1 0 0 20 0 1 0 132907797 49246208 5273 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5273 1460 2 0 4435 0
Current children cumulated CPU time: 275.66 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21092 KiB

[startup+342.301 s]
/proc/loadavg: 3.00 2.08 0.95 6/533 232627
/proc/meminfo: memFree=30636904/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21092 CPUtime=334.28 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4213 0 0 0 33427 1 0 0 20 0 1 0 132907797 49246208 5273 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5273 1460 2 0 4435 0
Current children cumulated CPU time: 334.28 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21092 KiB

[startup+402.301 s]
/proc/loadavg: 3.00 2.25 1.08 6/533 232637
/proc/meminfo: memFree=30636956/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21312 CPUtime=392.9 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4476 0 0 0 39289 1 0 0 20 0 1 0 132907797 49246208 5328 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5328 1460 2 0 4435 0
Current children cumulated CPU time: 392.9 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21312 KiB

[startup+462.301 s]
/proc/loadavg: 3.00 2.39 1.20 6/533 232647
/proc/meminfo: memFree=30636956/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21312 CPUtime=451.53 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4483 0 0 0 45152 1 0 0 20 0 1 0 132907797 49246208 5328 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5328 1460 2 0 4435 0
Current children cumulated CPU time: 451.53 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21312 KiB

[startup+522.301 s]
/proc/loadavg: 3.00 2.50 1.32 6/533 232656
/proc/meminfo: memFree=30636836/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21312 CPUtime=510.15 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4484 0 0 0 51014 1 0 0 20 0 1 0 132907797 49246208 5328 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5328 1460 2 0 4435 0
Current children cumulated CPU time: 510.15 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21312 KiB

[startup+582.301 s]
/proc/loadavg: 3.16 2.64 1.44 6/532 232667
/proc/meminfo: memFree=30636904/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21312 CPUtime=568.78 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4484 0 0 0 56877 1 0 0 20 0 1 0 132907797 49246208 5328 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5328 1460 2 0 4435 0
Current children cumulated CPU time: 568.78 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21312 KiB

[startup+642.301 s]
/proc/loadavg: 3.06 2.71 1.54 6/532 232676
/proc/meminfo: memFree=30636788/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21312 CPUtime=627.4 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4485 0 0 0 62739 1 0 0 20 0 1 0 132907797 49246208 5328 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5328 1460 2 0 4435 0
Current children cumulated CPU time: 627.4 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21312 KiB

[startup+702.301 s]
/proc/loadavg: 3.02 2.76 1.64 6/533 232686
/proc/meminfo: memFree=30636220/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21312 CPUtime=686.03 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4485 0 0 0 68602 1 0 0 20 0 1 0 132907797 49246208 5328 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5328 1460 2 0 4435 0
Current children cumulated CPU time: 686.03 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21312 KiB

[startup+762.301 s]
/proc/loadavg: 3.00 2.81 1.73 6/533 232695
/proc/meminfo: memFree=30636192/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21312 CPUtime=744.65 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4486 0 0 0 74464 1 0 0 20 0 1 0 132907797 49246208 5328 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5328 1460 2 0 4435 0
Current children cumulated CPU time: 744.65 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21312 KiB

[startup+822.301 s]
/proc/loadavg: 3.00 2.85 1.81 6/533 232706
/proc/meminfo: memFree=30636192/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21312 CPUtime=803.28 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4488 0 0 0 80327 1 0 0 20 0 1 0 132907797 49246208 5328 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5328 1460 2 0 4435 0
Current children cumulated CPU time: 803.28 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21312 KiB

[startup+882.301 s]
/proc/loadavg: 3.00 2.88 1.89 6/533 232719
/proc/meminfo: memFree=30636236/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21312 CPUtime=861.89 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4489 0 0 0 86188 1 0 0 20 0 1 0 132907797 49246208 5328 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5328 1460 2 0 4435 0
Current children cumulated CPU time: 861.89 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21312 KiB

[startup+942.301 s]
/proc/loadavg: 3.00 2.90 1.96 6/533 232728
/proc/meminfo: memFree=30636136/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21312 CPUtime=920.52 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4490 0 0 0 92051 1 0 0 20 0 1 0 132907797 49246208 5328 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5328 1460 2 0 4435 0
Current children cumulated CPU time: 920.52 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21312 KiB

[startup+1002.3 s]
/proc/loadavg: 3.00 2.92 2.03 7/532 232737
/proc/meminfo: memFree=30636300/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21312 CPUtime=979.14 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4490 0 0 0 97913 1 0 0 20 0 1 0 132907797 49246208 5328 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5328 1460 2 0 4435 0
Current children cumulated CPU time: 979.14 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21312 KiB

[startup+1062.3 s]
/proc/loadavg: 3.46 3.04 2.12 6/533 232747
/proc/meminfo: memFree=30636264/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21312 CPUtime=1037.76 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4490 0 0 0 103775 1 0 0 20 0 1 0 132907797 49246208 5328 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5328 1460 2 0 4435 0
Current children cumulated CPU time: 1037.76 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21312 KiB

[startup+1122.3 s]
/proc/loadavg: 5.10 3.59 2.37 6/533 232758
/proc/meminfo: memFree=30636256/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21312 CPUtime=1096.39 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4491 0 0 0 109638 1 0 0 20 0 1 0 132907797 49246208 5328 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5328 1460 2 0 4435 0
Current children cumulated CPU time: 1096.39 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21312 KiB

[startup+1182.3 s]
/proc/loadavg: 5.35 3.97 2.58 6/533 232768
/proc/meminfo: memFree=30634440/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21328 CPUtime=1155 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4496 0 0 0 115499 1 0 0 20 0 1 0 132907797 49246208 5332 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5332 1460 2 0 4435 0
Current children cumulated CPU time: 1155 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21328 KiB

[startup+1242.3 s]
/proc/loadavg: 4.14 3.87 2.64 6/533 232777
/proc/meminfo: memFree=30634380/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21328 CPUtime=1213.62 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4501 0 0 0 121361 1 0 0 20 0 1 0 132907797 49246208 5332 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5332 1460 2 0 4435 0
Current children cumulated CPU time: 1213.62 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21328 KiB

[startup+1302.3 s]
/proc/loadavg: 3.42 3.71 2.66 6/533 232788
/proc/meminfo: memFree=30634552/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21328 CPUtime=1272.23 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4506 0 0 0 127222 1 0 0 20 0 1 0 132907797 49246208 5332 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5332 1460 2 0 4435 0
Current children cumulated CPU time: 1272.23 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21328 KiB

[startup+1362.3 s]
/proc/loadavg: 3.15 3.58 2.68 6/533 232799
/proc/meminfo: memFree=30634244/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21328 CPUtime=1330.84 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4511 0 0 0 133083 1 0 0 20 0 1 0 132907797 49246208 5332 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5332 1460 2 0 4435 0
Current children cumulated CPU time: 1330.84 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21328 KiB

[startup+1422.3 s]
/proc/loadavg: 3.05 3.47 2.71 6/533 232809
/proc/meminfo: memFree=30634356/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21328 CPUtime=1389.46 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4516 0 0 0 138945 1 0 0 20 0 1 0 132907797 49246208 5332 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5332 1460 2 0 4435 0
Current children cumulated CPU time: 1389.46 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21328 KiB

[startup+1482.3 s]
/proc/loadavg: 3.02 3.38 2.73 6/533 232820
/proc/meminfo: memFree=30634256/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21328 CPUtime=1448.07 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4521 0 0 0 144806 1 0 0 20 0 1 0 132907797 49246208 5332 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5332 1460 2 0 4435 0
Current children cumulated CPU time: 1448.07 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21328 KiB

[startup+1542.3 s]
/proc/loadavg: 3.04 3.32 2.75 6/534 232830
/proc/meminfo: memFree=30634280/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21328 CPUtime=1506.68 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4526 0 0 0 150667 1 0 0 20 0 1 0 132907797 49246208 5332 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5332 1460 2 0 4435 0
Current children cumulated CPU time: 1506.68 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21328 KiB

[startup+1602.3 s]
/proc/loadavg: 3.01 3.26 2.77 6/534 232839
/proc/meminfo: memFree=30634416/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21328 CPUtime=1565.29 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4531 0 0 0 156528 1 0 0 20 0 1 0 132907797 49246208 5332 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5332 1460 2 0 4435 0
Current children cumulated CPU time: 1565.29 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21328 KiB

[startup+1662.3 s]
/proc/loadavg: 3.31 3.28 2.81 6/534 232848
/proc/meminfo: memFree=30634312/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21328 CPUtime=1623.91 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4536 0 0 0 162390 1 0 0 20 0 1 0 132907797 49246208 5332 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5332 1460 2 0 4435 0
Current children cumulated CPU time: 1623.91 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21328 KiB

[startup+1722.3 s]
/proc/loadavg: 3.15 3.24 2.83 6/534 232859
/proc/meminfo: memFree=30634268/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21328 CPUtime=1682.52 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4541 0 0 0 168251 1 0 0 20 0 1 0 132907797 49246208 5332 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5332 1460 2 0 4435 0
Current children cumulated CPU time: 1682.52 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21328 KiB

[startup+1782.3 s]
/proc/loadavg: 3.06 3.19 2.84 6/534 232870
/proc/meminfo: memFree=30634248/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21328 CPUtime=1741.13 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4546 0 0 0 174112 1 0 0 20 0 1 0 132907797 49246208 5332 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5332 1460 2 0 4435 0
Current children cumulated CPU time: 1741.13 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21328 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 3.04 3.18 2.84 6/533 232879
/proc/meminfo: memFree=30634412/32713960 swapFree=33554428/33554428
[pid=232571] ppid=232567 vsize=48092 memory=21328 CPUtime=1758.43 cores=0
/proc/232571/stat : 232571 (pigeonPur.py) R 232567 232571 232547 0 -1 4194304 4546 0 0 0 175842 1 0 0 20 0 1 0 132907797 49246208 5332 18446744073709551615 94178572718080 94178572722192 140726147459856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94178574822656 94178574823428 94178599424000 140726147465696 140726147465785 140726147465785 140726147469289 0
/proc/232571/statm: 12023 5332 1460 2 0 4435 0
Current children cumulated CPU time: 1758.43 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 21328 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Detected pigeons:

[startup+1800.05 s]
# the end of solver process 232571 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1758.45 s, system=0.017744 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 1800.05
CPU time (s): 1758.46
CPU user time (s): 1758.45
CPU system time (s): 0.017744
CPU usage (%): 97.6895
Max. virtual memory (cumulated for all children) (KiB): 48092
Max. memory (cumulated for all children) (KiB): 21328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1758.45
system time used= 0.017744
maximum resident set size= 21328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4548
page faults= 0
swaps= 0
block input operations= 600
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28
involuntary context switches= 24839


# summary of solver processes directly reported to runsolver:
#   pid: 232571
#   total CPU time (s): 1758.46
#   total CPU user time (s): 1758.45
#   total CPU system time (s): 0.017744

??? end of timestamper thread
runsolver used 14.592 second user time and 18.0531 second system time

The end
