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: 63794 MiB (62740 MiB free)
  memory of node 1: 64507 MiB (62977 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488605-1751325145/watcher-4488605-1751325145 -o /tmp/evaluation-result-4488605-1751325145/solver-4488605-1751325145 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751317195-41829 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1227600259 --ls=360 --inp-dombreaklim=0 HOME/instance-4488605-1751325145.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=42871, runsolver pid=42868

[startup+0.100074 s]*
/proc/loadavg: 4.12 4.21 4.17 5/249 42872
/proc/meminfo: memFree=128731168/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=32060 memory=8660 CPUtime=0.09 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 1351 0 0 0 9 0 0 0 20 0 1 0 48194186 32829440 2165 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+0.21459 s]*
/proc/loadavg: 4.12 4.21 4.17 5/249 42872
/proc/meminfo: memFree=128731168/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=32060 memory=8660 CPUtime=0.19 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 1351 0 0 0 19 0 0 0 20 0 1 0 48194186 32829440 2165 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+0.314365 s]*
/proc/loadavg: 4.12 4.21 4.17 5/249 42872
/proc/meminfo: memFree=128719008/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=32060 memory=8660 CPUtime=0.28 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 1351 0 0 0 28 0 0 0 20 0 1 0 48194186 32829440 2165 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+0.700278 s]
/proc/loadavg: 4.12 4.21 4.17 5/249 42872
/proc/meminfo: memFree=128698528/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=32060 memory=8660 CPUtime=0.65 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 1351 0 0 0 65 0 0 0 20 0 1 0 48194186 32829440 2165 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+1.50025 s]
/proc/loadavg: 4.12 4.21 4.17 5/249 42872
/proc/meminfo: memFree=128706844/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=32060 memory=8660 CPUtime=1.45 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 1351 0 0 0 145 0 0 0 20 0 1 0 48194186 32829440 2165 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+3.11297 s]
/proc/loadavg: 4.12 4.21 4.17 5/249 42872
/proc/meminfo: memFree=128683408/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=32060 memory=8660 CPUtime=3.06 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 1351 0 0 0 306 0 0 0 20 0 1 0 48194186 32829440 2165 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+6.3003 s]
/proc/loadavg: 4.19 4.22 4.17 5/249 42872
/proc/meminfo: memFree=128668200/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=32060 memory=8660 CPUtime=6.23 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 1351 0 0 0 623 0 0 0 20 0 1 0 48194186 32829440 2165 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+12.7003 s]
/proc/loadavg: 4.17 4.22 4.17 5/249 42872
/proc/meminfo: memFree=128642052/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=32060 memory=8660 CPUtime=12.62 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 1351 0 0 0 1262 0 0 0 20 0 1 0 48194186 32829440 2165 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+25.5003 s]
/proc/loadavg: 4.21 4.22 4.18 5/249 42872
/proc/meminfo: memFree=128597296/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=32060 memory=8660 CPUtime=25.38 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 1351 0 0 0 2538 0 0 0 20 0 1 0 48194186 32829440 2165 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+51.1132 s]
/proc/loadavg: 4.14 4.20 4.17 5/249 42873
/proc/meminfo: memFree=128470144/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=32060 memory=8660 CPUtime=50.94 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 1351 0 0 0 5093 1 0 0 20 0 1 0 48194186 32829440 2165 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.20 4.17 5/249 42875
/proc/meminfo: memFree=128378276/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=32060 memory=8660 CPUtime=101.99 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 1351 0 0 0 10198 1 0 0 20 0 1 0 48194186 32829440 2165 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.18 4.17 5/250 42878
/proc/meminfo: memFree=128354052/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=32060 memory=8660 CPUtime=161.84 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 1351 0 0 0 16182 2 0 0 20 0 1 0 48194186 32829440 2165 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/250 42880
/proc/meminfo: memFree=128318112/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=32060 memory=8660 CPUtime=221.69 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 1351 0 0 0 22167 2 0 0 20 0 1 0 48194186 32829440 2165 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.17 4.17 5/250 42882
/proc/meminfo: memFree=128236128/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=32060 memory=8660 CPUtime=281.54 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 1351 0 0 0 28151 3 0 0 20 0 1 0 48194186 32829440 2165 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.15 4.16 5/250 42886
/proc/meminfo: memFree=128082220/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=32060 memory=10196 CPUtime=341.39 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 1351 0 0 0 34136 3 0 0 20 0 1 0 48194186 32829440 2549 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 8015 2549 1024 1200 0 6495 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 10196 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/250 42888
/proc/meminfo: memFree=127912292/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=207232 memory=173748 CPUtime=401.22 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 33974 0 0 0 40087 35 0 0 20 0 1 0 48194186 212205568 43437 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 51808 43437 1248 1200 0 50288 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 207232 KiB
Current children cumulated memory: 173748 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/250 42894
/proc/meminfo: memFree=127866124/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=245500 memory=209744 CPUtime=461.03 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 41983 0 0 0 46043 60 0 0 20 0 1 0 48194186 251392000 52436 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 61375 52436 1248 1200 0 59855 0
Current children cumulated CPU time: 461.03 s

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

Current children cumulated memory: 412064 KiB

[startup+2922.3 s]
/proc/loadavg: 3.25 3.91 4.04 3/239 43086
/proc/meminfo: memFree=129089356/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=447816 memory=414112 CPUtime=2913.76 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 78430 0 0 0 290345 1031 0 0 20 0 1 0 48194186 458563584 103528 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 111954 103528 1248 1200 0 110434 0
Current children cumulated CPU time: 2913.76 s
Current children cumulated vsize: 447816 KiB
Current children cumulated memory: 414112 KiB

[startup+2982.3 s]
/proc/loadavg: 2.50 3.57 3.91 3/239 43088
/proc/meminfo: memFree=129089572/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=449928 memory=420064 CPUtime=2973.62 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 78910 0 0 0 296306 1056 0 0 20 0 1 0 48194186 460726272 105016 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 112482 105016 1248 1200 0 110962 0
Current children cumulated CPU time: 2973.62 s
Current children cumulated vsize: 449928 KiB
Current children cumulated memory: 420064 KiB

[startup+3042.3 s]
/proc/loadavg: 2.28 3.31 3.80 3/239 43090
/proc/meminfo: memFree=129082264/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=455336 memory=423776 CPUtime=3033.47 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 80019 0 0 0 302271 1076 0 0 20 0 1 0 48194186 466264064 105944 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 113834 105944 1248 1200 0 112314 0
Current children cumulated CPU time: 3033.47 s
Current children cumulated vsize: 455336 KiB
Current children cumulated memory: 423776 KiB

[startup+3102.3 s]
/proc/loadavg: 2.15 3.08 3.69 3/239 43092
/proc/meminfo: memFree=129083896/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=457992 memory=425952 CPUtime=3093.32 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 80549 0 0 0 308229 1103 0 0 20 0 1 0 48194186 468983808 106488 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 114498 106488 1248 1200 0 112978 0
Current children cumulated CPU time: 3093.32 s
Current children cumulated vsize: 457992 KiB
Current children cumulated memory: 425952 KiB

[startup+3162.3 s]
/proc/loadavg: 2.17 2.92 3.59 3/238 43094
/proc/meminfo: memFree=129056656/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=459944 memory=427488 CPUtime=3153.14 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 80952 0 0 0 314183 1131 0 0 20 0 1 0 48194186 470982656 106872 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 114986 106872 1248 1200 0 113466 0
Current children cumulated CPU time: 3153.14 s
Current children cumulated vsize: 459944 KiB
Current children cumulated memory: 427488 KiB

[startup+3222.3 s]
/proc/loadavg: 2.12 2.76 3.49 3/237 43095
/proc/meminfo: memFree=129059104/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=461672 memory=429024 CPUtime=3212.95 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 81504 0 0 0 320142 1153 0 0 20 0 1 0 48194186 472752128 107256 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 115418 107256 1248 1200 0 113898 0
Current children cumulated CPU time: 3212.95 s
Current children cumulated vsize: 461672 KiB
Current children cumulated memory: 429024 KiB

[startup+3282.3 s]
/proc/loadavg: 1.69 2.54 3.37 2/231 43128
/proc/meminfo: memFree=129507608/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=466472 memory=432352 CPUtime=3272.75 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 82349 0 0 0 326100 1175 0 0 20 0 1 0 48194186 477667328 108088 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 116618 108088 1248 1200 0 115098 0
Current children cumulated CPU time: 3272.75 s
Current children cumulated vsize: 466472 KiB
Current children cumulated memory: 432352 KiB

[startup+3342.3 s]
/proc/loadavg: 1.36 2.29 3.23 2/232 43133
/proc/meminfo: memFree=129508056/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=467624 memory=433120 CPUtime=3332.56 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 82530 0 0 0 332052 1204 0 0 20 0 1 0 48194186 478846976 108280 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 116906 108280 1248 1200 0 115386 0
Current children cumulated CPU time: 3332.56 s
Current children cumulated vsize: 467624 KiB
Current children cumulated memory: 433120 KiB

[startup+3402.3 s]
/proc/loadavg: 1.18 2.06 3.09 2/232 43135
/proc/meminfo: memFree=129504212/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=469160 memory=435552 CPUtime=3392.36 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 83037 0 0 0 338007 1229 0 0 20 0 1 0 48194186 480419840 108888 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 117290 108888 1248 1200 0 115770 0
Current children cumulated CPU time: 3392.36 s
Current children cumulated vsize: 469160 KiB
Current children cumulated memory: 435552 KiB

[startup+3462.3 s]
/proc/loadavg: 1.23 1.91 2.97 2/232 43141
/proc/meminfo: memFree=129475636/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=470696 memory=444000 CPUtime=3452.16 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 83356 0 0 0 343961 1255 0 0 20 0 1 0 48194186 481992704 111000 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 117674 111000 1248 1200 0 116154 0
Current children cumulated CPU time: 3452.16 s
Current children cumulated vsize: 470696 KiB
Current children cumulated memory: 444000 KiB

[startup+3522.3 s]
/proc/loadavg: 1.15 1.76 2.85 2/232 43144
/proc/meminfo: memFree=129475412/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=471432 memory=444768 CPUtime=3511.98 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 83540 0 0 0 349915 1283 0 0 20 0 1 0 48194186 482746368 111192 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 117858 111192 1248 1200 0 116338 0
Current children cumulated CPU time: 3511.98 s
Current children cumulated vsize: 471432 KiB
Current children cumulated memory: 444768 KiB

[startup+3582.3 s]
/proc/loadavg: 1.10 1.64 2.74 2/232 43146
/proc/meminfo: memFree=129475664/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=472200 memory=445536 CPUtime=3571.78 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 83923 0 0 0 355870 1308 0 0 20 0 1 0 48194186 483532800 111384 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 118050 111384 1248 1200 0 116530 0
Current children cumulated CPU time: 3571.78 s
Current children cumulated vsize: 472200 KiB
Current children cumulated memory: 445536 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 1.12 1.60 2.70 2/232 43147
/proc/meminfo: memFree=129467632/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=472424 memory=445792 CPUtime=3600.09 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 83994 0 0 0 358689 1320 0 0 20 0 1 0 48194186 483762176 111448 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 118106 111448 1248 1200 0 116586 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 472424 KiB
Current children cumulated memory: 445792 KiB

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

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

# cumulated CPU time of all completed processes:  user=3586.9 s, system=13.205 s

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

[startup+3610.7 s]
/proc/loadavg: 1.12 1.60 2.70 2/232 43147
/proc/meminfo: memFree=129467632/131382112 swapFree=33010684/33010684
[pid=42871] ppid=42868 vsize=472424 memory=445792 CPUtime=3600.09 cores=5,7
/proc/42871/stat : 42871 (Exact) R 42868 42871 41816 0 -1 4194304 83994 0 0 0 358689 1320 0 0 20 0 1 0 48194186 483762176 111448 18446744073709551615 4198400 9112445 140728187552144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16879616 140728187558182 140728187558381 140728187558381 140728187563983 0
/proc/42871/statm: 118106 111448 1248 1200 0 116586 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 472424 KiB
Current children cumulated memory: 445792 KiB

Child status: 10

Real time (s): 3610.71
CPU time (s): 3600.11
CPU user time (s): 3586.9
CPU system time (s): 13.205
CPU usage (%): 99.7065
Max. virtual memory (cumulated for all children) (KiB): 472424
Max. memory (cumulated for all children) (KiB): 445792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.9
system time used= 13.205
maximum resident set size= 445920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83996
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= 139
involuntary context switches= 2521


# summary of solver processes directly reported to runsolver:
#   pid: 42871
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3586.9
#   total CPU system time (s): 13.205

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2764 second user time and 35.5894 second system time

The end