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: 1
  memory of node 0: 3639 MiB (1689 MiB free)
  node distances:
     10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2003/industrial/goldberg/c880.cnf 

running on 1 cores: 0

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


[startup+0.100342 s]*
/proc/loadavg: 0.00 0.00 0.00 2/431 431486
/proc/meminfo: memFree=1724696/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=39836 memory=12208 CPUtime=0.06 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 1919 0 0 0 5 1 0 0 20 0 1 0 232990030 40792064 3052 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 2 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 9959 3052 1513 2 0 2368 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 39836 KiB
Current children cumulated memory: 12208 KiB

[startup+0.240333 s]*
/proc/loadavg: 0.00 0.00 0.00 2/431 431486
/proc/meminfo: memFree=1723184/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=40348 memory=12736 CPUtime=0.17 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2045 0 0 0 16 1 0 0 20 0 1 0 232990030 41316352 3184 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10087 3184 1513 2 0 2496 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12736 KiB

[startup+0.325332 s]*
/proc/loadavg: 0.00 0.00 0.00 2/431 431486
/proc/meminfo: memFree=1722932/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=40348 memory=12736 CPUtime=0.24 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2046 0 0 0 23 1 0 0 20 0 1 0 232990030 41316352 3184 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10087 3184 1513 2 0 2496 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12736 KiB

[startup+0.701333 s]
/proc/loadavg: 0.00 0.00 0.00 2/431 431486
/proc/meminfo: memFree=1722680/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=40348 memory=12736 CPUtime=0.54 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2054 0 0 0 53 1 0 0 20 0 1 0 232990030 41316352 3184 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10087 3184 1513 2 0 2496 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 12736 KiB

[startup+1.50133 s]
/proc/loadavg: 0.08 0.02 0.01 2/431 431486
/proc/meminfo: memFree=1722428/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=40348 memory=13000 CPUtime=1.32 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2076 0 0 0 131 1 0 0 20 0 1 0 232990030 41316352 3250 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10087 3250 1513 2 0 2496 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 13000 KiB

[startup+3.12533 s]
/proc/loadavg: 0.08 0.02 0.01 2/431 431486
/proc/meminfo: memFree=1722532/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=40348 memory=13264 CPUtime=2.9 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2137 0 0 0 289 1 0 0 20 0 1 0 232990030 41316352 3316 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10087 3316 1513 2 0 2496 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 13264 KiB

[startup+6.30033 s]
/proc/loadavg: 0.15 0.03 0.01 2/431 431486
/proc/meminfo: memFree=1722320/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=40348 memory=13264 CPUtime=6 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2152 0 0 0 599 1 0 0 20 0 1 0 232990030 41316352 3316 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10087 3316 1513 2 0 2496 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 13264 KiB

[startup+12.7013 s]
/proc/loadavg: 0.38 0.08 0.03 4/447 431508
/proc/meminfo: memFree=1703896/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=40348 memory=13264 CPUtime=12.23 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2161 0 0 0 1222 1 0 0 20 0 1 0 232990030 41316352 3316 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10087 3316 1513 2 0 2496 0
Current children cumulated CPU time: 12.23 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 13264 KiB

[startup+25.5083 s]
/proc/loadavg: 0.94 0.21 0.07 5/455 431520
/proc/meminfo: memFree=1691672/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=40348 memory=13264 CPUtime=24.65 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2174 0 0 0 2464 1 0 0 20 0 1 0 232990030 41316352 3316 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10087 3316 1513 2 0 2496 0
Current children cumulated CPU time: 24.65 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 13264 KiB

[startup+51.1343 s]
/proc/loadavg: 2.34 0.62 0.21 5/455 431528
/proc/meminfo: memFree=1689592/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=40348 memory=13264 CPUtime=49.47 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2190 0 0 0 4946 1 0 0 20 0 1 0 232990030 41316352 3316 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10087 3316 1513 2 0 2496 0
Current children cumulated CPU time: 49.47 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 13264 KiB

[startup+102.301 s]
/proc/loadavg: 3.51 1.21 0.43 5/455 431529
/proc/meminfo: memFree=1689308/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=40348 memory=13528 CPUtime=99.06 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2216 0 0 0 9905 1 0 0 20 0 1 0 232990030 41316352 3382 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10087 3382 1513 2 0 2496 0
Current children cumulated CPU time: 99.06 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 13528 KiB

[startup+162.3 s]
/proc/loadavg: 4.22 1.83 0.70 5/455 431538
/proc/meminfo: memFree=1688268/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=40348 memory=13528 CPUtime=157.21 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2235 0 0 0 15720 1 0 0 20 0 1 0 232990030 41316352 3382 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10087 3382 1513 2 0 2496 0
Current children cumulated CPU time: 157.21 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 13528 KiB

[startup+222.301 s]
/proc/loadavg: 4.27 2.28 0.93 5/455 431550
/proc/meminfo: memFree=1682624/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=40348 memory=15000 CPUtime=215.29 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2260 0 0 0 21528 1 0 0 20 0 1 0 232990030 41316352 3750 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10087 3750 1513 2 0 2496 0
Current children cumulated CPU time: 215.29 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 15000 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 2.60 1.12 5/456 431560
/proc/meminfo: memFree=1682656/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=40348 memory=15000 CPUtime=273.4 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2279 0 0 0 27339 1 0 0 20 0 1 0 232990030 41316352 3750 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10087 3750 1513 2 0 2496 0
Current children cumulated CPU time: 273.4 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 15000 KiB

[startup+342.303 s]
/proc/loadavg: 4.44 2.95 1.34 5/456 431569
/proc/meminfo: memFree=1682120/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=40480 memory=15000 CPUtime=331.51 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2302 0 0 0 33150 1 0 0 20 0 1 0 232990030 41451520 3750 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10120 3750 1513 2 0 2529 0
Current children cumulated CPU time: 331.51 s
Current children cumulated vsize: 40480 KiB
Current children cumulated memory: 15000 KiB

[startup+402.3 s]
/proc/loadavg: 4.91 3.36 1.58 5/456 431579
/proc/meminfo: memFree=1682372/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=40480 memory=15000 CPUtime=389.62 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2322 0 0 0 38961 1 0 0 20 0 1 0 232990030 41451520 3750 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10120 3750 1513 2 0 2529 0
Current children cumulated CPU time: 389.62 s
Current children cumulated vsize: 40480 KiB
Current children cumulated memory: 15000 KiB

[startup+462.301 s]
/proc/loadavg: 5.03 3.68 1.80 5/456 431588
/proc/meminfo: memFree=1680324/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=41524 memory=16056 CPUtime=447.75 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2540 0 0 0 44774 1 0 0 20 0 1 0 232990030 42520576 4014 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10381 4014 1513 2 0 2790 0
Current children cumulated CPU time: 447.75 s
Current children cumulated vsize: 41524 KiB
Current children cumulated memory: 16056 KiB

[startup+522.302 s]
/proc/loadavg: 4.72 3.84 1.98 6/456 431597
/proc/meminfo: memFree=1680040/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=41524 memory=16056 CPUtime=505.84 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2540 0 0 0 50583 1 0 0 20 0 1 0 232990030 42520576 4014 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10381 4014 1513 2 0 2790 0
Current children cumulated CPU time: 505.84 s
Current children cumulated vsize: 41524 KiB
Current children cumulated memory: 16056 KiB

[startup+582.3 s]
/proc/loadavg: 4.68 3.99 2.15 5/455 431614
/proc/meminfo: memFree=1680040/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=41524 memory=16004 CPUtime=563.92 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2637 0 0 0 56391 1 0 0 20 0 1 0 232990030 42520576 4001 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10381 4001 1513 2 0 2790 0
Current children cumulated CPU time: 563.92 s
Current children cumulated vsize: 41524 KiB
Current children cumulated memory: 16004 KiB

[startup+642.301 s]
/proc/loadavg: 4.69 4.13 2.31 5/455 431623
/proc/meminfo: memFree=1680260/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=41524 memory=16004 CPUtime=621.98 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2697 0 0 0 62197 1 0 0 20 0 1 0 232990030 42520576 4001 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10381 4001 1513 2 0 2790 0
Current children cumulated CPU time: 621.98 s
Current children cumulated vsize: 41524 KiB
Current children cumulated memory: 16004 KiB

[startup+702.303 s]
/proc/loadavg: 4.28 4.12 2.43 5/455 431632
/proc/meminfo: memFree=1679724/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=41524 memory=16004 CPUtime=680.02 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2699 0 0 0 68001 1 0 0 20 0 1 0 232990030 42520576 4001 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10381 4001 1513 2 0 2790 0
Current children cumulated CPU time: 680.02 s
Current children cumulated vsize: 41524 KiB
Current children cumulated memory: 16004 KiB

[startup+762.303 s]
/proc/loadavg: 4.18 4.12 2.54 5/455 431641
/proc/meminfo: memFree=1680228/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=41524 memory=16004 CPUtime=738.05 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2699 0 0 0 73804 1 0 0 20 0 1 0 232990030 42520576 4001 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10381 4001 1513 2 0 2790 0
Current children cumulated CPU time: 738.05 s
Current children cumulated vsize: 41524 KiB
Current children cumulated memory: 16004 KiB

[startup+822.301 s]
/proc/loadavg: 4.10 4.11 2.64 5/456 431652
/proc/meminfo: memFree=1678968/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=42036 memory=16528 CPUtime=796.07 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2773 0 0 0 79606 1 0 0 20 0 1 0 232990030 43044864 4132 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10509 4132 1513 2 0 2918 0
Current children cumulated CPU time: 796.07 s
Current children cumulated vsize: 42036 KiB
Current children cumulated memory: 16528 KiB

[startup+882.301 s]
/proc/loadavg: 4.09 4.11 2.73 5/454 431661
/proc/meminfo: memFree=1677960/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=42548 memory=17056 CPUtime=854.09 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2922 0 0 0 85408 1 0 0 20 0 1 0 232990030 43569152 4264 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10637 4264 1513 2 0 3046 0
Current children cumulated CPU time: 854.09 s
Current children cumulated vsize: 42548 KiB
Current children cumulated memory: 17056 KiB

[startup+942.302 s]
/proc/loadavg: 4.03 4.08 2.81 5/456 431672
/proc/meminfo: memFree=1677676/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=42548 memory=17056 CPUtime=912.13 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2926 0 0 0 91212 1 0 0 20 0 1 0 232990030 43569152 4264 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10637 4264 1513 2 0 3046 0
Current children cumulated CPU time: 912.13 s
Current children cumulated vsize: 42548 KiB
Current children cumulated memory: 17056 KiB

[startup+1002.3 s]
/proc/loadavg: 4.13 4.10 2.90 5/456 431682
/proc/meminfo: memFree=1677392/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=42548 memory=17056 CPUtime=970.16 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2926 0 0 0 97015 1 0 0 20 0 1 0 232990030 43569152 4264 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10637 4264 1513 2 0 3046 0
Current children cumulated CPU time: 970.16 s
Current children cumulated vsize: 42548 KiB
Current children cumulated memory: 17056 KiB

[startup+1062.3 s]
/proc/loadavg: 4.42 4.17 3.01 5/456 431692
/proc/meminfo: memFree=1676888/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=42548 memory=17056 CPUtime=1028.18 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2926 0 0 0 102817 1 0 0 20 0 1 0 232990030 43569152 4264 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10637 4264 1513 2 0 3046 0
Current children cumulated CPU time: 1028.18 s
Current children cumulated vsize: 42548 KiB
Current children cumulated memory: 17056 KiB

[startup+1122.3 s]
/proc/loadavg: 4.45 4.22 3.10 5/455 431701
/proc/meminfo: memFree=1676856/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=42548 memory=17056 CPUtime=1086.22 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2926 0 0 0 108621 1 0 0 20 0 1 0 232990030 43569152 4264 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10637 4264 1513 2 0 3046 0
Current children cumulated CPU time: 1086.22 s
Current children cumulated vsize: 42548 KiB
Current children cumulated memory: 17056 KiB

[startup+1182.3 s]
/proc/loadavg: 4.66 4.33 3.21 5/455 431712
/proc/meminfo: memFree=1676256/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=42548 memory=17056 CPUtime=1144.22 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2927 0 0 0 114421 1 0 0 20 0 1 0 232990030 43569152 4264 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10637 4264 1513 2 0 3046 0
Current children cumulated CPU time: 1144.22 s
Current children cumulated vsize: 42548 KiB
Current children cumulated memory: 17056 KiB

[startup+1242.3 s]
/proc/loadavg: 4.28 4.28 3.27 5/456 431724
/proc/meminfo: memFree=1675752/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=42548 memory=17056 CPUtime=1202.37 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2927 0 0 0 120236 1 0 0 20 0 1 0 232990030 43569152 4264 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10637 4264 1513 2 0 3046 0
Current children cumulated CPU time: 1202.37 s
Current children cumulated vsize: 42548 KiB
Current children cumulated memory: 17056 KiB

[startup+1302.3 s]
/proc/loadavg: 4.10 4.23 3.31 5/456 431744
/proc/meminfo: memFree=1675748/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=42548 memory=17056 CPUtime=1260.51 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2927 0 0 0 126050 1 0 0 20 0 1 0 232990030 43569152 4264 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10637 4264 1513 2 0 3046 0
Current children cumulated CPU time: 1260.51 s
Current children cumulated vsize: 42548 KiB
Current children cumulated memory: 17056 KiB

[startup+1362.3 s]
/proc/loadavg: 4.25 4.25 3.38 5/456 431753
/proc/meminfo: memFree=1675944/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=42548 memory=17056 CPUtime=1318.66 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2927 0 0 0 131865 1 0 0 20 0 1 0 232990030 43569152 4264 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10637 4264 1513 2 0 3046 0
Current children cumulated CPU time: 1318.66 s
Current children cumulated vsize: 42548 KiB
Current children cumulated memory: 17056 KiB

[startup+1422.3 s]
/proc/loadavg: 4.12 4.21 3.43 5/456 431763
/proc/meminfo: memFree=1675912/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=42548 memory=17056 CPUtime=1376.82 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2927 0 0 0 137681 1 0 0 20 0 1 0 232990030 43569152 4264 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10637 4264 1513 2 0 3046 0
Current children cumulated CPU time: 1376.82 s
Current children cumulated vsize: 42548 KiB
Current children cumulated memory: 17056 KiB

[startup+1482.3 s]
/proc/loadavg: 4.10 4.19 3.47 5/456 431772
/proc/meminfo: memFree=1675880/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=42548 memory=17056 CPUtime=1434.96 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2927 0 0 0 143495 1 0 0 20 0 1 0 232990030 43569152 4264 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10637 4264 1513 2 0 3046 0
Current children cumulated CPU time: 1434.96 s
Current children cumulated vsize: 42548 KiB
Current children cumulated memory: 17056 KiB

[startup+1542.3 s]
/proc/loadavg: 4.18 4.19 3.52 5/456 431781
/proc/meminfo: memFree=1674872/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=42548 memory=17056 CPUtime=1493.11 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2927 0 0 0 149310 1 0 0 20 0 1 0 232990030 43569152 4264 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10637 4264 1513 2 0 3046 0
Current children cumulated CPU time: 1493.11 s
Current children cumulated vsize: 42548 KiB
Current children cumulated memory: 17056 KiB

[startup+1602.3 s]
/proc/loadavg: 4.35 4.23 3.58 5/455 431793
/proc/meminfo: memFree=1674900/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=42548 memory=17056 CPUtime=1551.22 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2927 0 0 0 155121 1 0 0 20 0 1 0 232990030 43569152 4264 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10637 4264 1513 2 0 3046 0
Current children cumulated CPU time: 1551.22 s
Current children cumulated vsize: 42548 KiB
Current children cumulated memory: 17056 KiB

[startup+1662.3 s]
/proc/loadavg: 4.46 4.29 3.64 5/455 431802
/proc/meminfo: memFree=1675120/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=42548 memory=17056 CPUtime=1609.35 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2927 0 0 0 160934 1 0 0 20 0 1 0 232990030 43569152 4264 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10637 4264 1513 2 0 3046 0
Current children cumulated CPU time: 1609.35 s
Current children cumulated vsize: 42548 KiB
Current children cumulated memory: 17056 KiB

[startup+1722.3 s]
/proc/loadavg: 4.38 4.31 3.69 5/455 431812
/proc/meminfo: memFree=1675148/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=42548 memory=17056 CPUtime=1667.53 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2927 0 0 0 166752 1 0 0 20 0 1 0 232990030 43569152 4264 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10637 4264 1513 2 0 3046 0
Current children cumulated CPU time: 1667.53 s
Current children cumulated vsize: 42548 KiB
Current children cumulated memory: 17056 KiB

[startup+1782.3 s]
/proc/loadavg: 4.17 4.27 3.72 5/455 431822
/proc/meminfo: memFree=1675088/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=42548 memory=17056 CPUtime=1725.68 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2927 0 0 0 172567 1 0 0 20 0 1 0 232990030 43569152 4264 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10637 4264 1513 2 0 3046 0
Current children cumulated CPU time: 1725.68 s
Current children cumulated vsize: 42548 KiB
Current children cumulated memory: 17056 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 4.13 4.25 3.73 5/455 431830
/proc/meminfo: memFree=1675060/3726824 swapFree=8388604/8388604
[pid=431485] ppid=431484 vsize=42548 memory=17056 CPUtime=1742.86 cores=0
/proc/431485/stat : 431485 (pigeonPurSampli) R 431484 431485 431478 0 -1 4194304 2927 0 0 0 174285 1 0 0 20 0 1 0 232990030 43569152 4264 18446744073709551615 94298701357056 94298701361168 140721469181680 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94298703461632 94298703462404 94298709049344 140721469186598 140721469186690 140721469186690 140721469190113 0
/proc/431485/statm: 10637 4264 1513 2 0 3046 0
Current children cumulated CPU time: 1742.86 s
Current children cumulated vsize: 42548 KiB
Current children cumulated memory: 17056 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, -20, -21, -22, -23, -24, -25, -26, -27, -28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, -20, -21, -22, -23, -24, -25, -26, -27, -28, 29, -30, -31, -32, -33, -35, -37, -38, -40, -41, 42, -43, -44, -45, -46, -47, -48, 49, -51, -52, -55, -56, -57, -58, -60, -61, -64, -65, -66, -67, -69, -70, 71, -73, -74, -75, -76, -77, -78, 79, -80, -81, -82, -83, -84, -85, -86, -89, -91, 93, -94, -95, -97, -99, -100, -101, 102, -103, -104, -107, -109, -110, 112, -113, -114, -116, -119, -120, 121, -122, -124, 125, -126, -127, -128, -130, 131, 132, 133, -135, -136, -139, 140, 141, -143, -144, 145] -> ph3-2_2 


Detected pigeons:

 ph3-2_1 = [[642, -670], [912, 642], [-912, -164]]

 ph3-2_2 = [[1091, 1050], [-1471, 611], [1560, -624]]

[startup+1800.04 s]
# the end of solver process 431485 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1742.87 s, system=0.02461 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): 1742.89
CPU user time (s): 1742.87
CPU system time (s): 0.02461
CPU usage (%): 96.825
Max. virtual memory (cumulated for all children) (KiB): 42548
Max. memory (cumulated for all children) (KiB): 17056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1742.87
system time used= 0.02461
maximum resident set size= 17056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2929
page faults= 0
swaps= 0
block input operations= 344
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26
involuntary context switches= 123505


# summary of solver processes directly reported to runsolver:
#   pid: 431485
#   total CPU time (s): 1742.89
#   total CPU user time (s): 1742.87
#   total CPU system time (s): 0.02461

??? end of timestamper thread
runsolver used 16.5841 second user time and 23.2036 second system time

The end
