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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499758-1751472187/watcher-4499758-1751472187 -o /tmp/evaluation-result-4499758-1751472187/solver-4499758-1751472187 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751468575-68835 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4499758-1751472187.opb -t 3600 -s 220877362 

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
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB

solver pid=69325, runsolver pid=69320

[startup+0.100057 s]*
/proc/loadavg: 4.08 4.09 4.05 3/257 69336
/proc/meminfo: memFree=123637528/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=24584 memory=9912 CPUtime=0.09 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 2040 0 0 0 9 0 0 0 20 0 1 0 62898158 25174016 2478 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 6146 2478 1088 2752 0 2799 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24584 KiB
Current children cumulated memory: 9912 KiB

[startup+0.205213 s]*
/proc/loadavg: 4.08 4.09 4.05 5/257 69344
/proc/meminfo: memFree=123609180/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=26632 memory=12064 CPUtime=0.2 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 2566 0 0 0 20 0 0 0 20 0 1 0 62898158 27271168 3016 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 6658 3016 1088 2752 0 3311 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 26632 KiB
Current children cumulated memory: 12064 KiB

[startup+0.305389 s]*
/proc/loadavg: 4.08 4.09 4.05 5/262 69358
/proc/meminfo: memFree=123605412/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=36208 memory=19092 CPUtime=0.29 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 3310 0 0 0 29 0 0 0 20 0 1 0 62898158 37076992 4773 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 9052 4773 1088 2752 0 5705 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 36208 KiB
Current children cumulated memory: 19092 KiB

[startup+0.700172 s]
/proc/loadavg: 4.08 4.09 4.05 5/266 69362
/proc/meminfo: memFree=123582084/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=61552 memory=45408 CPUtime=0.69 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 10292 0 0 0 67 2 0 0 20 0 1 0 62898158 63029248 11352 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 15388 11352 1152 2752 0 12041 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 61552 KiB
Current children cumulated memory: 45408 KiB

[startup+1.50013 s]
/proc/loadavg: 4.08 4.09 4.05 5/266 69362
/proc/meminfo: memFree=123538044/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=61552 memory=45408 CPUtime=1.49 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 10292 0 0 0 147 2 0 0 20 0 1 0 62898158 63029248 11352 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 15388 11352 1152 2752 0 12041 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 61552 KiB
Current children cumulated memory: 45408 KiB

[startup+3.10543 s]
/proc/loadavg: 4.08 4.09 4.05 5/266 69362
/proc/meminfo: memFree=123538092/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=61552 memory=45408 CPUtime=3.09 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 10294 0 0 0 307 2 0 0 20 0 1 0 62898158 63029248 11352 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 15388 11352 1152 2752 0 12041 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 61552 KiB
Current children cumulated memory: 45408 KiB

[startup+6.30014 s]
/proc/loadavg: 4.07 4.08 4.05 5/266 69362
/proc/meminfo: memFree=123169388/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=271520 memory=253824 CPUtime=6.27 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 61703 0 0 0 617 10 0 0 20 0 1 0 62898158 278036480 63456 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 67880 63456 2816 2752 0 64533 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 271520 KiB
Current children cumulated memory: 253824 KiB

[startup+12.7001 s]
/proc/loadavg: 4.07 4.08 4.05 5/266 69362
/proc/meminfo: memFree=123144448/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=272448 memory=254464 CPUtime=12.65 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 61862 0 0 0 1255 10 0 0 20 0 1 0 62898158 278986752 63616 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 68112 63616 2816 2752 0 64765 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 272448 KiB
Current children cumulated memory: 254464 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 4.05 5/266 69362
/proc/meminfo: memFree=123122900/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=273624 memory=255744 CPUtime=25.41 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 62166 0 0 0 2531 10 0 0 20 0 1 0 62898158 280190976 63936 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 68406 63936 2816 2752 0 65059 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 273624 KiB
Current children cumulated memory: 255744 KiB

[startup+51.1056 s]
/proc/loadavg: 4.08 4.09 4.05 5/266 69362
/proc/meminfo: memFree=123089776/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=273624 memory=255744 CPUtime=50.93 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 62170 0 0 0 5082 11 0 0 20 0 1 0 62898158 280190976 63936 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 68406 63936 2816 2752 0 65059 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 273624 KiB
Current children cumulated memory: 255744 KiB

[startup+102.3 s]
/proc/loadavg: 4.42 4.17 4.08 5/266 69364
/proc/meminfo: memFree=123043592/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=273624 memory=255744 CPUtime=101.95 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 62172 0 0 0 10184 11 0 0 20 0 1 0 62898158 280190976 63936 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 68406 63936 2816 2752 0 65059 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 273624 KiB
Current children cumulated memory: 255744 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.15 4.08 5/266 69367
/proc/meminfo: memFree=123025940/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=273624 memory=255744 CPUtime=161.72 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 62176 0 0 0 16161 11 0 0 20 0 1 0 62898158 280190976 63936 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 68406 63936 2816 2752 0 65059 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 273624 KiB
Current children cumulated memory: 255744 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.08 5/265 69370
/proc/meminfo: memFree=123017912/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=273624 memory=259200 CPUtime=221.5 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 62183 0 0 0 22139 11 0 0 20 0 1 0 62898158 280190976 64800 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 68406 64800 2816 2752 0 65059 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 273624 KiB
Current children cumulated memory: 259200 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/265 69372
/proc/meminfo: memFree=123025208/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=273624 memory=260864 CPUtime=281.27 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 62190 0 0 0 28116 11 0 0 20 0 1 0 62898158 280190976 65216 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 68406 65216 2816 2752 0 65059 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 273624 KiB
Current children cumulated memory: 260864 KiB

[startup+342.3 s]
/proc/loadavg: 4.38 4.21 4.11 5/264 69374
/proc/meminfo: memFree=122989472/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=300440 memory=286760 CPUtime=341.07 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 65878 0 0 0 34095 12 0 0 20 0 1 0 62898158 307650560 71690 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 75110 71690 2848 2752 0 71763 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 300440 KiB
Current children cumulated memory: 286760 KiB

[startup+402.3 s]
/proc/loadavg: 4.26 4.20 4.11 5/264 69376
/proc/meminfo: memFree=122959228/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=313692 memory=294312 CPUtime=400.87 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 67810 0 0 0 40075 12 0 0 20 0 1 0 62898158 321220608 73578 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 78423 73578 2848 2752 0 75076 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 313692 KiB
Current children cumulated memory: 294312 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.18 4.11 5/264 69382
/proc/meminfo: memFree=122950992/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=328876 memory=303144 CPUtime=460.68 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 70105 0 0 0 46055 13 0 0 20 0 1 0 62898158 336769024 75786 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 82219 75786 2848 2752 0 78872 0
Current children cumulated CPU time: 460.68 s

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

Current children cumulated memory: 366680 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 69552
/proc/meminfo: memFree=123048048/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=413624 memory=366680 CPUtime=2914.14 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 82203 0 0 0 291393 21 0 0 20 0 1 0 62898158 423550976 91670 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 103406 91670 3168 2752 0 100059 0
Current children cumulated CPU time: 2914.14 s
Current children cumulated vsize: 413624 KiB
Current children cumulated memory: 366680 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/266 69559
/proc/meminfo: memFree=123048184/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=413624 memory=366680 CPUtime=2974.01 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 82203 0 0 0 297380 21 0 0 20 0 1 0 62898158 423550976 91670 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 103406 91670 3168 2752 0 100059 0
Current children cumulated CPU time: 2974.01 s
Current children cumulated vsize: 413624 KiB
Current children cumulated memory: 366680 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 69561
/proc/meminfo: memFree=123047992/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=413624 memory=366680 CPUtime=3033.88 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 82203 0 0 0 303367 21 0 0 20 0 1 0 62898158 423550976 91670 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 103406 91670 3168 2752 0 100059 0
Current children cumulated CPU time: 3033.88 s
Current children cumulated vsize: 413624 KiB
Current children cumulated memory: 366680 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 69563
/proc/meminfo: memFree=123064072/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=413624 memory=366680 CPUtime=3093.75 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 82221 0 0 0 309354 21 0 0 20 0 1 0 62898158 423550976 91670 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 103406 91670 3168 2752 0 100059 0
Current children cumulated CPU time: 3093.75 s
Current children cumulated vsize: 413624 KiB
Current children cumulated memory: 366680 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 69565
/proc/meminfo: memFree=123063724/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=413624 memory=366680 CPUtime=3153.62 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 82221 0 0 0 315341 21 0 0 20 0 1 0 62898158 423550976 91670 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 103406 91670 3168 2752 0 100059 0
Current children cumulated CPU time: 3153.62 s
Current children cumulated vsize: 413624 KiB
Current children cumulated memory: 366680 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 69568
/proc/meminfo: memFree=123063860/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=413624 memory=366680 CPUtime=3213.49 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 82221 0 0 0 321328 21 0 0 20 0 1 0 62898158 423550976 91670 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 103406 91670 3168 2752 0 100059 0
Current children cumulated CPU time: 3213.49 s
Current children cumulated vsize: 413624 KiB
Current children cumulated memory: 366680 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 69570
/proc/meminfo: memFree=123064352/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=413624 memory=366680 CPUtime=3273.36 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 82221 0 0 0 327315 21 0 0 20 0 1 0 62898158 423550976 91670 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 103406 91670 3168 2752 0 100059 0
Current children cumulated CPU time: 3273.36 s
Current children cumulated vsize: 413624 KiB
Current children cumulated memory: 366680 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.11 4.10 5/263 69572
/proc/meminfo: memFree=123068556/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=413624 memory=366680 CPUtime=3333.23 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 82239 0 0 0 333302 21 0 0 20 0 1 0 62898158 423550976 91670 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 103406 91670 3168 2752 0 100059 0
Current children cumulated CPU time: 3333.23 s
Current children cumulated vsize: 413624 KiB
Current children cumulated memory: 366680 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.14 4.11 5/263 69574
/proc/meminfo: memFree=123065628/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=413624 memory=366680 CPUtime=3393.1 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 82239 0 0 0 339289 21 0 0 20 0 1 0 62898158 423550976 91670 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 103406 91670 3168 2752 0 100059 0
Current children cumulated CPU time: 3393.1 s
Current children cumulated vsize: 413624 KiB
Current children cumulated memory: 366680 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.15 4.11 5/263 69576
/proc/meminfo: memFree=123065492/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=413624 memory=366680 CPUtime=3452.97 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 82239 0 0 0 345276 21 0 0 20 0 1 0 62898158 423550976 91670 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 103406 91670 3168 2752 0 100059 0
Current children cumulated CPU time: 3452.97 s
Current children cumulated vsize: 413624 KiB
Current children cumulated memory: 366680 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/265 69594
/proc/meminfo: memFree=123067968/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=413624 memory=366680 CPUtime=3512.84 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 82257 0 0 0 351263 21 0 0 20 0 1 0 62898158 423550976 91670 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 103406 91670 3168 2752 0 100059 0
Current children cumulated CPU time: 3512.84 s
Current children cumulated vsize: 413624 KiB
Current children cumulated memory: 366680 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/265 69600
/proc/meminfo: memFree=123068144/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=413624 memory=366680 CPUtime=3572.71 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 82257 0 0 0 357250 21 0 0 20 0 1 0 62898158 423550976 91670 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 103406 91670 3168 2752 0 100059 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 413624 KiB
Current children cumulated memory: 366680 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.12 4.13 4.10 5/265 69601
/proc/meminfo: memFree=123067984/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=413624 memory=366680 CPUtime=3600.05 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 82257 0 0 0 359984 21 0 0 20 0 1 0 62898158 423550976 91670 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 103406 91670 3168 2752 0 100059 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 413624 KiB
Current children cumulated memory: 366680 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.85 s, system=0.217632 s

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

[startup+3609.7 s]
/proc/loadavg: 4.12 4.13 4.10 5/265 69601
/proc/meminfo: memFree=123067984/131250000 swapFree=33009904/33010684
[pid=69325] ppid=69320 vsize=413624 memory=366680 CPUtime=3600.05 cores=0,2
/proc/69325/stat : 69325 (NuPBO-DeepOptS+) R 69320 69325 68825 0 -1 4194304 82257 0 0 0 359984 21 0 0 20 0 1 0 62898158 423550976 91670 18446744073709551615 4198400 15468185 140730555670448 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 30588928 140730555677079 140730555677188 140730555677188 140730555682790 0
/proc/69325/statm: 103406 91670 3168 2752 0 100059 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 413624 KiB
Current children cumulated memory: 366680 KiB

Child status: 10

Real time (s): 3609.71
CPU time (s): 3600.07
CPU user time (s): 3599.85
CPU system time (s): 0.217632
CPU usage (%): 99.7328
Max. virtual memory (cumulated for all children) (KiB): 431612
Max. memory (cumulated for all children) (KiB): 366680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.85
system time used= 0.217632
maximum resident set size= 366680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82319
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= 19
involuntary context switches= 7848


# summary of solver processes directly reported to runsolver:
#   pid: 69325
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3599.85
#   total CPU system time (s): 0.217632

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62297 second user time and 14.6241 second system time

The end