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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=50412, runsolver pid=50403

[startup+0.100099 s]*
/proc/loadavg: 2.34 3.71 4.03 6/251 50421
/proc/meminfo: memFree=126121664/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=32056 memory=8656 CPUtime=0.1 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 1350 0 0 0 10 0 0 0 20 0 1 0 50632841 32825344 2164 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+0.212771 s]*
/proc/loadavg: 2.34 3.71 4.03 6/251 50421
/proc/meminfo: memFree=126121664/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=32056 memory=8656 CPUtime=0.21 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 1350 0 0 0 21 0 0 0 20 0 1 0 50632841 32825344 2164 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+0.312687 s]*
/proc/loadavg: 2.34 3.71 4.03 6/251 50421
/proc/meminfo: memFree=126121664/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=32056 memory=8656 CPUtime=0.31 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 1350 0 0 0 31 0 0 0 20 0 1 0 50632841 32825344 2164 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+0.700252 s]
/proc/loadavg: 2.34 3.71 4.03 6/251 50421
/proc/meminfo: memFree=126121888/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=32056 memory=8656 CPUtime=0.69 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 1350 0 0 0 69 0 0 0 20 0 1 0 50632841 32825344 2164 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+1.50025 s]
/proc/loadavg: 2.34 3.71 4.03 6/251 50421
/proc/meminfo: memFree=126121636/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=32056 memory=8656 CPUtime=1.48 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 1350 0 0 0 148 0 0 0 20 0 1 0 50632841 32825344 2164 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+3.11204 s]
/proc/loadavg: 2.48 3.71 4.03 6/251 50421
/proc/meminfo: memFree=126122456/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=32056 memory=8656 CPUtime=3.09 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 1350 0 0 0 309 0 0 0 20 0 1 0 50632841 32825344 2164 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+6.30023 s]
/proc/loadavg: 2.48 3.71 4.03 6/251 50421
/proc/meminfo: memFree=126122744/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=32056 memory=8656 CPUtime=6.27 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 1350 0 0 0 627 0 0 0 20 0 1 0 50632841 32825344 2164 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+12.7002 s]
/proc/loadavg: 2.60 3.72 4.03 6/251 50422
/proc/meminfo: memFree=126122824/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=32056 memory=8656 CPUtime=12.65 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 1350 0 0 0 1265 0 0 0 20 0 1 0 50632841 32825344 2164 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+25.5002 s]
/proc/loadavg: 2.98 3.75 4.03 6/251 50422
/proc/meminfo: memFree=126122832/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=32056 memory=8656 CPUtime=25.42 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 1350 0 0 0 2542 0 0 0 20 0 1 0 50632841 32825344 2164 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+51.1119 s]
/proc/loadavg: 3.33 3.77 4.03 6/250 50422
/proc/meminfo: memFree=126122864/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=32056 memory=8656 CPUtime=50.98 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 1350 0 0 0 5097 1 0 0 20 0 1 0 50632841 32825344 2164 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+102.3 s]
/proc/loadavg: 3.75 3.82 4.03 6/250 50424
/proc/meminfo: memFree=126120336/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=32056 memory=8656 CPUtime=102.05 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 1353 0 0 0 10204 1 0 0 20 0 1 0 50632841 32825344 2164 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 3.89 4.03 6/250 50437
/proc/meminfo: memFree=126119924/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=32056 memory=8656 CPUtime=161.89 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 1356 0 0 0 16187 2 0 0 20 0 1 0 50632841 32825344 2164 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 3.91 4.03 6/250 50441
/proc/meminfo: memFree=126120356/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=32056 memory=8656 CPUtime=221.71 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 1357 0 0 0 22169 2 0 0 20 0 1 0 50632841 32825344 2164 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 3.96 4.03 6/250 50443
/proc/meminfo: memFree=126121744/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=32056 memory=8656 CPUtime=281.54 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 1358 0 0 0 28151 3 0 0 20 0 1 0 50632841 32825344 2164 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.99 4.03 6/251 50446
/proc/meminfo: memFree=126121776/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=32056 memory=8656 CPUtime=341.37 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 1359 0 0 0 34133 4 0 0 20 0 1 0 50632841 32825344 2164 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.00 4.03 6/251 50453
/proc/meminfo: memFree=125377028/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=247328 memory=186872 CPUtime=401.17 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 34921 0 0 0 40081 36 0 0 20 0 1 0 50632841 253263872 46718 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 61832 46718 1280 1200 0 60312 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 247328 KiB
Current children cumulated memory: 186872 KiB

[startup+462.3 s]
/proc/loadavg: 4.24 4.05 4.05 6/251 50455
/proc/meminfo: memFree=125244076/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=277980 memory=211960 CPUtime=460.97 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 41238 0 0 0 46033 64 0 0 20 0 1 0 50632841 284651520 52990 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 69495 52990 1280 1200 0 67975 0
Current children cumulated CPU time: 460.97 s

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

Current children cumulated memory: 402904 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.11 4.09 6/251 50568
/proc/meminfo: memFree=124503472/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=445080 memory=404952 CPUtime=2854.1 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 75259 0 0 0 284383 1027 0 0 20 0 1 0 50632841 455761920 101238 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 111270 101238 1280 1200 0 109750 0
Current children cumulated CPU time: 2854.1 s
Current children cumulated vsize: 445080 KiB
Current children cumulated memory: 404952 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/251 50570
/proc/meminfo: memFree=124500920/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=446200 memory=415064 CPUtime=2913.94 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 75538 0 0 0 290343 1051 0 0 20 0 1 0 50632841 456908800 103766 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 111550 103766 1280 1200 0 110030 0
Current children cumulated CPU time: 2913.94 s
Current children cumulated vsize: 446200 KiB
Current children cumulated memory: 415064 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/250 50572
/proc/meminfo: memFree=124492912/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=449272 memory=417112 CPUtime=2973.79 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 76079 0 0 0 296305 1074 0 0 20 0 1 0 50632841 460054528 104278 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 112318 104278 1280 1200 0 110798 0
Current children cumulated CPU time: 2973.79 s
Current children cumulated vsize: 449272 KiB
Current children cumulated memory: 417112 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/250 50574
/proc/meminfo: memFree=124492784/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=449848 memory=417752 CPUtime=3033.65 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 76244 0 0 0 302266 1099 0 0 20 0 1 0 50632841 460644352 104438 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 112462 104438 1280 1200 0 110942 0
Current children cumulated CPU time: 3033.65 s
Current children cumulated vsize: 449848 KiB
Current children cumulated memory: 417752 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/249 50576
/proc/meminfo: memFree=124484304/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=451916 memory=419672 CPUtime=3093.49 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 76738 0 0 0 308228 1121 0 0 20 0 1 0 50632841 462761984 104918 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 112979 104918 1280 1200 0 111459 0
Current children cumulated CPU time: 3093.49 s
Current children cumulated vsize: 451916 KiB
Current children cumulated memory: 419672 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/249 50578
/proc/meminfo: memFree=124476088/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=453644 memory=421336 CPUtime=3153.34 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 77154 0 0 0 314188 1146 0 0 20 0 1 0 50632841 464531456 105334 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 113411 105334 1280 1200 0 111891 0
Current children cumulated CPU time: 3153.34 s
Current children cumulated vsize: 453644 KiB
Current children cumulated memory: 421336 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/249 50582
/proc/meminfo: memFree=124447032/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=454636 memory=422104 CPUtime=3213.17 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 77362 0 0 0 320147 1170 0 0 20 0 1 0 50632841 465547264 105526 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 113659 105526 1280 1200 0 112139 0
Current children cumulated CPU time: 3213.17 s
Current children cumulated vsize: 454636 KiB
Current children cumulated memory: 422104 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/249 50584
/proc/meminfo: memFree=124436312/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=458804 memory=425304 CPUtime=3272.97 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 78173 0 0 0 326102 1195 0 0 20 0 1 0 50632841 469815296 106326 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 114701 106326 1280 1200 0 113181 0
Current children cumulated CPU time: 3272.97 s
Current children cumulated vsize: 458804 KiB
Current children cumulated memory: 425304 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/249 50586
/proc/meminfo: memFree=124439944/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=461076 memory=427480 CPUtime=3332.78 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 78712 0 0 0 332062 1216 0 0 20 0 1 0 50632841 472141824 106870 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 115269 106870 1280 1200 0 113749 0
Current children cumulated CPU time: 3332.78 s
Current children cumulated vsize: 461076 KiB
Current children cumulated memory: 427480 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/252 50596
/proc/meminfo: memFree=124417996/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=461460 memory=429940 CPUtime=3392.6 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 78851 0 0 0 338020 1240 0 0 20 0 1 0 50632841 472535040 107485 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 115365 107485 1280 1200 0 113845 0
Current children cumulated CPU time: 3392.6 s
Current children cumulated vsize: 461460 KiB
Current children cumulated memory: 429940 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/252 50598
/proc/meminfo: memFree=124406988/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=464340 memory=432628 CPUtime=3452.41 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 79530 0 0 0 343979 1262 0 0 20 0 1 0 50632841 475484160 108157 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 116085 108157 1280 1200 0 114565 0
Current children cumulated CPU time: 3452.41 s
Current children cumulated vsize: 464340 KiB
Current children cumulated memory: 432628 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/252 50600
/proc/meminfo: memFree=124392296/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=466068 memory=434420 CPUtime=3512.23 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 79962 0 0 0 349937 1286 0 0 20 0 1 0 50632841 477253632 108605 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 116517 108605 1280 1200 0 114997 0
Current children cumulated CPU time: 3512.23 s
Current children cumulated vsize: 466068 KiB
Current children cumulated memory: 434420 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/252 50602
/proc/meminfo: memFree=124399520/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=467348 memory=435700 CPUtime=3572.04 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 80413 0 0 0 355898 1306 0 0 20 0 1 0 50632841 478564352 108925 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 116837 108925 1280 1200 0 115317 0
Current children cumulated CPU time: 3572.04 s
Current children cumulated vsize: 467348 KiB
Current children cumulated memory: 435700 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.11 4.11 4.09 6/248 50611
/proc/meminfo: memFree=124846412/131382116 swapFree=33010160/33010684
[pid=50412] ppid=50403 vsize=467348 memory=435700 CPUtime=3600.04 cores=4,6
/proc/50412/stat : 50412 (Exact) R 50403 50412 50352 0 -1 4194304 80416 0 0 0 358684 1320 0 0 20 0 1 0 50632841 478564352 108925 18446744073709551615 4198400 9112445 140725942703472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 37478400 140725942708520 140725942708717 140725942708717 140725942714319 0
/proc/50412/statm: 116837 108925 1280 1200 0 115317 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 467348 KiB
Current children cumulated memory: 435700 KiB

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

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

# cumulated CPU time of all completed processes:  user=3586.85 s, system=13.2133 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.07
CPU user time (s): 3586.85
CPU system time (s): 13.2133
CPU usage (%): 99.7136
Max. virtual memory (cumulated for all children) (KiB): 467348
Max. memory (cumulated for all children) (KiB): 435700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.85
system time used= 13.2133
maximum resident set size= 435700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80418
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= 129
involuntary context switches= 2904


# summary of solver processes directly reported to runsolver:
#   pid: 50412
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3586.85
#   total CPU system time (s): 13.2133

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5438 second user time and 30.7383 second system time

The end