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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484015-1751282752/watcher-4484015-1751282752 -o /tmp/evaluation-result-4484015-1751282752/solver-4484015-1751282752 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751279152-47229 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4484015-1751282752.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=47671, runsolver pid=47668

[startup+0.100064 s]*
/proc/loadavg: 4.22 4.17 4.11 5/271 47675
/proc/meminfo: memFree=123780644/131249992 swapFree=33010684/33010684
[pid=47671] ppid=47668 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47671/stat : 47671 (Hybrid-NuPBODee) S 47668 47671 47216 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 43953959 4427776 768 18446744073709551615 94862752301056 94862753195589 140734326306480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94862753434640 94862753482384 94862779158528 140734326315355 140734326315507 140734326315507 140734326321109 0
/proc/47671/statm: 1081 768 704 219 0 143 0
[pid=47674] ppid=47671 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47674/stat : 47674 (timeout) S 47671 47674 47216 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43953960 2723840 352 18446744073709551615 93970510286848 93970510303361 140724769497328 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93970510318128 93970510320216 93970537910272 140724769499568 140724769499682 140724769499682 140724769505255 0
/proc/47674/statm: 665 352 352 5 0 90 0
[pid=47675] ppid=47674 vsize=34604 memory=24548 CPUtime=0.08 cores=5,7
/proc/47675/stat : 47675 (NuPBO-DeepOptS+) R 47674 47674 47216 0 -1 4194304 3879 0 0 0 7 1 0 0 20 0 1 0 43953961 35434496 6137 18446744073709551615 4198400 15468185 140721502422544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30552064 140721502431676 140721502431777 140721502431777 140721502437350 0
/proc/47675/statm: 8651 6137 2656 2752 0 5304 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 41588 KiB
Current children cumulated memory: 29028 KiB

[startup+0.20587 s]*
/proc/loadavg: 4.22 4.17 4.11 5/271 47675
/proc/meminfo: memFree=123780644/131249992 swapFree=33010684/33010684
[pid=47671] ppid=47668 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47671/stat : 47671 (Hybrid-NuPBODee) S 47668 47671 47216 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 43953959 4427776 768 18446744073709551615 94862752301056 94862753195589 140734326306480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94862753434640 94862753482384 94862779158528 140734326315355 140734326315507 140734326315507 140734326321109 0
/proc/47671/statm: 1081 768 704 219 0 143 0
[pid=47674] ppid=47671 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47674/stat : 47674 (timeout) S 47671 47674 47216 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43953960 2723840 352 18446744073709551615 93970510286848 93970510303361 140724769497328 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93970510318128 93970510320216 93970537910272 140724769499568 140724769499682 140724769499682 140724769505255 0
/proc/47674/statm: 665 352 352 5 0 90 0
[pid=47675] ppid=47674 vsize=45944 memory=35736 CPUtime=0.18 cores=5,7
/proc/47675/stat : 47675 (NuPBO-DeepOptS+) R 47674 47674 47216 0 -1 4194304 6598 0 0 0 17 1 0 0 20 0 1 0 43953961 47046656 8934 18446744073709551615 4198400 15468185 140721502422544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30552064 140721502431676 140721502431777 140721502431777 140721502437350 0
/proc/47675/statm: 11486 8934 2816 2752 0 8139 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 52928 KiB
Current children cumulated memory: 40216 KiB

[startup+0.30577 s]*
/proc/loadavg: 4.22 4.17 4.11 5/271 47675
/proc/meminfo: memFree=123781452/131249992 swapFree=33010684/33010684
[pid=47671] ppid=47668 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47671/stat : 47671 (Hybrid-NuPBODee) S 47668 47671 47216 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 43953959 4427776 768 18446744073709551615 94862752301056 94862753195589 140734326306480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94862753434640 94862753482384 94862779158528 140734326315355 140734326315507 140734326315507 140734326321109 0
/proc/47671/statm: 1081 768 704 219 0 143 0
[pid=47674] ppid=47671 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47674/stat : 47674 (timeout) S 47671 47674 47216 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43953960 2723840 352 18446744073709551615 93970510286848 93970510303361 140724769497328 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93970510318128 93970510320216 93970537910272 140724769499568 140724769499682 140724769499682 140724769505255 0
/proc/47674/statm: 665 352 352 5 0 90 0
[pid=47675] ppid=47674 vsize=36724 memory=27704 CPUtime=0.28 cores=5,7
/proc/47675/stat : 47675 (NuPBO-DeepOptS+) R 47674 47674 47216 0 -1 4194304 6661 0 0 0 27 1 0 0 20 0 1 0 43953961 37605376 6926 18446744073709551615 4198400 15468185 140721502422544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30552064 140721502431676 140721502431777 140721502431777 140721502437350 0
/proc/47675/statm: 9181 6926 2816 2752 0 5834 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 43708 KiB
Current children cumulated memory: 32184 KiB

[startup+0.700177 s]
/proc/loadavg: 4.22 4.17 4.11 5/271 47675
/proc/meminfo: memFree=123781452/131249992 swapFree=33010684/33010684
[pid=47671] ppid=47668 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47671/stat : 47671 (Hybrid-NuPBODee) S 47668 47671 47216 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 43953959 4427776 768 18446744073709551615 94862752301056 94862753195589 140734326306480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94862753434640 94862753482384 94862779158528 140734326315355 140734326315507 140734326315507 140734326321109 0
/proc/47671/statm: 1081 768 704 219 0 143 0
[pid=47674] ppid=47671 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47674/stat : 47674 (timeout) S 47671 47674 47216 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43953960 2723840 352 18446744073709551615 93970510286848 93970510303361 140724769497328 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93970510318128 93970510320216 93970537910272 140724769499568 140724769499682 140724769499682 140724769505255 0
/proc/47674/statm: 665 352 352 5 0 90 0
[pid=47675] ppid=47674 vsize=36724 memory=27704 CPUtime=0.67 cores=5,7
/proc/47675/stat : 47675 (NuPBO-DeepOptS+) R 47674 47674 47216 0 -1 4194304 6662 0 0 0 66 1 0 0 20 0 1 0 43953961 37605376 6926 18446744073709551615 4198400 15468185 140721502422544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30552064 140721502431676 140721502431777 140721502431777 140721502437350 0
/proc/47675/statm: 9181 6926 2816 2752 0 5834 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 43708 KiB
Current children cumulated memory: 32184 KiB

[startup+1.50017 s]
/proc/loadavg: 4.22 4.17 4.11 5/271 47675
/proc/meminfo: memFree=123781452/131249992 swapFree=33010684/33010684
[pid=47671] ppid=47668 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47671/stat : 47671 (Hybrid-NuPBODee) S 47668 47671 47216 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 43953959 4427776 768 18446744073709551615 94862752301056 94862753195589 140734326306480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94862753434640 94862753482384 94862779158528 140734326315355 140734326315507 140734326315507 140734326321109 0
/proc/47671/statm: 1081 768 704 219 0 143 0
[pid=47674] ppid=47671 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47674/stat : 47674 (timeout) S 47671 47674 47216 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43953960 2723840 352 18446744073709551615 93970510286848 93970510303361 140724769497328 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93970510318128 93970510320216 93970537910272 140724769499568 140724769499682 140724769499682 140724769505255 0
/proc/47674/statm: 665 352 352 5 0 90 0
[pid=47675] ppid=47674 vsize=36724 memory=27704 CPUtime=1.46 cores=5,7
/proc/47675/stat : 47675 (NuPBO-DeepOptS+) R 47674 47674 47216 0 -1 4194304 6662 0 0 0 145 1 0 0 20 0 1 0 43953961 37605376 6926 18446744073709551615 4198400 15468185 140721502422544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30552064 140721502431676 140721502431777 140721502431777 140721502437350 0
/proc/47675/statm: 9181 6926 2816 2752 0 5834 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 43708 KiB
Current children cumulated memory: 32184 KiB

[startup+3.10561 s]
/proc/loadavg: 4.22 4.17 4.11 5/271 47675
/proc/meminfo: memFree=123781856/131249992 swapFree=33010684/33010684
[pid=47671] ppid=47668 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47671/stat : 47671 (Hybrid-NuPBODee) S 47668 47671 47216 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 43953959 4427776 768 18446744073709551615 94862752301056 94862753195589 140734326306480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94862753434640 94862753482384 94862779158528 140734326315355 140734326315507 140734326315507 140734326321109 0
/proc/47671/statm: 1081 768 704 219 0 143 0
[pid=47674] ppid=47671 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47674/stat : 47674 (timeout) S 47671 47674 47216 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43953960 2723840 352 18446744073709551615 93970510286848 93970510303361 140724769497328 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93970510318128 93970510320216 93970537910272 140724769499568 140724769499682 140724769499682 140724769505255 0
/proc/47674/statm: 665 352 352 5 0 90 0
[pid=47675] ppid=47674 vsize=36724 memory=27704 CPUtime=3.07 cores=5,7
/proc/47675/stat : 47675 (NuPBO-DeepOptS+) R 47674 47674 47216 0 -1 4194304 6662 0 0 0 306 1 0 0 20 0 1 0 43953961 37605376 6926 18446744073709551615 4198400 15468185 140721502422544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30552064 140721502431676 140721502431777 140721502431777 140721502437350 0
/proc/47675/statm: 9181 6926 2816 2752 0 5834 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 43708 KiB
Current children cumulated memory: 32184 KiB

[startup+6.30016 s]
/proc/loadavg: 4.28 4.18 4.12 5/271 47675
/proc/meminfo: memFree=123765724/131249992 swapFree=33010684/33010684
[pid=47671] ppid=47668 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47671/stat : 47671 (Hybrid-NuPBODee) S 47668 47671 47216 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 43953959 4427776 768 18446744073709551615 94862752301056 94862753195589 140734326306480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94862753434640 94862753482384 94862779158528 140734326315355 140734326315507 140734326315507 140734326321109 0
/proc/47671/statm: 1081 768 704 219 0 143 0
[pid=47674] ppid=47671 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47674/stat : 47674 (timeout) S 47671 47674 47216 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43953960 2723840 352 18446744073709551615 93970510286848 93970510303361 140724769497328 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93970510318128 93970510320216 93970537910272 140724769499568 140724769499682 140724769499682 140724769505255 0
/proc/47674/statm: 665 352 352 5 0 90 0
[pid=47675] ppid=47674 vsize=36724 memory=27704 CPUtime=6.25 cores=5,7
/proc/47675/stat : 47675 (NuPBO-DeepOptS+) R 47674 47674 47216 0 -1 4194304 6662 0 0 0 624 1 0 0 20 0 1 0 43953961 37605376 6926 18446744073709551615 4198400 15468185 140721502422544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30552064 140721502431676 140721502431777 140721502431777 140721502437350 0
/proc/47675/statm: 9181 6926 2816 2752 0 5834 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 43708 KiB
Current children cumulated memory: 32184 KiB

[startup+12.7002 s]
/proc/loadavg: 4.26 4.18 4.12 5/271 47746
/proc/meminfo: memFree=124633460/131249992 swapFree=33010684/33010684
[pid=47671] ppid=47668 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47671/stat : 47671 (Hybrid-NuPBODee) S 47668 47671 47216 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 43953959 4427776 768 18446744073709551615 94862752301056 94862753195589 140734326306480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94862753434640 94862753482384 94862779158528 140734326315355 140734326315507 140734326315507 140734326321109 0
/proc/47671/statm: 1081 768 704 219 0 143 0
[pid=47674] ppid=47671 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47674/stat : 47674 (timeout) S 47671 47674 47216 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43953960 2723840 352 18446744073709551615 93970510286848 93970510303361 140724769497328 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93970510318128 93970510320216 93970537910272 140724769499568 140724769499682 140724769499682 140724769505255 0
/proc/47674/statm: 665 352 352 5 0 90 0
[pid=47675] ppid=47674 vsize=36724 memory=27704 CPUtime=12.64 cores=5,7
/proc/47675/stat : 47675 (NuPBO-DeepOptS+) R 47674 47674 47216 0 -1 4194304 6662 0 0 0 1263 1 0 0 20 0 1 0 43953961 37605376 6926 18446744073709551615 4198400 15468185 140721502422544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30552064 140721502431676 140721502431777 140721502431777 140721502437350 0
/proc/47675/statm: 9181 6926 2816 2752 0 5834 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 43708 KiB
Current children cumulated memory: 32184 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.17 4.11 5/270 47746
/proc/meminfo: memFree=124651740/131249992 swapFree=33010684/33010684
[pid=47671] ppid=47668 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47671/stat : 47671 (Hybrid-NuPBODee) S 47668 47671 47216 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 43953959 4427776 768 18446744073709551615 94862752301056 94862753195589 140734326306480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94862753434640 94862753482384 94862779158528 140734326315355 140734326315507 140734326315507 140734326321109 0
/proc/47671/statm: 1081 768 704 219 0 143 0
[pid=47674] ppid=47671 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47674/stat : 47674 (timeout) S 47671 47674 47216 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43953960 2723840 352 18446744073709551615 93970510286848 93970510303361 140724769497328 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93970510318128 93970510320216 93970537910272 140724769499568 140724769499682 140724769499682 140724769505255 0
/proc/47674/statm: 665 352 352 5 0 90 0
[pid=47675] ppid=47674 vsize=36724 memory=27704 CPUtime=25.41 cores=5,7
/proc/47675/stat : 47675 (NuPBO-DeepOptS+) R 47674 47674 47216 0 -1 4194304 6662 0 0 0 2540 1 0 0 20 0 1 0 43953961 37605376 6926 18446744073709551615 4198400 15468185 140721502422544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30552064 140721502431676 140721502431777 140721502431777 140721502437350 0
/proc/47675/statm: 9181 6926 2816 2752 0 5834 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 43708 KiB
Current children cumulated memory: 32184 KiB

[startup+51.1054 s]
/proc/loadavg: 4.21 4.17 4.12 5/270 47746
/proc/meminfo: memFree=124635924/131249992 swapFree=33010684/33010684
[pid=47671] ppid=47668 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47671/stat : 47671 (Hybrid-NuPBODee) S 47668 47671 47216 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 43953959 4427776 768 18446744073709551615 94862752301056 94862753195589 140734326306480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94862753434640 94862753482384 94862779158528 140734326315355 140734326315507 140734326315507 140734326321109 0
/proc/47671/statm: 1081 768 704 219 0 143 0
[pid=47674] ppid=47671 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47674/stat : 47674 (timeout) S 47671 47674 47216 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43953960 2723840 352 18446744073709551615 93970510286848 93970510303361 140724769497328 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93970510318128 93970510320216 93970537910272 140724769499568 140724769499682 140724769499682 140724769505255 0
/proc/47674/statm: 665 352 352 5 0 90 0
[pid=47675] ppid=47674 vsize=36724 memory=27704 CPUtime=50.95 cores=5,7
/proc/47675/stat : 47675 (NuPBO-DeepOptS+) R 47674 47674 47216 0 -1 4194304 6662 0 0 0 5094 1 0 0 20 0 1 0 43953961 37605376 6926 18446744073709551615 4198400 15468185 140721502422544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30552064 140721502431676 140721502431777 140721502431777 140721502437350 0
/proc/47675/statm: 9181 6926 2816 2752 0 5834 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 43708 KiB
Current children cumulated memory: 32184 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/271 47749
/proc/meminfo: memFree=124500540/131249992 swapFree=33010684/33010684
[pid=47671] ppid=47668 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47671/stat : 47671 (Hybrid-NuPBODee) S 47668 47671 47216 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 43953959 4427776 768 18446744073709551615 94862752301056 94862753195589 140734326306480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94862753434640 94862753482384 94862779158528 140734326315355 140734326315507 140734326315507 140734326321109 0
/proc/47671/statm: 1081 768 704 219 0 143 0
[pid=47674] ppid=47671 vsize=2660 memory=1408 CPUtime=0 cores=5,7

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

/proc/47675/statm: 9181 7214 2816 2752 0 5834 0
Current children cumulated CPU time: 2257.1 s
Current children cumulated vsize: 43708 KiB
Current children cumulated memory: 33336 KiB

[startup+2322.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 47878
/proc/meminfo: memFree=125055640/131249992 swapFree=33010684/33010684
[pid=47671] ppid=47668 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47671/stat : 47671 (Hybrid-NuPBODee) S 47668 47671 47216 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 43953959 4427776 768 18446744073709551615 94862752301056 94862753195589 140734326306480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94862753434640 94862753482384 94862779158528 140734326315355 140734326315507 140734326315507 140734326321109 0
/proc/47671/statm: 1081 768 704 219 0 143 0
[pid=47674] ppid=47671 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47674/stat : 47674 (timeout) S 47671 47674 47216 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43953960 2723840 352 18446744073709551615 93970510286848 93970510303361 140724769497328 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93970510318128 93970510320216 93970537910272 140724769499568 140724769499682 140724769499682 140724769505255 0
/proc/47674/statm: 665 352 352 5 0 90 0
[pid=47675] ppid=47674 vsize=36724 memory=28856 CPUtime=2316.96 cores=5,7
/proc/47675/stat : 47675 (NuPBO-DeepOptS+) R 47674 47674 47216 0 -1 4194304 6690 0 0 0 231695 1 0 0 20 0 1 0 43953961 37605376 7214 18446744073709551615 4198400 15468185 140721502422544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30552064 140721502431676 140721502431777 140721502431777 140721502437350 0
/proc/47675/statm: 9181 7214 2816 2752 0 5834 0
Current children cumulated CPU time: 2316.96 s
Current children cumulated vsize: 43708 KiB
Current children cumulated memory: 33336 KiB

[startup+2382.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/270 47880
/proc/meminfo: memFree=125022564/131249992 swapFree=33010684/33010684
[pid=47671] ppid=47668 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47671/stat : 47671 (Hybrid-NuPBODee) S 47668 47671 47216 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 43953959 4427776 768 18446744073709551615 94862752301056 94862753195589 140734326306480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94862753434640 94862753482384 94862779158528 140734326315355 140734326315507 140734326315507 140734326321109 0
/proc/47671/statm: 1081 768 704 219 0 143 0
[pid=47674] ppid=47671 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47674/stat : 47674 (timeout) S 47671 47674 47216 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43953960 2723840 352 18446744073709551615 93970510286848 93970510303361 140724769497328 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93970510318128 93970510320216 93970537910272 140724769499568 140724769499682 140724769499682 140724769505255 0
/proc/47674/statm: 665 352 352 5 0 90 0
[pid=47675] ppid=47674 vsize=36724 memory=28856 CPUtime=2376.82 cores=5,7
/proc/47675/stat : 47675 (NuPBO-DeepOptS+) R 47674 47674 47216 0 -1 4194304 6692 0 0 0 237681 1 0 0 20 0 1 0 43953961 37605376 7214 18446744073709551615 4198400 15468185 140721502422544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30552064 140721502431676 140721502431777 140721502431777 140721502437350 0
/proc/47675/statm: 9181 7214 2816 2752 0 5834 0
Current children cumulated CPU time: 2376.82 s
Current children cumulated vsize: 43708 KiB
Current children cumulated memory: 33336 KiB

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

# cumulated CPU time of all completed processes:  user=2401.39 s, system=0.136657 s

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

[startup+2393.6 s]
/proc/loadavg: 4.06 4.08 4.09 5/270 47880
/proc/meminfo: memFree=125022644/131249992 swapFree=33010684/33010684
[pid=47671] ppid=47668 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47671/stat : 47671 (Hybrid-NuPBODee) S 47668 47671 47216 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 43953959 4427776 768 18446744073709551615 94862752301056 94862753195589 140734326306480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94862753434640 94862753482384 94862779158528 140734326315355 140734326315507 140734326315507 140734326321109 0
/proc/47671/statm: 1081 768 704 219 0 143 0
[pid=47674] ppid=47671 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47674/stat : 47674 (timeout) S 47671 47674 47216 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43953960 2723840 352 18446744073709551615 93970510286848 93970510303361 140724769497328 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93970510318128 93970510320216 93970537910272 140724769499568 140724769499682 140724769499682 140724769505255 0
/proc/47674/statm: 665 352 352 5 0 90 0
[pid=47675] ppid=47674 vsize=36724 memory=28856 CPUtime=2388.09 cores=5,7
/proc/47675/stat : 47675 (NuPBO-DeepOptS+) R 47674 47674 47216 0 -1 4194304 6692 0 0 0 238808 1 0 0 20 0 1 0 43953961 37605376 7214 18446744073709551615 4198400 15468185 140721502422544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30552064 140721502431676 140721502431777 140721502431777 140721502437350 0
/proc/47675/statm: 9181 7214 2816 2752 0 5834 0
Current children cumulated CPU time: 2388.09 s
Current children cumulated vsize: 43708 KiB
Current children cumulated memory: 33336 KiB

[startup+2400 s]*
/proc/loadavg: 4.05 4.08 4.09 5/270 47882
/proc/meminfo: memFree=124977908/131249992 swapFree=33010684/33010684
[pid=47671] ppid=47668 vsize=4324 memory=3072 CPUtime=2392.5 cores=5,7
/proc/47671/stat : 47671 (Hybrid-NuPBODee) S 47668 47671 47216 0 -1 4194304 281 6923 0 0 0 0 239249 1 20 0 1 0 43953959 4427776 768 18446744073709551615 94862752301056 94862753195589 140734326306480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94862753434640 94862753482384 94862779158528 140734326315355 140734326315507 140734326315507 140734326321109 0
/proc/47671/statm: 1081 768 704 219 0 143 0
[pid=47881] ppid=47671 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47881/stat : 47881 (timeout) S 47671 47881 47216 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44193761 2723840 352 18446744073709551615 94756733550592 94756733567105 140734971060800 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94756733581872 94756733583960 94756744364032 140734971066755 140734971066914 140734971066914 140734971072487 0
/proc/47881/statm: 665 352 352 5 0 90 0
[pid=47882] ppid=47881 vsize=110752 memory=75424 CPUtime=1.96 cores=5,7
/proc/47882/stat : 47882 (ExactPR-nols) R 47881 47881 47216 0 -1 4194304 11261 0 0 0 193 3 0 0 20 0 1 0 44193762 113410048 18856 18446744073709551615 94456275972096 94456285271749 140731227164336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94456287058240 94456287097320 94456297578496 140731227171224 140731227171364 140731227171364 140731227176937 0
/proc/47882/statm: 27688 18856 1920 2271 0 22326 0
Current children cumulated CPU time: 2394.46 s
Current children cumulated vsize: 117736 KiB
Current children cumulated memory: 79904 KiB

[startup+2403.2 s]
/proc/loadavg: 4.05 4.08 4.09 5/270 47882
/proc/meminfo: memFree=124941996/131249992 swapFree=33010684/33010684
[pid=47671] ppid=47668 vsize=4324 memory=3072 CPUtime=2392.5 cores=5,7
/proc/47671/stat : 47671 (Hybrid-NuPBODee) S 47668 47671 47216 0 -1 4194304 281 6923 0 0 0 0 239249 1 20 0 1 0 43953959 4427776 768 18446744073709551615 94862752301056 94862753195589 140734326306480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94862753434640 94862753482384 94862779158528 140734326315355 140734326315507 140734326315507 140734326321109 0
/proc/47671/statm: 1081 768 704 219 0 143 0
[pid=47881] ppid=47671 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47881/stat : 47881 (timeout) S 47671 47881 47216 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44193761 2723840 352 18446744073709551615 94756733550592 94756733567105 140734971060800 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94756733581872 94756733583960 94756744364032 140734971066755 140734971066914 140734971066914 140734971072487 0
/proc/47881/statm: 665 352 352 5 0 90 0
[pid=47882] ppid=47881 vsize=145760 memory=109004 CPUtime=5.14 cores=5,7
/proc/47882/stat : 47882 (ExactPR-nols) R 47881 47881 47216 0 -1 4194304 15497 0 0 0 508 6 0 0 20 0 1 0 44193762 149258240 27251 18446744073709551615 94456275972096 94456285271749 140731227164336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94456287058240 94456287097320 94456297578496 140731227171224 140731227171364 140731227171364 140731227176937 0
/proc/47882/statm: 36440 27251 1920 2271 0 31078 0
Current children cumulated CPU time: 2397.64 s
Current children cumulated vsize: 152744 KiB
Current children cumulated memory: 113484 KiB

[startup+2404.8 s]
/proc/loadavg: 4.04 4.08 4.08 5/270 47882
/proc/meminfo: memFree=124899164/131249992 swapFree=33010684/33010684
[pid=47671] ppid=47668 vsize=4324 memory=3072 CPUtime=2392.5 cores=5,7
/proc/47671/stat : 47671 (Hybrid-NuPBODee) S 47668 47671 47216 0 -1 4194304 281 6923 0 0 0 0 239249 1 20 0 1 0 43953959 4427776 768 18446744073709551615 94862752301056 94862753195589 140734326306480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94862753434640 94862753482384 94862779158528 140734326315355 140734326315507 140734326315507 140734326321109 0
/proc/47671/statm: 1081 768 704 219 0 143 0
[pid=47881] ppid=47671 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47881/stat : 47881 (timeout) S 47671 47881 47216 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44193761 2723840 352 18446744073709551615 94756733550592 94756733567105 140734971060800 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94756733581872 94756733583960 94756744364032 140734971066755 140734971066914 140734971066914 140734971072487 0
/proc/47881/statm: 665 352 352 5 0 90 0
[pid=47882] ppid=47881 vsize=192356 memory=129076 CPUtime=6.74 cores=5,7
/proc/47882/stat : 47882 (ExactPR-nols) R 47881 47881 47216 0 -1 4194304 17395 0 0 0 666 8 0 0 20 0 1 0 44193762 196972544 32269 18446744073709551615 94456275972096 94456285271749 140731227164336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94456287058240 94456287097320 94456297578496 140731227171224 140731227171364 140731227171364 140731227176937 0
/proc/47882/statm: 48089 32269 1920 2271 0 42727 0
Current children cumulated CPU time: 2399.24 s
Current children cumulated vsize: 199340 KiB
Current children cumulated memory: 133556 KiB

[startup+2406.4 s]
/proc/loadavg: 4.04 4.08 4.08 5/270 47882
/proc/meminfo: memFree=124907572/131249992 swapFree=33010684/33010684
[pid=47671] ppid=47668 vsize=4324 memory=3072 CPUtime=2392.5 cores=5,7
/proc/47671/stat : 47671 (Hybrid-NuPBODee) S 47668 47671 47216 0 -1 4194304 281 6923 0 0 0 0 239249 1 20 0 1 0 43953959 4427776 768 18446744073709551615 94862752301056 94862753195589 140734326306480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94862753434640 94862753482384 94862779158528 140734326315355 140734326315507 140734326315507 140734326321109 0
/proc/47671/statm: 1081 768 704 219 0 143 0
[pid=47881] ppid=47671 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47881/stat : 47881 (timeout) S 47671 47881 47216 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44193761 2723840 352 18446744073709551615 94756733550592 94756733567105 140734971060800 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94756733581872 94756733583960 94756744364032 140734971066755 140734971066914 140734971066914 140734971072487 0
/proc/47881/statm: 665 352 352 5 0 90 0
[pid=47882] ppid=47881 vsize=193552 memory=130228 CPUtime=8.33 cores=5,7
/proc/47882/stat : 47882 (ExactPR-nols) R 47881 47881 47216 0 -1 4194304 17688 0 0 0 824 9 0 0 20 0 1 0 44193762 198197248 32557 18446744073709551615 94456275972096 94456285271749 140731227164336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94456287058240 94456287097320 94456297578496 140731227171224 140731227171364 140731227171364 140731227176937 0
/proc/47882/statm: 48388 32557 1920 2271 0 43026 0
Current children cumulated CPU time: 2400.83 s
Current children cumulated vsize: 200536 KiB
Current children cumulated memory: 134708 KiB

[startup+2406.8 s]
/proc/loadavg: 4.04 4.08 4.08 5/270 47882
/proc/meminfo: memFree=124907572/131249992 swapFree=33010684/33010684
[pid=47671] ppid=47668 vsize=4324 memory=3072 CPUtime=2392.5 cores=5,7
/proc/47671/stat : 47671 (Hybrid-NuPBODee) S 47668 47671 47216 0 -1 4194304 281 6923 0 0 0 0 239249 1 20 0 1 0 43953959 4427776 768 18446744073709551615 94862752301056 94862753195589 140734326306480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94862753434640 94862753482384 94862779158528 140734326315355 140734326315507 140734326315507 140734326321109 0
/proc/47671/statm: 1081 768 704 219 0 143 0
[pid=47881] ppid=47671 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47881/stat : 47881 (timeout) S 47671 47881 47216 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44193761 2723840 352 18446744073709551615 94756733550592 94756733567105 140734971060800 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94756733581872 94756733583960 94756744364032 140734971066755 140734971066914 140734971066914 140734971072487 0
/proc/47881/statm: 665 352 352 5 0 90 0
[pid=47882] ppid=47881 vsize=197684 memory=133044 CPUtime=8.73 cores=5,7
/proc/47882/stat : 47882 (ExactPR-nols) R 47881 47881 47216 0 -1 4194304 18397 0 0 0 864 9 0 0 20 0 1 0 44193762 202428416 33261 18446744073709551615 94456275972096 94456285271749 140731227164336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94456287058240 94456287097320 94456297578496 140731227171224 140731227171364 140731227171364 140731227176937 0
/proc/47882/statm: 49421 33261 1920 2271 0 44059 0
Current children cumulated CPU time: 2401.23 s
Current children cumulated vsize: 204668 KiB
Current children cumulated memory: 137524 KiB

[startup+2407 s]*
/proc/loadavg: 4.04 4.08 4.08 5/270 47882
/proc/meminfo: memFree=124902284/131249992 swapFree=33010684/33010684
[pid=47671] ppid=47668 vsize=4324 memory=3072 CPUtime=2392.5 cores=5,7
/proc/47671/stat : 47671 (Hybrid-NuPBODee) S 47668 47671 47216 0 -1 4194304 281 6923 0 0 0 0 239249 1 20 0 1 0 43953959 4427776 768 18446744073709551615 94862752301056 94862753195589 140734326306480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94862753434640 94862753482384 94862779158528 140734326315355 140734326315507 140734326315507 140734326321109 0
/proc/47671/statm: 1081 768 704 219 0 143 0
[pid=47881] ppid=47671 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47881/stat : 47881 (timeout) S 47671 47881 47216 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44193761 2723840 352 18446744073709551615 94756733550592 94756733567105 140734971060800 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94756733581872 94756733583960 94756744364032 140734971066755 140734971066914 140734971066914 140734971072487 0
/proc/47881/statm: 665 352 352 5 0 90 0
[pid=47882] ppid=47881 vsize=197848 memory=133300 CPUtime=8.93 cores=5,7
/proc/47882/stat : 47882 (ExactPR-nols) R 47881 47881 47216 0 -1 4194304 18437 0 0 0 884 9 0 0 20 0 1 0 44193762 202596352 33325 18446744073709551615 94456275972096 94456285271749 140731227164336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94456287058240 94456287097320 94456297578496 140731227171224 140731227171364 140731227171364 140731227176937 0
/proc/47882/statm: 49462 33325 1920 2271 0 44100 0
Current children cumulated CPU time: 2401.43 s
Current children cumulated vsize: 204832 KiB
Current children cumulated memory: 137780 KiB

Child status: 0

Real time (s): 2407.09
CPU time (s): 2401.53
CPU user time (s): 2401.39
CPU system time (s): 0.136657
CPU usage (%): 99.7691
Max. virtual memory (cumulated for all children) (KiB): 204832
Max. memory (cumulated for all children) (KiB): 137780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2401.39
system time used= 0.136657
maximum resident set size= 174272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26970
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 952
involuntary context switches= 640


# summary of solver processes directly reported to runsolver:
#   pid: 47671
#   total CPU time (s): 2401.53
#   total CPU user time (s): 2401.39
#   total CPU system time (s): 0.136657

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.62097 second user time and 10.6052 second system time

The end