runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (61458 MiB free)
  memory of node 1: 64465 MiB (63311 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4483143-1751269325/watcher-4483143-1751269325 -o /tmp/evaluation-result-4483143-1751269325/solver-4483143-1751269325 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751268232-37980 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=497536264 --ls=360 HOME/instance-4483143-1751269325.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=38284, runsolver pid=38281
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 3.01 3.06 2.36 4/258 38285
/proc/meminfo: memFree=127736164/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=88840 memory=59768 CPUtime=0.1 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 12440 0 0 0 8 2 0 0 20 0 1 0 42609090 90972160 14942 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 22210 14942 1024 1200 0 20690 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 88840 KiB
Current children cumulated memory: 59768 KiB

[startup+0.205442 s]*
/proc/loadavg: 3.01 3.06 2.36 4/258 38285
/proc/meminfo: memFree=127691620/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=130036 memory=97864 CPUtime=0.2 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 18897 0 0 0 17 3 0 0 20 0 1 0 42609090 133156864 24466 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 32509 24466 1024 1200 0 30989 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 130036 KiB
Current children cumulated memory: 97864 KiB

[startup+0.305292 s]*
/proc/loadavg: 3.01 3.06 2.36 4/258 38285
/proc/meminfo: memFree=127663076/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=159468 memory=131528 CPUtime=0.29 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 22733 0 0 0 26 3 0 0 20 0 1 0 42609090 163295232 32882 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 39867 32882 1024 1200 0 38347 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 159468 KiB
Current children cumulated memory: 131528 KiB

[startup+0.700175 s]
/proc/loadavg: 3.01 3.06 2.36 4/258 38285
/proc/meminfo: memFree=127606624/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=289560 memory=267512 CPUtime=0.69 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 42431 0 0 0 60 9 0 0 20 0 1 0 42609090 296509440 66878 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 72390 66878 1024 1200 0 70870 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 289560 KiB
Current children cumulated memory: 267512 KiB

[startup+1.50018 s]
/proc/loadavg: 3.01 3.06 2.36 4/258 38285
/proc/meminfo: memFree=127456668/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=365768 memory=333076 CPUtime=1.49 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 56433 0 0 0 136 13 0 0 20 0 1 0 42609090 374546432 83269 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 91442 83269 1024 1200 0 89922 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 365768 KiB
Current children cumulated memory: 333076 KiB

[startup+3.10522 s]
/proc/loadavg: 3.01 3.06 2.36 4/258 38285
/proc/meminfo: memFree=127441048/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=365768 memory=333076 CPUtime=3.09 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 56467 0 0 0 296 13 0 0 20 0 1 0 42609090 374546432 83269 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 91442 83269 1024 1200 0 89922 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 365768 KiB
Current children cumulated memory: 333076 KiB

[startup+6.30018 s]
/proc/loadavg: 3.01 3.06 2.37 4/258 38285
/proc/meminfo: memFree=127441552/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=365768 memory=333076 CPUtime=6.27 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 56535 0 0 0 614 13 0 0 20 0 1 0 42609090 374546432 83269 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 91442 83269 1024 1200 0 89922 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 365768 KiB
Current children cumulated memory: 333076 KiB

[startup+12.7002 s]
/proc/loadavg: 3.01 3.06 2.37 4/258 38285
/proc/meminfo: memFree=127440852/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=365768 memory=333076 CPUtime=12.64 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 56580 0 0 0 1251 13 0 0 20 0 1 0 42609090 374546432 83269 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 91442 83269 1024 1200 0 89922 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 365768 KiB
Current children cumulated memory: 333076 KiB

[startup+25.5002 s]
/proc/loadavg: 3.08 3.07 2.39 4/258 38286
/proc/meminfo: memFree=127440176/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=365768 memory=333076 CPUtime=25.39 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 56639 0 0 0 2526 13 0 0 20 0 1 0 42609090 374546432 83269 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 91442 83269 1024 1200 0 89922 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 365768 KiB
Current children cumulated memory: 333076 KiB

[startup+51.1053 s]
/proc/loadavg: 3.05 3.06 2.40 4/258 38286
/proc/meminfo: memFree=127420152/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=365768 memory=333076 CPUtime=50.9 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 56721 0 0 0 5077 13 0 0 20 0 1 0 42609090 374546432 83269 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 91442 83269 1024 1200 0 89922 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 365768 KiB
Current children cumulated memory: 333076 KiB

[startup+102.3 s]
/proc/loadavg: 3.10 3.07 2.44 4/258 38288
/proc/meminfo: memFree=127337208/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=365768 memory=333076 CPUtime=101.9 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 56813 0 0 0 10177 13 0 0 20 0 1 0 42609090 374546432 83269 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 91442 83269 1024 1200 0 89922 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 365768 KiB
Current children cumulated memory: 333076 KiB

[startup+162.3 s]
/proc/loadavg: 3.10 3.07 2.49 4/258 38297
/proc/meminfo: memFree=127252500/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=365768 memory=333076 CPUtime=161.68 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 56881 0 0 0 16155 13 0 0 20 0 1 0 42609090 374546432 83269 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 91442 83269 1024 1200 0 89922 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 365768 KiB
Current children cumulated memory: 333076 KiB

[startup+222.3 s]
/proc/loadavg: 3.08 3.07 2.53 4/258 38299
/proc/meminfo: memFree=127045736/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=365768 memory=333076 CPUtime=221.46 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 56915 0 0 0 22133 13 0 0 20 0 1 0 42609090 374546432 83269 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 91442 83269 1024 1200 0 89922 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 365768 KiB
Current children cumulated memory: 333076 KiB

[startup+282.3 s]
/proc/loadavg: 3.07 3.07 2.56 4/258 38301
/proc/meminfo: memFree=127029504/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=365768 memory=333076 CPUtime=281.21 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 56949 0 0 0 28108 13 0 0 20 0 1 0 42609090 374546432 83269 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 91442 83269 1024 1200 0 89922 0
Current children cumulated CPU time: 281.21 s
Current children cumulated vsize: 365768 KiB
Current children cumulated memory: 333076 KiB

[startup+342.3 s]
/proc/loadavg: 3.08 3.07 2.60 4/258 38303
/proc/meminfo: memFree=127000324/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=365768 memory=333076 CPUtime=340.96 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 56960 0 0 0 34083 13 0 0 20 0 1 0 42609090 374546432 83269 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 91442 83269 1024 1200 0 89922 0
Current children cumulated CPU time: 340.96 s
Current children cumulated vsize: 365768 KiB
Current children cumulated memory: 333076 KiB

[startup+402.3 s]
/proc/loadavg: 3.07 3.07 2.63 4/257 38305
/proc/meminfo: memFree=126372516/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=1170344 memory=956172 CPUtime=400.75 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 100950 0 0 0 40031 44 0 0 20 0 1 0 42609090 1198432256 239043 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 292586 239043 1280 1200 0 291066 0
Current children cumulated CPU time: 400.75 s
Current children cumulated vsize: 1170344 KiB
Current children cumulated memory: 956172 KiB

[startup+462.3 s]
/proc/loadavg: 3.12 3.08 2.67 4/256 38307
/proc/meminfo: memFree=126113352/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=1546808 memory=1160704 CPUtime=460.57 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 103407 0 0 0 45999 58 0 0 20 0 1 0 42609090 1583931392 290176 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 386702 290176 1280 1200 0 385182 0
Current children cumulated CPU time: 460.57 s

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

/proc/meminfo: memFree=111375804/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=24373720 memory=18224468 CPUtime=2972.68 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 2111022 0 0 0 296174 1094 0 0 20 0 1 0 42609090 24958689280 4556117 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 6093430 4556117 1280 1200 0 6091910 0
Current children cumulated CPU time: 2972.68 s
Current children cumulated vsize: 24373720 KiB
Current children cumulated memory: 18224468 KiB

[startup+3042.3 s]
/proc/loadavg: 1.20 1.88 2.49 2/244 38500
/proc/meminfo: memFree=111373168/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=24373720 memory=18226900 CPUtime=3032.54 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 2113964 0 0 0 302154 1100 0 0 20 0 1 0 42609090 24958689280 4556725 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 6093430 4556725 1280 1200 0 6091910 0
Current children cumulated CPU time: 3032.54 s
Current children cumulated vsize: 24373720 KiB
Current children cumulated memory: 18226900 KiB

[startup+3102.3 s]
/proc/loadavg: 1.12 1.73 2.40 2/244 38502
/proc/meminfo: memFree=111358668/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=24373720 memory=18227156 CPUtime=3092.4 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 2117583 0 0 0 308134 1106 0 0 20 0 1 0 42609090 24958689280 4556789 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 6093430 4556789 1280 1200 0 6091910 0
Current children cumulated CPU time: 3092.4 s
Current children cumulated vsize: 24373720 KiB
Current children cumulated memory: 18227156 KiB

[startup+3162.3 s]
/proc/loadavg: 1.12 1.61 2.31 2/245 38511
/proc/meminfo: memFree=111338448/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=24373720 memory=18227156 CPUtime=3152.26 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 2121254 0 0 0 314114 1112 0 0 20 0 1 0 42609090 24958689280 4556789 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 6093430 4556789 1280 1200 0 6091910 0
Current children cumulated CPU time: 3152.26 s
Current children cumulated vsize: 24373720 KiB
Current children cumulated memory: 18227156 KiB

[startup+3222.3 s]
/proc/loadavg: 1.25 1.57 2.25 2/245 38513
/proc/meminfo: memFree=111330428/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=24373720 memory=18236116 CPUtime=3212.12 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 2125223 0 0 0 320094 1118 0 0 20 0 1 0 42609090 24958689280 4559029 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 6093430 4559029 1280 1200 0 6091910 0
Current children cumulated CPU time: 3212.12 s
Current children cumulated vsize: 24373720 KiB
Current children cumulated memory: 18236116 KiB

[startup+3282.3 s]
/proc/loadavg: 1.13 1.48 2.18 2/246 38516
/proc/meminfo: memFree=111327956/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=24377700 memory=18236116 CPUtime=3271.98 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 2129383 0 0 0 326075 1123 0 0 20 0 1 0 42609090 24962764800 4559029 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 6094425 4559029 1280 1200 0 6092905 0
Current children cumulated CPU time: 3271.98 s
Current children cumulated vsize: 24377700 KiB
Current children cumulated memory: 18236116 KiB

[startup+3342.3 s]
/proc/loadavg: 1.08 1.40 2.10 2/246 38518
/proc/meminfo: memFree=111323136/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=24377700 memory=18236244 CPUtime=3331.84 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 2133456 0 0 0 332055 1129 0 0 20 0 1 0 42609090 24962764800 4559061 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 6094425 4559061 1280 1200 0 6092905 0
Current children cumulated CPU time: 3331.84 s
Current children cumulated vsize: 24377700 KiB
Current children cumulated memory: 18236244 KiB

[startup+3402.3 s]
/proc/loadavg: 1.08 1.34 2.04 2/246 38520
/proc/meminfo: memFree=111316220/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=24377700 memory=18236372 CPUtime=3391.71 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 2137387 0 0 0 338037 1134 0 0 20 0 1 0 42609090 24962764800 4559093 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 6094425 4559093 1280 1200 0 6092905 0
Current children cumulated CPU time: 3391.71 s
Current children cumulated vsize: 24377700 KiB
Current children cumulated memory: 18236372 KiB

[startup+3462.3 s]
/proc/loadavg: 1.19 1.33 1.99 2/245 38522
/proc/meminfo: memFree=111314480/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=24377700 memory=18236500 CPUtime=3451.58 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 2141541 0 0 0 344018 1140 0 0 20 0 1 0 42609090 24962764800 4559125 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 6094425 4559125 1280 1200 0 6092905 0
Current children cumulated CPU time: 3451.58 s
Current children cumulated vsize: 24377700 KiB
Current children cumulated memory: 18236500 KiB

[startup+3522.3 s]
/proc/loadavg: 1.13 1.28 1.93 2/245 38524
/proc/meminfo: memFree=111314856/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=24377700 memory=18236628 CPUtime=3511.43 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 2146381 0 0 0 349999 1144 0 0 20 0 1 0 42609090 24962764800 4559157 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 6094425 4559157 1280 1200 0 6092905 0
Current children cumulated CPU time: 3511.43 s
Current children cumulated vsize: 24377700 KiB
Current children cumulated memory: 18236628 KiB

[startup+3582.3 s]
/proc/loadavg: 1.10 1.24 1.87 2/244 38526
/proc/meminfo: memFree=111315644/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=24377700 memory=18236884 CPUtime=3571.3 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 2151537 0 0 0 355982 1148 0 0 20 0 1 0 42609090 24962764800 4559221 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 6094425 4559221 1280 1200 0 6092905 0
Current children cumulated CPU time: 3571.3 s
Current children cumulated vsize: 24377700 KiB
Current children cumulated memory: 18236884 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.1 s]
/proc/loadavg: 1.11 1.23 1.85 2/244 38527
/proc/meminfo: memFree=111315500/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=24377700 memory=18237012 CPUtime=3600.04 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 2154177 0 0 0 358853 1151 0 0 20 0 1 0 42609090 24962764800 4559253 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 6094425 4559253 1280 1200 0 6092905 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 24377700 KiB
Current children cumulated memory: 18237012 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.69 s, system=11.817 s

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

[startup+3611.2 s]
/proc/loadavg: 1.11 1.23 1.85 2/244 38527
/proc/meminfo: memFree=111315500/131250000 swapFree=33010684/33010684
[pid=38284] ppid=38281 vsize=10085676 memory=8105556 CPUtime=3600.14 cores=0,2
/proc/38284/stat : 38284 (Exact) R 38281 38284 37963 0 -1 4194304 2154558 0 0 0 358861 1153 0 0 20 0 1 0 42609090 10327732224 2026389 18446744073709551615 4198400 9112445 140734118797808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 44302336 140734118803771 140734118803949 140734118803949 140734118809551 0
/proc/38284/statm: 2521419 2026389 1280 1200 0 2519899 0
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 10085676 KiB
Current children cumulated memory: 8105556 KiB

[startup+3611.4 s]
/proc/loadavg: 1.11 1.23 1.85 2/244 38527
/proc/meminfo: memFree=123174352/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3611.5 s]
/proc/loadavg: 1.11 1.23 1.85 2/244 38527
/proc/meminfo: memFree=123174352/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10

Real time (s): 3611.56
CPU time (s): 3600.5
CPU user time (s): 3588.69
CPU system time (s): 11.817
CPU usage (%): 99.6939
Max. virtual memory (cumulated for all children) (KiB): 28852820
Max. memory (cumulated for all children) (KiB): 21417656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.68
system time used= 11.817
maximum resident set size= 21466808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2154716
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= 49
involuntary context switches= 4727


# summary of solver processes directly reported to runsolver:
#   pid: 38284
#   total CPU time (s): 3600.5
#   total CPU user time (s): 3588.69
#   total CPU system time (s): 11.817

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72044 second user time and 14.7312 second system time

The end