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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100059 s]*
/proc/loadavg: 2.65 3.76 3.97 6/272 80956
/proc/meminfo: memFree=127787332/131250000 swapFree=33010684/33010684
[pid=80935] ppid=80926 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80935/stat : 80935 (Hybrid-NuPBODee) S 80926 80935 80874 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 71763703 4427776 736 18446744073709551615 94411095404544 94411096299077 140734291709168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94411096538128 94411096585872 94411110420480 140734291712347 140734291712499 140734291712499 140734291718101 0
/proc/80935/statm: 1081 736 672 219 0 143 0
[pid=80940] ppid=80935 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80940/stat : 80940 (timeout) S 80935 80940 80874 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71763705 2723840 352 18446744073709551615 94463599796224 94463599812737 140722064143200 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94463599827504 94463599829592 94463601610752 140722064148912 140722064149026 140722064149026 140722064154599 0
/proc/80940/statm: 665 352 352 5 0 90 0
[pid=80950] ppid=80940 vsize=24896 memory=9744 CPUtime=0.06 cores=0,2
/proc/80950/stat : 80950 (NuPBO-DeepOptS+) R 80940 80940 80874 0 -1 4194304 1583 0 0 0 6 0 0 0 20 0 1 0 71763706 25493504 2436 18446744073709551615 4198400 15468185 140729770372624 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49557504 140729770375612 140729770375713 140729770375713 140729770381286 0
/proc/80950/statm: 6224 2436 1152 2752 0 2877 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 31880 KiB
Current children cumulated memory: 14096 KiB

[startup+0.204818 s]*
/proc/loadavg: 2.65 3.76 3.97 6/272 80956
/proc/meminfo: memFree=127769460/131250000 swapFree=33010684/33010684
[pid=80935] ppid=80926 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80935/stat : 80935 (Hybrid-NuPBODee) S 80926 80935 80874 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 71763703 4427776 736 18446744073709551615 94411095404544 94411096299077 140734291709168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94411096538128 94411096585872 94411110420480 140734291712347 140734291712499 140734291712499 140734291718101 0
/proc/80935/statm: 1081 736 672 219 0 143 0
[pid=80940] ppid=80935 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80940/stat : 80940 (timeout) S 80935 80940 80874 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71763705 2723840 352 18446744073709551615 94463599796224 94463599812737 140722064143200 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94463599827504 94463599829592 94463601610752 140722064148912 140722064149026 140722064149026 140722064154599 0
/proc/80940/statm: 665 352 352 5 0 90 0
[pid=80950] ppid=80940 vsize=36316 memory=26928 CPUtime=0.17 cores=0,2
/proc/80950/stat : 80950 (NuPBO-DeepOptS+) R 80940 80940 80874 0 -1 4194304 5101 0 0 0 16 1 0 0 20 0 1 0 71763706 37187584 6732 18446744073709551615 4198400 15468185 140729770372624 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49557504 140729770375612 140729770375713 140729770375713 140729770381286 0
/proc/80950/statm: 9079 6732 2592 2752 0 5732 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 43300 KiB
Current children cumulated memory: 31280 KiB

[startup+0.304806 s]*
/proc/loadavg: 2.65 3.76 3.97 6/272 80956
/proc/meminfo: memFree=127705452/131250000 swapFree=33010684/33010684
[pid=80935] ppid=80926 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80935/stat : 80935 (Hybrid-NuPBODee) S 80926 80935 80874 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 71763703 4427776 736 18446744073709551615 94411095404544 94411096299077 140734291709168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94411096538128 94411096585872 94411110420480 140734291712347 140734291712499 140734291712499 140734291718101 0
/proc/80935/statm: 1081 736 672 219 0 143 0
[pid=80940] ppid=80935 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80940/stat : 80940 (timeout) S 80935 80940 80874 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71763705 2723840 352 18446744073709551615 94463599796224 94463599812737 140722064143200 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94463599827504 94463599829592 94463601610752 140722064148912 140722064149026 140722064149026 140722064154599 0
/proc/80940/statm: 665 352 352 5 0 90 0
[pid=80950] ppid=80940 vsize=58552 memory=47920 CPUtime=0.27 cores=0,2
/proc/80950/stat : 80950 (NuPBO-DeepOptS+) R 80940 80940 80874 0 -1 4194304 10185 0 0 0 25 2 0 0 20 0 1 0 71763706 59957248 11980 18446744073709551615 4198400 15468185 140729770372624 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49557504 140729770375612 140729770375713 140729770375713 140729770381286 0
/proc/80950/statm: 14638 11980 2816 2752 0 11291 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 65536 KiB
Current children cumulated memory: 52272 KiB

[startup+0.700182 s]
/proc/loadavg: 2.65 3.76 3.97 6/272 80956
/proc/meminfo: memFree=127673196/131250000 swapFree=33010684/33010684
[pid=80935] ppid=80926 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80935/stat : 80935 (Hybrid-NuPBODee) S 80926 80935 80874 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 71763703 4427776 736 18446744073709551615 94411095404544 94411096299077 140734291709168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94411096538128 94411096585872 94411110420480 140734291712347 140734291712499 140734291712499 140734291718101 0
/proc/80935/statm: 1081 736 672 219 0 143 0
[pid=80940] ppid=80935 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80940/stat : 80940 (timeout) S 80935 80940 80874 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71763705 2723840 352 18446744073709551615 94463599796224 94463599812737 140722064143200 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94463599827504 94463599829592 94463601610752 140722064148912 140722064149026 140722064149026 140722064154599 0
/proc/80940/statm: 665 352 352 5 0 90 0
[pid=80950] ppid=80940 vsize=80108 memory=67936 CPUtime=0.66 cores=0,2
/proc/80950/stat : 80950 (NuPBO-DeepOptS+) R 80940 80940 80874 0 -1 4194304 15934 0 0 0 63 3 0 0 20 0 1 0 71763706 82030592 16984 18446744073709551615 4198400 15468185 140729770372624 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49557504 140729770375612 140729770375713 140729770375713 140729770381286 0
/proc/80950/statm: 20027 16984 2816 2752 0 16680 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 87092 KiB
Current children cumulated memory: 72288 KiB

[startup+1.50017 s]
/proc/loadavg: 2.65 3.76 3.97 6/272 80956
/proc/meminfo: memFree=127657068/131250000 swapFree=33010684/33010684
[pid=80935] ppid=80926 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80935/stat : 80935 (Hybrid-NuPBODee) S 80926 80935 80874 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 71763703 4427776 736 18446744073709551615 94411095404544 94411096299077 140734291709168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94411096538128 94411096585872 94411110420480 140734291712347 140734291712499 140734291712499 140734291718101 0
/proc/80935/statm: 1081 736 672 219 0 143 0
[pid=80940] ppid=80935 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80940/stat : 80940 (timeout) S 80935 80940 80874 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71763705 2723840 352 18446744073709551615 94463599796224 94463599812737 140722064143200 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94463599827504 94463599829592 94463601610752 140722064148912 140722064149026 140722064149026 140722064154599 0
/proc/80940/statm: 665 352 352 5 0 90 0
[pid=80950] ppid=80940 vsize=80108 memory=69216 CPUtime=1.46 cores=0,2
/proc/80950/stat : 80950 (NuPBO-DeepOptS+) R 80940 80940 80874 0 -1 4194304 16263 0 0 0 143 3 0 0 20 0 1 0 71763706 82030592 17304 18446744073709551615 4198400 15468185 140729770372624 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49557504 140729770375612 140729770375713 140729770375713 140729770381286 0
/proc/80950/statm: 20027 17304 2816 2752 0 16680 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 87092 KiB
Current children cumulated memory: 73568 KiB

[startup+3.10463 s]
/proc/loadavg: 2.76 3.76 3.97 6/272 80956
/proc/meminfo: memFree=127629820/131250000 swapFree=33010684/33010684
[pid=80935] ppid=80926 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80935/stat : 80935 (Hybrid-NuPBODee) S 80926 80935 80874 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 71763703 4427776 736 18446744073709551615 94411095404544 94411096299077 140734291709168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94411096538128 94411096585872 94411110420480 140734291712347 140734291712499 140734291712499 140734291718101 0
/proc/80935/statm: 1081 736 672 219 0 143 0
[pid=80940] ppid=80935 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80940/stat : 80940 (timeout) S 80935 80940 80874 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71763705 2723840 352 18446744073709551615 94463599796224 94463599812737 140722064143200 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94463599827504 94463599829592 94463601610752 140722064148912 140722064149026 140722064149026 140722064154599 0
/proc/80940/statm: 665 352 352 5 0 90 0
[pid=80950] ppid=80940 vsize=92068 memory=81248 CPUtime=3.05 cores=0,2
/proc/80950/stat : 80950 (NuPBO-DeepOptS+) R 80940 80940 80874 0 -1 4194304 19249 0 0 0 302 3 0 0 20 0 1 0 71763706 94277632 20312 18446744073709551615 4198400 15468185 140729770372624 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49557504 140729770375612 140729770375713 140729770375713 140729770381286 0
/proc/80950/statm: 23017 20312 2816 2752 0 19670 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 99052 KiB
Current children cumulated memory: 85600 KiB

[startup+6.30014 s]
/proc/loadavg: 2.76 3.76 3.97 6/272 80956
/proc/meminfo: memFree=127617480/131250000 swapFree=33010684/33010684
[pid=80935] ppid=80926 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80935/stat : 80935 (Hybrid-NuPBODee) S 80926 80935 80874 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 71763703 4427776 736 18446744073709551615 94411095404544 94411096299077 140734291709168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94411096538128 94411096585872 94411110420480 140734291712347 140734291712499 140734291712499 140734291718101 0
/proc/80935/statm: 1081 736 672 219 0 143 0
[pid=80940] ppid=80935 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80940/stat : 80940 (timeout) S 80935 80940 80874 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71763705 2723840 352 18446744073709551615 94463599796224 94463599812737 140722064143200 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94463599827504 94463599829592 94463601610752 140722064148912 140722064149026 140722064149026 140722064154599 0
/proc/80940/statm: 665 352 352 5 0 90 0
[pid=80950] ppid=80940 vsize=92068 memory=81248 CPUtime=6.24 cores=0,2
/proc/80950/stat : 80950 (NuPBO-DeepOptS+) R 80940 80940 80874 0 -1 4194304 19263 0 0 0 621 3 0 0 20 0 1 0 71763706 94277632 20312 18446744073709551615 4198400 15468185 140729770372624 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49557504 140729770375612 140729770375713 140729770375713 140729770381286 0
/proc/80950/statm: 23017 20312 2816 2752 0 19670 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 99052 KiB
Current children cumulated memory: 85600 KiB

[startup+12.7001 s]
/proc/loadavg: 2.95 3.77 3.98 6/272 80956
/proc/meminfo: memFree=127613268/131250000 swapFree=33010684/33010684
[pid=80935] ppid=80926 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80935/stat : 80935 (Hybrid-NuPBODee) S 80926 80935 80874 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 71763703 4427776 736 18446744073709551615 94411095404544 94411096299077 140734291709168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94411096538128 94411096585872 94411110420480 140734291712347 140734291712499 140734291712499 140734291718101 0
/proc/80935/statm: 1081 736 672 219 0 143 0
[pid=80940] ppid=80935 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80940/stat : 80940 (timeout) S 80935 80940 80874 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71763705 2723840 352 18446744073709551615 94463599796224 94463599812737 140722064143200 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94463599827504 94463599829592 94463601610752 140722064148912 140722064149026 140722064149026 140722064154599 0
/proc/80940/statm: 665 352 352 5 0 90 0
[pid=80950] ppid=80940 vsize=95032 memory=84240 CPUtime=12.63 cores=0,2
/proc/80950/stat : 80950 (NuPBO-DeepOptS+) R 80940 80940 80874 0 -1 4194304 21701 0 0 0 1259 4 0 0 20 0 1 0 71763706 97312768 21060 18446744073709551615 4198400 15468185 140729770372624 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49557504 140729770375612 140729770375713 140729770375713 140729770381286 0
/proc/80950/statm: 23758 21060 2816 2752 0 20411 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 102016 KiB
Current children cumulated memory: 88592 KiB

[startup+25.5002 s]
/proc/loadavg: 3.11 3.78 3.98 6/272 80956
/proc/meminfo: memFree=127576888/131250000 swapFree=33010684/33010684
[pid=80935] ppid=80926 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80935/stat : 80935 (Hybrid-NuPBODee) S 80926 80935 80874 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 71763703 4427776 736 18446744073709551615 94411095404544 94411096299077 140734291709168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94411096538128 94411096585872 94411110420480 140734291712347 140734291712499 140734291712499 140734291718101 0
/proc/80935/statm: 1081 736 672 219 0 143 0
[pid=80940] ppid=80935 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80940/stat : 80940 (timeout) S 80935 80940 80874 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71763705 2723840 352 18446744073709551615 94463599796224 94463599812737 140722064143200 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94463599827504 94463599829592 94463601610752 140722064148912 140722064149026 140722064149026 140722064154599 0
/proc/80940/statm: 665 352 352 5 0 90 0
[pid=80950] ppid=80940 vsize=108556 memory=97776 CPUtime=25.39 cores=0,2
/proc/80950/stat : 80950 (NuPBO-DeepOptS+) R 80940 80940 80874 0 -1 4194304 30092 0 0 0 2534 5 0 0 20 0 1 0 71763706 111161344 24444 18446744073709551615 4198400 15468185 140729770372624 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49557504 140729770375612 140729770375713 140729770375713 140729770381286 0
/proc/80950/statm: 27139 24444 2816 2752 0 23792 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 115540 KiB
Current children cumulated memory: 102128 KiB

[startup+51.1046 s]
/proc/loadavg: 3.47 3.81 3.98 6/272 80957
/proc/meminfo: memFree=127507508/131250000 swapFree=33010684/33010684
[pid=80935] ppid=80926 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80935/stat : 80935 (Hybrid-NuPBODee) S 80926 80935 80874 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 71763703 4427776 736 18446744073709551615 94411095404544 94411096299077 140734291709168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94411096538128 94411096585872 94411110420480 140734291712347 140734291712499 140734291712499 140734291718101 0
/proc/80935/statm: 1081 736 672 219 0 143 0
[pid=80940] ppid=80935 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80940/stat : 80940 (timeout) S 80935 80940 80874 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71763705 2723840 352 18446744073709551615 94463599796224 94463599812737 140722064143200 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94463599827504 94463599829592 94463601610752 140722064148912 140722064149026 140722064149026 140722064154599 0
/proc/80940/statm: 665 352 352 5 0 90 0
[pid=80950] ppid=80940 vsize=137832 memory=127196 CPUtime=50.93 cores=0,2
/proc/80950/stat : 80950 (NuPBO-DeepOptS+) R 80940 80940 80874 0 -1 4194304 51702 0 0 0 5084 9 0 0 20 0 1 0 71763706 141139968 31799 18446744073709551615 4198400 15468185 140729770372624 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49557504 140729770375612 140729770375713 140729770375713 140729770381286 0
/proc/80950/statm: 34458 31799 2848 2752 0 31111 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 144816 KiB
Current children cumulated memory: 131548 KiB

[startup+102.3 s]
/proc/loadavg: 3.84 3.86 4.00 6/272 80959
/proc/meminfo: memFree=127472096/131250000 swapFree=33010684/33010684
[pid=80935] ppid=80926 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80935/stat : 80935 (Hybrid-NuPBODee) S 80926 80935 80874 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 71763703 4427776 736 18446744073709551615 94411095404544 94411096299077 140734291709168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94411096538128 94411096585872 94411110420480 140734291712347 140734291712499 140734291712499 140734291718101 0
/proc/80935/statm: 1081 736 672 219 0 143 0

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

/proc/80950/statm: 34458 32375 2848 2752 0 31111 0
Current children cumulated CPU time: 2317.03 s
Current children cumulated vsize: 144816 KiB
Current children cumulated memory: 133852 KiB

[startup+2382.3 s]
/proc/loadavg: 4.45 4.23 4.09 6/272 81082
/proc/meminfo: memFree=127251848/131250000 swapFree=33010684/33010684
[pid=80935] ppid=80926 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/80935/stat : 80935 (Hybrid-NuPBODee) S 80926 80935 80874 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 71763703 4427776 736 18446744073709551615 94411095404544 94411096299077 140734291709168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94411096538128 94411096585872 94411110420480 140734291712347 140734291712499 140734291712499 140734291718101 0
/proc/80935/statm: 1081 736 672 219 0 143 0
[pid=80940] ppid=80935 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/80940/stat : 80940 (timeout) S 80935 80940 80874 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71763705 2723840 352 18446744073709551615 94463599796224 94463599812737 140722064143200 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94463599827504 94463599829592 94463601610752 140722064148912 140722064149026 140722064149026 140722064154599 0
/proc/80940/statm: 665 352 352 5 0 90 0
[pid=80950] ppid=80940 vsize=137832 memory=129500 CPUtime=2376.89 cores=0,2
/proc/80950/stat : 80950 (NuPBO-DeepOptS+) R 80940 80940 80874 0 -1 4194304 51736 0 0 0 237680 9 0 0 20 0 1 0 71763706 141139968 32375 18446744073709551615 4198400 15468185 140729770372624 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49557504 140729770375612 140729770375713 140729770375713 140729770381286 0
/proc/80950/statm: 34458 32375 2848 2752 0 31111 0
Current children cumulated CPU time: 2376.89 s
Current children cumulated vsize: 144816 KiB
Current children cumulated memory: 133852 KiB

[startup+2442.3 s]
/proc/loadavg: 4.28 4.22 4.09 5/271 81149
/proc/meminfo: memFree=127323712/131250000 swapFree=33010684/33010684
[pid=80935] ppid=80926 vsize=4324 memory=2944 CPUtime=2392.59 cores=0,2
/proc/80935/stat : 80935 (Hybrid-NuPBODee) S 80926 80935 80874 0 -1 4194304 283 51998 0 0 0 0 239250 9 20 0 1 0 71763703 4427776 736 18446744073709551615 94411095404544 94411096299077 140734291709168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94411096538128 94411096585872 94411110420480 140734291712347 140734291712499 140734291712499 140734291718101 0
/proc/80935/statm: 1081 736 672 219 0 143 0
[pid=81084] ppid=80935 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/81084/stat : 81084 (timeout) S 80935 81084 80874 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72003506 2723840 352 18446744073709551615 94259563495424 94259563511937 140733691501344 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94259563526704 94259563528792 94259577286656 140733691509123 140733691509282 140733691509282 140733691514855 0
/proc/81084/statm: 665 352 352 5 0 90 0
[pid=81086] ppid=81084 vsize=192596 memory=148424 CPUtime=44.11 cores=0,2
/proc/81086/stat : 81086 (ExactPR-nols) R 81084 81084 80874 0 -1 4194304 19093 0 0 0 4392 19 0 0 20 0 1 0 72003507 197218304 37106 18446744073709551615 94193843617792 94193852917445 140734305643872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94193854703936 94193854743016 94193896767488 140734305647000 140734305647140 140734305647140 140734305652713 0
/proc/81086/statm: 48149 37106 1888 2271 0 42787 0
Current children cumulated CPU time: 2436.7 s
Current children cumulated vsize: 199580 KiB
Current children cumulated memory: 152776 KiB

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

# cumulated CPU time of all completed processes:  user=2450 s, system=0.334354 s

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

[startup+2444.8 s]
/proc/loadavg: 4.26 4.22 4.09 5/271 81149
/proc/meminfo: memFree=127324032/131250000 swapFree=33010684/33010684
[pid=80935] ppid=80926 vsize=4324 memory=2944 CPUtime=2392.59 cores=0,2
/proc/80935/stat : 80935 (Hybrid-NuPBODee) S 80926 80935 80874 0 -1 4194304 283 51998 0 0 0 0 239250 9 20 0 1 0 71763703 4427776 736 18446744073709551615 94411095404544 94411096299077 140734291709168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94411096538128 94411096585872 94411110420480 140734291712347 140734291712499 140734291712499 140734291718101 0
/proc/80935/statm: 1081 736 672 219 0 143 0
[pid=81084] ppid=80935 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/81084/stat : 81084 (timeout) S 80935 81084 80874 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72003506 2723840 352 18446744073709551615 94259563495424 94259563511937 140733691501344 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94259563526704 94259563528792 94259577286656 140733691509123 140733691509282 140733691509282 140733691514855 0
/proc/81084/statm: 665 352 352 5 0 90 0
[pid=81086] ppid=81084 vsize=193216 memory=149064 CPUtime=46.6 cores=0,2
/proc/81086/stat : 81086 (ExactPR-nols) R 81084 81084 80874 0 -1 4194304 19262 0 0 0 4641 19 0 0 20 0 1 0 72003507 197853184 37266 18446744073709551615 94193843617792 94193852917445 140734305643872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94193854703936 94193854743016 94193896767488 140734305647000 140734305647140 140734305647140 140734305652713 0
/proc/81086/statm: 48304 37266 1888 2271 0 42942 0
Current children cumulated CPU time: 2439.19 s
Current children cumulated vsize: 200200 KiB
Current children cumulated memory: 153416 KiB

[startup+2451.2 s]
/proc/loadavg: 4.24 4.21 4.09 5/271 81149
/proc/meminfo: memFree=127323816/131250000 swapFree=33010684/33010684
[pid=80935] ppid=80926 vsize=4324 memory=2944 CPUtime=2392.59 cores=0,2
/proc/80935/stat : 80935 (Hybrid-NuPBODee) S 80926 80935 80874 0 -1 4194304 283 51998 0 0 0 0 239250 9 20 0 1 0 71763703 4427776 736 18446744073709551615 94411095404544 94411096299077 140734291709168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94411096538128 94411096585872 94411110420480 140734291712347 140734291712499 140734291712499 140734291718101 0
/proc/80935/statm: 1081 736 672 219 0 143 0
[pid=81084] ppid=80935 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/81084/stat : 81084 (timeout) S 80935 81084 80874 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72003506 2723840 352 18446744073709551615 94259563495424 94259563511937 140733691501344 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94259563526704 94259563528792 94259577286656 140733691509123 140733691509282 140733691509282 140733691514855 0
/proc/81084/statm: 665 352 352 5 0 90 0
[pid=81086] ppid=81084 vsize=195168 memory=150984 CPUtime=52.99 cores=0,2
/proc/81086/stat : 81086 (ExactPR-nols) R 81084 81084 80874 0 -1 4194304 19714 0 0 0 5278 21 0 0 20 0 1 0 72003507 199852032 37746 18446744073709551615 94193843617792 94193852917445 140734305643872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94193854703936 94193854743016 94193896767488 140734305647000 140734305647140 140734305647140 140734305652713 0
/proc/81086/statm: 48792 37746 1888 2271 0 43430 0
Current children cumulated CPU time: 2445.58 s
Current children cumulated vsize: 202152 KiB
Current children cumulated memory: 155336 KiB

[startup+2454.4 s]
/proc/loadavg: 4.22 4.21 4.09 5/271 81149
/proc/meminfo: memFree=127315784/131250000 swapFree=33010684/33010684
[pid=80935] ppid=80926 vsize=4324 memory=2944 CPUtime=2392.59 cores=0,2
/proc/80935/stat : 80935 (Hybrid-NuPBODee) S 80926 80935 80874 0 -1 4194304 283 51998 0 0 0 0 239250 9 20 0 1 0 71763703 4427776 736 18446744073709551615 94411095404544 94411096299077 140734291709168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94411096538128 94411096585872 94411110420480 140734291712347 140734291712499 140734291712499 140734291718101 0
/proc/80935/statm: 1081 736 672 219 0 143 0
[pid=81084] ppid=80935 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/81084/stat : 81084 (timeout) S 80935 81084 80874 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72003506 2723840 352 18446744073709551615 94259563495424 94259563511937 140733691501344 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94259563526704 94259563528792 94259577286656 140733691509123 140733691509282 140733691509282 140733691514855 0
/proc/81084/statm: 665 352 352 5 0 90 0
[pid=81086] ppid=81084 vsize=197312 memory=153032 CPUtime=56.18 cores=0,2
/proc/81086/stat : 81086 (ExactPR-nols) R 81084 81084 80874 0 -1 4194304 20245 0 0 0 5596 22 0 0 20 0 1 0 72003507 202047488 38258 18446744073709551615 94193843617792 94193852917445 140734305643872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94193854703936 94193854743016 94193896767488 140734305647000 140734305647140 140734305647140 140734305652713 0
/proc/81086/statm: 49328 38258 1888 2271 0 43966 0
Current children cumulated CPU time: 2448.77 s
Current children cumulated vsize: 204296 KiB
Current children cumulated memory: 157384 KiB

[startup+2455.2 s]
/proc/loadavg: 4.22 4.21 4.09 5/271 81149
/proc/meminfo: memFree=127315784/131250000 swapFree=33010684/33010684
[pid=80935] ppid=80926 vsize=4324 memory=2944 CPUtime=2392.59 cores=0,2
/proc/80935/stat : 80935 (Hybrid-NuPBODee) S 80926 80935 80874 0 -1 4194304 283 51998 0 0 0 0 239250 9 20 0 1 0 71763703 4427776 736 18446744073709551615 94411095404544 94411096299077 140734291709168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94411096538128 94411096585872 94411110420480 140734291712347 140734291712499 140734291712499 140734291718101 0
/proc/80935/statm: 1081 736 672 219 0 143 0
[pid=81084] ppid=80935 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/81084/stat : 81084 (timeout) S 80935 81084 80874 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72003506 2723840 352 18446744073709551615 94259563495424 94259563511937 140733691501344 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94259563526704 94259563528792 94259577286656 140733691509123 140733691509282 140733691509282 140733691514855 0
/proc/81084/statm: 665 352 352 5 0 90 0
[pid=81086] ppid=81084 vsize=197832 memory=153416 CPUtime=56.98 cores=0,2
/proc/81086/stat : 81086 (ExactPR-nols) R 81084 81084 80874 0 -1 4194304 20342 0 0 0 5676 22 0 0 20 0 1 0 72003507 202579968 38354 18446744073709551615 94193843617792 94193852917445 140734305643872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94193854703936 94193854743016 94193896767488 140734305647000 140734305647140 140734305647140 140734305652713 0
/proc/81086/statm: 49458 38354 1888 2271 0 44096 0
Current children cumulated CPU time: 2449.57 s
Current children cumulated vsize: 204816 KiB
Current children cumulated memory: 157768 KiB

[startup+2455.6 s]
/proc/loadavg: 4.22 4.21 4.09 5/271 81149
/proc/meminfo: memFree=127315784/131250000 swapFree=33010684/33010684
[pid=80935] ppid=80926 vsize=4324 memory=2944 CPUtime=2392.59 cores=0,2
/proc/80935/stat : 80935 (Hybrid-NuPBODee) S 80926 80935 80874 0 -1 4194304 283 51998 0 0 0 0 239250 9 20 0 1 0 71763703 4427776 736 18446744073709551615 94411095404544 94411096299077 140734291709168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94411096538128 94411096585872 94411110420480 140734291712347 140734291712499 140734291712499 140734291718101 0
/proc/80935/statm: 1081 736 672 219 0 143 0
[pid=81084] ppid=80935 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/81084/stat : 81084 (timeout) S 80935 81084 80874 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72003506 2723840 352 18446744073709551615 94259563495424 94259563511937 140733691501344 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94259563526704 94259563528792 94259577286656 140733691509123 140733691509282 140733691509282 140733691514855 0
/proc/81084/statm: 665 352 352 5 0 90 0
[pid=81086] ppid=81084 vsize=197832 memory=153416 CPUtime=57.38 cores=0,2
/proc/81086/stat : 81086 (ExactPR-nols) R 81084 81084 80874 0 -1 4194304 20342 0 0 0 5716 22 0 0 20 0 1 0 72003507 202579968 38354 18446744073709551615 94193843617792 94193852917445 140734305643872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94193854703936 94193854743016 94193896767488 140734305647000 140734305647140 140734305647140 140734305652713 0
/proc/81086/statm: 49458 38354 1888 2271 0 44096 0
Current children cumulated CPU time: 2449.97 s
Current children cumulated vsize: 204816 KiB
Current children cumulated memory: 157768 KiB

[startup+2455.8 s]
/proc/loadavg: 4.22 4.21 4.09 5/271 81149
/proc/meminfo: memFree=127315784/131250000 swapFree=33010684/33010684
[pid=80935] ppid=80926 vsize=4324 memory=2944 CPUtime=2392.59 cores=0,2
/proc/80935/stat : 80935 (Hybrid-NuPBODee) S 80926 80935 80874 0 -1 4194304 283 51998 0 0 0 0 239250 9 20 0 1 0 71763703 4427776 736 18446744073709551615 94411095404544 94411096299077 140734291709168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94411096538128 94411096585872 94411110420480 140734291712347 140734291712499 140734291712499 140734291718101 0
/proc/80935/statm: 1081 736 672 219 0 143 0
[pid=81084] ppid=80935 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/81084/stat : 81084 (timeout) S 80935 81084 80874 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72003506 2723840 352 18446744073709551615 94259563495424 94259563511937 140733691501344 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94259563526704 94259563528792 94259577286656 140733691509123 140733691509282 140733691509282 140733691514855 0
/proc/81084/statm: 665 352 352 5 0 90 0
[pid=81086] ppid=81084 vsize=197832 memory=153416 CPUtime=57.57 cores=0,2
/proc/81086/stat : 81086 (ExactPR-nols) R 81084 81084 80874 0 -1 4194304 20342 0 0 0 5735 22 0 0 20 0 1 0 72003507 202579968 38354 18446744073709551615 94193843617792 94193852917445 140734305643872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94193854703936 94193854743016 94193896767488 140734305647000 140734305647140 140734305647140 140734305652713 0
/proc/81086/statm: 49458 38354 1888 2271 0 44096 0
Current children cumulated CPU time: 2450.16 s
Current children cumulated vsize: 204816 KiB
Current children cumulated memory: 157768 KiB

[startup+2455.9 s]
/proc/loadavg: 4.22 4.21 4.09 5/271 81149
/proc/meminfo: memFree=127315784/131250000 swapFree=33010684/33010684
[pid=80935] ppid=80926 vsize=4324 memory=2944 CPUtime=2392.59 cores=0,2
/proc/80935/stat : 80935 (Hybrid-NuPBODee) S 80926 80935 80874 0 -1 4194304 283 51998 0 0 0 0 239250 9 20 0 1 0 71763703 4427776 736 18446744073709551615 94411095404544 94411096299077 140734291709168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94411096538128 94411096585872 94411110420480 140734291712347 140734291712499 140734291712499 140734291718101 0
/proc/80935/statm: 1081 736 672 219 0 143 0
[pid=81084] ppid=80935 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/81084/stat : 81084 (timeout) S 80935 81084 80874 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72003506 2723840 352 18446744073709551615 94259563495424 94259563511937 140733691501344 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94259563526704 94259563528792 94259577286656 140733691509123 140733691509282 140733691509282 140733691514855 0
/proc/81084/statm: 665 352 352 5 0 90 0
[pid=81086] ppid=81084 vsize=197832 memory=153416 CPUtime=57.67 cores=0,2
/proc/81086/stat : 81086 (ExactPR-nols) R 81084 81084 80874 0 -1 4194304 20342 0 0 0 5745 22 0 0 20 0 1 0 72003507 202579968 38354 18446744073709551615 94193843617792 94193852917445 140734305643872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94193854703936 94193854743016 94193896767488 140734305647000 140734305647140 140734305647140 140734305652713 0
/proc/81086/statm: 49458 38354 1888 2271 0 44096 0
Current children cumulated CPU time: 2450.26 s
Current children cumulated vsize: 204816 KiB
Current children cumulated memory: 157768 KiB

Child status: 0

Real time (s): 2455.98
CPU time (s): 2450.33
CPU user time (s): 2450
CPU system time (s): 0.334354
CPU usage (%): 99.7703
Max. virtual memory (cumulated for all children) (KiB): 204816
Max. memory (cumulated for all children) (KiB): 157768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2450
system time used= 0.334354
maximum resident set size= 158580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73998
page faults= 0
swaps= 0
block input operations= 0
block output operations= 208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1060
involuntary context switches= 3400


# summary of solver processes directly reported to runsolver:
#   pid: 80935
#   total CPU time (s): 2450.33
#   total CPU user time (s): 2450
#   total CPU system time (s): 0.334354

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5893 second user time and 8.07956 second system time

The end