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: 63968 MiB (60140 MiB free)
  memory of node 1: 64473 MiB (62967 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438013-1722965512/watcher-4438013-1722965512 -o /tmp/evaluation-result-4438013-1722965512/solver-4438013-1722965512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722960830-342224 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4438013-1722965512.opb 3600 HOME 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=347189, runsolver pid=347186
Current StackSize limit: 8192 KiB


[startup+0.100097 s]*
/proc/loadavg: 4.05 4.08 4.09 5/267 347193
/proc/meminfo: memFree=126041452/131524600 swapFree=131071216/131071996
[pid=347189] ppid=347186 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/347189/stat : 347189 (Hybrid-CASHWMax) S 347186 347189 342211 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 63148196 10170368 669 134679101440 93981521088512 93981522167832 140730225313952 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93981524266288 93981524313476 93981553922048 140730225320910 140730225321069 140730225321069 140730225328084 0
/proc/347189/statm: 2483 669 591 264 0 134 0
[pid=347192] ppid=347189 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347192/stat : 347192 (timeout) S 347189 347192 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63148196 8867840 254 134679101440 93879713853440 93879713888456 140723086644096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93879715985872 93879715988004 93879740301312 140723086652414 140723086652573 140723086652573 140723086659559 0
/proc/347192/statm: 2165 254 230 9 0 87 0
[pid=347193] ppid=347192 vsize=40020 memory=23956 CPUtime=0.1 cores=5,7
/proc/347193/stat : 347193 (CASHWMaxSAT-Dis) R 347192 347192 342211 0 -1 4194304 6345 0 0 0 9 1 0 0 20 0 1 0 63148196 40980480 5989 134679101440 4194304 15356333 140733831514000 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40919040 140733831521283 140733831521429 140733831521429 140733831528415 0
/proc/347193/statm: 10005 5989 954 2726 0 6753 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 58612 KiB
Current children cumulated memory: 27648 KiB

[startup+0.206265 s]*
/proc/loadavg: 4.05 4.08 4.09 5/267 347193
/proc/meminfo: memFree=126030112/131524600 swapFree=131071216/131071996
[pid=347189] ppid=347186 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/347189/stat : 347189 (Hybrid-CASHWMax) S 347186 347189 342211 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 63148196 10170368 669 134679101440 93981521088512 93981522167832 140730225313952 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93981524266288 93981524313476 93981553922048 140730225320910 140730225321069 140730225321069 140730225328084 0
/proc/347189/statm: 2483 669 591 264 0 134 0
[pid=347192] ppid=347189 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347192/stat : 347192 (timeout) S 347189 347192 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63148196 8867840 254 134679101440 93879713853440 93879713888456 140723086644096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93879715985872 93879715988004 93879740301312 140723086652414 140723086652573 140723086652573 140723086659559 0
/proc/347192/statm: 2165 254 230 9 0 87 0
[pid=347193] ppid=347192 vsize=52304 memory=36588 CPUtime=0.2 cores=5,7
/proc/347193/stat : 347193 (CASHWMaxSAT-Dis) R 347192 347192 342211 0 -1 4194304 10034 0 0 0 18 2 0 0 20 0 1 0 63148196 53559296 9147 134679101440 4194304 15356333 140733831514000 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40919040 140733831521283 140733831521429 140733831521429 140733831528415 0
/proc/347193/statm: 13076 9147 1034 2726 0 9824 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 70896 KiB
Current children cumulated memory: 40280 KiB

[startup+0.306048 s]*
/proc/loadavg: 4.05 4.08 4.09 5/267 347193
/proc/meminfo: memFree=125986592/131524600 swapFree=131071216/131071996
[pid=347189] ppid=347186 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/347189/stat : 347189 (Hybrid-CASHWMax) S 347186 347189 342211 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 63148196 10170368 669 134679101440 93981521088512 93981522167832 140730225313952 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93981524266288 93981524313476 93981553922048 140730225320910 140730225321069 140730225321069 140730225328084 0
/proc/347189/statm: 2483 669 591 264 0 134 0
[pid=347192] ppid=347189 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347192/stat : 347192 (timeout) S 347189 347192 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63148196 8867840 254 134679101440 93879713853440 93879713888456 140723086644096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93879715985872 93879715988004 93879740301312 140723086652414 140723086652573 140723086652573 140723086659559 0
/proc/347192/statm: 2165 254 230 9 0 87 0
[pid=347193] ppid=347192 vsize=99152 memory=87840 CPUtime=0.29 cores=5,7
/proc/347193/stat : 347193 (CASHWMaxSAT-Dis) R 347192 347192 342211 0 -1 4194304 21431 0 0 0 26 3 0 0 20 0 1 0 63148196 101531648 21960 134679101440 4194304 15356333 140733831514000 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40919040 140733831521283 140733831521429 140733831521429 140733831528415 0
/proc/347193/statm: 24788 21960 2522 2726 0 21536 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 117744 KiB
Current children cumulated memory: 91532 KiB

[startup+0.700304 s]
/proc/loadavg: 4.05 4.08 4.09 5/267 347193
/proc/meminfo: memFree=125963592/131524600 swapFree=131071216/131071996
[pid=347189] ppid=347186 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/347189/stat : 347189 (Hybrid-CASHWMax) S 347186 347189 342211 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 63148196 10170368 669 134679101440 93981521088512 93981522167832 140730225313952 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93981524266288 93981524313476 93981553922048 140730225320910 140730225321069 140730225321069 140730225328084 0
/proc/347189/statm: 2483 669 591 264 0 134 0
[pid=347192] ppid=347189 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347192/stat : 347192 (timeout) S 347189 347192 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63148196 8867840 254 134679101440 93879713853440 93879713888456 140723086644096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93879715985872 93879715988004 93879740301312 140723086652414 140723086652573 140723086652573 140723086659559 0
/proc/347192/statm: 2165 254 230 9 0 87 0
[pid=347193] ppid=347192 vsize=142252 memory=130736 CPUtime=0.69 cores=5,7
/proc/347193/stat : 347193 (CASHWMaxSAT-Dis) R 347192 347192 342211 0 -1 4194304 32845 0 0 0 64 5 0 0 20 0 1 0 63148196 145666048 32684 134679101440 4194304 15356333 140733831514000 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40919040 140733831521283 140733831521429 140733831521429 140733831528415 0
/proc/347193/statm: 35563 32684 2666 2726 0 32311 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 160844 KiB
Current children cumulated memory: 134428 KiB

[startup+1.50028 s]
/proc/loadavg: 4.05 4.08 4.09 5/267 347193
/proc/meminfo: memFree=125938916/131524600 swapFree=131071216/131071996
[pid=347189] ppid=347186 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/347189/stat : 347189 (Hybrid-CASHWMax) S 347186 347189 342211 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 63148196 10170368 669 134679101440 93981521088512 93981522167832 140730225313952 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93981524266288 93981524313476 93981553922048 140730225320910 140730225321069 140730225321069 140730225328084 0
/proc/347189/statm: 2483 669 591 264 0 134 0
[pid=347192] ppid=347189 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347192/stat : 347192 (timeout) S 347189 347192 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63148196 8867840 254 134679101440 93879713853440 93879713888456 140723086644096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93879715985872 93879715988004 93879740301312 140723086652414 140723086652573 140723086652573 140723086659559 0
/proc/347192/statm: 2165 254 230 9 0 87 0
[pid=347193] ppid=347192 vsize=145204 memory=133220 CPUtime=1.48 cores=5,7
/proc/347193/stat : 347193 (CASHWMaxSAT-Dis) R 347192 347192 342211 0 -1 4194304 33462 0 0 0 143 5 0 0 20 0 1 0 63148196 148688896 33305 134679101440 4194304 15356333 140733831514000 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40919040 140733831521283 140733831521429 140733831521429 140733831528415 0
/proc/347193/statm: 36301 33305 2730 2726 0 33049 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 163796 KiB
Current children cumulated memory: 136912 KiB

[startup+3.1059 s]
/proc/loadavg: 4.05 4.08 4.09 5/267 347194
/proc/meminfo: memFree=125937948/131524600 swapFree=131071216/131071996
[pid=347189] ppid=347186 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/347189/stat : 347189 (Hybrid-CASHWMax) S 347186 347189 342211 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 63148196 10170368 669 134679101440 93981521088512 93981522167832 140730225313952 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93981524266288 93981524313476 93981553922048 140730225320910 140730225321069 140730225321069 140730225328084 0
/proc/347189/statm: 2483 669 591 264 0 134 0
[pid=347192] ppid=347189 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347192/stat : 347192 (timeout) S 347189 347192 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63148196 8867840 254 134679101440 93879713853440 93879713888456 140723086644096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93879715985872 93879715988004 93879740301312 140723086652414 140723086652573 140723086652573 140723086659559 0
/proc/347192/statm: 2165 254 230 9 0 87 0
[pid=347193] ppid=347192 vsize=145772 memory=133748 CPUtime=3.08 cores=5,7
/proc/347193/stat : 347193 (CASHWMaxSAT-Dis) R 347192 347192 342211 0 -1 4194304 33560 0 0 0 303 5 0 0 20 0 1 0 63148196 149270528 33437 134679101440 4194304 15356333 140733831514000 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40919040 140733831521283 140733831521429 140733831521429 140733831528415 0
/proc/347193/statm: 36443 33437 2730 2726 0 33191 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 164364 KiB
Current children cumulated memory: 137440 KiB

[startup+6.30024 s]
/proc/loadavg: 4.04 4.07 4.08 5/268 347195
/proc/meminfo: memFree=125916956/131524600 swapFree=131071216/131071996
[pid=347189] ppid=347186 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/347189/stat : 347189 (Hybrid-CASHWMax) S 347186 347189 342211 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 63148196 10170368 669 134679101440 93981521088512 93981522167832 140730225313952 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93981524266288 93981524313476 93981553922048 140730225320910 140730225321069 140730225321069 140730225328084 0
/proc/347189/statm: 2483 669 591 264 0 134 0
[pid=347192] ppid=347189 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347192/stat : 347192 (timeout) S 347189 347192 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63148196 8867840 254 134679101440 93879713853440 93879713888456 140723086644096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93879715985872 93879715988004 93879740301312 140723086652414 140723086652573 140723086652573 140723086659559 0
/proc/347192/statm: 2165 254 230 9 0 87 0
[pid=347193] ppid=347192 vsize=146176 memory=134012 CPUtime=6.27 cores=5,7
/proc/347193/stat : 347193 (CASHWMaxSAT-Dis) R 347192 347192 342211 0 -1 4194304 33662 0 0 0 622 5 0 0 20 0 1 0 63148196 149684224 33503 134679101440 4194304 15356333 140733831514000 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40919040 140733831521283 140733831521429 140733831521429 140733831528415 0
/proc/347193/statm: 36544 33503 2730 2726 0 33292 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 164768 KiB
Current children cumulated memory: 137704 KiB

[startup+12.7002 s]
/proc/loadavg: 4.04 4.07 4.08 5/268 347195
/proc/meminfo: memFree=125910848/131524600 swapFree=131071216/131071996
[pid=347189] ppid=347186 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/347189/stat : 347189 (Hybrid-CASHWMax) S 347186 347189 342211 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 63148196 10170368 669 134679101440 93981521088512 93981522167832 140730225313952 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93981524266288 93981524313476 93981553922048 140730225320910 140730225321069 140730225321069 140730225328084 0
/proc/347189/statm: 2483 669 591 264 0 134 0
[pid=347192] ppid=347189 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347192/stat : 347192 (timeout) S 347189 347192 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63148196 8867840 254 134679101440 93879713853440 93879713888456 140723086644096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93879715985872 93879715988004 93879740301312 140723086652414 140723086652573 140723086652573 140723086659559 0
/proc/347192/statm: 2165 254 230 9 0 87 0
[pid=347193] ppid=347192 vsize=159196 memory=140732 CPUtime=12.65 cores=5,7
/proc/347193/stat : 347193 (CASHWMaxSAT-Dis) R 347192 347192 342211 0 -1 4194304 35271 0 0 0 1260 5 0 0 20 0 1 0 63148196 163016704 35183 134679101440 4194304 15356333 140733831514000 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40919040 140733831521283 140733831521429 140733831521429 140733831528415 0
/proc/347193/statm: 39799 35183 2762 2726 0 36547 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 177788 KiB
Current children cumulated memory: 144424 KiB

[startup+25.5003 s]
/proc/loadavg: 4.18 4.10 4.09 5/269 347250
/proc/meminfo: memFree=126236680/131524600 swapFree=131071216/131071996
[pid=347189] ppid=347186 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/347189/stat : 347189 (Hybrid-CASHWMax) S 347186 347189 342211 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 63148196 10170368 669 134679101440 93981521088512 93981522167832 140730225313952 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93981524266288 93981524313476 93981553922048 140730225320910 140730225321069 140730225321069 140730225328084 0
/proc/347189/statm: 2483 669 591 264 0 134 0
[pid=347192] ppid=347189 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347192/stat : 347192 (timeout) S 347189 347192 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63148196 8867840 254 134679101440 93879713853440 93879713888456 140723086644096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93879715985872 93879715988004 93879740301312 140723086652414 140723086652573 140723086652573 140723086659559 0
/proc/347192/statm: 2165 254 230 9 0 87 0
[pid=347193] ppid=347192 vsize=188848 memory=165548 CPUtime=25.42 cores=5,7
/proc/347193/stat : 347193 (CASHWMaxSAT-Dis) R 347192 347192 342211 0 -1 4194304 41513 0 0 0 2535 7 0 0 20 0 1 0 63148196 193380352 41387 134679101440 4194304 15356333 140733831514000 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40919040 140733831521283 140733831521429 140733831521429 140733831528415 0
/proc/347193/statm: 47212 41387 2762 2726 0 43960 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 207440 KiB
Current children cumulated memory: 169240 KiB

[startup+51.1061 s]
/proc/loadavg: 4.12 4.09 4.09 5/269 347253
/proc/meminfo: memFree=126106544/131524600 swapFree=131071216/131071996
[pid=347189] ppid=347186 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/347189/stat : 347189 (Hybrid-CASHWMax) S 347186 347189 342211 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 63148196 10170368 669 134679101440 93981521088512 93981522167832 140730225313952 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93981524266288 93981524313476 93981553922048 140730225320910 140730225321069 140730225321069 140730225328084 0
/proc/347189/statm: 2483 669 591 264 0 134 0
[pid=347192] ppid=347189 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347192/stat : 347192 (timeout) S 347189 347192 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63148196 8867840 254 134679101440 93879713853440 93879713888456 140723086644096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93879715985872 93879715988004 93879740301312 140723086652414 140723086652573 140723086652573 140723086659559 0
/proc/347192/statm: 2165 254 230 9 0 87 0
[pid=347193] ppid=347192 vsize=258888 memory=221360 CPUtime=50.95 cores=5,7
/proc/347193/stat : 347193 (CASHWMaxSAT-Dis) R 347192 347192 342211 0 -1 4194304 54460 0 0 0 5085 10 0 0 20 0 1 0 63148196 265101312 55340 134679101440 4194304 15356333 140733831514000 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40919040 140733831521283 140733831521429 140733831521429 140733831528415 0
/proc/347193/statm: 64722 55340 2762 2726 0 61470 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 277480 KiB
Current children cumulated memory: 225052 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/269 347313
/proc/meminfo: memFree=125505764/131524600 swapFree=131071216/131071996
[pid=347189] ppid=347186 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/347189/stat : 347189 (Hybrid-CASHWMax) S 347186 347189 342211 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 63148196 10170368 669 134679101440 93981521088512 93981522167832 140730225313952 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93981524266288 93981524313476 93981553922048 140730225320910 140730225321069 140730225321069 140730225328084 0

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

/proc/347193/statm: 98348 83280 2762 2726 0 95096 0
Current children cumulated CPU time: 819.93 s
Current children cumulated vsize: 411984 KiB
Current children cumulated memory: 336812 KiB

[startup+882.3 s]
/proc/loadavg: 4.36 4.21 4.13 5/264 347512
/proc/meminfo: memFree=124150140/131524600 swapFree=131071216/131071996
[pid=347189] ppid=347186 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/347189/stat : 347189 (Hybrid-CASHWMax) S 347186 347189 342211 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 63148196 10170368 669 134679101440 93981521088512 93981522167832 140730225313952 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93981524266288 93981524313476 93981553922048 140730225320910 140730225321069 140730225321069 140730225328084 0
/proc/347189/statm: 2483 669 591 264 0 134 0
[pid=347192] ppid=347189 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347192/stat : 347192 (timeout) S 347189 347192 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63148196 8867840 254 134679101440 93879713853440 93879713888456 140723086644096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93879715985872 93879715988004 93879740301312 140723086652414 140723086652573 140723086652573 140723086659559 0
/proc/347192/statm: 2165 254 230 9 0 87 0
[pid=347193] ppid=347192 vsize=398568 memory=338328 CPUtime=879.73 cores=5,7
/proc/347193/stat : 347193 (CASHWMaxSAT-Dis) R 347192 347192 342211 0 -1 4194304 75164 0 0 0 87959 14 0 0 20 0 1 0 63148196 408133632 84582 134679101440 4194304 15356333 140733831514000 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40919040 140733831521283 140733831521429 140733831521429 140733831528415 0
/proc/347193/statm: 99642 84582 2762 2726 0 96390 0
Current children cumulated CPU time: 879.73 s
Current children cumulated vsize: 417160 KiB
Current children cumulated memory: 342020 KiB

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

# cumulated CPU time of all completed processes:  user=898.798 s, system=0.158553 s

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

[startup+883.2 s]
/proc/loadavg: 4.36 4.21 4.13 5/264 347514
/proc/meminfo: memFree=124148296/131524600 swapFree=131071216/131071996
[pid=347189] ppid=347186 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/347189/stat : 347189 (Hybrid-CASHWMax) S 347186 347189 342211 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 63148196 10170368 669 134679101440 93981521088512 93981522167832 140730225313952 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93981524266288 93981524313476 93981553922048 140730225320910 140730225321069 140730225321069 140730225328084 0
/proc/347189/statm: 2483 669 591 264 0 134 0
[pid=347192] ppid=347189 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347192/stat : 347192 (timeout) S 347189 347192 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63148196 8867840 254 134679101440 93879713853440 93879713888456 140723086644096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93879715985872 93879715988004 93879740301312 140723086652414 140723086652573 140723086652573 140723086659559 0
/proc/347192/statm: 2165 254 230 9 0 87 0
[pid=347193] ppid=347192 vsize=398568 memory=338328 CPUtime=880.62 cores=5,7
/proc/347193/stat : 347193 (CASHWMaxSAT-Dis) R 347192 347192 342211 0 -1 4194304 75164 0 0 0 88048 14 0 0 20 0 1 0 63148196 408133632 84582 134679101440 4194304 15356333 140733831514000 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40919040 140733831521283 140733831521429 140733831521429 140733831528415 0
/proc/347193/statm: 99642 84582 2762 2726 0 96390 0
Current children cumulated CPU time: 880.62 s
Current children cumulated vsize: 417160 KiB
Current children cumulated memory: 342020 KiB

[startup+889.6 s]
/proc/loadavg: 4.33 4.20 4.12 5/264 347514
/proc/meminfo: memFree=124142364/131524600 swapFree=131071216/131071996
[pid=347189] ppid=347186 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/347189/stat : 347189 (Hybrid-CASHWMax) S 347186 347189 342211 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 63148196 10170368 669 134679101440 93981521088512 93981522167832 140730225313952 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93981524266288 93981524313476 93981553922048 140730225320910 140730225321069 140730225321069 140730225328084 0
/proc/347189/statm: 2483 669 591 264 0 134 0
[pid=347192] ppid=347189 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347192/stat : 347192 (timeout) S 347189 347192 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63148196 8867840 254 134679101440 93879713853440 93879713888456 140723086644096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93879715985872 93879715988004 93879740301312 140723086652414 140723086652573 140723086652573 140723086659559 0
/proc/347192/statm: 2165 254 230 9 0 87 0
[pid=347193] ppid=347192 vsize=398568 memory=338328 CPUtime=887 cores=5,7
/proc/347193/stat : 347193 (CASHWMaxSAT-Dis) R 347192 347192 342211 0 -1 4194304 75166 0 0 0 88686 14 0 0 20 0 1 0 63148196 408133632 84582 134679101440 4194304 15356333 140733831514000 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40919040 140733831521283 140733831521429 140733831521429 140733831528415 0
/proc/347193/statm: 99642 84582 2762 2726 0 96390 0
Current children cumulated CPU time: 887 s
Current children cumulated vsize: 417160 KiB
Current children cumulated memory: 342020 KiB

[startup+896 s]*
/proc/loadavg: 4.28 4.20 4.12 5/264 347515
/proc/meminfo: memFree=124141072/131524600 swapFree=131071216/131071996
[pid=347189] ppid=347186 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/347189/stat : 347189 (Hybrid-CASHWMax) S 347186 347189 342211 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 63148196 10170368 669 134679101440 93981521088512 93981522167832 140730225313952 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93981524266288 93981524313476 93981553922048 140730225320910 140730225321069 140730225321069 140730225328084 0
/proc/347189/statm: 2483 669 591 264 0 134 0
[pid=347192] ppid=347189 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347192/stat : 347192 (timeout) S 347189 347192 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63148196 8867840 254 134679101440 93879713853440 93879713888456 140723086644096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93879715985872 93879715988004 93879740301312 140723086652414 140723086652573 140723086652573 140723086659559 0
/proc/347192/statm: 2165 254 230 9 0 87 0
[pid=347193] ppid=347192 vsize=401144 memory=338568 CPUtime=893.39 cores=5,7
/proc/347193/stat : 347193 (CASHWMaxSAT-Dis) R 347192 347192 342211 0 -1 4194304 75241 0 0 0 89325 14 0 0 20 0 1 0 63148196 410771456 84642 134679101440 4194304 15356333 140733831514000 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40919040 140733831521283 140733831521429 140733831521429 140733831528415 0
/proc/347193/statm: 100286 84642 2762 2726 0 97034 0
Current children cumulated CPU time: 893.39 s
Current children cumulated vsize: 419736 KiB
Current children cumulated memory: 342260 KiB

[startup+899.2 s]
/proc/loadavg: 4.28 4.20 4.12 5/264 347515
/proc/meminfo: memFree=124140988/131524600 swapFree=131071216/131071996
[pid=347189] ppid=347186 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/347189/stat : 347189 (Hybrid-CASHWMax) S 347186 347189 342211 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 63148196 10170368 669 134679101440 93981521088512 93981522167832 140730225313952 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93981524266288 93981524313476 93981553922048 140730225320910 140730225321069 140730225321069 140730225328084 0
/proc/347189/statm: 2483 669 591 264 0 134 0
[pid=347192] ppid=347189 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347192/stat : 347192 (timeout) S 347189 347192 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63148196 8867840 254 134679101440 93879713853440 93879713888456 140723086644096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93879715985872 93879715988004 93879740301312 140723086652414 140723086652573 140723086652573 140723086659559 0
/proc/347192/statm: 2165 254 230 9 0 87 0
[pid=347193] ppid=347192 vsize=401144 memory=338568 CPUtime=896.57 cores=5,7
/proc/347193/stat : 347193 (CASHWMaxSAT-Dis) R 347192 347192 342211 0 -1 4194304 75241 0 0 0 89643 14 0 0 20 0 1 0 63148196 410771456 84642 134679101440 4194304 15356333 140733831514000 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40919040 140733831521283 140733831521429 140733831521429 140733831528415 0
/proc/347193/statm: 100286 84642 2762 2726 0 97034 0
Current children cumulated CPU time: 896.57 s
Current children cumulated vsize: 419736 KiB
Current children cumulated memory: 342260 KiB

[startup+900.8 s]
/proc/loadavg: 4.26 4.19 4.12 5/264 347515
/proc/meminfo: memFree=124191560/131524600 swapFree=131071216/131071996
[pid=347189] ppid=347186 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/347189/stat : 347189 (Hybrid-CASHWMax) S 347186 347189 342211 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 63148196 10170368 669 134679101440 93981521088512 93981522167832 140730225313952 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93981524266288 93981524313476 93981553922048 140730225320910 140730225321069 140730225321069 140730225328084 0
/proc/347189/statm: 2483 669 591 264 0 134 0
[pid=347192] ppid=347189 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347192/stat : 347192 (timeout) S 347189 347192 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63148196 8867840 254 134679101440 93879713853440 93879713888456 140723086644096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93879715985872 93879715988004 93879740301312 140723086652414 140723086652573 140723086652573 140723086659559 0
/proc/347192/statm: 2165 254 230 9 0 87 0
[pid=347193] ppid=347192 vsize=300588 memory=288332 CPUtime=898.17 cores=5,7
/proc/347193/stat : 347193 (CASHWMaxSAT-Dis) R 347192 347192 342211 0 -1 4194304 76317 0 0 0 89802 15 0 0 20 0 1 0 63148196 307802112 72083 134679101440 4194304 15356333 140733831514000 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40919040 140733831521283 140733831521429 140733831521429 140733831528415 0
/proc/347193/statm: 75147 72083 2826 2726 0 71895 0
Current children cumulated CPU time: 898.17 s
Current children cumulated vsize: 319180 KiB
Current children cumulated memory: 292024 KiB

[startup+901.2 s]
/proc/loadavg: 4.26 4.19 4.12 5/264 347515
/proc/meminfo: memFree=124191588/131524600 swapFree=131071216/131071996
[pid=347189] ppid=347186 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/347189/stat : 347189 (Hybrid-CASHWMax) S 347186 347189 342211 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 63148196 10170368 669 134679101440 93981521088512 93981522167832 140730225313952 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93981524266288 93981524313476 93981553922048 140730225320910 140730225321069 140730225321069 140730225328084 0
/proc/347189/statm: 2483 669 591 264 0 134 0
[pid=347192] ppid=347189 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347192/stat : 347192 (timeout) S 347189 347192 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63148196 8867840 254 134679101440 93879713853440 93879713888456 140723086644096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93879715985872 93879715988004 93879740301312 140723086652414 140723086652573 140723086652573 140723086659559 0
/proc/347192/statm: 2165 254 230 9 0 87 0
[pid=347193] ppid=347192 vsize=300588 memory=288332 CPUtime=898.57 cores=5,7
/proc/347193/stat : 347193 (CASHWMaxSAT-Dis) R 347192 347192 342211 0 -1 4194304 76317 0 0 0 89842 15 0 0 20 0 1 0 63148196 307802112 72083 134679101440 4194304 15356333 140733831514000 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40919040 140733831521283 140733831521429 140733831521429 140733831528415 0
/proc/347193/statm: 75147 72083 2826 2726 0 71895 0
Current children cumulated CPU time: 898.57 s
Current children cumulated vsize: 319180 KiB
Current children cumulated memory: 292024 KiB

[startup+901.4 s]
/proc/loadavg: 4.26 4.19 4.12 5/264 347515
/proc/meminfo: memFree=124191588/131524600 swapFree=131071216/131071996
[pid=347189] ppid=347186 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/347189/stat : 347189 (Hybrid-CASHWMax) S 347186 347189 342211 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 63148196 10170368 669 134679101440 93981521088512 93981522167832 140730225313952 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93981524266288 93981524313476 93981553922048 140730225320910 140730225321069 140730225321069 140730225328084 0
/proc/347189/statm: 2483 669 591 264 0 134 0
[pid=347192] ppid=347189 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347192/stat : 347192 (timeout) S 347189 347192 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63148196 8867840 254 134679101440 93879713853440 93879713888456 140723086644096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93879715985872 93879715988004 93879740301312 140723086652414 140723086652573 140723086652573 140723086659559 0
/proc/347192/statm: 2165 254 230 9 0 87 0
[pid=347193] ppid=347192 vsize=300588 memory=288332 CPUtime=898.77 cores=5,7
/proc/347193/stat : 347193 (CASHWMaxSAT-Dis) R 347192 347192 342211 0 -1 4194304 76317 0 0 0 89862 15 0 0 20 0 1 0 63148196 307802112 72083 134679101440 4194304 15356333 140733831514000 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40919040 140733831521283 140733831521429 140733831521429 140733831528415 0
/proc/347193/statm: 75147 72083 2826 2726 0 71895 0
Current children cumulated CPU time: 898.77 s
Current children cumulated vsize: 319180 KiB
Current children cumulated memory: 292024 KiB

[startup+901.5 s]
/proc/loadavg: 4.26 4.19 4.12 5/264 347515
/proc/meminfo: memFree=124191588/131524600 swapFree=131071216/131071996
[pid=347189] ppid=347186 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/347189/stat : 347189 (Hybrid-CASHWMax) S 347186 347189 342211 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 63148196 10170368 669 134679101440 93981521088512 93981522167832 140730225313952 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93981524266288 93981524313476 93981553922048 140730225320910 140730225321069 140730225321069 140730225328084 0
/proc/347189/statm: 2483 669 591 264 0 134 0
[pid=347192] ppid=347189 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347192/stat : 347192 (timeout) S 347189 347192 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63148196 8867840 254 134679101440 93879713853440 93879713888456 140723086644096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93879715985872 93879715988004 93879740301312 140723086652414 140723086652573 140723086652573 140723086659559 0
/proc/347192/statm: 2165 254 230 9 0 87 0
[pid=347193] ppid=347192 vsize=300588 memory=288332 CPUtime=898.87 cores=5,7
/proc/347193/stat : 347193 (CASHWMaxSAT-Dis) R 347192 347192 342211 0 -1 4194304 76317 0 0 0 89872 15 0 0 20 0 1 0 63148196 307802112 72083 134679101440 4194304 15356333 140733831514000 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 40919040 140733831521283 140733831521429 140733831521429 140733831528415 0
/proc/347193/statm: 75147 72083 2826 2726 0 71895 0
Current children cumulated CPU time: 898.87 s
Current children cumulated vsize: 319180 KiB
Current children cumulated memory: 292024 KiB

Child status: 0

Real time (s): 901.576
CPU time (s): 898.957
CPU user time (s): 898.798
CPU system time (s): 0.158553
CPU usage (%): 99.7094
Max. virtual memory (cumulated for all children) (KiB): 423564
Max. memory (cumulated for all children) (KiB): 346480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 898.798
system time used= 0.158553
maximum resident set size= 343048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77007
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38
involuntary context switches= 633


# summary of solver processes directly reported to runsolver:
#   pid: 347189
#   total CPU time (s): 898.957
#   total CPU user time (s): 898.798
#   total CPU system time (s): 0.158553

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.68495 second user time and 5.03037 second system time

The end