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: 3630 MiB (1720 MiB free)
  node distances:
     10

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

running on 1 cores: 0

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


[startup+0.100403 s]*
/proc/loadavg: 0.05 0.01 0.00 2/446 425773
/proc/meminfo: memFree=1751140/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=44660 memory=16992 CPUtime=0.08 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 3079 0 0 0 7 1 0 0 20 0 1 0 233237481 45731840 4248 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 2 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 11165 4248 1491 2 0 3574 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 44660 KiB
Current children cumulated memory: 16992 KiB

[startup+0.2384 s]*
/proc/loadavg: 0.05 0.01 0.00 2/446 425773
/proc/meminfo: memFree=1744084/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=51060 memory=23504 CPUtime=0.18 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 4725 0 0 0 17 1 0 0 20 0 1 0 233237481 52285440 5876 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 2 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 12765 5876 1491 2 0 5174 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 51060 KiB
Current children cumulated memory: 23504 KiB

[startup+0.325396 s]*
/proc/loadavg: 0.05 0.01 0.00 2/446 425773
/proc/meminfo: memFree=1739548/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=54900 memory=27552 CPUtime=0.24 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 5772 0 0 0 23 1 0 0 20 0 1 0 233237481 56217600 6888 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 2 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 13725 6888 1491 2 0 6134 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 54900 KiB
Current children cumulated memory: 27552 KiB

[startup+0.700401 s]
/proc/loadavg: 0.05 0.01 0.00 2/446 425773
/proc/meminfo: memFree=1738036/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=55924 memory=28644 CPUtime=0.55 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6039 0 0 0 54 1 0 0 20 0 1 0 233237481 57266176 7161 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 13981 7161 1491 2 0 6390 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 55924 KiB
Current children cumulated memory: 28644 KiB

[startup+1.5004 s]
/proc/loadavg: 0.05 0.01 0.00 2/446 425773
/proc/meminfo: memFree=1738184/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=55924 memory=28644 CPUtime=1.33 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6039 0 0 0 132 1 0 0 20 0 1 0 233237481 57266176 7161 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 13981 7161 1491 2 0 6390 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 55924 KiB
Current children cumulated memory: 28644 KiB

[startup+3.12539 s]
/proc/loadavg: 0.12 0.03 0.01 2/446 425773
/proc/meminfo: memFree=1738184/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=55924 memory=28644 CPUtime=2.91 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6039 0 0 0 290 1 0 0 20 0 1 0 233237481 57266176 7161 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 13981 7161 1491 2 0 6390 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 55924 KiB
Current children cumulated memory: 28644 KiB

[startup+6.3004 s]
/proc/loadavg: 0.12 0.03 0.01 2/447 425774
/proc/meminfo: memFree=1738152/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=55924 memory=28644 CPUtime=6.01 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6039 0 0 0 600 1 0 0 20 0 1 0 233237481 57266176 7161 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 13981 7161 1491 2 0 6390 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 55924 KiB
Current children cumulated memory: 28644 KiB

[startup+12.7014 s]
/proc/loadavg: 0.50 0.11 0.03 5/471 425807
/proc/meminfo: memFree=1685512/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=55924 memory=28644 CPUtime=12.24 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6044 0 0 0 1223 1 0 0 20 0 1 0 233237481 57266176 7161 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 13981 7161 1491 2 0 6390 0
Current children cumulated CPU time: 12.24 s
Current children cumulated vsize: 55924 KiB
Current children cumulated memory: 28644 KiB

[startup+25.5014 s]
/proc/loadavg: 1.04 0.24 0.08 5/471 425815
/proc/meminfo: memFree=1683968/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=55924 memory=28964 CPUtime=24.62 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6081 0 0 0 2461 1 0 0 20 0 1 0 233237481 57266176 7241 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 13981 7241 1507 2 0 6390 0
Current children cumulated CPU time: 24.62 s
Current children cumulated vsize: 55924 KiB
Current children cumulated memory: 28964 KiB

[startup+51.1344 s]
/proc/loadavg: 2.05 0.54 0.18 5/471 425815
/proc/meminfo: memFree=1680440/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=56352 memory=29492 CPUtime=49.47 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6261 0 0 0 4945 2 0 0 20 0 1 0 233237481 57704448 7373 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14088 7373 1507 2 0 6497 0
Current children cumulated CPU time: 49.47 s
Current children cumulated vsize: 56352 KiB
Current children cumulated memory: 29492 KiB

[startup+102.301 s]
/proc/loadavg: 3.22 1.13 0.40 5/470 425824
/proc/meminfo: memFree=1675148/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=57388 memory=30548 CPUtime=99.07 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6510 0 0 0 9905 2 0 0 20 0 1 0 233237481 58765312 7637 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14347 7637 1507 2 0 6756 0
Current children cumulated CPU time: 99.07 s
Current children cumulated vsize: 57388 KiB
Current children cumulated memory: 30548 KiB

[startup+162.3 s]
/proc/loadavg: 3.72 1.65 0.63 5/470 425834
/proc/meminfo: memFree=1669572/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=57388 memory=30548 CPUtime=157.13 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6525 0 0 0 15711 2 0 0 20 0 1 0 233237481 58765312 7637 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14347 7637 1507 2 0 6756 0
Current children cumulated CPU time: 157.13 s
Current children cumulated vsize: 57388 KiB
Current children cumulated memory: 30548 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.13 0.86 5/470 425844
/proc/meminfo: memFree=1668264/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=57664 memory=30812 CPUtime=215.17 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6568 0 0 0 21515 2 0 0 20 0 1 0 233237481 59047936 7703 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14416 7703 1507 2 0 6825 0
Current children cumulated CPU time: 215.17 s
Current children cumulated vsize: 57664 KiB
Current children cumulated memory: 30812 KiB

[startup+282.3 s]
/proc/loadavg: 4.40 2.58 1.10 5/471 425854
/proc/meminfo: memFree=1667508/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=57664 memory=30812 CPUtime=273.36 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6568 0 0 0 27334 2 0 0 20 0 1 0 233237481 59047936 7703 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14416 7703 1507 2 0 6825 0
Current children cumulated CPU time: 273.36 s
Current children cumulated vsize: 57664 KiB
Current children cumulated memory: 30812 KiB

[startup+342.3 s]
/proc/loadavg: 4.49 2.96 1.32 5/471 425865
/proc/meminfo: memFree=1666500/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=57812 memory=31076 CPUtime=331.58 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6620 0 0 0 33156 2 0 0 20 0 1 0 233237481 59199488 7769 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14453 7769 1507 2 0 6862 0
Current children cumulated CPU time: 331.58 s
Current children cumulated vsize: 57812 KiB
Current children cumulated memory: 31076 KiB

[startup+402.3 s]
/proc/loadavg: 4.27 3.18 1.50 5/471 425875
/proc/meminfo: memFree=1665964/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=57812 memory=31076 CPUtime=389.76 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6626 0 0 0 38974 2 0 0 20 0 1 0 233237481 59199488 7769 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14453 7769 1507 2 0 6862 0
Current children cumulated CPU time: 389.76 s
Current children cumulated vsize: 57812 KiB
Current children cumulated memory: 31076 KiB

[startup+462.3 s]
/proc/loadavg: 4.23 3.37 1.68 5/472 425888
/proc/meminfo: memFree=1664876/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=57812 memory=31076 CPUtime=447.37 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6626 0 0 0 44735 2 0 0 20 0 1 0 233237481 59199488 7769 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14453 7769 1507 2 0 6862 0
Current children cumulated CPU time: 447.37 s
Current children cumulated vsize: 57812 KiB
Current children cumulated memory: 31076 KiB

[startup+522.306 s]
/proc/loadavg: 4.11 3.50 1.83 5/472 425909
/proc/meminfo: memFree=1665080/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=57812 memory=31076 CPUtime=505.4 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6626 0 0 0 50538 2 0 0 20 0 1 0 233237481 59199488 7769 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14453 7769 1507 2 0 6862 0
Current children cumulated CPU time: 505.4 s
Current children cumulated vsize: 57812 KiB
Current children cumulated memory: 31076 KiB

[startup+582.3 s]
/proc/loadavg: 4.04 3.60 1.97 5/471 425923
/proc/meminfo: memFree=1664132/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=57812 memory=31156 CPUtime=563.6 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6627 0 0 0 56358 2 0 0 20 0 1 0 233237481 59199488 7789 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14453 7789 1507 2 0 6862 0
Current children cumulated CPU time: 563.6 s
Current children cumulated vsize: 57812 KiB
Current children cumulated memory: 31156 KiB

[startup+642.3 s]
/proc/loadavg: 4.07 3.69 2.10 5/470 425932
/proc/meminfo: memFree=1659332/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=57812 memory=32528 CPUtime=621.86 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6629 0 0 0 62184 2 0 0 20 0 1 0 233237481 59199488 8132 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14453 8132 1507 2 0 6862 0
Current children cumulated CPU time: 621.86 s
Current children cumulated vsize: 57812 KiB
Current children cumulated memory: 32528 KiB

[startup+702.3 s]
/proc/loadavg: 4.20 3.79 2.24 5/470 425941
/proc/meminfo: memFree=1659584/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=57812 memory=32528 CPUtime=680.1 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6637 0 0 0 68008 2 0 0 20 0 1 0 233237481 59199488 8132 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14453 8132 1507 2 0 6862 0
Current children cumulated CPU time: 680.1 s
Current children cumulated vsize: 57812 KiB
Current children cumulated memory: 32528 KiB

[startup+762.3 s]
/proc/loadavg: 4.65 3.99 2.41 5/470 425952
/proc/meminfo: memFree=1659804/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=57956 memory=32528 CPUtime=738.34 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6649 0 0 0 73832 2 0 0 20 0 1 0 233237481 59346944 8132 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14489 8132 1507 2 0 6898 0
Current children cumulated CPU time: 738.34 s
Current children cumulated vsize: 57956 KiB
Current children cumulated memory: 32528 KiB

[startup+822.3 s]
/proc/loadavg: 4.48 4.07 2.54 6/470 425963
/proc/meminfo: memFree=1659804/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=57956 memory=32528 CPUtime=796.63 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6664 0 0 0 79661 2 0 0 20 0 1 0 233237481 59346944 8132 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14489 8132 1507 2 0 6898 0
Current children cumulated CPU time: 796.63 s
Current children cumulated vsize: 57956 KiB
Current children cumulated memory: 32528 KiB

[startup+882.3 s]
/proc/loadavg: 4.29 4.08 2.64 5/470 425972
/proc/meminfo: memFree=1659520/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=58088 memory=32780 CPUtime=854.89 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6678 0 0 0 85487 2 0 0 20 0 1 0 233237481 59482112 8195 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14522 8195 1507 2 0 6931 0
Current children cumulated CPU time: 854.89 s
Current children cumulated vsize: 58088 KiB
Current children cumulated memory: 32780 KiB

[startup+942.3 s]
/proc/loadavg: 4.10 4.06 2.73 5/470 425981
/proc/meminfo: memFree=1659236/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=58224 memory=32780 CPUtime=913.07 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6734 0 0 0 91305 2 0 0 20 0 1 0 233237481 59621376 8195 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14556 8195 1507 2 0 6965 0
Current children cumulated CPU time: 913.07 s
Current children cumulated vsize: 58224 KiB
Current children cumulated memory: 32780 KiB

[startup+1002.3 s]
/proc/loadavg: 4.04 4.05 2.81 5/470 425991
/proc/meminfo: memFree=1658732/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=58224 memory=33044 CPUtime=971.35 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6741 0 0 0 97133 2 0 0 20 0 1 0 233237481 59621376 8261 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14556 8261 1507 2 0 6965 0
Current children cumulated CPU time: 971.35 s
Current children cumulated vsize: 58224 KiB
Current children cumulated memory: 33044 KiB

[startup+1062.3 s]
/proc/loadavg: 4.08 4.06 2.89 5/471 426001
/proc/meminfo: memFree=1658448/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=58224 memory=33044 CPUtime=1029.44 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6741 0 0 0 102942 2 0 0 20 0 1 0 233237481 59621376 8261 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14556 8261 1507 2 0 6965 0
Current children cumulated CPU time: 1029.44 s
Current children cumulated vsize: 58224 KiB
Current children cumulated memory: 33044 KiB

[startup+1122.3 s]
/proc/loadavg: 4.08 4.06 2.97 5/469 426011
/proc/meminfo: memFree=1658668/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=58224 memory=33044 CPUtime=1087.73 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6741 0 0 0 108771 2 0 0 20 0 1 0 233237481 59621376 8261 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14556 8261 1507 2 0 6965 0
Current children cumulated CPU time: 1087.73 s
Current children cumulated vsize: 58224 KiB
Current children cumulated memory: 33044 KiB

[startup+1182.31 s]
/proc/loadavg: 4.07 4.06 3.04 5/469 426021
/proc/meminfo: memFree=1658164/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=58224 memory=33044 CPUtime=1146.04 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6741 0 0 0 114602 2 0 0 20 0 1 0 233237481 59621376 8261 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14556 8261 1507 2 0 6965 0
Current children cumulated CPU time: 1146.04 s
Current children cumulated vsize: 58224 KiB
Current children cumulated memory: 33044 KiB

[startup+1242.31 s]
/proc/loadavg: 4.55 4.19 3.15 5/469 426030
/proc/meminfo: memFree=1657628/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=58224 memory=33044 CPUtime=1204.32 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6742 0 0 0 120430 2 0 0 20 0 1 0 233237481 59621376 8261 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14556 8261 1507 2 0 6965 0
Current children cumulated CPU time: 1204.32 s
Current children cumulated vsize: 58224 KiB
Current children cumulated memory: 33044 KiB

[startup+1302.31 s]
/proc/loadavg: 4.54 4.26 3.24 5/469 426050
/proc/meminfo: memFree=1656588/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=58224 memory=33044 CPUtime=1262.49 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6742 0 0 0 126247 2 0 0 20 0 1 0 233237481 59621376 8261 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14556 8261 1507 2 0 6965 0
Current children cumulated CPU time: 1262.49 s
Current children cumulated vsize: 58224 KiB
Current children cumulated memory: 33044 KiB

[startup+1362.3 s]
/proc/loadavg: 4.39 4.27 3.31 5/471 426064
/proc/meminfo: memFree=1655580/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=58364 memory=33044 CPUtime=1320.71 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6749 0 0 0 132069 2 0 0 20 0 1 0 233237481 59764736 8261 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14591 8261 1507 2 0 7000 0
Current children cumulated CPU time: 1320.71 s
Current children cumulated vsize: 58364 KiB
Current children cumulated memory: 33044 KiB

[startup+1422.3 s]
/proc/loadavg: 4.38 4.28 3.38 5/471 426073
/proc/meminfo: memFree=1655800/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=58364 memory=33044 CPUtime=1378.96 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6772 0 0 0 137894 2 0 0 20 0 1 0 233237481 59764736 8261 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14591 8261 1507 2 0 7000 0
Current children cumulated CPU time: 1378.96 s
Current children cumulated vsize: 58364 KiB
Current children cumulated memory: 33044 KiB

[startup+1482.3 s]
/proc/loadavg: 4.14 4.23 3.42 5/472 426084
/proc/meminfo: memFree=1655516/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=58364 memory=33044 CPUtime=1437.23 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6779 0 0 0 143721 2 0 0 20 0 1 0 233237481 59764736 8261 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14591 8261 1507 2 0 7000 0
Current children cumulated CPU time: 1437.23 s
Current children cumulated vsize: 58364 KiB
Current children cumulated memory: 33044 KiB

[startup+1542.3 s]
/proc/loadavg: 4.10 4.20 3.47 5/472 426093
/proc/meminfo: memFree=1655516/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=58656 memory=33308 CPUtime=1495.46 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6844 0 0 0 149544 2 0 0 20 0 1 0 233237481 60063744 8327 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14664 8327 1507 2 0 7073 0
Current children cumulated CPU time: 1495.46 s
Current children cumulated vsize: 58656 KiB
Current children cumulated memory: 33308 KiB

[startup+1602.31 s]
/proc/loadavg: 4.04 4.16 3.50 5/472 426103
/proc/meminfo: memFree=1655484/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=58656 memory=33308 CPUtime=1553.71 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6851 0 0 0 155369 2 0 0 20 0 1 0 233237481 60063744 8327 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14664 8327 1507 2 0 7073 0
Current children cumulated CPU time: 1553.71 s
Current children cumulated vsize: 58656 KiB
Current children cumulated memory: 33308 KiB

[startup+1662.31 s]
/proc/loadavg: 4.55 4.26 3.58 5/473 426114
/proc/meminfo: memFree=1655200/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=58656 memory=33308 CPUtime=1611.82 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6852 0 0 0 161180 2 0 0 20 0 1 0 233237481 60063744 8327 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14664 8327 1507 2 0 7073 0
Current children cumulated CPU time: 1611.82 s
Current children cumulated vsize: 58656 KiB
Current children cumulated memory: 33308 KiB

[startup+1722.31 s]
/proc/loadavg: 4.57 4.31 3.64 5/470 426123
/proc/meminfo: memFree=1650348/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=58948 memory=33572 CPUtime=1670.07 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6896 0 0 0 167005 2 0 0 20 0 1 0 233237481 60362752 8393 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14737 8393 1507 2 0 7146 0
Current children cumulated CPU time: 1670.07 s
Current children cumulated vsize: 58948 KiB
Current children cumulated memory: 33572 KiB

[startup+1782.31 s]
/proc/loadavg: 4.63 4.37 3.71 5/469 426133
/proc/meminfo: memFree=1645276/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=58948 memory=33572 CPUtime=1728.31 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6903 0 0 0 172829 2 0 0 20 0 1 0 233237481 60362752 8393 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14737 8393 1507 2 0 7146 0
Current children cumulated CPU time: 1728.31 s
Current children cumulated vsize: 58948 KiB
Current children cumulated memory: 33572 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 4.72 4.40 3.73 5/469 426134
/proc/meminfo: memFree=1644772/3717660 swapFree=8388604/8388604
[pid=425772] ppid=425771 vsize=58948 memory=33572 CPUtime=1745.52 cores=0
/proc/425772/stat : 425772 (pigeonPurSampli) R 425771 425772 425765 0 -1 4194304 6903 0 0 0 174550 2 0 0 20 0 1 0 233237481 60362752 8393 18446744073709551615 93835783233536 93835783237648 140724664080880 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93835785338112 93835785338884 93835785666560 140724664087078 140724664087170 140724664087170 140724664090593 0
/proc/425772/statm: 14737 8393 1507 2 0 7146 0
Current children cumulated CPU time: 1745.52 s
Current children cumulated vsize: 58948 KiB
Current children cumulated memory: 33572 KiB

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

Detected pigeons:

[startup+1800.14 s]
# the end of solver process 425772 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1745.61 s, system=0.030615 s

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

Child status: 1
Real time (s): 1800.14
CPU time (s): 1745.64
CPU user time (s): 1745.61
CPU system time (s): 0.030615
CPU usage (%): 96.9727
Max. virtual memory (cumulated for all children) (KiB): 58948
Max. memory (cumulated for all children) (KiB): 33572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1745.61
system time used= 0.030615
maximum resident set size= 33572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6905
page faults= 0
swaps= 0
block input operations= 1936
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27
involuntary context switches= 99509


# summary of solver processes directly reported to runsolver:
#   pid: 425772
#   total CPU time (s): 1745.64
#   total CPU user time (s): 1745.61
#   total CPU system time (s): 0.030615

??? end of timestamper thread
runsolver used 16.9295 second user time and 23.4451 second system time

The end
