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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100064 s]*
/proc/loadavg: 4.18 4.23 4.11 4/270 92580
/proc/meminfo: memFree=127952236/131250000 swapFree=33010160/33010684
[pid=92576] ppid=92573 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/92576/stat : 92576 (Hybrid-NuPBODee) S 92573 92576 91671 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 70462300 4427776 704 18446744073709551615 94596059279360 94596060173893 140735389445744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596060412944 94596060460688 94596065542144 140735389452635 140735389452787 140735389452787 140735389458389 0
/proc/92576/statm: 1081 704 672 219 0 143 0
[pid=92579] ppid=92576 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/92579/stat : 92579 (timeout) S 92576 92579 91671 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 70462301 2723840 352 18446744073709551615 94702424449024 94702424465537 140734190674416 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94702424480304 94702424482392 94702454353920 140734190676400 140734190676514 140734190676514 140734190682087 0
/proc/92579/statm: 665 352 352 5 0 90 0
[pid=92580] ppid=92579 vsize=42192 memory=32724 CPUtime=0.08 cores=4,6
/proc/92580/stat : 92580 (NuPBO-DeepOptS+) R 92579 92579 91671 0 -1 4194304 5629 0 0 0 8 0 0 0 20 0 1 0 70462302 43204608 8181 18446744073709551615 4198400 15468185 140735118367504 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46530560 140735118371260 140735118371361 140735118371361 140735118376934 0
/proc/92580/statm: 10548 8181 2816 2752 0 7201 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 49176 KiB
Current children cumulated memory: 36948 KiB

[startup+0.205873 s]*
/proc/loadavg: 4.18 4.23 4.11 4/269 92593
/proc/meminfo: memFree=127939780/131250000 swapFree=33010160/33010684
[pid=92576] ppid=92573 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/92576/stat : 92576 (Hybrid-NuPBODee) S 92573 92576 91671 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 70462300 4427776 704 18446744073709551615 94596059279360 94596060173893 140735389445744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596060412944 94596060460688 94596065542144 140735389452635 140735389452787 140735389452787 140735389458389 0
/proc/92576/statm: 1081 704 672 219 0 143 0
[pid=92579] ppid=92576 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/92579/stat : 92579 (timeout) S 92576 92579 91671 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 70462301 2723840 352 18446744073709551615 94702424449024 94702424465537 140734190674416 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94702424480304 94702424482392 94702454353920 140734190676400 140734190676514 140734190676514 140734190682087 0
/proc/92579/statm: 665 352 352 5 0 90 0
[pid=92580] ppid=92579 vsize=47660 memory=37504 CPUtime=0.18 cores=4,6
/proc/92580/stat : 92580 (NuPBO-DeepOptS+) R 92579 92579 91671 0 -1 4194304 7655 0 0 0 18 0 0 0 20 0 1 0 70462302 48803840 9376 18446744073709551615 4198400 15468185 140735118367504 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46530560 140735118371260 140735118371361 140735118371361 140735118376934 0
/proc/92580/statm: 11915 9376 2816 2752 0 8568 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 54644 KiB
Current children cumulated memory: 41728 KiB

[startup+0.306386 s]*
/proc/loadavg: 4.18 4.23 4.11 4/269 92599
/proc/meminfo: memFree=127959168/131250000 swapFree=33010160/33010684
[pid=92576] ppid=92573 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/92576/stat : 92576 (Hybrid-NuPBODee) S 92573 92576 91671 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 70462300 4427776 704 18446744073709551615 94596059279360 94596060173893 140735389445744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596060412944 94596060460688 94596065542144 140735389452635 140735389452787 140735389452787 140735389458389 0
/proc/92576/statm: 1081 704 672 219 0 143 0
[pid=92579] ppid=92576 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/92579/stat : 92579 (timeout) S 92576 92579 91671 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 70462301 2723840 352 18446744073709551615 94702424449024 94702424465537 140734190674416 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94702424480304 94702424482392 94702454353920 140734190676400 140734190676514 140734190676514 140734190682087 0
/proc/92579/statm: 665 352 352 5 0 90 0
[pid=92580] ppid=92579 vsize=57916 memory=47744 CPUtime=0.29 cores=4,6
/proc/92580/stat : 92580 (NuPBO-DeepOptS+) R 92579 92579 91671 0 -1 4194304 10210 0 0 0 28 1 0 0 20 0 1 0 70462302 59305984 11936 18446744073709551615 4198400 15468185 140735118367504 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46530560 140735118371260 140735118371361 140735118371361 140735118376934 0
/proc/92580/statm: 14479 11936 2816 2752 0 11132 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 64900 KiB
Current children cumulated memory: 51968 KiB

[startup+0.70023 s]
/proc/loadavg: 4.18 4.23 4.11 5/275 92616
/proc/meminfo: memFree=128561368/131250000 swapFree=33010160/33010684
[pid=92576] ppid=92573 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/92576/stat : 92576 (Hybrid-NuPBODee) S 92573 92576 91671 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 70462300 4427776 704 18446744073709551615 94596059279360 94596060173893 140735389445744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596060412944 94596060460688 94596065542144 140735389452635 140735389452787 140735389452787 140735389458389 0
/proc/92576/statm: 1081 704 672 219 0 143 0
[pid=92579] ppid=92576 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/92579/stat : 92579 (timeout) S 92576 92579 91671 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 70462301 2723840 352 18446744073709551615 94702424449024 94702424465537 140734190674416 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94702424480304 94702424482392 94702454353920 140734190676400 140734190676514 140734190676514 140734190682087 0
/proc/92579/statm: 665 352 352 5 0 90 0
[pid=92580] ppid=92579 vsize=91084 memory=80000 CPUtime=0.67 cores=4,6
/proc/92580/stat : 92580 (NuPBO-DeepOptS+) R 92579 92579 91671 0 -1 4194304 18259 0 0 0 66 1 0 0 20 0 1 0 70462302 93270016 20000 18446744073709551615 4198400 15468185 140735118367504 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46530560 140735118371260 140735118371361 140735118371361 140735118376934 0
/proc/92580/statm: 22771 20000 2816 2752 0 19424 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 84224 KiB

[startup+1.50015 s]
/proc/loadavg: 4.18 4.23 4.11 5/275 92616
/proc/meminfo: memFree=128505464/131250000 swapFree=33010160/33010684
[pid=92576] ppid=92573 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/92576/stat : 92576 (Hybrid-NuPBODee) S 92573 92576 91671 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 70462300 4427776 704 18446744073709551615 94596059279360 94596060173893 140735389445744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596060412944 94596060460688 94596065542144 140735389452635 140735389452787 140735389452787 140735389458389 0
/proc/92576/statm: 1081 704 672 219 0 143 0
[pid=92579] ppid=92576 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/92579/stat : 92579 (timeout) S 92576 92579 91671 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 70462301 2723840 352 18446744073709551615 94702424449024 94702424465537 140734190674416 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94702424480304 94702424482392 94702454353920 140734190676400 140734190676514 140734190676514 140734190682087 0
/proc/92579/statm: 665 352 352 5 0 90 0
[pid=92580] ppid=92579 vsize=78928 memory=68384 CPUtime=1.47 cores=4,6
/proc/92580/stat : 92580 (NuPBO-DeepOptS+) R 92579 92579 91671 0 -1 4194304 18395 0 0 0 145 2 0 0 20 0 1 0 70462302 80822272 17096 18446744073709551615 4198400 15468185 140735118367504 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46530560 140735118371260 140735118371361 140735118371361 140735118376934 0
/proc/92580/statm: 19732 17096 2816 2752 0 16385 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 85912 KiB
Current children cumulated memory: 72608 KiB

[startup+3.10495 s]
/proc/loadavg: 4.16 4.22 4.11 5/275 92616
/proc/meminfo: memFree=128461484/131250000 swapFree=33010160/33010684
[pid=92576] ppid=92573 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/92576/stat : 92576 (Hybrid-NuPBODee) S 92573 92576 91671 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 70462300 4427776 704 18446744073709551615 94596059279360 94596060173893 140735389445744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596060412944 94596060460688 94596065542144 140735389452635 140735389452787 140735389452787 140735389458389 0
/proc/92576/statm: 1081 704 672 219 0 143 0
[pid=92579] ppid=92576 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/92579/stat : 92579 (timeout) S 92576 92579 91671 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 70462301 2723840 352 18446744073709551615 94702424449024 94702424465537 140734190674416 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94702424480304 94702424482392 94702454353920 140734190676400 140734190676514 140734190676514 140734190682087 0
/proc/92579/statm: 665 352 352 5 0 90 0
[pid=92580] ppid=92579 vsize=78928 memory=68384 CPUtime=3.07 cores=4,6
/proc/92580/stat : 92580 (NuPBO-DeepOptS+) R 92579 92579 91671 0 -1 4194304 18405 0 0 0 305 2 0 0 20 0 1 0 70462302 80822272 17096 18446744073709551615 4198400 15468185 140735118367504 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46530560 140735118371260 140735118371361 140735118371361 140735118376934 0
/proc/92580/statm: 19732 17096 2816 2752 0 16385 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 85912 KiB
Current children cumulated memory: 72608 KiB

[startup+6.30018 s]
/proc/loadavg: 4.16 4.22 4.11 5/275 92616
/proc/meminfo: memFree=128422952/131250000 swapFree=33010160/33010684
[pid=92576] ppid=92573 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/92576/stat : 92576 (Hybrid-NuPBODee) S 92573 92576 91671 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 70462300 4427776 704 18446744073709551615 94596059279360 94596060173893 140735389445744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596060412944 94596060460688 94596065542144 140735389452635 140735389452787 140735389452787 140735389458389 0
/proc/92576/statm: 1081 704 672 219 0 143 0
[pid=92579] ppid=92576 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/92579/stat : 92579 (timeout) S 92576 92579 91671 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 70462301 2723840 352 18446744073709551615 94702424449024 94702424465537 140734190674416 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94702424480304 94702424482392 94702454353920 140734190676400 140734190676514 140734190676514 140734190682087 0
/proc/92579/statm: 665 352 352 5 0 90 0
[pid=92580] ppid=92579 vsize=78928 memory=69408 CPUtime=6.26 cores=4,6
/proc/92580/stat : 92580 (NuPBO-DeepOptS+) R 92579 92579 91671 0 -1 4194304 18663 0 0 0 624 2 0 0 20 0 1 0 70462302 80822272 17352 18446744073709551615 4198400 15468185 140735118367504 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46530560 140735118371260 140735118371361 140735118371361 140735118376934 0
/proc/92580/statm: 19732 17352 2816 2752 0 16385 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 85912 KiB
Current children cumulated memory: 73632 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.22 4.11 5/275 92616
/proc/meminfo: memFree=128379104/131250000 swapFree=33010160/33010684
[pid=92576] ppid=92573 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/92576/stat : 92576 (Hybrid-NuPBODee) S 92573 92576 91671 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 70462300 4427776 704 18446744073709551615 94596059279360 94596060173893 140735389445744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596060412944 94596060460688 94596065542144 140735389452635 140735389452787 140735389452787 140735389458389 0
/proc/92576/statm: 1081 704 672 219 0 143 0
[pid=92579] ppid=92576 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/92579/stat : 92579 (timeout) S 92576 92579 91671 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 70462301 2723840 352 18446744073709551615 94702424449024 94702424465537 140734190674416 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94702424480304 94702424482392 94702454353920 140734190676400 140734190676514 140734190676514 140734190682087 0
/proc/92579/statm: 665 352 352 5 0 90 0
[pid=92580] ppid=92579 vsize=95936 memory=86176 CPUtime=12.63 cores=4,6
/proc/92580/stat : 92580 (NuPBO-DeepOptS+) R 92579 92579 91671 0 -1 4194304 22837 0 0 0 1261 2 0 0 20 0 1 0 70462302 98238464 21544 18446744073709551615 4198400 15468185 140735118367504 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46530560 140735118371260 140735118371361 140735118371361 140735118376934 0
/proc/92580/statm: 23984 21544 2816 2752 0 20637 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 102920 KiB
Current children cumulated memory: 90400 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.21 4.11 5/276 92675
/proc/meminfo: memFree=128233468/131250000 swapFree=33010160/33010684
[pid=92576] ppid=92573 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/92576/stat : 92576 (Hybrid-NuPBODee) S 92573 92576 91671 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 70462300 4427776 704 18446744073709551615 94596059279360 94596060173893 140735389445744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596060412944 94596060460688 94596065542144 140735389452635 140735389452787 140735389452787 140735389458389 0
/proc/92576/statm: 1081 704 672 219 0 143 0
[pid=92579] ppid=92576 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/92579/stat : 92579 (timeout) S 92576 92579 91671 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 70462301 2723840 352 18446744073709551615 94702424449024 94702424465537 140734190674416 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94702424480304 94702424482392 94702454353920 140734190676400 140734190676514 140734190676514 140734190682087 0
/proc/92579/statm: 665 352 352 5 0 90 0
[pid=92580] ppid=92579 vsize=111900 memory=102304 CPUtime=25.39 cores=4,6
/proc/92580/stat : 92580 (NuPBO-DeepOptS+) R 92579 92579 91671 0 -1 4194304 26882 0 0 0 2536 3 0 0 20 0 1 0 70462302 114585600 25576 18446744073709551615 4198400 15468185 140735118367504 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46530560 140735118371260 140735118371361 140735118371361 140735118376934 0
/proc/92580/statm: 27975 25576 2816 2752 0 24628 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 118884 KiB
Current children cumulated memory: 106528 KiB

[startup+51.1052 s]
/proc/loadavg: 4.13 4.20 4.11 5/276 92676
/proc/meminfo: memFree=128170460/131250000 swapFree=33010160/33010684
[pid=92576] ppid=92573 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/92576/stat : 92576 (Hybrid-NuPBODee) S 92573 92576 91671 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 70462300 4427776 704 18446744073709551615 94596059279360 94596060173893 140735389445744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596060412944 94596060460688 94596065542144 140735389452635 140735389452787 140735389452787 140735389458389 0
/proc/92576/statm: 1081 704 672 219 0 143 0
[pid=92579] ppid=92576 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/92579/stat : 92579 (timeout) S 92576 92579 91671 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 70462301 2723840 352 18446744073709551615 94702424449024 94702424465537 140734190674416 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94702424480304 94702424482392 94702454353920 140734190676400 140734190676514 140734190676514 140734190682087 0
/proc/92579/statm: 665 352 352 5 0 90 0
[pid=92580] ppid=92579 vsize=133016 memory=124396 CPUtime=50.91 cores=4,6
/proc/92580/stat : 92580 (NuPBO-DeepOptS+) R 92579 92579 91671 0 -1 4194304 33443 0 0 0 5087 4 0 0 20 0 1 0 70462302 136208384 31099 18446744073709551615 4198400 15468185 140735118367504 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46530560 140735118371260 140735118371361 140735118371361 140735118376934 0
/proc/92580/statm: 33254 31099 2816 2752 0 29907 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 140000 KiB
Current children cumulated memory: 128620 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.19 4.10 5/276 92678
/proc/meminfo: memFree=128097512/131250000 swapFree=33010160/33010684
[pid=92576] ppid=92573 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/92576/stat : 92576 (Hybrid-NuPBODee) S 92573 92576 91671 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 70462300 4427776 704 18446744073709551615 94596059279360 94596060173893 140735389445744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596060412944 94596060460688 94596065542144 140735389452635 140735389452787 140735389452787 140735389458389 0
/proc/92576/statm: 1081 704 672 219 0 143 0
[pid=92579] ppid=92576 vsize=2660 memory=1408 CPUtime=0 cores=4,6

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

/proc/92576/statm: 1081 704 672 219 0 143 0
[pid=92579] ppid=92576 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/92579/stat : 92579 (timeout) S 92576 92579 91671 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 70462301 2723840 352 18446744073709551615 94702424449024 94702424465537 140734190674416 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94702424480304 94702424482392 94702454353920 140734190676400 140734190676514 140734190676514 140734190682087 0
/proc/92579/statm: 665 352 352 5 0 90 0
[pid=92580] ppid=92579 vsize=633256 memory=625808 CPUtime=2255.9 cores=4,6
/proc/92580/stat : 92580 (NuPBO-DeepOptS+) R 92579 92579 91671 0 -1 4194304 309687 0 0 0 225532 58 0 0 20 0 1 0 70462302 648454144 156452 18446744073709551615 4198400 15468185 140735118367504 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46530560 140735118371260 140735118371361 140735118371361 140735118376934 0
/proc/92580/statm: 158314 156452 2848 2752 0 154967 0
Current children cumulated CPU time: 2255.9 s
Current children cumulated vsize: 640240 KiB
Current children cumulated memory: 630032 KiB

[startup+2322.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/274 92851
/proc/meminfo: memFree=128405048/131250000 swapFree=33010160/33010684
[pid=92576] ppid=92573 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/92576/stat : 92576 (Hybrid-NuPBODee) S 92573 92576 91671 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 70462300 4427776 704 18446744073709551615 94596059279360 94596060173893 140735389445744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596060412944 94596060460688 94596065542144 140735389452635 140735389452787 140735389452787 140735389458389 0
/proc/92576/statm: 1081 704 672 219 0 143 0
[pid=92579] ppid=92576 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/92579/stat : 92579 (timeout) S 92576 92579 91671 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 70462301 2723840 352 18446744073709551615 94702424449024 94702424465537 140734190674416 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94702424480304 94702424482392 94702454353920 140734190676400 140734190676514 140734190676514 140734190682087 0
/proc/92579/statm: 665 352 352 5 0 90 0
[pid=92580] ppid=92579 vsize=633256 memory=625808 CPUtime=2315.76 cores=4,6
/proc/92580/stat : 92580 (NuPBO-DeepOptS+) R 92579 92579 91671 0 -1 4194304 309688 0 0 0 231518 58 0 0 20 0 1 0 70462302 648454144 156452 18446744073709551615 4198400 15468185 140735118367504 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46530560 140735118371260 140735118371361 140735118371361 140735118376934 0
/proc/92580/statm: 158314 156452 2848 2752 0 154967 0
Current children cumulated CPU time: 2315.76 s
Current children cumulated vsize: 640240 KiB
Current children cumulated memory: 630032 KiB

[startup+2382.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/272 92853
/proc/meminfo: memFree=128404944/131250000 swapFree=33010160/33010684
[pid=92576] ppid=92573 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/92576/stat : 92576 (Hybrid-NuPBODee) S 92573 92576 91671 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 70462300 4427776 704 18446744073709551615 94596059279360 94596060173893 140735389445744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596060412944 94596060460688 94596065542144 140735389452635 140735389452787 140735389452787 140735389458389 0
/proc/92576/statm: 1081 704 672 219 0 143 0
[pid=92579] ppid=92576 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/92579/stat : 92579 (timeout) S 92576 92579 91671 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 70462301 2723840 352 18446744073709551615 94702424449024 94702424465537 140734190674416 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94702424480304 94702424482392 94702454353920 140734190676400 140734190676514 140734190676514 140734190682087 0
/proc/92579/statm: 665 352 352 5 0 90 0
[pid=92580] ppid=92579 vsize=633256 memory=625808 CPUtime=2375.62 cores=4,6
/proc/92580/stat : 92580 (NuPBO-DeepOptS+) R 92579 92579 91671 0 -1 4194304 309688 0 0 0 237504 58 0 0 20 0 1 0 70462302 648454144 156452 18446744073709551615 4198400 15468185 140735118367504 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46530560 140735118371260 140735118371361 140735118371361 140735118376934 0
/proc/92580/statm: 158314 156452 2848 2752 0 154967 0
Current children cumulated CPU time: 2375.62 s
Current children cumulated vsize: 640240 KiB
Current children cumulated memory: 630032 KiB

[startup+2442.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/274 92867
/proc/meminfo: memFree=129100512/131250000 swapFree=33010160/33010684
[pid=92576] ppid=92573 vsize=4324 memory=2816 CPUtime=2391.31 cores=4,6
/proc/92576/stat : 92576 (Hybrid-NuPBODee) S 92573 92576 91671 0 -1 4194304 282 309943 0 0 0 0 239072 59 20 0 1 0 70462300 4427776 704 18446744073709551615 94596059279360 94596060173893 140735389445744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596060412944 94596060460688 94596065542144 140735389452635 140735389452787 140735389452787 140735389458389 0
/proc/92576/statm: 1081 704 672 219 0 143 0
[pid=92860] ppid=92576 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/92860/stat : 92860 (timeout) S 92576 92860 91671 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 70702102 2723840 352 18446744073709551615 94694785933312 94694785949825 140736590969104 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94694785964592 94694785966680 94694805065728 140736590977411 140736590977570 140736590977570 140736590983143 0
/proc/92860/statm: 665 352 352 5 0 90 0
[pid=92861] ppid=92860 vsize=155148 memory=111192 CPUtime=44.13 cores=4,6
/proc/92861/stat : 92861 (ExactPR-nols) R 92860 92860 91671 0 -1 4194304 9819 0 0 0 4369 44 0 0 20 0 1 0 70702102 158871552 27798 18446744073709551615 94799455592448 94799464892101 140720581028384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94799466678592 94799466717672 94799489191936 140720581036440 140720581036580 140720581036580 140720581042153 0
/proc/92861/statm: 38787 27798 1920 2271 0 33425 0
Current children cumulated CPU time: 2435.44 s
Current children cumulated vsize: 162132 KiB
Current children cumulated memory: 115416 KiB

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

# cumulated CPU time of all completed processes:  user=2440.17 s, system=1.07886 s

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

[startup+2444.8 s]
/proc/loadavg: 4.13 4.11 4.09 5/274 92868
/proc/meminfo: memFree=129092496/131250000 swapFree=33010160/33010684
[pid=92576] ppid=92573 vsize=4324 memory=2816 CPUtime=2391.31 cores=4,6
/proc/92576/stat : 92576 (Hybrid-NuPBODee) S 92573 92576 91671 0 -1 4194304 282 309943 0 0 0 0 239072 59 20 0 1 0 70462300 4427776 704 18446744073709551615 94596059279360 94596060173893 140735389445744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596060412944 94596060460688 94596065542144 140735389452635 140735389452787 140735389452787 140735389458389 0
/proc/92576/statm: 1081 704 672 219 0 143 0
[pid=92860] ppid=92576 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/92860/stat : 92860 (timeout) S 92576 92860 91671 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 70702102 2723840 352 18446744073709551615 94694785933312 94694785949825 140736590969104 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94694785964592 94694785966680 94694805065728 140736590977411 140736590977570 140736590977570 140736590983143 0
/proc/92860/statm: 665 352 352 5 0 90 0
[pid=92861] ppid=92860 vsize=155148 memory=111192 CPUtime=46.62 cores=4,6
/proc/92861/stat : 92861 (ExactPR-nols) R 92860 92860 91671 0 -1 4194304 9819 0 0 0 4617 45 0 0 20 0 1 0 70702102 158871552 27798 18446744073709551615 94799455592448 94799464892101 140720581028384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94799466678592 94799466717672 94799489191936 140720581036440 140720581036580 140720581036580 140720581042153 0
/proc/92861/statm: 38787 27798 1920 2271 0 33425 0
Current children cumulated CPU time: 2437.93 s
Current children cumulated vsize: 162132 KiB
Current children cumulated memory: 115416 KiB

[startup+2446.4 s]
/proc/loadavg: 4.13 4.11 4.09 5/274 92868
/proc/meminfo: memFree=129077232/131250000 swapFree=33010160/33010684
[pid=92576] ppid=92573 vsize=4324 memory=2816 CPUtime=2391.31 cores=4,6
/proc/92576/stat : 92576 (Hybrid-NuPBODee) S 92573 92576 91671 0 -1 4194304 282 309943 0 0 0 0 239072 59 20 0 1 0 70462300 4427776 704 18446744073709551615 94596059279360 94596060173893 140735389445744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596060412944 94596060460688 94596065542144 140735389452635 140735389452787 140735389452787 140735389458389 0
/proc/92576/statm: 1081 704 672 219 0 143 0
[pid=92860] ppid=92576 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/92860/stat : 92860 (timeout) S 92576 92860 91671 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 70702102 2723840 352 18446744073709551615 94694785933312 94694785949825 140736590969104 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94694785964592 94694785966680 94694805065728 140736590977411 140736590977570 140736590977570 140736590983143 0
/proc/92860/statm: 665 352 352 5 0 90 0
[pid=92861] ppid=92860 vsize=155148 memory=111192 CPUtime=48.21 cores=4,6
/proc/92861/stat : 92861 (ExactPR-nols) R 92860 92860 91671 0 -1 4194304 9820 0 0 0 4775 46 0 0 20 0 1 0 70702102 158871552 27798 18446744073709551615 94799455592448 94799464892101 140720581028384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94799466678592 94799466717672 94799489191936 140720581036440 140720581036580 140720581036580 140720581042153 0
/proc/92861/statm: 38787 27798 1920 2271 0 33425 0
Current children cumulated CPU time: 2439.52 s
Current children cumulated vsize: 162132 KiB
Current children cumulated memory: 115416 KiB

[startup+2447.2 s]
/proc/loadavg: 4.13 4.11 4.09 5/274 92868
/proc/meminfo: memFree=129077232/131250000 swapFree=33010160/33010684
[pid=92576] ppid=92573 vsize=4324 memory=2816 CPUtime=2391.31 cores=4,6
/proc/92576/stat : 92576 (Hybrid-NuPBODee) S 92573 92576 91671 0 -1 4194304 282 309943 0 0 0 0 239072 59 20 0 1 0 70462300 4427776 704 18446744073709551615 94596059279360 94596060173893 140735389445744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596060412944 94596060460688 94596065542144 140735389452635 140735389452787 140735389452787 140735389458389 0
/proc/92576/statm: 1081 704 672 219 0 143 0
[pid=92860] ppid=92576 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/92860/stat : 92860 (timeout) S 92576 92860 91671 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 70702102 2723840 352 18446744073709551615 94694785933312 94694785949825 140736590969104 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94694785964592 94694785966680 94694805065728 140736590977411 140736590977570 140736590977570 140736590983143 0
/proc/92860/statm: 665 352 352 5 0 90 0
[pid=92861] ppid=92860 vsize=155148 memory=111192 CPUtime=49 cores=4,6
/proc/92861/stat : 92861 (ExactPR-nols) R 92860 92860 91671 0 -1 4194304 9826 0 0 0 4854 46 0 0 20 0 1 0 70702102 158871552 27798 18446744073709551615 94799455592448 94799464892101 140720581028384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94799466678592 94799466717672 94799489191936 140720581036440 140720581036580 140720581036580 140720581042153 0
/proc/92861/statm: 38787 27798 1920 2271 0 33425 0
Current children cumulated CPU time: 2440.31 s
Current children cumulated vsize: 162132 KiB
Current children cumulated memory: 115416 KiB

[startup+2447.6 s]
/proc/loadavg: 4.13 4.11 4.09 5/274 92868
/proc/meminfo: memFree=129077232/131250000 swapFree=33010160/33010684
[pid=92576] ppid=92573 vsize=4324 memory=2816 CPUtime=2391.31 cores=4,6
/proc/92576/stat : 92576 (Hybrid-NuPBODee) S 92573 92576 91671 0 -1 4194304 282 309943 0 0 0 0 239072 59 20 0 1 0 70462300 4427776 704 18446744073709551615 94596059279360 94596060173893 140735389445744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596060412944 94596060460688 94596065542144 140735389452635 140735389452787 140735389452787 140735389458389 0
/proc/92576/statm: 1081 704 672 219 0 143 0
[pid=92860] ppid=92576 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/92860/stat : 92860 (timeout) S 92576 92860 91671 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 70702102 2723840 352 18446744073709551615 94694785933312 94694785949825 140736590969104 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94694785964592 94694785966680 94694805065728 140736590977411 140736590977570 140736590977570 140736590983143 0
/proc/92860/statm: 665 352 352 5 0 90 0
[pid=92861] ppid=92860 vsize=155148 memory=111192 CPUtime=49.41 cores=4,6
/proc/92861/stat : 92861 (ExactPR-nols) R 92860 92860 91671 0 -1 4194304 9826 0 0 0 4894 47 0 0 20 0 1 0 70702102 158871552 27798 18446744073709551615 94799455592448 94799464892101 140720581028384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94799466678592 94799466717672 94799489191936 140720581036440 140720581036580 140720581036580 140720581042153 0
/proc/92861/statm: 38787 27798 1920 2271 0 33425 0
Current children cumulated CPU time: 2440.72 s
Current children cumulated vsize: 162132 KiB
Current children cumulated memory: 115416 KiB

[startup+2448 s]*
/proc/loadavg: 4.13 4.11 4.09 5/274 92868
/proc/meminfo: memFree=129076476/131250000 swapFree=33010160/33010684
[pid=92576] ppid=92573 vsize=4324 memory=2816 CPUtime=2391.31 cores=4,6
/proc/92576/stat : 92576 (Hybrid-NuPBODee) S 92573 92576 91671 0 -1 4194304 282 309943 0 0 0 0 239072 59 20 0 1 0 70462300 4427776 704 18446744073709551615 94596059279360 94596060173893 140735389445744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596060412944 94596060460688 94596065542144 140735389452635 140735389452787 140735389452787 140735389458389 0
/proc/92576/statm: 1081 704 672 219 0 143 0
[pid=92860] ppid=92576 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/92860/stat : 92860 (timeout) S 92576 92860 91671 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 70702102 2723840 352 18446744073709551615 94694785933312 94694785949825 140736590969104 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94694785964592 94694785966680 94694805065728 140736590977411 140736590977570 140736590977570 140736590983143 0
/proc/92860/statm: 665 352 352 5 0 90 0
[pid=92861] ppid=92860 vsize=155148 memory=111192 CPUtime=49.81 cores=4,6
/proc/92861/stat : 92861 (ExactPR-nols) R 92860 92860 91671 0 -1 4194304 9826 0 0 0 4934 47 0 0 20 0 1 0 70702102 158871552 27798 18446744073709551615 94799455592448 94799464892101 140720581028384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94799466678592 94799466717672 94799489191936 140720581036440 140720581036580 140720581036580 140720581042153 0
/proc/92861/statm: 38787 27798 1920 2271 0 33425 0
Current children cumulated CPU time: 2441.12 s
Current children cumulated vsize: 162132 KiB
Current children cumulated memory: 115416 KiB

[startup+2448.11 s]
/proc/loadavg: 4.13 4.11 4.09 5/274 92868
/proc/meminfo: memFree=129076476/131250000 swapFree=33010160/33010684
[pid=92576] ppid=92573 vsize=4324 memory=2816 CPUtime=2441.23 cores=4,6
/proc/92576/stat : 92576 (Hybrid-NuPBODee) S 92573 92576 91671 0 -1 4194304 301 319902 0 0 0 0 244016 107 20 0 1 0 70462300 4427776 704 18446744073709551615 94596059279360 94596060173893 140735389445744 0 0 0 2 4 65536 1 0 0 17 4 0 0 0 0 0 94596060412944 94596060460688 94596065542144 140735389452635 140735389452787 140735389452787 140735389458389 0
/proc/92576/statm: 1081 704 672 219 0 143 0
Current children cumulated CPU time: 2441.23 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2816 KiB

Child status: 0

Real time (s): 2448.14
CPU time (s): 2441.25
CPU user time (s): 2440.17
CPU system time (s): 1.07886
CPU usage (%): 99.7186
Max. virtual memory (cumulated for all children) (KiB): 1220316
Max. memory (cumulated for all children) (KiB): 1192612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2440.17
system time used= 1.07886
maximum resident set size= 1188388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 321406
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1023
involuntary context switches= 2603


# summary of solver processes directly reported to runsolver:
#   pid: 92576
#   total CPU time (s): 2441.25
#   total CPU user time (s): 2440.17
#   total CPU system time (s): 1.07886

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.29904 second user time and 9.655 second system time

The end