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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499712-1751421264/watcher-4499712-1751421264 -o /tmp/evaluation-result-4499712-1751421264/solver-4499712-1751421264 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751421264-65893 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4499712-1751421264.opb -t 3600 -s 1923729422 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100056 s]*
/proc/loadavg: 0.45 1.00 1.10 5/265 65953
/proc/meminfo: memFree=129102356/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=23048 memory=8492 CPUtime=0.1 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 1641 0 0 0 10 0 0 0 20 0 1 0 57806673 23601152 2123 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 5762 2123 1088 2752 0 2415 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23048 KiB
Current children cumulated memory: 8492 KiB

[startup+0.20546 s]*
/proc/loadavg: 0.45 1.00 1.10 5/265 65953
/proc/meminfo: memFree=129083140/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=39028 memory=24596 CPUtime=0.2 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 5768 0 0 0 20 0 0 0 20 0 1 0 57806673 39964672 6149 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 9757 6149 1152 2752 0 6410 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39028 KiB
Current children cumulated memory: 24596 KiB

[startup+0.305433 s]*
/proc/loadavg: 0.45 1.00 1.10 5/265 65953
/proc/meminfo: memFree=129074948/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=39028 memory=24596 CPUtime=0.3 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 5768 0 0 0 30 0 0 0 20 0 1 0 57806673 39964672 6149 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 9757 6149 1152 2752 0 6410 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39028 KiB
Current children cumulated memory: 24596 KiB

[startup+0.700156 s]
/proc/loadavg: 0.45 1.00 1.10 5/265 65953
/proc/meminfo: memFree=128989136/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=39028 memory=24596 CPUtime=0.69 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 5768 0 0 0 69 0 0 0 20 0 1 0 57806673 39964672 6149 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 9757 6149 1152 2752 0 6410 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39028 KiB
Current children cumulated memory: 24596 KiB

[startup+1.50012 s]
/proc/loadavg: 0.45 1.00 1.10 5/265 65953
/proc/meminfo: memFree=128989136/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=39028 memory=24596 CPUtime=1.48 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 5768 0 0 0 148 0 0 0 20 0 1 0 57806673 39964672 6149 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 9757 6149 1152 2752 0 6410 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39028 KiB
Current children cumulated memory: 24596 KiB

[startup+3.10538 s]
/proc/loadavg: 0.45 1.00 1.10 5/265 65953
/proc/meminfo: memFree=128893164/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=135232 memory=122552 CPUtime=3.09 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 30083 0 0 0 305 4 0 0 20 0 1 0 57806673 138477568 30638 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 33808 30638 2816 2752 0 30461 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 135232 KiB
Current children cumulated memory: 122552 KiB

[startup+6.30013 s]
/proc/loadavg: 0.81 1.06 1.12 5/265 65953
/proc/meminfo: memFree=128285428/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=135388 memory=122936 CPUtime=6.27 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 30163 0 0 0 623 4 0 0 20 0 1 0 57806673 138637312 30734 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 33847 30734 2816 2752 0 30500 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 135388 KiB
Current children cumulated memory: 122936 KiB

[startup+12.7002 s]
/proc/loadavg: 1.07 1.11 1.13 5/265 65953
/proc/meminfo: memFree=128276420/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=160492 memory=142008 CPUtime=12.64 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 34893 0 0 0 1260 4 0 0 20 0 1 0 57806673 164343808 35502 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 40123 35502 2848 2752 0 36776 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 160492 KiB
Current children cumulated memory: 142008 KiB

[startup+25.5002 s]
/proc/loadavg: 1.72 1.25 1.18 5/265 65953
/proc/meminfo: memFree=128232788/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=192908 memory=167096 CPUtime=25.4 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 41172 0 0 0 2535 5 0 0 20 0 1 0 57806673 197537792 41774 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 48227 41774 2848 2752 0 44880 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 192908 KiB
Current children cumulated memory: 167096 KiB

[startup+51.1055 s]
/proc/loadavg: 2.58 1.49 1.26 5/265 65954
/proc/meminfo: memFree=128192848/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=247632 memory=202424 CPUtime=50.92 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 50003 0 0 0 5085 7 0 0 20 0 1 0 57806673 253575168 50606 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 61908 50606 2848 2752 0 58561 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 247632 KiB
Current children cumulated memory: 202424 KiB

[startup+102.3 s]
/proc/loadavg: 3.43 1.90 1.41 5/265 65955
/proc/meminfo: memFree=128205340/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=257380 memory=203448 CPUtime=101.94 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 50262 0 0 0 10187 7 0 0 20 0 1 0 57806673 263557120 50862 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 64345 50862 2848 2752 0 60998 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 257380 KiB
Current children cumulated memory: 203448 KiB

[startup+162.3 s]
/proc/loadavg: 3.84 2.30 1.58 5/265 65957
/proc/meminfo: memFree=128148608/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=280844 memory=227552 CPUtime=161.74 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 57850 0 0 0 16165 9 0 0 20 0 1 0 57806673 287584256 56888 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 70211 56888 2848 2752 0 66864 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 280844 KiB
Current children cumulated memory: 227552 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.64 1.75 5/265 65959
/proc/meminfo: memFree=128145656/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=280844 memory=228320 CPUtime=221.54 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 58036 0 0 0 22145 9 0 0 20 0 1 0 57806673 287584256 57080 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 70211 57080 2848 2752 0 66864 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 280844 KiB
Current children cumulated memory: 228320 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 2.91 1.90 5/265 65961
/proc/meminfo: memFree=128119544/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=280844 memory=231904 CPUtime=281.35 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 58095 0 0 0 28126 9 0 0 20 0 1 0 57806673 287584256 57976 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 70211 57976 2848 2752 0 66864 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 280844 KiB
Current children cumulated memory: 231904 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.12 2.04 5/264 65963
/proc/meminfo: memFree=128059468/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=302684 memory=254068 CPUtime=341.17 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 59368 0 0 0 34108 9 0 0 20 0 1 0 57806673 309948416 63517 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 75671 63517 2848 2752 0 72324 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 302684 KiB
Current children cumulated memory: 254068 KiB

[startup+402.3 s]
/proc/loadavg: 4.37 3.39 2.20 5/265 65981
/proc/meminfo: memFree=127998988/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=331400 memory=320756 CPUtime=401.01 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 66541 0 0 0 40090 11 0 0 20 0 1 0 57806673 339353600 80189 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 82850 80189 2848 2752 0 79503 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 331400 KiB
Current children cumulated memory: 320756 KiB

[startup+462.3 s]
/proc/loadavg: 4.38 3.59 2.34 5/264 65983
/proc/meminfo: memFree=127979448/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=345028 memory=325876 CPUtime=460.84 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 67946 0 0 0 46073 11 0 0 20 0 1 0 57806673 353308672 81469 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 86257 81469 2848 2752 0 82910 0
Current children cumulated CPU time: 460.84 s

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

Current children cumulated memory: 456624 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/264 66096
/proc/meminfo: memFree=127789836/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=468352 memory=456624 CPUtime=2913.72 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 95376 0 0 0 291355 17 0 0 20 0 1 0 57806673 479592448 114156 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 117088 114156 2848 2752 0 113741 0
Current children cumulated CPU time: 2913.72 s
Current children cumulated vsize: 468352 KiB
Current children cumulated memory: 456624 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.08 4.01 5/264 66098
/proc/meminfo: memFree=127789908/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=468352 memory=456624 CPUtime=2973.57 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 95376 0 0 0 297340 17 0 0 20 0 1 0 57806673 479592448 114156 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 117088 114156 2848 2752 0 113741 0
Current children cumulated CPU time: 2973.57 s
Current children cumulated vsize: 468352 KiB
Current children cumulated memory: 456624 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.08 4.01 5/264 66102
/proc/meminfo: memFree=127792572/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=468352 memory=456624 CPUtime=3033.43 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 95376 0 0 0 303326 17 0 0 20 0 1 0 57806673 479592448 114156 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 117088 114156 2848 2752 0 113741 0
Current children cumulated CPU time: 3033.43 s
Current children cumulated vsize: 468352 KiB
Current children cumulated memory: 456624 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/263 66104
/proc/meminfo: memFree=127793032/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=468352 memory=456624 CPUtime=3093.29 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 95376 0 0 0 309312 17 0 0 20 0 1 0 57806673 479592448 114156 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 117088 114156 2848 2752 0 113741 0
Current children cumulated CPU time: 3093.29 s
Current children cumulated vsize: 468352 KiB
Current children cumulated memory: 456624 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.01 5/263 66106
/proc/meminfo: memFree=127792584/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=468352 memory=456624 CPUtime=3153.14 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 95386 0 0 0 315297 17 0 0 20 0 1 0 57806673 479592448 114156 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 117088 114156 2848 2752 0 113741 0
Current children cumulated CPU time: 3153.14 s
Current children cumulated vsize: 468352 KiB
Current children cumulated memory: 456624 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.01 5/263 66108
/proc/meminfo: memFree=127792548/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=468352 memory=456624 CPUtime=3213 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 95386 0 0 0 321283 17 0 0 20 0 1 0 57806673 479592448 114156 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 117088 114156 2848 2752 0 113741 0
Current children cumulated CPU time: 3213 s
Current children cumulated vsize: 468352 KiB
Current children cumulated memory: 456624 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.09 4.01 5/263 66110
/proc/meminfo: memFree=127792312/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=468352 memory=456624 CPUtime=3272.86 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 95386 0 0 0 327269 17 0 0 20 0 1 0 57806673 479592448 114156 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 117088 114156 2848 2752 0 113741 0
Current children cumulated CPU time: 3272.86 s
Current children cumulated vsize: 468352 KiB
Current children cumulated memory: 456624 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/263 66112
/proc/meminfo: memFree=127792972/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=468352 memory=456624 CPUtime=3332.71 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 95386 0 0 0 333254 17 0 0 20 0 1 0 57806673 479592448 114156 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 117088 114156 2848 2752 0 113741 0
Current children cumulated CPU time: 3332.71 s
Current children cumulated vsize: 468352 KiB
Current children cumulated memory: 456624 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.01 5/263 66119
/proc/meminfo: memFree=127792392/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=468352 memory=456624 CPUtime=3392.57 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 95396 0 0 0 339240 17 0 0 20 0 1 0 57806673 479592448 114156 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 117088 114156 2848 2752 0 113741 0
Current children cumulated CPU time: 3392.57 s
Current children cumulated vsize: 468352 KiB
Current children cumulated memory: 456624 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/264 66122
/proc/meminfo: memFree=127791944/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=468352 memory=456624 CPUtime=3452.43 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 95396 0 0 0 345226 17 0 0 20 0 1 0 57806673 479592448 114156 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 117088 114156 2848 2752 0 113741 0
Current children cumulated CPU time: 3452.43 s
Current children cumulated vsize: 468352 KiB
Current children cumulated memory: 456624 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/263 66124
/proc/meminfo: memFree=127792144/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=468352 memory=456624 CPUtime=3512.29 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 95396 0 0 0 351212 17 0 0 20 0 1 0 57806673 479592448 114156 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 117088 114156 2848 2752 0 113741 0
Current children cumulated CPU time: 3512.29 s
Current children cumulated vsize: 468352 KiB
Current children cumulated memory: 456624 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.02 5/263 66126
/proc/meminfo: memFree=127792764/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=468352 memory=456624 CPUtime=3572.14 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 95406 0 0 0 357197 17 0 0 20 0 1 0 57806673 479592448 114156 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 117088 114156 2848 2752 0 113741 0
Current children cumulated CPU time: 3572.14 s
Current children cumulated vsize: 468352 KiB
Current children cumulated memory: 456624 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.09 4.09 4.01 4/252 66154
/proc/meminfo: memFree=128646208/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=468352 memory=456624 CPUtime=3600.07 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 95406 0 0 0 359990 17 0 0 20 0 1 0 57806673 479592448 114156 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 117088 114156 2848 2752 0 113741 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 468352 KiB
Current children cumulated memory: 456624 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.92 s, system=0.180222 s

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

[startup+3610.3 s]
/proc/loadavg: 4.09 4.09 4.01 4/252 66154
/proc/meminfo: memFree=128646208/131250000 swapFree=33010684/33010684
[pid=65938] ppid=65932 vsize=468352 memory=456624 CPUtime=3600.07 cores=0,2
/proc/65938/stat : 65938 (NuPBO-DeepOptS+) R 65932 65938 65387 0 -1 4194304 95406 0 0 0 359990 17 0 0 20 0 1 0 57806673 479592448 114156 18446744073709551615 4198400 15468185 140730081108000 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43798528 140730081114518 140730081114628 140730081114628 140730081120230 0
/proc/65938/statm: 117088 114156 2848 2752 0 113741 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 468352 KiB
Current children cumulated memory: 456624 KiB

Child status: 10

Real time (s): 3610.31
CPU time (s): 3600.1
CPU user time (s): 3599.92
CPU system time (s): 0.180222
CPU usage (%): 99.7171
Max. virtual memory (cumulated for all children) (KiB): 470164
Max. memory (cumulated for all children) (KiB): 456624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.92
system time used= 0.180222
maximum resident set size= 456624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95459
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= 4600


# summary of solver processes directly reported to runsolver:
#   pid: 65938
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3599.92
#   total CPU system time (s): 0.180222

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.2976 second user time and 14.1921 second system time

The end