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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4481919-1751322263/watcher-4481919-1751322263 -o /tmp/evaluation-result-4481919-1751322263/solver-4481919-1751322263 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751313594-40594 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1055697705 --ls=360 HOME/instance-4481919-1751322263.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=42145, runsolver pid=42139

[startup+0.100059 s]*
/proc/loadavg: 4.08 4.09 4.09 5/259 42152
/proc/meminfo: memFree=130208096/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=32064 memory=8784 CPUtime=0.09 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 1353 0 0 0 9 0 0 0 20 0 1 0 47903835 32833536 2196 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+0.205394 s]*
/proc/loadavg: 4.08 4.09 4.09 5/264 42162
/proc/meminfo: memFree=130196424/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=32064 memory=8784 CPUtime=0.2 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 1353 0 0 0 20 0 0 0 20 0 1 0 47903835 32833536 2196 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+0.304992 s]*
/proc/loadavg: 4.08 4.09 4.09 5/264 42162
/proc/meminfo: memFree=130196424/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=32064 memory=8784 CPUtime=0.3 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 1353 0 0 0 30 0 0 0 20 0 1 0 47903835 32833536 2196 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+0.700117 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 42162
/proc/meminfo: memFree=130196808/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=32064 memory=8784 CPUtime=0.69 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 1353 0 0 0 69 0 0 0 20 0 1 0 47903835 32833536 2196 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+1.5001 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 42162
/proc/meminfo: memFree=130196808/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=32064 memory=8784 CPUtime=1.48 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 1353 0 0 0 148 0 0 0 20 0 1 0 47903835 32833536 2196 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+3.10508 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 42162
/proc/meminfo: memFree=130196804/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=32064 memory=8784 CPUtime=3.08 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 1353 0 0 0 308 0 0 0 20 0 1 0 47903835 32833536 2196 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+6.3001 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 42162
/proc/meminfo: memFree=130195056/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=32064 memory=8784 CPUtime=6.27 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 1353 0 0 0 627 0 0 0 20 0 1 0 47903835 32833536 2196 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+12.7001 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 42162
/proc/meminfo: memFree=130193308/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=32064 memory=8784 CPUtime=12.66 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 1353 0 0 0 1266 0 0 0 20 0 1 0 47903835 32833536 2196 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+25.5001 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 42207
/proc/meminfo: memFree=130184984/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=32064 memory=8784 CPUtime=25.43 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 1353 0 0 0 2543 0 0 0 20 0 1 0 47903835 32833536 2196 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+51.1051 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 42209
/proc/meminfo: memFree=130179572/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=32064 memory=8784 CPUtime=50.97 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 1353 0 0 0 5097 0 0 0 20 0 1 0 47903835 32833536 2196 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 42211
/proc/meminfo: memFree=130149240/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=32064 memory=8784 CPUtime=102.05 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 1355 0 0 0 10205 0 0 0 20 0 1 0 47903835 32833536 2196 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 42213
/proc/meminfo: memFree=130178148/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=32064 memory=8784 CPUtime=161.9 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 1358 0 0 0 16190 0 0 0 20 0 1 0 47903835 32833536 2196 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 42215
/proc/meminfo: memFree=130171188/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=32064 memory=8784 CPUtime=221.73 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 1360 0 0 0 22173 0 0 0 20 0 1 0 47903835 32833536 2196 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/263 42217
/proc/meminfo: memFree=130159288/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=32064 memory=8784 CPUtime=281.56 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 1361 0 0 0 28156 0 0 0 20 0 1 0 47903835 32833536 2196 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 42219
/proc/meminfo: memFree=130162216/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=32064 memory=8784 CPUtime=341.39 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 1362 0 0 0 34139 0 0 0 20 0 1 0 47903835 32833536 2196 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 8016 2196 1024 1200 0 6496 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8784 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 42226
/proc/meminfo: memFree=129688084/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=199716 memory=175632 CPUtime=401.19 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 31698 0 0 0 40093 26 0 0 20 0 1 0 47903835 204509184 43908 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 49929 43908 1248 1200 0 48409 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 199716 KiB
Current children cumulated memory: 175632 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 42232
/proc/meminfo: memFree=129593800/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=220600 memory=193424 CPUtime=461.01 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 36184 0 0 0 46049 52 0 0 20 0 1 0 47903835 225894400 48356 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 55150 48356 1248 1200 0 53630 0
Current children cumulated CPU time: 461.01 s

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

Current children cumulated memory: 360720 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 42364
/proc/meminfo: memFree=129011304/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=404460 memory=362256 CPUtime=2854.25 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 65607 0 0 0 284359 1066 0 0 20 0 1 0 47903835 414167040 90564 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 101115 90564 1248 1200 0 99595 0
Current children cumulated CPU time: 2854.25 s
Current children cumulated vsize: 404460 KiB
Current children cumulated memory: 362256 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 42368
/proc/meminfo: memFree=129005444/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=405612 memory=363152 CPUtime=2914.06 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 65852 0 0 0 290316 1090 0 0 20 0 1 0 47903835 415346688 90788 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 101403 90788 1248 1200 0 99883 0
Current children cumulated CPU time: 2914.06 s
Current children cumulated vsize: 405612 KiB
Current children cumulated memory: 363152 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 42370
/proc/meminfo: memFree=129015424/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=407916 memory=364944 CPUtime=2973.87 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 66422 0 0 0 296272 1115 0 0 20 0 1 0 47903835 417705984 91236 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 101979 91236 1248 1200 0 100459 0
Current children cumulated CPU time: 2973.87 s
Current children cumulated vsize: 407916 KiB
Current children cumulated memory: 364944 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 42372
/proc/meminfo: memFree=129011340/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=409036 memory=366992 CPUtime=3033.67 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 66711 0 0 0 302225 1142 0 0 20 0 1 0 47903835 418852864 91748 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 102259 91748 1248 1200 0 100739 0
Current children cumulated CPU time: 3033.67 s
Current children cumulated vsize: 409036 KiB
Current children cumulated memory: 366992 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 42373
/proc/meminfo: memFree=128972380/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=410404 memory=377068 CPUtime=3093.51 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 67028 0 0 0 308183 1168 0 0 20 0 1 0 47903835 420253696 94267 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 102601 94267 1248 1200 0 101081 0
Current children cumulated CPU time: 3093.51 s
Current children cumulated vsize: 410404 KiB
Current children cumulated memory: 377068 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 42375
/proc/meminfo: memFree=128974144/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=412396 memory=378732 CPUtime=3153.35 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 67582 0 0 0 314142 1193 0 0 20 0 1 0 47903835 422293504 94683 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 103099 94683 1248 1200 0 101579 0
Current children cumulated CPU time: 3153.35 s
Current children cumulated vsize: 412396 KiB
Current children cumulated memory: 378732 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 42378
/proc/meminfo: memFree=128996696/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=414916 memory=381036 CPUtime=3213.19 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 68202 0 0 0 320098 1221 0 0 20 0 1 0 47903835 424873984 95259 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 103729 95259 1248 1200 0 102209 0
Current children cumulated CPU time: 3213.19 s
Current children cumulated vsize: 414916 KiB
Current children cumulated memory: 381036 KiB

[startup+3282.3 s]
/proc/loadavg: 3.67 3.98 4.05 4/257 42410
/proc/meminfo: memFree=129048900/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=415684 memory=381804 CPUtime=3273.01 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 68394 0 0 0 326053 1248 0 0 20 0 1 0 47903835 425660416 95451 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 103921 95451 1248 1200 0 102401 0
Current children cumulated CPU time: 3273.01 s
Current children cumulated vsize: 415684 KiB
Current children cumulated memory: 381804 KiB

[startup+3342.3 s]
/proc/loadavg: 3.35 3.83 3.99 4/257 42412
/proc/meminfo: memFree=129022844/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=416420 memory=382572 CPUtime=3332.82 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 68715 0 0 0 332011 1271 0 0 20 0 1 0 47903835 426414080 95643 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 104105 95643 1248 1200 0 102585 0
Current children cumulated CPU time: 3332.82 s
Current children cumulated vsize: 416420 KiB
Current children cumulated memory: 382572 KiB

[startup+3402.3 s]
/proc/loadavg: 3.53 3.78 3.96 4/257 42414
/proc/meminfo: memFree=129031292/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=416996 memory=383212 CPUtime=3392.63 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 68897 0 0 0 337965 1298 0 0 20 0 1 0 47903835 427003904 95803 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 104249 95803 1248 1200 0 102729 0
Current children cumulated CPU time: 3392.63 s
Current children cumulated vsize: 416996 KiB
Current children cumulated memory: 383212 KiB

[startup+3462.3 s]
/proc/loadavg: 3.27 3.65 3.91 4/258 42419
/proc/meminfo: memFree=129023568/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=418840 memory=385004 CPUtime=3452.45 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 69351 0 0 0 343917 1328 0 0 20 0 1 0 47903835 428892160 96251 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 104710 96251 1248 1200 0 103190 0
Current children cumulated CPU time: 3452.45 s
Current children cumulated vsize: 418840 KiB
Current children cumulated memory: 385004 KiB

[startup+3522.3 s]
/proc/loadavg: 3.16 3.55 3.85 4/259 42426
/proc/meminfo: memFree=129024192/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=419192 memory=385388 CPUtime=3512.26 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 69567 0 0 0 349874 1352 0 0 20 0 1 0 47903835 429252608 96347 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 104798 96347 1248 1200 0 103278 0
Current children cumulated CPU time: 3512.26 s
Current children cumulated vsize: 419192 KiB
Current children cumulated memory: 385388 KiB

[startup+3582.3 s]
/proc/loadavg: 3.11 3.46 3.80 4/258 42428
/proc/meminfo: memFree=129017392/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=421724 memory=387820 CPUtime=3572.08 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 70232 0 0 0 355832 1376 0 0 20 0 1 0 47903835 431845376 96955 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 105431 96955 1248 1200 0 103911 0
Current children cumulated CPU time: 3572.08 s
Current children cumulated vsize: 421724 KiB
Current children cumulated memory: 387820 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 3.47 3.51 3.81 4/259 42430
/proc/meminfo: memFree=129005832/131250000 swapFree=33007332/33010684
[pid=42145] ppid=42139 vsize=422652 memory=388716 CPUtime=3600.08 cores=0,2
/proc/42145/stat : 42145 (Exact) R 42139 42145 40584 0 -1 4194304 70466 0 0 0 358621 1387 0 0 20 0 1 0 47903835 432795648 97179 18446744073709551615 4198400 9112445 140722220553744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15962112 140722220562746 140722220562925 140722220562925 140722220568527 0
/proc/42145/statm: 105663 97179 1248 1200 0 104143 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 422652 KiB
Current children cumulated memory: 388716 KiB

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

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

# cumulated CPU time of all completed processes:  user=3586.22 s, system=13.8821 s

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

Child status: 10

Real time (s): 3610.41
CPU time (s): 3600.1
CPU user time (s): 3586.22
CPU system time (s): 13.8821
CPU usage (%): 99.7147
Max. virtual memory (cumulated for all children) (KiB): 422652
Max. memory (cumulated for all children) (KiB): 388716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.22
system time used= 13.8821
maximum resident set size= 388844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70468
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= 4709


# summary of solver processes directly reported to runsolver:
#   pid: 42145
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3586.22
#   total CPU system time (s): 13.8821

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63252 second user time and 15.121 second system time

The end