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-4488651-1751349536/watcher-4488651-1751349536 -o /tmp/evaluation-result-4488651-1751349536/solver-4488651-1751349536 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751349536-50362 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=79057361 --ls=360 --inp-dombreaklim=0 HOME/instance-4488651-1751349536.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
solver pid=50408, runsolver pid=50402
Current StackSize limit: 8192 KiB


[startup+0.100071 s]*
/proc/loadavg: 2.34 3.71 4.03 5/251 50421
/proc/meminfo: memFree=126121664/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=32056 memory=8772 CPUtime=0.1 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 1348 0 0 0 10 0 0 0 20 0 1 0 50632841 32825344 2193 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 8014 2193 1024 1200 0 6494 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8772 KiB

[startup+0.214865 s]*
/proc/loadavg: 2.34 3.71 4.03 5/251 50421
/proc/meminfo: memFree=126121664/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=32056 memory=8772 CPUtime=0.21 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 1348 0 0 0 21 0 0 0 20 0 1 0 50632841 32825344 2193 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 8014 2193 1024 1200 0 6494 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8772 KiB

[startup+0.313881 s]*
/proc/loadavg: 2.34 3.71 4.03 5/251 50421
/proc/meminfo: memFree=126121664/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=32056 memory=8772 CPUtime=0.31 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 1348 0 0 0 31 0 0 0 20 0 1 0 50632841 32825344 2193 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 8014 2193 1024 1200 0 6494 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8772 KiB

[startup+0.700238 s]
/proc/loadavg: 2.34 3.71 4.03 5/251 50421
/proc/meminfo: memFree=126121888/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=32056 memory=8772 CPUtime=0.68 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 1348 0 0 0 68 0 0 0 20 0 1 0 50632841 32825344 2193 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 8014 2193 1024 1200 0 6494 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8772 KiB

[startup+1.50024 s]
/proc/loadavg: 2.34 3.71 4.03 5/251 50421
/proc/meminfo: memFree=126121636/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=32056 memory=8772 CPUtime=1.48 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 1348 0 0 0 148 0 0 0 20 0 1 0 50632841 32825344 2193 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 8014 2193 1024 1200 0 6494 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8772 KiB

[startup+3.11304 s]
/proc/loadavg: 2.48 3.71 4.03 5/251 50421
/proc/meminfo: memFree=126122456/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=32056 memory=8772 CPUtime=3.09 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 1348 0 0 0 309 0 0 0 20 0 1 0 50632841 32825344 2193 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 8014 2193 1024 1200 0 6494 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8772 KiB

[startup+6.30022 s]
/proc/loadavg: 2.48 3.71 4.03 5/251 50421
/proc/meminfo: memFree=126122744/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=32056 memory=8772 CPUtime=6.26 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 1348 0 0 0 626 0 0 0 20 0 1 0 50632841 32825344 2193 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 8014 2193 1024 1200 0 6494 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8772 KiB

[startup+12.7002 s]
/proc/loadavg: 2.60 3.72 4.03 5/251 50422
/proc/meminfo: memFree=126122824/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=32056 memory=8772 CPUtime=12.64 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 1348 0 0 0 1264 0 0 0 20 0 1 0 50632841 32825344 2193 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 8014 2193 1024 1200 0 6494 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8772 KiB

[startup+25.5002 s]
/proc/loadavg: 2.98 3.75 4.03 5/251 50422
/proc/meminfo: memFree=126122832/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=32056 memory=8772 CPUtime=25.4 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 1348 0 0 0 2540 0 0 0 20 0 1 0 50632841 32825344 2193 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 8014 2193 1024 1200 0 6494 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8772 KiB

[startup+51.1129 s]
/proc/loadavg: 3.33 3.77 4.03 5/250 50422
/proc/meminfo: memFree=126122864/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=32056 memory=8772 CPUtime=50.94 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 1348 0 0 0 5094 0 0 0 20 0 1 0 50632841 32825344 2193 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 8014 2193 1024 1200 0 6494 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8772 KiB

[startup+102.3 s]
/proc/loadavg: 3.75 3.82 4.03 5/250 50424
/proc/meminfo: memFree=126120336/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=32056 memory=8772 CPUtime=101.99 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 1352 0 0 0 10199 0 0 0 20 0 1 0 50632841 32825344 2193 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 8014 2193 1024 1200 0 6494 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8772 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 3.89 4.03 5/250 50437
/proc/meminfo: memFree=126119924/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=32056 memory=8772 CPUtime=161.84 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 1354 0 0 0 16184 0 0 0 20 0 1 0 50632841 32825344 2193 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 8014 2193 1024 1200 0 6494 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8772 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 3.91 4.03 5/250 50441
/proc/meminfo: memFree=126120356/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=32056 memory=8772 CPUtime=221.7 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 1355 0 0 0 22170 0 0 0 20 0 1 0 50632841 32825344 2193 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 8014 2193 1024 1200 0 6494 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8772 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 3.96 4.03 5/250 50443
/proc/meminfo: memFree=126121744/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=32056 memory=8772 CPUtime=281.55 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 1357 0 0 0 28155 0 0 0 20 0 1 0 50632841 32825344 2193 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 8014 2193 1024 1200 0 6494 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8772 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.99 4.03 5/251 50446
/proc/meminfo: memFree=126121776/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=32056 memory=8772 CPUtime=341.41 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 1357 0 0 0 34141 0 0 0 20 0 1 0 50632841 32825344 2193 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 8014 2193 1024 1200 0 6494 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8772 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.00 4.03 5/251 50453
/proc/meminfo: memFree=125377028/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=216072 memory=190208 CPUtime=401.25 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 34835 0 0 0 40095 30 0 0 20 0 1 0 50632841 221257728 47552 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 54018 47552 1280 1200 0 52498 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 216072 KiB
Current children cumulated memory: 190208 KiB

[startup+462.3 s]
/proc/loadavg: 4.24 4.05 4.05 5/251 50455
/proc/meminfo: memFree=125244076/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=242172 memory=212992 CPUtime=461.04 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 40322 0 0 0 46048 56 0 0 20 0 1 0 50632841 247984128 53248 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 60543 53248 1280 1200 0 59023 0
Current children cumulated CPU time: 461.04 s

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

Current children cumulated memory: 425008 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/251 50568
/proc/meminfo: memFree=124503472/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=456032 memory=428720 CPUtime=2853.96 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 75367 0 0 0 284390 1006 0 0 20 0 1 0 50632841 466976768 107180 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 114008 107180 1280 1200 0 112488 0
Current children cumulated CPU time: 2853.96 s
Current children cumulated vsize: 456032 KiB
Current children cumulated memory: 428720 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/251 50570
/proc/meminfo: memFree=124500920/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=457952 memory=430256 CPUtime=2913.79 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 75748 0 0 0 290348 1031 0 0 20 0 1 0 50632841 468942848 107564 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 114488 107564 1280 1200 0 112968 0
Current children cumulated CPU time: 2913.79 s
Current children cumulated vsize: 457952 KiB
Current children cumulated memory: 430256 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/250 50572
/proc/meminfo: memFree=124492912/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=460808 memory=432304 CPUtime=2973.64 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 76437 0 0 0 296307 1057 0 0 20 0 1 0 50632841 471867392 108076 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 115202 108076 1280 1200 0 113682 0
Current children cumulated CPU time: 2973.64 s
Current children cumulated vsize: 460808 KiB
Current children cumulated memory: 432304 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/250 50574
/proc/meminfo: memFree=124492784/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=463688 memory=434608 CPUtime=3033.47 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 77012 0 0 0 302265 1082 0 0 20 0 1 0 50632841 474816512 108652 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 115922 108652 1280 1200 0 114402 0
Current children cumulated CPU time: 3033.47 s
Current children cumulated vsize: 463688 KiB
Current children cumulated memory: 434608 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/249 50576
/proc/meminfo: memFree=124484304/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=465576 memory=436400 CPUtime=3093.31 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 77469 0 0 0 308225 1106 0 0 20 0 1 0 50632841 476749824 109100 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 116394 109100 1280 1200 0 114874 0
Current children cumulated CPU time: 3093.31 s
Current children cumulated vsize: 465576 KiB
Current children cumulated memory: 436400 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/249 50578
/proc/meminfo: memFree=124476088/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=466016 memory=436784 CPUtime=3153.13 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 77777 0 0 0 314184 1129 0 0 20 0 1 0 50632841 477200384 109196 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 116504 109196 1280 1200 0 114984 0
Current children cumulated CPU time: 3153.13 s
Current children cumulated vsize: 466016 KiB
Current children cumulated memory: 436784 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/249 50582
/proc/meminfo: memFree=124447032/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=466208 memory=437040 CPUtime=3212.98 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 77833 0 0 0 320146 1152 0 0 20 0 1 0 50632841 477396992 109260 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 116552 109260 1280 1200 0 115032 0
Current children cumulated CPU time: 3212.98 s
Current children cumulated vsize: 466208 KiB
Current children cumulated memory: 437040 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/249 50584
/proc/meminfo: memFree=124436312/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=466976 memory=437808 CPUtime=3272.81 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 78017 0 0 0 326102 1179 0 0 20 0 1 0 50632841 478183424 109452 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 116744 109452 1280 1200 0 115224 0
Current children cumulated CPU time: 3272.81 s
Current children cumulated vsize: 466976 KiB
Current children cumulated memory: 437808 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/249 50586
/proc/meminfo: memFree=124439944/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=469856 memory=440368 CPUtime=3332.64 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 78846 0 0 0 332057 1207 0 0 20 0 1 0 50632841 481132544 110092 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 117464 110092 1280 1200 0 115944 0
Current children cumulated CPU time: 3332.64 s
Current children cumulated vsize: 469856 KiB
Current children cumulated memory: 440368 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/252 50596
/proc/meminfo: memFree=124417996/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=470080 memory=440624 CPUtime=3392.48 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 78906 0 0 0 338016 1232 0 0 20 0 1 0 50632841 481361920 110156 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 117520 110156 1280 1200 0 116000 0
Current children cumulated CPU time: 3392.48 s
Current children cumulated vsize: 470080 KiB
Current children cumulated memory: 440624 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/252 50598
/proc/meminfo: memFree=124406988/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=470816 memory=441264 CPUtime=3452.32 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 79098 0 0 0 343976 1256 0 0 20 0 1 0 50632841 482115584 110316 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 117704 110316 1280 1200 0 116184 0
Current children cumulated CPU time: 3452.32 s
Current children cumulated vsize: 470816 KiB
Current children cumulated memory: 441264 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/252 50600
/proc/meminfo: memFree=124392296/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=472008 memory=442544 CPUtime=3512.16 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 79590 0 0 0 349939 1277 0 0 20 0 1 0 50632841 483336192 110636 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 118002 110636 1280 1200 0 116482 0
Current children cumulated CPU time: 3512.16 s
Current children cumulated vsize: 472008 KiB
Current children cumulated memory: 442544 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/252 50602
/proc/meminfo: memFree=124399520/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=473160 memory=443696 CPUtime=3572 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 79885 0 0 0 355899 1301 0 0 20 0 1 0 50632841 484515840 110924 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 118290 110924 1280 1200 0 116770 0
Current children cumulated CPU time: 3572 s
Current children cumulated vsize: 473160 KiB
Current children cumulated memory: 443696 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.11 4.11 4.09 5/248 50611
/proc/meminfo: memFree=124846412/131382116 swapFree=33010160/33010684
[pid=50408] ppid=50402 vsize=473768 memory=444336 CPUtime=3600.02 cores=0,2
/proc/50408/stat : 50408 (Exact) R 50402 50408 50352 0 -1 4194304 80037 0 0 0 358692 1310 0 0 20 0 1 0 50632841 485138432 111084 18446744073709551615 4198400 9112445 140736048915888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 36925440 140736048924968 140736048925165 140736048925165 140736048930767 0
/proc/50408/statm: 118442 111084 1280 1200 0 116922 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 473768 KiB
Current children cumulated memory: 444336 KiB

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

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

# cumulated CPU time of all completed processes:  user=3586.93 s, system=13.1086 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.04
CPU user time (s): 3586.93
CPU system time (s): 13.1086
CPU usage (%): 99.7127
Max. virtual memory (cumulated for all children) (KiB): 473768
Max. memory (cumulated for all children) (KiB): 444336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.93
system time used= 13.1086
maximum resident set size= 444336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80039
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= 138
involuntary context switches= 8295


# summary of solver processes directly reported to runsolver:
#   pid: 50408
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3586.93
#   total CPU system time (s): 13.1086

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7958 second user time and 35.9749 second system time

The end