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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Linux 4.18.0-301.1.el8.x
solver pid=347246, runsolver pid=347243
Current StackSize limit: 8192 KiB


[startup+0.100097 s]*
/proc/loadavg: 4.18 4.10 4.09 5/269 347250
/proc/meminfo: memFree=126312968/131524600 swapFree=131071216/131071996
[pid=347246] ppid=347243 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347246/stat : 347246 (Hybrid-CASHWMax) S 347243 347246 342211 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 63150643 10170368 669 134679101440 94879351861248 94879352940568 140722950433120 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94879355039024 94879355086212 94879382159360 140722950439886 140722950440045 140722950440045 140722950447060 0
/proc/347246/statm: 2483 669 590 264 0 134 0
[pid=347249] ppid=347246 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/347249/stat : 347249 (timeout) S 347246 347249 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63150643 8867840 260 134679101440 94608960651264 94608960686280 140736646289936 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94608962783696 94608962785828 94608978993152 140736646296574 140736646296733 140736646296733 140736646303719 0
/proc/347249/statm: 2165 260 236 9 0 87 0
[pid=347250] ppid=347249 vsize=39752 memory=24276 CPUtime=0.09 cores=0,2
/proc/347250/stat : 347250 (CASHWMaxSAT-Dis) R 347249 347249 342211 0 -1 4194304 6393 0 0 0 9 0 0 0 20 0 1 0 63150643 40706048 6069 134679101440 4194304 15356333 140729953765840 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 45559808 140729953772547 140729953772693 140729953772693 140729953779679 0
/proc/347250/statm: 9938 6069 954 2726 0 6686 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58344 KiB
Current children cumulated memory: 27992 KiB

[startup+0.206095 s]*
/proc/loadavg: 4.18 4.10 4.09 5/269 347250
/proc/meminfo: memFree=126301124/131524600 swapFree=131071216/131071996
[pid=347246] ppid=347243 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347246/stat : 347246 (Hybrid-CASHWMax) S 347243 347246 342211 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 63150643 10170368 669 134679101440 94879351861248 94879352940568 140722950433120 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94879355039024 94879355086212 94879382159360 140722950439886 140722950440045 140722950440045 140722950447060 0
/proc/347246/statm: 2483 669 590 264 0 134 0
[pid=347249] ppid=347246 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/347249/stat : 347249 (timeout) S 347246 347249 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63150643 8867840 260 134679101440 94608960651264 94608960686280 140736646289936 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94608962783696 94608962785828 94608978993152 140736646296574 140736646296733 140736646296733 140736646303719 0
/proc/347249/statm: 2165 260 236 9 0 87 0
[pid=347250] ppid=347249 vsize=52740 memory=37672 CPUtime=0.2 cores=0,2
/proc/347250/stat : 347250 (CASHWMaxSAT-Dis) R 347249 347249 342211 0 -1 4194304 10268 0 0 0 19 1 0 0 20 0 1 0 63150643 54005760 9418 134679101440 4194304 15356333 140729953765840 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 45559808 140729953772547 140729953772693 140729953772693 140729953779679 0
/proc/347250/statm: 13185 9418 1034 2726 0 9933 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 71332 KiB
Current children cumulated memory: 41388 KiB

[startup+0.306126 s]*
/proc/loadavg: 4.18 4.10 4.09 5/269 347250
/proc/meminfo: memFree=126254684/131524600 swapFree=131071216/131071996
[pid=347246] ppid=347243 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347246/stat : 347246 (Hybrid-CASHWMax) S 347243 347246 342211 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 63150643 10170368 669 134679101440 94879351861248 94879352940568 140722950433120 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94879355039024 94879355086212 94879382159360 140722950439886 140722950440045 140722950440045 140722950447060 0
/proc/347246/statm: 2483 669 590 264 0 134 0
[pid=347249] ppid=347246 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/347249/stat : 347249 (timeout) S 347246 347249 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63150643 8867840 260 134679101440 94608960651264 94608960686280 140736646289936 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94608962783696 94608962785828 94608978993152 140736646296574 140736646296733 140736646296733 140736646303719 0
/proc/347249/statm: 2165 260 236 9 0 87 0
[pid=347250] ppid=347249 vsize=101604 memory=90832 CPUtime=0.3 cores=0,2
/proc/347250/stat : 347250 (CASHWMaxSAT-Dis) R 347249 347249 342211 0 -1 4194304 22165 0 0 0 28 2 0 0 20 0 1 0 63150643 104042496 22708 134679101440 4194304 15356333 140729953765840 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 45559808 140729953772547 140729953772693 140729953772693 140729953779679 0
/proc/347250/statm: 25401 22708 2538 2726 0 22149 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 120196 KiB
Current children cumulated memory: 94548 KiB

[startup+0.700304 s]
/proc/loadavg: 4.18 4.10 4.09 5/269 347250
/proc/meminfo: memFree=126236700/131524600 swapFree=131071216/131071996
[pid=347246] ppid=347243 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347246/stat : 347246 (Hybrid-CASHWMax) S 347243 347246 342211 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 63150643 10170368 669 134679101440 94879351861248 94879352940568 140722950433120 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94879355039024 94879355086212 94879382159360 140722950439886 140722950440045 140722950440045 140722950447060 0
/proc/347246/statm: 2483 669 590 264 0 134 0
[pid=347249] ppid=347246 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/347249/stat : 347249 (timeout) S 347246 347249 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63150643 8867840 260 134679101440 94608960651264 94608960686280 140736646289936 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94608962783696 94608962785828 94608978993152 140736646296574 140736646296733 140736646296733 140736646303719 0
/proc/347249/statm: 2165 260 236 9 0 87 0
[pid=347250] ppid=347249 vsize=141416 memory=129936 CPUtime=0.69 cores=0,2
/proc/347250/stat : 347250 (CASHWMaxSAT-Dis) R 347249 347249 342211 0 -1 4194304 32046 0 0 0 65 4 0 0 20 0 1 0 63150643 144809984 32484 134679101440 4194304 15356333 140729953765840 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 45559808 140729953772547 140729953772693 140729953772693 140729953779679 0
/proc/347250/statm: 35354 32484 2714 2726 0 32102 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 160008 KiB
Current children cumulated memory: 133652 KiB

[startup+1.50028 s]
/proc/loadavg: 4.18 4.10 4.09 5/269 347250
/proc/meminfo: memFree=126212608/131524600 swapFree=131071216/131071996
[pid=347246] ppid=347243 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347246/stat : 347246 (Hybrid-CASHWMax) S 347243 347246 342211 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 63150643 10170368 669 134679101440 94879351861248 94879352940568 140722950433120 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94879355039024 94879355086212 94879382159360 140722950439886 140722950440045 140722950440045 140722950447060 0
/proc/347246/statm: 2483 669 590 264 0 134 0
[pid=347249] ppid=347246 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/347249/stat : 347249 (timeout) S 347246 347249 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63150643 8867840 260 134679101440 94608960651264 94608960686280 140736646289936 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94608962783696 94608962785828 94608978993152 140736646296574 140736646296733 140736646296733 140736646303719 0
/proc/347249/statm: 2165 260 236 9 0 87 0
[pid=347250] ppid=347249 vsize=142644 memory=131316 CPUtime=1.48 cores=0,2
/proc/347250/stat : 347250 (CASHWMaxSAT-Dis) R 347249 347249 342211 0 -1 4194304 32368 0 0 0 144 4 0 0 20 0 1 0 63150643 146067456 32829 134679101440 4194304 15356333 140729953765840 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 45559808 140729953772547 140729953772693 140729953772693 140729953779679 0
/proc/347250/statm: 35661 32829 2730 2726 0 32409 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 161236 KiB
Current children cumulated memory: 135032 KiB

[startup+3.10579 s]
/proc/loadavg: 4.18 4.10 4.09 5/269 347250
/proc/meminfo: memFree=126203284/131524600 swapFree=131071216/131071996
[pid=347246] ppid=347243 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347246/stat : 347246 (Hybrid-CASHWMax) S 347243 347246 342211 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 63150643 10170368 669 134679101440 94879351861248 94879352940568 140722950433120 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94879355039024 94879355086212 94879382159360 140722950439886 140722950440045 140722950440045 140722950447060 0
/proc/347246/statm: 2483 669 590 264 0 134 0
[pid=347249] ppid=347246 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/347249/stat : 347249 (timeout) S 347246 347249 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63150643 8867840 260 134679101440 94608960651264 94608960686280 140736646289936 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94608962783696 94608962785828 94608978993152 140736646296574 140736646296733 140736646296733 140736646303719 0
/proc/347249/statm: 2165 260 236 9 0 87 0
[pid=347250] ppid=347249 vsize=143200 memory=131580 CPUtime=3.08 cores=0,2
/proc/347250/stat : 347250 (CASHWMaxSAT-Dis) R 347249 347249 342211 0 -1 4194304 32436 0 0 0 304 4 0 0 20 0 1 0 63150643 146636800 32895 134679101440 4194304 15356333 140729953765840 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 45559808 140729953772547 140729953772693 140729953772693 140729953779679 0
/proc/347250/statm: 35800 32895 2730 2726 0 32548 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 161792 KiB
Current children cumulated memory: 135296 KiB

[startup+6.30028 s]
/proc/loadavg: 4.16 4.10 4.09 5/269 347250
/proc/meminfo: memFree=126193316/131524600 swapFree=131071216/131071996
[pid=347246] ppid=347243 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347246/stat : 347246 (Hybrid-CASHWMax) S 347243 347246 342211 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 63150643 10170368 669 134679101440 94879351861248 94879352940568 140722950433120 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94879355039024 94879355086212 94879382159360 140722950439886 140722950440045 140722950440045 140722950447060 0
/proc/347246/statm: 2483 669 590 264 0 134 0
[pid=347249] ppid=347246 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/347249/stat : 347249 (timeout) S 347246 347249 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63150643 8867840 260 134679101440 94608960651264 94608960686280 140736646289936 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94608962783696 94608962785828 94608978993152 140736646296574 140736646296733 140736646296733 140736646303719 0
/proc/347249/statm: 2165 260 236 9 0 87 0
[pid=347250] ppid=347249 vsize=156504 memory=141204 CPUtime=6.26 cores=0,2
/proc/347250/stat : 347250 (CASHWMaxSAT-Dis) R 347249 347249 342211 0 -1 4194304 34857 0 0 0 622 4 0 0 20 0 1 0 63150643 160260096 35301 134679101440 4194304 15356333 140729953765840 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 45559808 140729953772547 140729953772693 140729953772693 140729953779679 0
/proc/347250/statm: 39126 35301 2762 2726 0 35874 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 175096 KiB
Current children cumulated memory: 144920 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.10 4.09 5/269 347252
/proc/meminfo: memFree=126184108/131524600 swapFree=131071216/131071996
[pid=347246] ppid=347243 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347246/stat : 347246 (Hybrid-CASHWMax) S 347243 347246 342211 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 63150643 10170368 669 134679101440 94879351861248 94879352940568 140722950433120 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94879355039024 94879355086212 94879382159360 140722950439886 140722950440045 140722950440045 140722950447060 0
/proc/347246/statm: 2483 669 590 264 0 134 0
[pid=347249] ppid=347246 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/347249/stat : 347249 (timeout) S 347246 347249 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63150643 8867840 260 134679101440 94608960651264 94608960686280 140736646289936 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94608962783696 94608962785828 94608978993152 140736646296574 140736646296733 140736646296733 140736646303719 0
/proc/347249/statm: 2165 260 236 9 0 87 0
[pid=347250] ppid=347249 vsize=159676 memory=141732 CPUtime=12.64 cores=0,2
/proc/347250/stat : 347250 (CASHWMaxSAT-Dis) R 347249 347249 342211 0 -1 4194304 34963 0 0 0 1260 4 0 0 20 0 1 0 63150643 163508224 35433 134679101440 4194304 15356333 140729953765840 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 45559808 140729953772547 140729953772693 140729953772693 140729953779679 0
/proc/347250/statm: 39919 35433 2762 2726 0 36667 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 178268 KiB
Current children cumulated memory: 145448 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.09 4.09 5/269 347253
/proc/meminfo: memFree=126114488/131524600 swapFree=131071216/131071996
[pid=347246] ppid=347243 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347246/stat : 347246 (Hybrid-CASHWMax) S 347243 347246 342211 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 63150643 10170368 669 134679101440 94879351861248 94879352940568 140722950433120 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94879355039024 94879355086212 94879382159360 140722950439886 140722950440045 140722950440045 140722950447060 0
/proc/347246/statm: 2483 669 590 264 0 134 0
[pid=347249] ppid=347246 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/347249/stat : 347249 (timeout) S 347246 347249 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63150643 8867840 260 134679101440 94608960651264 94608960686280 140736646289936 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94608962783696 94608962785828 94608978993152 140736646296574 140736646296733 140736646296733 140736646303719 0
/proc/347249/statm: 2165 260 236 9 0 87 0
[pid=347250] ppid=347249 vsize=205836 memory=179936 CPUtime=25.4 cores=0,2
/proc/347250/stat : 347250 (CASHWMaxSAT-Dis) R 347249 347249 342211 0 -1 4194304 43996 0 0 0 2534 6 0 0 20 0 1 0 63150643 210776064 44984 134679101440 4194304 15356333 140729953765840 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 45559808 140729953772547 140729953772693 140729953772693 140729953779679 0
/proc/347250/statm: 51459 44984 2762 2726 0 48207 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 224428 KiB
Current children cumulated memory: 183652 KiB

[startup+51.1059 s]
/proc/loadavg: 4.14 4.10 4.09 5/269 347258
/proc/meminfo: memFree=126071136/131524600 swapFree=131071216/131071996
[pid=347246] ppid=347243 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347246/stat : 347246 (Hybrid-CASHWMax) S 347243 347246 342211 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 63150643 10170368 669 134679101440 94879351861248 94879352940568 140722950433120 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94879355039024 94879355086212 94879382159360 140722950439886 140722950440045 140722950440045 140722950447060 0
/proc/347246/statm: 2483 669 590 264 0 134 0
[pid=347249] ppid=347246 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/347249/stat : 347249 (timeout) S 347246 347249 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63150643 8867840 260 134679101440 94608960651264 94608960686280 140736646289936 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94608962783696 94608962785828 94608978993152 140736646296574 140736646296733 140736646296733 140736646303719 0
/proc/347249/statm: 2165 260 236 9 0 87 0
[pid=347250] ppid=347249 vsize=264392 memory=213712 CPUtime=50.91 cores=0,2
/proc/347250/stat : 347250 (CASHWMaxSAT-Dis) R 347249 347249 342211 0 -1 4194304 52428 0 0 0 5084 7 0 0 20 0 1 0 63150643 270737408 53428 134679101440 4194304 15356333 140729953765840 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 45559808 140729953772547 140729953772693 140729953772693 140729953779679 0
/proc/347250/statm: 66098 53428 2762 2726 0 62846 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 282984 KiB
Current children cumulated memory: 217428 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/270 347321
/proc/meminfo: memFree=125444044/131524600 swapFree=131071216/131071996
[pid=347246] ppid=347243 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347246/stat : 347246 (Hybrid-CASHWMax) S 347243 347246 342211 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 63150643 10170368 669 134679101440 94879351861248 94879352940568 140722950433120 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94879355039024 94879355086212 94879382159360 140722950439886 140722950440045 140722950440045 140722950447060 0

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

/proc/347250/statm: 100020 95109 2762 2726 0 96768 0
Current children cumulated CPU time: 759.58 s
Current children cumulated vsize: 418672 KiB
Current children cumulated memory: 384152 KiB

[startup+822.3 s]
/proc/loadavg: 4.52 4.21 4.13 5/266 347507
/proc/meminfo: memFree=124561028/131524600 swapFree=131071216/131071996
[pid=347246] ppid=347243 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347246/stat : 347246 (Hybrid-CASHWMax) S 347243 347246 342211 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 63150643 10170368 669 134679101440 94879351861248 94879352940568 140722950433120 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94879355039024 94879355086212 94879382159360 140722950439886 140722950440045 140722950440045 140722950447060 0
/proc/347246/statm: 2483 669 590 264 0 134 0
[pid=347249] ppid=347246 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/347249/stat : 347249 (timeout) S 347246 347249 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63150643 8867840 260 134679101440 94608960651264 94608960686280 140736646289936 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94608962783696 94608962785828 94608978993152 140736646296574 140736646296733 140736646296733 140736646303719 0
/proc/347249/statm: 2165 260 236 9 0 87 0
[pid=347250] ppid=347249 vsize=401104 memory=381832 CPUtime=819.36 cores=0,2
/proc/347250/stat : 347250 (CASHWMaxSAT-Dis) R 347249 347249 342211 0 -1 4194304 79587 0 0 0 81923 13 0 0 20 0 1 0 63150643 410730496 95458 134679101440 4194304 15356333 140729953765840 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 45559808 140729953772547 140729953772693 140729953772693 140729953779679 0
/proc/347250/statm: 100276 95458 2762 2726 0 97024 0
Current children cumulated CPU time: 819.36 s
Current children cumulated vsize: 419696 KiB
Current children cumulated memory: 385548 KiB

[startup+882.3 s]
/proc/loadavg: 4.24 4.19 4.12 5/265 347569
/proc/meminfo: memFree=123562592/131524600 swapFree=131071216/131071996
[pid=347246] ppid=347243 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347246/stat : 347246 (Hybrid-CASHWMax) S 347243 347246 342211 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 63150643 10170368 669 134679101440 94879351861248 94879352940568 140722950433120 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94879355039024 94879355086212 94879382159360 140722950439886 140722950440045 140722950440045 140722950447060 0
/proc/347246/statm: 2483 669 590 264 0 134 0
[pid=347249] ppid=347246 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/347249/stat : 347249 (timeout) S 347246 347249 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63150643 8867840 260 134679101440 94608960651264 94608960686280 140736646289936 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94608962783696 94608962785828 94608978993152 140736646296574 140736646296733 140736646296733 140736646303719 0
/proc/347249/statm: 2165 260 236 9 0 87 0
[pid=347250] ppid=347249 vsize=417796 memory=388112 CPUtime=879.15 cores=0,2
/proc/347250/stat : 347250 (CASHWMaxSAT-Dis) R 347249 347249 342211 0 -1 4194304 81300 0 0 0 87902 13 0 0 20 0 1 0 63150643 427823104 97028 134679101440 4194304 15356333 140729953765840 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 45559808 140729953772547 140729953772693 140729953772693 140729953779679 0
/proc/347250/statm: 104449 97028 2762 2726 0 101197 0
Current children cumulated CPU time: 879.15 s
Current children cumulated vsize: 436388 KiB
Current children cumulated memory: 391828 KiB

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

# cumulated CPU time of all completed processes:  user=896.714 s, system=0.154947 s

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

[startup+883.2 s]
/proc/loadavg: 4.24 4.19 4.12 5/265 347569
/proc/meminfo: memFree=123560416/131524600 swapFree=131071216/131071996
[pid=347246] ppid=347243 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347246/stat : 347246 (Hybrid-CASHWMax) S 347243 347246 342211 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 63150643 10170368 669 134679101440 94879351861248 94879352940568 140722950433120 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94879355039024 94879355086212 94879382159360 140722950439886 140722950440045 140722950440045 140722950447060 0
/proc/347246/statm: 2483 669 590 264 0 134 0
[pid=347249] ppid=347246 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/347249/stat : 347249 (timeout) S 347246 347249 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63150643 8867840 260 134679101440 94608960651264 94608960686280 140736646289936 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94608962783696 94608962785828 94608978993152 140736646296574 140736646296733 140736646296733 140736646303719 0
/proc/347249/statm: 2165 260 236 9 0 87 0
[pid=347250] ppid=347249 vsize=417796 memory=388112 CPUtime=880.05 cores=0,2
/proc/347250/stat : 347250 (CASHWMaxSAT-Dis) R 347249 347249 342211 0 -1 4194304 81300 0 0 0 87992 13 0 0 20 0 1 0 63150643 427823104 97028 134679101440 4194304 15356333 140729953765840 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 45559808 140729953772547 140729953772693 140729953772693 140729953779679 0
/proc/347250/statm: 104449 97028 2762 2726 0 101197 0
Current children cumulated CPU time: 880.05 s
Current children cumulated vsize: 436388 KiB
Current children cumulated memory: 391828 KiB

[startup+889.6 s]
/proc/loadavg: 4.22 4.18 4.12 5/265 347571
/proc/meminfo: memFree=123530544/131524600 swapFree=131071216/131071996
[pid=347246] ppid=347243 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347246/stat : 347246 (Hybrid-CASHWMax) S 347243 347246 342211 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 63150643 10170368 669 134679101440 94879351861248 94879352940568 140722950433120 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94879355039024 94879355086212 94879382159360 140722950439886 140722950440045 140722950440045 140722950447060 0
/proc/347246/statm: 2483 669 590 264 0 134 0
[pid=347249] ppid=347246 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/347249/stat : 347249 (timeout) S 347246 347249 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63150643 8867840 260 134679101440 94608960651264 94608960686280 140736646289936 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94608962783696 94608962785828 94608978993152 140736646296574 140736646296733 140736646296733 140736646303719 0
/proc/347249/statm: 2165 260 236 9 0 87 0
[pid=347250] ppid=347249 vsize=448676 memory=417256 CPUtime=886.43 cores=0,2
/proc/347250/stat : 347250 (CASHWMaxSAT-Dis) R 347249 347249 342211 0 -1 4194304 88636 0 0 0 88629 14 0 0 20 0 1 0 63150643 459444224 104314 134679101440 4194304 15356333 140729953765840 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 45559808 140729953772547 140729953772693 140729953772693 140729953779679 0
/proc/347250/statm: 112169 104314 2762 2726 0 108917 0
Current children cumulated CPU time: 886.43 s
Current children cumulated vsize: 467268 KiB
Current children cumulated memory: 420972 KiB

[startup+896 s]*
/proc/loadavg: 4.26 4.20 4.12 5/265 347571
/proc/meminfo: memFree=123529864/131524600 swapFree=131071216/131071996
[pid=347246] ppid=347243 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347246/stat : 347246 (Hybrid-CASHWMax) S 347243 347246 342211 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 63150643 10170368 669 134679101440 94879351861248 94879352940568 140722950433120 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94879355039024 94879355086212 94879382159360 140722950439886 140722950440045 140722950440045 140722950447060 0
/proc/347246/statm: 2483 669 590 264 0 134 0
[pid=347249] ppid=347246 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/347249/stat : 347249 (timeout) S 347246 347249 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63150643 8867840 260 134679101440 94608960651264 94608960686280 140736646289936 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94608962783696 94608962785828 94608978993152 140736646296574 140736646296733 140736646296733 140736646303719 0
/proc/347249/statm: 2165 260 236 9 0 87 0
[pid=347250] ppid=347249 vsize=448676 memory=417256 CPUtime=892.81 cores=0,2
/proc/347250/stat : 347250 (CASHWMaxSAT-Dis) R 347249 347249 342211 0 -1 4194304 88636 0 0 0 89267 14 0 0 20 0 1 0 63150643 459444224 104314 134679101440 4194304 15356333 140729953765840 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 45559808 140729953772547 140729953772693 140729953772693 140729953779679 0
/proc/347250/statm: 112169 104314 2762 2726 0 108917 0
Current children cumulated CPU time: 892.81 s
Current children cumulated vsize: 467268 KiB
Current children cumulated memory: 420972 KiB

[startup+897.6 s]
/proc/loadavg: 4.26 4.20 4.12 5/265 347571
/proc/meminfo: memFree=123522224/131524600 swapFree=131071216/131071996
[pid=347246] ppid=347243 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347246/stat : 347246 (Hybrid-CASHWMax) S 347243 347246 342211 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 63150643 10170368 669 134679101440 94879351861248 94879352940568 140722950433120 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94879355039024 94879355086212 94879382159360 140722950439886 140722950440045 140722950440045 140722950447060 0
/proc/347246/statm: 2483 669 590 264 0 134 0
[pid=347249] ppid=347246 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/347249/stat : 347249 (timeout) S 347246 347249 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63150643 8867840 260 134679101440 94608960651264 94608960686280 140736646289936 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94608962783696 94608962785828 94608978993152 140736646296574 140736646296733 140736646296733 140736646303719 0
/proc/347249/statm: 2165 260 236 9 0 87 0
[pid=347250] ppid=347249 vsize=448676 memory=417256 CPUtime=894.4 cores=0,2
/proc/347250/stat : 347250 (CASHWMaxSAT-Dis) R 347249 347249 342211 0 -1 4194304 88636 0 0 0 89426 14 0 0 20 0 1 0 63150643 459444224 104314 134679101440 4194304 15356333 140729953765840 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 45559808 140729953772547 140729953772693 140729953772693 140729953779679 0
/proc/347250/statm: 112169 104314 2762 2726 0 108917 0
Current children cumulated CPU time: 894.4 s
Current children cumulated vsize: 467268 KiB
Current children cumulated memory: 420972 KiB

[startup+899.2 s]
/proc/loadavg: 4.26 4.20 4.12 5/265 347572
/proc/meminfo: memFree=123521968/131524600 swapFree=131071216/131071996
[pid=347246] ppid=347243 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347246/stat : 347246 (Hybrid-CASHWMax) S 347243 347246 342211 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 63150643 10170368 669 134679101440 94879351861248 94879352940568 140722950433120 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94879355039024 94879355086212 94879382159360 140722950439886 140722950440045 140722950440045 140722950447060 0
/proc/347246/statm: 2483 669 590 264 0 134 0
[pid=347249] ppid=347246 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/347249/stat : 347249 (timeout) S 347246 347249 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63150643 8867840 260 134679101440 94608960651264 94608960686280 140736646289936 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94608962783696 94608962785828 94608978993152 140736646296574 140736646296733 140736646296733 140736646303719 0
/proc/347249/statm: 2165 260 236 9 0 87 0
[pid=347250] ppid=347249 vsize=448676 memory=417424 CPUtime=895.99 cores=0,2
/proc/347250/stat : 347250 (CASHWMaxSAT-Dis) R 347249 347249 342211 0 -1 4194304 88666 0 0 0 89585 14 0 0 20 0 1 0 63150643 459444224 104356 134679101440 4194304 15356333 140729953765840 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 45559808 140729953772547 140729953772693 140729953772693 140729953779679 0
/proc/347250/statm: 112169 104356 2762 2726 0 108917 0
Current children cumulated CPU time: 895.99 s
Current children cumulated vsize: 467268 KiB
Current children cumulated memory: 421140 KiB

[startup+899.6 s]
/proc/loadavg: 4.26 4.20 4.12 5/265 347572
/proc/meminfo: memFree=123521968/131524600 swapFree=131071216/131071996
[pid=347246] ppid=347243 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347246/stat : 347246 (Hybrid-CASHWMax) S 347243 347246 342211 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 63150643 10170368 669 134679101440 94879351861248 94879352940568 140722950433120 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94879355039024 94879355086212 94879382159360 140722950439886 140722950440045 140722950440045 140722950447060 0
/proc/347246/statm: 2483 669 590 264 0 134 0
[pid=347249] ppid=347246 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/347249/stat : 347249 (timeout) S 347246 347249 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63150643 8867840 260 134679101440 94608960651264 94608960686280 140736646289936 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94608962783696 94608962785828 94608978993152 140736646296574 140736646296733 140736646296733 140736646303719 0
/proc/347249/statm: 2165 260 236 9 0 87 0
[pid=347250] ppid=347249 vsize=448676 memory=417424 CPUtime=896.39 cores=0,2
/proc/347250/stat : 347250 (CASHWMaxSAT-Dis) R 347249 347249 342211 0 -1 4194304 88704 0 0 0 89625 14 0 0 20 0 1 0 63150643 459444224 104356 134679101440 4194304 15356333 140729953765840 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 45559808 140729953772547 140729953772693 140729953772693 140729953779679 0
/proc/347250/statm: 112169 104356 2762 2726 0 108917 0
Current children cumulated CPU time: 896.39 s
Current children cumulated vsize: 467268 KiB
Current children cumulated memory: 421140 KiB

[startup+900 s]*
/proc/loadavg: 4.26 4.20 4.12 5/265 347572
/proc/meminfo: memFree=123521940/131524600 swapFree=131071216/131071996
[pid=347246] ppid=347243 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347246/stat : 347246 (Hybrid-CASHWMax) S 347243 347246 342211 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 63150643 10170368 669 134679101440 94879351861248 94879352940568 140722950433120 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94879355039024 94879355086212 94879382159360 140722950439886 140722950440045 140722950440045 140722950447060 0
/proc/347246/statm: 2483 669 590 264 0 134 0
[pid=347249] ppid=347246 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/347249/stat : 347249 (timeout) S 347246 347249 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63150643 8867840 260 134679101440 94608960651264 94608960686280 140736646289936 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94608962783696 94608962785828 94608978993152 140736646296574 140736646296733 140736646296733 140736646303719 0
/proc/347249/statm: 2165 260 236 9 0 87 0
[pid=347250] ppid=347249 vsize=448676 memory=417424 CPUtime=896.79 cores=0,2
/proc/347250/stat : 347250 (CASHWMaxSAT-Dis) R 347249 347249 342211 0 -1 4194304 88704 0 0 0 89665 14 0 0 20 0 1 0 63150643 459444224 104356 134679101440 4194304 15356333 140729953765840 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 45559808 140729953772547 140729953772693 140729953772693 140729953779679 0
/proc/347250/statm: 112169 104356 2762 2726 0 108917 0
Current children cumulated CPU time: 896.79 s
Current children cumulated vsize: 467268 KiB
Current children cumulated memory: 421140 KiB

Child status: 0

Real time (s): 900.065
CPU time (s): 896.869
CPU user time (s): 896.714
CPU system time (s): 0.154947
CPU usage (%): 99.6449
Max. virtual memory (cumulated for all children) (KiB): 467268
Max. memory (cumulated for all children) (KiB): 421140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 896.714
system time used= 0.154947
maximum resident set size= 417696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89395
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= 35
involuntary context switches= 6289


# summary of solver processes directly reported to runsolver:
#   pid: 347246
#   total CPU time (s): 896.869
#   total CPU user time (s): 896.714
#   total CPU system time (s): 0.154947

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.74285 second user time and 4.88777 second system time

The end