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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486535-1751320810/watcher-4486535-1751320810 -o /tmp/evaluation-result-4486535-1751320810/solver-4486535-1751320810 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751317195-41826 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1471372449 --ls=360 --inp-dombreaklim=0 HOME/instance-4486535-1751320810.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Current StackSize limit: 8192 KiB

solver pid=42265, runsolver pid=42262

[startup+0.100065 s]*
/proc/loadavg: 4.08 4.08 4.02 5/252 42266
/proc/meminfo: memFree=129912676/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=37772 memory=16404 CPUtime=0.1 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 3164 0 0 0 9 1 0 0 20 0 1 0 47760675 38678528 4101 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 9443 4101 1024 1200 0 7923 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37772 KiB
Current children cumulated memory: 16404 KiB

[startup+0.212975 s]*
/proc/loadavg: 4.08 4.08 4.02 5/252 42267
/proc/meminfo: memFree=129908896/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=44060 memory=22976 CPUtime=0.21 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 4760 0 0 0 20 1 0 0 20 0 1 0 47760675 45117440 5744 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 11015 5744 1024 1200 0 9495 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44060 KiB
Current children cumulated memory: 22976 KiB

[startup+0.31291 s]*
/proc/loadavg: 4.08 4.08 4.02 5/252 42267
/proc/meminfo: memFree=129905116/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=48680 memory=27584 CPUtime=0.31 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 5897 0 0 0 29 2 0 0 20 0 1 0 47760675 49848320 6896 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 12170 6896 1024 1200 0 10650 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 48680 KiB
Current children cumulated memory: 27584 KiB

[startup+0.700338 s]
/proc/loadavg: 4.08 4.08 4.02 5/252 42267
/proc/meminfo: memFree=129888924/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=65376 memory=44852 CPUtime=0.68 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 9059 0 0 0 65 3 0 0 20 0 1 0 47760675 66945024 11213 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 16344 11213 1024 1200 0 14824 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 65376 KiB
Current children cumulated memory: 44852 KiB

[startup+1.50033 s]
/proc/loadavg: 4.08 4.08 4.02 5/252 42267
/proc/meminfo: memFree=129888924/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=65376 memory=44852 CPUtime=1.48 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 9059 0 0 0 145 3 0 0 20 0 1 0 47760675 66945024 11213 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 16344 11213 1024 1200 0 14824 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 65376 KiB
Current children cumulated memory: 44852 KiB

[startup+3.11273 s]
/proc/loadavg: 4.08 4.08 4.02 5/252 42267
/proc/meminfo: memFree=129889788/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=65376 memory=44852 CPUtime=3.09 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 9062 0 0 0 306 3 0 0 20 0 1 0 47760675 66945024 11213 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 16344 11213 1024 1200 0 14824 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 65376 KiB
Current children cumulated memory: 44852 KiB

[startup+6.3003 s]
/proc/loadavg: 4.07 4.08 4.02 5/252 42267
/proc/meminfo: memFree=129890020/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=65376 memory=44852 CPUtime=6.26 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 9065 0 0 0 623 3 0 0 20 0 1 0 47760675 66945024 11213 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 16344 11213 1024 1200 0 14824 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 65376 KiB
Current children cumulated memory: 44852 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.10 4.02 5/252 42267
/proc/meminfo: memFree=129890020/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=65376 memory=44852 CPUtime=12.64 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 9068 0 0 0 1261 3 0 0 20 0 1 0 47760675 66945024 11213 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 16344 11213 1024 1200 0 14824 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 65376 KiB
Current children cumulated memory: 44852 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 4.09 4.02 5/252 42267
/proc/meminfo: memFree=129890028/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=65376 memory=44852 CPUtime=25.4 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 9068 0 0 0 2537 3 0 0 20 0 1 0 47760675 66945024 11213 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 16344 11213 1024 1200 0 14824 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 65376 KiB
Current children cumulated memory: 44852 KiB

[startup+51.1128 s]
/proc/loadavg: 4.07 4.08 4.02 5/254 42279
/proc/meminfo: memFree=129888764/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=65376 memory=44852 CPUtime=50.94 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 9074 0 0 0 5091 3 0 0 20 0 1 0 47760675 66945024 11213 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 16344 11213 1024 1200 0 14824 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 65376 KiB
Current children cumulated memory: 44852 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.10 4.02 5/254 42296
/proc/meminfo: memFree=129878864/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=65376 memory=45876 CPUtime=101.95 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 9090 0 0 0 10192 3 0 0 20 0 1 0 47760675 66945024 11469 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 16344 11469 1024 1200 0 14824 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 65376 KiB
Current children cumulated memory: 45876 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/254 42298
/proc/meminfo: memFree=129880724/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=65376 memory=45876 CPUtime=161.79 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 9106 0 0 0 16176 3 0 0 20 0 1 0 47760675 66945024 11469 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 16344 11469 1024 1200 0 14824 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 65376 KiB
Current children cumulated memory: 45876 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/254 42300
/proc/meminfo: memFree=129887532/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=65376 memory=45876 CPUtime=221.63 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 9125 0 0 0 22160 3 0 0 20 0 1 0 47760675 66945024 11469 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 16344 11469 1024 1200 0 14824 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 65376 KiB
Current children cumulated memory: 45876 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/252 42302
/proc/meminfo: memFree=129888308/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=65376 memory=45876 CPUtime=281.46 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 9125 0 0 0 28143 3 0 0 20 0 1 0 47760675 66945024 11469 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 16344 11469 1024 1200 0 14824 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 65376 KiB
Current children cumulated memory: 45876 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/251 42304
/proc/meminfo: memFree=129887568/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=65376 memory=45876 CPUtime=341.3 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 9141 0 0 0 34127 3 0 0 20 0 1 0 47760675 66945024 11469 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 16344 11469 1024 1200 0 14824 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 65376 KiB
Current children cumulated memory: 45876 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.10 4.04 5/250 42395
/proc/meminfo: memFree=129709760/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=168960 memory=154348 CPUtime=401.13 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 32522 0 0 0 40103 10 0 0 20 0 1 0 47760675 173015040 38587 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 42240 38587 1248 1200 0 40720 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 168960 KiB
Current children cumulated memory: 154348 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.04 5/250 42400
/proc/meminfo: memFree=129660036/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=205492 memory=178304 CPUtime=460.95 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 36227 0 0 0 46081 14 0 0 20 0 1 0 47760675 210423808 44576 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 51373 44576 1248 1200 0 49853 0
Current children cumulated CPU time: 460.95 s

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

Current children cumulated memory: 308040 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/250 42556
/proc/meminfo: memFree=129256944/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=353904 memory=308936 CPUtime=2853.96 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 61899 0 0 0 285287 109 0 0 20 0 1 0 47760675 362397696 77234 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 88476 77234 1280 1200 0 86956 0
Current children cumulated CPU time: 2853.96 s
Current children cumulated vsize: 353904 KiB
Current children cumulated memory: 308936 KiB

[startup+2922.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/249 42558
/proc/meminfo: memFree=129257480/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=353904 memory=309064 CPUtime=2913.79 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 62087 0 0 0 291267 112 0 0 20 0 1 0 47760675 362397696 77266 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 88476 77266 1280 1200 0 86956 0
Current children cumulated CPU time: 2913.79 s
Current children cumulated vsize: 353904 KiB
Current children cumulated memory: 309064 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 42565
/proc/meminfo: memFree=129254820/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=358784 memory=313672 CPUtime=2973.62 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 63240 0 0 0 297249 113 0 0 20 0 1 0 47760675 367394816 78418 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 89696 78418 1280 1200 0 88176 0
Current children cumulated CPU time: 2973.62 s
Current children cumulated vsize: 358784 KiB
Current children cumulated memory: 313672 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 42568
/proc/meminfo: memFree=129236888/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=358784 memory=313672 CPUtime=3033.46 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 63240 0 0 0 303228 118 0 0 20 0 1 0 47760675 367394816 78418 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 89696 78418 1280 1200 0 88176 0
Current children cumulated CPU time: 3033.46 s
Current children cumulated vsize: 358784 KiB
Current children cumulated memory: 313672 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 42571
/proc/meminfo: memFree=129245712/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=358784 memory=313672 CPUtime=3093.25 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 63362 0 0 0 309207 118 0 0 20 0 1 0 47760675 367394816 78418 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 89696 78418 1280 1200 0 88176 0
Current children cumulated CPU time: 3093.25 s
Current children cumulated vsize: 358784 KiB
Current children cumulated memory: 313672 KiB

[startup+3162.3 s]
/proc/loadavg: 4.66 4.24 4.14 5/250 42573
/proc/meminfo: memFree=129245788/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=358784 memory=313672 CPUtime=3153.06 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 63372 0 0 0 315185 121 0 0 20 0 1 0 47760675 367394816 78418 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 89696 78418 1280 1200 0 88176 0
Current children cumulated CPU time: 3153.06 s
Current children cumulated vsize: 358784 KiB
Current children cumulated memory: 313672 KiB

[startup+3222.3 s]
/proc/loadavg: 4.39 4.25 4.15 5/250 42575
/proc/meminfo: memFree=129239024/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=359116 memory=314824 CPUtime=3212.88 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 63485 0 0 0 321162 126 0 0 20 0 1 0 47760675 367734784 78706 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 89779 78706 1280 1200 0 88259 0
Current children cumulated CPU time: 3212.88 s
Current children cumulated vsize: 359116 KiB
Current children cumulated memory: 314824 KiB

[startup+3282.3 s]
/proc/loadavg: 4.26 4.24 4.15 5/249 42577
/proc/meminfo: memFree=129238884/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=360388 memory=316104 CPUtime=3272.71 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 63930 0 0 0 327145 126 0 0 20 0 1 0 47760675 369037312 79026 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 90097 79026 1280 1200 0 88577 0
Current children cumulated CPU time: 3272.71 s
Current children cumulated vsize: 360388 KiB
Current children cumulated memory: 316104 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.19 4.14 5/249 42579
/proc/meminfo: memFree=129230728/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=360936 memory=316744 CPUtime=3332.53 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 64103 0 0 0 333126 127 0 0 20 0 1 0 47760675 369598464 79186 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 90234 79186 1280 1200 0 88714 0
Current children cumulated CPU time: 3332.53 s
Current children cumulated vsize: 360936 KiB
Current children cumulated memory: 316744 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.17 4.14 5/250 42582
/proc/meminfo: memFree=129230236/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=362136 memory=317768 CPUtime=3392.37 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 64375 0 0 0 339107 130 0 0 20 0 1 0 47760675 370827264 79442 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 90534 79442 1280 1200 0 89014 0
Current children cumulated CPU time: 3392.37 s
Current children cumulated vsize: 362136 KiB
Current children cumulated memory: 317768 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.17 4.14 5/252 42589
/proc/meminfo: memFree=129218884/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=362296 memory=318024 CPUtime=3452.2 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 64541 0 0 0 345087 133 0 0 20 0 1 0 47760675 370991104 79506 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 90574 79506 1280 1200 0 89054 0
Current children cumulated CPU time: 3452.2 s
Current children cumulated vsize: 362296 KiB
Current children cumulated memory: 318024 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.15 4.13 5/252 42591
/proc/meminfo: memFree=129220396/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=362296 memory=318024 CPUtime=3512.03 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 64544 0 0 0 351070 133 0 0 20 0 1 0 47760675 370991104 79506 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 90574 79506 1280 1200 0 89054 0
Current children cumulated CPU time: 3512.03 s
Current children cumulated vsize: 362296 KiB
Current children cumulated memory: 318024 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.13 5/252 42597
/proc/meminfo: memFree=129221020/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=362840 memory=318536 CPUtime=3571.86 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 64692 0 0 0 357050 136 0 0 20 0 1 0 47760675 371548160 79634 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 90710 79634 1280 1200 0 89190 0
Current children cumulated CPU time: 3571.86 s
Current children cumulated vsize: 362840 KiB
Current children cumulated memory: 318536 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.09 4.14 4.12 5/245 42670
/proc/meminfo: memFree=129329280/131382112 swapFree=33010684/33010684
[pid=42265] ppid=42262 vsize=363668 memory=319304 CPUtime=3600.08 cores=0,2
/proc/42265/stat : 42265 (Exact) R 42262 42265 41816 0 -1 4194304 65008 0 0 0 359871 137 0 0 20 0 1 0 47760675 372396032 79826 18446744073709551615 4198400 9112445 140731288504944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44716032 140731288512806 140731288513005 140731288513005 140731288518607 0
/proc/42265/statm: 90917 79826 1280 1200 0 89397 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 363668 KiB
Current children cumulated memory: 319304 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.73 s, system=1.37819 s

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

Child status: 10

Real time (s): 3610.61
CPU time (s): 3600.11
CPU user time (s): 3598.73
CPU system time (s): 1.37819
CPU usage (%): 99.709
Max. virtual memory (cumulated for all children) (KiB): 363668
Max. memory (cumulated for all children) (KiB): 319304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.73
system time used= 1.37819
maximum resident set size= 336516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65020
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= 77
involuntary context switches= 7949


# summary of solver processes directly reported to runsolver:
#   pid: 42265
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3598.73
#   total CPU system time (s): 1.37819

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8428 second user time and 32.925 second system time

The end