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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518255-1751543047/watcher-4518255-1751543047 -o /tmp/evaluation-result-4518255-1751543047/solver-4518255-1751543047 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751543047-91898 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4518255-1751543047.opb 3600 HOME 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=91949, runsolver pid=91938

[startup+0.10006 s]*
/proc/loadavg: 0.07 0.24 0.99 7/278 91967
/proc/meminfo: memFree=129251324/131250000 swapFree=33010160/33010684
[pid=91949] ppid=91938 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/91949/stat : 91949 (Hybrid-NuPBODee) S 91938 91949 91671 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 69982282 4427776 768 18446744073709551615 94367080775680 94367081670213 140729403029840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94367081909264 94367081957008 94367103037440 140729403038043 140729403038195 140729403038195 140729403043797 0
/proc/91949/statm: 1081 768 704 219 0 143 0
[pid=91961] ppid=91949 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/91961/stat : 91961 (timeout) S 91949 91961 91671 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69982284 2723840 352 18446744073709551615 94469311787008 94469311803521 140724276251152 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94469311818288 94469311820376 94469325316096 140724276259248 140724276259362 140724276259362 140724276264935 0
/proc/91961/statm: 665 352 352 5 0 90 0
[pid=91964] ppid=91961 vsize=31400 memory=16640 CPUtime=0.06 cores=5,7
/proc/91964/stat : 91964 (NuPBO-DeepOptS+) R 91961 91961 91671 0 -1 4194304 3237 0 0 0 6 0 0 0 20 0 1 0 69982285 32153600 4160 18446744073709551615 4198400 15468185 140728326411504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43622400 140728326416828 140728326416929 140728326416929 140728326422502 0
/proc/91964/statm: 7850 4160 1152 2752 0 4503 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 38384 KiB
Current children cumulated memory: 21120 KiB

[startup+0.206209 s]*
/proc/loadavg: 0.07 0.24 0.99 7/278 91967
/proc/meminfo: memFree=129267656/131250000 swapFree=33010160/33010684
[pid=91949] ppid=91938 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/91949/stat : 91949 (Hybrid-NuPBODee) S 91938 91949 91671 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 69982282 4427776 768 18446744073709551615 94367080775680 94367081670213 140729403029840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94367081909264 94367081957008 94367103037440 140729403038043 140729403038195 140729403038195 140729403043797 0
/proc/91949/statm: 1081 768 704 219 0 143 0
[pid=91961] ppid=91949 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/91961/stat : 91961 (timeout) S 91949 91961 91671 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69982284 2723840 352 18446744073709551615 94469311787008 94469311803521 140724276251152 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94469311818288 94469311820376 94469325316096 140724276259248 140724276259362 140724276259362 140724276264935 0
/proc/91961/statm: 665 352 352 5 0 90 0
[pid=91964] ppid=91961 vsize=405448 memory=148584 CPUtime=0.16 cores=5,7
/proc/91964/stat : 91964 (NuPBO-DeepOptS+) R 91961 91961 91671 0 -1 4194304 13274 0 0 0 13 3 0 0 20 0 1 0 69982285 415178752 37146 18446744073709551615 4198400 15468185 140728326411504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43622400 140728326416828 140728326416929 140728326416929 140728326422502 0
/proc/91964/statm: 101362 37146 2720 2752 0 98015 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 412432 KiB
Current children cumulated memory: 153064 KiB

[startup+0.306064 s]*
/proc/loadavg: 0.07 0.24 0.99 6/278 91967
/proc/meminfo: memFree=129239144/131250000 swapFree=33010160/33010684
[pid=91949] ppid=91938 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/91949/stat : 91949 (Hybrid-NuPBODee) S 91938 91949 91671 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 69982282 4427776 768 18446744073709551615 94367080775680 94367081670213 140729403029840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94367081909264 94367081957008 94367103037440 140729403038043 140729403038195 140729403038195 140729403043797 0
/proc/91949/statm: 1081 768 704 219 0 143 0
[pid=91961] ppid=91949 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/91961/stat : 91961 (timeout) S 91949 91961 91671 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69982284 2723840 352 18446744073709551615 94469311787008 94469311803521 140724276251152 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94469311818288 94469311820376 94469325316096 140724276259248 140724276259362 140724276259362 140724276264935 0
/proc/91961/statm: 665 352 352 5 0 90 0
[pid=91964] ppid=91961 vsize=60364 memory=52096 CPUtime=0.26 cores=5,7
/proc/91964/stat : 91964 (NuPBO-DeepOptS+) R 91961 91961 91671 0 -1 4194304 13480 0 0 0 18 8 0 0 20 0 1 0 69982285 61812736 13024 18446744073709551615 4198400 15468185 140728326411504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43622400 140728326416828 140728326416929 140728326416929 140728326422502 0
/proc/91964/statm: 15091 13024 2752 2752 0 11744 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 67348 KiB
Current children cumulated memory: 56576 KiB

[startup+0.700154 s]
/proc/loadavg: 0.07 0.24 0.99 7/278 91967
/proc/meminfo: memFree=129166820/131250000 swapFree=33010160/33010684
[pid=91949] ppid=91938 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/91949/stat : 91949 (Hybrid-NuPBODee) S 91938 91949 91671 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 69982282 4427776 768 18446744073709551615 94367080775680 94367081670213 140729403029840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94367081909264 94367081957008 94367103037440 140729403038043 140729403038195 140729403038195 140729403043797 0
/proc/91949/statm: 1081 768 704 219 0 143 0
[pid=91961] ppid=91949 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/91961/stat : 91961 (timeout) S 91949 91961 91671 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69982284 2723840 352 18446744073709551615 94469311787008 94469311803521 140724276251152 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94469311818288 94469311820376 94469325316096 140724276259248 140724276259362 140724276259362 140724276264935 0
/proc/91961/statm: 665 352 352 5 0 90 0
[pid=91964] ppid=91961 vsize=60364 memory=52096 CPUtime=0.65 cores=5,7
/proc/91964/stat : 91964 (NuPBO-DeepOptS+) R 91961 91961 91671 0 -1 4194304 13480 0 0 0 57 8 0 0 20 0 1 0 69982285 61812736 13024 18446744073709551615 4198400 15468185 140728326411504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43622400 140728326416828 140728326416929 140728326416929 140728326422502 0
/proc/91964/statm: 15091 13024 2752 2752 0 11744 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 67348 KiB
Current children cumulated memory: 56576 KiB

[startup+1.50017 s]
/proc/loadavg: 0.07 0.24 0.99 7/278 91967
/proc/meminfo: memFree=128981028/131250000 swapFree=33010160/33010684
[pid=91949] ppid=91938 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/91949/stat : 91949 (Hybrid-NuPBODee) S 91938 91949 91671 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 69982282 4427776 768 18446744073709551615 94367080775680 94367081670213 140729403029840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94367081909264 94367081957008 94367103037440 140729403038043 140729403038195 140729403038195 140729403043797 0
/proc/91949/statm: 1081 768 704 219 0 143 0
[pid=91961] ppid=91949 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/91961/stat : 91961 (timeout) S 91949 91961 91671 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69982284 2723840 352 18446744073709551615 94469311787008 94469311803521 140724276251152 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94469311818288 94469311820376 94469325316096 140724276259248 140724276259362 140724276259362 140724276264935 0
/proc/91961/statm: 665 352 352 5 0 90 0
[pid=91964] ppid=91961 vsize=60364 memory=52096 CPUtime=1.45 cores=5,7
/proc/91964/stat : 91964 (NuPBO-DeepOptS+) R 91961 91961 91671 0 -1 4194304 13480 0 0 0 137 8 0 0 20 0 1 0 69982285 61812736 13024 18446744073709551615 4198400 15468185 140728326411504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43622400 140728326416828 140728326416929 140728326416929 140728326422502 0
/proc/91964/statm: 15091 13024 2752 2752 0 11744 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 67348 KiB
Current children cumulated memory: 56576 KiB

[startup+3.10578 s]
/proc/loadavg: 0.39 0.31 1.01 7/278 91967
/proc/meminfo: memFree=128218604/131250000 swapFree=33010160/33010684
[pid=91949] ppid=91938 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/91949/stat : 91949 (Hybrid-NuPBODee) S 91938 91949 91671 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 69982282 4427776 768 18446744073709551615 94367080775680 94367081670213 140729403029840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94367081909264 94367081957008 94367103037440 140729403038043 140729403038195 140729403038195 140729403043797 0
/proc/91949/statm: 1081 768 704 219 0 143 0
[pid=91961] ppid=91949 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/91961/stat : 91961 (timeout) S 91949 91961 91671 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69982284 2723840 352 18446744073709551615 94469311787008 94469311803521 140724276251152 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94469311818288 94469311820376 94469325316096 140724276259248 140724276259362 140724276259362 140724276264935 0
/proc/91961/statm: 665 352 352 5 0 90 0
[pid=91964] ppid=91961 vsize=60364 memory=52096 CPUtime=3.05 cores=5,7
/proc/91964/stat : 91964 (NuPBO-DeepOptS+) R 91961 91961 91671 0 -1 4194304 13480 0 0 0 297 8 0 0 20 0 1 0 69982285 61812736 13024 18446744073709551615 4198400 15468185 140728326411504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43622400 140728326416828 140728326416929 140728326416929 140728326422502 0
/proc/91964/statm: 15091 13024 2752 2752 0 11744 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 67348 KiB
Current children cumulated memory: 56576 KiB

[startup+6.30015 s]
/proc/loadavg: 0.39 0.31 1.01 7/278 91967
/proc/meminfo: memFree=127634772/131250000 swapFree=33010160/33010684
[pid=91949] ppid=91938 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/91949/stat : 91949 (Hybrid-NuPBODee) S 91938 91949 91671 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 69982282 4427776 768 18446744073709551615 94367080775680 94367081670213 140729403029840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94367081909264 94367081957008 94367103037440 140729403038043 140729403038195 140729403038195 140729403043797 0
/proc/91949/statm: 1081 768 704 219 0 143 0
[pid=91961] ppid=91949 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/91961/stat : 91961 (timeout) S 91949 91961 91671 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69982284 2723840 352 18446744073709551615 94469311787008 94469311803521 140724276251152 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94469311818288 94469311820376 94469325316096 140724276259248 140724276259362 140724276259362 140724276264935 0
/proc/91961/statm: 665 352 352 5 0 90 0
[pid=91964] ppid=91961 vsize=60364 memory=52096 CPUtime=6.24 cores=5,7
/proc/91964/stat : 91964 (NuPBO-DeepOptS+) R 91961 91961 91671 0 -1 4194304 13480 0 0 0 616 8 0 0 20 0 1 0 69982285 61812736 13024 18446744073709551615 4198400 15468185 140728326411504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43622400 140728326416828 140728326416929 140728326416929 140728326422502 0
/proc/91964/statm: 15091 13024 2752 2752 0 11744 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 67348 KiB
Current children cumulated memory: 56576 KiB

[startup+12.7002 s]
/proc/loadavg: 0.76 0.38 1.03 7/278 91967
/proc/meminfo: memFree=127068860/131250000 swapFree=33010160/33010684
[pid=91949] ppid=91938 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/91949/stat : 91949 (Hybrid-NuPBODee) S 91938 91949 91671 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 69982282 4427776 768 18446744073709551615 94367080775680 94367081670213 140729403029840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94367081909264 94367081957008 94367103037440 140729403038043 140729403038195 140729403038195 140729403043797 0
/proc/91949/statm: 1081 768 704 219 0 143 0
[pid=91961] ppid=91949 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/91961/stat : 91961 (timeout) S 91949 91961 91671 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69982284 2723840 352 18446744073709551615 94469311787008 94469311803521 140724276251152 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94469311818288 94469311820376 94469325316096 140724276259248 140724276259362 140724276259362 140724276264935 0
/proc/91961/statm: 665 352 352 5 0 90 0
[pid=91964] ppid=91961 vsize=60364 memory=52096 CPUtime=12.63 cores=5,7
/proc/91964/stat : 91964 (NuPBO-DeepOptS+) R 91961 91961 91671 0 -1 4194304 13480 0 0 0 1255 8 0 0 20 0 1 0 69982285 61812736 13024 18446744073709551615 4198400 15468185 140728326411504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43622400 140728326416828 140728326416929 140728326416929 140728326422502 0
/proc/91964/statm: 15091 13024 2752 2752 0 11744 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 67348 KiB
Current children cumulated memory: 56576 KiB

[startup+25.5002 s]
/proc/loadavg: 1.48 0.56 1.08 7/278 91967
/proc/meminfo: memFree=127175964/131250000 swapFree=33010160/33010684
[pid=91949] ppid=91938 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/91949/stat : 91949 (Hybrid-NuPBODee) S 91938 91949 91671 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 69982282 4427776 768 18446744073709551615 94367080775680 94367081670213 140729403029840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94367081909264 94367081957008 94367103037440 140729403038043 140729403038195 140729403038195 140729403043797 0
/proc/91949/statm: 1081 768 704 219 0 143 0
[pid=91961] ppid=91949 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/91961/stat : 91961 (timeout) S 91949 91961 91671 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69982284 2723840 352 18446744073709551615 94469311787008 94469311803521 140724276251152 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94469311818288 94469311820376 94469325316096 140724276259248 140724276259362 140724276259362 140724276264935 0
/proc/91961/statm: 665 352 352 5 0 90 0
[pid=91964] ppid=91961 vsize=60364 memory=52096 CPUtime=25.4 cores=5,7
/proc/91964/stat : 91964 (NuPBO-DeepOptS+) R 91961 91961 91671 0 -1 4194304 13480 0 0 0 2532 8 0 0 20 0 1 0 69982285 61812736 13024 18446744073709551615 4198400 15468185 140728326411504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43622400 140728326416828 140728326416929 140728326416929 140728326422502 0
/proc/91964/statm: 15091 13024 2752 2752 0 11744 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 67348 KiB
Current children cumulated memory: 56576 KiB

[startup+51.1058 s]
/proc/loadavg: 2.34 0.84 1.16 7/278 91968
/proc/meminfo: memFree=127380684/131250000 swapFree=33010160/33010684
[pid=91949] ppid=91938 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/91949/stat : 91949 (Hybrid-NuPBODee) S 91938 91949 91671 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 69982282 4427776 768 18446744073709551615 94367080775680 94367081670213 140729403029840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94367081909264 94367081957008 94367103037440 140729403038043 140729403038195 140729403038195 140729403043797 0
/proc/91949/statm: 1081 768 704 219 0 143 0
[pid=91961] ppid=91949 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/91961/stat : 91961 (timeout) S 91949 91961 91671 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69982284 2723840 352 18446744073709551615 94469311787008 94469311803521 140724276251152 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94469311818288 94469311820376 94469325316096 140724276259248 140724276259362 140724276259362 140724276264935 0
/proc/91961/statm: 665 352 352 5 0 90 0
[pid=91964] ppid=91961 vsize=60364 memory=52096 CPUtime=50.96 cores=5,7
/proc/91964/stat : 91964 (NuPBO-DeepOptS+) R 91961 91961 91671 0 -1 4194304 13480 0 0 0 5088 8 0 0 20 0 1 0 69982285 61812736 13024 18446744073709551615 4198400 15468185 140728326411504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43622400 140728326416828 140728326416929 140728326416929 140728326422502 0
/proc/91964/statm: 15091 13024 2752 2752 0 11744 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 67348 KiB
Current children cumulated memory: 56576 KiB

[startup+102.3 s]
/proc/loadavg: 3.32 1.34 1.31 7/278 91969
/proc/meminfo: memFree=127601448/131250000 swapFree=33010160/33010684
[pid=91949] ppid=91938 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/91949/stat : 91949 (Hybrid-NuPBODee) S 91938 91949 91671 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 69982282 4427776 768 18446744073709551615 94367080775680 94367081670213 140729403029840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94367081909264 94367081957008 94367103037440 140729403038043 140729403038195 140729403038195 140729403043797 0
/proc/91949/statm: 1081 768 704 219 0 143 0

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

/proc/91949/statm: 1081 768 704 219 0 143 0
[pid=91961] ppid=91949 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/91961/stat : 91961 (timeout) S 91949 91961 91671 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69982284 2723840 352 18446744073709551615 94469311787008 94469311803521 140724276251152 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94469311818288 94469311820376 94469325316096 140724276259248 140724276259362 140724276259362 140724276264935 0
/proc/91961/statm: 665 352 352 5 0 90 0
[pid=91964] ppid=91961 vsize=60364 memory=52352 CPUtime=2257.84 cores=5,7
/proc/91964/stat : 91964 (NuPBO-DeepOptS+) R 91961 91961 91671 0 -1 4194304 13789 0 0 0 225776 8 0 0 20 0 1 0 69982285 61812736 13088 18446744073709551615 4198400 15468185 140728326411504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43622400 140728326416828 140728326416929 140728326416929 140728326422502 0
/proc/91964/statm: 15091 13088 2752 2752 0 11744 0
Current children cumulated CPU time: 2257.84 s
Current children cumulated vsize: 67348 KiB
Current children cumulated memory: 56832 KiB

[startup+2322.3 s]
/proc/loadavg: 4.04 4.08 3.89 7/271 92097
/proc/meminfo: memFree=127592960/131250000 swapFree=33010160/33010684
[pid=91949] ppid=91938 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/91949/stat : 91949 (Hybrid-NuPBODee) S 91938 91949 91671 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 69982282 4427776 768 18446744073709551615 94367080775680 94367081670213 140729403029840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94367081909264 94367081957008 94367103037440 140729403038043 140729403038195 140729403038195 140729403043797 0
/proc/91949/statm: 1081 768 704 219 0 143 0
[pid=91961] ppid=91949 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/91961/stat : 91961 (timeout) S 91949 91961 91671 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69982284 2723840 352 18446744073709551615 94469311787008 94469311803521 140724276251152 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94469311818288 94469311820376 94469325316096 140724276259248 140724276259362 140724276259362 140724276264935 0
/proc/91961/statm: 665 352 352 5 0 90 0
[pid=91964] ppid=91961 vsize=60364 memory=52352 CPUtime=2317.73 cores=5,7
/proc/91964/stat : 91964 (NuPBO-DeepOptS+) R 91961 91961 91671 0 -1 4194304 13808 0 0 0 231765 8 0 0 20 0 1 0 69982285 61812736 13088 18446744073709551615 4198400 15468185 140728326411504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43622400 140728326416828 140728326416929 140728326416929 140728326422502 0
/proc/91964/statm: 15091 13088 2752 2752 0 11744 0
Current children cumulated CPU time: 2317.73 s
Current children cumulated vsize: 67348 KiB
Current children cumulated memory: 56832 KiB

[startup+2382.3 s]
/proc/loadavg: 4.12 4.09 3.91 7/272 92101
/proc/meminfo: memFree=127591784/131250000 swapFree=33010160/33010684
[pid=91949] ppid=91938 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/91949/stat : 91949 (Hybrid-NuPBODee) S 91938 91949 91671 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 69982282 4427776 768 18446744073709551615 94367080775680 94367081670213 140729403029840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94367081909264 94367081957008 94367103037440 140729403038043 140729403038195 140729403038195 140729403043797 0
/proc/91949/statm: 1081 768 704 219 0 143 0
[pid=91961] ppid=91949 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/91961/stat : 91961 (timeout) S 91949 91961 91671 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69982284 2723840 352 18446744073709551615 94469311787008 94469311803521 140724276251152 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94469311818288 94469311820376 94469325316096 140724276259248 140724276259362 140724276259362 140724276264935 0
/proc/91961/statm: 665 352 352 5 0 90 0
[pid=91964] ppid=91961 vsize=60364 memory=52352 CPUtime=2377.61 cores=5,7
/proc/91964/stat : 91964 (NuPBO-DeepOptS+) R 91961 91961 91671 0 -1 4194304 13808 0 0 0 237753 8 0 0 20 0 1 0 69982285 61812736 13088 18446744073709551615 4198400 15468185 140728326411504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43622400 140728326416828 140728326416929 140728326416929 140728326422502 0
/proc/91964/statm: 15091 13088 2752 2752 0 11744 0
Current children cumulated CPU time: 2377.61 s
Current children cumulated vsize: 67348 KiB
Current children cumulated memory: 56832 KiB

[startup+2401.52 s]
# the end of solver process 91949 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=2396.63 s, system=0.125039 s

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

[startup+2393.6 s]
/proc/loadavg: 4.10 4.09 3.91 7/272 92101
/proc/meminfo: memFree=127592920/131250000 swapFree=33010160/33010684
[pid=91949] ppid=91938 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/91949/stat : 91949 (Hybrid-NuPBODee) S 91938 91949 91671 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 69982282 4427776 768 18446744073709551615 94367080775680 94367081670213 140729403029840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94367081909264 94367081957008 94367103037440 140729403038043 140729403038195 140729403038195 140729403043797 0
/proc/91949/statm: 1081 768 704 219 0 143 0
[pid=91961] ppid=91949 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/91961/stat : 91961 (timeout) S 91949 91961 91671 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69982284 2723840 352 18446744073709551615 94469311787008 94469311803521 140724276251152 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94469311818288 94469311820376 94469325316096 140724276259248 140724276259362 140724276259362 140724276264935 0
/proc/91961/statm: 665 352 352 5 0 90 0
[pid=91964] ppid=91961 vsize=60364 memory=52352 CPUtime=2388.89 cores=5,7
/proc/91964/stat : 91964 (NuPBO-DeepOptS+) R 91961 91961 91671 0 -1 4194304 13808 0 0 0 238881 8 0 0 20 0 1 0 69982285 61812736 13088 18446744073709551615 4198400 15468185 140728326411504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43622400 140728326416828 140728326416929 140728326416929 140728326422502 0
/proc/91964/statm: 15091 13088 2752 2752 0 11744 0
Current children cumulated CPU time: 2388.89 s
Current children cumulated vsize: 67348 KiB
Current children cumulated memory: 56832 KiB

[startup+2396.8 s]
/proc/loadavg: 4.10 4.09 3.91 7/272 92101
/proc/meminfo: memFree=127592696/131250000 swapFree=33010160/33010684
[pid=91949] ppid=91938 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/91949/stat : 91949 (Hybrid-NuPBODee) S 91938 91949 91671 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 69982282 4427776 768 18446744073709551615 94367080775680 94367081670213 140729403029840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94367081909264 94367081957008 94367103037440 140729403038043 140729403038195 140729403038195 140729403043797 0
/proc/91949/statm: 1081 768 704 219 0 143 0
[pid=91961] ppid=91949 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/91961/stat : 91961 (timeout) S 91949 91961 91671 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69982284 2723840 352 18446744073709551615 94469311787008 94469311803521 140724276251152 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94469311818288 94469311820376 94469325316096 140724276259248 140724276259362 140724276259362 140724276264935 0
/proc/91961/statm: 665 352 352 5 0 90 0
[pid=91964] ppid=91961 vsize=60364 memory=52352 CPUtime=2392.08 cores=5,7
/proc/91964/stat : 91964 (NuPBO-DeepOptS+) R 91961 91961 91671 0 -1 4194304 13808 0 0 0 239200 8 0 0 20 0 1 0 69982285 61812736 13088 18446744073709551615 4198400 15468185 140728326411504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43622400 140728326416828 140728326416929 140728326416929 140728326422502 0
/proc/91964/statm: 15091 13088 2752 2752 0 11744 0
Current children cumulated CPU time: 2392.08 s
Current children cumulated vsize: 67348 KiB
Current children cumulated memory: 56832 KiB

[startup+2400 s]*
/proc/loadavg: 4.09 4.09 3.91 5/258 92201
/proc/meminfo: memFree=129310564/131250000 swapFree=33010160/33010684
[pid=91949] ppid=91938 vsize=4324 memory=3072 CPUtime=2393.31 cores=5,7
/proc/91949/stat : 91949 (Hybrid-NuPBODee) S 91938 91949 91671 0 -1 4194304 280 14038 0 0 0 0 239323 8 20 0 1 0 69982282 4427776 768 18446744073709551615 94367080775680 94367081670213 140729403029840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94367081909264 94367081957008 94367103037440 140729403038043 140729403038195 140729403038195 140729403043797 0
/proc/91949/statm: 1081 768 704 219 0 143 0
[pid=92104] ppid=91949 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/92104/stat : 92104 (timeout) S 91949 92104 91671 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 70222085 2723840 352 18446744073709551615 94094442500096 94094442516609 140722441943616 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94094442531376 94094442533464 94094452527104 140722441947523 140722441947682 140722441947682 140722441953255 0
/proc/92104/statm: 665 352 352 5 0 90 0
[pid=92106] ppid=92104 vsize=65448 memory=33408 CPUtime=1.94 cores=5,7
/proc/92106/stat : 92106 (ExactPR-nols) R 92104 92104 91671 0 -1 4194304 5157 0 0 0 193 1 0 0 20 0 1 0 70222086 67018752 8352 18446744073709551615 94423942504448 94423951804101 140727168026672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94423953590592 94423953629672 94423994142720 140727168035224 140727168035364 140727168035364 140727168040937 0
/proc/92106/statm: 16362 8352 1920 2271 0 11000 0
Current children cumulated CPU time: 2395.25 s
Current children cumulated vsize: 72432 KiB
Current children cumulated memory: 37888 KiB

[startup+2400.8 s]
/proc/loadavg: 4.09 4.09 3.91 5/258 92201
/proc/meminfo: memFree=129310564/131250000 swapFree=33010160/33010684
[pid=91949] ppid=91938 vsize=4324 memory=3072 CPUtime=2393.31 cores=5,7
/proc/91949/stat : 91949 (Hybrid-NuPBODee) S 91938 91949 91671 0 -1 4194304 280 14038 0 0 0 0 239323 8 20 0 1 0 69982282 4427776 768 18446744073709551615 94367080775680 94367081670213 140729403029840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94367081909264 94367081957008 94367103037440 140729403038043 140729403038195 140729403038195 140729403043797 0
/proc/91949/statm: 1081 768 704 219 0 143 0
[pid=92104] ppid=91949 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/92104/stat : 92104 (timeout) S 91949 92104 91671 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 70222085 2723840 352 18446744073709551615 94094442500096 94094442516609 140722441943616 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94094442531376 94094442533464 94094452527104 140722441947523 140722441947682 140722441947682 140722441953255 0
/proc/92104/statm: 665 352 352 5 0 90 0
[pid=92106] ppid=92104 vsize=66272 memory=34176 CPUtime=2.73 cores=5,7
/proc/92106/stat : 92106 (ExactPR-nols) R 92104 92104 91671 0 -1 4194304 5352 0 0 0 272 1 0 0 20 0 1 0 70222086 67862528 8544 18446744073709551615 94423942504448 94423951804101 140727168026672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94423953590592 94423953629672 94423994142720 140727168035224 140727168035364 140727168035364 140727168040937 0
/proc/92106/statm: 16568 8544 1920 2271 0 11206 0
Current children cumulated CPU time: 2396.04 s
Current children cumulated vsize: 73256 KiB
Current children cumulated memory: 38656 KiB

[startup+2401.2 s]
/proc/loadavg: 4.09 4.09 3.91 5/272 92225
/proc/meminfo: memFree=129164992/131250000 swapFree=33010160/33010684
[pid=91949] ppid=91938 vsize=4324 memory=3072 CPUtime=2393.31 cores=5,7
/proc/91949/stat : 91949 (Hybrid-NuPBODee) S 91938 91949 91671 0 -1 4194304 280 14038 0 0 0 0 239323 8 20 0 1 0 69982282 4427776 768 18446744073709551615 94367080775680 94367081670213 140729403029840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94367081909264 94367081957008 94367103037440 140729403038043 140729403038195 140729403038195 140729403043797 0
/proc/91949/statm: 1081 768 704 219 0 143 0
[pid=92104] ppid=91949 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/92104/stat : 92104 (timeout) S 91949 92104 91671 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 70222085 2723840 352 18446744073709551615 94094442500096 94094442516609 140722441943616 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94094442531376 94094442533464 94094452527104 140722441947523 140722441947682 140722441947682 140722441953255 0
/proc/92104/statm: 665 352 352 5 0 90 0
[pid=92106] ppid=92104 vsize=66676 memory=36600 CPUtime=3.12 cores=5,7
/proc/92106/stat : 92106 (ExactPR-nols) R 92104 92104 91671 0 -1 4194304 5466 0 0 0 311 1 0 0 20 0 1 0 70222086 68276224 9150 18446744073709551615 94423942504448 94423951804101 140727168026672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94423953590592 94423953629672 94423994142720 140727168035224 140727168035364 140727168035364 140727168040937 0
/proc/92106/statm: 16669 9150 1920 2271 0 11307 0
Current children cumulated CPU time: 2396.43 s
Current children cumulated vsize: 73660 KiB
Current children cumulated memory: 41080 KiB

[startup+2401.4 s]
/proc/loadavg: 4.09 4.09 3.91 5/272 92225
/proc/meminfo: memFree=129164992/131250000 swapFree=33010160/33010684
[pid=91949] ppid=91938 vsize=4324 memory=3072 CPUtime=2393.31 cores=5,7
/proc/91949/stat : 91949 (Hybrid-NuPBODee) S 91938 91949 91671 0 -1 4194304 280 14038 0 0 0 0 239323 8 20 0 1 0 69982282 4427776 768 18446744073709551615 94367080775680 94367081670213 140729403029840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94367081909264 94367081957008 94367103037440 140729403038043 140729403038195 140729403038195 140729403043797 0
/proc/91949/statm: 1081 768 704 219 0 143 0
[pid=92104] ppid=91949 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/92104/stat : 92104 (timeout) S 91949 92104 91671 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 70222085 2723840 352 18446744073709551615 94094442500096 94094442516609 140722441943616 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94094442531376 94094442533464 94094452527104 140722441947523 140722441947682 140722441947682 140722441953255 0
/proc/92104/statm: 665 352 352 5 0 90 0
[pid=92106] ppid=92104 vsize=66940 memory=36856 CPUtime=3.33 cores=5,7
/proc/92106/stat : 92106 (ExactPR-nols) R 92104 92104 91671 0 -1 4194304 5529 0 0 0 331 2 0 0 20 0 1 0 70222086 68546560 9214 18446744073709551615 94423942504448 94423951804101 140727168026672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94423953590592 94423953629672 94423994142720 140727168035224 140727168035364 140727168035364 140727168040937 0
/proc/92106/statm: 16735 9214 1920 2271 0 11373 0
Current children cumulated CPU time: 2396.64 s
Current children cumulated vsize: 73924 KiB
Current children cumulated memory: 41336 KiB

[startup+2401.5 s]
/proc/loadavg: 4.09 4.09 3.91 5/272 92225
/proc/meminfo: memFree=129164992/131250000 swapFree=33010160/33010684
[pid=91949] ppid=91938 vsize=4324 memory=3072 CPUtime=2396.74 cores=5,7
/proc/91949/stat : 91949 (Hybrid-NuPBODee) S 91938 91949 91671 0 -1 4194304 368 20315 0 1 0 0 239663 11 20 0 1 0 69982282 4427776 768 18446744073709551615 94367080775680 94367081670213 140729403029840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94367081909264 94367081957008 94367103037440 140729403038043 140729403038195 140729403038195 140729403043797 0
/proc/91949/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 2396.74 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 2401.52
CPU time (s): 2396.76
CPU user time (s): 2396.63
CPU system time (s): 0.125039
CPU usage (%): 99.8018
Max. virtual memory (cumulated for all children) (KiB): 412432
Max. memory (cumulated for all children) (KiB): 153064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.63
system time used= 0.125039
maximum resident set size= 386280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21197
page faults= 1
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1073
involuntary context switches= 624


# summary of solver processes directly reported to runsolver:
#   pid: 91949
#   total CPU time (s): 2396.76
#   total CPU user time (s): 2396.63
#   total CPU system time (s): 0.125039

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.77767 second user time and 10.3408 second system time

The end