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: 63708 MiB (62957 MiB free)
  memory of node 1: 64465 MiB (63929 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4481925-1751322301/watcher-4481925-1751322301 -o /tmp/evaluation-result-4481925-1751322301/solver-4481925-1751322301 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751313834-40859 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1025818498 --ls=360 HOME/instance-4481925-1751322301.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=42218, runsolver pid=42215
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 4.15 4.11 4.09 5/263 42219
/proc/meminfo: memFree=129931660/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=32056 memory=10744 CPUtime=0.1 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 1342 0 0 0 10 0 0 0 20 0 1 0 47852669 32825344 2686 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 8014 2686 1024 1200 0 6494 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10744 KiB

[startup+0.20518 s]*
/proc/loadavg: 4.15 4.11 4.09 5/263 42219
/proc/meminfo: memFree=129931660/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=32056 memory=10744 CPUtime=0.2 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 1342 0 0 0 20 0 0 0 20 0 1 0 47852669 32825344 2686 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 8014 2686 1024 1200 0 6494 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10744 KiB

[startup+0.304317 s]*
/proc/loadavg: 4.15 4.11 4.09 5/263 42219
/proc/meminfo: memFree=129931660/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=32056 memory=10744 CPUtime=0.3 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 1342 0 0 0 30 0 0 0 20 0 1 0 47852669 32825344 2686 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 8014 2686 1024 1200 0 6494 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10744 KiB

[startup+0.700095 s]
/proc/loadavg: 4.15 4.11 4.09 5/263 42219
/proc/meminfo: memFree=129931660/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=32056 memory=10744 CPUtime=0.69 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 1342 0 0 0 69 0 0 0 20 0 1 0 47852669 32825344 2686 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 8014 2686 1024 1200 0 6494 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10744 KiB

[startup+1.5001 s]
/proc/loadavg: 4.15 4.11 4.09 5/263 42219
/proc/meminfo: memFree=129931660/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=32056 memory=10744 CPUtime=1.49 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 1342 0 0 0 149 0 0 0 20 0 1 0 47852669 32825344 2686 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 8014 2686 1024 1200 0 6494 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10744 KiB

[startup+3.10445 s]
/proc/loadavg: 4.15 4.11 4.09 5/263 42219
/proc/meminfo: memFree=129931920/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=32056 memory=10744 CPUtime=3.09 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 1342 0 0 0 309 0 0 0 20 0 1 0 47852669 32825344 2686 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 8014 2686 1024 1200 0 6494 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10744 KiB

[startup+6.30009 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 42219
/proc/meminfo: memFree=129932048/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=32056 memory=10744 CPUtime=6.28 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 1342 0 0 0 628 0 0 0 20 0 1 0 47852669 32825344 2686 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 8014 2686 1024 1200 0 6494 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10744 KiB

[startup+12.7001 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 42219
/proc/meminfo: memFree=129932056/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=32056 memory=10744 CPUtime=12.66 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 1342 0 0 0 1266 0 0 0 20 0 1 0 47852669 32825344 2686 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 8014 2686 1024 1200 0 6494 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10744 KiB

[startup+25.5001 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 42220
/proc/meminfo: memFree=129932064/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=32056 memory=10744 CPUtime=25.44 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 1342 0 0 0 2544 0 0 0 20 0 1 0 47852669 32825344 2686 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 8014 2686 1024 1200 0 6494 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10744 KiB

[startup+51.1045 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 42220
/proc/meminfo: memFree=129932072/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=32056 memory=10744 CPUtime=50.99 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 1342 0 0 0 5099 0 0 0 20 0 1 0 47852669 32825344 2686 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 8014 2686 1024 1200 0 6494 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10744 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 42226
/proc/meminfo: memFree=129932208/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=32056 memory=10744 CPUtime=102.08 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 1342 0 0 0 10208 0 0 0 20 0 1 0 47852669 32825344 2686 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 8014 2686 1024 1200 0 6494 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10744 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 42232
/proc/meminfo: memFree=129935884/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=32056 memory=10744 CPUtime=161.95 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 1345 0 0 0 16195 0 0 0 20 0 1 0 47852669 32825344 2686 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 8014 2686 1024 1200 0 6494 0
Current children cumulated CPU time: 161.95 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10744 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 42369
/proc/meminfo: memFree=129910268/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=32056 memory=10744 CPUtime=221.81 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 1347 0 0 0 22181 0 0 0 20 0 1 0 47852669 32825344 2686 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 8014 2686 1024 1200 0 6494 0
Current children cumulated CPU time: 221.81 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10744 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 42372
/proc/meminfo: memFree=129906292/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=32056 memory=10744 CPUtime=281.63 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 1349 0 0 0 28163 0 0 0 20 0 1 0 47852669 32825344 2686 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 8014 2686 1024 1200 0 6494 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10744 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 42375
/proc/meminfo: memFree=129908716/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=32056 memory=10744 CPUtime=341.46 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 1350 0 0 0 34146 0 0 0 20 0 1 0 47852669 32825344 2686 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 8014 2686 1024 1200 0 6494 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10744 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 42378
/proc/meminfo: memFree=129767176/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=191348 memory=150060 CPUtime=401.27 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 29349 0 0 0 40099 28 0 0 20 0 1 0 47852669 195940352 37515 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 47837 37515 1280 1200 0 46317 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 191348 KiB
Current children cumulated memory: 150060 KiB

[startup+462.3 s]
/proc/loadavg: 4.23 4.15 4.10 5/265 42380
/proc/meminfo: memFree=129732128/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=222488 memory=184604 CPUtime=461.07 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 36324 0 0 0 46056 51 0 0 20 0 1 0 47852669 227827712 46151 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 55622 46151 1280 1200 0 54102 0
Current children cumulated CPU time: 461.07 s

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

Current children cumulated memory: 374100 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 42513
/proc/meminfo: memFree=128444088/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=411136 memory=379772 CPUtime=2913.73 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 66500 0 0 0 290292 1081 0 0 20 0 1 0 47852669 421003264 94943 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 102784 94943 1280 1200 0 101264 0
Current children cumulated CPU time: 2913.73 s
Current children cumulated vsize: 411136 KiB
Current children cumulated memory: 379772 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 42515
/proc/meminfo: memFree=128442776/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=413600 memory=382076 CPUtime=2973.53 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 67099 0 0 0 296250 1103 0 0 20 0 1 0 47852669 423526400 95519 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 103400 95519 1280 1200 0 101880 0
Current children cumulated CPU time: 2973.53 s
Current children cumulated vsize: 413600 KiB
Current children cumulated memory: 382076 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 42517
/proc/meminfo: memFree=128434824/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=413792 memory=382204 CPUtime=3033.33 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 67155 0 0 0 302203 1130 0 0 20 0 1 0 47852669 423723008 95551 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 103448 95551 1280 1200 0 101928 0
Current children cumulated CPU time: 3033.33 s
Current children cumulated vsize: 413792 KiB
Current children cumulated memory: 382204 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 42522
/proc/meminfo: memFree=128404856/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=413792 memory=382204 CPUtime=3093.14 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 67155 0 0 0 308158 1156 0 0 20 0 1 0 47852669 423723008 95551 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 103448 95551 1280 1200 0 101928 0
Current children cumulated CPU time: 3093.14 s
Current children cumulated vsize: 413792 KiB
Current children cumulated memory: 382204 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 42529
/proc/meminfo: memFree=128398968/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=416536 memory=384252 CPUtime=3152.94 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 67638 0 0 0 314111 1183 0 0 20 0 1 0 47852669 426532864 96063 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 104134 96063 1280 1200 0 102614 0
Current children cumulated CPU time: 3152.94 s
Current children cumulated vsize: 416536 KiB
Current children cumulated memory: 384252 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 42531
/proc/meminfo: memFree=128392756/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=418040 memory=385404 CPUtime=3212.74 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 68078 0 0 0 320059 1215 0 0 20 0 1 0 47852669 428072960 96351 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 104510 96351 1280 1200 0 102990 0
Current children cumulated CPU time: 3212.74 s
Current children cumulated vsize: 418040 KiB
Current children cumulated memory: 385404 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 42533
/proc/meminfo: memFree=128394888/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=419960 memory=387068 CPUtime=3272.54 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 68532 0 0 0 326010 1244 0 0 20 0 1 0 47852669 430039040 96767 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 104990 96767 1280 1200 0 103470 0
Current children cumulated CPU time: 3272.54 s
Current children cumulated vsize: 419960 KiB
Current children cumulated memory: 387068 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 42535
/proc/meminfo: memFree=128395828/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=421336 memory=388092 CPUtime=3332.34 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 68792 0 0 0 331968 1266 0 0 20 0 1 0 47852669 431448064 97023 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 105334 97023 1280 1200 0 103814 0
Current children cumulated CPU time: 3332.34 s
Current children cumulated vsize: 421336 KiB
Current children cumulated memory: 388092 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 42537
/proc/meminfo: memFree=128389908/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=422680 memory=389372 CPUtime=3392.14 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 69106 0 0 0 337924 1290 0 0 20 0 1 0 47852669 432824320 97343 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 105670 97343 1280 1200 0 104150 0
Current children cumulated CPU time: 3392.14 s
Current children cumulated vsize: 422680 KiB
Current children cumulated memory: 389372 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 42539
/proc/meminfo: memFree=128350452/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=423608 memory=395900 CPUtime=3451.97 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 69527 0 0 0 343885 1312 0 0 20 0 1 0 47852669 433774592 98975 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 105902 98975 1280 1200 0 104382 0
Current children cumulated CPU time: 3451.97 s
Current children cumulated vsize: 423608 KiB
Current children cumulated memory: 395900 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 42541
/proc/meminfo: memFree=128343540/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=426296 memory=398204 CPUtime=3511.82 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 70128 0 0 0 349848 1334 0 0 20 0 1 0 47852669 436527104 99551 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 106574 99551 1280 1200 0 105054 0
Current children cumulated CPU time: 3511.82 s
Current children cumulated vsize: 426296 KiB
Current children cumulated memory: 398204 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 42543
/proc/meminfo: memFree=128344412/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=429016 memory=400764 CPUtime=3571.67 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 70757 0 0 0 355809 1358 0 0 20 0 1 0 47852669 439312384 100191 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 107254 100191 1280 1200 0 105734 0
Current children cumulated CPU time: 3571.67 s
Current children cumulated vsize: 429016 KiB
Current children cumulated memory: 400764 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 42543
/proc/meminfo: memFree=128345184/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=429400 memory=401148 CPUtime=3600 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 70981 0 0 0 358628 1372 0 0 20 0 1 0 47852669 439705600 100287 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 107350 100287 1280 1200 0 105830 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 429400 KiB
Current children cumulated memory: 401148 KiB

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

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

# cumulated CPU time of all completed processes:  user=3586.29 s, system=13.721 s

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

[startup+3610.7 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 42543
/proc/meminfo: memFree=128345184/131250000 swapFree=33010684/33010684
[pid=42218] ppid=42215 vsize=429400 memory=401148 CPUtime=3600 cores=5,7
/proc/42218/stat : 42218 (Exact) R 42215 42218 40846 0 -1 4194304 70981 0 0 0 358628 1372 0 0 20 0 1 0 47852669 439705600 100287 18446744073709551615 4198400 9112445 140731429208464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47173632 140731429210426 140731429210605 140731429210605 140731429216207 0
/proc/42218/statm: 107350 100287 1280 1200 0 105830 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 429400 KiB
Current children cumulated memory: 401148 KiB

Child status: 10

Real time (s): 3610.71
CPU time (s): 3600.02
CPU user time (s): 3586.29
CPU system time (s): 13.721
CPU usage (%): 99.7039
Max. virtual memory (cumulated for all children) (KiB): 429400
Max. memory (cumulated for all children) (KiB): 401148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.29
system time used= 13.721
maximum resident set size= 401148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70983
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= 121
involuntary context switches= 2097


# summary of solver processes directly reported to runsolver:
#   pid: 42218
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3586.29
#   total CPU system time (s): 13.721

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67578 second user time and 14.4473 second system time

The end