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 (59323 MiB free)
  memory of node 1: 64465 MiB (63850 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486372-1751327814/watcher-4486372-1751327814 -o /tmp/evaluation-result-4486372-1751327814/solver-4486372-1751327814 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751327814-48136 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4486372-1751327814.opb -t 3600 -s 671513649 

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=48186, runsolver pid=48177

[startup+0.10007 s]*
/proc/loadavg: 0.86 1.23 2.11 6/250 48195
/proc/meminfo: memFree=126123428/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=22704 memory=7772 CPUtime=0.09 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 1212 0 0 0 9 0 0 0 20 0 1 0 48460634 23248896 1943 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 5676 1943 1088 2752 0 2329 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22704 KiB
Current children cumulated memory: 7772 KiB

[startup+0.214049 s]*
/proc/loadavg: 0.86 1.23 2.11 6/250 48195
/proc/meminfo: memFree=126123352/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=23728 memory=8540 CPUtime=0.21 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 1669 0 0 0 20 1 0 0 20 0 1 0 48460634 24297472 2135 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 5932 2135 1088 2752 0 2585 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 23728 KiB
Current children cumulated memory: 8540 KiB

[startup+0.313643 s]*
/proc/loadavg: 0.86 1.23 2.11 6/250 48195
/proc/meminfo: memFree=126120580/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=23728 memory=9180 CPUtime=0.31 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 1844 0 0 0 30 1 0 0 20 0 1 0 48460634 24297472 2295 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 5932 2295 1088 2752 0 2585 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 23728 KiB
Current children cumulated memory: 9180 KiB

[startup+0.700365 s]
/proc/loadavg: 0.86 1.23 2.11 6/250 48195
/proc/meminfo: memFree=126094060/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=29872 memory=13408 CPUtime=0.67 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 2366 0 0 0 66 1 0 0 20 0 1 0 48460634 30588928 3352 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 7468 3352 1088 2752 0 4121 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 29872 KiB
Current children cumulated memory: 13408 KiB

[startup+1.50035 s]
/proc/loadavg: 1.12 1.27 2.12 6/250 48195
/proc/meminfo: memFree=126075852/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=76988 memory=56536 CPUtime=1.48 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 8183 0 0 0 144 4 0 0 20 0 1 0 48460634 78835712 14134 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 19247 14134 1152 2752 0 15900 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 76988 KiB
Current children cumulated memory: 56536 KiB

[startup+3.11335 s]
/proc/loadavg: 1.12 1.27 2.12 6/250 48195
/proc/meminfo: memFree=125784704/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=150492 memory=134360 CPUtime=3.08 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 26263 0 0 0 302 6 0 0 20 0 1 0 48460634 154103808 33590 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 37623 33590 2624 2752 0 34276 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 150492 KiB
Current children cumulated memory: 134360 KiB

[startup+6.30025 s]
/proc/loadavg: 1.43 1.33 2.14 6/251 48196
/proc/meminfo: memFree=125441444/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=477272 memory=419420 CPUtime=6.26 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 71741 0 0 0 611 15 0 0 20 0 1 0 48460634 488726528 104855 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 119318 104855 2816 2752 0 115971 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 477272 KiB
Current children cumulated memory: 419420 KiB

[startup+12.7002 s]
/proc/loadavg: 1.63 1.38 2.15 6/251 48196
/proc/meminfo: memFree=125393292/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=480164 memory=421468 CPUtime=12.64 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 72245 0 0 0 1249 15 0 0 20 0 1 0 48460634 491687936 105367 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 120041 105367 2816 2752 0 116694 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 480164 KiB
Current children cumulated memory: 421468 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 1.47 2.17 6/251 48196
/proc/meminfo: memFree=125385236/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=480164 memory=422108 CPUtime=25.39 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 72421 0 0 0 2524 15 0 0 20 0 1 0 48460634 491687936 105527 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 120041 105527 2816 2752 0 116694 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 480164 KiB
Current children cumulated memory: 422108 KiB

[startup+51.1126 s]
/proc/loadavg: 2.87 1.73 2.24 6/251 48197
/proc/meminfo: memFree=125352728/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=495728 memory=432348 CPUtime=50.92 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 74422 0 0 0 5076 16 0 0 20 0 1 0 48460634 507625472 108087 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 123932 108087 2848 2752 0 120585 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 495728 KiB
Current children cumulated memory: 432348 KiB

[startup+102.3 s]
/proc/loadavg: 3.58 2.09 2.34 6/251 48198
/proc/meminfo: memFree=125231300/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=524828 memory=448448 CPUtime=101.94 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 76423 0 0 0 10177 17 0 0 20 0 1 0 48460634 537423872 112112 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 131207 112112 2848 2752 0 127860 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 524828 KiB
Current children cumulated memory: 448448 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.46 2.45 6/251 48200
/proc/meminfo: memFree=125065128/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=552572 memory=458320 CPUtime=161.74 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 77367 0 0 0 16157 17 0 0 20 0 1 0 48460634 565833728 114580 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 138143 114580 2848 2752 0 134796 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 552572 KiB
Current children cumulated memory: 458320 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 2.77 2.56 6/252 48205
/proc/meminfo: memFree=125026136/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=552572 memory=458320 CPUtime=221.56 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 77377 0 0 0 22138 18 0 0 20 0 1 0 48460634 565833728 114580 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 138143 114580 2848 2752 0 134796 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 552572 KiB
Current children cumulated memory: 458320 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.02 2.66 6/253 48223
/proc/meminfo: memFree=124969480/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=602080 memory=507088 CPUtime=281.37 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 89620 0 0 0 28117 20 0 0 20 0 1 0 48460634 616529920 126772 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 150520 126772 2848 2752 0 147173 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 602080 KiB
Current children cumulated memory: 507088 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.23 2.75 6/252 48226
/proc/meminfo: memFree=124972188/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=602080 memory=507088 CPUtime=341.17 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 89635 0 0 0 34097 20 0 0 20 0 1 0 48460634 616529920 126772 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 150520 126772 2848 2752 0 147173 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 602080 KiB
Current children cumulated memory: 507088 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 3.40 2.85 6/252 48232
/proc/meminfo: memFree=124891064/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=675628 memory=579348 CPUtime=400.98 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 107232 0 0 0 40074 24 0 0 20 0 1 0 48460634 691843072 144837 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 168907 144837 2848 2752 0 165560 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 675628 KiB
Current children cumulated memory: 579348 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.53 2.93 6/252 48234
/proc/meminfo: memFree=124886732/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=675628 memory=580628 CPUtime=460.79 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 107262 0 0 0 46055 24 0 0 20 0 1 0 48460634 691843072 145157 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 168907 145157 3168 2752 0 165560 0

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

Current children cumulated memory: 500056 KiB

[startup+2862.3 s]
/proc/loadavg: 4.15 4.13 4.09 6/249 48348
/proc/meminfo: memFree=124956420/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=526484 memory=500056 CPUtime=2855.28 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 112199 0 0 0 285493 35 0 0 20 0 1 0 48460634 539119616 125014 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 131621 125014 3168 2752 0 128274 0
Current children cumulated CPU time: 2855.28 s
Current children cumulated vsize: 526484 KiB
Current children cumulated memory: 500056 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.09 6/249 48350
/proc/meminfo: memFree=124954956/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=526484 memory=500056 CPUtime=2915.16 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 112199 0 0 0 291481 35 0 0 20 0 1 0 48460634 539119616 125014 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 131621 125014 3168 2752 0 128274 0
Current children cumulated CPU time: 2915.16 s
Current children cumulated vsize: 526484 KiB
Current children cumulated memory: 500056 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/249 48352
/proc/meminfo: memFree=124954756/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=526484 memory=500056 CPUtime=2975.03 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 112307 0 0 0 297468 35 0 0 20 0 1 0 48460634 539119616 125014 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 131621 125014 3168 2752 0 128274 0
Current children cumulated CPU time: 2975.03 s
Current children cumulated vsize: 526484 KiB
Current children cumulated memory: 500056 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/249 48354
/proc/meminfo: memFree=124954564/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=526484 memory=500056 CPUtime=3034.9 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 112307 0 0 0 303455 35 0 0 20 0 1 0 48460634 539119616 125014 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 131621 125014 3168 2752 0 128274 0
Current children cumulated CPU time: 3034.9 s
Current children cumulated vsize: 526484 KiB
Current children cumulated memory: 500056 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.10 4.09 6/249 48356
/proc/meminfo: memFree=124954732/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=526484 memory=500056 CPUtime=3094.77 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 112307 0 0 0 309442 35 0 0 20 0 1 0 48460634 539119616 125014 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 131621 125014 3168 2752 0 128274 0
Current children cumulated CPU time: 3094.77 s
Current children cumulated vsize: 526484 KiB
Current children cumulated memory: 500056 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.09 4.09 6/249 48358
/proc/meminfo: memFree=124953520/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=526484 memory=500056 CPUtime=3154.65 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 112307 0 0 0 315429 36 0 0 20 0 1 0 48460634 539119616 125014 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 131621 125014 3168 2752 0 128274 0
Current children cumulated CPU time: 3154.65 s
Current children cumulated vsize: 526484 KiB
Current children cumulated memory: 500056 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.09 4.09 6/251 48364
/proc/meminfo: memFree=124953384/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=526484 memory=500056 CPUtime=3214.52 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 112327 0 0 0 321416 36 0 0 20 0 1 0 48460634 539119616 125014 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 131621 125014 3168 2752 0 128274 0
Current children cumulated CPU time: 3214.52 s
Current children cumulated vsize: 526484 KiB
Current children cumulated memory: 500056 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/251 48368
/proc/meminfo: memFree=124953032/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=526484 memory=500056 CPUtime=3274.39 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 112327 0 0 0 327403 36 0 0 20 0 1 0 48460634 539119616 125014 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 131621 125014 3168 2752 0 128274 0
Current children cumulated CPU time: 3274.39 s
Current children cumulated vsize: 526484 KiB
Current children cumulated memory: 500056 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.11 4.09 6/251 48370
/proc/meminfo: memFree=124952288/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=526484 memory=500056 CPUtime=3334.26 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 112327 0 0 0 333390 36 0 0 20 0 1 0 48460634 539119616 125014 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 131621 125014 3168 2752 0 128274 0
Current children cumulated CPU time: 3334.26 s
Current children cumulated vsize: 526484 KiB
Current children cumulated memory: 500056 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/252 48377
/proc/meminfo: memFree=124953256/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=526484 memory=500056 CPUtime=3394.14 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 112347 0 0 0 339377 37 0 0 20 0 1 0 48460634 539119616 125014 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 131621 125014 3168 2752 0 128274 0
Current children cumulated CPU time: 3394.14 s
Current children cumulated vsize: 526484 KiB
Current children cumulated memory: 500056 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/252 48379
/proc/meminfo: memFree=124952056/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=526484 memory=500056 CPUtime=3454.01 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 112435 0 0 0 345364 37 0 0 20 0 1 0 48460634 539119616 125014 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 131621 125014 3168 2752 0 128274 0
Current children cumulated CPU time: 3454.01 s
Current children cumulated vsize: 526484 KiB
Current children cumulated memory: 500056 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/250 48381
/proc/meminfo: memFree=124952428/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=526484 memory=500056 CPUtime=3513.88 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 112435 0 0 0 351351 37 0 0 20 0 1 0 48460634 539119616 125014 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 131621 125014 3168 2752 0 128274 0
Current children cumulated CPU time: 3513.88 s
Current children cumulated vsize: 526484 KiB
Current children cumulated memory: 500056 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.09 6/250 48383
/proc/meminfo: memFree=124951204/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=526484 memory=500056 CPUtime=3573.75 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 112455 0 0 0 357338 37 0 0 20 0 1 0 48460634 539119616 125014 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 131621 125014 3168 2752 0 128274 0
Current children cumulated CPU time: 3573.75 s
Current children cumulated vsize: 526484 KiB
Current children cumulated memory: 500056 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.6 s]
/proc/loadavg: 4.10 4.09 4.09 5/246 48392
/proc/meminfo: memFree=124960472/131382116 swapFree=33010160/33010684
[pid=48186] ppid=48177 vsize=526484 memory=500056 CPUtime=3600 cores=4,6
/proc/48186/stat : 48186 (NuPBO-DeepOptS+) R 48177 48186 48125 0 -1 4194304 112455 0 0 0 359963 37 0 0 20 0 1 0 48460634 539119616 125014 18446744073709551615 4198400 15468185 140735672519344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25137152 140735672523159 140735672523268 140735672523268 140735672528870 0
/proc/48186/statm: 131621 125014 3168 2752 0 128274 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 526484 KiB
Current children cumulated memory: 500056 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.64 s, system=0.379359 s

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

Child status: 10

Real time (s): 3608.62
CPU time (s): 3600.02
CPU user time (s): 3599.64
CPU system time (s): 0.379359
CPU usage (%): 99.7619
Max. virtual memory (cumulated for all children) (KiB): 699336
Max. memory (cumulated for all children) (KiB): 608900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.64
system time used= 0.379359
maximum resident set size= 608900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112550
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= 27
involuntary context switches= 2023


# summary of solver processes directly reported to runsolver:
#   pid: 48186
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3599.64
#   total CPU system time (s): 0.379359

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3193 second user time and 34.1674 second system time

The end