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: 63665 MiB (60348 MiB free)
  memory of node 1: 64507 MiB (53603 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521854-1751590345/watcher-4521854-1751590345 -o /tmp/evaluation-result-4521854-1751590345/solver-4521854-1751590345 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751586737-93809 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4521854-1751590345.opb -t 3600 -s 948792379 

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=94196, runsolver pid=94193
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.08 4.18 4.12 5/265 94197
/proc/meminfo: memFree=116631400/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=38532 memory=29192 CPUtime=0.09 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 5633 0 0 0 9 0 0 0 20 0 1 0 74712448 39456768 7298 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 9633 7298 2816 2752 0 6286 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38532 KiB
Current children cumulated memory: 29192 KiB

[startup+0.205517 s]*
/proc/loadavg: 4.08 4.18 4.12 5/265 94197
/proc/meminfo: memFree=116615272/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=41672 memory=32392 CPUtime=0.2 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 6443 0 0 0 20 0 0 0 20 0 1 0 74712448 42672128 8098 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 10418 8098 2816 2752 0 7071 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41672 KiB
Current children cumulated memory: 32392 KiB

[startup+0.305474 s]*
/proc/loadavg: 4.08 4.18 4.12 5/265 94197
/proc/meminfo: memFree=116595364/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=44588 memory=35336 CPUtime=0.3 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 7190 0 0 0 30 0 0 0 20 0 1 0 74712448 45658112 8834 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 11147 8834 2816 2752 0 7800 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44588 KiB
Current children cumulated memory: 35336 KiB

[startup+0.700177 s]
/proc/loadavg: 4.08 4.18 4.12 5/265 94197
/proc/meminfo: memFree=116562768/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=45768 memory=36616 CPUtime=0.69 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 7493 0 0 0 68 1 0 0 20 0 1 0 74712448 46866432 9154 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 11442 9154 2816 2752 0 8095 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45768 KiB
Current children cumulated memory: 36616 KiB

[startup+1.50017 s]
/proc/loadavg: 4.08 4.18 4.12 5/268 94207
/proc/meminfo: memFree=116503292/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=48172 memory=39148 CPUtime=1.49 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 8983 0 0 0 148 1 0 0 20 0 1 0 74712448 49328128 9787 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 12043 9787 2848 2752 0 8696 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 48172 KiB
Current children cumulated memory: 39148 KiB

[startup+3.10444 s]
/proc/loadavg: 4.08 4.18 4.12 6/268 94252
/proc/meminfo: memFree=116308964/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=52552 memory=43456 CPUtime=3.08 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 10566 0 0 0 307 1 0 0 20 0 1 0 74712448 53813248 10864 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 13138 10864 2848 2752 0 9791 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 52552 KiB
Current children cumulated memory: 43456 KiB

[startup+6.3001 s]
/proc/loadavg: 4.15 4.20 4.12 6/268 94252
/proc/meminfo: memFree=116064252/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=49604 memory=41944 CPUtime=6.27 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 11268 0 0 0 626 1 0 0 20 0 1 0 74712448 50794496 10486 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 12401 10486 2848 2752 0 9054 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 49604 KiB
Current children cumulated memory: 41944 KiB

[startup+12.7001 s]
/proc/loadavg: 4.38 4.24 4.14 6/268 94253
/proc/meminfo: memFree=115760372/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=49604 memory=41944 CPUtime=12.65 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 11268 0 0 0 1264 1 0 0 20 0 1 0 74712448 50794496 10486 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 12401 10486 2848 2752 0 9054 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 49604 KiB
Current children cumulated memory: 41944 KiB

[startup+25.5001 s]
/proc/loadavg: 4.44 4.26 4.15 6/267 94253
/proc/meminfo: memFree=115496604/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=49604 memory=41944 CPUtime=25.43 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 11269 0 0 0 2542 1 0 0 20 0 1 0 74712448 50794496 10486 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 12401 10486 2848 2752 0 9054 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 49604 KiB
Current children cumulated memory: 41944 KiB

[startup+51.1044 s]
/proc/loadavg: 4.29 4.24 4.14 6/267 94253
/proc/meminfo: memFree=111925104/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=49604 memory=42200 CPUtime=50.98 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 11272 0 0 0 5097 1 0 0 20 0 1 0 74712448 50794496 10550 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 12401 10550 2848 2752 0 9054 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 49604 KiB
Current children cumulated memory: 42200 KiB

[startup+102.3 s]
/proc/loadavg: 4.78 4.36 4.19 6/266 94255
/proc/meminfo: memFree=111855776/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=49604 memory=42200 CPUtime=102.07 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 11274 0 0 0 10206 1 0 0 20 0 1 0 74712448 50794496 10550 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 12401 10550 2848 2752 0 9054 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 49604 KiB
Current children cumulated memory: 42200 KiB

[startup+162.3 s]
/proc/loadavg: 4.40 4.34 4.19 6/267 94258
/proc/meminfo: memFree=111378876/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=49604 memory=42200 CPUtime=161.91 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 11276 0 0 0 16190 1 0 0 20 0 1 0 74712448 50794496 10550 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 12401 10550 2848 2752 0 9054 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 49604 KiB
Current children cumulated memory: 42200 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.29 4.18 6/267 94264
/proc/meminfo: memFree=111055368/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=49604 memory=42200 CPUtime=221.73 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 11277 0 0 0 22172 1 0 0 20 0 1 0 74712448 50794496 10550 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 12401 10550 2848 2752 0 9054 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 49604 KiB
Current children cumulated memory: 42200 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.27 4.18 6/267 94266
/proc/meminfo: memFree=94995828/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=49604 memory=42200 CPUtime=281.57 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 11278 0 0 0 28156 1 0 0 20 0 1 0 74712448 50794496 10550 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 12401 10550 2848 2752 0 9054 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 49604 KiB
Current children cumulated memory: 42200 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.23 4.17 6/265 94269
/proc/meminfo: memFree=94278168/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=49604 memory=42200 CPUtime=341.34 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 11279 0 0 0 34133 1 0 0 20 0 1 0 74712448 50794496 10550 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 12401 10550 2848 2752 0 9054 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 49604 KiB
Current children cumulated memory: 42200 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.22 4.17 6/265 94271
/proc/meminfo: memFree=94258712/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=49604 memory=42200 CPUtime=401.02 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 11279 0 0 0 40101 1 0 0 20 0 1 0 74712448 50794496 10550 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 12401 10550 2848 2752 0 9054 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 49604 KiB
Current children cumulated memory: 42200 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.19 4.17 6/264 94273
/proc/meminfo: memFree=93853064/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=49604 memory=42200 CPUtime=460.72 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 11279 0 0 0 46071 1 0 0 20 0 1 0 74712448 50794496 10550 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 12401 10550 2848 2752 0 9054 0

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

Current children cumulated memory: 42200 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/264 94413
/proc/meminfo: memFree=93595236/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=49604 memory=42200 CPUtime=2848.72 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 11289 0 0 0 284871 1 0 0 20 0 1 0 74712448 50794496 10550 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 12401 10550 2848 2752 0 9054 0
Current children cumulated CPU time: 2848.72 s
Current children cumulated vsize: 49604 KiB
Current children cumulated memory: 42200 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/265 94416
/proc/meminfo: memFree=93596204/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=49604 memory=42200 CPUtime=2908.42 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 11289 0 0 0 290841 1 0 0 20 0 1 0 74712448 50794496 10550 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 12401 10550 2848 2752 0 9054 0
Current children cumulated CPU time: 2908.42 s
Current children cumulated vsize: 49604 KiB
Current children cumulated memory: 42200 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/265 94419
/proc/meminfo: memFree=93593736/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=49604 memory=42200 CPUtime=2968.13 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 11289 0 0 0 296812 1 0 0 20 0 1 0 74712448 50794496 10550 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 12401 10550 2848 2752 0 9054 0
Current children cumulated CPU time: 2968.13 s
Current children cumulated vsize: 49604 KiB
Current children cumulated memory: 42200 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/264 94423
/proc/meminfo: memFree=93593652/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=49604 memory=42200 CPUtime=3027.83 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 11289 0 0 0 302782 1 0 0 20 0 1 0 74712448 50794496 10550 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 12401 10550 2848 2752 0 9054 0
Current children cumulated CPU time: 3027.83 s
Current children cumulated vsize: 49604 KiB
Current children cumulated memory: 42200 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/264 94425
/proc/meminfo: memFree=93597012/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=49604 memory=42200 CPUtime=3087.54 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 11289 0 0 0 308753 1 0 0 20 0 1 0 74712448 50794496 10550 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 12401 10550 2848 2752 0 9054 0
Current children cumulated CPU time: 3087.54 s
Current children cumulated vsize: 49604 KiB
Current children cumulated memory: 42200 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/264 94427
/proc/meminfo: memFree=93596772/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=49604 memory=42200 CPUtime=3147.24 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 11290 0 0 0 314723 1 0 0 20 0 1 0 74712448 50794496 10550 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 12401 10550 2848 2752 0 9054 0
Current children cumulated CPU time: 3147.24 s
Current children cumulated vsize: 49604 KiB
Current children cumulated memory: 42200 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/265 94434
/proc/meminfo: memFree=93596648/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=49604 memory=42200 CPUtime=3206.94 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 11290 0 0 0 320693 1 0 0 20 0 1 0 74712448 50794496 10550 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 12401 10550 2848 2752 0 9054 0
Current children cumulated CPU time: 3206.94 s
Current children cumulated vsize: 49604 KiB
Current children cumulated memory: 42200 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/265 94437
/proc/meminfo: memFree=93580052/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=49604 memory=42200 CPUtime=3266.64 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 11290 0 0 0 326663 1 0 0 20 0 1 0 74712448 50794496 10550 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 12401 10550 2848 2752 0 9054 0
Current children cumulated CPU time: 3266.64 s
Current children cumulated vsize: 49604 KiB
Current children cumulated memory: 42200 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/265 94439
/proc/meminfo: memFree=93571720/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=49604 memory=42200 CPUtime=3326.35 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 11290 0 0 0 332634 1 0 0 20 0 1 0 74712448 50794496 10550 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 12401 10550 2848 2752 0 9054 0
Current children cumulated CPU time: 3326.35 s
Current children cumulated vsize: 49604 KiB
Current children cumulated memory: 42200 KiB

[startup+3402.3 s]
/proc/loadavg: 4.04 4.08 4.08 6/265 94441
/proc/meminfo: memFree=93598604/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=49604 memory=42200 CPUtime=3386.05 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 11291 0 0 0 338604 1 0 0 20 0 1 0 74712448 50794496 10550 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 12401 10550 2848 2752 0 9054 0
Current children cumulated CPU time: 3386.05 s
Current children cumulated vsize: 49604 KiB
Current children cumulated memory: 42200 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/265 94443
/proc/meminfo: memFree=93621876/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=49604 memory=42200 CPUtime=3445.75 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 11291 0 0 0 344574 1 0 0 20 0 1 0 74712448 50794496 10550 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 12401 10550 2848 2752 0 9054 0
Current children cumulated CPU time: 3445.75 s
Current children cumulated vsize: 49604 KiB
Current children cumulated memory: 42200 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.10 4.09 6/264 94446
/proc/meminfo: memFree=93621284/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=49604 memory=42200 CPUtime=3505.45 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 11291 0 0 0 350544 1 0 0 20 0 1 0 74712448 50794496 10550 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 12401 10550 2848 2752 0 9054 0
Current children cumulated CPU time: 3505.45 s
Current children cumulated vsize: 49604 KiB
Current children cumulated memory: 42200 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.11 4.09 6/264 94449
/proc/meminfo: memFree=93623668/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=49604 memory=42200 CPUtime=3565.16 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 11291 0 0 0 356515 1 0 0 20 0 1 0 74712448 50794496 10550 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 12401 10550 2848 2752 0 9054 0
Current children cumulated CPU time: 3565.16 s
Current children cumulated vsize: 49604 KiB
Current children cumulated memory: 42200 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3617.4 s]
/proc/loadavg: 4.10 4.10 4.09 6/265 94544
/proc/meminfo: memFree=98779076/131249996 swapFree=33010684/33010684
[pid=94196] ppid=94193 vsize=49604 memory=42200 CPUtime=3600.08 cores=5,7
/proc/94196/stat : 94196 (NuPBO-DeepOptS+) R 94193 94196 93793 0 -1 4194304 11291 0 0 0 360007 1 0 0 20 0 1 0 74712448 50794496 10550 18446744073709551615 4198400 15468185 140734189943088 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44871680 140734189947287 140734189947396 140734189947396 140734189952998 0
/proc/94196/statm: 12401 10550 2848 2752 0 9054 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 49604 KiB
Current children cumulated memory: 42200 KiB

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

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

# cumulated CPU time of all completed processes:  user=3600.08 s, system=0.018938 s

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

Child status: 10

Real time (s): 3617.4
CPU time (s): 3600.09
CPU user time (s): 3600.08
CPU system time (s): 0.018938
CPU usage (%): 99.5216
Max. virtual memory (cumulated for all children) (KiB): 55184
Max. memory (cumulated for all children) (KiB): 46272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.08
system time used= 0.018938
maximum resident set size= 46272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11308
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= 3
involuntary context switches= 914


# summary of solver processes directly reported to runsolver:
#   pid: 94196
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3600.08
#   total CPU system time (s): 0.018938

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.06415 second user time and 15.1793 second system time

The end