runsolver version 3.4.2 (svn: 4680) 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: 64096 MiB (55668 MiB free)
  memory of node 1: 64473 MiB (57698 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456314-1721720869/watcher-4456314-1721720869 -o /tmp/evaluation-result-4456314-1721720869/solver-4456314-1721720869 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721717889-80536 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1031124087 HOME/instance-4456314-1721720869.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=81942, runsolver pid=81939
Current StackSize limit: 8192 KiB


[startup+0.100096 s]*
/proc/loadavg: 4.04 4.10 4.04 5/241 81943
/proc/meminfo: memFree=116069772/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=45096 memory=24672 CPUtime=0.1 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 6314 0 0 0 8 2 0 0 20 0 1 0 8076736 46178304 6168 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 11274 6168 884 1005 0 10037 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45096 KiB
Current children cumulated memory: 24672 KiB

[startup+0.212687 s]*
/proc/loadavg: 4.04 4.10 4.04 5/241 81943
/proc/meminfo: memFree=116050560/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=62784 memory=42052 CPUtime=0.22 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 12295 0 0 0 18 4 0 0 20 0 1 0 8076736 64290816 10513 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 15696 10513 884 1005 0 14459 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 62784 KiB
Current children cumulated memory: 42052 KiB

[startup+0.312836 s]*
/proc/loadavg: 4.04 4.10 4.04 5/241 81943
/proc/meminfo: memFree=116029328/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=85936 memory=62120 CPUtime=0.31 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 17425 0 0 0 25 6 0 0 20 0 1 0 8076736 87998464 15530 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 21484 15530 884 1005 0 20247 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 85936 KiB
Current children cumulated memory: 62120 KiB

[startup+0.700348 s]
/proc/loadavg: 4.04 4.10 4.04 5/241 81943
/proc/meminfo: memFree=116003604/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=133940 memory=117940 CPUtime=0.69 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 31082 0 0 0 60 9 0 0 20 0 1 0 8076736 137154560 29485 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 33485 29485 1060 1005 0 32248 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 133940 KiB
Current children cumulated memory: 117940 KiB

[startup+1.50029 s]
/proc/loadavg: 4.04 4.10 4.04 5/241 81943
/proc/meminfo: memFree=115926972/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=197476 memory=177044 CPUtime=1.48 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 43368 0 0 0 136 12 0 0 20 0 1 0 8076736 202215424 44261 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 49369 44261 1124 1005 0 48132 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 197476 KiB
Current children cumulated memory: 177044 KiB

[startup+3.11251 s]
/proc/loadavg: 4.04 4.10 4.04 5/241 81944
/proc/meminfo: memFree=115887728/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=227048 memory=202636 CPUtime=3.1 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 47453 0 0 0 296 14 0 0 20 0 1 0 8076736 232497152 50659 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 56762 50659 1124 1005 0 55525 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 227048 KiB
Current children cumulated memory: 202636 KiB

[startup+6.30031 s]
/proc/loadavg: 4.12 4.12 4.05 5/241 81944
/proc/meminfo: memFree=115845980/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=264628 memory=244452 CPUtime=6.27 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 54829 0 0 0 612 15 0 0 20 0 1 0 8076736 270979072 61113 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 66157 61113 1124 1005 0 64920 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 264628 KiB
Current children cumulated memory: 244452 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.11 4.04 5/241 81944
/proc/meminfo: memFree=115833880/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=289452 memory=260580 CPUtime=12.66 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 56231 0 0 0 1250 16 0 0 20 0 1 0 8076736 296398848 65145 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 72363 65145 1140 1005 0 71126 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 289452 KiB
Current children cumulated memory: 260580 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.11 4.04 5/241 81947
/proc/meminfo: memFree=115787808/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=321160 memory=302560 CPUtime=25.43 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 63689 0 0 0 2525 18 0 0 20 0 1 0 8076736 328867840 75640 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 80290 75640 1140 1005 0 79053 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 321160 KiB
Current children cumulated memory: 302560 KiB

[startup+51.1125 s]
/proc/loadavg: 4.14 4.11 4.05 5/241 81950
/proc/meminfo: memFree=115785272/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=323128 memory=304472 CPUtime=50.97 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 64229 0 0 0 5078 19 0 0 20 0 1 0 8076736 330883072 76118 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 80782 76118 1140 1005 0 79545 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 323128 KiB
Current children cumulated memory: 304472 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.05 5/241 81960
/proc/meminfo: memFree=115752924/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=375356 memory=336120 CPUtime=102.04 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 68073 0 0 0 10180 24 0 0 20 0 1 0 8076736 384364544 84030 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 93839 84030 1140 1005 0 92602 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 375356 KiB
Current children cumulated memory: 336120 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/244 81975
/proc/meminfo: memFree=115740212/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=387052 memory=347828 CPUtime=161.9 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 71089 0 0 0 16162 28 0 0 20 0 1 0 8076736 396341248 86957 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 96763 86957 1140 1005 0 95526 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 387052 KiB
Current children cumulated memory: 347828 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/245 81987
/proc/meminfo: memFree=115707456/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=416784 memory=376532 CPUtime=221.75 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 78312 0 0 0 22143 32 0 0 20 0 1 0 8076736 426786816 94133 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 104196 94133 1140 1005 0 102959 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 416784 KiB
Current children cumulated memory: 376532 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.05 5/245 81997
/proc/meminfo: memFree=115690736/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=423760 memory=392400 CPUtime=281.6 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 80327 0 0 0 28125 35 0 0 20 0 1 0 8076736 433930240 98100 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 105940 98100 1140 1005 0 104703 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 423760 KiB
Current children cumulated memory: 392400 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/245 82008
/proc/meminfo: memFree=115677236/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=435044 memory=403388 CPUtime=341.45 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 83127 0 0 0 34108 37 0 0 20 0 1 0 8076736 445485056 100847 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 108761 100847 1140 1005 0 107524 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 435044 KiB
Current children cumulated memory: 403388 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.05 5/245 82018
/proc/meminfo: memFree=115665820/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=436284 memory=405888 CPUtime=401.31 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 83746 0 0 0 40091 40 0 0 20 0 1 0 8076736 446754816 101472 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 109071 101472 1140 1005 0 107834 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 436284 KiB
Current children cumulated memory: 405888 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.05 5/245 82410
/proc/meminfo: memFree=115661040/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=439076 memory=408252 CPUtime=461.16 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 84400 0 0 0 46072 44 0 0 20 0 1 0 8076736 449613824 102063 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 109769 102063 1140 1005 0 108532 0

################
# More data... #
################

Current children cumulated memory: 750584 KiB

[startup+2922.3 s]
/proc/loadavg: 4.32 4.50 4.28 5/242 84105
/proc/meminfo: memFree=95999924/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=760296 memory=751312 CPUtime=2914.69 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 157323 0 0 0 291299 170 0 0 20 0 1 0 8076736 778543104 187828 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 190074 187828 1140 1005 0 188837 0
Current children cumulated CPU time: 2914.69 s
Current children cumulated vsize: 760296 KiB
Current children cumulated memory: 751312 KiB

[startup+2982.3 s]
/proc/loadavg: 4.23 4.44 4.27 5/242 84115
/proc/meminfo: memFree=95872248/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=890260 memory=785016 CPUtime=2974.54 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 160465 0 0 0 297277 177 0 0 20 0 1 0 8076736 911626240 196254 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 222565 196254 1140 1005 0 221328 0
Current children cumulated CPU time: 2974.54 s
Current children cumulated vsize: 890260 KiB
Current children cumulated memory: 785016 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.36 4.25 5/241 84126
/proc/meminfo: memFree=95433484/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=890644 memory=786144 CPUtime=3034.39 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 160954 0 0 0 303258 181 0 0 20 0 1 0 8076736 912019456 196536 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 222661 196536 1140 1005 0 221424 0
Current children cumulated CPU time: 3034.39 s
Current children cumulated vsize: 890644 KiB
Current children cumulated memory: 786144 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.32 4.25 5/241 84136
/proc/meminfo: memFree=93743440/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=891156 memory=786560 CPUtime=3094.23 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 161153 0 0 0 309239 184 0 0 20 0 1 0 8076736 912543744 196640 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 222789 196640 1140 1005 0 221552 0
Current children cumulated CPU time: 3094.23 s
Current children cumulated vsize: 891156 KiB
Current children cumulated memory: 786560 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.29 4.24 5/243 84150
/proc/meminfo: memFree=93461252/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=892476 memory=787804 CPUtime=3154.09 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 161728 0 0 0 315222 187 0 0 20 0 1 0 8076736 913895424 196951 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 223119 196951 1140 1005 0 221882 0
Current children cumulated CPU time: 3154.09 s
Current children cumulated vsize: 892476 KiB
Current children cumulated memory: 787804 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.25 4.23 5/243 84162
/proc/meminfo: memFree=93372648/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=892476 memory=787912 CPUtime=3213.95 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 162043 0 0 0 321205 190 0 0 20 0 1 0 8076736 913895424 196978 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 223119 196978 1140 1005 0 221882 0
Current children cumulated CPU time: 3213.95 s
Current children cumulated vsize: 892476 KiB
Current children cumulated memory: 787912 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.22 4.22 5/243 84172
/proc/meminfo: memFree=93287672/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=893844 memory=788924 CPUtime=3273.81 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 162653 0 0 0 327189 192 0 0 20 0 1 0 8076736 915296256 197231 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 223461 197231 1140 1005 0 222224 0
Current children cumulated CPU time: 3273.81 s
Current children cumulated vsize: 893844 KiB
Current children cumulated memory: 788924 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.19 4.21 5/243 84184
/proc/meminfo: memFree=93185700/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=894580 memory=789744 CPUtime=3333.65 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 163154 0 0 0 333171 194 0 0 20 0 1 0 8076736 916049920 197436 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 223645 197436 1140 1005 0 222408 0
Current children cumulated CPU time: 3333.65 s
Current children cumulated vsize: 894580 KiB
Current children cumulated memory: 789744 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.17 4.20 5/243 84194
/proc/meminfo: memFree=93083972/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=894580 memory=790144 CPUtime=3393.51 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 163454 0 0 0 339152 199 0 0 20 0 1 0 8076736 916049920 197536 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 223645 197536 1140 1005 0 222408 0
Current children cumulated CPU time: 3393.51 s
Current children cumulated vsize: 894580 KiB
Current children cumulated memory: 790144 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.15 4.18 5/243 84204
/proc/meminfo: memFree=92919252/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=894580 memory=790172 CPUtime=3453.36 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 163751 0 0 0 345135 201 0 0 20 0 1 0 8076736 916049920 197543 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 223645 197543 1140 1005 0 222408 0
Current children cumulated CPU time: 3453.36 s
Current children cumulated vsize: 894580 KiB
Current children cumulated memory: 790172 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.14 4.18 5/241 84215
/proc/meminfo: memFree=92801972/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=894580 memory=790196 CPUtime=3513.22 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 164061 0 0 0 351119 203 0 0 20 0 1 0 8076736 916049920 197549 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 223645 197549 1140 1005 0 222408 0
Current children cumulated CPU time: 3513.22 s
Current children cumulated vsize: 894580 KiB
Current children cumulated memory: 790196 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.18 5/241 84225
/proc/meminfo: memFree=92550400/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=901288 memory=795376 CPUtime=3573.08 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 165655 0 0 0 357101 207 0 0 20 0 1 0 8076736 922918912 198844 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 225322 198844 1140 1005 0 224085 0
Current children cumulated CPU time: 3573.08 s
Current children cumulated vsize: 901288 KiB
Current children cumulated memory: 795376 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.09 4.13 4.17 5/242 84232
/proc/meminfo: memFree=92470392/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=903064 memory=798356 CPUtime=3600.01 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 166636 0 0 0 359792 209 0 0 20 0 1 0 8076736 924737536 199589 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 225766 199589 1140 1005 0 224529 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 903064 KiB
Current children cumulated memory: 798356 KiB

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

[startup+3609.35 s]
# the end of solver process 81942 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3597.97 s, system=2.10049 s

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

[startup+3609.3 s]
/proc/loadavg: 4.09 4.13 4.17 5/242 84232
/proc/meminfo: memFree=92470392/131655788 swapFree=131071996/131071996
[pid=81942] ppid=81939 vsize=903064 memory=798356 CPUtime=3600.01 cores=5,7
/proc/81942/stat : 81942 (Exact) R 81939 81942 80523 0 -1 4194304 166636 0 0 0 359792 209 0 0 20 0 1 0 8076736 924737536 199589 134679101440 4194304 8309489 140725327875280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 31522816 140725327881149 140725327881319 140725327881319 140725327888335 0
/proc/81942/statm: 225766 199589 1140 1005 0 224529 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 903064 KiB
Current children cumulated memory: 798356 KiB

Child status: 10

Real time (s): 3609.35
CPU time (s): 3600.07
CPU user time (s): 3597.97
CPU system time (s): 2.10049
CPU usage (%): 99.7429
Max. virtual memory (cumulated for all children) (KiB): 1045072
Max. memory (cumulated for all children) (KiB): 849876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.97
system time used= 2.10049
maximum resident set size= 917460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166640
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64
involuntary context switches= 3155


# summary of solver processes directly reported to runsolver:
#   pid: 81942
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3597.97
#   total CPU system time (s): 2.10049

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9906 second user time and 35.8161 second system time

The end