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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523694-1751611673/watcher-4523694-1751611673 -o /tmp/evaluation-result-4523694-1751611673/solver-4523694-1751611673 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751608062-85492 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4523694-1751611673.opb -t 3600 -s 422132973 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100058 s]*
/proc/loadavg: 4.06 4.08 4.04 4/258 85848
/proc/meminfo: memFree=107666916/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=23604 memory=7596 CPUtime=0.1 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 1405 0 0 0 10 0 0 0 20 0 1 0 76845831 24170496 1899 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 5901 1899 1088 2752 0 2554 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23604 KiB
Current children cumulated memory: 7596 KiB

[startup+0.205288 s]*
/proc/loadavg: 4.06 4.08 4.04 5/258 85853
/proc/meminfo: memFree=107656640/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=27700 memory=11696 CPUtime=0.2 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 1922 0 0 0 20 0 0 0 20 0 1 0 76845831 28364800 2924 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 6925 2924 1088 2752 0 3578 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27700 KiB
Current children cumulated memory: 11696 KiB

[startup+0.305236 s]*
/proc/loadavg: 4.06 4.08 4.04 5/263 85862
/proc/meminfo: memFree=107656944/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=27700 memory=11952 CPUtime=0.3 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 2007 0 0 0 30 0 0 0 20 0 1 0 76845831 28364800 2988 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 6925 2988 1088 2752 0 3578 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27700 KiB
Current children cumulated memory: 11952 KiB

[startup+0.700131 s]
/proc/loadavg: 4.05 4.08 4.04 5/263 85862
/proc/meminfo: memFree=107642640/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=79896 memory=61932 CPUtime=0.69 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 7794 0 0 0 67 2 0 0 20 0 1 0 76845831 81813504 15483 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 19974 15483 1152 2752 0 16627 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 79896 KiB
Current children cumulated memory: 61932 KiB

[startup+1.50014 s]
/proc/loadavg: 4.05 4.08 4.04 4/261 85862
/proc/meminfo: memFree=107781684/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=79896 memory=61932 CPUtime=1.48 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 7794 0 0 0 145 3 0 0 20 0 1 0 76845831 81813504 15483 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 19974 15483 1152 2752 0 16627 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 79896 KiB
Current children cumulated memory: 61932 KiB

[startup+3.10493 s]
/proc/loadavg: 4.05 4.08 4.04 5/263 85907
/proc/meminfo: memFree=107478404/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=79896 memory=61932 CPUtime=3.08 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 7799 0 0 0 305 3 0 0 20 0 1 0 76845831 81813504 15483 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 19974 15483 1152 2752 0 16627 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 79896 KiB
Current children cumulated memory: 61932 KiB

[startup+6.30013 s]
/proc/loadavg: 4.05 4.08 4.04 5/263 85907
/proc/meminfo: memFree=107317128/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=79896 memory=61932 CPUtime=6.27 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 7804 0 0 0 624 3 0 0 20 0 1 0 76845831 81813504 15483 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 19974 15483 1152 2752 0 16627 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 79896 KiB
Current children cumulated memory: 61932 KiB

[startup+12.7001 s]
/proc/loadavg: 4.04 4.07 4.04 5/263 85907
/proc/meminfo: memFree=107196300/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=79896 memory=61932 CPUtime=12.65 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 7809 0 0 0 1262 3 0 0 20 0 1 0 76845831 81813504 15483 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 19974 15483 1152 2752 0 16627 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 79896 KiB
Current children cumulated memory: 61932 KiB

[startup+25.5001 s]
/proc/loadavg: 4.12 4.09 4.04 5/263 85907
/proc/meminfo: memFree=107172116/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=79896 memory=61932 CPUtime=25.42 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 7814 0 0 0 2539 3 0 0 20 0 1 0 76845831 81813504 15483 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 19974 15483 1152 2752 0 16627 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 79896 KiB
Current children cumulated memory: 61932 KiB

[startup+51.1052 s]
/proc/loadavg: 4.13 4.09 4.05 5/263 85907
/proc/meminfo: memFree=107112832/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=79896 memory=61932 CPUtime=50.96 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 7819 0 0 0 5093 3 0 0 20 0 1 0 76845831 81813504 15483 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 19974 15483 1152 2752 0 16627 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 79896 KiB
Current children cumulated memory: 61932 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.05 5/263 85909
/proc/meminfo: memFree=106627208/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=79896 memory=61932 CPUtime=102.02 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 7829 0 0 0 10199 3 0 0 20 0 1 0 76845831 81813504 15483 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 19974 15483 1152 2752 0 16627 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 79896 KiB
Current children cumulated memory: 61932 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.05 5/263 85911
/proc/meminfo: memFree=105633700/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=717128 memory=665944 CPUtime=161.84 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 134433 0 0 0 16157 27 0 0 20 0 1 0 76845831 734339072 166486 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 179282 166486 2848 2752 0 175935 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 717128 KiB
Current children cumulated memory: 665944 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.08 4.05 5/263 85913
/proc/meminfo: memFree=105300544/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=862828 memory=813020 CPUtime=221.64 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 169716 0 0 0 22131 33 0 0 20 0 1 0 76845831 883535872 203255 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 215707 203255 2848 2752 0 212360 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 862828 KiB
Current children cumulated memory: 813020 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.10 4.05 5/263 85915
/proc/meminfo: memFree=105271024/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=862828 memory=813916 CPUtime=281.45 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 169964 0 0 0 28112 33 0 0 20 0 1 0 76845831 883535872 203479 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 215707 203479 2848 2752 0 212360 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 862828 KiB
Current children cumulated memory: 813916 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.09 4.05 5/263 85921
/proc/meminfo: memFree=105266200/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=862828 memory=814172 CPUtime=341.27 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 170032 0 0 0 34093 34 0 0 20 0 1 0 76845831 883535872 203543 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 215707 203543 2848 2752 0 212360 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 862828 KiB
Current children cumulated memory: 814172 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.09 4.05 5/263 85923
/proc/meminfo: memFree=105267476/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=862828 memory=815196 CPUtime=401.07 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 170314 0 0 0 40073 34 0 0 20 0 1 0 76845831 883535872 203799 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 215707 203799 2848 2752 0 212360 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 862828 KiB
Current children cumulated memory: 815196 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.05 5/263 85925
/proc/meminfo: memFree=105267524/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=862828 memory=815452 CPUtime=460.88 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 170417 0 0 0 46054 34 0 0 20 0 1 0 76845831 883535872 203863 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 215707 203863 2848 2752 0 212360 0
Current children cumulated CPU time: 460.88 s

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

/proc/loadavg: 4.12 4.11 4.09 5/263 85976
/proc/meminfo: memFree=105123308/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=872440 memory=836932 CPUtime=1358.53 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 189474 0 0 0 135814 39 0 0 20 0 1 0 76845831 893378560 209233 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 218110 209233 3168 2752 0 214763 0
Current children cumulated CPU time: 1358.53 s
Current children cumulated vsize: 872440 KiB
Current children cumulated memory: 836932 KiB

[startup+1422.3 s]
/proc/loadavg: 4.32 4.15 4.11 5/263 85979
/proc/meminfo: memFree=105122888/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=872440 memory=836932 CPUtime=1418.38 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 189626 0 0 0 141799 39 0 0 20 0 1 0 76845831 893378560 209233 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 218110 209233 3168 2752 0 214763 0
Current children cumulated CPU time: 1418.38 s
Current children cumulated vsize: 872440 KiB
Current children cumulated memory: 836932 KiB

[startup+1482.3 s]
/proc/loadavg: 4.23 4.16 4.11 5/263 85981
/proc/meminfo: memFree=105123384/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=872440 memory=836932 CPUtime=1478.23 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 189824 0 0 0 147784 39 0 0 20 0 1 0 76845831 893378560 209233 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 218110 209233 3168 2752 0 214763 0
Current children cumulated CPU time: 1478.23 s
Current children cumulated vsize: 872440 KiB
Current children cumulated memory: 836932 KiB

[startup+1542.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/263 86032
/proc/meminfo: memFree=105243696/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=872440 memory=836932 CPUtime=1538.06 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 190074 0 0 0 153767 39 0 0 20 0 1 0 76845831 893378560 209233 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 218110 209233 3168 2752 0 214763 0
Current children cumulated CPU time: 1538.06 s
Current children cumulated vsize: 872440 KiB
Current children cumulated memory: 836932 KiB

[startup+1602.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/262 86034
/proc/meminfo: memFree=104972260/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=872440 memory=836932 CPUtime=1597.87 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 190392 0 0 0 159748 39 0 0 20 0 1 0 76845831 893378560 209233 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 218110 209233 3168 2752 0 214763 0
Current children cumulated CPU time: 1597.87 s
Current children cumulated vsize: 872440 KiB
Current children cumulated memory: 836932 KiB

[startup+1662.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/262 86036
/proc/meminfo: memFree=104908472/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=937308 memory=901712 CPUtime=1657.67 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 218200 0 0 0 165724 43 0 0 20 0 1 0 76845831 959803392 225428 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 234327 225428 3168 2752 0 230980 0
Current children cumulated CPU time: 1657.67 s
Current children cumulated vsize: 937308 KiB
Current children cumulated memory: 901712 KiB

[startup+1722.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/262 86038
/proc/meminfo: memFree=104897736/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=891296 memory=856040 CPUtime=1717.47 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 218400 0 0 0 171704 43 0 0 20 0 1 0 76845831 912687104 214010 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 222824 214010 3168 2752 0 219477 0
Current children cumulated CPU time: 1717.47 s
Current children cumulated vsize: 891296 KiB
Current children cumulated memory: 856040 KiB

[startup+1782.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/262 86040
/proc/meminfo: memFree=104698044/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=882056 memory=846820 CPUtime=1777.28 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 238409 0 0 0 177681 47 0 0 20 0 1 0 76845831 903225344 211705 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 220514 211705 3168 2752 0 217167 0
Current children cumulated CPU time: 1777.28 s
Current children cumulated vsize: 882056 KiB
Current children cumulated memory: 846820 KiB

[startup+1842.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/263 86045
/proc/meminfo: memFree=104824788/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=882056 memory=846820 CPUtime=1837.09 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 238721 0 0 0 183662 47 0 0 20 0 1 0 76845831 903225344 211705 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 220514 211705 3168 2752 0 217167 0
Current children cumulated CPU time: 1837.09 s
Current children cumulated vsize: 882056 KiB
Current children cumulated memory: 846820 KiB

[startup+1902.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/263 86047
/proc/meminfo: memFree=104865968/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=928180 memory=892900 CPUtime=1896.92 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 250547 0 0 0 189643 49 0 0 20 0 1 0 76845831 950456320 223225 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 232045 223225 3168 2752 0 228698 0
Current children cumulated CPU time: 1896.92 s
Current children cumulated vsize: 928180 KiB
Current children cumulated memory: 892900 KiB

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

# cumulated CPU time of all completed processes:  user=1907.36 s, system=0.50077 s

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

[startup+1907.2 s]
/proc/loadavg: 4.14 4.14 4.09 5/263 86047
/proc/meminfo: memFree=104865200/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=928180 memory=892900 CPUtime=1901.8 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 250548 0 0 0 190131 49 0 0 20 0 1 0 76845831 950456320 223225 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 232045 223225 3168 2752 0 228698 0
Current children cumulated CPU time: 1901.8 s
Current children cumulated vsize: 928180 KiB
Current children cumulated memory: 892900 KiB

[startup+1910.4 s]
/proc/loadavg: 4.14 4.14 4.09 5/263 86047
/proc/meminfo: memFree=104865200/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=928180 memory=892900 CPUtime=1904.99 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 250565 0 0 0 190450 49 0 0 20 0 1 0 76845831 950456320 223225 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 232045 223225 3168 2752 0 228698 0
Current children cumulated CPU time: 1904.99 s
Current children cumulated vsize: 928180 KiB
Current children cumulated memory: 892900 KiB

[startup+1912 s]*
/proc/loadavg: 4.13 4.14 4.09 5/263 86047
/proc/meminfo: memFree=104975792/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=794572 memory=782600 CPUtime=1906.59 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 250587 0 0 0 190610 49 0 0 20 0 1 0 76845831 813641728 195650 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 198643 195650 3168 2752 0 195296 0
Current children cumulated CPU time: 1906.59 s
Current children cumulated vsize: 794572 KiB
Current children cumulated memory: 782600 KiB

[startup+1912.8 s]
/proc/loadavg: 4.13 4.14 4.09 5/263 86047
/proc/meminfo: memFree=104975792/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=794572 memory=782600 CPUtime=1907.39 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 250587 0 0 0 190690 49 0 0 20 0 1 0 76845831 813641728 195650 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 198643 195650 3168 2752 0 195296 0
Current children cumulated CPU time: 1907.39 s
Current children cumulated vsize: 794572 KiB
Current children cumulated memory: 782600 KiB

[startup+1913.2 s]
/proc/loadavg: 4.13 4.14 4.09 5/263 86047
/proc/meminfo: memFree=104975792/131249988 swapFree=33010416/33010684
[pid=85839] ppid=85833 vsize=794572 memory=782600 CPUtime=1907.78 cores=0,2
/proc/85839/stat : 85839 (NuPBO-DeepOptS+) R 85833 85839 85067 0 -1 4194304 250587 0 0 0 190729 49 0 0 20 0 1 0 76845831 813641728 195650 18446744073709551615 4198400 15468185 140729774200416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46297088 140729774209431 140729774209540 140729774209540 140729774215142 0
/proc/85839/statm: 198643 195650 3168 2752 0 195296 0
Current children cumulated CPU time: 1907.78 s
Current children cumulated vsize: 794572 KiB
Current children cumulated memory: 782600 KiB

Child status: 0

Real time (s): 1913.27
CPU time (s): 1907.86
CPU user time (s): 1907.36
CPU system time (s): 0.50077
CPU usage (%): 99.7174
Max. virtual memory (cumulated for all children) (KiB): 937308
Max. memory (cumulated for all children) (KiB): 901712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1907.36
system time used= 0.50077
maximum resident set size= 901712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250593
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25
involuntary context switches= 4185


# summary of solver processes directly reported to runsolver:
#   pid: 85839
#   total CPU time (s): 1907.86
#   total CPU user time (s): 1907.36
#   total CPU system time (s): 0.50077

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.45915 second user time and 7.94832 second system time

The end