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: 63931 MiB (62559 MiB free)
  memory of node 1: 64510 MiB (62998 MiB free)
  node distances:
     10  21
     21  10

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

solver pid=340194, runsolver pid=340183

[startup+0.100319 s]*
/proc/loadavg: 1.42 1.95 2.31 8/266 340213
/proc/meminfo: memFree=128511628/131524600 swapFree=131071996/131071996
[pid=340194] ppid=340183 vsize=9932 memory=2896 CPUtime=0 cores=0,2
/proc/340194/stat : 340194 (Hybrid-CASHWMax) S 340183 340194 340127 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 62681514 10170368 724 134679101440 93852115488768 93852116568088 140725699118272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93852118666544 93852118713732 93852124078080 140725699126222 140725699126381 140725699126381 140725699133396 0
/proc/340194/statm: 2483 724 631 264 0 134 0
[pid=340206] ppid=340194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/340206/stat : 340206 (timeout) S 340194 340206 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 228 134679101440 94862658363392 94862658398408 140734761788192 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94862660495824 94862660497956 94862674759680 140734761796606 140734761796765 140734761796765 140734761803751 0
/proc/340206/statm: 2165 228 204 9 0 87 0
[pid=340210] ppid=340206 vsize=38232 memory=23568 CPUtime=0.1 cores=0,2
/proc/340210/stat : 340210 (CASHWMaxSAT-Dis) R 340206 340206 340127 0 -1 4194304 6398 0 0 0 9 1 0 0 20 0 1 0 62681515 39149568 5892 134679101440 4194304 15356333 140736658318944 0 0 0 0 0 19490 0 0 0 17 2 0 0 0 0 0 17424944 17514448 41480192 140736658326531 140736658326677 140736658326677 140736658333663 0
/proc/340210/statm: 9558 5892 1034 2726 0 6306 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 56824 KiB
Current children cumulated memory: 27376 KiB

[startup+0.213321 s]*
/proc/loadavg: 1.63 1.98 2.32 5/266 340213
/proc/meminfo: memFree=128386484/131524600 swapFree=131071996/131071996
[pid=340194] ppid=340183 vsize=9932 memory=2896 CPUtime=0 cores=0,2
/proc/340194/stat : 340194 (Hybrid-CASHWMax) S 340183 340194 340127 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 62681514 10170368 724 134679101440 93852115488768 93852116568088 140725699118272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93852118666544 93852118713732 93852124078080 140725699126222 140725699126381 140725699126381 140725699133396 0
/proc/340194/statm: 2483 724 631 264 0 134 0
[pid=340206] ppid=340194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/340206/stat : 340206 (timeout) S 340194 340206 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 228 134679101440 94862658363392 94862658398408 140734761788192 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94862660495824 94862660497956 94862674759680 140734761796606 140734761796765 140734761796765 140734761803751 0
/proc/340206/statm: 2165 228 204 9 0 87 0
[pid=340210] ppid=340206 vsize=76096 memory=66612 CPUtime=0.19 cores=0,2
/proc/340210/stat : 340210 (CASHWMaxSAT-Dis) R 340206 340206 340127 0 -1 4194304 15715 0 0 0 17 2 0 0 20 0 1 0 62681515 77922304 16653 134679101440 4194304 15356333 140736658318944 0 0 0 0 0 8408098 0 0 0 17 2 0 0 0 0 0 17424944 17514448 41480192 140736658326531 140736658326677 140736658326677 140736658333663 0
/proc/340210/statm: 19024 16653 2586 2726 0 15772 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 94688 KiB
Current children cumulated memory: 70420 KiB

[startup+0.306335 s]*
/proc/loadavg: 1.63 1.98 2.32 6/266 340213
/proc/meminfo: memFree=128351092/131524600 swapFree=131071996/131071996
[pid=340194] ppid=340183 vsize=9932 memory=2896 CPUtime=0 cores=0,2
/proc/340194/stat : 340194 (Hybrid-CASHWMax) S 340183 340194 340127 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 62681514 10170368 724 134679101440 93852115488768 93852116568088 140725699118272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93852118666544 93852118713732 93852124078080 140725699126222 140725699126381 140725699126381 140725699133396 0
/proc/340194/statm: 2483 724 631 264 0 134 0
[pid=340206] ppid=340194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/340206/stat : 340206 (timeout) S 340194 340206 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 228 134679101440 94862658363392 94862658398408 140734761788192 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94862660495824 94862660497956 94862674759680 140734761796606 140734761796765 140734761796765 140734761803751 0
/proc/340206/statm: 2165 228 204 9 0 87 0
[pid=340210] ppid=340206 vsize=100948 memory=90408 CPUtime=0.29 cores=0,2
/proc/340210/stat : 340210 (CASHWMaxSAT-Dis) R 340206 340206 340127 0 -1 4194304 21576 0 0 0 26 3 0 0 20 0 1 0 62681515 103370752 22602 134679101440 4194304 15356333 140736658318944 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41480192 140736658326531 140736658326677 140736658326677 140736658333663 0
/proc/340210/statm: 25237 22602 2666 2726 0 21985 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 119540 KiB
Current children cumulated memory: 94216 KiB

[startup+0.700242 s]
/proc/loadavg: 1.63 1.98 2.32 7/266 340213
/proc/meminfo: memFree=128326024/131524600 swapFree=131071996/131071996
[pid=340194] ppid=340183 vsize=9932 memory=2896 CPUtime=0 cores=0,2
/proc/340194/stat : 340194 (Hybrid-CASHWMax) S 340183 340194 340127 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 62681514 10170368 724 134679101440 93852115488768 93852116568088 140725699118272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93852118666544 93852118713732 93852124078080 140725699126222 140725699126381 140725699126381 140725699133396 0
/proc/340194/statm: 2483 724 631 264 0 134 0
[pid=340206] ppid=340194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/340206/stat : 340206 (timeout) S 340194 340206 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 228 134679101440 94862658363392 94862658398408 140734761788192 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94862660495824 94862660497956 94862674759680 140734761796606 140734761796765 140734761796765 140734761803751 0
/proc/340206/statm: 2165 228 204 9 0 87 0
[pid=340210] ppid=340206 vsize=102516 memory=92964 CPUtime=0.67 cores=0,2
/proc/340210/stat : 340210 (CASHWMaxSAT-Dis) R 340206 340206 340127 0 -1 4194304 22125 0 0 0 64 3 0 0 20 0 1 0 62681515 104976384 23241 134679101440 4194304 15356333 140736658318944 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41480192 140736658326531 140736658326677 140736658326677 140736658333663 0
/proc/340210/statm: 25629 23241 2714 2726 0 22377 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 121108 KiB
Current children cumulated memory: 96772 KiB

[startup+1.50022 s]
/proc/loadavg: 1.63 1.98 2.32 6/266 340213
/proc/meminfo: memFree=128248868/131524600 swapFree=131071996/131071996
[pid=340194] ppid=340183 vsize=9932 memory=2896 CPUtime=0 cores=0,2
/proc/340194/stat : 340194 (Hybrid-CASHWMax) S 340183 340194 340127 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 62681514 10170368 724 134679101440 93852115488768 93852116568088 140725699118272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93852118666544 93852118713732 93852124078080 140725699126222 140725699126381 140725699126381 140725699133396 0
/proc/340194/statm: 2483 724 631 264 0 134 0
[pid=340206] ppid=340194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/340206/stat : 340206 (timeout) S 340194 340206 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 228 134679101440 94862658363392 94862658398408 140734761788192 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94862660495824 94862660497956 94862674759680 140734761796606 140734761796765 140734761796765 140734761803751 0
/proc/340206/statm: 2165 228 204 9 0 87 0
[pid=340210] ppid=340206 vsize=104412 memory=94812 CPUtime=1.46 cores=0,2
/proc/340210/stat : 340210 (CASHWMaxSAT-Dis) R 340206 340206 340127 0 -1 4194304 22599 0 0 0 143 3 0 0 20 0 1 0 62681515 106917888 23703 134679101440 4194304 15356333 140736658318944 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41480192 140736658326531 140736658326677 140736658326677 140736658333663 0
/proc/340210/statm: 26103 23703 2714 2726 0 22851 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 123004 KiB
Current children cumulated memory: 98620 KiB

[startup+3.10655 s]
/proc/loadavg: 1.63 1.98 2.32 7/266 340264
/proc/meminfo: memFree=127485500/131524600 swapFree=131071996/131071996
[pid=340194] ppid=340183 vsize=9932 memory=2896 CPUtime=0 cores=0,2
/proc/340194/stat : 340194 (Hybrid-CASHWMax) S 340183 340194 340127 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 62681514 10170368 724 134679101440 93852115488768 93852116568088 140725699118272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93852118666544 93852118713732 93852124078080 140725699126222 140725699126381 140725699126381 140725699133396 0
/proc/340194/statm: 2483 724 631 264 0 134 0
[pid=340206] ppid=340194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/340206/stat : 340206 (timeout) S 340194 340206 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 228 134679101440 94862658363392 94862658398408 140734761788192 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94862660495824 94862660497956 94862674759680 140734761796606 140734761796765 140734761796765 140734761803751 0
/proc/340206/statm: 2165 228 204 9 0 87 0
[pid=340210] ppid=340206 vsize=183376 memory=167160 CPUtime=3.06 cores=0,2
/proc/340210/stat : 340210 (CASHWMaxSAT-Dis) R 340206 340206 340127 0 -1 4194304 37401 0 0 0 300 6 0 0 20 0 1 0 62681515 187777024 41790 134679101440 4194304 15356333 140736658318944 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41480192 140736658326531 140736658326677 140736658326677 140736658333663 0
/proc/340210/statm: 45844 41790 2810 2726 0 42592 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 201968 KiB
Current children cumulated memory: 170968 KiB

[startup+6.30025 s]
/proc/loadavg: 1.82 2.02 2.33 7/266 340266
/proc/meminfo: memFree=127258728/131524600 swapFree=131071996/131071996
[pid=340194] ppid=340183 vsize=9932 memory=2896 CPUtime=0 cores=0,2
/proc/340194/stat : 340194 (Hybrid-CASHWMax) S 340183 340194 340127 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 62681514 10170368 724 134679101440 93852115488768 93852116568088 140725699118272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93852118666544 93852118713732 93852124078080 140725699126222 140725699126381 140725699126381 140725699133396 0
/proc/340194/statm: 2483 724 631 264 0 134 0
[pid=340206] ppid=340194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/340206/stat : 340206 (timeout) S 340194 340206 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 228 134679101440 94862658363392 94862658398408 140734761788192 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94862660495824 94862660497956 94862674759680 140734761796606 140734761796765 140734761796765 140734761803751 0
/proc/340206/statm: 2165 228 204 9 0 87 0
[pid=340210] ppid=340206 vsize=215060 memory=188504 CPUtime=6.25 cores=0,2
/proc/340210/stat : 340210 (CASHWMaxSAT-Dis) R 340206 340206 340127 0 -1 4194304 42769 0 0 0 618 7 0 0 20 0 1 0 62681515 220221440 47126 134679101440 4194304 15356333 140736658318944 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41480192 140736658326531 140736658326677 140736658326677 140736658333663 0
/proc/340210/statm: 53765 47126 2826 2726 0 50513 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 233652 KiB
Current children cumulated memory: 192312 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 2.05 2.34 6/266 340266
/proc/meminfo: memFree=126718184/131524600 swapFree=131071996/131071996
[pid=340194] ppid=340183 vsize=9932 memory=2896 CPUtime=0 cores=0,2
/proc/340194/stat : 340194 (Hybrid-CASHWMax) S 340183 340194 340127 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 62681514 10170368 724 134679101440 93852115488768 93852116568088 140725699118272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93852118666544 93852118713732 93852124078080 140725699126222 140725699126381 140725699126381 140725699133396 0
/proc/340194/statm: 2483 724 631 264 0 134 0
[pid=340206] ppid=340194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/340206/stat : 340206 (timeout) S 340194 340206 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 228 134679101440 94862658363392 94862658398408 140734761788192 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94862660495824 94862660497956 94862674759680 140734761796606 140734761796765 140734761796765 140734761803751 0
/proc/340206/statm: 2165 228 204 9 0 87 0
[pid=340210] ppid=340206 vsize=272848 memory=208140 CPUtime=12.63 cores=0,2
/proc/340210/stat : 340210 (CASHWMaxSAT-Dis) R 340206 340206 340127 0 -1 4194304 47706 0 0 0 1254 9 0 0 20 0 1 0 62681515 279396352 52035 134679101440 4194304 15356333 140736658318944 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41480192 140736658326531 140736658326677 140736658326677 140736658333663 0
/proc/340210/statm: 68212 52035 2826 2726 0 64960 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 291440 KiB
Current children cumulated memory: 211948 KiB

[startup+25.5003 s]
/proc/loadavg: 2.38 2.13 2.37 6/266 340269
/proc/meminfo: memFree=126604056/131524600 swapFree=131071996/131071996
[pid=340194] ppid=340183 vsize=9932 memory=2896 CPUtime=0 cores=0,2
/proc/340194/stat : 340194 (Hybrid-CASHWMax) S 340183 340194 340127 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 62681514 10170368 724 134679101440 93852115488768 93852116568088 140725699118272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93852118666544 93852118713732 93852124078080 140725699126222 140725699126381 140725699126381 140725699133396 0
/proc/340194/statm: 2483 724 631 264 0 134 0
[pid=340206] ppid=340194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/340206/stat : 340206 (timeout) S 340194 340206 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 228 134679101440 94862658363392 94862658398408 140734761788192 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94862660495824 94862660497956 94862674759680 140734761796606 140734761796765 140734761796765 140734761803751 0
/proc/340206/statm: 2165 228 204 9 0 87 0
[pid=340210] ppid=340206 vsize=313040 memory=247116 CPUtime=25.38 cores=0,2
/proc/340210/stat : 340210 (CASHWMaxSAT-Dis) R 340206 340206 340127 0 -1 4194304 57583 0 0 0 2527 11 0 0 20 0 1 0 62681515 320552960 61779 134679101440 4194304 15356333 140736658318944 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41480192 140736658326531 140736658326677 140736658326677 140736658333663 0
/proc/340210/statm: 78260 61779 2826 2726 0 75008 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 331632 KiB
Current children cumulated memory: 250924 KiB

[startup+51.1066 s]
/proc/loadavg: 3.26 2.36 2.43 6/266 340425
/proc/meminfo: memFree=126602404/131524600 swapFree=131071996/131071996
[pid=340194] ppid=340183 vsize=9932 memory=2896 CPUtime=0 cores=0,2
/proc/340194/stat : 340194 (Hybrid-CASHWMax) S 340183 340194 340127 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 62681514 10170368 724 134679101440 93852115488768 93852116568088 140725699118272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93852118666544 93852118713732 93852124078080 140725699126222 140725699126381 140725699126381 140725699133396 0
/proc/340194/statm: 2483 724 631 264 0 134 0
[pid=340206] ppid=340194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/340206/stat : 340206 (timeout) S 340194 340206 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 228 134679101440 94862658363392 94862658398408 140734761788192 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94862660495824 94862660497956 94862674759680 140734761796606 140734761796765 140734761796765 140734761803751 0
/proc/340206/statm: 2165 228 204 9 0 87 0
[pid=340210] ppid=340206 vsize=332240 memory=266452 CPUtime=50.89 cores=0,2
/proc/340210/stat : 340210 (CASHWMaxSAT-Dis) R 340206 340206 340127 0 -1 4194304 65186 0 0 0 5076 13 0 0 20 0 1 0 62681515 340213760 66613 134679101440 4194304 15356333 140736658318944 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41480192 140736658326531 140736658326677 140736658326677 140736658333663 0
/proc/340210/statm: 83060 66613 2826 2726 0 79808 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 350832 KiB
Current children cumulated memory: 270260 KiB

[startup+102.3 s]
/proc/loadavg: 3.81 2.65 2.53 6/266 340433
/proc/meminfo: memFree=126329584/131524600 swapFree=131071996/131071996
[pid=340194] ppid=340183 vsize=9932 memory=2896 CPUtime=0 cores=0,2
/proc/340194/stat : 340194 (Hybrid-CASHWMax) S 340183 340194 340127 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 62681514 10170368 724 134679101440 93852115488768 93852116568088 140725699118272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93852118666544 93852118713732 93852124078080 140725699126222 140725699126381 140725699126381 140725699133396 0

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

/proc/loadavg: 4.14 4.12 3.81 7/263 341346
/proc/meminfo: memFree=125673304/131524600 swapFree=131071996/131071996
[pid=340194] ppid=340183 vsize=9932 memory=2896 CPUtime=0 cores=0,2
/proc/340194/stat : 340194 (Hybrid-CASHWMax) S 340183 340194 340127 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 62681514 10170368 724 134679101440 93852115488768 93852116568088 140725699118272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93852118666544 93852118713732 93852124078080 140725699126222 140725699126381 140725699126381 140725699133396 0
/proc/340194/statm: 2483 724 631 264 0 134 0
[pid=340206] ppid=340194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/340206/stat : 340206 (timeout) S 340194 340206 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 228 134679101440 94862658363392 94862658398408 140734761788192 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94862660495824 94862660497956 94862674759680 140734761796606 140734761796765 140734761796765 140734761803751 0
/proc/340206/statm: 2165 228 204 9 0 87 0
[pid=340210] ppid=340206 vsize=1272448 memory=945900 CPUtime=1479.43 cores=0,2
/proc/340210/stat : 340210 (CASHWMaxSAT-Dis) R 340206 340206 340127 0 -1 4194304 189533 0 0 0 147889 54 0 0 20 0 1 0 62681515 1302986752 236475 134679101440 4194304 15356333 140736658318944 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41480192 140736658326531 140736658326677 140736658326677 140736658333663 0
/proc/340210/statm: 318112 236475 3111 2726 0 314860 0
Current children cumulated CPU time: 1479.43 s
Current children cumulated vsize: 1291040 KiB
Current children cumulated memory: 949708 KiB

[startup+1510.4 s]
/proc/loadavg: 4.09 4.11 3.82 7/263 341349
/proc/meminfo: memFree=125645512/131524600 swapFree=131071996/131071996
[pid=340194] ppid=340183 vsize=9932 memory=2896 CPUtime=0 cores=0,2
/proc/340194/stat : 340194 (Hybrid-CASHWMax) S 340183 340194 340127 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 62681514 10170368 724 134679101440 93852115488768 93852116568088 140725699118272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93852118666544 93852118713732 93852124078080 140725699126222 140725699126381 140725699126381 140725699133396 0
/proc/340194/statm: 2483 724 631 264 0 134 0
[pid=340206] ppid=340194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/340206/stat : 340206 (timeout) S 340194 340206 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 228 134679101440 94862658363392 94862658398408 140734761788192 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94862660495824 94862660497956 94862674759680 140734761796606 140734761796765 140734761796765 140734761803751 0
/proc/340206/statm: 2165 228 204 9 0 87 0
[pid=340210] ppid=340206 vsize=1272448 memory=968568 CPUtime=1504.95 cores=0,2
/proc/340210/stat : 340210 (CASHWMaxSAT-Dis) R 340206 340206 340127 0 -1 4194304 189589 0 0 0 150441 54 0 0 20 0 1 0 62681515 1302986752 242142 134679101440 4194304 15356333 140736658318944 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41480192 140736658326531 140736658326677 140736658326677 140736658333663 0
/proc/340210/statm: 318112 242142 3111 2726 0 314860 0
Current children cumulated CPU time: 1504.95 s
Current children cumulated vsize: 1291040 KiB
Current children cumulated memory: 972376 KiB

[startup+1523.2 s]
/proc/loadavg: 4.15 4.12 3.83 7/263 341350
/proc/meminfo: memFree=125621448/131524600 swapFree=131071996/131071996
[pid=340194] ppid=340183 vsize=9932 memory=2896 CPUtime=0 cores=0,2
/proc/340194/stat : 340194 (Hybrid-CASHWMax) S 340183 340194 340127 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 62681514 10170368 724 134679101440 93852115488768 93852116568088 140725699118272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93852118666544 93852118713732 93852124078080 140725699126222 140725699126381 140725699126381 140725699133396 0
/proc/340194/statm: 2483 724 631 264 0 134 0
[pid=340206] ppid=340194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/340206/stat : 340206 (timeout) S 340194 340206 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 228 134679101440 94862658363392 94862658398408 140734761788192 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94862660495824 94862660497956 94862674759680 140734761796606 140734761796765 140734761796765 140734761803751 0
/proc/340206/statm: 2165 228 204 9 0 87 0
[pid=340210] ppid=340206 vsize=1272448 memory=992068 CPUtime=1517.7 cores=0,2
/proc/340210/stat : 340210 (CASHWMaxSAT-Dis) R 340206 340206 340127 0 -1 4194304 189640 0 0 0 151716 54 0 0 20 0 1 0 62681515 1302986752 248017 134679101440 4194304 15356333 140736658318944 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41480192 140736658326531 140736658326677 140736658326677 140736658333663 0
/proc/340210/statm: 318112 248017 3111 2726 0 314860 0
Current children cumulated CPU time: 1517.7 s
Current children cumulated vsize: 1291040 KiB
Current children cumulated memory: 995876 KiB

[startup+1529.6 s]
/proc/loadavg: 4.14 4.11 3.83 7/263 341352
/proc/meminfo: memFree=125621424/131524600 swapFree=131071996/131071996
[pid=340194] ppid=340183 vsize=9932 memory=2896 CPUtime=0 cores=0,2
/proc/340194/stat : 340194 (Hybrid-CASHWMax) S 340183 340194 340127 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 62681514 10170368 724 134679101440 93852115488768 93852116568088 140725699118272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93852118666544 93852118713732 93852124078080 140725699126222 140725699126381 140725699126381 140725699133396 0
/proc/340194/statm: 2483 724 631 264 0 134 0
[pid=340206] ppid=340194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/340206/stat : 340206 (timeout) S 340194 340206 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 228 134679101440 94862658363392 94862658398408 140734761788192 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94862660495824 94862660497956 94862674759680 140734761796606 140734761796765 140734761796765 140734761803751 0
/proc/340206/statm: 2165 228 204 9 0 87 0
[pid=340210] ppid=340206 vsize=1272448 memory=992068 CPUtime=1524.08 cores=0,2
/proc/340210/stat : 340210 (CASHWMaxSAT-Dis) R 340206 340206 340127 0 -1 4194304 189640 0 0 0 152354 54 0 0 20 0 1 0 62681515 1302986752 248017 134679101440 4194304 15356333 140736658318944 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41480192 140736658326531 140736658326677 140736658326677 140736658333663 0
/proc/340210/statm: 318112 248017 3111 2726 0 314860 0
Current children cumulated CPU time: 1524.08 s
Current children cumulated vsize: 1291040 KiB
Current children cumulated memory: 995876 KiB

[startup+1532.8 s]
/proc/loadavg: 4.21 4.13 3.83 7/263 341352
/proc/meminfo: memFree=125621452/131524600 swapFree=131071996/131071996
[pid=340194] ppid=340183 vsize=9932 memory=2896 CPUtime=0 cores=0,2
/proc/340194/stat : 340194 (Hybrid-CASHWMax) S 340183 340194 340127 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 62681514 10170368 724 134679101440 93852115488768 93852116568088 140725699118272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93852118666544 93852118713732 93852124078080 140725699126222 140725699126381 140725699126381 140725699133396 0
/proc/340194/statm: 2483 724 631 264 0 134 0
[pid=340206] ppid=340194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/340206/stat : 340206 (timeout) S 340194 340206 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 228 134679101440 94862658363392 94862658398408 140734761788192 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94862660495824 94862660497956 94862674759680 140734761796606 140734761796765 140734761796765 140734761803751 0
/proc/340206/statm: 2165 228 204 9 0 87 0
[pid=340210] ppid=340206 vsize=1272448 memory=1002988 CPUtime=1527.27 cores=0,2
/proc/340210/stat : 340210 (CASHWMaxSAT-Dis) R 340206 340206 340127 0 -1 4194304 189658 0 0 0 152673 54 0 0 20 0 1 0 62681515 1302986752 250747 134679101440 4194304 15356333 140736658318944 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41480192 140736658326531 140736658326677 140736658326677 140736658333663 0
/proc/340210/statm: 318112 250747 3111 2726 0 314860 0
Current children cumulated CPU time: 1527.27 s
Current children cumulated vsize: 1291040 KiB
Current children cumulated memory: 1006796 KiB

[startup+1534.4 s]
/proc/loadavg: 4.21 4.13 3.83 7/263 341354
/proc/meminfo: memFree=125610292/131524600 swapFree=131071996/131071996
[pid=340194] ppid=340183 vsize=9932 memory=2896 CPUtime=0 cores=0,2
/proc/340194/stat : 340194 (Hybrid-CASHWMax) S 340183 340194 340127 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 62681514 10170368 724 134679101440 93852115488768 93852116568088 140725699118272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93852118666544 93852118713732 93852124078080 140725699126222 140725699126381 140725699126381 140725699133396 0
/proc/340194/statm: 2483 724 631 264 0 134 0
[pid=340206] ppid=340194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/340206/stat : 340206 (timeout) S 340194 340206 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 228 134679101440 94862658363392 94862658398408 140734761788192 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94862660495824 94862660497956 94862674759680 140734761796606 140734761796765 140734761796765 140734761803751 0
/proc/340206/statm: 2165 228 204 9 0 87 0
[pid=340210] ppid=340206 vsize=1272448 memory=1002988 CPUtime=1528.86 cores=0,2
/proc/340210/stat : 340210 (CASHWMaxSAT-Dis) R 340206 340206 340127 0 -1 4194304 189684 0 0 0 152832 54 0 0 20 0 1 0 62681515 1302986752 250747 134679101440 4194304 15356333 140736658318944 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41480192 140736658326531 140736658326677 140736658326677 140736658333663 0
/proc/340210/statm: 318112 250747 3111 2726 0 314860 0
Current children cumulated CPU time: 1528.86 s
Current children cumulated vsize: 1291040 KiB
Current children cumulated memory: 1006796 KiB

[startup+1536 s]*
/proc/loadavg: 4.27 4.14 3.84 7/263 341354
/proc/meminfo: memFree=125609196/131524600 swapFree=131071996/131071996
[pid=340194] ppid=340183 vsize=9932 memory=2896 CPUtime=0 cores=0,2
/proc/340194/stat : 340194 (Hybrid-CASHWMax) S 340183 340194 340127 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 62681514 10170368 724 134679101440 93852115488768 93852116568088 140725699118272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93852118666544 93852118713732 93852124078080 140725699126222 140725699126381 140725699126381 140725699133396 0
/proc/340194/statm: 2483 724 631 264 0 134 0
[pid=340206] ppid=340194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/340206/stat : 340206 (timeout) S 340194 340206 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 228 134679101440 94862658363392 94862658398408 140734761788192 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94862660495824 94862660497956 94862674759680 140734761796606 140734761796765 140734761796765 140734761803751 0
/proc/340206/statm: 2165 228 204 9 0 87 0
[pid=340210] ppid=340206 vsize=1272448 memory=1002988 CPUtime=1530.46 cores=0,2
/proc/340210/stat : 340210 (CASHWMaxSAT-Dis) R 340206 340206 340127 0 -1 4194304 189685 0 0 0 152992 54 0 0 20 0 1 0 62681515 1302986752 250747 134679101440 4194304 15356333 140736658318944 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41480192 140736658326531 140736658326677 140736658326677 140736658333663 0
/proc/340210/statm: 318112 250747 3111 2726 0 314860 0
Current children cumulated CPU time: 1530.46 s
Current children cumulated vsize: 1291040 KiB
Current children cumulated memory: 1006796 KiB

[startup+1536.4 s]
/proc/loadavg: 4.27 4.14 3.84 7/263 341354
/proc/meminfo: memFree=125609196/131524600 swapFree=131071996/131071996
[pid=340194] ppid=340183 vsize=9932 memory=2896 CPUtime=0 cores=0,2
/proc/340194/stat : 340194 (Hybrid-CASHWMax) S 340183 340194 340127 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 62681514 10170368 724 134679101440 93852115488768 93852116568088 140725699118272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93852118666544 93852118713732 93852124078080 140725699126222 140725699126381 140725699126381 140725699133396 0
/proc/340194/statm: 2483 724 631 264 0 134 0
[pid=340206] ppid=340194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/340206/stat : 340206 (timeout) S 340194 340206 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 228 134679101440 94862658363392 94862658398408 140734761788192 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94862660495824 94862660497956 94862674759680 140734761796606 140734761796765 140734761796765 140734761803751 0
/proc/340206/statm: 2165 228 204 9 0 87 0
[pid=340210] ppid=340206 vsize=1272448 memory=1002988 CPUtime=1530.86 cores=0,2
/proc/340210/stat : 340210 (CASHWMaxSAT-Dis) R 340206 340206 340127 0 -1 4194304 189685 0 0 0 153032 54 0 0 20 0 1 0 62681515 1302986752 250747 134679101440 4194304 15356333 140736658318944 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41480192 140736658326531 140736658326677 140736658326677 140736658333663 0
/proc/340210/statm: 318112 250747 3111 2726 0 314860 0
Current children cumulated CPU time: 1530.86 s
Current children cumulated vsize: 1291040 KiB
Current children cumulated memory: 1006796 KiB

[startup+1536.6 s]
/proc/loadavg: 4.27 4.14 3.84 7/263 341354
/proc/meminfo: memFree=125609196/131524600 swapFree=131071996/131071996
[pid=340194] ppid=340183 vsize=9932 memory=2896 CPUtime=0 cores=0,2
/proc/340194/stat : 340194 (Hybrid-CASHWMax) S 340183 340194 340127 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 62681514 10170368 724 134679101440 93852115488768 93852116568088 140725699118272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93852118666544 93852118713732 93852124078080 140725699126222 140725699126381 140725699126381 140725699133396 0
/proc/340194/statm: 2483 724 631 264 0 134 0
[pid=340206] ppid=340194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/340206/stat : 340206 (timeout) S 340194 340206 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 228 134679101440 94862658363392 94862658398408 140734761788192 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94862660495824 94862660497956 94862674759680 140734761796606 140734761796765 140734761796765 140734761803751 0
/proc/340206/statm: 2165 228 204 9 0 87 0
[pid=340210] ppid=340206 vsize=1272448 memory=1002988 CPUtime=1531.05 cores=0,2
/proc/340210/stat : 340210 (CASHWMaxSAT-Dis) R 340206 340206 340127 0 -1 4194304 189685 0 0 0 153051 54 0 0 20 0 1 0 62681515 1302986752 250747 134679101440 4194304 15356333 140736658318944 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41480192 140736658326531 140736658326677 140736658326677 140736658333663 0
/proc/340210/statm: 318112 250747 3111 2726 0 314860 0
Current children cumulated CPU time: 1531.05 s
Current children cumulated vsize: 1291040 KiB
Current children cumulated memory: 1006796 KiB

[startup+1536.7 s]
/proc/loadavg: 4.27 4.14 3.84 7/263 341354
/proc/meminfo: memFree=125609196/131524600 swapFree=131071996/131071996
[pid=340194] ppid=340183 vsize=9932 memory=2896 CPUtime=0 cores=0,2
/proc/340194/stat : 340194 (Hybrid-CASHWMax) S 340183 340194 340127 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 62681514 10170368 724 134679101440 93852115488768 93852116568088 140725699118272 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93852118666544 93852118713732 93852124078080 140725699126222 140725699126381 140725699126381 140725699133396 0
/proc/340194/statm: 2483 724 631 264 0 134 0
[pid=340206] ppid=340194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/340206/stat : 340206 (timeout) S 340194 340206 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 228 134679101440 94862658363392 94862658398408 140734761788192 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94862660495824 94862660497956 94862674759680 140734761796606 140734761796765 140734761796765 140734761803751 0
/proc/340206/statm: 2165 228 204 9 0 87 0
[pid=340210] ppid=340206 vsize=1272448 memory=1002988 CPUtime=1531.15 cores=0,2
/proc/340210/stat : 340210 (CASHWMaxSAT-Dis) R 340206 340206 340127 0 -1 4194304 189685 0 0 0 153061 54 0 0 20 0 1 0 62681515 1302986752 250747 134679101440 4194304 15356333 140736658318944 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 41480192 140736658326531 140736658326677 140736658326677 140736658333663 0
/proc/340210/statm: 318112 250747 3111 2726 0 314860 0
Current children cumulated CPU time: 1531.15 s
Current children cumulated vsize: 1291040 KiB
Current children cumulated memory: 1006796 KiB

Child status: 0

Real time (s): 1536.74
CPU time (s): 1531.22
CPU user time (s): 1530.66
CPU system time (s): 0.558447
CPU usage (%): 99.6403
Max. virtual memory (cumulated for all children) (KiB): 1430916
Max. memory (cumulated for all children) (KiB): 1006796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1530.66
system time used= 0.558447
maximum resident set size= 1002988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190382
page faults= 0
swaps= 0
block input operations= 0
block output operations= 56
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66
involuntary context switches= 10520


# summary of solver processes directly reported to runsolver:
#   pid: 340194
#   total CPU time (s): 1531.22
#   total CPU user time (s): 1530.66
#   total CPU system time (s): 0.558447

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.41024 second user time and 8.37126 second system time

The end