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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523683-1751608016/watcher-4523683-1751608016 -o /tmp/evaluation-result-4523683-1751608016/solver-4523683-1751608016 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751608016-89744 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4523683-1751608016.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
Starting watchdog thread
solver pid=89775, runsolver pid=89772
Current StackSize limit: 8192 KiB


[startup+0.100069 s]*
/proc/loadavg: 1.41 2.68 3.56 5/245 89793
/proc/meminfo: memFree=129536492/131382120 swapFree=33010416/33010684
[pid=89775] ppid=89772 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/89775/stat : 89775 (Hybrid-NuPBODee) S 89772 89775 89672 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 76480336 4427776 736 18446744073709551615 94007964049408 94007964943941 140734578072576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94007965182992 94007965230736 94007967105024 140734578080091 140734578080243 140734578080243 140734578085845 0
/proc/89775/statm: 1081 736 672 219 0 143 0
[pid=89781] ppid=89775 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/89781/stat : 89781 (timeout) S 89775 89781 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480338 2723840 352 18446744073709551615 94203677995008 94203678011521 140735509728672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94203678026288 94203678028376 94203692359680 140735509735856 140735509735970 140735509735970 140735509741543 0
/proc/89781/statm: 665 352 352 5 0 90 0
[pid=89786] ppid=89781 vsize=20532 memory=5660 CPUtime=0.06 cores=0,2
/proc/89786/stat : 89786 (NuPBO-DeepOptS+) R 89781 89781 89672 0 -1 4194304 661 0 0 0 6 0 0 0 20 0 1 0 76480339 21024768 1415 18446744073709551615 4198400 15468185 140726308824816 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 39006208 140726308829628 140726308829729 140726308829729 140726308835302 0
/proc/89786/statm: 5133 1415 1088 2752 0 1786 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 27516 KiB
Current children cumulated memory: 10012 KiB

[startup+0.213203 s]*
/proc/loadavg: 1.41 2.68 3.56 5/261 89815
/proc/meminfo: memFree=129530404/131382120 swapFree=33010416/33010684
[pid=89775] ppid=89772 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/89775/stat : 89775 (Hybrid-NuPBODee) S 89772 89775 89672 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 76480336 4427776 736 18446744073709551615 94007964049408 94007964943941 140734578072576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94007965182992 94007965230736 94007967105024 140734578080091 140734578080243 140734578080243 140734578085845 0
/proc/89775/statm: 1081 736 672 219 0 143 0
[pid=89781] ppid=89775 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/89781/stat : 89781 (timeout) S 89775 89781 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480338 2723840 352 18446744073709551615 94203677995008 94203678011521 140735509728672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94203678026288 94203678028376 94203692359680 140735509735856 140735509735970 140735509735970 140735509741543 0
/proc/89781/statm: 665 352 352 5 0 90 0
[pid=89786] ppid=89781 vsize=21556 memory=6940 CPUtime=0.17 cores=0,2
/proc/89786/stat : 89786 (NuPBO-DeepOptS+) R 89781 89781 89672 0 -1 4194304 1215 0 0 0 17 0 0 0 20 0 1 0 76480339 22073344 1735 18446744073709551615 4198400 15468185 140726308824816 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 39006208 140726308829628 140726308829729 140726308829729 140726308835302 0
/proc/89786/statm: 5389 1735 1088 2752 0 2042 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 28540 KiB
Current children cumulated memory: 11292 KiB

[startup+0.314015 s]*
/proc/loadavg: 1.41 2.68 3.56 5/261 89815
/proc/meminfo: memFree=129529144/131382120 swapFree=33010416/33010684
[pid=89775] ppid=89772 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/89775/stat : 89775 (Hybrid-NuPBODee) S 89772 89775 89672 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 76480336 4427776 736 18446744073709551615 94007964049408 94007964943941 140734578072576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94007965182992 94007965230736 94007967105024 140734578080091 140734578080243 140734578080243 140734578085845 0
/proc/89775/statm: 1081 736 672 219 0 143 0
[pid=89781] ppid=89775 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/89781/stat : 89781 (timeout) S 89775 89781 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480338 2723840 352 18446744073709551615 94203677995008 94203678011521 140735509728672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94203678026288 94203678028376 94203692359680 140735509735856 140735509735970 140735509735970 140735509741543 0
/proc/89781/statm: 665 352 352 5 0 90 0
[pid=89786] ppid=89781 vsize=23604 memory=8776 CPUtime=0.27 cores=0,2
/proc/89786/stat : 89786 (NuPBO-DeepOptS+) R 89781 89781 89672 0 -1 4194304 1676 0 0 0 27 0 0 0 20 0 1 0 76480339 24170496 2194 18446744073709551615 4198400 15468185 140726308824816 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 39006208 140726308829628 140726308829729 140726308829729 140726308835302 0
/proc/89786/statm: 5901 2194 1088 2752 0 2554 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 30588 KiB
Current children cumulated memory: 13128 KiB

[startup+0.700464 s]
/proc/loadavg: 1.41 2.68 3.56 5/261 89815
/proc/meminfo: memFree=129524876/131382120 swapFree=33010416/33010684
[pid=89775] ppid=89772 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/89775/stat : 89775 (Hybrid-NuPBODee) S 89772 89775 89672 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 76480336 4427776 736 18446744073709551615 94007964049408 94007964943941 140734578072576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94007965182992 94007965230736 94007967105024 140734578080091 140734578080243 140734578080243 140734578085845 0
/proc/89775/statm: 1081 736 672 219 0 143 0
[pid=89781] ppid=89775 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/89781/stat : 89781 (timeout) S 89775 89781 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480338 2723840 352 18446744073709551615 94203677995008 94203678011521 140735509728672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94203678026288 94203678028376 94203692359680 140735509735856 140735509735970 140735509735970 140735509741543 0
/proc/89781/statm: 665 352 352 5 0 90 0
[pid=89786] ppid=89781 vsize=27700 memory=10828 CPUtime=0.64 cores=0,2
/proc/89786/stat : 89786 (NuPBO-DeepOptS+) R 89781 89781 89672 0 -1 4194304 2192 0 0 0 64 0 0 0 20 0 1 0 76480339 28364800 2707 18446744073709551615 4198400 15468185 140726308824816 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 39006208 140726308829628 140726308829729 140726308829729 140726308835302 0
/proc/89786/statm: 6925 2707 1088 2752 0 3578 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 34684 KiB
Current children cumulated memory: 15180 KiB

[startup+1.50054 s]
/proc/loadavg: 1.41 2.68 3.56 5/261 89815
/proc/meminfo: memFree=129514504/131382120 swapFree=33010416/33010684
[pid=89775] ppid=89772 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/89775/stat : 89775 (Hybrid-NuPBODee) S 89772 89775 89672 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 76480336 4427776 736 18446744073709551615 94007964049408 94007964943941 140734578072576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94007965182992 94007965230736 94007967105024 140734578080091 140734578080243 140734578080243 140734578085845 0
/proc/89775/statm: 1081 736 672 219 0 143 0
[pid=89781] ppid=89775 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/89781/stat : 89781 (timeout) S 89775 89781 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480338 2723840 352 18446744073709551615 94203677995008 94203678011521 140735509728672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94203678026288 94203678028376 94203692359680 140735509735856 140735509735970 140735509735970 140735509741543 0
/proc/89781/statm: 665 352 352 5 0 90 0
[pid=89786] ppid=89781 vsize=79896 memory=63064 CPUtime=1.45 cores=0,2
/proc/89786/stat : 89786 (NuPBO-DeepOptS+) R 89781 89781 89672 0 -1 4194304 7043 0 0 0 142 3 0 0 20 0 1 0 76480339 81813504 15766 18446744073709551615 4198400 15468185 140726308824816 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 39006208 140726308829628 140726308829729 140726308829729 140726308835302 0
/proc/89786/statm: 19974 15766 1152 2752 0 16627 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 86880 KiB
Current children cumulated memory: 67416 KiB

[startup+3.11358 s]
/proc/loadavg: 1.41 2.68 3.56 5/261 89815
/proc/meminfo: memFree=129270340/131382120 swapFree=33010416/33010684
[pid=89775] ppid=89772 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/89775/stat : 89775 (Hybrid-NuPBODee) S 89772 89775 89672 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 76480336 4427776 736 18446744073709551615 94007964049408 94007964943941 140734578072576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94007965182992 94007965230736 94007967105024 140734578080091 140734578080243 140734578080243 140734578085845 0
/proc/89775/statm: 1081 736 672 219 0 143 0
[pid=89781] ppid=89775 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/89781/stat : 89781 (timeout) S 89775 89781 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480338 2723840 352 18446744073709551615 94203677995008 94203678011521 140735509728672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94203678026288 94203678028376 94203692359680 140735509735856 140735509735970 140735509735970 140735509741543 0
/proc/89781/statm: 665 352 352 5 0 90 0
[pid=89786] ppid=89781 vsize=79896 memory=63064 CPUtime=3.05 cores=0,2
/proc/89786/stat : 89786 (NuPBO-DeepOptS+) R 89781 89781 89672 0 -1 4194304 7050 0 0 0 302 3 0 0 20 0 1 0 76480339 81813504 15766 18446744073709551615 4198400 15468185 140726308824816 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 39006208 140726308829628 140726308829729 140726308829729 140726308835302 0
/proc/89786/statm: 19974 15766 1152 2752 0 16627 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 86880 KiB
Current children cumulated memory: 67416 KiB

[startup+6.30042 s]
/proc/loadavg: 1.62 2.70 3.56 5/261 89815
/proc/meminfo: memFree=128990164/131382120 swapFree=33010416/33010684
[pid=89775] ppid=89772 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/89775/stat : 89775 (Hybrid-NuPBODee) S 89772 89775 89672 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 76480336 4427776 736 18446744073709551615 94007964049408 94007964943941 140734578072576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94007965182992 94007965230736 94007967105024 140734578080091 140734578080243 140734578080243 140734578085845 0
/proc/89775/statm: 1081 736 672 219 0 143 0
[pid=89781] ppid=89775 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/89781/stat : 89781 (timeout) S 89775 89781 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480338 2723840 352 18446744073709551615 94203677995008 94203678011521 140735509728672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94203678026288 94203678028376 94203692359680 140735509735856 140735509735970 140735509735970 140735509741543 0
/proc/89781/statm: 665 352 352 5 0 90 0
[pid=89786] ppid=89781 vsize=79896 memory=63064 CPUtime=6.23 cores=0,2
/proc/89786/stat : 89786 (NuPBO-DeepOptS+) R 89781 89781 89672 0 -1 4194304 7057 0 0 0 620 3 0 0 20 0 1 0 76480339 81813504 15766 18446744073709551615 4198400 15468185 140726308824816 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 39006208 140726308829628 140726308829729 140726308829729 140726308835302 0
/proc/89786/statm: 19974 15766 1152 2752 0 16627 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 86880 KiB
Current children cumulated memory: 67416 KiB

[startup+12.7004 s]
/proc/loadavg: 1.81 2.73 3.56 5/261 89815
/proc/meminfo: memFree=128911948/131382120 swapFree=33010416/33010684
[pid=89775] ppid=89772 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/89775/stat : 89775 (Hybrid-NuPBODee) S 89772 89775 89672 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 76480336 4427776 736 18446744073709551615 94007964049408 94007964943941 140734578072576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94007965182992 94007965230736 94007967105024 140734578080091 140734578080243 140734578080243 140734578085845 0
/proc/89775/statm: 1081 736 672 219 0 143 0
[pid=89781] ppid=89775 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/89781/stat : 89781 (timeout) S 89775 89781 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480338 2723840 352 18446744073709551615 94203677995008 94203678011521 140735509728672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94203678026288 94203678028376 94203692359680 140735509735856 140735509735970 140735509735970 140735509741543 0
/proc/89781/statm: 665 352 352 5 0 90 0
[pid=89786] ppid=89781 vsize=79896 memory=63064 CPUtime=12.62 cores=0,2
/proc/89786/stat : 89786 (NuPBO-DeepOptS+) R 89781 89781 89672 0 -1 4194304 7063 0 0 0 1259 3 0 0 20 0 1 0 76480339 81813504 15766 18446744073709551615 4198400 15468185 140726308824816 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 39006208 140726308829628 140726308829729 140726308829729 140726308835302 0
/proc/89786/statm: 19974 15766 1152 2752 0 16627 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 86880 KiB
Current children cumulated memory: 67416 KiB

[startup+25.5005 s]
/proc/loadavg: 2.37 2.81 3.58 5/261 89816
/proc/meminfo: memFree=128849904/131382120 swapFree=33010416/33010684
[pid=89775] ppid=89772 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/89775/stat : 89775 (Hybrid-NuPBODee) S 89772 89775 89672 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 76480336 4427776 736 18446744073709551615 94007964049408 94007964943941 140734578072576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94007965182992 94007965230736 94007967105024 140734578080091 140734578080243 140734578080243 140734578085845 0
/proc/89775/statm: 1081 736 672 219 0 143 0
[pid=89781] ppid=89775 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/89781/stat : 89781 (timeout) S 89775 89781 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480338 2723840 352 18446744073709551615 94203677995008 94203678011521 140735509728672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94203678026288 94203678028376 94203692359680 140735509735856 140735509735970 140735509735970 140735509741543 0
/proc/89781/statm: 665 352 352 5 0 90 0
[pid=89786] ppid=89781 vsize=79896 memory=63064 CPUtime=25.39 cores=0,2
/proc/89786/stat : 89786 (NuPBO-DeepOptS+) R 89781 89781 89672 0 -1 4194304 7069 0 0 0 2536 3 0 0 20 0 1 0 76480339 81813504 15766 18446744073709551615 4198400 15468185 140726308824816 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 39006208 140726308829628 140726308829729 140726308829729 140726308835302 0
/proc/89786/statm: 19974 15766 1152 2752 0 16627 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 86880 KiB
Current children cumulated memory: 67416 KiB

[startup+51.1132 s]
/proc/loadavg: 2.93 2.90 3.59 5/261 89816
/proc/meminfo: memFree=128855356/131382120 swapFree=33010416/33010684
[pid=89775] ppid=89772 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/89775/stat : 89775 (Hybrid-NuPBODee) S 89772 89775 89672 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 76480336 4427776 736 18446744073709551615 94007964049408 94007964943941 140734578072576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94007965182992 94007965230736 94007967105024 140734578080091 140734578080243 140734578080243 140734578085845 0
/proc/89775/statm: 1081 736 672 219 0 143 0
[pid=89781] ppid=89775 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/89781/stat : 89781 (timeout) S 89775 89781 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480338 2723840 352 18446744073709551615 94203677995008 94203678011521 140735509728672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94203678026288 94203678028376 94203692359680 140735509735856 140735509735970 140735509735970 140735509741543 0
/proc/89781/statm: 665 352 352 5 0 90 0
[pid=89786] ppid=89781 vsize=79896 memory=63064 CPUtime=50.94 cores=0,2
/proc/89786/stat : 89786 (NuPBO-DeepOptS+) R 89781 89781 89672 0 -1 4194304 7076 0 0 0 5091 3 0 0 20 0 1 0 76480339 81813504 15766 18446744073709551615 4198400 15468185 140726308824816 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 39006208 140726308829628 140726308829729 140726308829729 140726308835302 0
/proc/89786/statm: 19974 15766 1152 2752 0 16627 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 86880 KiB
Current children cumulated memory: 67416 KiB

[startup+102.301 s]
/proc/loadavg: 3.66 3.12 3.63 5/262 89823
/proc/meminfo: memFree=128292112/131382120 swapFree=33010416/33010684
[pid=89775] ppid=89772 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/89775/stat : 89775 (Hybrid-NuPBODee) S 89772 89775 89672 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 76480336 4427776 736 18446744073709551615 94007964049408 94007964943941 140734578072576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94007965182992 94007965230736 94007967105024 140734578080091 140734578080243 140734578080243 140734578085845 0
/proc/89775/statm: 1081 736 672 219 0 143 0
[pid=89781] ppid=89775 vsize=2660 memory=1408 CPUtime=0 cores=0,2

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

/proc/89786/statm: 217848 209619 3168 2752 0 214501 0
Current children cumulated CPU time: 1118.92 s
Current children cumulated vsize: 878376 KiB
Current children cumulated memory: 842828 KiB

[startup+1182.3 s]
/proc/loadavg: 4.07 4.07 3.99 5/260 89881
/proc/meminfo: memFree=126249212/131382120 swapFree=33010416/33010684
[pid=89775] ppid=89772 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/89775/stat : 89775 (Hybrid-NuPBODee) S 89772 89775 89672 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 76480336 4427776 736 18446744073709551615 94007964049408 94007964943941 140734578072576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94007965182992 94007965230736 94007967105024 140734578080091 140734578080243 140734578080243 140734578085845 0
/proc/89775/statm: 1081 736 672 219 0 143 0
[pid=89781] ppid=89775 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/89781/stat : 89781 (timeout) S 89775 89781 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480338 2723840 352 18446744073709551615 94203677995008 94203678011521 140735509728672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94203678026288 94203678028376 94203692359680 140735509735856 140735509735970 140735509735970 140735509741543 0
/proc/89781/statm: 665 352 352 5 0 90 0
[pid=89786] ppid=89781 vsize=871484 memory=838476 CPUtime=1178.72 cores=0,2
/proc/89786/stat : 89786 (NuPBO-DeepOptS+) R 89781 89781 89672 0 -1 4194304 190732 0 0 0 117837 35 0 0 20 0 1 0 76480339 892399616 209619 18446744073709551615 4198400 15468185 140726308824816 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 39006208 140726308829628 140726308829729 140726308829729 140726308835302 0
/proc/89786/statm: 217871 209619 3168 2752 0 214524 0
Current children cumulated CPU time: 1178.72 s
Current children cumulated vsize: 878468 KiB
Current children cumulated memory: 842828 KiB

[startup+1242.3 s]
/proc/loadavg: 4.06 4.07 4.00 5/259 89883
/proc/meminfo: memFree=126321328/131382120 swapFree=33010416/33010684
[pid=89775] ppid=89772 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/89775/stat : 89775 (Hybrid-NuPBODee) S 89772 89775 89672 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 76480336 4427776 736 18446744073709551615 94007964049408 94007964943941 140734578072576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94007965182992 94007965230736 94007967105024 140734578080091 140734578080243 140734578080243 140734578085845 0
/proc/89775/statm: 1081 736 672 219 0 143 0
[pid=89781] ppid=89775 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/89781/stat : 89781 (timeout) S 89775 89781 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480338 2723840 352 18446744073709551615 94203677995008 94203678011521 140735509728672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94203678026288 94203678028376 94203692359680 140735509735856 140735509735970 140735509735970 140735509741543 0
/proc/89781/statm: 665 352 352 5 0 90 0
[pid=89786] ppid=89781 vsize=871760 memory=838732 CPUtime=1238.51 cores=0,2
/proc/89786/stat : 89786 (NuPBO-DeepOptS+) R 89781 89781 89672 0 -1 4194304 191017 0 0 0 123816 35 0 0 20 0 1 0 76480339 892682240 209683 18446744073709551615 4198400 15468185 140726308824816 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 39006208 140726308829628 140726308829729 140726308829729 140726308835302 0
/proc/89786/statm: 217940 209683 3168 2752 0 214593 0
Current children cumulated CPU time: 1238.51 s
Current children cumulated vsize: 878744 KiB
Current children cumulated memory: 843084 KiB

[startup+1302.3 s]
/proc/loadavg: 4.12 4.09 4.01 5/259 89890
/proc/meminfo: memFree=126401556/131382120 swapFree=33010416/33010684
[pid=89775] ppid=89772 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/89775/stat : 89775 (Hybrid-NuPBODee) S 89772 89775 89672 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 76480336 4427776 736 18446744073709551615 94007964049408 94007964943941 140734578072576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94007965182992 94007965230736 94007967105024 140734578080091 140734578080243 140734578080243 140734578085845 0
/proc/89775/statm: 1081 736 672 219 0 143 0
[pid=89781] ppid=89775 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/89781/stat : 89781 (timeout) S 89775 89781 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480338 2723840 352 18446744073709551615 94203677995008 94203678011521 140735509728672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94203678026288 94203678028376 94203692359680 140735509735856 140735509735970 140735509735970 140735509741543 0
/proc/89781/statm: 665 352 352 5 0 90 0
[pid=89786] ppid=89781 vsize=872440 memory=839372 CPUtime=1298.3 cores=0,2
/proc/89786/stat : 89786 (NuPBO-DeepOptS+) R 89781 89781 89672 0 -1 4194304 191498 0 0 0 129795 35 0 0 20 0 1 0 76480339 893378560 209843 18446744073709551615 4198400 15468185 140726308824816 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 39006208 140726308829628 140726308829729 140726308829729 140726308835302 0
/proc/89786/statm: 218110 209843 3168 2752 0 214763 0
Current children cumulated CPU time: 1298.3 s
Current children cumulated vsize: 879424 KiB
Current children cumulated memory: 843724 KiB

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

# cumulated CPU time of all completed processes:  user=1309.84 s, system=0.373947 s

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

[startup+1305.6 s]
/proc/loadavg: 4.11 4.08 4.01 5/259 89890
/proc/meminfo: memFree=126523732/131382120 swapFree=33010416/33010684
[pid=89775] ppid=89772 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/89775/stat : 89775 (Hybrid-NuPBODee) S 89772 89775 89672 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 76480336 4427776 736 18446744073709551615 94007964049408 94007964943941 140734578072576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94007965182992 94007965230736 94007967105024 140734578080091 140734578080243 140734578080243 140734578085845 0
/proc/89775/statm: 1081 736 672 219 0 143 0
[pid=89781] ppid=89775 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/89781/stat : 89781 (timeout) S 89775 89781 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480338 2723840 352 18446744073709551615 94203677995008 94203678011521 140735509728672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94203678026288 94203678028376 94203692359680 140735509735856 140735509735970 140735509735970 140735509741543 0
/proc/89781/statm: 665 352 352 5 0 90 0
[pid=89786] ppid=89781 vsize=872440 memory=839372 CPUtime=1301.59 cores=0,2
/proc/89786/stat : 89786 (NuPBO-DeepOptS+) R 89781 89781 89672 0 -1 4194304 191498 0 0 0 130124 35 0 0 20 0 1 0 76480339 893378560 209843 18446744073709551615 4198400 15468185 140726308824816 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 39006208 140726308829628 140726308829729 140726308829729 140726308835302 0
/proc/89786/statm: 218110 209843 3168 2752 0 214763 0
Current children cumulated CPU time: 1301.59 s
Current children cumulated vsize: 879424 KiB
Current children cumulated memory: 843724 KiB

[startup+1308.8 s]
/proc/loadavg: 4.11 4.08 4.01 5/259 89890
/proc/meminfo: memFree=126523420/131382120 swapFree=33010416/33010684
[pid=89775] ppid=89772 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/89775/stat : 89775 (Hybrid-NuPBODee) S 89772 89775 89672 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 76480336 4427776 736 18446744073709551615 94007964049408 94007964943941 140734578072576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94007965182992 94007965230736 94007967105024 140734578080091 140734578080243 140734578080243 140734578085845 0
/proc/89775/statm: 1081 736 672 219 0 143 0
[pid=89781] ppid=89775 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/89781/stat : 89781 (timeout) S 89775 89781 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480338 2723840 352 18446744073709551615 94203677995008 94203678011521 140735509728672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94203678026288 94203678028376 94203692359680 140735509735856 140735509735970 140735509735970 140735509741543 0
/proc/89781/statm: 665 352 352 5 0 90 0
[pid=89786] ppid=89781 vsize=872440 memory=839372 CPUtime=1304.78 cores=0,2
/proc/89786/stat : 89786 (NuPBO-DeepOptS+) R 89781 89781 89672 0 -1 4194304 191498 0 0 0 130443 35 0 0 20 0 1 0 76480339 893378560 209843 18446744073709551615 4198400 15468185 140726308824816 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 39006208 140726308829628 140726308829729 140726308829729 140726308835302 0
/proc/89786/statm: 218110 209843 3168 2752 0 214763 0
Current children cumulated CPU time: 1304.78 s
Current children cumulated vsize: 879424 KiB
Current children cumulated memory: 843724 KiB

[startup+1312 s]*
/proc/loadavg: 4.18 4.10 4.01 5/253 89900
/proc/meminfo: memFree=127403732/131382120 swapFree=33010416/33010684
[pid=89775] ppid=89772 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/89775/stat : 89775 (Hybrid-NuPBODee) S 89772 89775 89672 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 76480336 4427776 736 18446744073709551615 94007964049408 94007964943941 140734578072576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94007965182992 94007965230736 94007967105024 140734578080091 140734578080243 140734578080243 140734578085845 0
/proc/89775/statm: 1081 736 672 219 0 143 0
[pid=89781] ppid=89775 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/89781/stat : 89781 (timeout) S 89775 89781 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480338 2723840 352 18446744073709551615 94203677995008 94203678011521 140735509728672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94203678026288 94203678028376 94203692359680 140735509735856 140735509735970 140735509735970 140735509741543 0
/proc/89781/statm: 665 352 352 5 0 90 0
[pid=89786] ppid=89781 vsize=738832 memory=730000 CPUtime=1307.98 cores=0,2
/proc/89786/stat : 89786 (NuPBO-DeepOptS+) R 89781 89781 89672 0 -1 4194304 191523 0 0 0 130763 35 0 0 20 0 1 0 76480339 756563968 182500 18446744073709551615 4198400 15468185 140726308824816 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 39006208 140726308829628 140726308829729 140726308829729 140726308835302 0
/proc/89786/statm: 184708 182500 3168 2752 0 181361 0
Current children cumulated CPU time: 1307.98 s
Current children cumulated vsize: 745816 KiB
Current children cumulated memory: 734352 KiB

[startup+1313.6 s]
/proc/loadavg: 4.18 4.10 4.01 4/255 89909
/proc/meminfo: memFree=127402812/131382120 swapFree=33010416/33010684
[pid=89775] ppid=89772 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/89775/stat : 89775 (Hybrid-NuPBODee) S 89772 89775 89672 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 76480336 4427776 736 18446744073709551615 94007964049408 94007964943941 140734578072576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94007965182992 94007965230736 94007967105024 140734578080091 140734578080243 140734578080243 140734578085845 0
/proc/89775/statm: 1081 736 672 219 0 143 0
[pid=89781] ppid=89775 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/89781/stat : 89781 (timeout) S 89775 89781 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480338 2723840 352 18446744073709551615 94203677995008 94203678011521 140735509728672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94203678026288 94203678028376 94203692359680 140735509735856 140735509735970 140735509735970 140735509741543 0
/proc/89781/statm: 665 352 352 5 0 90 0
[pid=89786] ppid=89781 vsize=738832 memory=730000 CPUtime=1309.57 cores=0,2
/proc/89786/stat : 89786 (NuPBO-DeepOptS+) R 89781 89781 89672 0 -1 4194304 191523 0 0 0 130922 35 0 0 20 0 1 0 76480339 756563968 182500 18446744073709551615 4198400 15468185 140726308824816 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 39006208 140726308829628 140726308829729 140726308829729 140726308835302 0
/proc/89786/statm: 184708 182500 3168 2752 0 181361 0
Current children cumulated CPU time: 1309.57 s
Current children cumulated vsize: 745816 KiB
Current children cumulated memory: 734352 KiB

[startup+1314 s]*
/proc/loadavg: 4.18 4.10 4.01 5/259 89941
/proc/meminfo: memFree=127390892/131382120 swapFree=33010416/33010684
[pid=89775] ppid=89772 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/89775/stat : 89775 (Hybrid-NuPBODee) S 89772 89775 89672 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 76480336 4427776 736 18446744073709551615 94007964049408 94007964943941 140734578072576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94007965182992 94007965230736 94007967105024 140734578080091 140734578080243 140734578080243 140734578085845 0
/proc/89775/statm: 1081 736 672 219 0 143 0
[pid=89781] ppid=89775 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/89781/stat : 89781 (timeout) S 89775 89781 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480338 2723840 352 18446744073709551615 94203677995008 94203678011521 140735509728672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94203678026288 94203678028376 94203692359680 140735509735856 140735509735970 140735509735970 140735509741543 0
/proc/89781/statm: 665 352 352 5 0 90 0
[pid=89786] ppid=89781 vsize=738832 memory=730000 CPUtime=1309.98 cores=0,2
/proc/89786/stat : 89786 (NuPBO-DeepOptS+) R 89781 89781 89672 0 -1 4194304 191523 0 0 0 130963 35 0 0 20 0 1 0 76480339 756563968 182500 18446744073709551615 4198400 15468185 140726308824816 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 39006208 140726308829628 140726308829729 140726308829729 140726308835302 0
/proc/89786/statm: 184708 182500 3168 2752 0 181361 0
Current children cumulated CPU time: 1309.98 s
Current children cumulated vsize: 745816 KiB
Current children cumulated memory: 734352 KiB

[startup+1314.2 s]
/proc/loadavg: 4.18 4.10 4.01 5/259 89941
/proc/meminfo: memFree=127390892/131382120 swapFree=33010416/33010684
[pid=89775] ppid=89772 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/89775/stat : 89775 (Hybrid-NuPBODee) S 89772 89775 89672 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 76480336 4427776 736 18446744073709551615 94007964049408 94007964943941 140734578072576 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94007965182992 94007965230736 94007967105024 140734578080091 140734578080243 140734578080243 140734578085845 0
/proc/89775/statm: 1081 736 672 219 0 143 0
[pid=89781] ppid=89775 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/89781/stat : 89781 (timeout) S 89775 89781 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480338 2723840 352 18446744073709551615 94203677995008 94203678011521 140735509728672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94203678026288 94203678028376 94203692359680 140735509735856 140735509735970 140735509735970 140735509741543 0
/proc/89781/statm: 665 352 352 5 0 90 0
[pid=89786] ppid=89781 vsize=738832 memory=730000 CPUtime=1310.17 cores=0,2
/proc/89786/stat : 89786 (NuPBO-DeepOptS+) R 89781 89781 89672 0 -1 4194304 191523 0 0 0 130982 35 0 0 20 0 1 0 76480339 756563968 182500 18446744073709551615 4198400 15468185 140726308824816 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 39006208 140726308829628 140726308829729 140726308829729 140726308835302 0
/proc/89786/statm: 184708 182500 3168 2752 0 181361 0
Current children cumulated CPU time: 1310.17 s
Current children cumulated vsize: 745816 KiB
Current children cumulated memory: 734352 KiB

Child status: 0

Real time (s): 1314.24
CPU time (s): 1310.22
CPU user time (s): 1309.84
CPU system time (s): 0.373947
CPU usage (%): 99.694
Max. virtual memory (cumulated for all children) (KiB): 881600
Max. memory (cumulated for all children) (KiB): 845916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1309.84
system time used= 0.373947
maximum resident set size= 841564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192253
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 426
involuntary context switches= 2877


# summary of solver processes directly reported to runsolver:
#   pid: 89775
#   total CPU time (s): 1310.22
#   total CPU user time (s): 1309.84
#   total CPU system time (s): 0.373947

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.23893 second user time and 15.6374 second system time

The end