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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488568-1751330987/watcher-4488568-1751330987 -o /tmp/evaluation-result-4488568-1751330987/solver-4488568-1751330987 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751326314-45393 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4488568-1751330987.opb 3600 HOME 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.10006 s]*
/proc/loadavg: 4.10 4.12 4.09 5/272 47932
/proc/meminfo: memFree=126471772/131250000 swapFree=33010684/33010684
[pid=47928] ppid=47925 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47928/stat : 47928 (Hybrid-CASHWMax) S 47925 47928 45381 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 48775267 4427776 768 18446744073709551615 93929381240832 93929382135365 140721196630400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929382374416 93929382422160 93929393197056 140721196636501 140721196636656 140721196636656 140721196642258 0
/proc/47928/statm: 1081 768 704 219 0 143 0
[pid=47931] ppid=47928 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47931/stat : 47931 (timeout) S 47928 47931 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48775270 2723840 352 18446744073709551615 94791966347264 94791966363777 140724897548480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94791966378544 94791966380632 94791978037248 140724897552792 140724897552930 140724897552930 140724897558503 0
/proc/47931/statm: 665 352 352 5 0 90 0
[pid=47932] ppid=47931 vsize=21312 memory=7424 CPUtime=0.07 cores=1,3
/proc/47932/stat : 47932 (CASHWMaxSAT-Dis) R 47931 47931 45381 0 -1 4194304 1160 0 0 0 7 0 0 0 20 0 1 0 48775270 21823488 1856 18446744073709551615 4198400 14093885 140723695644288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33525760 140723695647133 140723695647259 140723695647259 140723695652832 0
/proc/47932/statm: 5328 1856 768 2416 0 2430 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 28296 KiB
Current children cumulated memory: 11904 KiB

[startup+0.205736 s]*
/proc/loadavg: 4.10 4.12 4.09 5/272 47932
/proc/meminfo: memFree=126472116/131250000 swapFree=33010684/33010684
[pid=47928] ppid=47925 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47928/stat : 47928 (Hybrid-CASHWMax) S 47925 47928 45381 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 48775267 4427776 768 18446744073709551615 93929381240832 93929382135365 140721196630400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929382374416 93929382422160 93929393197056 140721196636501 140721196636656 140721196636656 140721196642258 0
/proc/47928/statm: 1081 768 704 219 0 143 0
[pid=47931] ppid=47928 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47931/stat : 47931 (timeout) S 47928 47931 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48775270 2723840 352 18446744073709551615 94791966347264 94791966363777 140724897548480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94791966378544 94791966380632 94791978037248 140724897552792 140724897552930 140724897552930 140724897558503 0
/proc/47931/statm: 665 352 352 5 0 90 0
[pid=47932] ppid=47931 vsize=21312 memory=7424 CPUtime=0.17 cores=1,3
/proc/47932/stat : 47932 (CASHWMaxSAT-Dis) R 47931 47931 45381 0 -1 4194304 1160 0 0 0 17 0 0 0 20 0 1 0 48775270 21823488 1856 18446744073709551615 4198400 14093885 140723695644288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33525760 140723695647133 140723695647259 140723695647259 140723695652832 0
/proc/47932/statm: 5328 1856 768 2416 0 2430 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 28296 KiB
Current children cumulated memory: 11904 KiB

[startup+0.304942 s]*
/proc/loadavg: 4.10 4.12 4.09 5/272 47932
/proc/meminfo: memFree=126444516/131250000 swapFree=33010684/33010684
[pid=47928] ppid=47925 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47928/stat : 47928 (Hybrid-CASHWMax) S 47925 47928 45381 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 48775267 4427776 768 18446744073709551615 93929381240832 93929382135365 140721196630400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929382374416 93929382422160 93929393197056 140721196636501 140721196636656 140721196636656 140721196642258 0
/proc/47928/statm: 1081 768 704 219 0 143 0
[pid=47931] ppid=47928 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47931/stat : 47931 (timeout) S 47928 47931 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48775270 2723840 352 18446744073709551615 94791966347264 94791966363777 140724897548480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94791966378544 94791966380632 94791978037248 140724897552792 140724897552930 140724897552930 140724897558503 0
/proc/47931/statm: 665 352 352 5 0 90 0
[pid=47932] ppid=47931 vsize=23424 memory=9472 CPUtime=0.27 cores=1,3
/proc/47932/stat : 47932 (CASHWMaxSAT-Dis) R 47931 47931 45381 0 -1 4194304 1705 0 0 0 27 0 0 0 20 0 1 0 48775270 23986176 2368 18446744073709551615 4198400 14093885 140723695644288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33525760 140723695647133 140723695647259 140723695647259 140723695652832 0
/proc/47932/statm: 5856 2368 768 2416 0 2958 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 30408 KiB
Current children cumulated memory: 13952 KiB

[startup+0.700207 s]
/proc/loadavg: 4.10 4.12 4.09 5/272 47932
/proc/meminfo: memFree=126469472/131250000 swapFree=33010684/33010684
[pid=47928] ppid=47925 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47928/stat : 47928 (Hybrid-CASHWMax) S 47925 47928 45381 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 48775267 4427776 768 18446744073709551615 93929381240832 93929382135365 140721196630400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929382374416 93929382422160 93929393197056 140721196636501 140721196636656 140721196636656 140721196642258 0
/proc/47928/statm: 1081 768 704 219 0 143 0
[pid=47931] ppid=47928 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47931/stat : 47931 (timeout) S 47928 47931 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48775270 2723840 352 18446744073709551615 94791966347264 94791966363777 140724897548480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94791966378544 94791966380632 94791978037248 140724897552792 140724897552930 140724897552930 140724897558503 0
/proc/47931/statm: 665 352 352 5 0 90 0
[pid=47932] ppid=47931 vsize=34976 memory=20864 CPUtime=0.66 cores=1,3
/proc/47932/stat : 47932 (CASHWMaxSAT-Dis) R 47931 47931 45381 0 -1 4194304 4553 0 0 0 65 1 0 0 20 0 1 0 48775270 35815424 5216 18446744073709551615 4198400 14093885 140723695644288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33525760 140723695647133 140723695647259 140723695647259 140723695652832 0
/proc/47932/statm: 8744 5216 768 2416 0 5846 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 25344 KiB

[startup+1.50021 s]
/proc/loadavg: 4.10 4.12 4.09 5/272 47932
/proc/meminfo: memFree=126461408/131250000 swapFree=33010684/33010684
[pid=47928] ppid=47925 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47928/stat : 47928 (Hybrid-CASHWMax) S 47925 47928 45381 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 48775267 4427776 768 18446744073709551615 93929381240832 93929382135365 140721196630400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929382374416 93929382422160 93929393197056 140721196636501 140721196636656 140721196636656 140721196642258 0
/proc/47928/statm: 1081 768 704 219 0 143 0
[pid=47931] ppid=47928 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47931/stat : 47931 (timeout) S 47928 47931 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48775270 2723840 352 18446744073709551615 94791966347264 94791966363777 140724897548480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94791966378544 94791966380632 94791978037248 140724897552792 140724897552930 140724897552930 140724897558503 0
/proc/47931/statm: 665 352 352 5 0 90 0
[pid=47932] ppid=47931 vsize=42588 memory=27136 CPUtime=1.45 cores=1,3
/proc/47932/stat : 47932 (CASHWMaxSAT-Dis) R 47931 47931 45381 0 -1 4194304 6120 0 0 0 144 1 0 0 20 0 1 0 48775270 43610112 6784 18446744073709551615 4198400 14093885 140723695644288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33525760 140723695647133 140723695647259 140723695647259 140723695652832 0
/proc/47932/statm: 10647 6784 768 2416 0 7749 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 49572 KiB
Current children cumulated memory: 31616 KiB

[startup+3.10559 s]
/proc/loadavg: 4.10 4.12 4.09 5/272 47932
/proc/meminfo: memFree=126464144/131250000 swapFree=33010684/33010684
[pid=47928] ppid=47925 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47928/stat : 47928 (Hybrid-CASHWMax) S 47925 47928 45381 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 48775267 4427776 768 18446744073709551615 93929381240832 93929382135365 140721196630400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929382374416 93929382422160 93929393197056 140721196636501 140721196636656 140721196636656 140721196642258 0
/proc/47928/statm: 1081 768 704 219 0 143 0
[pid=47931] ppid=47928 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47931/stat : 47931 (timeout) S 47928 47931 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48775270 2723840 352 18446744073709551615 94791966347264 94791966363777 140724897548480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94791966378544 94791966380632 94791978037248 140724897552792 140724897552930 140724897552930 140724897558503 0
/proc/47931/statm: 665 352 352 5 0 90 0
[pid=47932] ppid=47931 vsize=42588 memory=27644 CPUtime=3.06 cores=1,3
/proc/47932/stat : 47932 (CASHWMaxSAT-Dis) R 47931 47931 45381 0 -1 4194304 7719 0 0 0 304 2 0 0 20 0 1 0 48775270 43610112 6911 18446744073709551615 4198400 14093885 140723695644288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33525760 140723695647133 140723695647259 140723695647259 140723695652832 0
/proc/47932/statm: 10647 6911 768 2416 0 7749 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 49572 KiB
Current children cumulated memory: 32124 KiB

[startup+6.30022 s]
/proc/loadavg: 4.09 4.12 4.09 5/272 47932
/proc/meminfo: memFree=126460072/131250000 swapFree=33010684/33010684
[pid=47928] ppid=47925 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47928/stat : 47928 (Hybrid-CASHWMax) S 47925 47928 45381 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 48775267 4427776 768 18446744073709551615 93929381240832 93929382135365 140721196630400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929382374416 93929382422160 93929393197056 140721196636501 140721196636656 140721196636656 140721196642258 0
/proc/47928/statm: 1081 768 704 219 0 143 0
[pid=47931] ppid=47928 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47931/stat : 47931 (timeout) S 47928 47931 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48775270 2723840 352 18446744073709551615 94791966347264 94791966363777 140724897548480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94791966378544 94791966380632 94791978037248 140724897552792 140724897552930 140724897552930 140724897558503 0
/proc/47931/statm: 665 352 352 5 0 90 0
[pid=47932] ppid=47931 vsize=49688 memory=35836 CPUtime=6.24 cores=1,3
/proc/47932/stat : 47932 (CASHWMaxSAT-Dis) R 47931 47931 45381 0 -1 4194304 8265 0 0 0 622 2 0 0 20 0 1 0 48775270 50880512 8959 18446744073709551615 4198400 14093885 140723695644288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33525760 140723695647133 140723695647259 140723695647259 140723695652832 0
/proc/47932/statm: 12422 8959 768 2416 0 9524 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 56672 KiB
Current children cumulated memory: 40316 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 47932
/proc/meminfo: memFree=126452032/131250000 swapFree=33010684/33010684
[pid=47928] ppid=47925 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47928/stat : 47928 (Hybrid-CASHWMax) S 47925 47928 45381 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 48775267 4427776 768 18446744073709551615 93929381240832 93929382135365 140721196630400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929382374416 93929382422160 93929393197056 140721196636501 140721196636656 140721196636656 140721196642258 0
/proc/47928/statm: 1081 768 704 219 0 143 0
[pid=47931] ppid=47928 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47931/stat : 47931 (timeout) S 47928 47931 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48775270 2723840 352 18446744073709551615 94791966347264 94791966363777 140724897548480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94791966378544 94791966380632 94791978037248 140724897552792 140724897552930 140724897552930 140724897558503 0
/proc/47931/statm: 665 352 352 5 0 90 0
[pid=47932] ppid=47931 vsize=52292 memory=38268 CPUtime=12.62 cores=1,3
/proc/47932/stat : 47932 (CASHWMaxSAT-Dis) R 47931 47931 45381 0 -1 4194304 8893 0 0 0 1260 2 0 0 20 0 1 0 48775270 53547008 9567 18446744073709551615 4198400 14093885 140723695644288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33525760 140723695647133 140723695647259 140723695647259 140723695652832 0
/proc/47932/statm: 13073 9567 768 2416 0 10175 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 59276 KiB
Current children cumulated memory: 42748 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.12 4.10 5/272 47932
/proc/meminfo: memFree=126435656/131250000 swapFree=33010684/33010684
[pid=47928] ppid=47925 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47928/stat : 47928 (Hybrid-CASHWMax) S 47925 47928 45381 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 48775267 4427776 768 18446744073709551615 93929381240832 93929382135365 140721196630400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929382374416 93929382422160 93929393197056 140721196636501 140721196636656 140721196636656 140721196642258 0
/proc/47928/statm: 1081 768 704 219 0 143 0
[pid=47931] ppid=47928 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47931/stat : 47931 (timeout) S 47928 47931 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48775270 2723840 352 18446744073709551615 94791966347264 94791966363777 140724897548480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94791966378544 94791966380632 94791978037248 140724897552792 140724897552930 140724897552930 140724897558503 0
/proc/47931/statm: 665 352 352 5 0 90 0
[pid=47932] ppid=47931 vsize=55332 memory=41212 CPUtime=25.39 cores=1,3
/proc/47932/stat : 47932 (CASHWMaxSAT-Dis) R 47931 47931 45381 0 -1 4194304 9623 0 0 0 2536 3 0 0 20 0 1 0 48775270 56659968 10303 18446744073709551615 4198400 14093885 140723695644288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33525760 140723695647133 140723695647259 140723695647259 140723695652832 0
/proc/47932/statm: 13833 10303 768 2416 0 10935 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 62316 KiB
Current children cumulated memory: 45692 KiB

[startup+51.1056 s]
/proc/loadavg: 4.10 4.11 4.09 5/272 47933
/proc/meminfo: memFree=126423832/131250000 swapFree=33010684/33010684
[pid=47928] ppid=47925 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47928/stat : 47928 (Hybrid-CASHWMax) S 47925 47928 45381 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 48775267 4427776 768 18446744073709551615 93929381240832 93929382135365 140721196630400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929382374416 93929382422160 93929393197056 140721196636501 140721196636656 140721196636656 140721196642258 0
/proc/47928/statm: 1081 768 704 219 0 143 0
[pid=47931] ppid=47928 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47931/stat : 47931 (timeout) S 47928 47931 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48775270 2723840 352 18446744073709551615 94791966347264 94791966363777 140724897548480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94791966378544 94791966380632 94791978037248 140724897552792 140724897552930 140724897552930 140724897558503 0
/proc/47931/statm: 665 352 352 5 0 90 0
[pid=47932] ppid=47931 vsize=66824 memory=52864 CPUtime=50.92 cores=1,3
/proc/47932/stat : 47932 (CASHWMaxSAT-Dis) R 47931 47931 45381 0 -1 4194304 11490 0 0 0 5089 3 0 0 20 0 1 0 48775270 68427776 13216 18446744073709551615 4198400 14093885 140723695644288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33525760 140723695647133 140723695647259 140723695647259 140723695652832 0
/proc/47932/statm: 16706 13216 768 2416 0 13808 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 73808 KiB
Current children cumulated memory: 57344 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/272 47936
/proc/meminfo: memFree=126308052/131250000 swapFree=33010684/33010684
[pid=47928] ppid=47925 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47928/stat : 47928 (Hybrid-CASHWMax) S 47925 47928 45381 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 48775267 4427776 768 18446744073709551615 93929381240832 93929382135365 140721196630400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929382374416 93929382422160 93929393197056 140721196636501 140721196636656 140721196636656 140721196642258 0
/proc/47928/statm: 1081 768 704 219 0 143 0

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

/proc/47928/statm: 1081 768 704 219 0 143 0
[pid=48040] ppid=47928 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48040/stat : 48040 (timeout) S 47928 48040 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48865171 2723840 352 18446744073709551615 94730895310848 94730895327361 140722005502704 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94730895342128 94730895344216 94730906947584 140722005510533 140722005510690 140722005510690 140722005516263 0
/proc/48040/statm: 665 352 352 5 0 90 0
[pid=48041] ppid=48040 vsize=383252 memory=361620 CPUtime=2556.51 cores=1,3
/proc/48041/stat : 48041 (ExactPR-S9) R 48040 48040 45381 0 -1 4194304 112132 0 0 0 249844 5807 0 0 20 0 1 0 48865171 392450048 90405 18446744073709551615 94825769840640 94825779140741 140733696944928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94825780926784 94825780965864 94825812496384 140733696948636 140733696948774 140733696948774 140733696954347 0
/proc/48041/statm: 95813 90405 3424 2271 0 90451 0
Current children cumulated CPU time: 3453.05 s
Current children cumulated vsize: 390236 KiB
Current children cumulated memory: 366100 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/272 48293
/proc/meminfo: memFree=128185728/131250000 swapFree=33010684/33010684
[pid=47928] ppid=47925 vsize=4324 memory=3072 CPUtime=896.54 cores=1,3
/proc/47928/stat : 47928 (Hybrid-CASHWMax) S 47925 47928 45381 0 -1 4194304 284 15556 0 0 0 0 89648 6 20 0 1 0 48775267 4427776 768 18446744073709551615 93929381240832 93929382135365 140721196630400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929382374416 93929382422160 93929393197056 140721196636501 140721196636656 140721196636656 140721196642258 0
/proc/47928/statm: 1081 768 704 219 0 143 0
[pid=48040] ppid=47928 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48040/stat : 48040 (timeout) S 47928 48040 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48865171 2723840 352 18446744073709551615 94730895310848 94730895327361 140722005502704 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94730895342128 94730895344216 94730906947584 140722005510533 140722005510690 140722005510690 140722005516263 0
/proc/48040/statm: 665 352 352 5 0 90 0
[pid=48041] ppid=48040 vsize=383252 memory=361620 CPUtime=2616.36 cores=1,3
/proc/48041/stat : 48041 (ExactPR-S9) R 48040 48040 45381 0 -1 4194304 112134 0 0 0 255808 5828 0 0 20 0 1 0 48865171 392450048 90405 18446744073709551615 94825769840640 94825779140741 140733696944928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94825780926784 94825780965864 94825812496384 140733696948636 140733696948774 140733696948774 140733696954347 0
/proc/48041/statm: 95813 90405 3424 2271 0 90451 0
Current children cumulated CPU time: 3512.9 s
Current children cumulated vsize: 390236 KiB
Current children cumulated memory: 366100 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/272 48296
/proc/meminfo: memFree=128099512/131250000 swapFree=33010684/33010684
[pid=47928] ppid=47925 vsize=4324 memory=3072 CPUtime=896.54 cores=1,3
/proc/47928/stat : 47928 (Hybrid-CASHWMax) S 47925 47928 45381 0 -1 4194304 284 15556 0 0 0 0 89648 6 20 0 1 0 48775267 4427776 768 18446744073709551615 93929381240832 93929382135365 140721196630400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929382374416 93929382422160 93929393197056 140721196636501 140721196636656 140721196636656 140721196642258 0
/proc/47928/statm: 1081 768 704 219 0 143 0
[pid=48040] ppid=47928 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48040/stat : 48040 (timeout) S 47928 48040 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48865171 2723840 352 18446744073709551615 94730895310848 94730895327361 140722005502704 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94730895342128 94730895344216 94730906947584 140722005510533 140722005510690 140722005510690 140722005516263 0
/proc/48040/statm: 665 352 352 5 0 90 0
[pid=48041] ppid=48040 vsize=383252 memory=361620 CPUtime=2676.22 cores=1,3
/proc/48041/stat : 48041 (ExactPR-S9) R 48040 48040 45381 0 -1 4194304 112134 0 0 0 261770 5852 0 0 20 0 1 0 48865171 392450048 90405 18446744073709551615 94825769840640 94825779140741 140733696944928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94825780926784 94825780965864 94825812496384 140733696948636 140733696948774 140733696948774 140733696954347 0
/proc/48041/statm: 95813 90405 3424 2271 0 90451 0
Current children cumulated CPU time: 3572.76 s
Current children cumulated vsize: 390236 KiB
Current children cumulated memory: 366100 KiB

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

# cumulated CPU time of all completed processes:  user=3527.86 s, system=58.6537 s

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

[startup+3584 s]*
/proc/loadavg: 4.05 4.09 4.09 5/272 48296
/proc/meminfo: memFree=128099512/131250000 swapFree=33010684/33010684
[pid=47928] ppid=47925 vsize=4324 memory=3072 CPUtime=896.54 cores=1,3
/proc/47928/stat : 47928 (Hybrid-CASHWMax) S 47925 47928 45381 0 -1 4194304 284 15556 0 0 0 0 89648 6 20 0 1 0 48775267 4427776 768 18446744073709551615 93929381240832 93929382135365 140721196630400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929382374416 93929382422160 93929393197056 140721196636501 140721196636656 140721196636656 140721196642258 0
/proc/47928/statm: 1081 768 704 219 0 143 0
[pid=48040] ppid=47928 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48040/stat : 48040 (timeout) S 47928 48040 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48865171 2723840 352 18446744073709551615 94730895310848 94730895327361 140722005502704 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94730895342128 94730895344216 94730906947584 140722005510533 140722005510690 140722005510690 140722005516263 0
/proc/48040/statm: 665 352 352 5 0 90 0
[pid=48041] ppid=48040 vsize=383252 memory=361620 CPUtime=2677.91 cores=1,3
/proc/48041/stat : 48041 (ExactPR-S9) R 48040 48040 45381 0 -1 4194304 112134 0 0 0 261938 5853 0 0 20 0 1 0 48865171 392450048 90405 18446744073709551615 94825769840640 94825779140741 140733696944928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94825780926784 94825780965864 94825812496384 140733696948636 140733696948774 140733696948774 140733696954347 0
/proc/48041/statm: 95813 90405 3424 2271 0 90451 0
Current children cumulated CPU time: 3574.45 s
Current children cumulated vsize: 390236 KiB
Current children cumulated memory: 366100 KiB

[startup+3590.4 s]
/proc/loadavg: 4.04 4.09 4.08 5/272 48296
/proc/meminfo: memFree=128099764/131250000 swapFree=33010684/33010684
[pid=47928] ppid=47925 vsize=4324 memory=3072 CPUtime=896.54 cores=1,3
/proc/47928/stat : 47928 (Hybrid-CASHWMax) S 47925 47928 45381 0 -1 4194304 284 15556 0 0 0 0 89648 6 20 0 1 0 48775267 4427776 768 18446744073709551615 93929381240832 93929382135365 140721196630400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929382374416 93929382422160 93929393197056 140721196636501 140721196636656 140721196636656 140721196642258 0
/proc/47928/statm: 1081 768 704 219 0 143 0
[pid=48040] ppid=47928 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48040/stat : 48040 (timeout) S 47928 48040 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48865171 2723840 352 18446744073709551615 94730895310848 94730895327361 140722005502704 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94730895342128 94730895344216 94730906947584 140722005510533 140722005510690 140722005510690 140722005516263 0
/proc/48040/statm: 665 352 352 5 0 90 0
[pid=48041] ppid=48040 vsize=383252 memory=361620 CPUtime=2684.29 cores=1,3
/proc/48041/stat : 48041 (ExactPR-S9) R 48040 48040 45381 0 -1 4194304 112134 0 0 0 262574 5855 0 0 20 0 1 0 48865171 392450048 90405 18446744073709551615 94825769840640 94825779140741 140733696944928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94825780926784 94825780965864 94825812496384 140733696948636 140733696948774 140733696948774 140733696954347 0
/proc/48041/statm: 95813 90405 3424 2271 0 90451 0
Current children cumulated CPU time: 3580.83 s
Current children cumulated vsize: 390236 KiB
Current children cumulated memory: 366100 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 48296
/proc/meminfo: memFree=128099764/131250000 swapFree=33010684/33010684
[pid=47928] ppid=47925 vsize=4324 memory=3072 CPUtime=896.54 cores=1,3
/proc/47928/stat : 47928 (Hybrid-CASHWMax) S 47925 47928 45381 0 -1 4194304 284 15556 0 0 0 0 89648 6 20 0 1 0 48775267 4427776 768 18446744073709551615 93929381240832 93929382135365 140721196630400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929382374416 93929382422160 93929393197056 140721196636501 140721196636656 140721196636656 140721196642258 0
/proc/47928/statm: 1081 768 704 219 0 143 0
[pid=48040] ppid=47928 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48040/stat : 48040 (timeout) S 47928 48040 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48865171 2723840 352 18446744073709551615 94730895310848 94730895327361 140722005502704 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94730895342128 94730895344216 94730906947584 140722005510533 140722005510690 140722005510690 140722005516263 0
/proc/48040/statm: 665 352 352 5 0 90 0
[pid=48041] ppid=48040 vsize=383252 memory=361620 CPUtime=2687.49 cores=1,3
/proc/48041/stat : 48041 (ExactPR-S9) R 48040 48040 45381 0 -1 4194304 112134 0 0 0 262893 5856 0 0 20 0 1 0 48865171 392450048 90405 18446744073709551615 94825769840640 94825779140741 140733696944928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94825780926784 94825780965864 94825812496384 140733696948636 140733696948774 140733696948774 140733696954347 0
/proc/48041/statm: 95813 90405 3424 2271 0 90451 0
Current children cumulated CPU time: 3584.03 s
Current children cumulated vsize: 390236 KiB
Current children cumulated memory: 366100 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 48296
/proc/meminfo: memFree=128099764/131250000 swapFree=33010684/33010684
[pid=47928] ppid=47925 vsize=4324 memory=3072 CPUtime=896.54 cores=1,3
/proc/47928/stat : 47928 (Hybrid-CASHWMax) S 47925 47928 45381 0 -1 4194304 284 15556 0 0 0 0 89648 6 20 0 1 0 48775267 4427776 768 18446744073709551615 93929381240832 93929382135365 140721196630400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929382374416 93929382422160 93929393197056 140721196636501 140721196636656 140721196636656 140721196642258 0
/proc/47928/statm: 1081 768 704 219 0 143 0
[pid=48040] ppid=47928 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48040/stat : 48040 (timeout) S 47928 48040 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48865171 2723840 352 18446744073709551615 94730895310848 94730895327361 140722005502704 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94730895342128 94730895344216 94730906947584 140722005510533 140722005510690 140722005510690 140722005516263 0
/proc/48040/statm: 665 352 352 5 0 90 0
[pid=48041] ppid=48040 vsize=383252 memory=361620 CPUtime=2689.08 cores=1,3
/proc/48041/stat : 48041 (ExactPR-S9) R 48040 48040 45381 0 -1 4194304 112134 0 0 0 263052 5856 0 0 20 0 1 0 48865171 392450048 90405 18446744073709551615 94825769840640 94825779140741 140733696944928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94825780926784 94825780965864 94825812496384 140733696948636 140733696948774 140733696948774 140733696954347 0
/proc/48041/statm: 95813 90405 3424 2271 0 90451 0
Current children cumulated CPU time: 3585.62 s
Current children cumulated vsize: 390236 KiB
Current children cumulated memory: 366100 KiB

[startup+3595.6 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 48296
/proc/meminfo: memFree=128099764/131250000 swapFree=33010684/33010684
[pid=47928] ppid=47925 vsize=4324 memory=3072 CPUtime=896.54 cores=1,3
/proc/47928/stat : 47928 (Hybrid-CASHWMax) S 47925 47928 45381 0 -1 4194304 284 15556 0 0 0 0 89648 6 20 0 1 0 48775267 4427776 768 18446744073709551615 93929381240832 93929382135365 140721196630400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929382374416 93929382422160 93929393197056 140721196636501 140721196636656 140721196636656 140721196642258 0
/proc/47928/statm: 1081 768 704 219 0 143 0
[pid=48040] ppid=47928 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48040/stat : 48040 (timeout) S 47928 48040 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48865171 2723840 352 18446744073709551615 94730895310848 94730895327361 140722005502704 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94730895342128 94730895344216 94730906947584 140722005510533 140722005510690 140722005510690 140722005516263 0
/proc/48040/statm: 665 352 352 5 0 90 0
[pid=48041] ppid=48040 vsize=383252 memory=361620 CPUtime=2689.48 cores=1,3
/proc/48041/stat : 48041 (ExactPR-S9) R 48040 48040 45381 0 -1 4194304 112134 0 0 0 263092 5856 0 0 20 0 1 0 48865171 392450048 90405 18446744073709551615 94825769840640 94825779140741 140733696944928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94825780926784 94825780965864 94825812496384 140733696948636 140733696948774 140733696948774 140733696954347 0
/proc/48041/statm: 95813 90405 3424 2271 0 90451 0
Current children cumulated CPU time: 3586.02 s
Current children cumulated vsize: 390236 KiB
Current children cumulated memory: 366100 KiB

[startup+3596 s]*
/proc/loadavg: 4.11 4.10 4.09 5/272 48296
/proc/meminfo: memFree=128099764/131250000 swapFree=33010684/33010684
[pid=47928] ppid=47925 vsize=4324 memory=3072 CPUtime=896.54 cores=1,3
/proc/47928/stat : 47928 (Hybrid-CASHWMax) S 47925 47928 45381 0 -1 4194304 284 15556 0 0 0 0 89648 6 20 0 1 0 48775267 4427776 768 18446744073709551615 93929381240832 93929382135365 140721196630400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929382374416 93929382422160 93929393197056 140721196636501 140721196636656 140721196636656 140721196642258 0
/proc/47928/statm: 1081 768 704 219 0 143 0
[pid=48040] ppid=47928 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48040/stat : 48040 (timeout) S 47928 48040 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48865171 2723840 352 18446744073709551615 94730895310848 94730895327361 140722005502704 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94730895342128 94730895344216 94730906947584 140722005510533 140722005510690 140722005510690 140722005516263 0
/proc/48040/statm: 665 352 352 5 0 90 0
[pid=48041] ppid=48040 vsize=383252 memory=361620 CPUtime=2689.88 cores=1,3
/proc/48041/stat : 48041 (ExactPR-S9) R 48040 48040 45381 0 -1 4194304 112134 0 0 0 263132 5856 0 0 20 0 1 0 48865171 392450048 90405 18446744073709551615 94825769840640 94825779140741 140733696944928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94825780926784 94825780965864 94825812496384 140733696948636 140733696948774 140733696948774 140733696954347 0
/proc/48041/statm: 95813 90405 3424 2271 0 90451 0
Current children cumulated CPU time: 3586.42 s
Current children cumulated vsize: 390236 KiB
Current children cumulated memory: 366100 KiB

[startup+3596.11 s]
/proc/loadavg: 4.11 4.10 4.09 5/272 48296
/proc/meminfo: memFree=128099764/131250000 swapFree=33010684/33010684
[pid=47928] ppid=47925 vsize=4324 memory=3072 CPUtime=3586.49 cores=1,3
/proc/47928/stat : 47928 (Hybrid-CASHWMax) S 47925 47928 45381 0 -1 4194304 404 129524 0 0 0 0 352785 5864 20 0 1 0 48775267 4427776 768 18446744073709551615 93929381240832 93929382135365 140721196630400 0 0 0 2 4 65536 1 0 0 17 3 0 0 0 0 0 93929382374416 93929382422160 93929393197056 140721196636501 140721196636656 140721196636656 140721196642258 0
/proc/47928/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3586.49 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.14
CPU time (s): 3586.52
CPU user time (s): 3527.86
CPU system time (s): 58.6537
CPU usage (%): 99.7324
Max. virtual memory (cumulated for all children) (KiB): 508940
Max. memory (cumulated for all children) (KiB): 472752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3527.86
system time used= 58.6537
maximum resident set size= 468272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131210
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1973
involuntary context switches= 4913


# summary of solver processes directly reported to runsolver:
#   pid: 47928
#   total CPU time (s): 3586.52
#   total CPU user time (s): 3527.86
#   total CPU system time (s): 58.6537

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.6455 second user time and 16.3574 second system time

The end