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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433509-1721061087/watcher-4433509-1721061087 -o /tmp/evaluation-result-4433509-1721061087/solver-4433509-1721061087 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721061099-809828 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=899044778 HOME/instance-4433509-1721061087.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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
Current StackSize limit: 8192 KiB
solver pid=809865, runsolver pid=809862


[startup+0.100097 s]*
/proc/loadavg: 1.10 1.09 1.50 5/243 809888
/proc/meminfo: memFree=128529088/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=31068 memory=11848 CPUtime=0.1 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 1892 0 0 0 10 0 0 0 20 0 1 0 158267502 31813632 2962 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 7767 2962 755 746 0 6831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31068 KiB
Current children cumulated memory: 11848 KiB

[startup+0.214042 s]*
/proc/loadavg: 1.10 1.09 1.50 5/243 809888
/proc/meminfo: memFree=128516948/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=33204 memory=16180 CPUtime=0.21 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 2430 0 0 0 21 0 0 0 20 0 1 0 158267502 34000896 4045 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 8301 4045 803 746 0 7365 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 16180 KiB

[startup+0.313819 s]*
/proc/loadavg: 1.10 1.09 1.50 5/243 809888
/proc/meminfo: memFree=128509016/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=33372 memory=18228 CPUtime=0.31 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 2457 0 0 0 31 0 0 0 20 0 1 0 158267502 34172928 4557 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 8343 4557 803 746 0 7407 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33372 KiB
Current children cumulated memory: 18228 KiB

[startup+0.700273 s]
/proc/loadavg: 1.10 1.09 1.50 5/243 809888
/proc/meminfo: memFree=128500240/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=33636 memory=20656 CPUtime=0.68 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 2533 0 0 0 68 0 0 0 20 0 1 0 158267502 34443264 5164 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 8409 5164 835 746 0 7473 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 33636 KiB
Current children cumulated memory: 20656 KiB

[startup+1.5003 s]
/proc/loadavg: 1.10 1.09 1.50 5/243 809888
/proc/meminfo: memFree=128490312/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=34032 memory=27316 CPUtime=1.49 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 2631 0 0 0 148 1 0 0 20 0 1 0 158267502 34848768 6829 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 8508 6829 835 746 0 7572 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 34032 KiB
Current children cumulated memory: 27316 KiB

[startup+3.11314 s]
/proc/loadavg: 1.33 1.14 1.52 5/243 809890
/proc/meminfo: memFree=128427528/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=56832 memory=43956 CPUtime=3.09 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 6166 0 0 0 307 2 0 0 20 0 1 0 158267502 58195968 10989 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 14208 10989 835 746 0 13272 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 56832 KiB
Current children cumulated memory: 43956 KiB

[startup+6.30029 s]
/proc/loadavg: 1.33 1.14 1.52 5/243 809890
/proc/meminfo: memFree=128409372/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=59152 memory=52476 CPUtime=6.27 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 6762 0 0 0 625 2 0 0 20 0 1 0 158267502 60571648 13119 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 14788 13119 835 746 0 13852 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 59152 KiB
Current children cumulated memory: 52476 KiB

[startup+12.7003 s]
/proc/loadavg: 1.74 1.23 1.54 5/243 809891
/proc/meminfo: memFree=128359224/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=85020 memory=69656 CPUtime=12.64 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 8411 0 0 0 1261 3 0 0 20 0 1 0 158267502 87060480 17414 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 21255 17414 835 746 0 20319 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 85020 KiB
Current children cumulated memory: 69656 KiB

[startup+25.5004 s]
/proc/loadavg: 2.09 1.33 1.57 5/243 809893
/proc/meminfo: memFree=128333212/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=86964 memory=77772 CPUtime=25.4 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 8935 0 0 0 2537 3 0 0 20 0 1 0 158267502 89051136 19443 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 21741 19443 835 746 0 20805 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 86964 KiB
Current children cumulated memory: 77772 KiB

[startup+51.1131 s]
/proc/loadavg: 2.74 1.54 1.64 5/243 809896
/proc/meminfo: memFree=128286420/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=89308 memory=82320 CPUtime=50.92 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 9574 0 0 0 5089 3 0 0 20 0 1 0 158267502 91451392 20580 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 22327 20580 835 746 0 21391 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 89308 KiB
Current children cumulated memory: 82320 KiB

[startup+102.3 s]
/proc/loadavg: 3.61 1.99 1.79 5/243 809906
/proc/meminfo: memFree=128255984/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=132656 memory=90512 CPUtime=101.93 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 11216 0 0 0 10189 4 0 0 20 0 1 0 158267502 135839744 22628 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 33164 22628 835 746 0 32228 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 132656 KiB
Current children cumulated memory: 90512 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.37 1.93 5/243 809917
/proc/meminfo: memFree=128228676/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=135372 memory=97328 CPUtime=161.72 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 11958 0 0 0 16168 4 0 0 20 0 1 0 158267502 138620928 24332 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 33843 24332 835 746 0 32907 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 135372 KiB
Current children cumulated memory: 97328 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.69 2.07 5/243 809928
/proc/meminfo: memFree=128207792/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=139420 memory=107608 CPUtime=221.54 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 13030 0 0 0 22150 4 0 0 20 0 1 0 158267502 142766080 26902 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 34855 26902 835 746 0 33919 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 139420 KiB
Current children cumulated memory: 107608 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 2.96 2.20 5/241 809940
/proc/meminfo: memFree=128187312/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=142280 memory=116712 CPUtime=281.4 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 13814 0 0 0 28135 5 0 0 20 0 1 0 158267502 145694720 29178 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 35570 29178 835 746 0 34634 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 142280 KiB
Current children cumulated memory: 116712 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.17 2.32 5/241 809950
/proc/meminfo: memFree=128178164/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=144436 memory=118892 CPUtime=341.24 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 14404 0 0 0 34119 5 0 0 20 0 1 0 158267502 147902464 29723 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 36109 29723 835 746 0 35173 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 144436 KiB
Current children cumulated memory: 118892 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 3.35 2.44 5/241 809960
/proc/meminfo: memFree=128165616/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=145904 memory=120280 CPUtime=401.08 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 14801 0 0 0 40103 5 0 0 20 0 1 0 158267502 149405696 30070 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 36476 30070 835 746 0 35540 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 145904 KiB
Current children cumulated memory: 120280 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.49 2.55 5/241 809971
/proc/meminfo: memFree=128155820/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=146676 memory=121244 CPUtime=460.93 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 15064 0 0 0 46088 5 0 0 20 0 1 0 158267502 150196224 30311 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0

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

Current children cumulated memory: 175208 KiB

[startup+2862.3 s]
/proc/loadavg: 4.78 4.36 4.12 5/241 810969
/proc/meminfo: memFree=127954300/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=180972 memory=175936 CPUtime=2853.45 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 26374 0 0 0 285336 9 0 0 20 0 1 0 158267502 185315328 43984 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 45243 43984 835 746 0 44307 0
Current children cumulated CPU time: 2853.45 s
Current children cumulated vsize: 180972 KiB
Current children cumulated memory: 175936 KiB

[startup+2922.3 s]
/proc/loadavg: 4.97 4.49 4.18 5/241 810979
/proc/meminfo: memFree=127952972/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=181468 memory=176432 CPUtime=2913.28 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 26531 0 0 0 291319 9 0 0 20 0 1 0 158267502 185823232 44108 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 45367 44108 835 746 0 44431 0
Current children cumulated CPU time: 2913.28 s
Current children cumulated vsize: 181468 KiB
Current children cumulated memory: 176432 KiB

[startup+2982.3 s]
/proc/loadavg: 4.98 4.57 4.22 5/243 810993
/proc/meminfo: memFree=127951240/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=182380 memory=177380 CPUtime=2973.12 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 26854 0 0 0 297303 9 0 0 20 0 1 0 158267502 186757120 44345 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 45595 44345 835 746 0 44659 0
Current children cumulated CPU time: 2973.12 s
Current children cumulated vsize: 182380 KiB
Current children cumulated memory: 177380 KiB

[startup+3042.3 s]
/proc/loadavg: 5.09 4.68 4.29 5/243 811003
/proc/meminfo: memFree=127939456/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=182652 memory=177648 CPUtime=3032.97 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 27009 0 0 0 303288 9 0 0 20 0 1 0 158267502 187035648 44412 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 45663 44412 835 746 0 44727 0
Current children cumulated CPU time: 3032.97 s
Current children cumulated vsize: 182652 KiB
Current children cumulated memory: 177648 KiB

[startup+3102.3 s]
/proc/loadavg: 4.75 4.67 4.31 5/243 811014
/proc/meminfo: memFree=127937076/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=183820 memory=178784 CPUtime=3092.81 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 27373 0 0 0 309272 9 0 0 20 0 1 0 158267502 188231680 44696 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 45955 44696 835 746 0 45019 0
Current children cumulated CPU time: 3092.81 s
Current children cumulated vsize: 183820 KiB
Current children cumulated memory: 178784 KiB

[startup+3162.3 s]
/proc/loadavg: 4.42 4.59 4.30 5/243 811024
/proc/meminfo: memFree=127935928/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=184556 memory=179528 CPUtime=3152.66 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 27659 0 0 0 315257 9 0 0 20 0 1 0 158267502 188985344 44882 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 46139 44882 835 746 0 45203 0
Current children cumulated CPU time: 3152.66 s
Current children cumulated vsize: 184556 KiB
Current children cumulated memory: 179528 KiB

[startup+3222.3 s]
/proc/loadavg: 4.26 4.51 4.29 5/243 811035
/proc/meminfo: memFree=127935220/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=184556 memory=179584 CPUtime=3212.5 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 27713 0 0 0 321241 9 0 0 20 0 1 0 158267502 188985344 44896 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 46139 44896 835 746 0 45203 0
Current children cumulated CPU time: 3212.5 s
Current children cumulated vsize: 184556 KiB
Current children cumulated memory: 179584 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.43 4.27 5/242 811429
/proc/meminfo: memFree=127933864/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=184748 memory=179712 CPUtime=3272.35 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 27835 0 0 0 327226 9 0 0 20 0 1 0 158267502 189181952 44928 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 46187 44928 835 746 0 45251 0
Current children cumulated CPU time: 3272.35 s
Current children cumulated vsize: 184748 KiB
Current children cumulated memory: 179712 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.39 4.27 5/242 811439
/proc/meminfo: memFree=127931972/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=185068 memory=179904 CPUtime=3332.2 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 28007 0 0 0 333211 9 0 0 20 0 1 0 158267502 189509632 44976 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 46267 44976 835 746 0 45331 0
Current children cumulated CPU time: 3332.2 s
Current children cumulated vsize: 185068 KiB
Current children cumulated memory: 179904 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.34 4.26 5/242 811449
/proc/meminfo: memFree=127931208/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=185068 memory=180096 CPUtime=3392.04 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 28072 0 0 0 339195 9 0 0 20 0 1 0 158267502 189509632 45024 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 46267 45024 835 746 0 45331 0
Current children cumulated CPU time: 3392.04 s
Current children cumulated vsize: 185068 KiB
Current children cumulated memory: 180096 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.31 4.26 5/243 811629
/proc/meminfo: memFree=127929568/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=185068 memory=180148 CPUtime=3451.89 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 28184 0 0 0 345180 9 0 0 20 0 1 0 158267502 189509632 45037 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 46267 45037 835 746 0 45331 0
Current children cumulated CPU time: 3451.89 s
Current children cumulated vsize: 185068 KiB
Current children cumulated memory: 180148 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.25 4.24 5/243 811639
/proc/meminfo: memFree=127928020/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=185632 memory=180596 CPUtime=3511.74 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 28345 0 0 0 351165 9 0 0 20 0 1 0 158267502 190087168 45149 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 46408 45149 835 746 0 45472 0
Current children cumulated CPU time: 3511.74 s
Current children cumulated vsize: 185632 KiB
Current children cumulated memory: 180596 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.22 4.23 5/246 811708
/proc/meminfo: memFree=127926408/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=186128 memory=181092 CPUtime=3571.58 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 28546 0 0 0 357149 9 0 0 20 0 1 0 158267502 190595072 45273 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 46532 45273 835 746 0 45596 0
Current children cumulated CPU time: 3571.58 s
Current children cumulated vsize: 186128 KiB
Current children cumulated memory: 181092 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.09 4.21 4.22 4/243 811772
/proc/meminfo: memFree=128237336/131655788 swapFree=131071996/131071996
[pid=809865] ppid=809862 vsize=186128 memory=181092 CPUtime=3600.01 cores=5,7
/proc/809865/stat : 809865 (Exact_nosoplex) R 809862 809865 809815 0 -1 4194304 28598 0 0 0 359992 9 0 0 20 0 1 0 158267502 190595072 45273 134679101440 4194304 7248369 140733106370048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 26255360 140733106373549 140733106373727 140733106373727 140733106380742 0
/proc/809865/statm: 46532 45273 835 746 0 45596 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 186128 KiB
Current children cumulated memory: 181092 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.93 s, system=0.098321 s

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

Child status: 10

Real time (s): 3610.8
CPU time (s): 3600.03
CPU user time (s): 3599.93
CPU system time (s): 0.098321
CPU usage (%): 99.7016
Max. virtual memory (cumulated for all children) (KiB): 186128
Max. memory (cumulated for all children) (KiB): 181092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.93
system time used= 0.098321
maximum resident set size= 181092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28599
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= 28
involuntary context switches= 1652


# summary of solver processes directly reported to runsolver:
#   pid: 809865
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3599.93
#   total CPU system time (s): 0.098321

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9071 second user time and 35.4394 second system time

The end