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 (63567 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100103 s]*
/proc/loadavg: 1.41 2.68 3.56 5/261 89815
/proc/meminfo: memFree=129530404/131382120 swapFree=33010416/33010684
[pid=89797] ppid=89792 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89797/stat : 89797 (Hybrid-NuPBODee) S 89792 89797 89672 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 76480349 4427776 736 18446744073709551615 94360125284352 94360126178885 140729165757696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94360126417936 94360126465680 94360159379456 140729165764955 140729165765107 140729165765107 140729165770709 0
/proc/89797/statm: 1081 736 672 219 0 143 0
[pid=89810] ppid=89797 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89810/stat : 89810 (timeout) S 89797 89810 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480352 2723840 352 18446744073709551615 94820563111936 94820563128449 140727743495072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94820563143216 94820563145304 94820594737152 140727743502768 140727743502882 140727743502882 140727743508455 0
/proc/89810/statm: 665 352 352 5 0 90 0
[pid=89813] ppid=89810 vsize=20020 memory=5580 CPUtime=0.07 cores=4,6
/proc/89813/stat : 89813 (NuPBO-DeepOptS+) R 89810 89810 89672 0 -1 4194304 505 0 0 0 7 0 0 0 20 0 1 0 76480353 20500480 1395 18446744073709551615 4198400 15468185 140721897094304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40910848 140721897101756 140721897101857 140721897101857 140721897107430 0
/proc/89813/statm: 5005 1395 1088 2752 0 1658 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 27004 KiB
Current children cumulated memory: 9932 KiB

[startup+0.213918 s]*
/proc/loadavg: 1.41 2.68 3.56 5/261 89815
/proc/meminfo: memFree=129527380/131382120 swapFree=33010416/33010684
[pid=89797] ppid=89792 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89797/stat : 89797 (Hybrid-NuPBODee) S 89792 89797 89672 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 76480349 4427776 736 18446744073709551615 94360125284352 94360126178885 140729165757696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94360126417936 94360126465680 94360159379456 140729165764955 140729165765107 140729165765107 140729165770709 0
/proc/89797/statm: 1081 736 672 219 0 143 0
[pid=89810] ppid=89797 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89810/stat : 89810 (timeout) S 89797 89810 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480352 2723840 352 18446744073709551615 94820563111936 94820563128449 140727743495072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94820563143216 94820563145304 94820594737152 140727743502768 140727743502882 140727743502882 140727743508455 0
/proc/89810/statm: 665 352 352 5 0 90 0
[pid=89813] ppid=89810 vsize=21556 memory=6476 CPUtime=0.18 cores=4,6
/proc/89813/stat : 89813 (NuPBO-DeepOptS+) R 89810 89810 89672 0 -1 4194304 1113 0 0 0 18 0 0 0 20 0 1 0 76480353 22073344 1619 18446744073709551615 4198400 15468185 140721897094304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40910848 140721897101756 140721897101857 140721897101857 140721897107430 0
/proc/89813/statm: 5389 1619 1088 2752 0 2042 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 28540 KiB
Current children cumulated memory: 10828 KiB

[startup+0.313891 s]*
/proc/loadavg: 1.41 2.68 3.56 5/261 89815
/proc/meminfo: memFree=129517172/131382120 swapFree=33010416/33010684
[pid=89797] ppid=89792 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89797/stat : 89797 (Hybrid-NuPBODee) S 89792 89797 89672 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 76480349 4427776 736 18446744073709551615 94360125284352 94360126178885 140729165757696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94360126417936 94360126465680 94360159379456 140729165764955 140729165765107 140729165765107 140729165770709 0
/proc/89797/statm: 1081 736 672 219 0 143 0
[pid=89810] ppid=89797 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89810/stat : 89810 (timeout) S 89797 89810 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480352 2723840 352 18446744073709551615 94820563111936 94820563128449 140727743495072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94820563143216 94820563145304 94820594737152 140727743502768 140727743502882 140727743502882 140727743508455 0
/proc/89810/statm: 665 352 352 5 0 90 0
[pid=89813] ppid=89810 vsize=23604 memory=8468 CPUtime=0.27 cores=4,6
/proc/89813/stat : 89813 (NuPBO-DeepOptS+) R 89810 89810 89672 0 -1 4194304 1587 0 0 0 27 0 0 0 20 0 1 0 76480353 24170496 2117 18446744073709551615 4198400 15468185 140721897094304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40910848 140721897101756 140721897101857 140721897101857 140721897107430 0
/proc/89813/statm: 5901 2117 1088 2752 0 2554 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 30588 KiB
Current children cumulated memory: 12820 KiB

[startup+0.700461 s]
/proc/loadavg: 1.41 2.68 3.56 5/261 89815
/proc/meminfo: memFree=129524372/131382120 swapFree=33010416/33010684
[pid=89797] ppid=89792 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89797/stat : 89797 (Hybrid-NuPBODee) S 89792 89797 89672 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 76480349 4427776 736 18446744073709551615 94360125284352 94360126178885 140729165757696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94360126417936 94360126465680 94360159379456 140729165764955 140729165765107 140729165765107 140729165770709 0
/proc/89797/statm: 1081 736 672 219 0 143 0
[pid=89810] ppid=89797 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89810/stat : 89810 (timeout) S 89797 89810 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480352 2723840 352 18446744073709551615 94820563111936 94820563128449 140727743495072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94820563143216 94820563145304 94820594737152 140727743502768 140727743502882 140727743502882 140727743508455 0
/proc/89810/statm: 665 352 352 5 0 90 0
[pid=89813] ppid=89810 vsize=27700 memory=12568 CPUtime=0.64 cores=4,6
/proc/89813/stat : 89813 (NuPBO-DeepOptS+) R 89810 89810 89672 0 -1 4194304 2104 0 0 0 64 0 0 0 20 0 1 0 76480353 28364800 3142 18446744073709551615 4198400 15468185 140721897094304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40910848 140721897101756 140721897101857 140721897101857 140721897107430 0
/proc/89813/statm: 6925 3142 1088 2752 0 3578 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 34684 KiB
Current children cumulated memory: 16920 KiB

[startup+1.50053 s]
/proc/loadavg: 1.41 2.68 3.56 5/261 89815
/proc/meminfo: memFree=129498120/131382120 swapFree=33010416/33010684
[pid=89797] ppid=89792 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89797/stat : 89797 (Hybrid-NuPBODee) S 89792 89797 89672 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 76480349 4427776 736 18446744073709551615 94360125284352 94360126178885 140729165757696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94360126417936 94360126465680 94360159379456 140729165764955 140729165765107 140729165765107 140729165770709 0
/proc/89797/statm: 1081 736 672 219 0 143 0
[pid=89810] ppid=89797 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89810/stat : 89810 (timeout) S 89797 89810 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480352 2723840 352 18446744073709551615 94820563111936 94820563128449 140727743495072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94820563143216 94820563145304 94820594737152 140727743502768 140727743502882 140727743502882 140727743508455 0
/proc/89810/statm: 665 352 352 5 0 90 0
[pid=89813] ppid=89810 vsize=79912 memory=62816 CPUtime=1.45 cores=4,6
/proc/89813/stat : 89813 (NuPBO-DeepOptS+) R 89810 89810 89672 0 -1 4194304 7469 0 0 0 142 3 0 0 20 0 1 0 76480353 81829888 15704 18446744073709551615 4198400 15468185 140721897094304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40910848 140721897101756 140721897101857 140721897101857 140721897107430 0
/proc/89813/statm: 19978 15704 1152 2752 0 16631 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 86896 KiB
Current children cumulated memory: 67168 KiB

[startup+3.11401 s]
/proc/loadavg: 1.41 2.68 3.56 5/261 89815
/proc/meminfo: memFree=129221956/131382120 swapFree=33010416/33010684
[pid=89797] ppid=89792 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89797/stat : 89797 (Hybrid-NuPBODee) S 89792 89797 89672 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 76480349 4427776 736 18446744073709551615 94360125284352 94360126178885 140729165757696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94360126417936 94360126465680 94360159379456 140729165764955 140729165765107 140729165765107 140729165770709 0
/proc/89797/statm: 1081 736 672 219 0 143 0
[pid=89810] ppid=89797 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89810/stat : 89810 (timeout) S 89797 89810 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480352 2723840 352 18446744073709551615 94820563111936 94820563128449 140727743495072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94820563143216 94820563145304 94820594737152 140727743502768 140727743502882 140727743502882 140727743508455 0
/proc/89810/statm: 665 352 352 5 0 90 0
[pid=89813] ppid=89810 vsize=79912 memory=62816 CPUtime=3.06 cores=4,6
/proc/89813/stat : 89813 (NuPBO-DeepOptS+) R 89810 89810 89672 0 -1 4194304 7476 0 0 0 303 3 0 0 20 0 1 0 76480353 81829888 15704 18446744073709551615 4198400 15468185 140721897094304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40910848 140721897101756 140721897101857 140721897101857 140721897107430 0
/proc/89813/statm: 19978 15704 1152 2752 0 16631 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 86896 KiB
Current children cumulated memory: 67168 KiB

[startup+6.30041 s]
/proc/loadavg: 1.62 2.70 3.56 5/261 89815
/proc/meminfo: memFree=128990164/131382120 swapFree=33010416/33010684
[pid=89797] ppid=89792 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89797/stat : 89797 (Hybrid-NuPBODee) S 89792 89797 89672 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 76480349 4427776 736 18446744073709551615 94360125284352 94360126178885 140729165757696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94360126417936 94360126465680 94360159379456 140729165764955 140729165765107 140729165765107 140729165770709 0
/proc/89797/statm: 1081 736 672 219 0 143 0
[pid=89810] ppid=89797 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89810/stat : 89810 (timeout) S 89797 89810 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480352 2723840 352 18446744073709551615 94820563111936 94820563128449 140727743495072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94820563143216 94820563145304 94820594737152 140727743502768 140727743502882 140727743502882 140727743508455 0
/proc/89810/statm: 665 352 352 5 0 90 0
[pid=89813] ppid=89810 vsize=79912 memory=62816 CPUtime=6.23 cores=4,6
/proc/89813/stat : 89813 (NuPBO-DeepOptS+) R 89810 89810 89672 0 -1 4194304 7482 0 0 0 620 3 0 0 20 0 1 0 76480353 81829888 15704 18446744073709551615 4198400 15468185 140721897094304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40910848 140721897101756 140721897101857 140721897101857 140721897107430 0
/proc/89813/statm: 19978 15704 1152 2752 0 16631 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 86896 KiB
Current children cumulated memory: 67168 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=89797] ppid=89792 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89797/stat : 89797 (Hybrid-NuPBODee) S 89792 89797 89672 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 76480349 4427776 736 18446744073709551615 94360125284352 94360126178885 140729165757696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94360126417936 94360126465680 94360159379456 140729165764955 140729165765107 140729165765107 140729165770709 0
/proc/89797/statm: 1081 736 672 219 0 143 0
[pid=89810] ppid=89797 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89810/stat : 89810 (timeout) S 89797 89810 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480352 2723840 352 18446744073709551615 94820563111936 94820563128449 140727743495072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94820563143216 94820563145304 94820594737152 140727743502768 140727743502882 140727743502882 140727743508455 0
/proc/89810/statm: 665 352 352 5 0 90 0
[pid=89813] ppid=89810 vsize=79912 memory=62816 CPUtime=12.62 cores=4,6
/proc/89813/stat : 89813 (NuPBO-DeepOptS+) R 89810 89810 89672 0 -1 4194304 7488 0 0 0 1259 3 0 0 20 0 1 0 76480353 81829888 15704 18446744073709551615 4198400 15468185 140721897094304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40910848 140721897101756 140721897101857 140721897101857 140721897107430 0
/proc/89813/statm: 19978 15704 1152 2752 0 16631 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 86896 KiB
Current children cumulated memory: 67168 KiB

[startup+25.5004 s]
/proc/loadavg: 2.37 2.81 3.58 5/261 89816
/proc/meminfo: memFree=128849904/131382120 swapFree=33010416/33010684
[pid=89797] ppid=89792 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89797/stat : 89797 (Hybrid-NuPBODee) S 89792 89797 89672 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 76480349 4427776 736 18446744073709551615 94360125284352 94360126178885 140729165757696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94360126417936 94360126465680 94360159379456 140729165764955 140729165765107 140729165765107 140729165770709 0
/proc/89797/statm: 1081 736 672 219 0 143 0
[pid=89810] ppid=89797 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89810/stat : 89810 (timeout) S 89797 89810 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480352 2723840 352 18446744073709551615 94820563111936 94820563128449 140727743495072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94820563143216 94820563145304 94820594737152 140727743502768 140727743502882 140727743502882 140727743508455 0
/proc/89810/statm: 665 352 352 5 0 90 0
[pid=89813] ppid=89810 vsize=79912 memory=62816 CPUtime=25.39 cores=4,6
/proc/89813/stat : 89813 (NuPBO-DeepOptS+) R 89810 89810 89672 0 -1 4194304 7494 0 0 0 2536 3 0 0 20 0 1 0 76480353 81829888 15704 18446744073709551615 4198400 15468185 140721897094304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40910848 140721897101756 140721897101857 140721897101857 140721897107430 0
/proc/89813/statm: 19978 15704 1152 2752 0 16631 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 86896 KiB
Current children cumulated memory: 67168 KiB

[startup+51.1139 s]
/proc/loadavg: 2.93 2.90 3.59 5/261 89816
/proc/meminfo: memFree=128855104/131382120 swapFree=33010416/33010684
[pid=89797] ppid=89792 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89797/stat : 89797 (Hybrid-NuPBODee) S 89792 89797 89672 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 76480349 4427776 736 18446744073709551615 94360125284352 94360126178885 140729165757696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94360126417936 94360126465680 94360159379456 140729165764955 140729165765107 140729165765107 140729165770709 0
/proc/89797/statm: 1081 736 672 219 0 143 0
[pid=89810] ppid=89797 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89810/stat : 89810 (timeout) S 89797 89810 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480352 2723840 352 18446744073709551615 94820563111936 94820563128449 140727743495072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94820563143216 94820563145304 94820594737152 140727743502768 140727743502882 140727743502882 140727743508455 0
/proc/89810/statm: 665 352 352 5 0 90 0
[pid=89813] ppid=89810 vsize=79912 memory=62816 CPUtime=50.94 cores=4,6
/proc/89813/stat : 89813 (NuPBO-DeepOptS+) R 89810 89810 89672 0 -1 4194304 7500 0 0 0 5091 3 0 0 20 0 1 0 76480353 81829888 15704 18446744073709551615 4198400 15468185 140721897094304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40910848 140721897101756 140721897101857 140721897101857 140721897107430 0
/proc/89813/statm: 19978 15704 1152 2752 0 16631 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 86896 KiB
Current children cumulated memory: 67168 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=89797] ppid=89792 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89797/stat : 89797 (Hybrid-NuPBODee) S 89792 89797 89672 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 76480349 4427776 736 18446744073709551615 94360125284352 94360126178885 140729165757696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94360126417936 94360126465680 94360159379456 140729165764955 140729165765107 140729165765107 140729165770709 0
/proc/89797/statm: 1081 736 672 219 0 143 0
[pid=89810] ppid=89797 vsize=2660 memory=1408 CPUtime=0 cores=4,6

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

/proc/89810/statm: 665 352 352 5 0 90 0
[pid=89813] ppid=89810 vsize=904360 memory=856596 CPUtime=1058.63 cores=4,6
/proc/89813/stat : 89813 (NuPBO-DeepOptS+) R 89810 89810 89672 0 -1 4194304 449130 0 0 0 105779 84 0 0 20 0 1 0 76480353 926064640 214149 18446744073709551615 4198400 15468185 140721897094304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40910848 140721897101756 140721897101857 140721897101857 140721897107430 0
/proc/89813/statm: 226090 214149 3168 2752 0 222743 0
Current children cumulated CPU time: 1058.63 s
Current children cumulated vsize: 911344 KiB
Current children cumulated memory: 860948 KiB

[startup+1122.3 s]
/proc/loadavg: 4.09 4.07 3.98 5/260 89877
/proc/meminfo: memFree=126259020/131382120 swapFree=33010416/33010684
[pid=89797] ppid=89792 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89797/stat : 89797 (Hybrid-NuPBODee) S 89792 89797 89672 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 76480349 4427776 736 18446744073709551615 94360125284352 94360126178885 140729165757696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94360126417936 94360126465680 94360159379456 140729165764955 140729165765107 140729165765107 140729165770709 0
/proc/89797/statm: 1081 736 672 219 0 143 0
[pid=89810] ppid=89797 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89810/stat : 89810 (timeout) S 89797 89810 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480352 2723840 352 18446744073709551615 94820563111936 94820563128449 140727743495072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94820563143216 94820563145304 94820594737152 140727743502768 140727743502882 140727743502882 140727743508455 0
/proc/89810/statm: 665 352 352 5 0 90 0
[pid=89813] ppid=89810 vsize=904360 memory=856596 CPUtime=1118.43 cores=4,6
/proc/89813/stat : 89813 (NuPBO-DeepOptS+) R 89810 89810 89672 0 -1 4194304 449175 0 0 0 111758 85 0 0 20 0 1 0 76480353 926064640 214149 18446744073709551615 4198400 15468185 140721897094304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40910848 140721897101756 140721897101857 140721897101857 140721897107430 0
/proc/89813/statm: 226090 214149 3168 2752 0 222743 0
Current children cumulated CPU time: 1118.43 s
Current children cumulated vsize: 911344 KiB
Current children cumulated memory: 860948 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=89797] ppid=89792 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89797/stat : 89797 (Hybrid-NuPBODee) S 89792 89797 89672 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 76480349 4427776 736 18446744073709551615 94360125284352 94360126178885 140729165757696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94360126417936 94360126465680 94360159379456 140729165764955 140729165765107 140729165765107 140729165770709 0
/proc/89797/statm: 1081 736 672 219 0 143 0
[pid=89810] ppid=89797 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89810/stat : 89810 (timeout) S 89797 89810 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480352 2723840 352 18446744073709551615 94820563111936 94820563128449 140727743495072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94820563143216 94820563145304 94820594737152 140727743502768 140727743502882 140727743502882 140727743508455 0
/proc/89810/statm: 665 352 352 5 0 90 0
[pid=89813] ppid=89810 vsize=904360 memory=856596 CPUtime=1178.23 cores=4,6
/proc/89813/stat : 89813 (NuPBO-DeepOptS+) R 89810 89810 89672 0 -1 4194304 449224 0 0 0 117738 85 0 0 20 0 1 0 76480353 926064640 214149 18446744073709551615 4198400 15468185 140721897094304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40910848 140721897101756 140721897101857 140721897101857 140721897107430 0
/proc/89813/statm: 226090 214149 3168 2752 0 222743 0
Current children cumulated CPU time: 1178.23 s
Current children cumulated vsize: 911344 KiB
Current children cumulated memory: 860948 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=89797] ppid=89792 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89797/stat : 89797 (Hybrid-NuPBODee) S 89792 89797 89672 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 76480349 4427776 736 18446744073709551615 94360125284352 94360126178885 140729165757696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94360126417936 94360126465680 94360159379456 140729165764955 140729165765107 140729165765107 140729165770709 0
/proc/89797/statm: 1081 736 672 219 0 143 0
[pid=89810] ppid=89797 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89810/stat : 89810 (timeout) S 89797 89810 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480352 2723840 352 18446744073709551615 94820563111936 94820563128449 140727743495072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94820563143216 94820563145304 94820594737152 140727743502768 140727743502882 140727743502882 140727743508455 0
/proc/89810/statm: 665 352 352 5 0 90 0
[pid=89813] ppid=89810 vsize=904360 memory=857748 CPUtime=1238.06 cores=4,6
/proc/89813/stat : 89813 (NuPBO-DeepOptS+) R 89810 89810 89672 0 -1 4194304 449313 0 0 0 123721 85 0 0 20 0 1 0 76480353 926064640 214437 18446744073709551615 4198400 15468185 140721897094304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40910848 140721897101756 140721897101857 140721897101857 140721897107430 0
/proc/89813/statm: 226090 214437 3168 2752 0 222743 0
Current children cumulated CPU time: 1238.06 s
Current children cumulated vsize: 911344 KiB
Current children cumulated memory: 862100 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=89797] ppid=89792 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89797/stat : 89797 (Hybrid-NuPBODee) S 89792 89797 89672 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 76480349 4427776 736 18446744073709551615 94360125284352 94360126178885 140729165757696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94360126417936 94360126465680 94360159379456 140729165764955 140729165765107 140729165765107 140729165770709 0
/proc/89797/statm: 1081 736 672 219 0 143 0
[pid=89810] ppid=89797 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89810/stat : 89810 (timeout) S 89797 89810 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480352 2723840 352 18446744073709551615 94820563111936 94820563128449 140727743495072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94820563143216 94820563145304 94820594737152 140727743502768 140727743502882 140727743502882 140727743508455 0
/proc/89810/statm: 665 352 352 5 0 90 0
[pid=89813] ppid=89810 vsize=771276 memory=762172 CPUtime=1297.89 cores=4,6
/proc/89813/stat : 89813 (NuPBO-DeepOptS+) R 89810 89810 89672 0 -1 4194304 449393 0 0 0 129704 85 0 0 20 0 1 0 76480353 789786624 190543 18446744073709551615 4198400 15468185 140721897094304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40910848 140721897101756 140721897101857 140721897101857 140721897107430 0
/proc/89813/statm: 192819 190543 3168 2752 0 189472 0
Current children cumulated CPU time: 1297.89 s
Current children cumulated vsize: 778260 KiB
Current children cumulated memory: 766524 KiB

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

# cumulated CPU time of all completed processes:  user=1304.92 s, system=0.893769 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=89797] ppid=89792 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89797/stat : 89797 (Hybrid-NuPBODee) S 89792 89797 89672 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 76480349 4427776 736 18446744073709551615 94360125284352 94360126178885 140729165757696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94360126417936 94360126465680 94360159379456 140729165764955 140729165765107 140729165765107 140729165770709 0
/proc/89797/statm: 1081 736 672 219 0 143 0
[pid=89810] ppid=89797 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89810/stat : 89810 (timeout) S 89797 89810 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480352 2723840 352 18446744073709551615 94820563111936 94820563128449 140727743495072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94820563143216 94820563145304 94820594737152 140727743502768 140727743502882 140727743502882 140727743508455 0
/proc/89810/statm: 665 352 352 5 0 90 0
[pid=89813] ppid=89810 vsize=771276 memory=762172 CPUtime=1301.18 cores=4,6
/proc/89813/stat : 89813 (NuPBO-DeepOptS+) R 89810 89810 89672 0 -1 4194304 449393 0 0 0 130033 85 0 0 20 0 1 0 76480353 789786624 190543 18446744073709551615 4198400 15468185 140721897094304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40910848 140721897101756 140721897101857 140721897101857 140721897107430 0
/proc/89813/statm: 192819 190543 3168 2752 0 189472 0
Current children cumulated CPU time: 1301.18 s
Current children cumulated vsize: 778260 KiB
Current children cumulated memory: 766524 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=89797] ppid=89792 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89797/stat : 89797 (Hybrid-NuPBODee) S 89792 89797 89672 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 76480349 4427776 736 18446744073709551615 94360125284352 94360126178885 140729165757696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94360126417936 94360126465680 94360159379456 140729165764955 140729165765107 140729165765107 140729165770709 0
/proc/89797/statm: 1081 736 672 219 0 143 0
[pid=89810] ppid=89797 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89810/stat : 89810 (timeout) S 89797 89810 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480352 2723840 352 18446744073709551615 94820563111936 94820563128449 140727743495072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94820563143216 94820563145304 94820594737152 140727743502768 140727743502882 140727743502882 140727743508455 0
/proc/89810/statm: 665 352 352 5 0 90 0
[pid=89813] ppid=89810 vsize=771276 memory=762172 CPUtime=1304.37 cores=4,6
/proc/89813/stat : 89813 (NuPBO-DeepOptS+) R 89810 89810 89672 0 -1 4194304 449393 0 0 0 130352 85 0 0 20 0 1 0 76480353 789786624 190543 18446744073709551615 4198400 15468185 140721897094304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40910848 140721897101756 140721897101857 140721897101857 140721897107430 0
/proc/89813/statm: 192819 190543 3168 2752 0 189472 0
Current children cumulated CPU time: 1304.37 s
Current children cumulated vsize: 778260 KiB
Current children cumulated memory: 766524 KiB

[startup+1309.6 s]
/proc/loadavg: 4.11 4.08 4.01 5/259 89890
/proc/meminfo: memFree=126523436/131382120 swapFree=33010416/33010684
[pid=89797] ppid=89792 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89797/stat : 89797 (Hybrid-NuPBODee) S 89792 89797 89672 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 76480349 4427776 736 18446744073709551615 94360125284352 94360126178885 140729165757696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94360126417936 94360126465680 94360159379456 140729165764955 140729165765107 140729165765107 140729165770709 0
/proc/89797/statm: 1081 736 672 219 0 143 0
[pid=89810] ppid=89797 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89810/stat : 89810 (timeout) S 89797 89810 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480352 2723840 352 18446744073709551615 94820563111936 94820563128449 140727743495072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94820563143216 94820563145304 94820594737152 140727743502768 140727743502882 140727743502882 140727743508455 0
/proc/89810/statm: 665 352 352 5 0 90 0
[pid=89813] ppid=89810 vsize=771276 memory=762172 CPUtime=1305.17 cores=4,6
/proc/89813/stat : 89813 (NuPBO-DeepOptS+) R 89810 89810 89672 0 -1 4194304 449393 0 0 0 130432 85 0 0 20 0 1 0 76480353 789786624 190543 18446744073709551615 4198400 15468185 140721897094304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40910848 140721897101756 140721897101857 140721897101857 140721897107430 0
/proc/89813/statm: 192819 190543 3168 2752 0 189472 0
Current children cumulated CPU time: 1305.17 s
Current children cumulated vsize: 778260 KiB
Current children cumulated memory: 766524 KiB

[startup+1310 s]*
/proc/loadavg: 4.18 4.10 4.01 5/259 89890
/proc/meminfo: memFree=126523436/131382120 swapFree=33010416/33010684
[pid=89797] ppid=89792 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89797/stat : 89797 (Hybrid-NuPBODee) S 89792 89797 89672 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 76480349 4427776 736 18446744073709551615 94360125284352 94360126178885 140729165757696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94360126417936 94360126465680 94360159379456 140729165764955 140729165765107 140729165765107 140729165770709 0
/proc/89797/statm: 1081 736 672 219 0 143 0
[pid=89810] ppid=89797 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89810/stat : 89810 (timeout) S 89797 89810 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480352 2723840 352 18446744073709551615 94820563111936 94820563128449 140727743495072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94820563143216 94820563145304 94820594737152 140727743502768 140727743502882 140727743502882 140727743508455 0
/proc/89810/statm: 665 352 352 5 0 90 0
[pid=89813] ppid=89810 vsize=771276 memory=762172 CPUtime=1305.58 cores=4,6
/proc/89813/stat : 89813 (NuPBO-DeepOptS+) R 89810 89810 89672 0 -1 4194304 449393 0 0 0 130473 85 0 0 20 0 1 0 76480353 789786624 190543 18446744073709551615 4198400 15468185 140721897094304 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40910848 140721897101756 140721897101857 140721897101857 140721897107430 0
/proc/89813/statm: 192819 190543 3168 2752 0 189472 0
Current children cumulated CPU time: 1305.58 s
Current children cumulated vsize: 778260 KiB
Current children cumulated memory: 766524 KiB

[startup+1310.2 s]
/proc/loadavg: 4.18 4.10 4.01 5/259 89890
/proc/meminfo: memFree=126523436/131382120 swapFree=33010416/33010684
[pid=89797] ppid=89792 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89797/stat : 89797 (Hybrid-NuPBODee) S 89792 89797 89672 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 76480349 4427776 736 18446744073709551615 94360125284352 94360126178885 140729165757696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94360126417936 94360126465680 94360159379456 140729165764955 140729165765107 140729165765107 140729165770709 0
/proc/89797/statm: 1081 736 672 219 0 143 0
[pid=89810] ppid=89797 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89810/stat : 89810 (timeout) S 89797 89810 89672 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76480352 2723840 352 18446744073709551615 94820563111936 94820563128449 140727743495072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94820563143216 94820563145304 94820594737152 140727743502768 140727743502882 140727743502882 140727743508455 0
/proc/89810/statm: 665 352 352 5 0 90 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 6984 KiB
Current children cumulated memory: 4352 KiB

Child status: 0

Real time (s): 1310.22
CPU time (s): 1305.81
CPU user time (s): 1304.92
CPU system time (s): 0.893769
CPU usage (%): 99.6631
Max. virtual memory (cumulated for all children) (KiB): 914552
Max. memory (cumulated for all children) (KiB): 866580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1304.92
system time used= 0.893769
maximum resident set size= 862228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 450122
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= 385
involuntary context switches= 937


# summary of solver processes directly reported to runsolver:
#   pid: 89797
#   total CPU time (s): 1305.81
#   total CPU user time (s): 1304.92
#   total CPU system time (s): 0.893769

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.48468 second user time and 15.178 second system time

The end