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: 63968 MiB (47257 MiB free)
  memory of node 1: 64473 MiB (47832 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456313-1721721440/watcher-4456313-1721721440 -o /tmp/evaluation-result-4456313-1721721440/solver-4456313-1721721440 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721717830-87263 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1308360747 HOME/instance-4456313-1721721440.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
Starting watchdog thread
solver pid=89344, runsolver pid=89341
Current StackSize limit: 8192 KiB


[startup+0.100095 s]*
/proc/loadavg: 4.15 4.13 4.08 5/255 89345
/proc/meminfo: memFree=97321704/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=79324 memory=54608 CPUtime=0.09 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 15817 0 0 0 7 2 0 0 20 0 1 0 8673022 81227776 13652 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 19831 13652 755 746 0 18895 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 79324 KiB
Current children cumulated memory: 54608 KiB

[startup+0.205764 s]*
/proc/loadavg: 4.15 4.13 4.08 5/255 89345
/proc/meminfo: memFree=97289972/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=106244 memory=86036 CPUtime=0.19 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 24603 0 0 0 16 3 0 0 20 0 1 0 8673022 108793856 21509 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 26561 21509 803 746 0 25625 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 106244 KiB
Current children cumulated memory: 86036 KiB

[startup+0.305615 s]*
/proc/loadavg: 4.15 4.13 4.08 5/255 89345
/proc/meminfo: memFree=97271764/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=119884 memory=103256 CPUtime=0.3 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 27374 0 0 0 26 4 0 0 20 0 1 0 8673022 122761216 25814 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 29971 25814 803 746 0 29035 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 119884 KiB
Current children cumulated memory: 103256 KiB

[startup+0.700241 s]
/proc/loadavg: 4.15 4.13 4.08 4/250 89353
/proc/meminfo: memFree=98846652/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=137052 memory=121252 CPUtime=0.68 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 30831 0 0 0 64 4 0 0 20 0 1 0 8673022 140341248 30313 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 34263 30313 851 746 0 33327 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 137052 KiB
Current children cumulated memory: 121252 KiB

[startup+1.50024 s]
/proc/loadavg: 4.15 4.13 4.08 5/251 89380
/proc/meminfo: memFree=98785872/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=140616 memory=124948 CPUtime=1.49 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 31744 0 0 0 144 5 0 0 20 0 1 0 8673022 143990784 31237 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 35154 31237 851 746 0 34218 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 140616 KiB
Current children cumulated memory: 124948 KiB

[startup+3.10564 s]
/proc/loadavg: 4.22 4.14 4.08 5/255 89439
/proc/meminfo: memFree=102355580/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=157188 memory=144040 CPUtime=3.09 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 35503 0 0 0 304 5 0 0 20 0 1 0 8673022 160960512 36010 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 39297 36010 851 746 0 38361 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 157188 KiB
Current children cumulated memory: 144040 KiB

[startup+6.30022 s]
/proc/loadavg: 4.22 4.14 4.08 5/255 89439
/proc/meminfo: memFree=100161680/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=173172 memory=151144 CPUtime=6.27 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 37031 0 0 0 621 6 0 0 20 0 1 0 8673022 177328128 37786 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 43293 37786 851 746 0 42357 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 173172 KiB
Current children cumulated memory: 151144 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.14 4.08 5/255 89439
/proc/meminfo: memFree=97119848/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=183480 memory=165712 CPUtime=12.66 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 39623 0 0 0 1259 7 0 0 20 0 1 0 8673022 187883520 41428 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 45870 41428 851 746 0 44934 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 183480 KiB
Current children cumulated memory: 165712 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.13 4.08 5/255 89443
/proc/meminfo: memFree=96300592/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=220768 memory=208360 CPUtime=25.43 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 44139 0 0 0 2534 9 0 0 20 0 1 0 8673022 226066432 52090 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 55192 52090 851 746 0 54256 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 220768 KiB
Current children cumulated memory: 208360 KiB

[startup+51.1055 s]
/proc/loadavg: 4.16 4.14 4.08 5/255 89446
/proc/meminfo: memFree=95686000/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=241052 memory=228896 CPUtime=50.97 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 49643 0 0 0 5087 10 0 0 20 0 1 0 8673022 246837248 57224 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 60263 57224 851 746 0 59327 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 241052 KiB
Current children cumulated memory: 228896 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.08 5/256 89623
/proc/meminfo: memFree=95258644/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=314488 memory=273360 CPUtime=102.04 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 58199 0 0 0 10191 13 0 0 20 0 1 0 8673022 322035712 68340 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 78622 68340 851 746 0 77686 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 314488 KiB
Current children cumulated memory: 273360 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.12 4.08 5/256 89633
/proc/meminfo: memFree=94527196/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=341400 memory=308220 CPUtime=161.89 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 64424 0 0 0 16174 15 0 0 20 0 1 0 8673022 349593600 77055 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 85350 77055 851 746 0 84414 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 341400 KiB
Current children cumulated memory: 308220 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/257 90027
/proc/meminfo: memFree=98320988/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=341400 memory=308920 CPUtime=221.75 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 64461 0 0 0 22160 15 0 0 20 0 1 0 8673022 349593600 77230 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 85350 77230 851 746 0 84414 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 341400 KiB
Current children cumulated memory: 308920 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/258 90039
/proc/meminfo: memFree=96850976/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=349520 memory=338600 CPUtime=281.58 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 66605 0 0 0 28143 15 0 0 20 0 1 0 8673022 357908480 84650 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 87380 84650 851 746 0 86444 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 349520 KiB
Current children cumulated memory: 338600 KiB

[startup+342.3 s]
/proc/loadavg: 4.52 4.22 4.13 5/258 90049
/proc/meminfo: memFree=96357704/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=351688 memory=340744 CPUtime=341.43 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 67286 0 0 0 34128 15 0 0 20 0 1 0 8673022 360128512 85186 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 87922 85186 851 746 0 86986 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 351688 KiB
Current children cumulated memory: 340744 KiB

[startup+402.3 s]
/proc/loadavg: 4.30 4.21 4.13 5/256 90059
/proc/meminfo: memFree=96057928/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=351688 memory=341428 CPUtime=401.29 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 67422 0 0 0 40114 15 0 0 20 0 1 0 8673022 360128512 85357 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 87922 85357 851 746 0 86986 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 351688 KiB
Current children cumulated memory: 341428 KiB

[startup+462.3 s]
/proc/loadavg: 4.27 4.21 4.13 5/256 90071
/proc/meminfo: memFree=95880108/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=359040 memory=349128 CPUtime=461.15 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 69422 0 0 0 46099 16 0 0 20 0 1 0 8673022 367656960 87282 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 89760 87282 851 746 0 88824 0
Current children cumulated CPU time: 461.15 s

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

Current children cumulated memory: 575148 KiB

[startup+2922.3 s]
/proc/loadavg: 4.25 4.21 4.18 5/254 91141
/proc/meminfo: memFree=83277948/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=601412 memory=577148 CPUtime=2914.05 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 119147 0 0 0 291379 26 0 0 20 0 1 0 8673022 615845888 144287 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 150353 144287 851 746 0 149417 0
Current children cumulated CPU time: 2914.05 s
Current children cumulated vsize: 601412 KiB
Current children cumulated memory: 577148 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.19 4.18 5/255 91152
/proc/meminfo: memFree=83153548/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=601412 memory=577152 CPUtime=2973.88 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 119287 0 0 0 297362 26 0 0 20 0 1 0 8673022 615845888 144288 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 150353 144288 851 746 0 149417 0
Current children cumulated CPU time: 2973.88 s
Current children cumulated vsize: 601412 KiB
Current children cumulated memory: 577152 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/255 91163
/proc/meminfo: memFree=83049060/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=603692 memory=579540 CPUtime=3033.7 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 120047 0 0 0 303344 26 0 0 20 0 1 0 8673022 618180608 144885 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 150923 144885 851 746 0 149987 0
Current children cumulated CPU time: 3033.7 s
Current children cumulated vsize: 603692 KiB
Current children cumulated memory: 579540 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/255 91173
/proc/meminfo: memFree=82826352/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=603988 memory=579836 CPUtime=3093.51 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 120262 0 0 0 309325 26 0 0 20 0 1 0 8673022 618483712 144959 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 150997 144959 851 746 0 150061 0
Current children cumulated CPU time: 3093.51 s
Current children cumulated vsize: 603988 KiB
Current children cumulated memory: 579836 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/255 91183
/proc/meminfo: memFree=81032360/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=603988 memory=579956 CPUtime=3153.34 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 120428 0 0 0 315308 26 0 0 20 0 1 0 8673022 618483712 144989 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 150997 144989 851 746 0 150061 0
Current children cumulated CPU time: 3153.34 s
Current children cumulated vsize: 603988 KiB
Current children cumulated memory: 579956 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.15 4.17 6/257 91197
/proc/meminfo: memFree=80904128/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=604304 memory=580152 CPUtime=3213.17 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 120636 0 0 0 321291 26 0 0 20 0 1 0 8673022 618807296 145038 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 151076 145038 851 746 0 150140 0
Current children cumulated CPU time: 3213.17 s
Current children cumulated vsize: 604304 KiB
Current children cumulated memory: 580152 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/256 91210
/proc/meminfo: memFree=80800688/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=606180 memory=582028 CPUtime=3272.98 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 121243 0 0 0 327272 26 0 0 20 0 1 0 8673022 620728320 145507 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 151545 145507 851 746 0 150609 0
Current children cumulated CPU time: 3272.98 s
Current children cumulated vsize: 606180 KiB
Current children cumulated memory: 582028 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/256 91220
/proc/meminfo: memFree=80687484/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=606608 memory=582456 CPUtime=3332.8 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 121489 0 0 0 333254 26 0 0 20 0 1 0 8673022 621166592 145614 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 151652 145614 851 746 0 150716 0
Current children cumulated CPU time: 3332.8 s
Current children cumulated vsize: 606608 KiB
Current children cumulated memory: 582456 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.17 4.17 5/256 91230
/proc/meminfo: memFree=80595428/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=606608 memory=582456 CPUtime=3392.63 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 121623 0 0 0 339237 26 0 0 20 0 1 0 8673022 621166592 145614 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 151652 145614 851 746 0 150716 0
Current children cumulated CPU time: 3392.63 s
Current children cumulated vsize: 606608 KiB
Current children cumulated memory: 582456 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.16 4.17 5/256 91241
/proc/meminfo: memFree=80488932/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=607828 memory=583548 CPUtime=3452.45 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 122108 0 0 0 345219 26 0 0 20 0 1 0 8673022 622415872 145887 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 151957 145887 851 746 0 151021 0
Current children cumulated CPU time: 3452.45 s
Current children cumulated vsize: 607828 KiB
Current children cumulated memory: 583548 KiB

[startup+3522.3 s]
/proc/loadavg: 4.24 4.18 4.18 5/256 91634
/proc/meminfo: memFree=80398236/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=607984 memory=583896 CPUtime=3512.26 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 122281 0 0 0 351200 26 0 0 20 0 1 0 8673022 622575616 145974 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 151996 145974 851 746 0 151060 0
Current children cumulated CPU time: 3512.26 s
Current children cumulated vsize: 607984 KiB
Current children cumulated memory: 583896 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.16 4.17 5/257 91647
/proc/meminfo: memFree=80110160/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=607984 memory=583980 CPUtime=3572.1 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 122435 0 0 0 357183 27 0 0 20 0 1 0 8673022 622575616 145995 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 151996 145995 851 746 0 151060 0
Current children cumulated CPU time: 3572.1 s
Current children cumulated vsize: 607984 KiB
Current children cumulated memory: 583980 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.17 4.16 4.17 5/257 91652
/proc/meminfo: memFree=80066108/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=608328 memory=583984 CPUtime=3600.02 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 122513 0 0 0 359975 27 0 0 20 0 1 0 8673022 622927872 145996 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 152082 145996 851 746 0 151146 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 608328 KiB
Current children cumulated memory: 583984 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.8 s, system=0.282211 s

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

[startup+3610.3 s]
/proc/loadavg: 4.17 4.16 4.17 5/257 91652
/proc/meminfo: memFree=80066108/131524600 swapFree=131071996/131071996
[pid=89344] ppid=89341 vsize=608328 memory=583984 CPUtime=3600.02 cores=5,7
/proc/89344/stat : 89344 (Exact_nosoplex) R 89341 89344 87250 0 -1 4194304 122513 0 0 0 359975 27 0 0 20 0 1 0 8673022 622927872 145996 134679101440 4194304 7248369 140722496561488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 45285376 140722496570283 140722496570462 140722496570462 140722496577478 0
/proc/89344/statm: 152082 145996 851 746 0 151146 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 608328 KiB
Current children cumulated memory: 583984 KiB

Child status: 10

Real time (s): 3610.35
CPU time (s): 3600.08
CPU user time (s): 3599.8
CPU system time (s): 0.282211
CPU usage (%): 99.7155
Max. virtual memory (cumulated for all children) (KiB): 608328
Max. memory (cumulated for all children) (KiB): 583984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.8
system time used= 0.282211
maximum resident set size= 584184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122561
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= 41
involuntary context switches= 1735


# summary of solver processes directly reported to runsolver:
#   pid: 89344
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.8
#   total CPU system time (s): 0.282211

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.1789 second user time and 18.558 second system time

The end