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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438006-1722964611/watcher-4438006-1722964611 -o /tmp/evaluation-result-4438006-1722964611/solver-4438006-1722964611 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722960830-342224 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4438006-1722964611.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
Current StackSize limit: 8192 KiB

solver pid=346257, runsolver pid=346254

[startup+0.100866 s]*
/proc/loadavg: 4.12 4.13 4.09 5/264 346261
/proc/meminfo: memFree=125935088/131524600 swapFree=131071216/131071996
[pid=346257] ppid=346254 vsize=9932 memory=2888 CPUtime=0 cores=5,7
/proc/346257/stat : 346257 (Hybrid-CASHWMax) S 346254 346257 342211 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 63058148 10170368 722 134679101440 93938775474176 93938776553496 140736489986832 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93938778651952 93938778699140 93938810580992 140736489989070 140736489989229 140736489989229 140736489996244 0
/proc/346257/statm: 2483 722 630 264 0 134 0
[pid=346260] ppid=346257 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/346260/stat : 346260 (timeout) S 346257 346260 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63058148 8867840 244 134679101440 94030687825920 94030687860936 140729004992000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94030689958352 94030689960484 94030699728896 140729004999678 140729004999837 140729004999837 140729005006823 0
/proc/346260/statm: 2165 244 220 9 0 87 0
[pid=346261] ppid=346260 vsize=30492 memory=14948 CPUtime=0.09 cores=5,7
/proc/346261/stat : 346261 (CASHWMaxSAT-Dis) R 346260 346260 342211 0 -1 4194304 2871 0 0 0 9 0 0 0 20 0 1 0 63058148 31223808 3737 134679101440 4194304 15356333 140720795329888 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26357760 140720795337731 140720795337877 140720795337877 140720795344863 0
/proc/346261/statm: 7623 3737 922 2726 0 4371 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49084 KiB
Current children cumulated memory: 18812 KiB

[startup+0.205723 s]*
/proc/loadavg: 4.12 4.13 4.09 5/264 346261
/proc/meminfo: memFree=125865148/131524600 swapFree=131071216/131071996
[pid=346257] ppid=346254 vsize=9932 memory=2888 CPUtime=0 cores=5,7
/proc/346257/stat : 346257 (Hybrid-CASHWMax) S 346254 346257 342211 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 63058148 10170368 722 134679101440 93938775474176 93938776553496 140736489986832 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93938778651952 93938778699140 93938810580992 140736489989070 140736489989229 140736489989229 140736489996244 0
/proc/346257/statm: 2483 722 630 264 0 134 0
[pid=346260] ppid=346257 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/346260/stat : 346260 (timeout) S 346257 346260 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63058148 8867840 244 134679101440 94030687825920 94030687860936 140729004992000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94030689958352 94030689960484 94030699728896 140729004999678 140729004999837 140729004999837 140729005006823 0
/proc/346260/statm: 2165 244 220 9 0 87 0
[pid=346261] ppid=346260 vsize=61084 memory=45476 CPUtime=0.19 cores=5,7
/proc/346261/stat : 346261 (CASHWMaxSAT-Dis) R 346260 346260 342211 0 -1 4194304 9931 0 0 0 18 1 0 0 20 0 1 0 63058148 62550016 11369 134679101440 4194304 15356333 140720795329888 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26357760 140720795337731 140720795337877 140720795337877 140720795344863 0
/proc/346261/statm: 15271 11369 954 2726 0 12019 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 79676 KiB
Current children cumulated memory: 49340 KiB

[startup+0.30638 s]*
/proc/loadavg: 4.12 4.13 4.09 5/264 346261
/proc/meminfo: memFree=125862660/131524600 swapFree=131071216/131071996
[pid=346257] ppid=346254 vsize=9932 memory=2888 CPUtime=0 cores=5,7
/proc/346257/stat : 346257 (Hybrid-CASHWMax) S 346254 346257 342211 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 63058148 10170368 722 134679101440 93938775474176 93938776553496 140736489986832 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93938778651952 93938778699140 93938810580992 140736489989070 140736489989229 140736489989229 140736489996244 0
/proc/346257/statm: 2483 722 630 264 0 134 0
[pid=346260] ppid=346257 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/346260/stat : 346260 (timeout) S 346257 346260 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63058148 8867840 244 134679101440 94030687825920 94030687860936 140729004992000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94030689958352 94030689960484 94030699728896 140729004999678 140729004999837 140729004999837 140729005006823 0
/proc/346260/statm: 2165 244 220 9 0 87 0
[pid=346261] ppid=346260 vsize=64032 memory=48900 CPUtime=0.29 cores=5,7
/proc/346261/stat : 346261 (CASHWMaxSAT-Dis) R 346260 346260 342211 0 -1 4194304 11912 0 0 0 28 1 0 0 20 0 1 0 63058148 65568768 12225 134679101440 4194304 15356333 140720795329888 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26357760 140720795337731 140720795337877 140720795337877 140720795344863 0
/proc/346261/statm: 16008 12225 1034 2726 0 12756 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 82624 KiB
Current children cumulated memory: 52764 KiB

[startup+0.700306 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 346261
/proc/meminfo: memFree=125858460/131524600 swapFree=131071216/131071996
[pid=346257] ppid=346254 vsize=9932 memory=2888 CPUtime=0 cores=5,7
/proc/346257/stat : 346257 (Hybrid-CASHWMax) S 346254 346257 342211 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 63058148 10170368 722 134679101440 93938775474176 93938776553496 140736489986832 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93938778651952 93938778699140 93938810580992 140736489989070 140736489989229 140736489989229 140736489996244 0
/proc/346257/statm: 2483 722 630 264 0 134 0
[pid=346260] ppid=346257 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/346260/stat : 346260 (timeout) S 346257 346260 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63058148 8867840 244 134679101440 94030687825920 94030687860936 140729004992000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94030689958352 94030689960484 94030699728896 140729004999678 140729004999837 140729004999837 140729005006823 0
/proc/346260/statm: 2165 244 220 9 0 87 0
[pid=346261] ppid=346260 vsize=192128 memory=180768 CPUtime=0.68 cores=5,7
/proc/346261/stat : 346261 (CASHWMaxSAT-Dis) R 346260 346260 342211 0 -1 4194304 43449 0 0 0 62 6 0 0 20 0 1 0 63058148 196739072 45192 134679101440 4194304 15356333 140720795329888 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26357760 140720795337731 140720795337877 140720795337877 140720795344863 0
/proc/346261/statm: 48032 45192 2618 2726 0 44780 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 210720 KiB
Current children cumulated memory: 184632 KiB

[startup+1.5003 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 346261
/proc/meminfo: memFree=125740188/131524600 swapFree=131071216/131071996
[pid=346257] ppid=346254 vsize=9932 memory=2888 CPUtime=0 cores=5,7
/proc/346257/stat : 346257 (Hybrid-CASHWMax) S 346254 346257 342211 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 63058148 10170368 722 134679101440 93938775474176 93938776553496 140736489986832 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93938778651952 93938778699140 93938810580992 140736489989070 140736489989229 140736489989229 140736489996244 0
/proc/346257/statm: 2483 722 630 264 0 134 0
[pid=346260] ppid=346257 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/346260/stat : 346260 (timeout) S 346257 346260 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63058148 8867840 244 134679101440 94030687825920 94030687860936 140729004992000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94030689958352 94030689960484 94030699728896 140729004999678 140729004999837 140729004999837 140729005006823 0
/proc/346260/statm: 2165 244 220 9 0 87 0
[pid=346261] ppid=346260 vsize=290736 memory=275784 CPUtime=1.48 cores=5,7
/proc/346261/stat : 346261 (CASHWMaxSAT-Dis) R 346260 346260 342211 0 -1 4194304 67139 0 0 0 139 9 0 0 20 0 1 0 63058148 297713664 68946 134679101440 4194304 15356333 140720795329888 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26357760 140720795337731 140720795337877 140720795337877 140720795344863 0
/proc/346261/statm: 72684 68946 2730 2726 0 69432 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 309328 KiB
Current children cumulated memory: 279648 KiB

[startup+3.10588 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 346261
/proc/meminfo: memFree=125679520/131524600 swapFree=131071216/131071996
[pid=346257] ppid=346254 vsize=9932 memory=2888 CPUtime=0 cores=5,7
/proc/346257/stat : 346257 (Hybrid-CASHWMax) S 346254 346257 342211 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 63058148 10170368 722 134679101440 93938775474176 93938776553496 140736489986832 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93938778651952 93938778699140 93938810580992 140736489989070 140736489989229 140736489989229 140736489996244 0
/proc/346257/statm: 2483 722 630 264 0 134 0
[pid=346260] ppid=346257 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/346260/stat : 346260 (timeout) S 346257 346260 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63058148 8867840 244 134679101440 94030687825920 94030687860936 140729004992000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94030689958352 94030689960484 94030699728896 140729004999678 140729004999837 140729004999837 140729005006823 0
/proc/346260/statm: 2165 244 220 9 0 87 0
[pid=346261] ppid=346260 vsize=290736 memory=275784 CPUtime=3.08 cores=5,7
/proc/346261/stat : 346261 (CASHWMaxSAT-Dis) R 346260 346260 342211 0 -1 4194304 67154 0 0 0 299 9 0 0 20 0 1 0 63058148 297713664 68946 134679101440 4194304 15356333 140720795329888 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26357760 140720795337731 140720795337877 140720795337877 140720795344863 0
/proc/346261/statm: 72684 68946 2730 2726 0 69432 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 309328 KiB
Current children cumulated memory: 279648 KiB

[startup+6.30028 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 346263
/proc/meminfo: memFree=125678232/131524600 swapFree=131071216/131071996
[pid=346257] ppid=346254 vsize=9932 memory=2888 CPUtime=0 cores=5,7
/proc/346257/stat : 346257 (Hybrid-CASHWMax) S 346254 346257 342211 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 63058148 10170368 722 134679101440 93938775474176 93938776553496 140736489986832 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93938778651952 93938778699140 93938810580992 140736489989070 140736489989229 140736489989229 140736489996244 0
/proc/346257/statm: 2483 722 630 264 0 134 0
[pid=346260] ppid=346257 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/346260/stat : 346260 (timeout) S 346257 346260 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63058148 8867840 244 134679101440 94030687825920 94030687860936 140729004992000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94030689958352 94030689960484 94030699728896 140729004999678 140729004999837 140729004999837 140729005006823 0
/proc/346260/statm: 2165 244 220 9 0 87 0
[pid=346261] ppid=346260 vsize=290736 memory=276308 CPUtime=6.27 cores=5,7
/proc/346261/stat : 346261 (CASHWMaxSAT-Dis) R 346260 346260 342211 0 -1 4194304 67281 0 0 0 618 9 0 0 20 0 1 0 63058148 297713664 69077 134679101440 4194304 15356333 140720795329888 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26357760 140720795337731 140720795337877 140720795337877 140720795344863 0
/proc/346261/statm: 72684 69077 2730 2726 0 69432 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 309328 KiB
Current children cumulated memory: 280172 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 346263
/proc/meminfo: memFree=125677976/131524600 swapFree=131071216/131071996
[pid=346257] ppid=346254 vsize=9932 memory=2888 CPUtime=0 cores=5,7
/proc/346257/stat : 346257 (Hybrid-CASHWMax) S 346254 346257 342211 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 63058148 10170368 722 134679101440 93938775474176 93938776553496 140736489986832 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93938778651952 93938778699140 93938810580992 140736489989070 140736489989229 140736489989229 140736489996244 0
/proc/346257/statm: 2483 722 630 264 0 134 0
[pid=346260] ppid=346257 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/346260/stat : 346260 (timeout) S 346257 346260 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63058148 8867840 244 134679101440 94030687825920 94030687860936 140729004992000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94030689958352 94030689960484 94030699728896 140729004999678 140729004999837 140729004999837 140729005006823 0
/proc/346260/statm: 2165 244 220 9 0 87 0
[pid=346261] ppid=346260 vsize=291712 memory=277352 CPUtime=12.65 cores=5,7
/proc/346261/stat : 346261 (CASHWMaxSAT-Dis) R 346260 346260 342211 0 -1 4194304 67547 0 0 0 1256 9 0 0 20 0 1 0 63058148 298713088 69338 134679101440 4194304 15356333 140720795329888 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26357760 140720795337731 140720795337877 140720795337877 140720795344863 0
/proc/346261/statm: 72928 69338 2730 2726 0 69676 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 310304 KiB
Current children cumulated memory: 281216 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 346266
/proc/meminfo: memFree=125670964/131524600 swapFree=131071216/131071996
[pid=346257] ppid=346254 vsize=9932 memory=2888 CPUtime=0 cores=5,7
/proc/346257/stat : 346257 (Hybrid-CASHWMax) S 346254 346257 342211 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 63058148 10170368 722 134679101440 93938775474176 93938776553496 140736489986832 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93938778651952 93938778699140 93938810580992 140736489989070 140736489989229 140736489989229 140736489996244 0
/proc/346257/statm: 2483 722 630 264 0 134 0
[pid=346260] ppid=346257 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/346260/stat : 346260 (timeout) S 346257 346260 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63058148 8867840 244 134679101440 94030687825920 94030687860936 140729004992000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94030689958352 94030689960484 94030699728896 140729004999678 140729004999837 140729004999837 140729005006823 0
/proc/346260/statm: 2165 244 220 9 0 87 0
[pid=346261] ppid=346260 vsize=291712 memory=277352 CPUtime=25.41 cores=5,7
/proc/346261/stat : 346261 (CASHWMaxSAT-Dis) R 346260 346260 342211 0 -1 4194304 67549 0 0 0 2532 9 0 0 20 0 1 0 63058148 298713088 69338 134679101440 4194304 15356333 140720795329888 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26357760 140720795337731 140720795337877 140720795337877 140720795344863 0
/proc/346261/statm: 72928 69338 2730 2726 0 69676 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 310304 KiB
Current children cumulated memory: 281216 KiB

[startup+51.1058 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 346269
/proc/meminfo: memFree=125671960/131524600 swapFree=131071216/131071996
[pid=346257] ppid=346254 vsize=9932 memory=2888 CPUtime=0 cores=5,7
/proc/346257/stat : 346257 (Hybrid-CASHWMax) S 346254 346257 342211 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 63058148 10170368 722 134679101440 93938775474176 93938776553496 140736489986832 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93938778651952 93938778699140 93938810580992 140736489989070 140736489989229 140736489989229 140736489996244 0
/proc/346257/statm: 2483 722 630 264 0 134 0
[pid=346260] ppid=346257 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/346260/stat : 346260 (timeout) S 346257 346260 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63058148 8867840 244 134679101440 94030687825920 94030687860936 140729004992000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94030689958352 94030689960484 94030699728896 140729004999678 140729004999837 140729004999837 140729005006823 0
/proc/346260/statm: 2165 244 220 9 0 87 0
[pid=346261] ppid=346260 vsize=291712 memory=277352 CPUtime=50.95 cores=5,7
/proc/346261/stat : 346261 (CASHWMaxSAT-Dis) R 346260 346260 342211 0 -1 4194304 67552 0 0 0 5085 10 0 0 20 0 1 0 63058148 298713088 69338 134679101440 4194304 15356333 140720795329888 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26357760 140720795337731 140720795337877 140720795337877 140720795344863 0
/proc/346261/statm: 72928 69338 2730 2726 0 69676 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 310304 KiB
Current children cumulated memory: 281216 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/264 346331
/proc/meminfo: memFree=125901184/131524600 swapFree=131071216/131071996
[pid=346257] ppid=346254 vsize=9932 memory=2888 CPUtime=0 cores=5,7
/proc/346257/stat : 346257 (Hybrid-CASHWMax) S 346254 346257 342211 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 63058148 10170368 722 134679101440 93938775474176 93938776553496 140736489986832 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93938778651952 93938778699140 93938810580992 140736489989070 140736489989229 140736489989229 140736489996244 0

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

/proc/346261/statm: 80718 76609 2762 2726 0 77466 0
Current children cumulated CPU time: 760.17 s
Current children cumulated vsize: 341464 KiB
Current children cumulated memory: 310300 KiB

[startup+822.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 347067
/proc/meminfo: memFree=125774972/131524600 swapFree=131071216/131071996
[pid=346257] ppid=346254 vsize=9932 memory=2888 CPUtime=0 cores=5,7
/proc/346257/stat : 346257 (Hybrid-CASHWMax) S 346254 346257 342211 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 63058148 10170368 722 134679101440 93938775474176 93938776553496 140736489986832 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93938778651952 93938778699140 93938810580992 140736489989070 140736489989229 140736489989229 140736489996244 0
/proc/346257/statm: 2483 722 630 264 0 134 0
[pid=346260] ppid=346257 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/346260/stat : 346260 (timeout) S 346257 346260 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63058148 8867840 244 134679101440 94030687825920 94030687860936 140729004992000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94030689958352 94030689960484 94030699728896 140729004999678 140729004999837 140729004999837 140729005006823 0
/proc/346260/statm: 2165 244 220 9 0 87 0
[pid=346261] ppid=346260 vsize=333468 memory=311480 CPUtime=820.01 cores=5,7
/proc/346261/stat : 346261 (CASHWMaxSAT-Dis) R 346260 346260 342211 0 -1 4194304 72370 0 0 0 81989 12 0 0 20 0 1 0 63058148 341471232 77870 134679101440 4194304 15356333 140720795329888 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26357760 140720795337731 140720795337877 140720795337877 140720795344863 0
/proc/346261/statm: 83367 77870 2762 2726 0 80115 0
Current children cumulated CPU time: 820.01 s
Current children cumulated vsize: 352060 KiB
Current children cumulated memory: 315344 KiB

[startup+882.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 347139
/proc/meminfo: memFree=125759472/131524600 swapFree=131071216/131071996
[pid=346257] ppid=346254 vsize=9932 memory=2888 CPUtime=0 cores=5,7
/proc/346257/stat : 346257 (Hybrid-CASHWMax) S 346254 346257 342211 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 63058148 10170368 722 134679101440 93938775474176 93938776553496 140736489986832 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93938778651952 93938778699140 93938810580992 140736489989070 140736489989229 140736489989229 140736489996244 0
/proc/346257/statm: 2483 722 630 264 0 134 0
[pid=346260] ppid=346257 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/346260/stat : 346260 (timeout) S 346257 346260 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63058148 8867840 244 134679101440 94030687825920 94030687860936 140729004992000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94030689958352 94030689960484 94030699728896 140729004999678 140729004999837 140729004999837 140729005006823 0
/proc/346260/statm: 2165 244 220 9 0 87 0
[pid=346261] ppid=346260 vsize=333468 memory=311496 CPUtime=879.85 cores=5,7
/proc/346261/stat : 346261 (CASHWMaxSAT-Dis) R 346260 346260 342211 0 -1 4194304 72431 0 0 0 87973 12 0 0 20 0 1 0 63058148 341471232 77874 134679101440 4194304 15356333 140720795329888 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26357760 140720795337731 140720795337877 140720795337877 140720795344863 0
/proc/346261/statm: 83367 77874 2762 2726 0 80115 0
Current children cumulated CPU time: 879.85 s
Current children cumulated vsize: 352060 KiB
Current children cumulated memory: 315360 KiB

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

# cumulated CPU time of all completed processes:  user=897.273 s, system=0.134881 s

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

[startup+883.2 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 347139
/proc/meminfo: memFree=125759464/131524600 swapFree=131071216/131071996
[pid=346257] ppid=346254 vsize=9932 memory=2888 CPUtime=0 cores=5,7
/proc/346257/stat : 346257 (Hybrid-CASHWMax) S 346254 346257 342211 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 63058148 10170368 722 134679101440 93938775474176 93938776553496 140736489986832 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93938778651952 93938778699140 93938810580992 140736489989070 140736489989229 140736489989229 140736489996244 0
/proc/346257/statm: 2483 722 630 264 0 134 0
[pid=346260] ppid=346257 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/346260/stat : 346260 (timeout) S 346257 346260 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63058148 8867840 244 134679101440 94030687825920 94030687860936 140729004992000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94030689958352 94030689960484 94030699728896 140729004999678 140729004999837 140729004999837 140729005006823 0
/proc/346260/statm: 2165 244 220 9 0 87 0
[pid=346261] ppid=346260 vsize=333468 memory=311496 CPUtime=880.75 cores=5,7
/proc/346261/stat : 346261 (CASHWMaxSAT-Dis) R 346260 346260 342211 0 -1 4194304 72432 0 0 0 88063 12 0 0 20 0 1 0 63058148 341471232 77874 134679101440 4194304 15356333 140720795329888 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26357760 140720795337731 140720795337877 140720795337877 140720795344863 0
/proc/346261/statm: 83367 77874 2762 2726 0 80115 0
Current children cumulated CPU time: 880.75 s
Current children cumulated vsize: 352060 KiB
Current children cumulated memory: 315360 KiB

[startup+889.6 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 347140
/proc/meminfo: memFree=125759212/131524600 swapFree=131071216/131071996
[pid=346257] ppid=346254 vsize=9932 memory=2888 CPUtime=0 cores=5,7
/proc/346257/stat : 346257 (Hybrid-CASHWMax) S 346254 346257 342211 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 63058148 10170368 722 134679101440 93938775474176 93938776553496 140736489986832 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93938778651952 93938778699140 93938810580992 140736489989070 140736489989229 140736489989229 140736489996244 0
/proc/346257/statm: 2483 722 630 264 0 134 0
[pid=346260] ppid=346257 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/346260/stat : 346260 (timeout) S 346257 346260 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63058148 8867840 244 134679101440 94030687825920 94030687860936 140729004992000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94030689958352 94030689960484 94030699728896 140729004999678 140729004999837 140729004999837 140729005006823 0
/proc/346260/statm: 2165 244 220 9 0 87 0
[pid=346261] ppid=346260 vsize=333468 memory=311496 CPUtime=887.13 cores=5,7
/proc/346261/stat : 346261 (CASHWMaxSAT-Dis) R 346260 346260 342211 0 -1 4194304 72432 0 0 0 88701 12 0 0 20 0 1 0 63058148 341471232 77874 134679101440 4194304 15356333 140720795329888 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26357760 140720795337731 140720795337877 140720795337877 140720795344863 0
/proc/346261/statm: 83367 77874 2762 2726 0 80115 0
Current children cumulated CPU time: 887.13 s
Current children cumulated vsize: 352060 KiB
Current children cumulated memory: 315360 KiB

[startup+896 s]*
/proc/loadavg: 4.05 4.08 4.09 5/267 347142
/proc/meminfo: memFree=125758980/131524600 swapFree=131071216/131071996
[pid=346257] ppid=346254 vsize=9932 memory=2888 CPUtime=0 cores=5,7
/proc/346257/stat : 346257 (Hybrid-CASHWMax) S 346254 346257 342211 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 63058148 10170368 722 134679101440 93938775474176 93938776553496 140736489986832 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93938778651952 93938778699140 93938810580992 140736489989070 140736489989229 140736489989229 140736489996244 0
/proc/346257/statm: 2483 722 630 264 0 134 0
[pid=346260] ppid=346257 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/346260/stat : 346260 (timeout) S 346257 346260 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63058148 8867840 244 134679101440 94030687825920 94030687860936 140729004992000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94030689958352 94030689960484 94030699728896 140729004999678 140729004999837 140729004999837 140729005006823 0
/proc/346260/statm: 2165 244 220 9 0 87 0
[pid=346261] ppid=346260 vsize=333468 memory=311496 CPUtime=893.52 cores=5,7
/proc/346261/stat : 346261 (CASHWMaxSAT-Dis) R 346260 346260 342211 0 -1 4194304 72437 0 0 0 89340 12 0 0 20 0 1 0 63058148 341471232 77874 134679101440 4194304 15356333 140720795329888 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26357760 140720795337731 140720795337877 140720795337877 140720795344863 0
/proc/346261/statm: 83367 77874 2762 2726 0 80115 0
Current children cumulated CPU time: 893.52 s
Current children cumulated vsize: 352060 KiB
Current children cumulated memory: 315360 KiB

[startup+897.6 s]
/proc/loadavg: 4.05 4.08 4.09 5/267 347142
/proc/meminfo: memFree=125758980/131524600 swapFree=131071216/131071996
[pid=346257] ppid=346254 vsize=9932 memory=2888 CPUtime=0 cores=5,7
/proc/346257/stat : 346257 (Hybrid-CASHWMax) S 346254 346257 342211 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 63058148 10170368 722 134679101440 93938775474176 93938776553496 140736489986832 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93938778651952 93938778699140 93938810580992 140736489989070 140736489989229 140736489989229 140736489996244 0
/proc/346257/statm: 2483 722 630 264 0 134 0
[pid=346260] ppid=346257 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/346260/stat : 346260 (timeout) S 346257 346260 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63058148 8867840 244 134679101440 94030687825920 94030687860936 140729004992000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94030689958352 94030689960484 94030699728896 140729004999678 140729004999837 140729004999837 140729005006823 0
/proc/346260/statm: 2165 244 220 9 0 87 0
[pid=346261] ppid=346260 vsize=333468 memory=311496 CPUtime=895.11 cores=5,7
/proc/346261/stat : 346261 (CASHWMaxSAT-Dis) R 346260 346260 342211 0 -1 4194304 72437 0 0 0 89499 12 0 0 20 0 1 0 63058148 341471232 77874 134679101440 4194304 15356333 140720795329888 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26357760 140720795337731 140720795337877 140720795337877 140720795344863 0
/proc/346261/statm: 83367 77874 2762 2726 0 80115 0
Current children cumulated CPU time: 895.11 s
Current children cumulated vsize: 352060 KiB
Current children cumulated memory: 315360 KiB

[startup+899.2 s]
/proc/loadavg: 4.05 4.08 4.09 5/267 347142
/proc/meminfo: memFree=125758956/131524600 swapFree=131071216/131071996
[pid=346257] ppid=346254 vsize=9932 memory=2888 CPUtime=0 cores=5,7
/proc/346257/stat : 346257 (Hybrid-CASHWMax) S 346254 346257 342211 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 63058148 10170368 722 134679101440 93938775474176 93938776553496 140736489986832 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93938778651952 93938778699140 93938810580992 140736489989070 140736489989229 140736489989229 140736489996244 0
/proc/346257/statm: 2483 722 630 264 0 134 0
[pid=346260] ppid=346257 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/346260/stat : 346260 (timeout) S 346257 346260 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63058148 8867840 244 134679101440 94030687825920 94030687860936 140729004992000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94030689958352 94030689960484 94030699728896 140729004999678 140729004999837 140729004999837 140729005006823 0
/proc/346260/statm: 2165 244 220 9 0 87 0
[pid=346261] ppid=346260 vsize=333468 memory=311496 CPUtime=896.7 cores=5,7
/proc/346261/stat : 346261 (CASHWMaxSAT-Dis) R 346260 346260 342211 0 -1 4194304 72438 0 0 0 89658 12 0 0 20 0 1 0 63058148 341471232 77874 134679101440 4194304 15356333 140720795329888 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26357760 140720795337731 140720795337877 140720795337877 140720795344863 0
/proc/346261/statm: 83367 77874 2762 2726 0 80115 0
Current children cumulated CPU time: 896.7 s
Current children cumulated vsize: 352060 KiB
Current children cumulated memory: 315360 KiB

[startup+899.6 s]
/proc/loadavg: 4.05 4.08 4.09 5/267 347142
/proc/meminfo: memFree=125758956/131524600 swapFree=131071216/131071996
[pid=346257] ppid=346254 vsize=9932 memory=2888 CPUtime=0 cores=5,7
/proc/346257/stat : 346257 (Hybrid-CASHWMax) S 346254 346257 342211 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 63058148 10170368 722 134679101440 93938775474176 93938776553496 140736489986832 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93938778651952 93938778699140 93938810580992 140736489989070 140736489989229 140736489989229 140736489996244 0
/proc/346257/statm: 2483 722 630 264 0 134 0
[pid=346260] ppid=346257 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/346260/stat : 346260 (timeout) S 346257 346260 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63058148 8867840 244 134679101440 94030687825920 94030687860936 140729004992000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94030689958352 94030689960484 94030699728896 140729004999678 140729004999837 140729004999837 140729005006823 0
/proc/346260/statm: 2165 244 220 9 0 87 0
[pid=346261] ppid=346260 vsize=342548 memory=320576 CPUtime=897.1 cores=5,7
/proc/346261/stat : 346261 (CASHWMaxSAT-Dis) R 346260 346260 342211 0 -1 4194304 74773 0 0 0 89698 12 0 0 20 0 1 0 63058148 350769152 80144 134679101440 4194304 15356333 140720795329888 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26357760 140720795337731 140720795337877 140720795337877 140720795344863 0
/proc/346261/statm: 85637 80144 2762 2726 0 82385 0
Current children cumulated CPU time: 897.1 s
Current children cumulated vsize: 361140 KiB
Current children cumulated memory: 324440 KiB

[startup+899.8 s]
/proc/loadavg: 4.05 4.08 4.09 5/267 347142
/proc/meminfo: memFree=125758956/131524600 swapFree=131071216/131071996
[pid=346257] ppid=346254 vsize=9932 memory=2888 CPUtime=0 cores=5,7
/proc/346257/stat : 346257 (Hybrid-CASHWMax) S 346254 346257 342211 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 63058148 10170368 722 134679101440 93938775474176 93938776553496 140736489986832 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93938778651952 93938778699140 93938810580992 140736489989070 140736489989229 140736489989229 140736489996244 0
/proc/346257/statm: 2483 722 630 264 0 134 0
[pid=346260] ppid=346257 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/346260/stat : 346260 (timeout) S 346257 346260 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63058148 8867840 244 134679101440 94030687825920 94030687860936 140729004992000 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94030689958352 94030689960484 94030699728896 140729004999678 140729004999837 140729004999837 140729005006823 0
/proc/346260/statm: 2165 244 220 9 0 87 0
[pid=346261] ppid=346260 vsize=284292 memory=276220 CPUtime=897.3 cores=5,7
/proc/346261/stat : 346261 (CASHWMaxSAT-Dis) R 346260 346260 342211 0 -1 4194304 74790 0 0 0 89718 12 0 0 20 0 1 0 63058148 291115008 69055 134679101440 4194304 15356333 140720795329888 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26357760 140720795337731 140720795337877 140720795337877 140720795344863 0
/proc/346261/statm: 71073 69055 2762 2726 0 67821 0
Current children cumulated CPU time: 897.3 s
Current children cumulated vsize: 302884 KiB
Current children cumulated memory: 280084 KiB

Child status: 0

Real time (s): 899.895
CPU time (s): 897.408
CPU user time (s): 897.273
CPU system time (s): 0.134881
CPU usage (%): 99.7236
Max. virtual memory (cumulated for all children) (KiB): 361140
Max. memory (cumulated for all children) (KiB): 324440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 897.273
system time used= 0.134881
maximum resident set size= 320576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75492
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= 39
involuntary context switches= 299


# summary of solver processes directly reported to runsolver:
#   pid: 346257
#   total CPU time (s): 897.408
#   total CPU user time (s): 897.273
#   total CPU system time (s): 0.134881

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.05674 second user time and 4.50059 second system time

The end