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 (14923 MiB free)
  memory of node 1: 16124 MiB (15022 MiB free)
  node distances:
     10  21
     21  10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/goldberg/rand_net/rand_net70-40-1.shuffled.cnf 

running on 1 cores: 6

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


[startup+0.10056 s]*
/proc/loadavg: 0.05 0.01 0.00 9/550 330492
/proc/meminfo: memFree=30621868/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=14336 CPUtime=0.06 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2482 0 0 0 6 0 0 0 20 0 1 0 191297383 43118592 3584 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 3584 1487 2 0 2939 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 14336 KiB

[startup+0.228561 s]*
/proc/loadavg: 0.05 0.01 0.00 9/550 330492
/proc/meminfo: memFree=30616120/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=14336 CPUtime=0.16 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2483 0 0 0 16 0 0 0 20 0 1 0 191297383 43118592 3584 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 3584 1487 2 0 2939 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 14336 KiB

[startup+0.321561 s]*
/proc/loadavg: 0.05 0.01 0.00 7/550 330492
/proc/meminfo: memFree=30615020/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=14336 CPUtime=0.23 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2483 0 0 0 23 0 0 0 20 0 1 0 191297383 43118592 3584 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 3584 1487 2 0 2939 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 14336 KiB

[startup+0.700561 s]
/proc/loadavg: 0.05 0.01 0.00 7/550 330492
/proc/meminfo: memFree=30613400/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=14336 CPUtime=0.55 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2483 0 0 0 55 0 0 0 20 0 1 0 191297383 43118592 3584 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 3584 1487 2 0 2939 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 14336 KiB

[startup+1.50056 s]
/proc/loadavg: 0.05 0.01 0.00 9/550 330492
/proc/meminfo: memFree=30613132/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=14336 CPUtime=1.33 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2484 0 0 0 133 0 0 0 20 0 1 0 191297383 43118592 3584 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 3584 1487 2 0 2939 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 14336 KiB

[startup+3.12656 s]
/proc/loadavg: 0.05 0.01 0.00 9/550 330492
/proc/meminfo: memFree=30613384/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=14336 CPUtime=2.91 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2485 0 0 0 291 0 0 0 20 0 1 0 191297383 43118592 3584 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 3584 1487 2 0 2939 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 14336 KiB

[startup+6.30056 s]
/proc/loadavg: 0.45 0.10 0.03 9/551 330496
/proc/meminfo: memFree=30612568/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=14336 CPUtime=6.01 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2499 0 0 0 601 0 0 0 20 0 1 0 191297383 43118592 3584 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 3584 1487 2 0 2939 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 14336 KiB

[startup+12.7006 s]
/proc/loadavg: 0.81 0.18 0.06 9/551 330496
/proc/meminfo: memFree=30611752/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=14600 CPUtime=12.26 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2542 0 0 0 1226 0 0 0 20 0 1 0 191297383 43118592 3650 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 3650 1487 2 0 2939 0
Current children cumulated CPU time: 12.26 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 14600 KiB

[startup+25.5006 s]
/proc/loadavg: 1.74 0.42 0.14 9/551 330496
/proc/meminfo: memFree=30610976/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=14600 CPUtime=24.75 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2567 0 0 0 2475 0 0 0 20 0 1 0 191297383 43118592 3650 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 3650 1487 2 0 2939 0
Current children cumulated CPU time: 24.75 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 14600 KiB

[startup+51.1326 s]
/proc/loadavg: 2.85 0.78 0.27 9/552 330506
/proc/meminfo: memFree=30608288/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=14864 CPUtime=49.78 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2620 0 0 0 4978 0 0 0 20 0 1 0 191297383 43118592 3716 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 3716 1487 2 0 2939 0
Current children cumulated CPU time: 49.78 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 14864 KiB

[startup+102.301 s]
/proc/loadavg: 4.37 1.50 0.54 9/553 330516
/proc/meminfo: memFree=30607588/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=15128 CPUtime=99.77 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2636 0 0 0 9977 0 0 0 20 0 1 0 191297383 43118592 3782 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 3782 1487 2 0 2939 0
Current children cumulated CPU time: 99.77 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 15128 KiB

[startup+162.301 s]
/proc/loadavg: 4.84 2.16 0.83 9/554 330527
/proc/meminfo: memFree=30607280/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=15128 CPUtime=158.37 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2660 0 0 0 15837 0 0 0 20 0 1 0 191297383 43118592 3782 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 3782 1487 2 0 2939 0
Current children cumulated CPU time: 158.37 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 15128 KiB

[startup+222.301 s]
/proc/loadavg: 4.94 2.68 1.09 9/554 330536
/proc/meminfo: memFree=30606052/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=15128 CPUtime=216.97 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2675 0 0 0 21697 0 0 0 20 0 1 0 191297383 43118592 3782 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 3782 1487 2 0 2939 0
Current children cumulated CPU time: 216.97 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 15128 KiB

[startup+282.301 s]
/proc/loadavg: 4.98 3.10 1.34 9/554 330547
/proc/meminfo: memFree=30601420/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=16548 CPUtime=275.58 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2685 0 0 0 27558 0 0 0 20 0 1 0 191297383 43118592 4137 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 4137 1487 2 0 2939 0
Current children cumulated CPU time: 275.58 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 16548 KiB

[startup+342.301 s]
/proc/loadavg: 5.00 3.45 1.57 9/551 330556
/proc/meminfo: memFree=30601280/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=16548 CPUtime=334.21 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2697 0 0 0 33421 0 0 0 20 0 1 0 191297383 43118592 4137 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 4137 1487 2 0 2939 0
Current children cumulated CPU time: 334.21 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 16548 KiB

[startup+402.301 s]
/proc/loadavg: 5.00 3.74 1.79 9/550 330566
/proc/meminfo: memFree=30601196/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=16712 CPUtime=392.85 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2701 0 0 0 39285 0 0 0 20 0 1 0 191297383 43118592 4178 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 4178 1487 2 0 2939 0
Current children cumulated CPU time: 392.85 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 16712 KiB

[startup+462.301 s]
/proc/loadavg: 5.05 3.98 2.00 9/549 330575
/proc/meminfo: memFree=30600920/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=16712 CPUtime=451.5 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2703 0 0 0 45150 0 0 0 20 0 1 0 191297383 43118592 4178 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 4178 1487 2 0 2939 0
Current children cumulated CPU time: 451.5 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 16712 KiB

[startup+522.301 s]
/proc/loadavg: 5.02 4.17 2.19 9/549 330585
/proc/meminfo: memFree=30601120/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=16712 CPUtime=510.14 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2706 0 0 0 51014 0 0 0 20 0 1 0 191297383 43118592 4178 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 4178 1487 2 0 2939 0
Current children cumulated CPU time: 510.14 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 16712 KiB

[startup+582.301 s]
/proc/loadavg: 5.00 4.32 2.37 9/549 330596
/proc/meminfo: memFree=30599976/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=16712 CPUtime=568.79 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2708 0 0 0 56879 0 0 0 20 0 1 0 191297383 43118592 4178 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 4178 1487 2 0 2939 0
Current children cumulated CPU time: 568.79 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 16712 KiB

[startup+642.301 s]
/proc/loadavg: 5.15 4.51 2.55 9/550 330607
/proc/meminfo: memFree=30599840/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=16712 CPUtime=627.43 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2710 0 0 0 62743 0 0 0 20 0 1 0 191297383 43118592 4178 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 4178 1487 2 0 2939 0
Current children cumulated CPU time: 627.43 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 16712 KiB

[startup+702.301 s]
/proc/loadavg: 5.09 4.61 2.71 9/550 330616
/proc/meminfo: memFree=30598544/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=16712 CPUtime=686.08 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2717 0 0 0 68608 0 0 0 20 0 1 0 191297383 43118592 4178 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 4178 1487 2 0 2939 0
Current children cumulated CPU time: 686.08 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 16712 KiB

[startup+762.301 s]
/proc/loadavg: 5.03 4.69 2.86 9/550 330626
/proc/meminfo: memFree=30598252/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=16712 CPUtime=744.72 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2719 0 0 0 74472 0 0 0 20 0 1 0 191297383 43118592 4178 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 4178 1487 2 0 2939 0
Current children cumulated CPU time: 744.72 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 16712 KiB

[startup+822.301 s]
/proc/loadavg: 5.01 4.75 3.00 9/550 330635
/proc/meminfo: memFree=30598416/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=16712 CPUtime=803.37 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2726 0 0 0 80337 0 0 0 20 0 1 0 191297383 43118592 4178 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 4178 1487 2 0 2939 0
Current children cumulated CPU time: 803.37 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 16712 KiB

[startup+882.301 s]
/proc/loadavg: 5.00 4.80 3.13 9/551 330646
/proc/meminfo: memFree=30598232/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=16712 CPUtime=862.01 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2736 0 0 0 86201 0 0 0 20 0 1 0 191297383 43118592 4178 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 4178 1487 2 0 2939 0
Current children cumulated CPU time: 862.01 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 16712 KiB

[startup+942.301 s]
/proc/loadavg: 5.00 4.84 3.25 9/552 330657
/proc/meminfo: memFree=30597908/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=16712 CPUtime=920.65 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2738 0 0 0 92065 0 0 0 20 0 1 0 191297383 43118592 4178 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 4178 1487 2 0 2939 0
Current children cumulated CPU time: 920.65 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 16712 KiB

[startup+1002.3 s]
/proc/loadavg: 5.00 4.87 3.36 9/552 330672
/proc/meminfo: memFree=30597616/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=16712 CPUtime=979.29 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2740 0 0 0 97929 0 0 0 20 0 1 0 191297383 43118592 4178 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 4178 1487 2 0 2939 0
Current children cumulated CPU time: 979.29 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 16712 KiB

[startup+1062.3 s]
/proc/loadavg: 5.00 4.89 3.46 9/552 330681
/proc/meminfo: memFree=30597440/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=16712 CPUtime=1037.93 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2747 0 0 0 103792 1 0 0 20 0 1 0 191297383 43118592 4178 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 4178 1487 2 0 2939 0
Current children cumulated CPU time: 1037.93 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 16712 KiB

[startup+1122.3 s]
/proc/loadavg: 5.46 5.04 3.60 9/552 330691
/proc/meminfo: memFree=30597344/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=16712 CPUtime=1096.57 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2750 0 0 0 109656 1 0 0 20 0 1 0 191297383 43118592 4178 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 4178 1487 2 0 2939 0
Current children cumulated CPU time: 1096.57 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 16712 KiB

[startup+1182.3 s]
/proc/loadavg: 5.42 5.11 3.72 9/550 330701
/proc/meminfo: memFree=30597104/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42108 memory=16712 CPUtime=1155.21 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2762 0 0 0 115520 1 0 0 20 0 1 0 191297383 43118592 4178 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10527 4178 1487 2 0 2939 0
Current children cumulated CPU time: 1155.21 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 16712 KiB

[startup+1242.3 s]
/proc/loadavg: 5.15 5.08 3.80 9/550 330712
/proc/meminfo: memFree=30596500/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42244 memory=16868 CPUtime=1213.85 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2793 0 0 0 121384 1 0 0 20 0 1 0 191297383 43257856 4217 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10561 4217 1487 2 0 2973 0
Current children cumulated CPU time: 1213.85 s
Current children cumulated vsize: 42244 KiB
Current children cumulated memory: 16868 KiB

[startup+1302.3 s]
/proc/loadavg: 5.05 5.07 3.88 9/549 330733
/proc/meminfo: memFree=30596304/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42516 memory=17124 CPUtime=1272.49 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2849 0 0 0 127248 1 0 0 20 0 1 0 191297383 43536384 4281 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10629 4281 1487 2 0 3041 0
Current children cumulated CPU time: 1272.49 s
Current children cumulated vsize: 42516 KiB
Current children cumulated memory: 17124 KiB

[startup+1362.3 s]
/proc/loadavg: 5.02 5.05 3.95 9/551 330745
/proc/meminfo: memFree=30596148/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42516 memory=17124 CPUtime=1331.14 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2851 0 0 0 133113 1 0 0 20 0 1 0 191297383 43536384 4281 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10629 4281 1487 2 0 3041 0
Current children cumulated CPU time: 1331.14 s
Current children cumulated vsize: 42516 KiB
Current children cumulated memory: 17124 KiB

[startup+1422.3 s]
/proc/loadavg: 5.00 5.04 4.02 9/552 330755
/proc/meminfo: memFree=30595800/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42516 memory=17124 CPUtime=1389.79 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2858 0 0 0 138978 1 0 0 20 0 1 0 191297383 43536384 4281 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10629 4281 1487 2 0 3041 0
Current children cumulated CPU time: 1389.79 s
Current children cumulated vsize: 42516 KiB
Current children cumulated memory: 17124 KiB

[startup+1482.3 s]
/proc/loadavg: 5.00 5.03 4.09 9/552 330764
/proc/meminfo: memFree=30595616/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42516 memory=17124 CPUtime=1448.43 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2865 0 0 0 144842 1 0 0 20 0 1 0 191297383 43536384 4281 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10629 4281 1487 2 0 3041 0
Current children cumulated CPU time: 1448.43 s
Current children cumulated vsize: 42516 KiB
Current children cumulated memory: 17124 KiB

[startup+1542.3 s]
/proc/loadavg: 5.00 5.02 4.15 9/552 330774
/proc/meminfo: memFree=30595480/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42516 memory=17124 CPUtime=1507.07 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2867 0 0 0 150706 1 0 0 20 0 1 0 191297383 43536384 4281 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10629 4281 1487 2 0 3041 0
Current children cumulated CPU time: 1507.07 s
Current children cumulated vsize: 42516 KiB
Current children cumulated memory: 17124 KiB

[startup+1602.3 s]
/proc/loadavg: 5.62 5.15 4.25 9/551 330784
/proc/meminfo: memFree=30595220/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42516 memory=17124 CPUtime=1565.72 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2879 0 0 0 156571 1 0 0 20 0 1 0 191297383 43536384 4281 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10629 4281 1487 2 0 3041 0
Current children cumulated CPU time: 1565.72 s
Current children cumulated vsize: 42516 KiB
Current children cumulated memory: 17124 KiB

[startup+1662.3 s]
/proc/loadavg: 8.20 5.95 4.58 9/550 330794
/proc/meminfo: memFree=30594996/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42672 memory=17124 CPUtime=1624.37 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2888 0 0 0 162436 1 0 0 20 0 1 0 191297383 43696128 4281 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10668 4281 1487 2 0 3080 0
Current children cumulated CPU time: 1624.37 s
Current children cumulated vsize: 42672 KiB
Current children cumulated memory: 17124 KiB

[startup+1722.3 s]
/proc/loadavg: 9.27 6.70 4.92 9/549 330804
/proc/meminfo: memFree=30594168/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42672 memory=17124 CPUtime=1683.02 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2890 0 0 0 168301 1 0 0 20 0 1 0 191297383 43696128 4281 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10668 4281 1487 2 0 3080 0
Current children cumulated CPU time: 1683.02 s
Current children cumulated vsize: 42672 KiB
Current children cumulated memory: 17124 KiB

[startup+1782.3 s]
/proc/loadavg: 7.25 6.62 5.01 9/549 330814
/proc/meminfo: memFree=30594232/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42672 memory=17316 CPUtime=1741.68 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2902 0 0 0 174167 1 0 0 20 0 1 0 191297383 43696128 4329 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10668 4329 1487 2 0 3080 0
Current children cumulated CPU time: 1741.68 s
Current children cumulated vsize: 42672 KiB
Current children cumulated memory: 17316 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 6.68 6.53 5.02 9/550 330816
/proc/meminfo: memFree=30594180/32713960 swapFree=33554428/33554428
[pid=330482] ppid=330479 vsize=42672 memory=17316 CPUtime=1758.99 cores=6
/proc/330482/stat : 330482 (pigeonPurSampli) R 330479 330482 330463 0 -1 4194304 2902 0 0 0 175898 1 0 0 20 0 1 0 191297383 43696128 4329 18446744073709551615 93863130787840 93863130791952 140720891776880 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 2 0 0 93863132892416 93863132893188 93863135141888 140720891785748 140720891785858 140720891785858 140720891789281 0
/proc/330482/statm: 10668 4329 1487 2 0 3080 0
Current children cumulated CPU time: 1758.99 s
Current children cumulated vsize: 42672 KiB
Current children cumulated memory: 17316 KiB

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

Detected pigeons:

[startup+1800.04 s]
# the end of solver process 330482 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1759 s, system=0.012854 s

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

Child status: 1
Real time (s): 1800.04
CPU time (s): 1759.02
CPU user time (s): 1759
CPU system time (s): 0.012854
CPU usage (%): 97.721
Max. virtual memory (cumulated for all children) (KiB): 42672
Max. memory (cumulated for all children) (KiB): 17316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759
system time used= 0.012854
maximum resident set size= 17316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2904
page faults= 0
swaps= 0
block input operations= 472
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33
involuntary context switches= 24880


# summary of solver processes directly reported to runsolver:
#   pid: 330482
#   total CPU time (s): 1759.02
#   total CPU user time (s): 1759
#   total CPU system time (s): 0.012854

??? end of timestamper thread
runsolver used 15.1741 second user time and 18.9349 second system time

The end
