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: 63794 MiB (62446 MiB free)
  memory of node 1: 64507 MiB (61996 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521557-1751578751/watcher-4521557-1751578751 -o /tmp/evaluation-result-4521557-1751578751/solver-4521557-1751578751 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751569512-80915 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=521846185 --ls=360 --inp-dombreaklim=0 HOME/instance-4521557-1751578751.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=82183, runsolver pid=82180
Current StackSize limit: 8192 KiB


[startup+0.1001 s]*
/proc/loadavg: 4.12 4.10 4.09 5/250 82184
/proc/meminfo: memFree=127423140/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=34788 memory=11152 CPUtime=0.1 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 2228 0 0 0 10 0 0 0 20 0 1 0 73554485 35622912 2788 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 8697 2788 1024 1200 0 7177 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11152 KiB

[startup+0.213062 s]*
/proc/loadavg: 4.12 4.10 4.09 5/250 82184
/proc/meminfo: memFree=127423140/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=34788 memory=11152 CPUtime=0.21 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 2228 0 0 0 21 0 0 0 20 0 1 0 73554485 35622912 2788 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 8697 2788 1024 1200 0 7177 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11152 KiB

[startup+0.312885 s]*
/proc/loadavg: 4.12 4.10 4.09 5/250 82184
/proc/meminfo: memFree=127423140/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=34788 memory=11152 CPUtime=0.31 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 2228 0 0 0 31 0 0 0 20 0 1 0 73554485 35622912 2788 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 8697 2788 1024 1200 0 7177 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11152 KiB

[startup+0.700319 s]
/proc/loadavg: 4.12 4.10 4.09 6/250 82184
/proc/meminfo: memFree=127423140/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=34788 memory=11152 CPUtime=0.69 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 2228 0 0 0 69 0 0 0 20 0 1 0 73554485 35622912 2788 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 8697 2788 1024 1200 0 7177 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11152 KiB

[startup+1.50032 s]
/proc/loadavg: 4.12 4.10 4.09 5/250 82184
/proc/meminfo: memFree=127423396/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=34788 memory=11152 CPUtime=1.48 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 2228 0 0 0 148 0 0 0 20 0 1 0 73554485 35622912 2788 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 8697 2788 1024 1200 0 7177 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11152 KiB

[startup+3.11288 s]
/proc/loadavg: 4.11 4.10 4.09 5/250 82184
/proc/meminfo: memFree=127423848/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=34788 memory=11152 CPUtime=3.09 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 2228 0 0 0 309 0 0 0 20 0 1 0 73554485 35622912 2788 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 8697 2788 1024 1200 0 7177 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11152 KiB

[startup+6.30032 s]
/proc/loadavg: 4.11 4.10 4.09 5/250 82184
/proc/meminfo: memFree=127424124/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=34788 memory=11152 CPUtime=6.27 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 2228 0 0 0 627 0 0 0 20 0 1 0 73554485 35622912 2788 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 8697 2788 1024 1200 0 7177 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11152 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 82184
/proc/meminfo: memFree=127416376/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=34788 memory=11152 CPUtime=12.65 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 2228 0 0 0 1265 0 0 0 20 0 1 0 73554485 35622912 2788 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 8697 2788 1024 1200 0 7177 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11152 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 82184
/proc/meminfo: memFree=127416440/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=34788 memory=11152 CPUtime=25.41 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 2228 0 0 0 2541 0 0 0 20 0 1 0 73554485 35622912 2788 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 8697 2788 1024 1200 0 7177 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11152 KiB

[startup+51.1128 s]
/proc/loadavg: 4.18 4.11 4.10 5/250 82185
/proc/meminfo: memFree=127412516/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=34788 memory=11664 CPUtime=50.94 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 2230 0 0 0 5094 0 0 0 20 0 1 0 73554485 35622912 2916 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 8697 2916 1024 1200 0 7177 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11664 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 82186
/proc/meminfo: memFree=126804420/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=34788 memory=11664 CPUtime=101.97 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 2233 0 0 0 10197 0 0 0 20 0 1 0 73554485 35622912 2916 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 8697 2916 1024 1200 0 7177 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11664 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/251 82189
/proc/meminfo: memFree=126812524/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=34788 memory=11664 CPUtime=161.79 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 2234 0 0 0 16179 0 0 0 20 0 1 0 73554485 35622912 2916 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 8697 2916 1024 1200 0 7177 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11664 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 82191
/proc/meminfo: memFree=126813492/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=34788 memory=11664 CPUtime=221.63 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 2235 0 0 0 22163 0 0 0 20 0 1 0 73554485 35622912 2916 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 8697 2916 1024 1200 0 7177 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11664 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 82193
/proc/meminfo: memFree=126813848/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=34788 memory=11664 CPUtime=281.47 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 2236 0 0 0 28147 0 0 0 20 0 1 0 73554485 35622912 2916 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 8697 2916 1024 1200 0 7177 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11664 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 82195
/proc/meminfo: memFree=126813008/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=34788 memory=11664 CPUtime=341.3 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 2237 0 0 0 34130 0 0 0 20 0 1 0 73554485 35622912 2916 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 8697 2916 1024 1200 0 7177 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11664 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 82197
/proc/meminfo: memFree=126582768/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=273072 memory=219272 CPUtime=401.11 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 40289 0 0 0 40085 26 0 0 20 0 1 0 73554485 279625728 54818 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 68268 54818 1280 1200 0 66748 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 273072 KiB
Current children cumulated memory: 219272 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 82199
/proc/meminfo: memFree=126583088/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=290760 memory=234376 CPUtime=460.92 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 44049 0 0 0 46042 50 0 0 20 0 1 0 73554485 297738240 58594 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 72690 58594 1280 1200 0 71170 0
Current children cumulated CPU time: 460.92 s

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

Current children cumulated memory: 414872 KiB

[startup+2922.3 s]
/proc/loadavg: 2.07 2.14 2.69 3/239 82404
/proc/meminfo: memFree=127157764/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=441168 memory=415640 CPUtime=2913.44 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 79898 0 0 0 290429 915 0 0 20 0 1 0 73554485 451756032 103910 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 110292 103910 1280 1200 0 108772 0
Current children cumulated CPU time: 2913.44 s
Current children cumulated vsize: 441168 KiB
Current children cumulated memory: 415640 KiB

[startup+2982.3 s]
/proc/loadavg: 2.08 2.13 2.65 3/239 82406
/proc/meminfo: memFree=127149724/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=445488 memory=419352 CPUtime=2973.25 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 80879 0 0 0 296388 937 0 0 20 0 1 0 73554485 456179712 104838 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 111372 104838 1280 1200 0 109852 0
Current children cumulated CPU time: 2973.25 s
Current children cumulated vsize: 445488 KiB
Current children cumulated memory: 419352 KiB

[startup+3042.3 s]
/proc/loadavg: 2.15 2.14 2.62 3/240 82413
/proc/meminfo: memFree=127149740/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=447408 memory=421272 CPUtime=3033.05 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 81363 0 0 0 302343 962 0 0 20 0 1 0 73554485 458145792 105318 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 111852 105318 1280 1200 0 110332 0
Current children cumulated CPU time: 3033.05 s
Current children cumulated vsize: 447408 KiB
Current children cumulated memory: 421272 KiB

[startup+3102.3 s]
/proc/loadavg: 2.15 2.14 2.59 3/240 82417
/proc/meminfo: memFree=127149168/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=447408 memory=421272 CPUtime=3092.84 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 81523 0 0 0 308301 983 0 0 20 0 1 0 73554485 458145792 105318 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 111852 105318 1280 1200 0 110332 0
Current children cumulated CPU time: 3092.84 s
Current children cumulated vsize: 447408 KiB
Current children cumulated memory: 421272 KiB

[startup+3162.3 s]
/proc/loadavg: 2.05 2.11 2.55 3/240 82419
/proc/meminfo: memFree=127149756/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=449424 memory=423192 CPUtime=3152.64 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 82029 0 0 0 314261 1003 0 0 20 0 1 0 73554485 460210176 105798 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 112356 105798 1280 1200 0 110836 0
Current children cumulated CPU time: 3152.64 s
Current children cumulated vsize: 449424 KiB
Current children cumulated memory: 423192 KiB

[startup+3222.3 s]
/proc/loadavg: 2.13 2.12 2.52 3/239 82421
/proc/meminfo: memFree=127147632/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=449616 memory=423448 CPUtime=3212.43 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 82206 0 0 0 320221 1022 0 0 20 0 1 0 73554485 460406784 105862 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 112404 105862 1280 1200 0 110884 0
Current children cumulated CPU time: 3212.43 s
Current children cumulated vsize: 449616 KiB
Current children cumulated memory: 423448 KiB

[startup+3282.3 s]
/proc/loadavg: 2.10 2.11 2.49 3/239 82423
/proc/meminfo: memFree=127136132/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=450672 memory=427288 CPUtime=3272.27 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 82529 0 0 0 326182 1045 0 0 20 0 1 0 73554485 461488128 106822 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 112668 106822 1280 1200 0 111148 0
Current children cumulated CPU time: 3272.27 s
Current children cumulated vsize: 450672 KiB
Current children cumulated memory: 427288 KiB

[startup+3342.3 s]
/proc/loadavg: 2.08 2.11 2.47 2/233 82455
/proc/meminfo: memFree=127809952/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=453552 memory=429592 CPUtime=3332.13 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 83128 0 0 0 332146 1067 0 0 20 0 1 0 73554485 464437248 107398 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 113388 107398 1280 1200 0 111868 0
Current children cumulated CPU time: 3332.13 s
Current children cumulated vsize: 453552 KiB
Current children cumulated memory: 429592 KiB

[startup+3402.3 s]
/proc/loadavg: 1.46 1.92 2.38 2/233 82457
/proc/meminfo: memFree=127809964/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=454608 memory=430616 CPUtime=3391.99 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 83536 0 0 0 338110 1089 0 0 20 0 1 0 73554485 465518592 107654 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 113652 107654 1280 1200 0 112132 0
Current children cumulated CPU time: 3391.99 s
Current children cumulated vsize: 454608 KiB
Current children cumulated memory: 430616 KiB

[startup+3462.3 s]
/proc/loadavg: 1.22 1.76 2.29 2/234 82460
/proc/meminfo: memFree=127809964/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=460560 memory=435096 CPUtime=3451.83 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 84704 0 0 0 344077 1106 0 0 20 0 1 0 73554485 471613440 108774 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 115140 108774 1280 1200 0 113620 0
Current children cumulated CPU time: 3451.83 s
Current children cumulated vsize: 460560 KiB
Current children cumulated memory: 435096 KiB

[startup+3522.3 s]
/proc/loadavg: 1.20 1.65 2.22 2/234 82462
/proc/meminfo: memFree=127801660/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=463056 memory=437528 CPUtime=3511.69 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 85314 0 0 0 350042 1127 0 0 20 0 1 0 73554485 474169344 109382 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 115764 109382 1280 1200 0 114244 0
Current children cumulated CPU time: 3511.69 s
Current children cumulated vsize: 463056 KiB
Current children cumulated memory: 437528 KiB

[startup+3582.3 s]
/proc/loadavg: 1.64 1.69 2.19 2/234 82464
/proc/meminfo: memFree=127801660/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=467188 memory=441112 CPUtime=3571.55 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 86395 0 0 0 356005 1150 0 0 20 0 1 0 73554485 478400512 110278 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 116797 110278 1280 1200 0 115277 0
Current children cumulated CPU time: 3571.55 s
Current children cumulated vsize: 467188 KiB
Current children cumulated memory: 441112 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 1.57 1.67 2.17 2/234 82464
/proc/meminfo: memFree=127801660/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=470068 memory=443672 CPUtime=3600.08 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 87063 0 0 0 358851 1157 0 0 20 0 1 0 73554485 481349632 110918 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 117517 110918 1280 1200 0 115997 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 470068 KiB
Current children cumulated memory: 443672 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.52 s, system=11.5768 s

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

[startup+3610.9 s]
/proc/loadavg: 1.57 1.67 2.17 2/234 82464
/proc/meminfo: memFree=127801660/131382120 swapFree=33010416/33010684
[pid=82183] ppid=82180 vsize=470068 memory=443672 CPUtime=3600.08 cores=4,6
/proc/82183/stat : 82183 (Exact) R 82180 82183 80904 0 -1 4194304 87063 0 0 0 358851 1157 0 0 20 0 1 0 73554485 481349632 110918 18446744073709551615 4198400 9112445 140727083548400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 40083456 140727083551015 140727083551213 140727083551213 140727083556815 0
/proc/82183/statm: 117517 110918 1280 1200 0 115997 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 470068 KiB
Current children cumulated memory: 443672 KiB

Child status: 10

Real time (s): 3610.91
CPU time (s): 3600.1
CPU user time (s): 3588.52
CPU system time (s): 11.5768
CPU usage (%): 99.7006
Max. virtual memory (cumulated for all children) (KiB): 470068
Max. memory (cumulated for all children) (KiB): 443672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.52
system time used= 11.5768
maximum resident set size= 443672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87065
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= 114
involuntary context switches= 19265


# summary of solver processes directly reported to runsolver:
#   pid: 82183
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3588.52
#   total CPU system time (s): 11.5768

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4527 second user time and 33.3354 second system time

The end