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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488789-1751349536/watcher-4488789-1751349536 -o /tmp/evaluation-result-4488789-1751349536/solver-4488789-1751349536 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751349536-50365 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=79057361 --ls=360 --inp-dombreaklim=0 HOME/instance-4488789-1751349536.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=50416, runsolver pid=50404

[startup+0.100071 s]*
/proc/loadavg: 2.34 3.71 4.03 7/251 50421
/proc/meminfo: memFree=126121664/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=32056 memory=8660 CPUtime=0.1 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 1352 0 0 0 10 0 0 0 20 0 1 0 50632842 32825344 2165 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 8014 2165 1024 1200 0 6494 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8660 KiB

[startup+0.21394 s]*
/proc/loadavg: 2.34 3.71 4.03 7/251 50421
/proc/meminfo: memFree=126121664/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=32056 memory=8660 CPUtime=0.21 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 1352 0 0 0 21 0 0 0 20 0 1 0 50632842 32825344 2165 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 8014 2165 1024 1200 0 6494 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8660 KiB

[startup+0.312937 s]*
/proc/loadavg: 2.34 3.71 4.03 7/251 50421
/proc/meminfo: memFree=126121664/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=32056 memory=8660 CPUtime=0.31 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 1352 0 0 0 31 0 0 0 20 0 1 0 50632842 32825344 2165 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 8014 2165 1024 1200 0 6494 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8660 KiB

[startup+0.70026 s]
/proc/loadavg: 2.34 3.71 4.03 7/251 50421
/proc/meminfo: memFree=126121888/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=32056 memory=8660 CPUtime=0.68 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 1352 0 0 0 68 0 0 0 20 0 1 0 50632842 32825344 2165 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 8014 2165 1024 1200 0 6494 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8660 KiB

[startup+1.50024 s]
/proc/loadavg: 2.34 3.71 4.03 7/251 50421
/proc/meminfo: memFree=126121636/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=32056 memory=8660 CPUtime=1.48 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 1352 0 0 0 148 0 0 0 20 0 1 0 50632842 32825344 2165 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 8014 2165 1024 1200 0 6494 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8660 KiB

[startup+3.11214 s]
/proc/loadavg: 2.48 3.71 4.03 7/251 50421
/proc/meminfo: memFree=126122456/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=32056 memory=8660 CPUtime=3.09 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 1352 0 0 0 309 0 0 0 20 0 1 0 50632842 32825344 2165 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 8014 2165 1024 1200 0 6494 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8660 KiB

[startup+6.30023 s]
/proc/loadavg: 2.48 3.71 4.03 7/251 50421
/proc/meminfo: memFree=126122744/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=32056 memory=8660 CPUtime=6.27 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 1352 0 0 0 627 0 0 0 20 0 1 0 50632842 32825344 2165 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 8014 2165 1024 1200 0 6494 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8660 KiB

[startup+12.7002 s]
/proc/loadavg: 2.60 3.72 4.03 7/251 50422
/proc/meminfo: memFree=126122824/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=32056 memory=8660 CPUtime=12.65 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 1352 0 0 0 1265 0 0 0 20 0 1 0 50632842 32825344 2165 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 8014 2165 1024 1200 0 6494 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8660 KiB

[startup+25.5002 s]
/proc/loadavg: 2.98 3.75 4.03 7/251 50422
/proc/meminfo: memFree=126122832/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=32056 memory=8660 CPUtime=25.42 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 1352 0 0 0 2542 0 0 0 20 0 1 0 50632842 32825344 2165 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 8014 2165 1024 1200 0 6494 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8660 KiB

[startup+51.1121 s]
/proc/loadavg: 3.33 3.77 4.03 7/250 50422
/proc/meminfo: memFree=126122864/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=32056 memory=8660 CPUtime=50.97 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 1352 0 0 0 5097 0 0 0 20 0 1 0 50632842 32825344 2165 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 8014 2165 1024 1200 0 6494 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8660 KiB

[startup+102.3 s]
/proc/loadavg: 3.75 3.82 4.03 7/250 50424
/proc/meminfo: memFree=126120336/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=32056 memory=8660 CPUtime=102.02 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 1352 0 0 0 10201 1 0 0 20 0 1 0 50632842 32825344 2165 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 8014 2165 1024 1200 0 6494 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8660 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 3.89 4.03 7/250 50437
/proc/meminfo: memFree=126119924/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=32056 memory=8660 CPUtime=161.87 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 1356 0 0 0 16185 2 0 0 20 0 1 0 50632842 32825344 2165 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 8014 2165 1024 1200 0 6494 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8660 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 3.91 4.03 7/250 50441
/proc/meminfo: memFree=126120356/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=32056 memory=8660 CPUtime=221.73 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 1358 0 0 0 22171 2 0 0 20 0 1 0 50632842 32825344 2165 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 8014 2165 1024 1200 0 6494 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8660 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 3.96 4.03 7/250 50443
/proc/meminfo: memFree=126121744/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=32056 memory=8660 CPUtime=281.59 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 1360 0 0 0 28156 3 0 0 20 0 1 0 50632842 32825344 2165 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 8014 2165 1024 1200 0 6494 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8660 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.99 4.03 7/251 50446
/proc/meminfo: memFree=126121776/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=32056 memory=8660 CPUtime=341.45 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 1361 0 0 0 34141 4 0 0 20 0 1 0 50632842 32825344 2165 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 8014 2165 1024 1200 0 6494 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8660 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.00 4.03 7/251 50453
/proc/meminfo: memFree=125377028/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=222312 memory=181044 CPUtime=401.28 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 35660 0 0 0 40094 34 0 0 20 0 1 0 50632842 227647488 45261 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 55578 45261 1248 1200 0 54058 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 222312 KiB
Current children cumulated memory: 181044 KiB

[startup+462.3 s]
/proc/loadavg: 4.24 4.05 4.05 7/251 50455
/proc/meminfo: memFree=125244076/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=250748 memory=212064 CPUtime=461.11 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 41872 0 0 0 46044 67 0 0 20 0 1 0 50632842 256765952 53016 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 62687 53016 1248 1200 0 61167 0

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

Current children cumulated memory: 402984 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.11 4.09 7/251 50570
/proc/meminfo: memFree=124500920/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=437988 memory=403624 CPUtime=2914.1 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 74577 0 0 0 290276 1134 0 0 20 0 1 0 50632842 448499712 100906 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 109497 100906 1248 1200 0 107977 0
Current children cumulated CPU time: 2914.1 s
Current children cumulated vsize: 437988 KiB
Current children cumulated memory: 403624 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.10 4.09 7/250 50572
/proc/meminfo: memFree=124492912/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=440588 memory=405800 CPUtime=2973.9 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 75320 0 0 0 296230 1160 0 0 20 0 1 0 50632842 451162112 101450 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 110147 101450 1248 1200 0 108627 0
Current children cumulated CPU time: 2973.9 s
Current children cumulated vsize: 440588 KiB
Current children cumulated memory: 405800 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.09 7/250 50574
/proc/meminfo: memFree=124492784/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=442260 memory=407208 CPUtime=3033.7 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 75677 0 0 0 302182 1188 0 0 20 0 1 0 50632842 452874240 101802 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 110565 101802 1248 1200 0 109045 0
Current children cumulated CPU time: 3033.7 s
Current children cumulated vsize: 442260 KiB
Current children cumulated memory: 407208 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.09 7/249 50576
/proc/meminfo: memFree=124484304/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=445908 memory=410536 CPUtime=3093.49 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 76495 0 0 0 308140 1209 0 0 20 0 1 0 50632842 456609792 102634 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 111477 102634 1248 1200 0 109957 0
Current children cumulated CPU time: 3093.49 s
Current children cumulated vsize: 445908 KiB
Current children cumulated memory: 410536 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.12 4.09 7/249 50578
/proc/meminfo: memFree=124476088/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=448984 memory=412968 CPUtime=3153.28 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 77257 0 0 0 314098 1230 0 0 20 0 1 0 50632842 459759616 103242 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 112246 103242 1248 1200 0 110726 0
Current children cumulated CPU time: 3153.28 s
Current children cumulated vsize: 448984 KiB
Current children cumulated memory: 412968 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.09 7/249 50582
/proc/meminfo: memFree=124447032/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=451864 memory=420008 CPUtime=3213.09 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 77894 0 0 0 320052 1257 0 0 20 0 1 0 50632842 462708736 105002 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 112966 105002 1248 1200 0 111446 0
Current children cumulated CPU time: 3213.09 s
Current children cumulated vsize: 451864 KiB
Current children cumulated memory: 420008 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 7/249 50584
/proc/meminfo: memFree=124436312/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=454992 memory=422312 CPUtime=3272.93 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 78490 0 0 0 326010 1283 0 0 20 0 1 0 50632842 465911808 105578 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 113748 105578 1248 1200 0 112228 0
Current children cumulated CPU time: 3272.93 s
Current children cumulated vsize: 454992 KiB
Current children cumulated memory: 422312 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.09 7/249 50586
/proc/meminfo: memFree=124439944/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=454992 memory=422312 CPUtime=3332.77 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 78680 0 0 0 331962 1315 0 0 20 0 1 0 50632842 465911808 105578 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 113748 105578 1248 1200 0 112228 0
Current children cumulated CPU time: 3332.77 s
Current children cumulated vsize: 454992 KiB
Current children cumulated memory: 422312 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 7/252 50596
/proc/meminfo: memFree=124417996/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=455792 memory=423208 CPUtime=3392.62 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 78883 0 0 0 337920 1342 0 0 20 0 1 0 50632842 466731008 105802 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 113948 105802 1248 1200 0 112428 0
Current children cumulated CPU time: 3392.62 s
Current children cumulated vsize: 455792 KiB
Current children cumulated memory: 423208 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.09 7/252 50598
/proc/meminfo: memFree=124406988/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=457136 memory=424232 CPUtime=3452.45 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 79158 0 0 0 343876 1369 0 0 20 0 1 0 50632842 468107264 106058 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 114284 106058 1248 1200 0 112764 0
Current children cumulated CPU time: 3452.45 s
Current children cumulated vsize: 457136 KiB
Current children cumulated memory: 424232 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 7/252 50600
/proc/meminfo: memFree=124392296/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=458064 memory=425128 CPUtime=3512.3 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 79551 0 0 0 349835 1395 0 0 20 0 1 0 50632842 469057536 106282 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 114516 106282 1248 1200 0 112996 0
Current children cumulated CPU time: 3512.3 s
Current children cumulated vsize: 458064 KiB
Current children cumulated memory: 425128 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 7/252 50602
/proc/meminfo: memFree=124399520/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=461168 memory=427304 CPUtime=3572.14 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 80113 0 0 0 355792 1422 0 0 20 0 1 0 50632842 472236032 106826 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 115292 106826 1248 1200 0 113772 0
Current children cumulated CPU time: 3572.14 s
Current children cumulated vsize: 461168 KiB
Current children cumulated memory: 427304 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/248 50611
/proc/meminfo: memFree=124846412/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=462128 memory=427944 CPUtime=3600.05 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 80275 0 0 0 358572 1433 0 0 20 0 1 0 50632842 473219072 106986 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 115532 106986 1248 1200 0 114012 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 462128 KiB
Current children cumulated memory: 427944 KiB

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

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

# cumulated CPU time of all completed processes:  user=3585.73 s, system=14.3416 s

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

[startup+3610.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/248 50611
/proc/meminfo: memFree=124846412/131382116 swapFree=33010160/33010684
[pid=50416] ppid=50404 vsize=462128 memory=427944 CPUtime=3600.05 cores=5,7
/proc/50416/stat : 50416 (Exact) R 50404 50416 50352 0 -1 4194304 80275 0 0 0 358572 1433 0 0 20 0 1 0 50632842 473219072 106986 18446744073709551615 4198400 9112445 140727445085296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43741184 140727445092648 140727445092845 140727445092845 140727445098447 0
/proc/50416/statm: 115532 106986 1248 1200 0 114012 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 462128 KiB
Current children cumulated memory: 427944 KiB

Child status: 10

Real time (s): 3610.31
CPU time (s): 3600.07
CPU user time (s): 3585.73
CPU system time (s): 14.3416
CPU usage (%): 99.7164
Max. virtual memory (cumulated for all children) (KiB): 462128
Max. memory (cumulated for all children) (KiB): 427944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.73
system time used= 14.3416
maximum resident set size= 428072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80277
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= 136
involuntary context switches= 2754


# summary of solver processes directly reported to runsolver:
#   pid: 50416
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3585.73
#   total CPU system time (s): 14.3416

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5047 second user time and 34.7429 second system time

The end