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: 63837 MiB (62109 MiB free)
  memory of node 1: 64465 MiB (53334 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509121-1751516727/watcher-4509121-1751516727 -o /tmp/evaluation-result-4509121-1751516727/solver-4509121-1751516727 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751512021-74260 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=727778338 --ls=360 --inp-dombreaklim=0 HOME/instance-4509121-1751516727.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=75181, runsolver pid=75178
Current StackSize limit: 8192 KiB


[startup+0.100102 s]*
/proc/loadavg: 4.06 4.11 4.09 5/251 75182
/proc/meminfo: memFree=118207912/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=35308 memory=11536 CPUtime=0.1 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 2278 0 0 0 9 1 0 0 20 0 1 0 67352128 36155392 2884 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 8827 2884 1024 1200 0 7307 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35308 KiB
Current children cumulated memory: 11536 KiB

[startup+0.213111 s]*
/proc/loadavg: 4.06 4.11 4.09 5/251 75182
/proc/meminfo: memFree=118207912/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=35308 memory=11536 CPUtime=0.21 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 2278 0 0 0 20 1 0 0 20 0 1 0 67352128 36155392 2884 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 8827 2884 1024 1200 0 7307 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35308 KiB
Current children cumulated memory: 11536 KiB

[startup+0.313077 s]*
/proc/loadavg: 4.06 4.11 4.09 5/251 75182
/proc/meminfo: memFree=118207912/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=35308 memory=11536 CPUtime=0.31 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 2278 0 0 0 30 1 0 0 20 0 1 0 67352128 36155392 2884 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 8827 2884 1024 1200 0 7307 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35308 KiB
Current children cumulated memory: 11536 KiB

[startup+0.700323 s]
/proc/loadavg: 4.06 4.11 4.09 5/251 75182
/proc/meminfo: memFree=118207912/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=35308 memory=11536 CPUtime=0.68 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 2278 0 0 0 67 1 0 0 20 0 1 0 67352128 36155392 2884 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 8827 2884 1024 1200 0 7307 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 35308 KiB
Current children cumulated memory: 11536 KiB

[startup+1.50032 s]
/proc/loadavg: 4.06 4.11 4.09 5/251 75182
/proc/meminfo: memFree=118207948/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=35308 memory=11536 CPUtime=1.48 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 2278 0 0 0 147 1 0 0 20 0 1 0 67352128 36155392 2884 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 8827 2884 1024 1200 0 7307 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 35308 KiB
Current children cumulated memory: 11536 KiB

[startup+3.11233 s]
/proc/loadavg: 4.06 4.11 4.09 5/251 75182
/proc/meminfo: memFree=118208232/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=35308 memory=11536 CPUtime=3.09 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 2278 0 0 0 308 1 0 0 20 0 1 0 67352128 36155392 2884 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 8827 2884 1024 1200 0 7307 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 35308 KiB
Current children cumulated memory: 11536 KiB

[startup+6.3003 s]
/proc/loadavg: 4.06 4.10 4.09 5/251 75182
/proc/meminfo: memFree=118208328/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=35308 memory=11536 CPUtime=6.27 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 2278 0 0 0 626 1 0 0 20 0 1 0 67352128 36155392 2884 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 8827 2884 1024 1200 0 7307 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 35308 KiB
Current children cumulated memory: 11536 KiB

[startup+12.7003 s]
/proc/loadavg: 4.05 4.10 4.09 5/251 75182
/proc/meminfo: memFree=118208328/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=35308 memory=11536 CPUtime=12.65 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 2278 0 0 0 1264 1 0 0 20 0 1 0 67352128 36155392 2884 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 8827 2884 1024 1200 0 7307 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 35308 KiB
Current children cumulated memory: 11536 KiB

[startup+25.5003 s]
/proc/loadavg: 4.04 4.10 4.09 5/251 75183
/proc/meminfo: memFree=118208344/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=35308 memory=11536 CPUtime=25.42 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 2278 0 0 0 2541 1 0 0 20 0 1 0 67352128 36155392 2884 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 8827 2884 1024 1200 0 7307 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 35308 KiB
Current children cumulated memory: 11536 KiB

[startup+51.1125 s]
/proc/loadavg: 4.02 4.09 4.08 5/251 75183
/proc/meminfo: memFree=118208344/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=35308 memory=11536 CPUtime=50.97 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 2278 0 0 0 5096 1 0 0 20 0 1 0 67352128 36155392 2884 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 8827 2884 1024 1200 0 7307 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 35308 KiB
Current children cumulated memory: 11536 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.09 4.08 5/251 75185
/proc/meminfo: memFree=118211224/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=35308 memory=11536 CPUtime=102.03 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 2278 0 0 0 10202 1 0 0 20 0 1 0 67352128 36155392 2884 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 8827 2884 1024 1200 0 7307 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 35308 KiB
Current children cumulated memory: 11536 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.08 5/250 75187
/proc/meminfo: memFree=118210772/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=35308 memory=11536 CPUtime=161.87 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 2278 0 0 0 16186 1 0 0 20 0 1 0 67352128 36155392 2884 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 8827 2884 1024 1200 0 7307 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 35308 KiB
Current children cumulated memory: 11536 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/250 75191
/proc/meminfo: memFree=118202576/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=35308 memory=11536 CPUtime=221.72 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 2278 0 0 0 22171 1 0 0 20 0 1 0 67352128 36155392 2884 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 8827 2884 1024 1200 0 7307 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 35308 KiB
Current children cumulated memory: 11536 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/250 75193
/proc/meminfo: memFree=118198324/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=35308 memory=11536 CPUtime=281.57 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 2278 0 0 0 28156 1 0 0 20 0 1 0 67352128 36155392 2884 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 8827 2884 1024 1200 0 7307 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 35308 KiB
Current children cumulated memory: 11536 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 75195
/proc/meminfo: memFree=118196004/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=35308 memory=11536 CPUtime=341.43 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 2278 0 0 0 34141 2 0 0 20 0 1 0 67352128 36155392 2884 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 8827 2884 1024 1200 0 7307 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 35308 KiB
Current children cumulated memory: 11536 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 75197
/proc/meminfo: memFree=118099496/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=99900 memory=83764 CPUtime=401.26 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 16062 0 0 0 40101 25 0 0 20 0 1 0 67352128 102297600 20941 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 24975 20941 1280 1200 0 23455 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 99900 KiB
Current children cumulated memory: 83764 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/250 75199
/proc/meminfo: memFree=118064148/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=118912 memory=106700 CPUtime=461.08 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 20777 0 0 0 46056 52 0 0 20 0 1 0 67352128 121765888 26675 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 29728 26675 1280 1200 0 28208 0
Current children cumulated CPU time: 461.08 s

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

Current children cumulated memory: 197452 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.20 4.15 5/249 75501
/proc/meminfo: memFree=123263704/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=224320 memory=197708 CPUtime=2913.38 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 41841 0 0 0 290291 1047 0 0 20 0 1 0 67352128 229703680 49427 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 56080 49427 1280 1200 0 54560 0
Current children cumulated CPU time: 2913.38 s
Current children cumulated vsize: 224320 KiB
Current children cumulated memory: 197708 KiB

[startup+2982.3 s]
/proc/loadavg: 4.60 4.32 4.19 5/249 75547
/proc/meminfo: memFree=125035928/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=225188 memory=198604 CPUtime=2973.21 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 42137 0 0 0 296252 1069 0 0 20 0 1 0 67352128 230592512 49651 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 56297 49651 1280 1200 0 54777 0
Current children cumulated CPU time: 2973.21 s
Current children cumulated vsize: 225188 KiB
Current children cumulated memory: 198604 KiB

[startup+3042.3 s]
/proc/loadavg: 4.27 4.28 4.18 5/250 75554
/proc/meminfo: memFree=125036824/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=226736 memory=200268 CPUtime=3033.04 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 42554 0 0 0 302214 1090 0 0 20 0 1 0 67352128 232177664 50067 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 56684 50067 1280 1200 0 55164 0
Current children cumulated CPU time: 3033.04 s
Current children cumulated vsize: 226736 KiB
Current children cumulated memory: 200268 KiB

[startup+3102.3 s]
/proc/loadavg: 4.19 4.25 4.18 5/250 75556
/proc/meminfo: memFree=124655512/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=227160 memory=200524 CPUtime=3092.88 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 42629 0 0 0 308173 1115 0 0 20 0 1 0 67352128 232611840 50131 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 56790 50131 1280 1200 0 55270 0
Current children cumulated CPU time: 3092.88 s
Current children cumulated vsize: 227160 KiB
Current children cumulated memory: 200524 KiB

[startup+3162.3 s]
/proc/loadavg: 4.69 4.38 4.23 5/251 75559
/proc/meminfo: memFree=124115468/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=227484 memory=200780 CPUtime=3152.72 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 42694 0 0 0 314130 1142 0 0 20 0 1 0 67352128 232943616 50195 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 56871 50195 1280 1200 0 55351 0
Current children cumulated CPU time: 3152.72 s
Current children cumulated vsize: 227484 KiB
Current children cumulated memory: 200780 KiB

[startup+3222.3 s]
/proc/loadavg: 4.54 4.40 4.24 5/251 75561
/proc/meminfo: memFree=124005952/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=227992 memory=201420 CPUtime=3212.55 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 42846 0 0 0 320092 1163 0 0 20 0 1 0 67352128 233463808 50355 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 56998 50355 1280 1200 0 55478 0
Current children cumulated CPU time: 3212.55 s
Current children cumulated vsize: 227992 KiB
Current children cumulated memory: 201420 KiB

[startup+3282.3 s]
/proc/loadavg: 4.26 4.34 4.23 5/251 75563
/proc/meminfo: memFree=123871200/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=228996 memory=202316 CPUtime=3272.38 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 43094 0 0 0 326053 1185 0 0 20 0 1 0 67352128 234491904 50579 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 57249 50579 1280 1200 0 55729 0
Current children cumulated CPU time: 3272.38 s
Current children cumulated vsize: 228996 KiB
Current children cumulated memory: 202316 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.27 4.21 5/251 75567
/proc/meminfo: memFree=123579824/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=229860 memory=203340 CPUtime=3332.21 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 43347 0 0 0 332010 1211 0 0 20 0 1 0 67352128 235376640 50835 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 57465 50835 1280 1200 0 55945 0
Current children cumulated CPU time: 3332.21 s
Current children cumulated vsize: 229860 KiB
Current children cumulated memory: 203340 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.25 4.21 5/251 75613
/proc/meminfo: memFree=123757360/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=230496 memory=203852 CPUtime=3392.05 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 43479 0 0 0 337969 1236 0 0 20 0 1 0 67352128 236027904 50963 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 57624 50963 1280 1200 0 56104 0
Current children cumulated CPU time: 3392.05 s
Current children cumulated vsize: 230496 KiB
Current children cumulated memory: 203852 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.22 4.20 5/251 75615
/proc/meminfo: memFree=123707652/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=231032 memory=204364 CPUtime=3451.89 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 43613 0 0 0 343930 1259 0 0 20 0 1 0 67352128 236576768 51091 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 57758 51091 1280 1200 0 56238 0
Current children cumulated CPU time: 3451.89 s
Current children cumulated vsize: 231032 KiB
Current children cumulated memory: 204364 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.19 4.19 5/250 75617
/proc/meminfo: memFree=123711264/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=231268 memory=204748 CPUtime=3511.73 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 43696 0 0 0 349889 1284 0 0 20 0 1 0 67352128 236818432 51187 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 57817 51187 1280 1200 0 56297 0
Current children cumulated CPU time: 3511.73 s
Current children cumulated vsize: 231268 KiB
Current children cumulated memory: 204748 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.17 4.18 5/250 75619
/proc/meminfo: memFree=123629560/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=231268 memory=204748 CPUtime=3571.57 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 43696 0 0 0 355851 1306 0 0 20 0 1 0 67352128 236818432 51187 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 57817 51187 1280 1200 0 56297 0
Current children cumulated CPU time: 3571.57 s
Current children cumulated vsize: 231268 KiB
Current children cumulated memory: 204748 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 4.04 4.15 4.17 5/250 75665
/proc/meminfo: memFree=123655060/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=231268 memory=204748 CPUtime=3600.09 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 43696 0 0 0 358695 1314 0 0 20 0 1 0 67352128 236818432 51187 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 57817 51187 1280 1200 0 56297 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 231268 KiB
Current children cumulated memory: 204748 KiB

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

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

# cumulated CPU time of all completed processes:  user=3586.95 s, system=13.1475 s

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

[startup+3610.9 s]
/proc/loadavg: 4.04 4.15 4.17 5/250 75665
/proc/meminfo: memFree=123655060/131382112 swapFree=33010416/33010684
[pid=75181] ppid=75178 vsize=231268 memory=204748 CPUtime=3600.09 cores=4,6
/proc/75181/stat : 75181 (Exact) R 75178 75181 74249 0 -1 4194304 43696 0 0 0 358695 1314 0 0 20 0 1 0 67352128 236818432 51187 18446744073709551615 4198400 9112445 140723056799168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37339136 140723056806183 140723056806381 140723056806381 140723056811983 0
/proc/75181/statm: 57817 51187 1280 1200 0 56297 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 231268 KiB
Current children cumulated memory: 204748 KiB

Child status: 10

Real time (s): 3610.91
CPU time (s): 3600.1
CPU user time (s): 3586.95
CPU system time (s): 13.1475
CPU usage (%): 99.7008
Max. virtual memory (cumulated for all children) (KiB): 231268
Max. memory (cumulated for all children) (KiB): 204748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.95
system time used= 13.1475
maximum resident set size= 208576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43698
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= 74
involuntary context switches= 20126


# summary of solver processes directly reported to runsolver:
#   pid: 75181
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3586.95
#   total CPU system time (s): 13.1475

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8496 second user time and 34.273 second system time

The end