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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488935-1751347616/watcher-4488935-1751347616 -o /tmp/evaluation-result-4488935-1751347616/solver-4488935-1751347616 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751347616-44985 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4488935-1751347616.opb 3600 HOME 

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


[startup+0.100023 s]*
/proc/loadavg: 1.93 2.67 3.74 5/272 45057
/proc/meminfo: memFree=130100040/131250000 swapFree=33007332/33010684
[pid=45036] ppid=45027 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/45036/stat : 45036 (Hybrid-CASHWMax) S 45027 45036 44975 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 50439174 4427776 736 18446744073709551615 94243306369024 94243307263557 140733970081104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94243307502608 94243307550352 94243328692224 140733970086231 140733970086385 140733970086385 140733970091987 0
/proc/45036/statm: 1081 736 672 219 0 143 0
[pid=45050] ppid=45036 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45050/stat : 45050 (timeout) S 45036 45050 44975 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 50439178 2723840 320 18446744073709551615 94035609591808 94035609608321 140735463846768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94035609623088 94035609625176 94035642896384 140735463848342 140735463848482 140735463848482 140735463854055 0
/proc/45050/statm: 665 320 320 5 0 90 0
[pid=45053] ppid=45050 vsize=21312 memory=7424 CPUtime=0.04 cores=0,2
/proc/45053/stat : 45053 (CASHWMaxSAT-Dis) R 45050 45050 44975 0 -1 4194304 1161 0 0 0 4 0 0 0 20 0 1 0 50439180 21823488 1856 18446744073709551615 4198400 14093885 140731272044272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53293056 140731272047004 140731272047131 140731272047131 140731272052704 0
/proc/45053/statm: 5328 1856 768 2416 0 2430 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 28296 KiB
Current children cumulated memory: 11648 KiB

[startup+0.204675 s]*
/proc/loadavg: 1.93 2.67 3.74 5/272 45057
/proc/meminfo: memFree=130096200/131250000 swapFree=33007332/33010684
[pid=45036] ppid=45027 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/45036/stat : 45036 (Hybrid-CASHWMax) S 45027 45036 44975 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 50439174 4427776 736 18446744073709551615 94243306369024 94243307263557 140733970081104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94243307502608 94243307550352 94243328692224 140733970086231 140733970086385 140733970086385 140733970091987 0
/proc/45036/statm: 1081 736 672 219 0 143 0
[pid=45050] ppid=45036 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45050/stat : 45050 (timeout) S 45036 45050 44975 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 50439178 2723840 320 18446744073709551615 94035609591808 94035609608321 140735463846768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94035609623088 94035609625176 94035642896384 140735463848342 140735463848482 140735463848482 140735463854055 0
/proc/45050/statm: 665 320 320 5 0 90 0
[pid=45053] ppid=45050 vsize=21312 memory=7424 CPUtime=0.15 cores=0,2
/proc/45053/stat : 45053 (CASHWMaxSAT-Dis) R 45050 45050 44975 0 -1 4194304 1161 0 0 0 15 0 0 0 20 0 1 0 50439180 21823488 1856 18446744073709551615 4198400 14093885 140731272044272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53293056 140731272047004 140731272047131 140731272047131 140731272052704 0
/proc/45053/statm: 5328 1856 768 2416 0 2430 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 28296 KiB
Current children cumulated memory: 11648 KiB

[startup+0.304515 s]*
/proc/loadavg: 1.93 2.67 3.74 5/272 45057
/proc/meminfo: memFree=130096200/131250000 swapFree=33007332/33010684
[pid=45036] ppid=45027 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/45036/stat : 45036 (Hybrid-CASHWMax) S 45027 45036 44975 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 50439174 4427776 736 18446744073709551615 94243306369024 94243307263557 140733970081104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94243307502608 94243307550352 94243328692224 140733970086231 140733970086385 140733970086385 140733970091987 0
/proc/45036/statm: 1081 736 672 219 0 143 0
[pid=45050] ppid=45036 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45050/stat : 45050 (timeout) S 45036 45050 44975 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 50439178 2723840 320 18446744073709551615 94035609591808 94035609608321 140735463846768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94035609623088 94035609625176 94035642896384 140735463848342 140735463848482 140735463848482 140735463854055 0
/proc/45050/statm: 665 320 320 5 0 90 0
[pid=45053] ppid=45050 vsize=21312 memory=7424 CPUtime=0.25 cores=0,2
/proc/45053/stat : 45053 (CASHWMaxSAT-Dis) R 45050 45050 44975 0 -1 4194304 1196 0 0 0 25 0 0 0 20 0 1 0 50439180 21823488 1856 18446744073709551615 4198400 14093885 140731272044272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53293056 140731272047004 140731272047131 140731272047131 140731272052704 0
/proc/45053/statm: 5328 1856 768 2416 0 2430 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 28296 KiB
Current children cumulated memory: 11648 KiB

[startup+0.700156 s]
/proc/loadavg: 1.93 2.67 3.74 5/272 45057
/proc/meminfo: memFree=130056636/131250000 swapFree=33007332/33010684
[pid=45036] ppid=45027 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/45036/stat : 45036 (Hybrid-CASHWMax) S 45027 45036 44975 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 50439174 4427776 736 18446744073709551615 94243306369024 94243307263557 140733970081104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94243307502608 94243307550352 94243328692224 140733970086231 140733970086385 140733970086385 140733970091987 0
/proc/45036/statm: 1081 736 672 219 0 143 0
[pid=45050] ppid=45036 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45050/stat : 45050 (timeout) S 45036 45050 44975 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 50439178 2723840 320 18446744073709551615 94035609591808 94035609608321 140735463846768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94035609623088 94035609625176 94035642896384 140735463848342 140735463848482 140735463848482 140735463854055 0
/proc/45050/statm: 665 320 320 5 0 90 0
[pid=45053] ppid=45050 vsize=34380 memory=19456 CPUtime=0.63 cores=0,2
/proc/45053/stat : 45053 (CASHWMaxSAT-Dis) R 45050 45050 44975 0 -1 4194304 4204 0 0 0 63 0 0 0 20 0 1 0 50439180 35205120 4864 18446744073709551615 4198400 14093885 140731272044272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53293056 140731272047004 140731272047131 140731272047131 140731272052704 0
/proc/45053/statm: 8595 4864 768 2416 0 5697 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 41364 KiB
Current children cumulated memory: 23680 KiB

[startup+1.50018 s]
/proc/loadavg: 1.93 2.67 3.74 5/272 45057
/proc/meminfo: memFree=130032444/131250000 swapFree=33007332/33010684
[pid=45036] ppid=45027 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/45036/stat : 45036 (Hybrid-CASHWMax) S 45027 45036 44975 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 50439174 4427776 736 18446744073709551615 94243306369024 94243307263557 140733970081104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94243307502608 94243307550352 94243328692224 140733970086231 140733970086385 140733970086385 140733970091987 0
/proc/45036/statm: 1081 736 672 219 0 143 0
[pid=45050] ppid=45036 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45050/stat : 45050 (timeout) S 45036 45050 44975 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 50439178 2723840 320 18446744073709551615 94035609591808 94035609608321 140735463846768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94035609623088 94035609625176 94035642896384 140735463848342 140735463848482 140735463848482 140735463854055 0
/proc/45050/statm: 665 320 320 5 0 90 0
[pid=45053] ppid=45050 vsize=45068 memory=30648 CPUtime=1.44 cores=0,2
/proc/45053/stat : 45053 (CASHWMaxSAT-Dis) R 45050 45050 44975 0 -1 4194304 6479 0 0 0 143 1 0 0 20 0 1 0 50439180 46149632 7662 18446744073709551615 4198400 14093885 140731272044272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53293056 140731272047004 140731272047131 140731272047131 140731272052704 0
/proc/45053/statm: 11267 7662 768 2416 0 8369 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 52052 KiB
Current children cumulated memory: 34872 KiB

[startup+3.10488 s]
/proc/loadavg: 1.93 2.67 3.74 5/272 45057
/proc/meminfo: memFree=130008656/131250000 swapFree=33007332/33010684
[pid=45036] ppid=45027 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/45036/stat : 45036 (Hybrid-CASHWMax) S 45027 45036 44975 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 50439174 4427776 736 18446744073709551615 94243306369024 94243307263557 140733970081104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94243307502608 94243307550352 94243328692224 140733970086231 140733970086385 140733970086385 140733970091987 0
/proc/45036/statm: 1081 736 672 219 0 143 0
[pid=45050] ppid=45036 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45050/stat : 45050 (timeout) S 45036 45050 44975 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 50439178 2723840 320 18446744073709551615 94035609591808 94035609608321 140735463846768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94035609623088 94035609625176 94035642896384 140735463848342 140735463848482 140735463848482 140735463854055 0
/proc/45050/statm: 665 320 320 5 0 90 0
[pid=45053] ppid=45050 vsize=49420 memory=34640 CPUtime=3.03 cores=0,2
/proc/45053/stat : 45053 (CASHWMaxSAT-Dis) R 45050 45050 44975 0 -1 4194304 6998 0 0 0 302 1 0 0 20 0 1 0 50439180 50606080 8660 18446744073709551615 4198400 14093885 140731272044272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53293056 140731272047004 140731272047131 140731272047131 140731272052704 0
/proc/45053/statm: 12355 8660 768 2416 0 9457 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 56404 KiB
Current children cumulated memory: 38864 KiB

[startup+6.30017 s]
/proc/loadavg: 2.09 2.69 3.74 5/272 45057
/proc/meminfo: memFree=129984536/131250000 swapFree=33007332/33010684
[pid=45036] ppid=45027 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/45036/stat : 45036 (Hybrid-CASHWMax) S 45027 45036 44975 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 50439174 4427776 736 18446744073709551615 94243306369024 94243307263557 140733970081104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94243307502608 94243307550352 94243328692224 140733970086231 140733970086385 140733970086385 140733970091987 0
/proc/45036/statm: 1081 736 672 219 0 143 0
[pid=45050] ppid=45036 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45050/stat : 45050 (timeout) S 45036 45050 44975 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 50439178 2723840 320 18446744073709551615 94035609591808 94035609608321 140735463846768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94035609623088 94035609625176 94035642896384 140735463848342 140735463848482 140735463848482 140735463854055 0
/proc/45050/statm: 665 320 320 5 0 90 0
[pid=45053] ppid=45050 vsize=52140 memory=36912 CPUtime=6.21 cores=0,2
/proc/45053/stat : 45053 (CASHWMaxSAT-Dis) R 45050 45050 44975 0 -1 4194304 8121 0 0 0 620 1 0 0 20 0 1 0 50439180 53391360 9228 18446744073709551615 4198400 14093885 140731272044272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53293056 140731272047004 140731272047131 140731272047131 140731272052704 0
/proc/45053/statm: 13035 9228 768 2416 0 10137 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 59124 KiB
Current children cumulated memory: 41136 KiB

[startup+12.7002 s]
/proc/loadavg: 2.25 2.71 3.74 5/272 45057
/proc/meminfo: memFree=129984544/131250000 swapFree=33007332/33010684
[pid=45036] ppid=45027 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/45036/stat : 45036 (Hybrid-CASHWMax) S 45027 45036 44975 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 50439174 4427776 736 18446744073709551615 94243306369024 94243307263557 140733970081104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94243307502608 94243307550352 94243328692224 140733970086231 140733970086385 140733970086385 140733970091987 0
/proc/45036/statm: 1081 736 672 219 0 143 0
[pid=45050] ppid=45036 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45050/stat : 45050 (timeout) S 45036 45050 44975 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 50439178 2723840 320 18446744073709551615 94035609591808 94035609608321 140735463846768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94035609623088 94035609625176 94035642896384 140735463848342 140735463848482 140735463848482 140735463854055 0
/proc/45050/statm: 665 320 320 5 0 90 0
[pid=45053] ppid=45050 vsize=52140 memory=37424 CPUtime=12.6 cores=0,2
/proc/45053/stat : 45053 (CASHWMaxSAT-Dis) R 45050 45050 44975 0 -1 4194304 8240 0 0 0 1258 2 0 0 20 0 1 0 50439180 53391360 9356 18446744073709551615 4198400 14093885 140731272044272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53293056 140731272047004 140731272047131 140731272047131 140731272052704 0
/proc/45053/statm: 13035 9356 768 2416 0 10137 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 59124 KiB
Current children cumulated memory: 41648 KiB

[startup+25.5002 s]
/proc/loadavg: 2.70 2.79 3.75 5/272 45057
/proc/meminfo: memFree=129967760/131250000 swapFree=33007332/33010684
[pid=45036] ppid=45027 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/45036/stat : 45036 (Hybrid-CASHWMax) S 45027 45036 44975 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 50439174 4427776 736 18446744073709551615 94243306369024 94243307263557 140733970081104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94243307502608 94243307550352 94243328692224 140733970086231 140733970086385 140733970086385 140733970091987 0
/proc/45036/statm: 1081 736 672 219 0 143 0
[pid=45050] ppid=45036 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45050/stat : 45050 (timeout) S 45036 45050 44975 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 50439178 2723840 320 18446744073709551615 94035609591808 94035609608321 140735463846768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94035609623088 94035609625176 94035642896384 140735463848342 140735463848482 140735463848482 140735463854055 0
/proc/45050/statm: 665 320 320 5 0 90 0
[pid=45053] ppid=45050 vsize=52832 memory=38592 CPUtime=25.36 cores=0,2
/proc/45053/stat : 45053 (CASHWMaxSAT-Dis) R 45050 45050 44975 0 -1 4194304 9803 0 0 0 2534 2 0 0 20 0 1 0 50439180 54099968 9648 18446744073709551615 4198400 14093885 140731272044272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53293056 140731272047004 140731272047131 140731272047131 140731272052704 0
/proc/45053/statm: 13208 9648 768 2416 0 10310 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 59816 KiB
Current children cumulated memory: 42816 KiB

[startup+51.1053 s]
/proc/loadavg: 3.21 2.90 3.76 5/272 45057
/proc/meminfo: memFree=129941584/131250000 swapFree=33007332/33010684
[pid=45036] ppid=45027 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/45036/stat : 45036 (Hybrid-CASHWMax) S 45027 45036 44975 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 50439174 4427776 736 18446744073709551615 94243306369024 94243307263557 140733970081104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94243307502608 94243307550352 94243328692224 140733970086231 140733970086385 140733970086385 140733970091987 0
/proc/45036/statm: 1081 736 672 219 0 143 0
[pid=45050] ppid=45036 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45050/stat : 45050 (timeout) S 45036 45050 44975 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 50439178 2723840 320 18446744073709551615 94035609591808 94035609608321 140735463846768 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94035609623088 94035609625176 94035642896384 140735463848342 140735463848482 140735463848482 140735463854055 0
/proc/45050/statm: 665 320 320 5 0 90 0
[pid=45053] ppid=45050 vsize=55748 memory=40984 CPUtime=50.89 cores=0,2
/proc/45053/stat : 45053 (CASHWMaxSAT-Dis) R 45050 45050 44975 0 -1 4194304 11426 0 0 0 5086 3 0 0 20 0 1 0 50439180 57085952 10246 18446744073709551615 4198400 14093885 140731272044272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 53293056 140731272047004 140731272047131 140731272047131 140731272052704 0
/proc/45053/statm: 13937 10246 768 2416 0 11039 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 62732 KiB
Current children cumulated memory: 45208 KiB

[startup+102.3 s]
/proc/loadavg: 3.70 3.09 3.78 5/273 45062
/proc/meminfo: memFree=129931644/131250000 swapFree=33007332/33010684
[pid=45036] ppid=45027 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/45036/stat : 45036 (Hybrid-CASHWMax) S 45027 45036 44975 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 50439174 4427776 736 18446744073709551615 94243306369024 94243307263557 140733970081104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94243307502608 94243307550352 94243328692224 140733970086231 140733970086385 140733970086385 140733970091987 0
/proc/45036/statm: 1081 736 672 219 0 143 0
[pid=45050] ppid=45036 vsize=2660 memory=1280 CPUtime=0 cores=0,2

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

/proc/45036/statm: 1081 736 672 219 0 143 0
[pid=45112] ppid=45036 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45112/stat : 45112 (timeout) S 45036 45112 44975 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50558980 2723840 320 18446744073709551615 94491268251648 94491268268161 140729479868208 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94491268282928 94491268285016 94491292876800 140729479870854 140729479871010 140729479871010 140729479876583 0
/proc/45112/statm: 665 320 320 5 0 90 0
[pid=45115] ppid=45112 vsize=388332 memory=373488 CPUtime=2198.45 cores=0,2
/proc/45115/stat : 45115 (ExactPR-S) R 45112 45112 44975 0 -1 4194304 113987 0 0 0 218459 1386 0 0 20 0 1 0 50558981 397651968 93372 18446744073709551615 94072410374144 94072419674181 140732863408176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94072421460288 94072421499368 94072435970048 140732863412638 140732863412775 140732863412775 140732863418348 0
/proc/45115/statm: 97083 93372 3424 2271 0 91721 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 395316 KiB
Current children cumulated memory: 377712 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.08 5/273 45241
/proc/meminfo: memFree=128648168/131250000 swapFree=33007332/33010684
[pid=45036] ppid=45027 vsize=4324 memory=2944 CPUtime=1194.57 cores=0,2
/proc/45036/stat : 45036 (Hybrid-CASHWMax) S 45027 45036 44975 0 -1 4194304 281 15839 0 1 0 0 119451 6 20 0 1 0 50439174 4427776 736 18446744073709551615 94243306369024 94243307263557 140733970081104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94243307502608 94243307550352 94243328692224 140733970086231 140733970086385 140733970086385 140733970091987 0
/proc/45036/statm: 1081 736 672 219 0 143 0
[pid=45112] ppid=45036 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45112/stat : 45112 (timeout) S 45036 45112 44975 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50558980 2723840 320 18446744073709551615 94491268251648 94491268268161 140729479868208 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94491268282928 94491268285016 94491292876800 140729479870854 140729479871010 140729479871010 140729479876583 0
/proc/45112/statm: 665 320 320 5 0 90 0
[pid=45115] ppid=45112 vsize=388332 memory=373488 CPUtime=2258.3 cores=0,2
/proc/45115/stat : 45115 (ExactPR-S) R 45112 45112 44975 0 -1 4194304 113988 0 0 0 224423 1407 0 0 20 0 1 0 50558981 397651968 93372 18446744073709551615 94072410374144 94072419674181 140732863408176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94072421460288 94072421499368 94072435970048 140732863412638 140732863412775 140732863412775 140732863418348 0
/proc/45115/statm: 97083 93372 3424 2271 0 91721 0
Current children cumulated CPU time: 3452.87 s
Current children cumulated vsize: 395316 KiB
Current children cumulated memory: 377712 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.08 5/273 45243
/proc/meminfo: memFree=128648028/131250000 swapFree=33007332/33010684
[pid=45036] ppid=45027 vsize=4324 memory=2944 CPUtime=1194.57 cores=0,2
/proc/45036/stat : 45036 (Hybrid-CASHWMax) S 45027 45036 44975 0 -1 4194304 281 15839 0 1 0 0 119451 6 20 0 1 0 50439174 4427776 736 18446744073709551615 94243306369024 94243307263557 140733970081104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94243307502608 94243307550352 94243328692224 140733970086231 140733970086385 140733970086385 140733970091987 0
/proc/45036/statm: 1081 736 672 219 0 143 0
[pid=45112] ppid=45036 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45112/stat : 45112 (timeout) S 45036 45112 44975 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50558980 2723840 320 18446744073709551615 94491268251648 94491268268161 140729479868208 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94491268282928 94491268285016 94491292876800 140729479870854 140729479871010 140729479871010 140729479876583 0
/proc/45112/statm: 665 320 320 5 0 90 0
[pid=45115] ppid=45112 vsize=388332 memory=373488 CPUtime=2318.14 cores=0,2
/proc/45115/stat : 45115 (ExactPR-S) R 45112 45112 44975 0 -1 4194304 113989 0 0 0 230388 1426 0 0 20 0 1 0 50558981 397651968 93372 18446744073709551615 94072410374144 94072419674181 140732863408176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94072421460288 94072421499368 94072435970048 140732863412638 140732863412775 140732863412775 140732863418348 0
/proc/45115/statm: 97083 93372 3424 2271 0 91721 0
Current children cumulated CPU time: 3512.71 s
Current children cumulated vsize: 395316 KiB
Current children cumulated memory: 377712 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.08 5/272 45245
/proc/meminfo: memFree=128648476/131250000 swapFree=33007332/33010684
[pid=45036] ppid=45027 vsize=4324 memory=2944 CPUtime=1194.57 cores=0,2
/proc/45036/stat : 45036 (Hybrid-CASHWMax) S 45027 45036 44975 0 -1 4194304 281 15839 0 1 0 0 119451 6 20 0 1 0 50439174 4427776 736 18446744073709551615 94243306369024 94243307263557 140733970081104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94243307502608 94243307550352 94243328692224 140733970086231 140733970086385 140733970086385 140733970091987 0
/proc/45036/statm: 1081 736 672 219 0 143 0
[pid=45112] ppid=45036 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45112/stat : 45112 (timeout) S 45036 45112 44975 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50558980 2723840 320 18446744073709551615 94491268251648 94491268268161 140729479868208 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94491268282928 94491268285016 94491292876800 140729479870854 140729479871010 140729479871010 140729479876583 0
/proc/45112/statm: 665 320 320 5 0 90 0
[pid=45115] ppid=45112 vsize=388332 memory=373488 CPUtime=2377.99 cores=0,2
/proc/45115/stat : 45115 (ExactPR-S) R 45112 45112 44975 0 -1 4194304 114087 0 0 0 236353 1446 0 0 20 0 1 0 50558981 397651968 93372 18446744073709551615 94072410374144 94072419674181 140732863408176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94072421460288 94072421499368 94072435970048 140732863412638 140732863412775 140732863412775 140732863418348 0
/proc/45115/statm: 97083 93372 3424 2271 0 91721 0
Current children cumulated CPU time: 3572.56 s
Current children cumulated vsize: 395316 KiB
Current children cumulated memory: 377712 KiB

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

# cumulated CPU time of all completed processes:  user=3571.73 s, system=14.6315 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.09 4.08 5/272 45245
/proc/meminfo: memFree=128648524/131250000 swapFree=33007332/33010684
[pid=45036] ppid=45027 vsize=4324 memory=2944 CPUtime=1194.57 cores=0,2
/proc/45036/stat : 45036 (Hybrid-CASHWMax) S 45027 45036 44975 0 -1 4194304 281 15839 0 1 0 0 119451 6 20 0 1 0 50439174 4427776 736 18446744073709551615 94243306369024 94243307263557 140733970081104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94243307502608 94243307550352 94243328692224 140733970086231 140733970086385 140733970086385 140733970091987 0
/proc/45036/statm: 1081 736 672 219 0 143 0
[pid=45112] ppid=45036 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45112/stat : 45112 (timeout) S 45036 45112 44975 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50558980 2723840 320 18446744073709551615 94491268251648 94491268268161 140729479868208 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94491268282928 94491268285016 94491292876800 140729479870854 140729479871010 140729479871010 140729479876583 0
/proc/45112/statm: 665 320 320 5 0 90 0
[pid=45115] ppid=45112 vsize=388332 memory=373488 CPUtime=2379.69 cores=0,2
/proc/45115/stat : 45115 (ExactPR-S) R 45112 45112 44975 0 -1 4194304 114087 0 0 0 236521 1448 0 0 20 0 1 0 50558981 397651968 93372 18446744073709551615 94072410374144 94072419674181 140732863408176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94072421460288 94072421499368 94072435970048 140732863412638 140732863412775 140732863412775 140732863418348 0
/proc/45115/statm: 97083 93372 3424 2271 0 91721 0
Current children cumulated CPU time: 3574.26 s
Current children cumulated vsize: 395316 KiB
Current children cumulated memory: 377712 KiB

[startup+3590.4 s]
/proc/loadavg: 4.07 4.08 4.08 5/272 45245
/proc/meminfo: memFree=128648524/131250000 swapFree=33007332/33010684
[pid=45036] ppid=45027 vsize=4324 memory=2944 CPUtime=1194.57 cores=0,2
/proc/45036/stat : 45036 (Hybrid-CASHWMax) S 45027 45036 44975 0 -1 4194304 281 15839 0 1 0 0 119451 6 20 0 1 0 50439174 4427776 736 18446744073709551615 94243306369024 94243307263557 140733970081104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94243307502608 94243307550352 94243328692224 140733970086231 140733970086385 140733970086385 140733970091987 0
/proc/45036/statm: 1081 736 672 219 0 143 0
[pid=45112] ppid=45036 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45112/stat : 45112 (timeout) S 45036 45112 44975 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50558980 2723840 320 18446744073709551615 94491268251648 94491268268161 140729479868208 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94491268282928 94491268285016 94491292876800 140729479870854 140729479871010 140729479871010 140729479876583 0
/proc/45112/statm: 665 320 320 5 0 90 0
[pid=45115] ppid=45112 vsize=388332 memory=373488 CPUtime=2386.07 cores=0,2
/proc/45115/stat : 45115 (ExactPR-S) R 45112 45112 44975 0 -1 4194304 114087 0 0 0 237156 1451 0 0 20 0 1 0 50558981 397651968 93372 18446744073709551615 94072410374144 94072419674181 140732863408176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94072421460288 94072421499368 94072435970048 140732863412638 140732863412775 140732863412775 140732863418348 0
/proc/45115/statm: 97083 93372 3424 2271 0 91721 0
Current children cumulated CPU time: 3580.64 s
Current children cumulated vsize: 395316 KiB
Current children cumulated memory: 377712 KiB

[startup+3593.6 s]
/proc/loadavg: 4.07 4.08 4.08 5/272 45245
/proc/meminfo: memFree=128648548/131250000 swapFree=33007332/33010684
[pid=45036] ppid=45027 vsize=4324 memory=2944 CPUtime=1194.57 cores=0,2
/proc/45036/stat : 45036 (Hybrid-CASHWMax) S 45027 45036 44975 0 -1 4194304 281 15839 0 1 0 0 119451 6 20 0 1 0 50439174 4427776 736 18446744073709551615 94243306369024 94243307263557 140733970081104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94243307502608 94243307550352 94243328692224 140733970086231 140733970086385 140733970086385 140733970091987 0
/proc/45036/statm: 1081 736 672 219 0 143 0
[pid=45112] ppid=45036 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45112/stat : 45112 (timeout) S 45036 45112 44975 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50558980 2723840 320 18446744073709551615 94491268251648 94491268268161 140729479868208 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94491268282928 94491268285016 94491292876800 140729479870854 140729479871010 140729479871010 140729479876583 0
/proc/45112/statm: 665 320 320 5 0 90 0
[pid=45115] ppid=45112 vsize=388332 memory=373488 CPUtime=2389.26 cores=0,2
/proc/45115/stat : 45115 (ExactPR-S) R 45112 45112 44975 0 -1 4194304 114087 0 0 0 237474 1452 0 0 20 0 1 0 50558981 397651968 93372 18446744073709551615 94072410374144 94072419674181 140732863408176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94072421460288 94072421499368 94072435970048 140732863412638 140732863412775 140732863412775 140732863418348 0
/proc/45115/statm: 97083 93372 3424 2271 0 91721 0
Current children cumulated CPU time: 3583.83 s
Current children cumulated vsize: 395316 KiB
Current children cumulated memory: 377712 KiB

[startup+3595.2 s]
/proc/loadavg: 4.06 4.08 4.08 5/272 45245
/proc/meminfo: memFree=128648548/131250000 swapFree=33007332/33010684
[pid=45036] ppid=45027 vsize=4324 memory=2944 CPUtime=1194.57 cores=0,2
/proc/45036/stat : 45036 (Hybrid-CASHWMax) S 45027 45036 44975 0 -1 4194304 281 15839 0 1 0 0 119451 6 20 0 1 0 50439174 4427776 736 18446744073709551615 94243306369024 94243307263557 140733970081104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94243307502608 94243307550352 94243328692224 140733970086231 140733970086385 140733970086385 140733970091987 0
/proc/45036/statm: 1081 736 672 219 0 143 0
[pid=45112] ppid=45036 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45112/stat : 45112 (timeout) S 45036 45112 44975 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50558980 2723840 320 18446744073709551615 94491268251648 94491268268161 140729479868208 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94491268282928 94491268285016 94491292876800 140729479870854 140729479871010 140729479871010 140729479876583 0
/proc/45112/statm: 665 320 320 5 0 90 0
[pid=45115] ppid=45112 vsize=388332 memory=373488 CPUtime=2390.86 cores=0,2
/proc/45115/stat : 45115 (ExactPR-S) R 45112 45112 44975 0 -1 4194304 114087 0 0 0 237633 1453 0 0 20 0 1 0 50558981 397651968 93372 18446744073709551615 94072410374144 94072419674181 140732863408176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94072421460288 94072421499368 94072435970048 140732863412638 140732863412775 140732863412775 140732863418348 0
/proc/45115/statm: 97083 93372 3424 2271 0 91721 0
Current children cumulated CPU time: 3585.43 s
Current children cumulated vsize: 395316 KiB
Current children cumulated memory: 377712 KiB

[startup+3596 s]*
/proc/loadavg: 4.06 4.08 4.08 5/272 45245
/proc/meminfo: memFree=128648556/131250000 swapFree=33007332/33010684
[pid=45036] ppid=45027 vsize=4324 memory=2944 CPUtime=1194.57 cores=0,2
/proc/45036/stat : 45036 (Hybrid-CASHWMax) S 45027 45036 44975 0 -1 4194304 281 15839 0 1 0 0 119451 6 20 0 1 0 50439174 4427776 736 18446744073709551615 94243306369024 94243307263557 140733970081104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94243307502608 94243307550352 94243328692224 140733970086231 140733970086385 140733970086385 140733970091987 0
/proc/45036/statm: 1081 736 672 219 0 143 0
[pid=45112] ppid=45036 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/45112/stat : 45112 (timeout) S 45036 45112 44975 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50558980 2723840 320 18446744073709551615 94491268251648 94491268268161 140729479868208 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94491268282928 94491268285016 94491292876800 140729479870854 140729479871010 140729479871010 140729479876583 0
/proc/45112/statm: 665 320 320 5 0 90 0
[pid=45115] ppid=45112 vsize=388332 memory=373488 CPUtime=2391.66 cores=0,2
/proc/45115/stat : 45115 (ExactPR-S) R 45112 45112 44975 0 -1 4194304 114087 0 0 0 237713 1453 0 0 20 0 1 0 50558981 397651968 93372 18446744073709551615 94072410374144 94072419674181 140732863408176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94072421460288 94072421499368 94072435970048 140732863412638 140732863412775 140732863412775 140732863418348 0
/proc/45115/statm: 97083 93372 3424 2271 0 91721 0
Current children cumulated CPU time: 3586.23 s
Current children cumulated vsize: 395316 KiB
Current children cumulated memory: 377712 KiB

[startup+3596.2 s]
/proc/loadavg: 4.06 4.08 4.08 5/272 45245
/proc/meminfo: memFree=128648556/131250000 swapFree=33007332/33010684
[pid=45036] ppid=45027 vsize=4324 memory=2944 CPUtime=3586.34 cores=0,2
/proc/45036/stat : 45036 (Hybrid-CASHWMax) S 45027 45036 44975 0 -1 4194304 432 132331 0 2 0 0 357172 1462 20 0 1 0 50439174 4427776 736 18446744073709551615 94243306369024 94243307263557 140733970081104 0 0 0 2 4 65536 1 0 0 17 0 0 0 0 0 0 94243307502608 94243307550352 94243328692224 140733970086231 140733970086385 140733970086385 140733970091987 0
/proc/45036/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3586.34 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.25
CPU time (s): 3586.36
CPU user time (s): 3571.73
CPU system time (s): 14.6315
CPU usage (%): 99.7249
Max. virtual memory (cumulated for all children) (KiB): 517148
Max. memory (cumulated for all children) (KiB): 478892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.73
system time used= 14.6315
maximum resident set size= 474668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133456
page faults= 2
swaps= 0
block input operations= 32
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3094
involuntary context switches= 4677


# summary of solver processes directly reported to runsolver:
#   pid: 45036
#   total CPU time (s): 3586.36
#   total CPU user time (s): 3571.73
#   total CPU system time (s): 14.6315

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1644 second user time and 15.4666 second system time

The end