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-25-1.shuffled.cnf 

running on 1 cores: 2

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


[startup+0.100557 s]*
/proc/loadavg: 0.05 0.01 0.00 9/550 330492
/proc/meminfo: memFree=30621868/32713960 swapFree=33554428/33554428
[pid=330483] ppid=330467 vsize=40340 memory=12768 CPUtime=0.07 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2051 0 0 0 7 0 0 0 20 0 1 0 191297383 41308160 3192 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10085 3192 1492 2 0 2497 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 12768 KiB

[startup+0.228558 s]*
/proc/loadavg: 0.05 0.01 0.00 9/550 330492
/proc/meminfo: memFree=30616120/32713960 swapFree=33554428/33554428
[pid=330483] ppid=330467 vsize=40340 memory=12768 CPUtime=0.17 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2051 0 0 0 17 0 0 0 20 0 1 0 191297383 41308160 3192 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10085 3192 1492 2 0 2497 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 12768 KiB

[startup+0.324585 s]*
/proc/loadavg: 0.05 0.01 0.00 9/550 330492
/proc/meminfo: memFree=30615020/32713960 swapFree=33554428/33554428
[pid=330483] ppid=330467 vsize=40340 memory=12768 CPUtime=0.25 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2051 0 0 0 25 0 0 0 20 0 1 0 191297383 41308160 3192 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10085 3192 1492 2 0 2497 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 12768 KiB

[startup+0.700558 s]
/proc/loadavg: 0.05 0.01 0.00 8/550 330492
/proc/meminfo: memFree=30613400/32713960 swapFree=33554428/33554428
[pid=330483] ppid=330467 vsize=40340 memory=12768 CPUtime=0.57 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2051 0 0 0 57 0 0 0 20 0 1 0 191297383 41308160 3192 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10085 3192 1492 2 0 2497 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 12768 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=330483] ppid=330467 vsize=40340 memory=12768 CPUtime=1.35 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2051 0 0 0 135 0 0 0 20 0 1 0 191297383 41308160 3192 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10085 3192 1492 2 0 2497 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 12768 KiB

[startup+3.13356 s]
/proc/loadavg: 0.05 0.01 0.00 9/550 330492
/proc/meminfo: memFree=30613384/32713960 swapFree=33554428/33554428
[pid=330483] ppid=330467 vsize=40340 memory=12768 CPUtime=2.94 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2059 0 0 0 294 0 0 0 20 0 1 0 191297383 41308160 3192 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10085 3192 1492 2 0 2497 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 12768 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=330483] ppid=330467 vsize=40340 memory=12768 CPUtime=6.03 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2092 0 0 0 603 0 0 0 20 0 1 0 191297383 41308160 3192 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10085 3192 1492 2 0 2497 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 12768 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=330483] ppid=330467 vsize=40340 memory=12768 CPUtime=12.3 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2102 0 0 0 1230 0 0 0 20 0 1 0 191297383 41308160 3192 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10085 3192 1492 2 0 2497 0
Current children cumulated CPU time: 12.3 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 12768 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=330483] ppid=330467 vsize=40340 memory=12768 CPUtime=24.8 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2102 0 0 0 2480 0 0 0 20 0 1 0 191297383 41308160 3192 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10085 3192 1492 2 0 2497 0
Current children cumulated CPU time: 24.8 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 12768 KiB

[startup+51.1236 s]
/proc/loadavg: 2.85 0.78 0.27 9/552 330506
/proc/meminfo: memFree=30608288/32713960 swapFree=33554428/33554428
[pid=330483] ppid=330467 vsize=40340 memory=12768 CPUtime=49.84 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2102 0 0 0 4984 0 0 0 20 0 1 0 191297383 41308160 3192 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10085 3192 1492 2 0 2497 0
Current children cumulated CPU time: 49.84 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 12768 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=330483] ppid=330467 vsize=40340 memory=13032 CPUtime=99.86 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2111 0 0 0 9986 0 0 0 20 0 1 0 191297383 41308160 3258 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10085 3258 1492 2 0 2497 0
Current children cumulated CPU time: 99.86 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 13032 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=330483] ppid=330467 vsize=40340 memory=13032 CPUtime=158.5 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2118 0 0 0 15850 0 0 0 20 0 1 0 191297383 41308160 3258 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10085 3258 1492 2 0 2497 0
Current children cumulated CPU time: 158.5 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 13032 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=330483] ppid=330467 vsize=40340 memory=13032 CPUtime=217.13 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2125 0 0 0 21713 0 0 0 20 0 1 0 191297383 41308160 3258 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10085 3258 1492 2 0 2497 0
Current children cumulated CPU time: 217.13 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 13032 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=330483] ppid=330467 vsize=40340 memory=13188 CPUtime=275.77 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2133 0 0 0 27577 0 0 0 20 0 1 0 191297383 41308160 3297 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10085 3297 1492 2 0 2497 0
Current children cumulated CPU time: 275.77 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 13188 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=330483] ppid=330467 vsize=40340 memory=13188 CPUtime=334.41 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2155 0 0 0 33441 0 0 0 20 0 1 0 191297383 41308160 3297 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10085 3297 1492 2 0 2497 0
Current children cumulated CPU time: 334.41 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 13188 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=330483] ppid=330467 vsize=40340 memory=13188 CPUtime=393.05 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2162 0 0 0 39305 0 0 0 20 0 1 0 191297383 41308160 3297 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10085 3297 1492 2 0 2497 0
Current children cumulated CPU time: 393.05 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 13188 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=330483] ppid=330467 vsize=40340 memory=13400 CPUtime=451.69 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2179 0 0 0 45169 0 0 0 20 0 1 0 191297383 41308160 3350 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10085 3350 1492 2 0 2497 0
Current children cumulated CPU time: 451.69 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 13400 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=330483] ppid=330467 vsize=40340 memory=13400 CPUtime=510.34 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2181 0 0 0 51034 0 0 0 20 0 1 0 191297383 41308160 3350 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10085 3350 1492 2 0 2497 0
Current children cumulated CPU time: 510.34 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 13400 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=330483] ppid=330467 vsize=40476 memory=13916 CPUtime=568.99 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2318 0 0 0 56899 0 0 0 20 0 1 0 191297383 41447424 3479 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10119 3479 1492 2 0 2531 0
Current children cumulated CPU time: 568.99 s
Current children cumulated vsize: 40476 KiB
Current children cumulated memory: 13916 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=330483] ppid=330467 vsize=40608 memory=13916 CPUtime=627.63 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2324 0 0 0 62763 0 0 0 20 0 1 0 191297383 41582592 3479 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10152 3479 1492 2 0 2564 0
Current children cumulated CPU time: 627.63 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 13916 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=330483] ppid=330467 vsize=40608 memory=13916 CPUtime=686.27 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2337 0 0 0 68627 0 0 0 20 0 1 0 191297383 41582592 3479 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10152 3479 1492 2 0 2564 0
Current children cumulated CPU time: 686.27 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 13916 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=330483] ppid=330467 vsize=40744 memory=14172 CPUtime=744.92 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2373 0 0 0 74492 0 0 0 20 0 1 0 191297383 41721856 3543 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10186 3543 1492 2 0 2598 0
Current children cumulated CPU time: 744.92 s
Current children cumulated vsize: 40744 KiB
Current children cumulated memory: 14172 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=330483] ppid=330467 vsize=40888 memory=14172 CPUtime=803.56 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2402 0 0 0 80356 0 0 0 20 0 1 0 191297383 41869312 3543 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10222 3543 1492 2 0 2634 0
Current children cumulated CPU time: 803.56 s
Current children cumulated vsize: 40888 KiB
Current children cumulated memory: 14172 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=330483] ppid=330467 vsize=40888 memory=14172 CPUtime=862.2 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2403 0 0 0 86220 0 0 0 20 0 1 0 191297383 41869312 3543 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10222 3543 1492 2 0 2634 0
Current children cumulated CPU time: 862.2 s
Current children cumulated vsize: 40888 KiB
Current children cumulated memory: 14172 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=330483] ppid=330467 vsize=41176 memory=14684 CPUtime=920.85 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2506 0 0 0 92084 1 0 0 20 0 1 0 191297383 42164224 3671 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10294 3671 1492 2 0 2706 0
Current children cumulated CPU time: 920.85 s
Current children cumulated vsize: 41176 KiB
Current children cumulated memory: 14684 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=330483] ppid=330467 vsize=41332 memory=14684 CPUtime=979.49 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2527 0 0 0 97948 1 0 0 20 0 1 0 191297383 42323968 3671 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10333 3671 1492 2 0 2745 0
Current children cumulated CPU time: 979.49 s
Current children cumulated vsize: 41332 KiB
Current children cumulated memory: 14684 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=330483] ppid=330467 vsize=41484 memory=14684 CPUtime=1038.13 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2551 0 0 0 103812 1 0 0 20 0 1 0 191297383 42479616 3671 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10371 3671 1492 2 0 2783 0
Current children cumulated CPU time: 1038.13 s
Current children cumulated vsize: 41484 KiB
Current children cumulated memory: 14684 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=330483] ppid=330467 vsize=41484 memory=14936 CPUtime=1096.76 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2567 0 0 0 109675 1 0 0 20 0 1 0 191297383 42479616 3734 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10371 3734 1492 2 0 2783 0
Current children cumulated CPU time: 1096.76 s
Current children cumulated vsize: 41484 KiB
Current children cumulated memory: 14936 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=330483] ppid=330467 vsize=41624 memory=14936 CPUtime=1155.4 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2592 0 0 0 115539 1 0 0 20 0 1 0 191297383 42622976 3734 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10406 3734 1492 2 0 2818 0
Current children cumulated CPU time: 1155.4 s
Current children cumulated vsize: 41624 KiB
Current children cumulated memory: 14936 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=330483] ppid=330467 vsize=41764 memory=15192 CPUtime=1214.05 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2636 0 0 0 121404 1 0 0 20 0 1 0 191297383 42766336 3798 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10441 3798 1492 2 0 2853 0
Current children cumulated CPU time: 1214.05 s
Current children cumulated vsize: 41764 KiB
Current children cumulated memory: 15192 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=330483] ppid=330467 vsize=41764 memory=15192 CPUtime=1272.7 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2643 0 0 0 127269 1 0 0 20 0 1 0 191297383 42766336 3798 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10441 3798 1492 2 0 2853 0
Current children cumulated CPU time: 1272.7 s
Current children cumulated vsize: 41764 KiB
Current children cumulated memory: 15192 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=330483] ppid=330467 vsize=41900 memory=15192 CPUtime=1331.34 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2667 0 0 0 133133 1 0 0 20 0 1 0 191297383 42905600 3798 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10475 3798 1492 2 0 2887 0
Current children cumulated CPU time: 1331.34 s
Current children cumulated vsize: 41900 KiB
Current children cumulated memory: 15192 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=330483] ppid=330467 vsize=42184 memory=15448 CPUtime=1389.98 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2757 0 0 0 138997 1 0 0 20 0 1 0 191297383 43196416 3862 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10546 3862 1492 2 0 2958 0
Current children cumulated CPU time: 1389.98 s
Current children cumulated vsize: 42184 KiB
Current children cumulated memory: 15448 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=330483] ppid=330467 vsize=42320 memory=15708 CPUtime=1448.63 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2803 0 0 0 144862 1 0 0 20 0 1 0 191297383 43335680 3927 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10580 3927 1492 2 0 2992 0
Current children cumulated CPU time: 1448.63 s
Current children cumulated vsize: 42320 KiB
Current children cumulated memory: 15708 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=330483] ppid=330467 vsize=42456 memory=15708 CPUtime=1507.27 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2816 0 0 0 150726 1 0 0 20 0 1 0 191297383 43474944 3927 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10614 3927 1492 2 0 3026 0
Current children cumulated CPU time: 1507.27 s
Current children cumulated vsize: 42456 KiB
Current children cumulated memory: 15708 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=330483] ppid=330467 vsize=42456 memory=15952 CPUtime=1565.92 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2831 0 0 0 156591 1 0 0 20 0 1 0 191297383 43474944 3988 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10614 3988 1492 2 0 3026 0
Current children cumulated CPU time: 1565.92 s
Current children cumulated vsize: 42456 KiB
Current children cumulated memory: 15952 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=330483] ppid=330467 vsize=42728 memory=15952 CPUtime=1624.57 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2884 0 0 0 162456 1 0 0 20 0 1 0 191297383 43753472 3988 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10682 3988 1492 2 0 3094 0
Current children cumulated CPU time: 1624.57 s
Current children cumulated vsize: 42728 KiB
Current children cumulated memory: 15952 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=330483] ppid=330467 vsize=42728 memory=16208 CPUtime=1683.22 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2903 0 0 0 168321 1 0 0 20 0 1 0 191297383 43753472 4052 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10682 4052 1492 2 0 3094 0
Current children cumulated CPU time: 1683.22 s
Current children cumulated vsize: 42728 KiB
Current children cumulated memory: 16208 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=330483] ppid=330467 vsize=42728 memory=16208 CPUtime=1741.88 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2905 0 0 0 174187 1 0 0 20 0 1 0 191297383 43753472 4052 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10682 4052 1492 2 0 3094 0
Current children cumulated CPU time: 1741.88 s
Current children cumulated vsize: 42728 KiB
Current children cumulated memory: 16208 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=330483] ppid=330467 vsize=42728 memory=16208 CPUtime=1759.2 cores=2
/proc/330483/stat : 330483 (pigeonPurSampli) R 330467 330483 330446 0 -1 4194304 2905 0 0 0 175919 1 0 0 20 0 1 0 191297383 43753472 4052 18446744073709551615 94804026699776 94804026703888 140729283854928 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94804028804352 94804028805124 94804061163520 140729283858964 140729283859074 140729283859074 140729283862497 0
/proc/330483/statm: 10682 4052 1492 2 0 3094 0
Current children cumulated CPU time: 1759.2 s
Current children cumulated vsize: 42728 KiB
Current children cumulated memory: 16208 KiB

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

Detected pigeons:

[startup+1800.05 s]
# the end of solver process 330483 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1759.22 s, system=0.014861 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): 1759.23
CPU user time (s): 1759.22
CPU system time (s): 0.014861
CPU usage (%): 97.7323
Max. virtual memory (cumulated for all children) (KiB): 42728
Max. memory (cumulated for all children) (KiB): 16208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.22
system time used= 0.014861
maximum resident set size= 16208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2907
page faults= 0
swaps= 0
block input operations= 288
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40
involuntary context switches= 25132


# summary of solver processes directly reported to runsolver:
#   pid: 330483
#   total CPU time (s): 1759.23
#   total CPU user time (s): 1759.22
#   total CPU system time (s): 0.014861

??? end of timestamper thread
runsolver used 15.035 second user time and 18.9561 second system time

The end
