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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499757-1751421476/watcher-4499757-1751421476 -o /tmp/evaluation-result-4499757-1751421476/solver-4499757-1751421476 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751421476-59034 --watchdog 3760 ./NuPBO-DeepOpt+ -f HOME/instance-4499757-1751421476.opb -t 3600 -s 802749010 --no-s 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=59086, runsolver pid=59077
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 0.46 1.55 1.86 6/269 59091
/proc/meminfo: memFree=126659292/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=28684 memory=10040 CPUtime=0.1 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 2064 0 0 0 10 0 0 0 20 0 1 0 57826287 29372416 2510 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 7171 2510 1056 2752 0 3824 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28684 KiB
Current children cumulated memory: 10040 KiB

[startup+0.205489 s]*
/proc/loadavg: 0.46 1.55 1.86 6/269 59091
/proc/meminfo: memFree=126648644/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=34828 memory=17248 CPUtime=0.2 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 2845 0 0 0 20 0 0 0 20 0 1 0 57826287 35663872 4312 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 8707 4312 1056 2752 0 5360 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34828 KiB
Current children cumulated memory: 17248 KiB

[startup+0.305437 s]*
/proc/loadavg: 0.46 1.55 1.86 6/269 59091
/proc/meminfo: memFree=126641020/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=38692 memory=23096 CPUtime=0.3 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 4320 0 0 0 30 0 0 0 20 0 1 0 57826287 39620608 5774 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 9673 5774 1056 2752 0 6326 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38692 KiB
Current children cumulated memory: 23096 KiB

[startup+0.700162 s]
/proc/loadavg: 0.46 1.55 1.86 6/269 59091
/proc/meminfo: memFree=126601288/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=61552 memory=46360 CPUtime=0.68 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 10512 0 0 0 67 1 0 0 20 0 1 0 57826287 63029248 11590 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 15388 11590 1152 2752 0 12041 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 61552 KiB
Current children cumulated memory: 46360 KiB

[startup+1.50012 s]
/proc/loadavg: 0.46 1.55 1.86 6/269 59091
/proc/meminfo: memFree=126593876/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=61552 memory=46360 CPUtime=1.48 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 10512 0 0 0 147 1 0 0 20 0 1 0 57826287 63029248 11590 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 15388 11590 1152 2752 0 12041 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 61552 KiB
Current children cumulated memory: 46360 KiB

[startup+3.10541 s]
/proc/loadavg: 0.74 1.59 1.87 6/269 59091
/proc/meminfo: memFree=126464796/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=61552 memory=46360 CPUtime=3.08 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 10514 0 0 0 307 1 0 0 20 0 1 0 57826287 63029248 11590 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 15388 11590 1152 2752 0 12041 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 61552 KiB
Current children cumulated memory: 46360 KiB

[startup+6.30016 s]
/proc/loadavg: 0.74 1.59 1.87 6/269 59091
/proc/meminfo: memFree=126425736/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=81456 memory=65468 CPUtime=6.27 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 16553 0 0 0 625 2 0 0 20 0 1 0 57826287 83410944 16367 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 20364 16367 1152 2752 0 17017 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 65468 KiB

[startup+12.7001 s]
/proc/loadavg: 1.00 1.63 1.88 6/269 59091
/proc/meminfo: memFree=126425936/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=81456 memory=65468 CPUtime=12.66 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 16554 0 0 0 1264 2 0 0 20 0 1 0 57826287 83410944 16367 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 20364 16367 1152 2752 0 17017 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 65468 KiB

[startup+25.5001 s]
/proc/loadavg: 1.74 1.77 1.92 6/268 59092
/proc/meminfo: memFree=126425952/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=81456 memory=65468 CPUtime=25.42 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 16555 0 0 0 2540 2 0 0 20 0 1 0 57826287 83410944 16367 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 20364 16367 1152 2752 0 17017 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 65468 KiB

[startup+51.1054 s]
/proc/loadavg: 2.59 1.96 1.98 6/268 59092
/proc/meminfo: memFree=126425660/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=81456 memory=65468 CPUtime=50.97 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 16556 0 0 0 5095 2 0 0 20 0 1 0 57826287 83410944 16367 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 20364 16367 1152 2752 0 17017 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 65468 KiB

[startup+102.3 s]
/proc/loadavg: 3.44 2.29 2.10 6/268 59094
/proc/meminfo: memFree=126389476/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=81456 memory=65468 CPUtime=102.05 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 16558 0 0 0 10203 2 0 0 20 0 1 0 57826287 83410944 16367 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 20364 16367 1152 2752 0 17017 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 65468 KiB

[startup+162.3 s]
/proc/loadavg: 3.86 2.62 2.22 6/268 59096
/proc/meminfo: memFree=126424316/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=81456 memory=65468 CPUtime=161.9 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 16559 0 0 0 16188 2 0 0 20 0 1 0 57826287 83410944 16367 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 20364 16367 1152 2752 0 17017 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 65468 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.89 2.34 6/267 59109
/proc/meminfo: memFree=126420000/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=81456 memory=65468 CPUtime=221.73 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 16560 0 0 0 22171 2 0 0 20 0 1 0 57826287 83410944 16367 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 20364 16367 1152 2752 0 17017 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 65468 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 3.13 2.46 6/263 59111
/proc/meminfo: memFree=126388144/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=81456 memory=65468 CPUtime=281.57 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 16560 0 0 0 28155 2 0 0 20 0 1 0 57826287 83410944 16367 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 20364 16367 1152 2752 0 17017 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 65468 KiB

[startup+342.3 s]
/proc/loadavg: 4.04 3.29 2.56 6/263 59113
/proc/meminfo: memFree=126387484/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=81456 memory=66108 CPUtime=341.43 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 16578 0 0 0 34141 2 0 0 20 0 1 0 57826287 83410944 16527 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 20364 16527 1152 2752 0 17017 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 66108 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 3.44 2.66 6/263 59115
/proc/meminfo: memFree=126392140/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=81456 memory=66108 CPUtime=401.31 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 16597 0 0 0 40129 2 0 0 20 0 1 0 57826287 83410944 16527 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 20364 16527 1152 2752 0 17017 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 66108 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.57 2.75 6/263 59117
/proc/meminfo: memFree=126396456/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=81456 memory=66108 CPUtime=461.18 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 16597 0 0 0 46116 2 0 0 20 0 1 0 57826287 83410944 16527 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 20364 16527 1152 2752 0 17017 0

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

Current children cumulated memory: 66108 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.09 4.01 6/264 59233
/proc/meminfo: memFree=126425208/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=81456 memory=66108 CPUtime=2916.08 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 16749 0 0 0 291606 2 0 0 20 0 1 0 57826287 83410944 16527 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 20364 16527 1152 2752 0 17017 0
Current children cumulated CPU time: 2916.08 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 66108 KiB

[startup+2982.3 s]
/proc/loadavg: 4.04 4.07 4.00 6/264 59239
/proc/meminfo: memFree=126427220/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=81456 memory=66108 CPUtime=2975.95 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 16749 0 0 0 297593 2 0 0 20 0 1 0 57826287 83410944 16527 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 20364 16527 1152 2752 0 17017 0
Current children cumulated CPU time: 2975.95 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 66108 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.09 4.01 6/264 59241
/proc/meminfo: memFree=126426772/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=81456 memory=66108 CPUtime=3035.83 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 16768 0 0 0 303581 2 0 0 20 0 1 0 57826287 83410944 16527 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 20364 16527 1152 2752 0 17017 0
Current children cumulated CPU time: 3035.83 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 66108 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.01 6/264 59243
/proc/meminfo: memFree=126426444/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=81456 memory=66108 CPUtime=3095.7 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 16768 0 0 0 309568 2 0 0 20 0 1 0 57826287 83410944 16527 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 20364 16527 1152 2752 0 17017 0
Current children cumulated CPU time: 3095.7 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 66108 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.01 6/264 59245
/proc/meminfo: memFree=126425900/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=81456 memory=66108 CPUtime=3155.58 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 16768 0 0 0 315556 2 0 0 20 0 1 0 57826287 83410944 16527 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 20364 16527 1152 2752 0 17017 0
Current children cumulated CPU time: 3155.58 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 66108 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.01 6/263 59248
/proc/meminfo: memFree=126425460/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=81456 memory=66108 CPUtime=3215.46 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 16768 0 0 0 321544 2 0 0 20 0 1 0 57826287 83410944 16527 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 20364 16527 1152 2752 0 17017 0
Current children cumulated CPU time: 3215.46 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 66108 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.01 6/263 59250
/proc/meminfo: memFree=126425376/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=81456 memory=66108 CPUtime=3275.33 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 16768 0 0 0 327531 2 0 0 20 0 1 0 57826287 83410944 16527 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 20364 16527 1152 2752 0 17017 0
Current children cumulated CPU time: 3275.33 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 66108 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.09 4.02 6/263 59252
/proc/meminfo: memFree=126425676/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=81456 memory=66108 CPUtime=3335.21 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 16787 0 0 0 333519 2 0 0 20 0 1 0 57826287 83410944 16527 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 20364 16527 1152 2752 0 17017 0
Current children cumulated CPU time: 3335.21 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 66108 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.08 4.01 6/263 59254
/proc/meminfo: memFree=126424796/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=81456 memory=66108 CPUtime=3395.08 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 16787 0 0 0 339506 2 0 0 20 0 1 0 57826287 83410944 16527 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 20364 16527 1152 2752 0 17017 0
Current children cumulated CPU time: 3395.08 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 66108 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.09 4.02 6/263 59256
/proc/meminfo: memFree=126425092/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=81456 memory=66108 CPUtime=3454.96 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 16787 0 0 0 345494 2 0 0 20 0 1 0 57826287 83410944 16527 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 20364 16527 1152 2752 0 17017 0
Current children cumulated CPU time: 3454.96 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 66108 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.02 6/263 59260
/proc/meminfo: memFree=126424840/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=81456 memory=66108 CPUtime=3514.83 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 16787 0 0 0 351481 2 0 0 20 0 1 0 57826287 83410944 16527 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 20364 16527 1152 2752 0 17017 0
Current children cumulated CPU time: 3514.83 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 66108 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.02 6/263 59266
/proc/meminfo: memFree=126426396/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=81456 memory=66108 CPUtime=3574.71 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 16787 0 0 0 357469 2 0 0 20 0 1 0 57826287 83410944 16527 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 20364 16527 1152 2752 0 17017 0
Current children cumulated CPU time: 3574.71 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 66108 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.7 s]
/proc/loadavg: 4.06 4.08 4.01 6/263 59268
/proc/meminfo: memFree=126426388/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=81456 memory=66108 CPUtime=3600.06 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 16787 0 0 0 360004 2 0 0 20 0 1 0 57826287 83410944 16527 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 20364 16527 1152 2752 0 17017 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 66108 KiB

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

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

# cumulated CPU time of all completed processes:  user=3600.05 s, system=0.027916 s

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

[startup+3607.7 s]
/proc/loadavg: 4.06 4.08 4.01 6/263 59268
/proc/meminfo: memFree=126426388/131250000 swapFree=33010684/33010684
[pid=59086] ppid=59077 vsize=81456 memory=66108 CPUtime=3600.06 cores=1,3
/proc/59086/stat : 59086 (NuPBO-DeepOpt+) R 59077 59086 58263 0 -1 4194304 16787 0 0 0 360004 2 0 0 20 0 1 0 57826287 83410944 16527 18446744073709551615 4198400 15468185 140728601056960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41484288 140728601065874 140728601065989 140728601065989 140728601071591 0
/proc/59086/statm: 20364 16527 1152 2752 0 17017 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 66108 KiB

Child status: 10

Real time (s): 3607.71
CPU time (s): 3600.08
CPU user time (s): 3600.05
CPU system time (s): 0.027916
CPU usage (%): 99.7885
Max. virtual memory (cumulated for all children) (KiB): 81456
Max. memory (cumulated for all children) (KiB): 66108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.05
system time used= 0.027916
maximum resident set size= 66236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16799
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= 18
involuntary context switches= 916


# summary of solver processes directly reported to runsolver:
#   pid: 59086
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3600.05
#   total CPU system time (s): 0.027916

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.0659 second user time and 13.4469 second system time

The end