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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499425-1751479888/watcher-4499425-1751479888 -o /tmp/evaluation-result-4499425-1751479888/solver-4499425-1751479888 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751473856-68420 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4499425-1751479888.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=69199, runsolver pid=69196
Current StackSize limit: 8192 KiB


[startup+0.100067 s]*
/proc/loadavg: 4.14 4.20 4.14 5/272 69203
/proc/meminfo: memFree=116471268/131249996 swapFree=33006296/33010684
[pid=69199] ppid=69196 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/69199/stat : 69199 (Hybrid-NuPBODee) S 69196 69199 68409 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 63666308 4427776 704 18446744073709551615 94480244133888 94480245028421 140732946512048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94480245267472 94480245315216 94480263290880 140732946516315 140732946516467 140732946516467 140732946522069 0
/proc/69199/statm: 1081 704 672 219 0 143 0
[pid=69202] ppid=69199 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/69202/stat : 69202 (timeout) S 69199 69202 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63666309 2723840 352 18446744073709551615 94260544897024 94260544913537 140733164829056 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94260544928304 94260544930392 94260562694144 140733164833200 140733164833314 140733164833314 140733164838887 0
/proc/69202/statm: 665 352 352 5 0 90 0
[pid=69203] ppid=69202 vsize=23084 memory=8272 CPUtime=0.08 cores=4,6
/proc/69203/stat : 69203 (NuPBO-DeepOptS+) R 69202 69202 68409 0 -1 4194304 1530 0 0 0 8 0 0 0 20 0 1 0 63666309 23638016 2068 18446744073709551615 4198400 15468185 140722273741248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52920320 140722273749436 140722273749537 140722273749537 140722273755110 0
/proc/69203/statm: 5771 2068 1088 2752 0 2424 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 30068 KiB
Current children cumulated memory: 12496 KiB

[startup+0.205779 s]*
/proc/loadavg: 4.14 4.20 4.14 5/272 69203
/proc/meminfo: memFree=116455392/131249996 swapFree=33006296/33010684
[pid=69199] ppid=69196 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/69199/stat : 69199 (Hybrid-NuPBODee) S 69196 69199 68409 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 63666308 4427776 704 18446744073709551615 94480244133888 94480245028421 140732946512048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94480245267472 94480245315216 94480263290880 140732946516315 140732946516467 140732946516467 140732946522069 0
/proc/69199/statm: 1081 704 672 219 0 143 0
[pid=69202] ppid=69199 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/69202/stat : 69202 (timeout) S 69199 69202 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63666309 2723840 352 18446744073709551615 94260544897024 94260544913537 140733164829056 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94260544928304 94260544930392 94260562694144 140733164833200 140733164833314 140733164833314 140733164838887 0
/proc/69202/statm: 665 352 352 5 0 90 0
[pid=69203] ppid=69202 vsize=39392 memory=23544 CPUtime=0.19 cores=4,6
/proc/69203/stat : 69203 (NuPBO-DeepOptS+) R 69202 69202 68409 0 -1 4194304 6054 0 0 0 18 1 0 0 20 0 1 0 63666309 40337408 5886 18446744073709551615 4198400 15468185 140722273741248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52920320 140722273749436 140722273749537 140722273749537 140722273755110 0
/proc/69203/statm: 9848 5886 1088 2752 0 6501 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 46376 KiB
Current children cumulated memory: 27768 KiB

[startup+0.305781 s]*
/proc/loadavg: 4.14 4.20 4.14 5/272 69203
/proc/meminfo: memFree=116443232/131249996 swapFree=33006296/33010684
[pid=69199] ppid=69196 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/69199/stat : 69199 (Hybrid-NuPBODee) S 69196 69199 68409 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 63666308 4427776 704 18446744073709551615 94480244133888 94480245028421 140732946512048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94480245267472 94480245315216 94480263290880 140732946516315 140732946516467 140732946516467 140732946522069 0
/proc/69199/statm: 1081 704 672 219 0 143 0
[pid=69202] ppid=69199 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/69202/stat : 69202 (timeout) S 69199 69202 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63666309 2723840 352 18446744073709551615 94260544897024 94260544913537 140733164829056 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94260544928304 94260544930392 94260562694144 140733164833200 140733164833314 140733164833314 140733164838887 0
/proc/69202/statm: 665 352 352 5 0 90 0
[pid=69203] ppid=69202 vsize=39392 memory=23800 CPUtime=0.29 cores=4,6
/proc/69203/stat : 69203 (NuPBO-DeepOptS+) R 69202 69202 68409 0 -1 4194304 6057 0 0 0 28 1 0 0 20 0 1 0 63666309 40337408 5950 18446744073709551615 4198400 15468185 140722273741248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52920320 140722273749436 140722273749537 140722273749537 140722273755110 0
/proc/69203/statm: 9848 5950 1152 2752 0 6501 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 46376 KiB
Current children cumulated memory: 28024 KiB

[startup+0.700239 s]
/proc/loadavg: 4.14 4.20 4.14 5/272 69203
/proc/meminfo: memFree=116443232/131249996 swapFree=33006296/33010684
[pid=69199] ppid=69196 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/69199/stat : 69199 (Hybrid-NuPBODee) S 69196 69199 68409 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 63666308 4427776 704 18446744073709551615 94480244133888 94480245028421 140732946512048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94480245267472 94480245315216 94480263290880 140732946516315 140732946516467 140732946516467 140732946522069 0
/proc/69199/statm: 1081 704 672 219 0 143 0
[pid=69202] ppid=69199 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/69202/stat : 69202 (timeout) S 69199 69202 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63666309 2723840 352 18446744073709551615 94260544897024 94260544913537 140733164829056 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94260544928304 94260544930392 94260562694144 140733164833200 140733164833314 140733164833314 140733164838887 0
/proc/69202/statm: 665 352 352 5 0 90 0
[pid=69203] ppid=69202 vsize=39392 memory=23800 CPUtime=0.68 cores=4,6
/proc/69203/stat : 69203 (NuPBO-DeepOptS+) R 69202 69202 68409 0 -1 4194304 6057 0 0 0 67 1 0 0 20 0 1 0 63666309 40337408 5950 18446744073709551615 4198400 15468185 140722273741248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52920320 140722273749436 140722273749537 140722273749537 140722273755110 0
/proc/69203/statm: 9848 5950 1152 2752 0 6501 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46376 KiB
Current children cumulated memory: 28024 KiB

[startup+1.50022 s]
/proc/loadavg: 4.14 4.20 4.14 5/272 69203
/proc/meminfo: memFree=116439440/131249996 swapFree=33006296/33010684
[pid=69199] ppid=69196 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/69199/stat : 69199 (Hybrid-NuPBODee) S 69196 69199 68409 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 63666308 4427776 704 18446744073709551615 94480244133888 94480245028421 140732946512048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94480245267472 94480245315216 94480263290880 140732946516315 140732946516467 140732946516467 140732946522069 0
/proc/69199/statm: 1081 704 672 219 0 143 0
[pid=69202] ppid=69199 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/69202/stat : 69202 (timeout) S 69199 69202 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63666309 2723840 352 18446744073709551615 94260544897024 94260544913537 140733164829056 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94260544928304 94260544930392 94260562694144 140733164833200 140733164833314 140733164833314 140733164838887 0
/proc/69202/statm: 665 352 352 5 0 90 0
[pid=69203] ppid=69202 vsize=39392 memory=23800 CPUtime=1.47 cores=4,6
/proc/69203/stat : 69203 (NuPBO-DeepOptS+) R 69202 69202 68409 0 -1 4194304 6057 0 0 0 146 1 0 0 20 0 1 0 63666309 40337408 5950 18446744073709551615 4198400 15468185 140722273741248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52920320 140722273749436 140722273749537 140722273749537 140722273755110 0
/proc/69203/statm: 9848 5950 1152 2752 0 6501 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 46376 KiB
Current children cumulated memory: 28024 KiB

[startup+3.10543 s]
/proc/loadavg: 4.14 4.20 4.14 5/272 69203
/proc/meminfo: memFree=116336988/131249996 swapFree=33006296/33010684
[pid=69199] ppid=69196 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/69199/stat : 69199 (Hybrid-NuPBODee) S 69196 69199 68409 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 63666308 4427776 704 18446744073709551615 94480244133888 94480245028421 140732946512048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94480245267472 94480245315216 94480263290880 140732946516315 140732946516467 140732946516467 140732946522069 0
/proc/69199/statm: 1081 704 672 219 0 143 0
[pid=69202] ppid=69199 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/69202/stat : 69202 (timeout) S 69199 69202 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63666309 2723840 352 18446744073709551615 94260544897024 94260544913537 140733164829056 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94260544928304 94260544930392 94260562694144 140733164833200 140733164833314 140733164833314 140733164838887 0
/proc/69202/statm: 665 352 352 5 0 90 0
[pid=69203] ppid=69202 vsize=136608 memory=122960 CPUtime=3.07 cores=4,6
/proc/69203/stat : 69203 (NuPBO-DeepOptS+) R 69202 69202 68409 0 -1 4194304 30697 0 0 0 303 4 0 0 20 0 1 0 63666309 139886592 30740 18446744073709551615 4198400 15468185 140722273741248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52920320 140722273749436 140722273749537 140722273749537 140722273755110 0
/proc/69203/statm: 34152 30740 2816 2752 0 30805 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 143592 KiB
Current children cumulated memory: 127184 KiB

[startup+6.30024 s]
/proc/loadavg: 4.13 4.19 4.14 5/272 69203
/proc/meminfo: memFree=116319132/131249996 swapFree=33006296/33010684
[pid=69199] ppid=69196 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/69199/stat : 69199 (Hybrid-NuPBODee) S 69196 69199 68409 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 63666308 4427776 704 18446744073709551615 94480244133888 94480245028421 140732946512048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94480245267472 94480245315216 94480263290880 140732946516315 140732946516467 140732946516467 140732946522069 0
/proc/69199/statm: 1081 704 672 219 0 143 0
[pid=69202] ppid=69199 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/69202/stat : 69202 (timeout) S 69199 69202 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63666309 2723840 352 18446744073709551615 94260544897024 94260544913537 140733164829056 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94260544928304 94260544930392 94260562694144 140733164833200 140733164833314 140733164833314 140733164838887 0
/proc/69202/statm: 665 352 352 5 0 90 0
[pid=69203] ppid=69202 vsize=137464 memory=123472 CPUtime=6.26 cores=4,6
/proc/69203/stat : 69203 (NuPBO-DeepOptS+) R 69202 69202 68409 0 -1 4194304 30841 0 0 0 622 4 0 0 20 0 1 0 63666309 140763136 30868 18446744073709551615 4198400 15468185 140722273741248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52920320 140722273749436 140722273749537 140722273749537 140722273755110 0
/proc/69203/statm: 34366 30868 2816 2752 0 31019 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 144448 KiB
Current children cumulated memory: 127696 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.19 4.14 5/272 69203
/proc/meminfo: memFree=116246948/131249996 swapFree=33006296/33010684
[pid=69199] ppid=69196 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/69199/stat : 69199 (Hybrid-NuPBODee) S 69196 69199 68409 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 63666308 4427776 704 18446744073709551615 94480244133888 94480245028421 140732946512048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94480245267472 94480245315216 94480263290880 140732946516315 140732946516467 140732946516467 140732946522069 0
/proc/69199/statm: 1081 704 672 219 0 143 0
[pid=69202] ppid=69199 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/69202/stat : 69202 (timeout) S 69199 69202 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63666309 2723840 352 18446744073709551615 94260544897024 94260544913537 140733164829056 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94260544928304 94260544930392 94260562694144 140733164833200 140733164833314 140733164833314 140733164838887 0
/proc/69202/statm: 665 352 352 5 0 90 0
[pid=69203] ppid=69202 vsize=148672 memory=131024 CPUtime=12.64 cores=4,6
/proc/69203/stat : 69203 (NuPBO-DeepOptS+) R 69202 69202 68409 0 -1 4194304 32698 0 0 0 1260 4 0 0 20 0 1 0 63666309 152240128 32756 18446744073709551615 4198400 15468185 140722273741248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52920320 140722273749436 140722273749537 140722273749537 140722273755110 0
/proc/69203/statm: 37168 32756 2848 2752 0 33821 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 155656 KiB
Current children cumulated memory: 135248 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.20 4.14 5/272 69203
/proc/meminfo: memFree=116192984/131249996 swapFree=33006296/33010684
[pid=69199] ppid=69196 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/69199/stat : 69199 (Hybrid-NuPBODee) S 69196 69199 68409 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 63666308 4427776 704 18446744073709551615 94480244133888 94480245028421 140732946512048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94480245267472 94480245315216 94480263290880 140732946516315 140732946516467 140732946516467 140732946522069 0
/proc/69199/statm: 1081 704 672 219 0 143 0
[pid=69202] ppid=69199 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/69202/stat : 69202 (timeout) S 69199 69202 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63666309 2723840 352 18446744073709551615 94260544897024 94260544913537 140733164829056 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94260544928304 94260544930392 94260562694144 140733164833200 140733164833314 140733164833314 140733164838887 0
/proc/69202/statm: 665 352 352 5 0 90 0
[pid=69203] ppid=69202 vsize=186372 memory=159568 CPUtime=25.4 cores=4,6
/proc/69203/stat : 69203 (NuPBO-DeepOptS+) R 69202 69202 68409 0 -1 4194304 39820 0 0 0 2535 5 0 0 20 0 1 0 63666309 190844928 39892 18446744073709551615 4198400 15468185 140722273741248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52920320 140722273749436 140722273749537 140722273749537 140722273755110 0
/proc/69203/statm: 46593 39892 2848 2752 0 43246 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 193356 KiB
Current children cumulated memory: 163792 KiB

[startup+51.1057 s]
/proc/loadavg: 4.11 4.18 4.14 5/273 69205
/proc/meminfo: memFree=116020140/131249996 swapFree=33006296/33010684
[pid=69199] ppid=69196 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/69199/stat : 69199 (Hybrid-NuPBODee) S 69196 69199 68409 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 63666308 4427776 704 18446744073709551615 94480244133888 94480245028421 140732946512048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94480245267472 94480245315216 94480263290880 140732946516315 140732946516467 140732946516467 140732946522069 0
/proc/69199/statm: 1081 704 672 219 0 143 0
[pid=69202] ppid=69199 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/69202/stat : 69202 (timeout) S 69199 69202 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63666309 2723840 352 18446744073709551615 94260544897024 94260544913537 140733164829056 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94260544928304 94260544930392 94260562694144 140733164833200 140733164833314 140733164833314 140733164838887 0
/proc/69202/statm: 665 352 352 5 0 90 0
[pid=69203] ppid=69202 vsize=245724 memory=198864 CPUtime=50.94 cores=4,6
/proc/69203/stat : 69203 (NuPBO-DeepOptS+) R 69202 69202 68409 0 -1 4194304 49669 0 0 0 5088 6 0 0 20 0 1 0 63666309 251621376 49716 18446744073709551615 4198400 15468185 140722273741248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52920320 140722273749436 140722273749537 140722273749537 140722273755110 0
/proc/69203/statm: 61431 49716 2848 2752 0 58084 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 252708 KiB
Current children cumulated memory: 203088 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.18 4.14 5/273 69265
/proc/meminfo: memFree=128579164/131249996 swapFree=33006296/33010684
[pid=69199] ppid=69196 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/69199/stat : 69199 (Hybrid-NuPBODee) S 69196 69199 68409 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 63666308 4427776 704 18446744073709551615 94480244133888 94480245028421 140732946512048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94480245267472 94480245315216 94480263290880 140732946516315 140732946516467 140732946516467 140732946522069 0
/proc/69199/statm: 1081 704 672 219 0 143 0

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

/proc/69203/statm: 108597 105383 2848 2752 0 105250 0
Current children cumulated CPU time: 2316.45 s
Current children cumulated vsize: 441372 KiB
Current children cumulated memory: 425756 KiB

[startup+2382.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/273 69550
/proc/meminfo: memFree=127986776/131249996 swapFree=33006296/33010684
[pid=69199] ppid=69196 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/69199/stat : 69199 (Hybrid-NuPBODee) S 69196 69199 68409 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 63666308 4427776 704 18446744073709551615 94480244133888 94480245028421 140732946512048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94480245267472 94480245315216 94480263290880 140732946516315 140732946516467 140732946516467 140732946522069 0
/proc/69199/statm: 1081 704 672 219 0 143 0
[pid=69202] ppid=69199 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/69202/stat : 69202 (timeout) S 69199 69202 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63666309 2723840 352 18446744073709551615 94260544897024 94260544913537 140733164829056 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94260544928304 94260544930392 94260562694144 140733164833200 140733164833314 140733164833314 140733164838887 0
/proc/69202/statm: 665 352 352 5 0 90 0
[pid=69203] ppid=69202 vsize=434388 memory=421532 CPUtime=2376.3 cores=4,6
/proc/69203/stat : 69203 (NuPBO-DeepOptS+) R 69202 69202 68409 0 -1 4194304 80476 0 0 0 237609 21 0 0 20 0 1 0 63666309 444813312 105383 18446744073709551615 4198400 15468185 140722273741248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52920320 140722273749436 140722273749537 140722273749537 140722273755110 0
/proc/69203/statm: 108597 105383 2848 2752 0 105250 0
Current children cumulated CPU time: 2376.3 s
Current children cumulated vsize: 441372 KiB
Current children cumulated memory: 425756 KiB

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

# cumulated CPU time of all completed processes:  user=2431.4 s, system=0.305305 s

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

[startup+2406.4 s]
/proc/loadavg: 4.08 4.08 4.09 5/273 69552
/proc/meminfo: memFree=128368824/131249996 swapFree=33006296/33010684
[pid=69199] ppid=69196 vsize=4324 memory=2816 CPUtime=2392 cores=4,6
/proc/69199/stat : 69199 (Hybrid-NuPBODee) S 69196 69199 68409 0 -1 4194304 283 80749 0 0 0 0 239178 22 20 0 1 0 63666308 4427776 704 18446744073709551615 94480244133888 94480245028421 140732946512048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94480245267472 94480245315216 94480263290880 140732946516315 140732946516467 140732946516467 140732946522069 0
/proc/69199/statm: 1081 704 672 219 0 143 0
[pid=69551] ppid=69199 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/69551/stat : 69551 (timeout) S 69199 69551 68409 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63906110 2723840 320 18446744073709551615 94747861807104 94747861823617 140730479391072 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94747861838384 94747861840472 94747867971584 140730479397251 140730479397410 140730479397410 140730479402983 0
/proc/69551/statm: 665 320 320 5 0 90 0
[pid=69552] ppid=69551 vsize=80652 memory=46636 CPUtime=8.32 cores=4,6
/proc/69552/stat : 69552 (ExactPR-nols) R 69551 69551 68409 0 -1 4194304 9516 0 0 0 829 3 0 0 20 0 1 0 63906111 82587648 11659 18446744073709551615 93865180737536 93865190037189 140734901618080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93865191823680 93865191862760 93865227108352 140734901623192 140734901623332 140734901623332 140734901628905 0
/proc/69552/statm: 20163 11659 1920 2271 0 14801 0
Current children cumulated CPU time: 2400.32 s
Current children cumulated vsize: 87636 KiB
Current children cumulated memory: 50732 KiB

[startup+2419.2 s]
/proc/loadavg: 4.06 4.08 4.09 5/273 69552
/proc/meminfo: memFree=128364808/131249996 swapFree=33006296/33010684
[pid=69199] ppid=69196 vsize=4324 memory=2816 CPUtime=2392 cores=4,6
/proc/69199/stat : 69199 (Hybrid-NuPBODee) S 69196 69199 68409 0 -1 4194304 283 80749 0 0 0 0 239178 22 20 0 1 0 63666308 4427776 704 18446744073709551615 94480244133888 94480245028421 140732946512048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94480245267472 94480245315216 94480263290880 140732946516315 140732946516467 140732946516467 140732946522069 0
/proc/69199/statm: 1081 704 672 219 0 143 0
[pid=69551] ppid=69199 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/69551/stat : 69551 (timeout) S 69199 69551 68409 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63906110 2723840 320 18446744073709551615 94747861807104 94747861823617 140730479391072 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94747861838384 94747861840472 94747867971584 140730479397251 140730479397410 140730479397410 140730479402983 0
/proc/69551/statm: 665 320 320 5 0 90 0
[pid=69552] ppid=69551 vsize=82652 memory=48684 CPUtime=21.08 cores=4,6
/proc/69552/stat : 69552 (ExactPR-nols) R 69551 69551 68409 0 -1 4194304 10034 0 0 0 2105 3 0 0 20 0 1 0 63906111 84635648 12171 18446744073709551615 93865180737536 93865190037189 140734901618080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93865191823680 93865191862760 93865227108352 140734901623192 140734901623332 140734901623332 140734901628905 0
/proc/69552/statm: 20663 12171 1920 2271 0 15301 0
Current children cumulated CPU time: 2413.08 s
Current children cumulated vsize: 89636 KiB
Current children cumulated memory: 52780 KiB

[startup+2425.6 s]
/proc/loadavg: 4.13 4.10 4.09 5/273 69552
/proc/meminfo: memFree=128364808/131249996 swapFree=33006296/33010684
[pid=69199] ppid=69196 vsize=4324 memory=2816 CPUtime=2392 cores=4,6
/proc/69199/stat : 69199 (Hybrid-NuPBODee) S 69196 69199 68409 0 -1 4194304 283 80749 0 0 0 0 239178 22 20 0 1 0 63666308 4427776 704 18446744073709551615 94480244133888 94480245028421 140732946512048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94480245267472 94480245315216 94480263290880 140732946516315 140732946516467 140732946516467 140732946522069 0
/proc/69199/statm: 1081 704 672 219 0 143 0
[pid=69551] ppid=69199 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/69551/stat : 69551 (timeout) S 69199 69551 68409 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63906110 2723840 320 18446744073709551615 94747861807104 94747861823617 140730479391072 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94747861838384 94747861840472 94747867971584 140730479397251 140730479397410 140730479397410 140730479402983 0
/proc/69551/statm: 665 320 320 5 0 90 0
[pid=69552] ppid=69551 vsize=83984 memory=49964 CPUtime=27.47 cores=4,6
/proc/69552/stat : 69552 (ExactPR-nols) R 69551 69551 68409 0 -1 4194304 10370 0 0 0 2743 4 0 0 20 0 1 0 63906111 85999616 12491 18446744073709551615 93865180737536 93865190037189 140734901618080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93865191823680 93865191862760 93865227108352 140734901623192 140734901623332 140734901623332 140734901628905 0
/proc/69552/statm: 20996 12491 1920 2271 0 15634 0
Current children cumulated CPU time: 2419.47 s
Current children cumulated vsize: 90968 KiB
Current children cumulated memory: 54060 KiB

[startup+2432 s]*
/proc/loadavg: 4.12 4.09 4.09 5/273 69553
/proc/meminfo: memFree=128365680/131249996 swapFree=33006296/33010684
[pid=69199] ppid=69196 vsize=4324 memory=2816 CPUtime=2392 cores=4,6
/proc/69199/stat : 69199 (Hybrid-NuPBODee) S 69196 69199 68409 0 -1 4194304 283 80749 0 0 0 0 239178 22 20 0 1 0 63666308 4427776 704 18446744073709551615 94480244133888 94480245028421 140732946512048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94480245267472 94480245315216 94480263290880 140732946516315 140732946516467 140732946516467 140732946522069 0
/proc/69199/statm: 1081 704 672 219 0 143 0
[pid=69551] ppid=69199 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/69551/stat : 69551 (timeout) S 69199 69551 68409 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63906110 2723840 320 18446744073709551615 94747861807104 94747861823617 140730479391072 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94747861838384 94747861840472 94747867971584 140730479397251 140730479397410 140730479397410 140730479402983 0
/proc/69551/statm: 665 320 320 5 0 90 0
[pid=69552] ppid=69551 vsize=84676 memory=52832 CPUtime=33.84 cores=4,6
/proc/69552/stat : 69552 (ExactPR-nols) R 69551 69551 68409 0 -1 4194304 10546 0 0 0 3380 4 0 0 20 0 1 0 63906111 86708224 13208 18446744073709551615 93865180737536 93865190037189 140734901618080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93865191823680 93865191862760 93865227108352 140734901623192 140734901623332 140734901623332 140734901628905 0
/proc/69552/statm: 21169 13208 1920 2271 0 15807 0
Current children cumulated CPU time: 2425.84 s
Current children cumulated vsize: 91660 KiB
Current children cumulated memory: 56928 KiB

[startup+2435.2 s]
/proc/loadavg: 4.11 4.09 4.09 5/273 69553
/proc/meminfo: memFree=128365680/131249996 swapFree=33006296/33010684
[pid=69199] ppid=69196 vsize=4324 memory=2816 CPUtime=2392 cores=4,6
/proc/69199/stat : 69199 (Hybrid-NuPBODee) S 69196 69199 68409 0 -1 4194304 283 80749 0 0 0 0 239178 22 20 0 1 0 63666308 4427776 704 18446744073709551615 94480244133888 94480245028421 140732946512048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94480245267472 94480245315216 94480263290880 140732946516315 140732946516467 140732946516467 140732946522069 0
/proc/69199/statm: 1081 704 672 219 0 143 0
[pid=69551] ppid=69199 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/69551/stat : 69551 (timeout) S 69199 69551 68409 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63906110 2723840 320 18446744073709551615 94747861807104 94747861823617 140730479391072 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94747861838384 94747861840472 94747867971584 140730479397251 140730479397410 140730479397410 140730479402983 0
/proc/69551/statm: 665 320 320 5 0 90 0
[pid=69552] ppid=69551 vsize=84676 memory=52832 CPUtime=37.03 cores=4,6
/proc/69552/stat : 69552 (ExactPR-nols) R 69551 69551 68409 0 -1 4194304 10546 0 0 0 3696 7 0 0 20 0 1 0 63906111 86708224 13208 18446744073709551615 93865180737536 93865190037189 140734901618080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93865191823680 93865191862760 93865227108352 140734901623192 140734901623332 140734901623332 140734901628905 0
/proc/69552/statm: 21169 13208 1920 2271 0 15807 0
Current children cumulated CPU time: 2429.03 s
Current children cumulated vsize: 91660 KiB
Current children cumulated memory: 56928 KiB

[startup+2436.8 s]
/proc/loadavg: 4.11 4.09 4.09 5/273 69553
/proc/meminfo: memFree=128365432/131249996 swapFree=33006296/33010684
[pid=69199] ppid=69196 vsize=4324 memory=2816 CPUtime=2392 cores=4,6
/proc/69199/stat : 69199 (Hybrid-NuPBODee) S 69196 69199 68409 0 -1 4194304 283 80749 0 0 0 0 239178 22 20 0 1 0 63666308 4427776 704 18446744073709551615 94480244133888 94480245028421 140732946512048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94480245267472 94480245315216 94480263290880 140732946516315 140732946516467 140732946516467 140732946522069 0
/proc/69199/statm: 1081 704 672 219 0 143 0
[pid=69551] ppid=69199 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/69551/stat : 69551 (timeout) S 69199 69551 68409 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63906110 2723840 320 18446744073709551615 94747861807104 94747861823617 140730479391072 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94747861838384 94747861840472 94747867971584 140730479397251 140730479397410 140730479397410 140730479402983 0
/proc/69551/statm: 665 320 320 5 0 90 0
[pid=69552] ppid=69551 vsize=85300 memory=53344 CPUtime=38.63 cores=4,6
/proc/69552/stat : 69552 (ExactPR-nols) R 69551 69551 68409 0 -1 4194304 10703 0 0 0 3856 7 0 0 20 0 1 0 63906111 87347200 13336 18446744073709551615 93865180737536 93865190037189 140734901618080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93865191823680 93865191862760 93865227108352 140734901623192 140734901623332 140734901623332 140734901628905 0
/proc/69552/statm: 21325 13336 1920 2271 0 15963 0
Current children cumulated CPU time: 2430.63 s
Current children cumulated vsize: 92284 KiB
Current children cumulated memory: 57440 KiB

[startup+2437.6 s]
/proc/loadavg: 4.11 4.09 4.09 5/273 69553
/proc/meminfo: memFree=128365432/131249996 swapFree=33006296/33010684
[pid=69199] ppid=69196 vsize=4324 memory=2816 CPUtime=2392 cores=4,6
/proc/69199/stat : 69199 (Hybrid-NuPBODee) S 69196 69199 68409 0 -1 4194304 283 80749 0 0 0 0 239178 22 20 0 1 0 63666308 4427776 704 18446744073709551615 94480244133888 94480245028421 140732946512048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94480245267472 94480245315216 94480263290880 140732946516315 140732946516467 140732946516467 140732946522069 0
/proc/69199/statm: 1081 704 672 219 0 143 0
[pid=69551] ppid=69199 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/69551/stat : 69551 (timeout) S 69199 69551 68409 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63906110 2723840 320 18446744073709551615 94747861807104 94747861823617 140730479391072 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94747861838384 94747861840472 94747867971584 140730479397251 140730479397410 140730479397410 140730479402983 0
/proc/69551/statm: 665 320 320 5 0 90 0
[pid=69552] ppid=69551 vsize=85300 memory=53344 CPUtime=39.43 cores=4,6
/proc/69552/stat : 69552 (ExactPR-nols) R 69551 69551 68409 0 -1 4194304 10703 0 0 0 3936 7 0 0 20 0 1 0 63906111 87347200 13336 18446744073709551615 93865180737536 93865190037189 140734901618080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93865191823680 93865191862760 93865227108352 140734901623192 140734901623332 140734901623332 140734901628905 0
/proc/69552/statm: 21325 13336 1920 2271 0 15963 0
Current children cumulated CPU time: 2431.43 s
Current children cumulated vsize: 92284 KiB
Current children cumulated memory: 57440 KiB

[startup+2437.8 s]
/proc/loadavg: 4.11 4.09 4.09 5/273 69553
/proc/meminfo: memFree=128365432/131249996 swapFree=33006296/33010684
[pid=69199] ppid=69196 vsize=4324 memory=2816 CPUtime=2392 cores=4,6
/proc/69199/stat : 69199 (Hybrid-NuPBODee) S 69196 69199 68409 0 -1 4194304 283 80749 0 0 0 0 239178 22 20 0 1 0 63666308 4427776 704 18446744073709551615 94480244133888 94480245028421 140732946512048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94480245267472 94480245315216 94480263290880 140732946516315 140732946516467 140732946516467 140732946522069 0
/proc/69199/statm: 1081 704 672 219 0 143 0
[pid=69551] ppid=69199 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/69551/stat : 69551 (timeout) S 69199 69551 68409 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63906110 2723840 320 18446744073709551615 94747861807104 94747861823617 140730479391072 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94747861838384 94747861840472 94747867971584 140730479397251 140730479397410 140730479397410 140730479402983 0
/proc/69551/statm: 665 320 320 5 0 90 0
[pid=69552] ppid=69551 vsize=85300 memory=53344 CPUtime=39.62 cores=4,6
/proc/69552/stat : 69552 (ExactPR-nols) R 69551 69551 68409 0 -1 4194304 10703 0 0 0 3955 7 0 0 20 0 1 0 63906111 87347200 13336 18446744073709551615 93865180737536 93865190037189 140734901618080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93865191823680 93865191862760 93865227108352 140734901623192 140734901623332 140734901623332 140734901628905 0
/proc/69552/statm: 21325 13336 1920 2271 0 15963 0
Current children cumulated CPU time: 2431.62 s
Current children cumulated vsize: 92284 KiB
Current children cumulated memory: 57440 KiB

Child status: 0

Real time (s): 2437.89
CPU time (s): 2431.71
CPU user time (s): 2431.4
CPU system time (s): 0.305305
CPU usage (%): 99.7463
Max. virtual memory (cumulated for all children) (KiB): 457872
Max. memory (cumulated for all children) (KiB): 425756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2431.4
system time used= 0.305305
maximum resident set size= 421532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93073
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 934
involuntary context switches= 2082


# summary of solver processes directly reported to runsolver:
#   pid: 69199
#   total CPU time (s): 2431.71
#   total CPU user time (s): 2431.4
#   total CPU system time (s): 0.305305

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.64429 second user time and 9.08542 second system time

The end