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: 63665 MiB (61313 MiB free)
  memory of node 1: 64507 MiB (62786 MiB free)
  node distances:
     10  21
     21  10

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

solver pid=60722, runsolver pid=60713

[startup+0.100057 s]*
/proc/loadavg: 0.31 1.20 1.87 6/279 60743
/proc/meminfo: memFree=127063420/131249996 swapFree=33010160/33010684
[pid=60722] ppid=60713 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/60722/stat : 60722 (Hybrid-NuPBODee) S 60713 60722 60422 0 -1 4194304 248 104 0 2 0 0 0 0 20 0 1 0 57542151 4427776 768 18446744073709551615 93948228608000 93948229502533 140726194849568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948229741584 93948229789328 93948256899072 140726194858331 140726194858483 140726194858483 140726194864085 0
/proc/60722/statm: 1081 768 704 219 0 143 0
[pid=60736] ppid=60722 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/60736/stat : 60736 (timeout) S 60722 60736 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57542155 2723840 352 18446744073709551615 94073180196864 94073180213377 140727348423888 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94073180228144 94073180230232 94073186709504 140727348431280 140727348431394 140727348431394 140727348436967 0
/proc/60736/statm: 665 352 352 5 0 90 0
[pid=60740] ppid=60736 vsize=25580 memory=9628 CPUtime=0.05 cores=4,6
/proc/60740/stat : 60740 (NuPBO-DeepOptS+) R 60736 60736 60422 0 -1 4194304 1634 0 0 0 5 0 0 0 20 0 1 0 57542156 26193920 2375 18446744073709551615 4198400 15468185 140729971572176 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 43323392 140729971579324 140729971579425 140729971579425 140729971584998 0
/proc/60740/statm: 6395 2407 1088 2752 0 3048 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 32564 KiB
Current children cumulated memory: 14108 KiB

[startup+0.205052 s]*
/proc/loadavg: 0.31 1.20 1.87 6/279 60743
/proc/meminfo: memFree=127050568/131249996 swapFree=33010160/33010684
[pid=60722] ppid=60713 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/60722/stat : 60722 (Hybrid-NuPBODee) S 60713 60722 60422 0 -1 4194304 248 104 0 2 0 0 0 0 20 0 1 0 57542151 4427776 768 18446744073709551615 93948228608000 93948229502533 140726194849568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948229741584 93948229789328 93948256899072 140726194858331 140726194858483 140726194858483 140726194864085 0
/proc/60722/statm: 1081 768 704 219 0 143 0
[pid=60736] ppid=60722 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/60736/stat : 60736 (timeout) S 60722 60736 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57542155 2723840 352 18446744073709551615 94073180196864 94073180213377 140727348423888 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94073180228144 94073180230232 94073186709504 140727348431280 140727348431394 140727348431394 140727348436967 0
/proc/60736/statm: 665 352 352 5 0 90 0
[pid=60740] ppid=60736 vsize=26600 memory=11744 CPUtime=0.15 cores=4,6
/proc/60740/stat : 60740 (NuPBO-DeepOptS+) R 60736 60736 60422 0 -1 4194304 2423 0 0 0 15 0 0 0 20 0 1 0 57542156 27238400 2936 18446744073709551615 4198400 15468185 140729971572176 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 43323392 140729971579324 140729971579425 140729971579425 140729971584998 0
/proc/60740/statm: 6650 2936 1088 2752 0 3303 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 33584 KiB
Current children cumulated memory: 16224 KiB

[startup+0.30575 s]*
/proc/loadavg: 0.31 1.20 1.87 6/279 60743
/proc/meminfo: memFree=127043228/131249996 swapFree=33010160/33010684
[pid=60722] ppid=60713 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/60722/stat : 60722 (Hybrid-NuPBODee) S 60713 60722 60422 0 -1 4194304 248 104 0 2 0 0 0 0 20 0 1 0 57542151 4427776 768 18446744073709551615 93948228608000 93948229502533 140726194849568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948229741584 93948229789328 93948256899072 140726194858331 140726194858483 140726194858483 140726194864085 0
/proc/60722/statm: 1081 768 704 219 0 143 0
[pid=60736] ppid=60722 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/60736/stat : 60736 (timeout) S 60722 60736 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57542155 2723840 352 18446744073709551615 94073180196864 94073180213377 140727348423888 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94073180228144 94073180230232 94073186709504 140727348431280 140727348431394 140727348431394 140727348436967 0
/proc/60736/statm: 665 352 352 5 0 90 0
[pid=60740] ppid=60736 vsize=30696 memory=13796 CPUtime=0.25 cores=4,6
/proc/60740/stat : 60740 (NuPBO-DeepOptS+) R 60736 60736 60422 0 -1 4194304 2939 0 0 0 25 0 0 0 20 0 1 0 57542156 31432704 3449 18446744073709551615 4198400 15468185 140729971572176 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 43323392 140729971579324 140729971579425 140729971579425 140729971584998 0
/proc/60740/statm: 7674 3449 1088 2752 0 4327 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 37680 KiB
Current children cumulated memory: 18276 KiB

[startup+0.700174 s]
/proc/loadavg: 0.31 1.20 1.87 6/279 60743
/proc/meminfo: memFree=126971028/131249996 swapFree=33010160/33010684
[pid=60722] ppid=60713 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/60722/stat : 60722 (Hybrid-NuPBODee) S 60713 60722 60422 0 -1 4194304 248 104 0 2 0 0 0 0 20 0 1 0 57542151 4427776 768 18446744073709551615 93948228608000 93948229502533 140726194849568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948229741584 93948229789328 93948256899072 140726194858331 140726194858483 140726194858483 140726194864085 0
/proc/60722/statm: 1081 768 704 219 0 143 0
[pid=60736] ppid=60722 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/60736/stat : 60736 (timeout) S 60722 60736 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57542155 2723840 352 18446744073709551615 94073180196864 94073180213377 140727348423888 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94073180228144 94073180230232 94073186709504 140727348431280 140727348431394 140727348431394 140727348436967 0
/proc/60736/statm: 665 352 352 5 0 90 0
[pid=60740] ppid=60736 vsize=61260 memory=46580 CPUtime=0.64 cores=4,6
/proc/60740/stat : 60740 (NuPBO-DeepOptS+) R 60736 60736 60422 0 -1 4194304 10016 0 0 0 63 1 0 0 20 0 1 0 57542156 62730240 11645 18446744073709551615 4198400 15468185 140729971572176 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 43323392 140729971579324 140729971579425 140729971579425 140729971584998 0
/proc/60740/statm: 15315 11645 1152 2752 0 11968 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 68244 KiB
Current children cumulated memory: 51060 KiB

[startup+1.50014 s]
/proc/loadavg: 0.31 1.20 1.87 6/279 60743
/proc/meminfo: memFree=126971028/131249996 swapFree=33010160/33010684
[pid=60722] ppid=60713 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/60722/stat : 60722 (Hybrid-NuPBODee) S 60713 60722 60422 0 -1 4194304 248 104 0 2 0 0 0 0 20 0 1 0 57542151 4427776 768 18446744073709551615 93948228608000 93948229502533 140726194849568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948229741584 93948229789328 93948256899072 140726194858331 140726194858483 140726194858483 140726194864085 0
/proc/60722/statm: 1081 768 704 219 0 143 0
[pid=60736] ppid=60722 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/60736/stat : 60736 (timeout) S 60722 60736 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57542155 2723840 352 18446744073709551615 94073180196864 94073180213377 140727348423888 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94073180228144 94073180230232 94073186709504 140727348431280 140727348431394 140727348431394 140727348436967 0
/proc/60736/statm: 665 352 352 5 0 90 0
[pid=60740] ppid=60736 vsize=61260 memory=46580 CPUtime=1.43 cores=4,6
/proc/60740/stat : 60740 (NuPBO-DeepOptS+) R 60736 60736 60422 0 -1 4194304 10016 0 0 0 142 1 0 0 20 0 1 0 57542156 62730240 11645 18446744073709551615 4198400 15468185 140729971572176 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 43323392 140729971579324 140729971579425 140729971579425 140729971584998 0
/proc/60740/statm: 15315 11645 1152 2752 0 11968 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 68244 KiB
Current children cumulated memory: 51060 KiB

[startup+3.10533 s]
/proc/loadavg: 0.31 1.20 1.87 6/279 60743
/proc/meminfo: memFree=126874888/131249996 swapFree=33010160/33010684
[pid=60722] ppid=60713 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/60722/stat : 60722 (Hybrid-NuPBODee) S 60713 60722 60422 0 -1 4194304 248 104 0 2 0 0 0 0 20 0 1 0 57542151 4427776 768 18446744073709551615 93948228608000 93948229502533 140726194849568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948229741584 93948229789328 93948256899072 140726194858331 140726194858483 140726194858483 140726194864085 0
/proc/60722/statm: 1081 768 704 219 0 143 0
[pid=60736] ppid=60722 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/60736/stat : 60736 (timeout) S 60722 60736 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57542155 2723840 352 18446744073709551615 94073180196864 94073180213377 140727348423888 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94073180228144 94073180230232 94073186709504 140727348431280 140727348431394 140727348431394 140727348436967 0
/proc/60736/statm: 665 352 352 5 0 90 0
[pid=60740] ppid=60736 vsize=61260 memory=46580 CPUtime=3.03 cores=4,6
/proc/60740/stat : 60740 (NuPBO-DeepOptS+) R 60736 60736 60422 0 -1 4194304 10018 0 0 0 302 1 0 0 20 0 1 0 57542156 62730240 11645 18446744073709551615 4198400 15468185 140729971572176 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 43323392 140729971579324 140729971579425 140729971579425 140729971584998 0
/proc/60740/statm: 15315 11645 1152 2752 0 11968 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 68244 KiB
Current children cumulated memory: 51060 KiB

[startup+6.30017 s]
/proc/loadavg: 0.61 1.25 1.88 6/279 60743
/proc/meminfo: memFree=126243196/131249996 swapFree=33010160/33010684
[pid=60722] ppid=60713 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/60722/stat : 60722 (Hybrid-NuPBODee) S 60713 60722 60422 0 -1 4194304 248 104 0 2 0 0 0 0 20 0 1 0 57542151 4427776 768 18446744073709551615 93948228608000 93948229502533 140726194849568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948229741584 93948229789328 93948256899072 140726194858331 140726194858483 140726194858483 140726194864085 0
/proc/60722/statm: 1081 768 704 219 0 143 0
[pid=60736] ppid=60722 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/60736/stat : 60736 (timeout) S 60722 60736 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57542155 2723840 352 18446744073709551615 94073180196864 94073180213377 140727348423888 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94073180228144 94073180230232 94073186709504 140727348431280 140727348431394 140727348431394 140727348436967 0
/proc/60736/statm: 665 352 352 5 0 90 0
[pid=60740] ppid=60736 vsize=265236 memory=248944 CPUtime=6.22 cores=4,6
/proc/60740/stat : 60740 (NuPBO-DeepOptS+) R 60736 60736 60422 0 -1 4194304 59857 0 0 0 613 9 0 0 20 0 1 0 57542156 271601664 62236 18446744073709551615 4198400 15468185 140729971572176 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 43323392 140729971579324 140729971579425 140729971579425 140729971584998 0
/proc/60740/statm: 66309 62236 2816 2752 0 62962 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 272220 KiB
Current children cumulated memory: 253424 KiB

[startup+12.7002 s]
/proc/loadavg: 0.88 1.30 1.90 6/278 60743
/proc/meminfo: memFree=126223304/131249996 swapFree=33010160/33010684
[pid=60722] ppid=60713 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/60722/stat : 60722 (Hybrid-NuPBODee) S 60713 60722 60422 0 -1 4194304 248 104 0 2 0 0 0 0 20 0 1 0 57542151 4427776 768 18446744073709551615 93948228608000 93948229502533 140726194849568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948229741584 93948229789328 93948256899072 140726194858331 140726194858483 140726194858483 140726194864085 0
/proc/60722/statm: 1081 768 704 219 0 143 0
[pid=60736] ppid=60722 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/60736/stat : 60736 (timeout) S 60722 60736 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57542155 2723840 352 18446744073709551615 94073180196864 94073180213377 140727348423888 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94073180228144 94073180230232 94073186709504 140727348431280 140727348431394 140727348431394 140727348436967 0
/proc/60736/statm: 665 352 352 5 0 90 0
[pid=60740] ppid=60736 vsize=266016 memory=249456 CPUtime=12.6 cores=4,6
/proc/60740/stat : 60740 (NuPBO-DeepOptS+) R 60736 60736 60422 0 -1 4194304 60002 0 0 0 1251 9 0 0 20 0 1 0 57542156 272400384 62364 18446744073709551615 4198400 15468185 140729971572176 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 43323392 140729971579324 140729971579425 140729971579425 140729971584998 0
/proc/60740/statm: 66504 62364 2816 2752 0 63157 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 273000 KiB
Current children cumulated memory: 253936 KiB

[startup+25.5002 s]
/proc/loadavg: 1.57 1.43 1.93 6/278 60743
/proc/meminfo: memFree=126191088/131249996 swapFree=33010160/33010684
[pid=60722] ppid=60713 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/60722/stat : 60722 (Hybrid-NuPBODee) S 60713 60722 60422 0 -1 4194304 248 104 0 2 0 0 0 0 20 0 1 0 57542151 4427776 768 18446744073709551615 93948228608000 93948229502533 140726194849568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948229741584 93948229789328 93948256899072 140726194858331 140726194858483 140726194858483 140726194864085 0
/proc/60722/statm: 1081 768 704 219 0 143 0
[pid=60736] ppid=60722 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/60736/stat : 60736 (timeout) S 60722 60736 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57542155 2723840 352 18446744073709551615 94073180196864 94073180213377 140727348423888 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94073180228144 94073180230232 94073186709504 140727348431280 140727348431394 140727348431394 140727348436967 0
/proc/60736/statm: 665 352 352 5 0 90 0
[pid=60740] ppid=60736 vsize=266992 memory=250480 CPUtime=25.35 cores=4,6
/proc/60740/stat : 60740 (NuPBO-DeepOptS+) R 60736 60736 60422 0 -1 4194304 60258 0 0 0 2526 9 0 0 20 0 1 0 57542156 273399808 62620 18446744073709551615 4198400 15468185 140729971572176 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 43323392 140729971579324 140729971579425 140729971579425 140729971584998 0
/proc/60740/statm: 66748 62620 2816 2752 0 63401 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 273976 KiB
Current children cumulated memory: 254960 KiB

[startup+51.1057 s]
/proc/loadavg: 2.47 1.65 1.99 6/278 60744
/proc/meminfo: memFree=126158896/131249996 swapFree=33010160/33010684
[pid=60722] ppid=60713 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/60722/stat : 60722 (Hybrid-NuPBODee) S 60713 60722 60422 0 -1 4194304 248 104 0 2 0 0 0 0 20 0 1 0 57542151 4427776 768 18446744073709551615 93948228608000 93948229502533 140726194849568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948229741584 93948229789328 93948256899072 140726194858331 140726194858483 140726194858483 140726194864085 0
/proc/60722/statm: 1081 768 704 219 0 143 0
[pid=60736] ppid=60722 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/60736/stat : 60736 (timeout) S 60722 60736 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57542155 2723840 352 18446744073709551615 94073180196864 94073180213377 140727348423888 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94073180228144 94073180230232 94073186709504 140727348431280 140727348431394 140727348431394 140727348436967 0
/proc/60736/statm: 665 352 352 5 0 90 0
[pid=60740] ppid=60736 vsize=266992 memory=250480 CPUtime=50.86 cores=4,6
/proc/60740/stat : 60740 (NuPBO-DeepOptS+) R 60736 60736 60422 0 -1 4194304 60262 0 0 0 5077 9 0 0 20 0 1 0 57542156 273399808 62620 18446744073709551615 4198400 15468185 140729971572176 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 43323392 140729971579324 140729971579425 140729971579425 140729971584998 0
/proc/60740/statm: 66748 62620 2816 2752 0 63401 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 273976 KiB
Current children cumulated memory: 254960 KiB

[startup+102.3 s]
/proc/loadavg: 3.41 2.03 2.11 6/278 60746
/proc/meminfo: memFree=126118628/131249996 swapFree=33010160/33010684
[pid=60722] ppid=60713 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/60722/stat : 60722 (Hybrid-NuPBODee) S 60713 60722 60422 0 -1 4194304 248 104 0 2 0 0 0 0 20 0 1 0 57542151 4427776 768 18446744073709551615 93948228608000 93948229502533 140726194849568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948229741584 93948229789328 93948256899072 140726194858331 140726194858483 140726194858483 140726194864085 0
/proc/60722/statm: 1081 768 704 219 0 143 0
[pid=60736] ppid=60722 vsize=2660 memory=1408 CPUtime=0 cores=4,6

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

/proc/60722/statm: 1081 768 704 219 0 143 0
[pid=60736] ppid=60722 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/60736/stat : 60736 (timeout) S 60722 60736 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57542155 2723840 352 18446744073709551615 94073180196864 94073180213377 140727348423888 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94073180228144 94073180230232 94073186709504 140727348431280 140727348431394 140727348431394 140727348436967 0
/proc/60736/statm: 665 352 352 5 0 90 0
[pid=60740] ppid=60736 vsize=265224 memory=257368 CPUtime=2316.56 cores=4,6
/proc/60740/stat : 60740 (NuPBO-DeepOptS+) R 60736 60736 60422 0 -1 4194304 70822 0 0 0 231641 15 0 0 20 0 1 0 57542156 271589376 64342 18446744073709551615 4198400 15468185 140729971572176 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 43323392 140729971579324 140729971579425 140729971579425 140729971584998 0
/proc/60740/statm: 66306 64342 2848 2752 0 62959 0
Current children cumulated CPU time: 2316.56 s
Current children cumulated vsize: 272208 KiB
Current children cumulated memory: 261848 KiB

[startup+2382.3 s]
/proc/loadavg: 4.12 4.21 4.03 6/272 60863
/proc/meminfo: memFree=125788668/131249996 swapFree=33010160/33010684
[pid=60722] ppid=60713 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/60722/stat : 60722 (Hybrid-NuPBODee) S 60713 60722 60422 0 -1 4194304 248 104 0 2 0 0 0 0 20 0 1 0 57542151 4427776 768 18446744073709551615 93948228608000 93948229502533 140726194849568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948229741584 93948229789328 93948256899072 140726194858331 140726194858483 140726194858483 140726194864085 0
/proc/60722/statm: 1081 768 704 219 0 143 0
[pid=60736] ppid=60722 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/60736/stat : 60736 (timeout) S 60722 60736 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57542155 2723840 352 18446744073709551615 94073180196864 94073180213377 140727348423888 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94073180228144 94073180230232 94073186709504 140727348431280 140727348431394 140727348431394 140727348436967 0
/proc/60736/statm: 665 352 352 5 0 90 0
[pid=60740] ppid=60736 vsize=265224 memory=257368 CPUtime=2376.43 cores=4,6
/proc/60740/stat : 60740 (NuPBO-DeepOptS+) R 60736 60736 60422 0 -1 4194304 70822 0 0 0 237628 15 0 0 20 0 1 0 57542156 271589376 64342 18446744073709551615 4198400 15468185 140729971572176 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 43323392 140729971579324 140729971579425 140729971579425 140729971584998 0
/proc/60740/statm: 66306 64342 2848 2752 0 62959 0
Current children cumulated CPU time: 2376.43 s
Current children cumulated vsize: 272208 KiB
Current children cumulated memory: 261848 KiB

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

# cumulated CPU time of all completed processes:  user=2415.88 s, system=0.21475 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.19 4.03 6/272 60872
/proc/meminfo: memFree=126885628/131249996 swapFree=33010160/33010684
[pid=60722] ppid=60713 vsize=4324 memory=3072 CPUtime=2392.16 cores=4,6
/proc/60722/stat : 60722 (Hybrid-NuPBODee) S 60713 60722 60422 0 -1 4194304 282 71098 0 2 0 0 239201 15 20 0 1 0 57542151 4427776 768 18446744073709551615 93948228608000 93948229502533 140726194849568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948229741584 93948229789328 93948256899072 140726194858331 140726194858483 140726194858483 140726194864085 0
/proc/60722/statm: 1081 768 704 219 0 143 0
[pid=60865] ppid=60722 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/60865/stat : 60865 (timeout) S 60722 60865 60422 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 57781957 2723840 320 18446744073709551615 94226640539648 94226640556161 140734596733872 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94226640570928 94226640573016 94226643300352 140734596737411 140734596737570 140734596737570 140734596743143 0
/proc/60865/statm: 665 320 320 5 0 90 0
[pid=60869] ppid=60865 vsize=101024 memory=68608 CPUtime=8.26 cores=4,6
/proc/60869/stat : 60869 (ExactPR-nols) R 60865 60865 60422 0 -1 4194304 14122 0 0 0 823 3 0 0 20 0 1 0 57781959 103448576 17152 18446744073709551615 94837786390528 94837795690181 140724832618368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94837797476672 94837797515752 94837818470400 140724832623000 140724832623140 140724832623140 140724832628713 0
/proc/60869/statm: 25256 17152 1888 2271 0 19894 0
Current children cumulated CPU time: 2400.42 s
Current children cumulated vsize: 108008 KiB
Current children cumulated memory: 72960 KiB

[startup+2412.8 s]
/proc/loadavg: 4.15 4.20 4.04 6/272 60872
/proc/meminfo: memFree=126867228/131249996 swapFree=33010160/33010684
[pid=60722] ppid=60713 vsize=4324 memory=3072 CPUtime=2392.16 cores=4,6
/proc/60722/stat : 60722 (Hybrid-NuPBODee) S 60713 60722 60422 0 -1 4194304 282 71098 0 2 0 0 239201 15 20 0 1 0 57542151 4427776 768 18446744073709551615 93948228608000 93948229502533 140726194849568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948229741584 93948229789328 93948256899072 140726194858331 140726194858483 140726194858483 140726194864085 0
/proc/60722/statm: 1081 768 704 219 0 143 0
[pid=60865] ppid=60722 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/60865/stat : 60865 (timeout) S 60722 60865 60422 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 57781957 2723840 320 18446744073709551615 94226640539648 94226640556161 140734596733872 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94226640570928 94226640573016 94226643300352 140734596737411 140734596737570 140734596737570 140734596743143 0
/proc/60865/statm: 665 320 320 5 0 90 0
[pid=60869] ppid=60865 vsize=101756 memory=69760 CPUtime=14.65 cores=4,6
/proc/60869/stat : 60869 (ExactPR-nols) R 60865 60865 60422 0 -1 4194304 14416 0 0 0 1461 4 0 0 20 0 1 0 57781959 104198144 17440 18446744073709551615 94837786390528 94837795690181 140724832618368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94837797476672 94837797515752 94837818470400 140724832623000 140724832623140 140724832623140 140724832628713 0
/proc/60869/statm: 25439 17440 1888 2271 0 20077 0
Current children cumulated CPU time: 2406.81 s
Current children cumulated vsize: 108740 KiB
Current children cumulated memory: 74112 KiB

[startup+2416 s]*
/proc/loadavg: 4.14 4.20 4.04 6/272 60872
/proc/meminfo: memFree=126883116/131249996 swapFree=33010160/33010684
[pid=60722] ppid=60713 vsize=4324 memory=3072 CPUtime=2392.16 cores=4,6
/proc/60722/stat : 60722 (Hybrid-NuPBODee) S 60713 60722 60422 0 -1 4194304 282 71098 0 2 0 0 239201 15 20 0 1 0 57542151 4427776 768 18446744073709551615 93948228608000 93948229502533 140726194849568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948229741584 93948229789328 93948256899072 140726194858331 140726194858483 140726194858483 140726194864085 0
/proc/60722/statm: 1081 768 704 219 0 143 0
[pid=60865] ppid=60722 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/60865/stat : 60865 (timeout) S 60722 60865 60422 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 57781957 2723840 320 18446744073709551615 94226640539648 94226640556161 140734596733872 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94226640570928 94226640573016 94226643300352 140734596737411 140734596737570 140734596737570 140734596743143 0
/proc/60865/statm: 665 320 320 5 0 90 0
[pid=60869] ppid=60865 vsize=103804 memory=71424 CPUtime=17.84 cores=4,6
/proc/60869/stat : 60869 (ExactPR-nols) R 60865 60865 60422 0 -1 4194304 14823 0 0 0 1780 4 0 0 20 0 1 0 57781959 106295296 17856 18446744073709551615 94837786390528 94837795690181 140724832618368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94837797476672 94837797515752 94837818470400 140724832623000 140724832623140 140724832623140 140724832628713 0
/proc/60869/statm: 25951 17856 1888 2271 0 20589 0
Current children cumulated CPU time: 2410 s
Current children cumulated vsize: 110788 KiB
Current children cumulated memory: 75776 KiB

[startup+2419.2 s]
/proc/loadavg: 4.14 4.20 4.04 6/272 60872
/proc/meminfo: memFree=126878836/131249996 swapFree=33010160/33010684
[pid=60722] ppid=60713 vsize=4324 memory=3072 CPUtime=2392.16 cores=4,6
/proc/60722/stat : 60722 (Hybrid-NuPBODee) S 60713 60722 60422 0 -1 4194304 282 71098 0 2 0 0 239201 15 20 0 1 0 57542151 4427776 768 18446744073709551615 93948228608000 93948229502533 140726194849568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948229741584 93948229789328 93948256899072 140726194858331 140726194858483 140726194858483 140726194864085 0
/proc/60722/statm: 1081 768 704 219 0 143 0
[pid=60865] ppid=60722 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/60865/stat : 60865 (timeout) S 60722 60865 60422 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 57781957 2723840 320 18446744073709551615 94226640539648 94226640556161 140734596733872 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94226640570928 94226640573016 94226643300352 140734596737411 140734596737570 140734596737570 140734596743143 0
/proc/60865/statm: 665 320 320 5 0 90 0
[pid=60869] ppid=60865 vsize=103804 memory=71424 CPUtime=21.02 cores=4,6
/proc/60869/stat : 60869 (ExactPR-nols) R 60865 60865 60422 0 -1 4194304 14824 0 0 0 2098 4 0 0 20 0 1 0 57781959 106295296 17856 18446744073709551615 94837786390528 94837795690181 140724832618368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94837797476672 94837797515752 94837818470400 140724832623000 140724832623140 140724832623140 140724832628713 0
/proc/60869/statm: 25951 17856 1888 2271 0 20589 0
Current children cumulated CPU time: 2413.18 s
Current children cumulated vsize: 110788 KiB
Current children cumulated memory: 75776 KiB

[startup+2420.8 s]
/proc/loadavg: 4.13 4.20 4.04 5/268 60882
/proc/meminfo: memFree=126915844/131249996 swapFree=33010160/33010684
[pid=60722] ppid=60713 vsize=4324 memory=3072 CPUtime=2392.16 cores=4,6
/proc/60722/stat : 60722 (Hybrid-NuPBODee) S 60713 60722 60422 0 -1 4194304 282 71098 0 2 0 0 239201 15 20 0 1 0 57542151 4427776 768 18446744073709551615 93948228608000 93948229502533 140726194849568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948229741584 93948229789328 93948256899072 140726194858331 140726194858483 140726194858483 140726194864085 0
/proc/60722/statm: 1081 768 704 219 0 143 0
[pid=60865] ppid=60722 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/60865/stat : 60865 (timeout) S 60722 60865 60422 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 57781957 2723840 320 18446744073709551615 94226640539648 94226640556161 140734596733872 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94226640570928 94226640573016 94226643300352 140734596737411 140734596737570 140734596737570 140734596743143 0
/proc/60865/statm: 665 320 320 5 0 90 0
[pid=60869] ppid=60865 vsize=103804 memory=73472 CPUtime=22.61 cores=4,6
/proc/60869/stat : 60869 (ExactPR-nols) R 60865 60865 60422 0 -1 4194304 14830 0 0 0 2257 4 0 0 20 0 1 0 57781959 106295296 18368 18446744073709551615 94837786390528 94837795690181 140724832618368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94837797476672 94837797515752 94837818470400 140724832623000 140724832623140 140724832623140 140724832628713 0
/proc/60869/statm: 25951 18368 1888 2271 0 20589 0
Current children cumulated CPU time: 2414.77 s
Current children cumulated vsize: 110788 KiB
Current children cumulated memory: 77824 KiB

[startup+2421.6 s]
/proc/loadavg: 4.13 4.20 4.04 4/266 60890
/proc/meminfo: memFree=126903100/131249996 swapFree=33010160/33010684
[pid=60722] ppid=60713 vsize=4324 memory=3072 CPUtime=2392.16 cores=4,6
/proc/60722/stat : 60722 (Hybrid-NuPBODee) S 60713 60722 60422 0 -1 4194304 282 71098 0 2 0 0 239201 15 20 0 1 0 57542151 4427776 768 18446744073709551615 93948228608000 93948229502533 140726194849568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948229741584 93948229789328 93948256899072 140726194858331 140726194858483 140726194858483 140726194864085 0
/proc/60722/statm: 1081 768 704 219 0 143 0
[pid=60865] ppid=60722 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/60865/stat : 60865 (timeout) S 60722 60865 60422 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 57781957 2723840 320 18446744073709551615 94226640539648 94226640556161 140734596733872 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94226640570928 94226640573016 94226643300352 140734596737411 140734596737570 140734596737570 140734596743143 0
/proc/60865/statm: 665 320 320 5 0 90 0
[pid=60869] ppid=60865 vsize=103804 memory=73472 CPUtime=23.41 cores=4,6
/proc/60869/stat : 60869 (ExactPR-nols) R 60865 60865 60422 0 -1 4194304 14830 0 0 0 2337 4 0 0 20 0 1 0 57781959 106295296 18368 18446744073709551615 94837786390528 94837795690181 140724832618368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94837797476672 94837797515752 94837818470400 140724832623000 140724832623140 140724832623140 140724832628713 0
/proc/60869/statm: 25951 18368 1888 2271 0 20589 0
Current children cumulated CPU time: 2415.57 s
Current children cumulated vsize: 110788 KiB
Current children cumulated memory: 77824 KiB

[startup+2422 s]*
/proc/loadavg: 4.13 4.20 4.04 5/272 60930
/proc/meminfo: memFree=126905116/131249996 swapFree=33010160/33010684
[pid=60722] ppid=60713 vsize=4324 memory=3072 CPUtime=2392.16 cores=4,6
/proc/60722/stat : 60722 (Hybrid-NuPBODee) S 60713 60722 60422 0 -1 4194304 282 71098 0 2 0 0 239201 15 20 0 1 0 57542151 4427776 768 18446744073709551615 93948228608000 93948229502533 140726194849568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93948229741584 93948229789328 93948256899072 140726194858331 140726194858483 140726194858483 140726194864085 0
/proc/60722/statm: 1081 768 704 219 0 143 0
[pid=60865] ppid=60722 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/60865/stat : 60865 (timeout) S 60722 60865 60422 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 57781957 2723840 320 18446744073709551615 94226640539648 94226640556161 140734596733872 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94226640570928 94226640573016 94226643300352 140734596737411 140734596737570 140734596737570 140734596743143 0
/proc/60865/statm: 665 320 320 5 0 90 0
[pid=60869] ppid=60865 vsize=103804 memory=73472 CPUtime=23.81 cores=4,6
/proc/60869/stat : 60869 (ExactPR-nols) R 60865 60865 60422 0 -1 4194304 14830 0 0 0 2377 4 0 0 20 0 1 0 57781959 106295296 18368 18446744073709551615 94837786390528 94837795690181 140724832618368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94837797476672 94837797515752 94837818470400 140724832623000 140724832623140 140724832623140 140724832628713 0
/proc/60869/statm: 25951 18368 1888 2271 0 20589 0
Current children cumulated CPU time: 2415.97 s
Current children cumulated vsize: 110788 KiB
Current children cumulated memory: 77824 KiB

[startup+2422.11 s]
/proc/loadavg: 4.13 4.20 4.04 5/272 60930
/proc/meminfo: memFree=126905116/131249996 swapFree=33010160/33010684
[pid=60722] ppid=60713 vsize=4324 memory=3072 CPUtime=2416.07 cores=4,6
/proc/60722/stat : 60722 (Hybrid-NuPBODee) S 60713 60722 60422 0 -1 4194304 371 86665 0 2 0 0 241587 20 20 0 1 0 57542151 4427776 768 18446744073709551615 93948228608000 93948229502533 140726194849568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93948229741584 93948229789328 93948256899072 140726194858331 140726194858483 140726194858483 140726194864085 0
/proc/60722/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 2416.07 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 2422.13
CPU time (s): 2416.1
CPU user time (s): 2415.88
CPU system time (s): 0.21475
CPU usage (%): 99.7511
Max. virtual memory (cumulated for all children) (KiB): 349964
Max. memory (cumulated for all children) (KiB): 313128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2415.88
system time used= 0.21475
maximum resident set size= 308648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87540
page faults= 2
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1148
involuntary context switches= 714


# summary of solver processes directly reported to runsolver:
#   pid: 60722
#   total CPU time (s): 2416.1
#   total CPU user time (s): 2415.88
#   total CPU system time (s): 0.21475

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.28512 second user time and 9.47431 second system time

The end