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-4488743-1751349536/watcher-4488743-1751349536 -o /tmp/evaluation-result-4488743-1751349536/solver-4488743-1751349536 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751349536-50364 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=79057361 --ls=360 --inp-dombreaklim=0 HOME/instance-4488743-1751349536.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=50420, runsolver pid=50405

[startup+0.100225 s]*
/proc/loadavg: 2.34 3.71 4.03 8/251 50421
/proc/meminfo: memFree=126121664/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=32056 memory=10624 CPUtime=0.1 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 1317 0 0 0 10 0 0 0 20 0 1 0 50632842 32825344 2656 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 8014 2656 1024 1200 0 6494 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10624 KiB

[startup+0.213423 s]*
/proc/loadavg: 2.34 3.71 4.03 8/251 50421
/proc/meminfo: memFree=126121664/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=32056 memory=10624 CPUtime=0.21 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 1317 0 0 0 21 0 0 0 20 0 1 0 50632842 32825344 2656 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 8014 2656 1024 1200 0 6494 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10624 KiB

[startup+0.313169 s]*
/proc/loadavg: 2.34 3.71 4.03 8/251 50421
/proc/meminfo: memFree=126121664/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=32056 memory=10624 CPUtime=0.31 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 1317 0 0 0 31 0 0 0 20 0 1 0 50632842 32825344 2656 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 8014 2656 1024 1200 0 6494 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10624 KiB

[startup+0.700252 s]
/proc/loadavg: 2.34 3.71 4.03 8/251 50421
/proc/meminfo: memFree=126121888/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=32056 memory=10624 CPUtime=0.69 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 1317 0 0 0 69 0 0 0 20 0 1 0 50632842 32825344 2656 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 8014 2656 1024 1200 0 6494 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10624 KiB

[startup+1.50025 s]
/proc/loadavg: 2.34 3.71 4.03 8/251 50421
/proc/meminfo: memFree=126121636/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=32056 memory=10624 CPUtime=1.48 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 1317 0 0 0 148 0 0 0 20 0 1 0 50632842 32825344 2656 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 8014 2656 1024 1200 0 6494 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10624 KiB

[startup+3.11259 s]
/proc/loadavg: 2.48 3.71 4.03 8/251 50421
/proc/meminfo: memFree=126122456/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=32056 memory=10624 CPUtime=3.09 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 1317 0 0 0 309 0 0 0 20 0 1 0 50632842 32825344 2656 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 8014 2656 1024 1200 0 6494 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10624 KiB

[startup+6.30023 s]
/proc/loadavg: 2.48 3.71 4.03 8/251 50421
/proc/meminfo: memFree=126122744/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=32056 memory=10624 CPUtime=6.27 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 1317 0 0 0 627 0 0 0 20 0 1 0 50632842 32825344 2656 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 8014 2656 1024 1200 0 6494 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10624 KiB

[startup+12.7002 s]
/proc/loadavg: 2.60 3.72 4.03 8/251 50422
/proc/meminfo: memFree=126122824/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=32056 memory=10624 CPUtime=12.66 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 1317 0 0 0 1266 0 0 0 20 0 1 0 50632842 32825344 2656 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 8014 2656 1024 1200 0 6494 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10624 KiB

[startup+25.5002 s]
/proc/loadavg: 2.98 3.75 4.03 8/251 50422
/proc/meminfo: memFree=126122832/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=32056 memory=10624 CPUtime=25.43 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 1317 0 0 0 2543 0 0 0 20 0 1 0 50632842 32825344 2656 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 8014 2656 1024 1200 0 6494 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10624 KiB

[startup+51.1126 s]
/proc/loadavg: 3.33 3.77 4.03 8/250 50422
/proc/meminfo: memFree=126122864/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=32056 memory=10624 CPUtime=50.98 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 1317 0 0 0 5098 0 0 0 20 0 1 0 50632842 32825344 2656 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 8014 2656 1024 1200 0 6494 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10624 KiB

[startup+102.3 s]
/proc/loadavg: 3.75 3.82 4.03 8/250 50424
/proc/meminfo: memFree=126120336/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=32056 memory=10624 CPUtime=102.04 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 1317 0 0 0 10204 0 0 0 20 0 1 0 50632842 32825344 2656 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 8014 2656 1024 1200 0 6494 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10624 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 3.89 4.03 8/250 50437
/proc/meminfo: memFree=126119924/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=32056 memory=10624 CPUtime=161.91 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 1317 0 0 0 16190 1 0 0 20 0 1 0 50632842 32825344 2656 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 8014 2656 1024 1200 0 6494 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10624 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 3.91 4.03 8/250 50441
/proc/meminfo: memFree=126120356/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=32056 memory=10624 CPUtime=221.77 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 1317 0 0 0 22176 1 0 0 20 0 1 0 50632842 32825344 2656 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 8014 2656 1024 1200 0 6494 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10624 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 3.96 4.03 8/250 50443
/proc/meminfo: memFree=126121744/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=32056 memory=10624 CPUtime=281.63 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 1317 0 0 0 28161 2 0 0 20 0 1 0 50632842 32825344 2656 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 8014 2656 1024 1200 0 6494 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10624 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.99 4.03 8/251 50446
/proc/meminfo: memFree=126121776/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=32056 memory=10624 CPUtime=341.49 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 1317 0 0 0 34147 2 0 0 20 0 1 0 50632842 32825344 2656 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 8014 2656 1024 1200 0 6494 0
Current children cumulated CPU time: 341.49 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 10624 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.00 4.03 8/251 50453
/proc/meminfo: memFree=125377028/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=208120 memory=175164 CPUtime=401.33 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 33125 0 0 0 40101 32 0 0 20 0 1 0 50632842 213114880 43791 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 52030 43791 1280 1200 0 50510 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 208120 KiB
Current children cumulated memory: 175164 KiB

[startup+462.3 s]
/proc/loadavg: 4.24 4.05 4.05 8/251 50455
/proc/meminfo: memFree=125244076/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=248256 memory=211784 CPUtime=461.17 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 41835 0 0 0 46057 60 0 0 20 0 1 0 50632842 254214144 52946 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 62064 52946 1280 1200 0 60544 0

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

Current children cumulated memory: 422392 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.11 4.09 8/251 50568
/proc/meminfo: memFree=124503472/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=442332 memory=422776 CPUtime=2854.73 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 76594 0 0 0 284442 1031 0 0 20 0 1 0 50632842 452947968 105694 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 110583 105694 1280 1200 0 109063 0
Current children cumulated CPU time: 2854.73 s
Current children cumulated vsize: 442332 KiB
Current children cumulated memory: 422776 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.11 4.09 8/251 50570
/proc/meminfo: memFree=124500920/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=444116 memory=424568 CPUtime=2914.57 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 77017 0 0 0 290400 1057 0 0 20 0 1 0 50632842 454774784 106142 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 111029 106142 1280 1200 0 109509 0
Current children cumulated CPU time: 2914.57 s
Current children cumulated vsize: 444116 KiB
Current children cumulated memory: 424568 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.10 4.09 8/250 50572
/proc/meminfo: memFree=124492912/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=446748 memory=427000 CPUtime=2974.42 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 77786 0 0 0 296362 1080 0 0 20 0 1 0 50632842 457469952 106750 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 111687 106750 1280 1200 0 110167 0
Current children cumulated CPU time: 2974.42 s
Current children cumulated vsize: 446748 KiB
Current children cumulated memory: 427000 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.09 8/250 50574
/proc/meminfo: memFree=124492784/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=447796 memory=428024 CPUtime=3034.25 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 78072 0 0 0 302321 1104 0 0 20 0 1 0 50632842 458543104 107006 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 111949 107006 1280 1200 0 110429 0
Current children cumulated CPU time: 3034.25 s
Current children cumulated vsize: 447796 KiB
Current children cumulated memory: 428024 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.09 8/249 50576
/proc/meminfo: memFree=124484304/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=450868 memory=430328 CPUtime=3094.09 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 78652 0 0 0 308284 1125 0 0 20 0 1 0 50632842 461688832 107582 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 112717 107582 1280 1200 0 111197 0
Current children cumulated CPU time: 3094.09 s
Current children cumulated vsize: 450868 KiB
Current children cumulated memory: 430328 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.12 4.09 8/249 50578
/proc/meminfo: memFree=124476088/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=453716 memory=432632 CPUtime=3153.94 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 79352 0 0 0 314244 1150 0 0 20 0 1 0 50632842 464605184 108158 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 113429 108158 1280 1200 0 111909 0
Current children cumulated CPU time: 3153.94 s
Current children cumulated vsize: 453716 KiB
Current children cumulated memory: 432632 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.09 8/249 50582
/proc/meminfo: memFree=124447032/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=454848 memory=433528 CPUtime=3213.77 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 79654 0 0 0 320204 1173 0 0 20 0 1 0 50632842 465764352 108382 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 113712 108382 1280 1200 0 112192 0
Current children cumulated CPU time: 3213.77 s
Current children cumulated vsize: 454848 KiB
Current children cumulated memory: 433528 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 8/249 50584
/proc/meminfo: memFree=124436312/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=455424 memory=434040 CPUtime=3273.61 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 79787 0 0 0 326167 1194 0 0 20 0 1 0 50632842 466354176 108510 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 113856 108510 1280 1200 0 112336 0
Current children cumulated CPU time: 3273.61 s
Current children cumulated vsize: 455424 KiB
Current children cumulated memory: 434040 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.09 8/249 50586
/proc/meminfo: memFree=124439944/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=457312 memory=435576 CPUtime=3333.45 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 80296 0 0 0 332126 1219 0 0 20 0 1 0 50632842 468287488 108894 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 114328 108894 1280 1200 0 112808 0
Current children cumulated CPU time: 3333.45 s
Current children cumulated vsize: 457312 KiB
Current children cumulated memory: 435576 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 8/252 50596
/proc/meminfo: memFree=124417996/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=459904 memory=438008 CPUtime=3393.3 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 80942 0 0 0 338090 1240 0 0 20 0 1 0 50632842 470941696 109502 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 114976 109502 1280 1200 0 113456 0
Current children cumulated CPU time: 3393.3 s
Current children cumulated vsize: 459904 KiB
Current children cumulated memory: 438008 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.09 8/252 50598
/proc/meminfo: memFree=124406988/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=461624 memory=443384 CPUtime=3453.14 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 81311 0 0 0 344049 1265 0 0 20 0 1 0 50632842 472702976 110846 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 115406 110846 1280 1200 0 113886 0
Current children cumulated CPU time: 3453.14 s
Current children cumulated vsize: 461624 KiB
Current children cumulated memory: 443384 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 8/252 50600
/proc/meminfo: memFree=124392296/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=462168 memory=446328 CPUtime=3512.97 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 81582 0 0 0 350002 1295 0 0 20 0 1 0 50632842 473260032 111582 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 115542 111582 1280 1200 0 114022 0
Current children cumulated CPU time: 3512.97 s
Current children cumulated vsize: 462168 KiB
Current children cumulated memory: 446328 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 8/252 50602
/proc/meminfo: memFree=124399520/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=462360 memory=446584 CPUtime=3572.81 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 81707 0 0 0 355966 1315 0 0 20 0 1 0 50632842 473456640 111646 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 115590 111646 1280 1200 0 114070 0
Current children cumulated CPU time: 3572.81 s
Current children cumulated vsize: 462360 KiB
Current children cumulated memory: 446584 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.11 4.11 4.09 8/252 50603
/proc/meminfo: memFree=124401292/131382116 swapFree=33010160/33010684
[pid=50420] ppid=50405 vsize=463128 memory=447352 CPUtime=3600.05 cores=1,3
/proc/50420/stat : 50420 (Exact) R 50405 50420 50352 0 -1 4194304 81899 0 0 0 358682 1323 0 0 20 0 1 0 50632842 474243072 111838 18446744073709551615 4198400 9112445 140727182438416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38064128 140727182444840 140727182445037 140727182445037 140727182450639 0
/proc/50420/statm: 115782 111838 1280 1200 0 114262 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 463128 KiB
Current children cumulated memory: 447352 KiB

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

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

# cumulated CPU time of all completed processes:  user=3586.82 s, system=13.237 s

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

Child status: 10

Real time (s): 3609.61
CPU time (s): 3600.06
CPU user time (s): 3586.82
CPU system time (s): 13.237
CPU usage (%): 99.7356
Max. virtual memory (cumulated for all children) (KiB): 463128
Max. memory (cumulated for all children) (KiB): 447352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.82
system time used= 13.237
maximum resident set size= 447352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81901
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= 120
involuntary context switches= 2094


# summary of solver processes directly reported to runsolver:
#   pid: 50420
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3586.82
#   total CPU system time (s): 13.237

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9511 second user time and 33.0553 second system time

The end