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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=80946, runsolver pid=80927
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 2.65 3.76 3.97 5/272 80956
/proc/meminfo: memFree=127785336/131250000 swapFree=33010684/33010684
[pid=80946] ppid=80927 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/80946/stat : 80946 (Hybrid-NuPBODee) S 80927 80946 80874 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 71763706 4427776 768 18446744073709551615 94542327242752 94542328137285 140731557659136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94542328376336 94542328424080 94542331645952 140731557665115 140731557665267 140731557665267 140731557670869 0
/proc/80946/statm: 1081 768 704 219 0 143 0
[pid=80953] ppid=80946 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/80953/stat : 80953 (timeout) S 80946 80953 80874 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71763709 2723840 352 18446744073709551615 94743927590912 94743927607425 140722130453424 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94743927622192 94743927624280 94743937048576 140722130454960 140722130455074 140722130455074 140722130460647 0
/proc/80953/statm: 665 352 352 5 0 90 0
[pid=80955] ppid=80953 vsize=23140 memory=8608 CPUtime=0.06 cores=1,3
/proc/80955/stat : 80955 (NuPBO-DeepOptS+) R 80953 80953 80874 0 -1 4194304 1388 0 0 0 6 0 0 0 20 0 1 0 71763710 23695360 2152 18446744073709551615 4198400 15468185 140735301657408 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31293440 140735301659068 140735301659169 140735301659169 140735301664742 0
/proc/80955/statm: 5785 2152 1152 2752 0 2438 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 30124 KiB
Current children cumulated memory: 13088 KiB

[startup+0.20579 s]*
/proc/loadavg: 2.65 3.76 3.97 6/272 80956
/proc/meminfo: memFree=127751820/131250000 swapFree=33010684/33010684
[pid=80946] ppid=80927 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/80946/stat : 80946 (Hybrid-NuPBODee) S 80927 80946 80874 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 71763706 4427776 768 18446744073709551615 94542327242752 94542328137285 140731557659136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94542328376336 94542328424080 94542331645952 140731557665115 140731557665267 140731557665267 140731557670869 0
/proc/80946/statm: 1081 768 704 219 0 143 0
[pid=80953] ppid=80946 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/80953/stat : 80953 (timeout) S 80946 80953 80874 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71763709 2723840 352 18446744073709551615 94743927590912 94743927607425 140722130453424 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94743927622192 94743927624280 94743937048576 140722130454960 140722130455074 140722130455074 140722130460647 0
/proc/80953/statm: 665 352 352 5 0 90 0
[pid=80955] ppid=80953 vsize=42136 memory=32160 CPUtime=0.16 cores=1,3
/proc/80955/stat : 80955 (NuPBO-DeepOptS+) R 80953 80953 80874 0 -1 4194304 5835 0 0 0 16 0 0 0 20 0 1 0 71763710 43147264 8040 18446744073709551615 4198400 15468185 140735301657408 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31293440 140735301659068 140735301659169 140735301659169 140735301664742 0
/proc/80955/statm: 10534 8040 2720 2752 0 7187 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 49120 KiB
Current children cumulated memory: 36640 KiB

[startup+0.306001 s]*
/proc/loadavg: 2.65 3.76 3.97 5/272 80956
/proc/meminfo: memFree=127705452/131250000 swapFree=33010684/33010684
[pid=80946] ppid=80927 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/80946/stat : 80946 (Hybrid-NuPBODee) S 80927 80946 80874 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 71763706 4427776 768 18446744073709551615 94542327242752 94542328137285 140731557659136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94542328376336 94542328424080 94542331645952 140731557665115 140731557665267 140731557665267 140731557670869 0
/proc/80946/statm: 1081 768 704 219 0 143 0
[pid=80953] ppid=80946 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/80953/stat : 80953 (timeout) S 80946 80953 80874 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71763709 2723840 352 18446744073709551615 94743927590912 94743927607425 140722130453424 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94743927622192 94743927624280 94743937048576 140722130454960 140722130455074 140722130455074 140722130460647 0
/proc/80953/statm: 665 352 352 5 0 90 0
[pid=80955] ppid=80953 vsize=50588 memory=40352 CPUtime=0.26 cores=1,3
/proc/80955/stat : 80955 (NuPBO-DeepOptS+) R 80953 80953 80874 0 -1 4194304 7814 0 0 0 25 1 0 0 20 0 1 0 71763710 51802112 10088 18446744073709551615 4198400 15468185 140735301657408 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31293440 140735301659068 140735301659169 140735301659169 140735301664742 0
/proc/80955/statm: 12647 10088 2816 2752 0 9300 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 57572 KiB
Current children cumulated memory: 44832 KiB

[startup+0.700229 s]
/proc/loadavg: 2.65 3.76 3.97 5/272 80956
/proc/meminfo: memFree=127673196/131250000 swapFree=33010684/33010684
[pid=80946] ppid=80927 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/80946/stat : 80946 (Hybrid-NuPBODee) S 80927 80946 80874 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 71763706 4427776 768 18446744073709551615 94542327242752 94542328137285 140731557659136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94542328376336 94542328424080 94542331645952 140731557665115 140731557665267 140731557665267 140731557670869 0
/proc/80946/statm: 1081 768 704 219 0 143 0
[pid=80953] ppid=80946 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/80953/stat : 80953 (timeout) S 80946 80953 80874 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71763709 2723840 352 18446744073709551615 94743927590912 94743927607425 140722130453424 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94743927622192 94743927624280 94743937048576 140722130454960 140722130455074 140722130455074 140722130460647 0
/proc/80953/statm: 665 352 352 5 0 90 0
[pid=80955] ppid=80953 vsize=63124 memory=51400 CPUtime=0.64 cores=1,3
/proc/80955/stat : 80955 (NuPBO-DeepOptS+) R 80953 80953 80874 0 -1 4194304 12006 0 0 0 63 1 0 0 20 0 1 0 71763710 64638976 12850 18446744073709551615 4198400 15468185 140735301657408 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31293440 140735301659068 140735301659169 140735301659169 140735301664742 0
/proc/80955/statm: 15781 12850 2816 2752 0 12434 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 70108 KiB
Current children cumulated memory: 55880 KiB

[startup+1.50022 s]
/proc/loadavg: 2.65 3.76 3.97 6/272 80956
/proc/meminfo: memFree=127657068/131250000 swapFree=33010684/33010684
[pid=80946] ppid=80927 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/80946/stat : 80946 (Hybrid-NuPBODee) S 80927 80946 80874 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 71763706 4427776 768 18446744073709551615 94542327242752 94542328137285 140731557659136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94542328376336 94542328424080 94542331645952 140731557665115 140731557665267 140731557665267 140731557670869 0
/proc/80946/statm: 1081 768 704 219 0 143 0
[pid=80953] ppid=80946 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/80953/stat : 80953 (timeout) S 80946 80953 80874 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71763709 2723840 352 18446744073709551615 94743927590912 94743927607425 140722130453424 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94743927622192 94743927624280 94743937048576 140722130454960 140722130455074 140722130455074 140722130460647 0
/proc/80953/statm: 665 352 352 5 0 90 0
[pid=80955] ppid=80953 vsize=63124 memory=51656 CPUtime=1.44 cores=1,3
/proc/80955/stat : 80955 (NuPBO-DeepOptS+) R 80953 80953 80874 0 -1 4194304 12054 0 0 0 143 1 0 0 20 0 1 0 71763710 64638976 12914 18446744073709551615 4198400 15468185 140735301657408 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31293440 140735301659068 140735301659169 140735301659169 140735301664742 0
/proc/80955/statm: 15781 12914 2816 2752 0 12434 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 70108 KiB
Current children cumulated memory: 56136 KiB

[startup+3.10576 s]
/proc/loadavg: 2.76 3.76 3.97 6/272 80956
/proc/meminfo: memFree=127629820/131250000 swapFree=33010684/33010684
[pid=80946] ppid=80927 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/80946/stat : 80946 (Hybrid-NuPBODee) S 80927 80946 80874 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 71763706 4427776 768 18446744073709551615 94542327242752 94542328137285 140731557659136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94542328376336 94542328424080 94542331645952 140731557665115 140731557665267 140731557665267 140731557670869 0
/proc/80946/statm: 1081 768 704 219 0 143 0
[pid=80953] ppid=80946 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/80953/stat : 80953 (timeout) S 80946 80953 80874 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71763709 2723840 352 18446744073709551615 94743927590912 94743927607425 140722130453424 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94743927622192 94743927624280 94743937048576 140722130454960 140722130455074 140722130455074 140722130460647 0
/proc/80953/statm: 665 352 352 5 0 90 0
[pid=80955] ppid=80953 vsize=69588 memory=59592 CPUtime=3.05 cores=1,3
/proc/80955/stat : 80955 (NuPBO-DeepOptS+) R 80953 80953 80874 0 -1 4194304 14064 0 0 0 303 2 0 0 20 0 1 0 71763710 71258112 14898 18446744073709551615 4198400 15468185 140735301657408 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31293440 140735301659068 140735301659169 140735301659169 140735301664742 0
/proc/80955/statm: 17397 14898 2816 2752 0 14050 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 76572 KiB
Current children cumulated memory: 64072 KiB

[startup+6.30018 s]
/proc/loadavg: 2.76 3.76 3.97 5/272 80956
/proc/meminfo: memFree=127617480/131250000 swapFree=33010684/33010684
[pid=80946] ppid=80927 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/80946/stat : 80946 (Hybrid-NuPBODee) S 80927 80946 80874 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 71763706 4427776 768 18446744073709551615 94542327242752 94542328137285 140731557659136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94542328376336 94542328424080 94542331645952 140731557665115 140731557665267 140731557665267 140731557670869 0
/proc/80946/statm: 1081 768 704 219 0 143 0
[pid=80953] ppid=80946 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/80953/stat : 80953 (timeout) S 80946 80953 80874 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71763709 2723840 352 18446744073709551615 94743927590912 94743927607425 140722130453424 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94743927622192 94743927624280 94743937048576 140722130454960 140722130455074 140722130455074 140722130460647 0
/proc/80953/statm: 665 352 352 5 0 90 0
[pid=80955] ppid=80953 vsize=74968 memory=63908 CPUtime=6.23 cores=1,3
/proc/80955/stat : 80955 (NuPBO-DeepOptS+) R 80953 80953 80874 0 -1 4194304 16234 0 0 0 621 2 0 0 20 0 1 0 71763710 76767232 15977 18446744073709551615 4198400 15468185 140735301657408 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31293440 140735301659068 140735301659169 140735301659169 140735301664742 0
/proc/80955/statm: 18742 15977 2816 2752 0 15395 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 81952 KiB
Current children cumulated memory: 68388 KiB

[startup+12.7002 s]
/proc/loadavg: 2.95 3.77 3.98 5/272 80956
/proc/meminfo: memFree=127613268/131250000 swapFree=33010684/33010684
[pid=80946] ppid=80927 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/80946/stat : 80946 (Hybrid-NuPBODee) S 80927 80946 80874 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 71763706 4427776 768 18446744073709551615 94542327242752 94542328137285 140731557659136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94542328376336 94542328424080 94542331645952 140731557665115 140731557665267 140731557665267 140731557670869 0
/proc/80946/statm: 1081 768 704 219 0 143 0
[pid=80953] ppid=80946 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/80953/stat : 80953 (timeout) S 80946 80953 80874 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71763709 2723840 352 18446744073709551615 94743927590912 94743927607425 140722130453424 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94743927622192 94743927624280 94743937048576 140722130454960 140722130455074 140722130455074 140722130460647 0
/proc/80953/statm: 665 352 352 5 0 90 0
[pid=80955] ppid=80953 vsize=78928 memory=68836 CPUtime=12.62 cores=1,3
/proc/80955/stat : 80955 (NuPBO-DeepOptS+) R 80953 80953 80874 0 -1 4194304 18016 0 0 0 1259 3 0 0 20 0 1 0 71763710 80822272 17209 18446744073709551615 4198400 15468185 140735301657408 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31293440 140735301659068 140735301659169 140735301659169 140735301664742 0
/proc/80955/statm: 19732 17209 2816 2752 0 16385 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 85912 KiB
Current children cumulated memory: 73316 KiB

[startup+25.5002 s]
/proc/loadavg: 3.11 3.78 3.98 5/272 80956
/proc/meminfo: memFree=127576888/131250000 swapFree=33010684/33010684
[pid=80946] ppid=80927 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/80946/stat : 80946 (Hybrid-NuPBODee) S 80927 80946 80874 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 71763706 4427776 768 18446744073709551615 94542327242752 94542328137285 140731557659136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94542328376336 94542328424080 94542331645952 140731557665115 140731557665267 140731557665267 140731557670869 0
/proc/80946/statm: 1081 768 704 219 0 143 0
[pid=80953] ppid=80946 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/80953/stat : 80953 (timeout) S 80946 80953 80874 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71763709 2723840 352 18446744073709551615 94743927590912 94743927607425 140722130453424 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94743927622192 94743927624280 94743937048576 140722130454960 140722130455074 140722130455074 140722130460647 0
/proc/80953/statm: 665 352 352 5 0 90 0
[pid=80955] ppid=80953 vsize=100732 memory=89752 CPUtime=25.38 cores=1,3
/proc/80955/stat : 80955 (NuPBO-DeepOptS+) R 80953 80953 80874 0 -1 4194304 31324 0 0 0 2532 6 0 0 20 0 1 0 71763710 103149568 22438 18446744073709551615 4198400 15468185 140735301657408 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31293440 140735301659068 140735301659169 140735301659169 140735301664742 0
/proc/80955/statm: 25183 22438 2848 2752 0 21836 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 107716 KiB
Current children cumulated memory: 94232 KiB

[startup+51.1056 s]
/proc/loadavg: 3.47 3.81 3.98 5/272 80957
/proc/meminfo: memFree=127507508/131250000 swapFree=33010684/33010684
[pid=80946] ppid=80927 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/80946/stat : 80946 (Hybrid-NuPBODee) S 80927 80946 80874 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 71763706 4427776 768 18446744073709551615 94542327242752 94542328137285 140731557659136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94542328376336 94542328424080 94542331645952 140731557665115 140731557665267 140731557665267 140731557670869 0
/proc/80946/statm: 1081 768 704 219 0 143 0
[pid=80953] ppid=80946 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/80953/stat : 80953 (timeout) S 80946 80953 80874 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71763709 2723840 352 18446744073709551615 94743927590912 94743927607425 140722130453424 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94743927622192 94743927624280 94743937048576 140722130454960 140722130455074 140722130455074 140722130460647 0
/proc/80953/statm: 665 352 352 5 0 90 0
[pid=80955] ppid=80953 vsize=119980 memory=110396 CPUtime=50.92 cores=1,3
/proc/80955/stat : 80955 (NuPBO-DeepOptS+) R 80953 80953 80874 0 -1 4194304 47868 0 0 0 5083 9 0 0 20 0 1 0 71763710 122859520 27599 18446744073709551615 4198400 15468185 140735301657408 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31293440 140735301659068 140735301659169 140735301659169 140735301664742 0
/proc/80955/statm: 29995 27599 2848 2752 0 26648 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 126964 KiB
Current children cumulated memory: 114876 KiB

[startup+102.3 s]
/proc/loadavg: 3.84 3.86 4.00 6/272 80959
/proc/meminfo: memFree=127472096/131250000 swapFree=33010684/33010684
[pid=80946] ppid=80927 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/80946/stat : 80946 (Hybrid-NuPBODee) S 80927 80946 80874 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 71763706 4427776 768 18446744073709551615 94542327242752 94542328137285 140731557659136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94542328376336 94542328424080 94542331645952 140731557665115 140731557665267 140731557665267 140731557670869 0
/proc/80946/statm: 1081 768 704 219 0 143 0
[pid=80953] ppid=80946 vsize=2660 memory=1408 CPUtime=0 cores=1,3

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

/proc/80955/statm: 29995 28047 2848 2752 0 26648 0
Current children cumulated CPU time: 2257.47 s
Current children cumulated vsize: 126964 KiB
Current children cumulated memory: 116668 KiB

[startup+2322.3 s]
/proc/loadavg: 4.43 4.16 4.05 5/272 81080
/proc/meminfo: memFree=127252244/131250000 swapFree=33010684/33010684
[pid=80946] ppid=80927 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/80946/stat : 80946 (Hybrid-NuPBODee) S 80927 80946 80874 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 71763706 4427776 768 18446744073709551615 94542327242752 94542328137285 140731557659136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94542328376336 94542328424080 94542331645952 140731557665115 140731557665267 140731557665267 140731557670869 0
/proc/80946/statm: 1081 768 704 219 0 143 0
[pid=80953] ppid=80946 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/80953/stat : 80953 (timeout) S 80946 80953 80874 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71763709 2723840 352 18446744073709551615 94743927590912 94743927607425 140722130453424 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94743927622192 94743927624280 94743937048576 140722130454960 140722130455074 140722130455074 140722130460647 0
/proc/80953/statm: 665 352 352 5 0 90 0
[pid=80955] ppid=80953 vsize=119980 memory=112188 CPUtime=2317.34 cores=1,3
/proc/80955/stat : 80955 (NuPBO-DeepOptS+) R 80953 80953 80874 0 -1 4194304 47902 0 0 0 231725 9 0 0 20 0 1 0 71763710 122859520 28047 18446744073709551615 4198400 15468185 140735301657408 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31293440 140735301659068 140735301659169 140735301659169 140735301664742 0
/proc/80955/statm: 29995 28047 2848 2752 0 26648 0
Current children cumulated CPU time: 2317.34 s
Current children cumulated vsize: 126964 KiB
Current children cumulated memory: 116668 KiB

[startup+2382.3 s]
/proc/loadavg: 4.41 4.23 4.09 5/272 81082
/proc/meminfo: memFree=127251848/131250000 swapFree=33010684/33010684
[pid=80946] ppid=80927 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/80946/stat : 80946 (Hybrid-NuPBODee) S 80927 80946 80874 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 71763706 4427776 768 18446744073709551615 94542327242752 94542328137285 140731557659136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94542328376336 94542328424080 94542331645952 140731557665115 140731557665267 140731557665267 140731557670869 0
/proc/80946/statm: 1081 768 704 219 0 143 0
[pid=80953] ppid=80946 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/80953/stat : 80953 (timeout) S 80946 80953 80874 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71763709 2723840 352 18446744073709551615 94743927590912 94743927607425 140722130453424 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94743927622192 94743927624280 94743937048576 140722130454960 140722130455074 140722130455074 140722130460647 0
/proc/80953/statm: 665 352 352 5 0 90 0
[pid=80955] ppid=80953 vsize=119980 memory=112188 CPUtime=2377.21 cores=1,3
/proc/80955/stat : 80955 (NuPBO-DeepOptS+) R 80953 80953 80874 0 -1 4194304 47902 0 0 0 237712 9 0 0 20 0 1 0 71763710 122859520 28047 18446744073709551615 4198400 15468185 140735301657408 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31293440 140735301659068 140735301659169 140735301659169 140735301664742 0
/proc/80955/statm: 29995 28047 2848 2752 0 26648 0
Current children cumulated CPU time: 2377.21 s
Current children cumulated vsize: 126964 KiB
Current children cumulated memory: 116668 KiB

[startup+2442.3 s]
/proc/loadavg: 4.28 4.22 4.09 6/271 81149
/proc/meminfo: memFree=127323712/131250000 swapFree=33010684/33010684
[pid=80946] ppid=80927 vsize=4324 memory=3072 CPUtime=2392.93 cores=1,3
/proc/80946/stat : 80946 (Hybrid-NuPBODee) S 80927 80946 80874 0 -1 4194304 282 48167 0 0 0 0 239283 10 20 0 1 0 71763706 4427776 768 18446744073709551615 94542327242752 94542328137285 140731557659136 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94542328376336 94542328424080 94542331645952 140731557665115 140731557665267 140731557665267 140731557670869 0
/proc/80946/statm: 1081 768 704 219 0 143 0
[pid=81087] ppid=80946 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/81087/stat : 81087 (timeout) S 80946 81087 80874 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72003510 2723840 320 18446744073709551615 93831087927296 93831087943809 140725624617152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93831087958576 93831087960664 93831104344064 140725624625539 140725624625698 140725624625698 140725624631271 0
/proc/81087/statm: 665 320 320 5 0 90 0
[pid=81089] ppid=81087 vsize=148144 memory=110228 CPUtime=44.1 cores=1,3
/proc/81089/stat : 81089 (ExactPR-nols) R 81087 81087 80874 0 -1 4194304 16953 0 0 0 4397 13 0 0 20 0 1 0 72003511 151699456 27557 18446744073709551615 94779935895552 94779945195205 140725060505920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94779946981696 94779947020776 94779970248704 140725060508056 140725060508196 140725060508196 140725060513769 0
/proc/81089/statm: 37036 27557 1888 2271 0 31674 0
Current children cumulated CPU time: 2437.03 s
Current children cumulated vsize: 155128 KiB
Current children cumulated memory: 114580 KiB

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

# cumulated CPU time of all completed processes:  user=2451.09 s, system=0.280517 s

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

[startup+2444.8 s]
/proc/loadavg: 4.26 4.22 4.09 6/271 81149
/proc/meminfo: memFree=127324032/131250000 swapFree=33010684/33010684
[pid=80946] ppid=80927 vsize=4324 memory=3072 CPUtime=2392.93 cores=1,3
/proc/80946/stat : 80946 (Hybrid-NuPBODee) S 80927 80946 80874 0 -1 4194304 282 48167 0 0 0 0 239283 10 20 0 1 0 71763706 4427776 768 18446744073709551615 94542327242752 94542328137285 140731557659136 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94542328376336 94542328424080 94542331645952 140731557665115 140731557665267 140731557665267 140731557670869 0
/proc/80946/statm: 1081 768 704 219 0 143 0
[pid=81087] ppid=80946 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/81087/stat : 81087 (timeout) S 80946 81087 80874 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72003510 2723840 320 18446744073709551615 93831087927296 93831087943809 140725624617152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93831087958576 93831087960664 93831104344064 140725624625539 140725624625698 140725624625698 140725624631271 0
/proc/81087/statm: 665 320 320 5 0 90 0
[pid=81089] ppid=81087 vsize=149040 memory=111124 CPUtime=46.59 cores=1,3
/proc/81089/stat : 81089 (ExactPR-nols) R 81087 81087 80874 0 -1 4194304 17163 0 0 0 4646 13 0 0 20 0 1 0 72003511 152616960 27781 18446744073709551615 94779935895552 94779945195205 140725060505920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94779946981696 94779947020776 94779970248704 140725060508056 140725060508196 140725060508196 140725060513769 0
/proc/81089/statm: 37260 27781 1888 2271 0 31898 0
Current children cumulated CPU time: 2439.52 s
Current children cumulated vsize: 156024 KiB
Current children cumulated memory: 115476 KiB

[startup+2451.2 s]
/proc/loadavg: 4.24 4.21 4.09 5/271 81149
/proc/meminfo: memFree=127323816/131250000 swapFree=33010684/33010684
[pid=80946] ppid=80927 vsize=4324 memory=3072 CPUtime=2392.93 cores=1,3
/proc/80946/stat : 80946 (Hybrid-NuPBODee) S 80927 80946 80874 0 -1 4194304 282 48167 0 0 0 0 239283 10 20 0 1 0 71763706 4427776 768 18446744073709551615 94542327242752 94542328137285 140731557659136 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94542328376336 94542328424080 94542331645952 140731557665115 140731557665267 140731557665267 140731557670869 0
/proc/80946/statm: 1081 768 704 219 0 143 0
[pid=81087] ppid=80946 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/81087/stat : 81087 (timeout) S 80946 81087 80874 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72003510 2723840 320 18446744073709551615 93831087927296 93831087943809 140725624617152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93831087958576 93831087960664 93831104344064 140725624625539 140725624625698 140725624625698 140725624631271 0
/proc/81087/statm: 665 320 320 5 0 90 0
[pid=81089] ppid=81087 vsize=150556 memory=112532 CPUtime=52.97 cores=1,3
/proc/81089/stat : 81089 (ExactPR-nols) R 81087 81087 80874 0 -1 4194304 17540 0 0 0 5283 14 0 0 20 0 1 0 72003511 154169344 28133 18446744073709551615 94779935895552 94779945195205 140725060505920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94779946981696 94779947020776 94779970248704 140725060508056 140725060508196 140725060508196 140725060513769 0
/proc/81089/statm: 37639 28133 1888 2271 0 32277 0
Current children cumulated CPU time: 2445.9 s
Current children cumulated vsize: 157540 KiB
Current children cumulated memory: 116884 KiB

[startup+2454.4 s]
/proc/loadavg: 4.22 4.21 4.09 6/271 81149
/proc/meminfo: memFree=127315784/131250000 swapFree=33010684/33010684
[pid=80946] ppid=80927 vsize=4324 memory=3072 CPUtime=2392.93 cores=1,3
/proc/80946/stat : 80946 (Hybrid-NuPBODee) S 80927 80946 80874 0 -1 4194304 282 48167 0 0 0 0 239283 10 20 0 1 0 71763706 4427776 768 18446744073709551615 94542327242752 94542328137285 140731557659136 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94542328376336 94542328424080 94542331645952 140731557665115 140731557665267 140731557665267 140731557670869 0
/proc/80946/statm: 1081 768 704 219 0 143 0
[pid=81087] ppid=80946 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/81087/stat : 81087 (timeout) S 80946 81087 80874 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72003510 2723840 320 18446744073709551615 93831087927296 93831087943809 140725624617152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93831087958576 93831087960664 93831104344064 140725624625539 140725624625698 140725624625698 140725624631271 0
/proc/81087/statm: 665 320 320 5 0 90 0
[pid=81089] ppid=81087 vsize=151664 memory=113684 CPUtime=56.16 cores=1,3
/proc/81089/stat : 81089 (ExactPR-nols) R 81087 81087 80874 0 -1 4194304 17819 0 0 0 5601 15 0 0 20 0 1 0 72003511 155303936 28421 18446744073709551615 94779935895552 94779945195205 140725060505920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94779946981696 94779947020776 94779970248704 140725060508056 140725060508196 140725060508196 140725060513769 0
/proc/81089/statm: 37916 28421 1888 2271 0 32554 0
Current children cumulated CPU time: 2449.09 s
Current children cumulated vsize: 158648 KiB
Current children cumulated memory: 118036 KiB

[startup+2456 s]*
/proc/loadavg: 4.22 4.21 4.09 5/265 81160
/proc/meminfo: memFree=127467272/131250000 swapFree=33010684/33010684
[pid=80946] ppid=80927 vsize=4324 memory=3072 CPUtime=2392.93 cores=1,3
/proc/80946/stat : 80946 (Hybrid-NuPBODee) S 80927 80946 80874 0 -1 4194304 282 48167 0 0 0 0 239283 10 20 0 1 0 71763706 4427776 768 18446744073709551615 94542327242752 94542328137285 140731557659136 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94542328376336 94542328424080 94542331645952 140731557665115 140731557665267 140731557665267 140731557670869 0
/proc/80946/statm: 1081 768 704 219 0 143 0
[pid=81087] ppid=80946 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/81087/stat : 81087 (timeout) S 80946 81087 80874 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72003510 2723840 320 18446744073709551615 93831087927296 93831087943809 140725624617152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93831087958576 93831087960664 93831104344064 140725624625539 140725624625698 140725624625698 140725624631271 0
/proc/81087/statm: 665 320 320 5 0 90 0
[pid=81089] ppid=81087 vsize=152624 memory=114580 CPUtime=57.76 cores=1,3
/proc/81089/stat : 81089 (ExactPR-nols) R 81087 81087 80874 0 -1 4194304 18058 0 0 0 5761 15 0 0 20 0 1 0 72003511 156286976 28645 18446744073709551615 94779935895552 94779945195205 140725060505920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94779946981696 94779947020776 94779970248704 140725060508056 140725060508196 140725060508196 140725060513769 0
/proc/81089/statm: 38156 28645 1888 2271 0 32794 0
Current children cumulated CPU time: 2450.69 s
Current children cumulated vsize: 159608 KiB
Current children cumulated memory: 118932 KiB

[startup+2456.4 s]
/proc/loadavg: 4.22 4.21 4.09 5/265 81160
/proc/meminfo: memFree=127467272/131250000 swapFree=33010684/33010684
[pid=80946] ppid=80927 vsize=4324 memory=3072 CPUtime=2392.93 cores=1,3
/proc/80946/stat : 80946 (Hybrid-NuPBODee) S 80927 80946 80874 0 -1 4194304 282 48167 0 0 0 0 239283 10 20 0 1 0 71763706 4427776 768 18446744073709551615 94542327242752 94542328137285 140731557659136 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94542328376336 94542328424080 94542331645952 140731557665115 140731557665267 140731557665267 140731557670869 0
/proc/80946/statm: 1081 768 704 219 0 143 0
[pid=81087] ppid=80946 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/81087/stat : 81087 (timeout) S 80946 81087 80874 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72003510 2723840 320 18446744073709551615 93831087927296 93831087943809 140725624617152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93831087958576 93831087960664 93831104344064 140725624625539 140725624625698 140725624625698 140725624631271 0
/proc/81087/statm: 665 320 320 5 0 90 0
[pid=81089] ppid=81087 vsize=152624 memory=114580 CPUtime=58.15 cores=1,3
/proc/81089/stat : 81089 (ExactPR-nols) R 81087 81087 80874 0 -1 4194304 18061 0 0 0 5800 15 0 0 20 0 1 0 72003511 156286976 28645 18446744073709551615 94779935895552 94779945195205 140725060505920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94779946981696 94779947020776 94779970248704 140725060508056 140725060508196 140725060508196 140725060513769 0
/proc/81089/statm: 38156 28645 1888 2271 0 32794 0
Current children cumulated CPU time: 2451.08 s
Current children cumulated vsize: 159608 KiB
Current children cumulated memory: 118932 KiB

[startup+2456.6 s]
/proc/loadavg: 4.22 4.21 4.09 5/265 81160
/proc/meminfo: memFree=127467272/131250000 swapFree=33010684/33010684
[pid=80946] ppid=80927 vsize=4324 memory=3072 CPUtime=2392.93 cores=1,3
/proc/80946/stat : 80946 (Hybrid-NuPBODee) S 80927 80946 80874 0 -1 4194304 282 48167 0 0 0 0 239283 10 20 0 1 0 71763706 4427776 768 18446744073709551615 94542327242752 94542328137285 140731557659136 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94542328376336 94542328424080 94542331645952 140731557665115 140731557665267 140731557665267 140731557670869 0
/proc/80946/statm: 1081 768 704 219 0 143 0
[pid=81087] ppid=80946 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/81087/stat : 81087 (timeout) S 80946 81087 80874 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72003510 2723840 320 18446744073709551615 93831087927296 93831087943809 140725624617152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93831087958576 93831087960664 93831104344064 140725624625539 140725624625698 140725624625698 140725624631271 0
/proc/81087/statm: 665 320 320 5 0 90 0
[pid=81089] ppid=81087 vsize=152624 memory=114580 CPUtime=58.35 cores=1,3
/proc/81089/stat : 81089 (ExactPR-nols) R 81087 81087 80874 0 -1 4194304 18061 0 0 0 5820 15 0 0 20 0 1 0 72003511 156286976 28645 18446744073709551615 94779935895552 94779945195205 140725060505920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94779946981696 94779947020776 94779970248704 140725060508056 140725060508196 140725060508196 140725060513769 0
/proc/81089/statm: 38156 28645 1888 2271 0 32794 0
Current children cumulated CPU time: 2451.28 s
Current children cumulated vsize: 159608 KiB
Current children cumulated memory: 118932 KiB

Child status: 0

Real time (s): 2456.68
CPU time (s): 2451.37
CPU user time (s): 2451.09
CPU system time (s): 0.280517
CPU usage (%): 99.7837
Max. virtual memory (cumulated for all children) (KiB): 159608
Max. memory (cumulated for all children) (KiB): 120612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2451.09
system time used= 0.280517
maximum resident set size= 116824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67866
page faults= 2
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1087
involuntary context switches= 3154


# summary of solver processes directly reported to runsolver:
#   pid: 80946
#   total CPU time (s): 2451.37
#   total CPU user time (s): 2451.09
#   total CPU system time (s): 0.280517

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.94959 second user time and 9.96542 second system time

The end