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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436787-1722957174/watcher-4436787-1722957174 -o /tmp/evaluation-result-4436787-1722957174/solver-4436787-1722957174 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722948202-331453 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436787-1722957174.opb 3600 HOME 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=338098, runsolver pid=338095

[startup+0.101052 s]*
/proc/loadavg: 4.09 4.10 4.09 5/266 338102
/proc/meminfo: memFree=123153016/131524600 swapFree=131071996/131071996
[pid=338098] ppid=338095 vsize=9932 memory=2844 CPUtime=0 cores=4,6
/proc/338098/stat : 338098 (Hybrid-LSMabSP+) S 338095 338098 331442 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 62321989 10170368 711 134679101440 94608197767168 94608198846488 140734630382720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94608200944944 94608200992132 94608201601024 140734630384590 140734630384749 140734630384749 140734630391764 0
/proc/338098/statm: 2483 711 635 264 0 134 0
[pid=338101] ppid=338098 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/338101/stat : 338101 (timeout) S 338098 338101 331442 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321989 8867840 253 134679101440 94222877908992 94222877944008 140733936467312 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94222880041424 94222880043556 94222892748800 140733936469017 140733936469149 140733936469149 140733936476135 0
/proc/338101/statm: 2165 253 229 9 0 87 0
[pid=338102] ppid=338101 vsize=50464 memory=30888 CPUtime=0.08 cores=4,6
/proc/338102/stat : 338102 (CASHWMaxSAT-Dis) R 338101 338101 331442 0 -1 4194304 7063 0 0 0 7 1 0 0 20 0 1 0 62321989 51675136 7722 134679101440 4194304 14093885 140726026400336 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31002624 140726026404895 140726026405014 140726026405014 140726026412000 0
/proc/338102/statm: 12616 7722 1022 2417 0 9718 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 69056 KiB
Current children cumulated memory: 34744 KiB

[startup+0.205986 s]*
/proc/loadavg: 4.09 4.10 4.09 5/266 338102
/proc/meminfo: memFree=123152040/131524600 swapFree=131071996/131071996
[pid=338098] ppid=338095 vsize=9932 memory=2844 CPUtime=0 cores=4,6
/proc/338098/stat : 338098 (Hybrid-LSMabSP+) S 338095 338098 331442 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 62321989 10170368 711 134679101440 94608197767168 94608198846488 140734630382720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94608200944944 94608200992132 94608201601024 140734630384590 140734630384749 140734630384749 140734630391764 0
/proc/338098/statm: 2483 711 635 264 0 134 0
[pid=338101] ppid=338098 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/338101/stat : 338101 (timeout) S 338098 338101 331442 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321989 8867840 253 134679101440 94222877908992 94222877944008 140733936467312 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94222880041424 94222880043556 94222892748800 140733936469017 140733936469149 140733936469149 140733936476135 0
/proc/338101/statm: 2165 253 229 9 0 87 0
[pid=338102] ppid=338101 vsize=47920 memory=30568 CPUtime=0.2 cores=4,6
/proc/338102/stat : 338102 (CASHWMaxSAT-Dis) R 338101 338101 331442 0 -1 4194304 8908 0 0 0 18 2 0 0 20 0 1 0 62321989 49070080 7642 134679101440 4194304 14093885 140726026400336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31002624 140726026404895 140726026405014 140726026405014 140726026412000 0
/proc/338102/statm: 11980 7642 1022 2417 0 9082 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 66512 KiB
Current children cumulated memory: 34424 KiB

[startup+0.305828 s]*
/proc/loadavg: 4.09 4.10 4.09 5/266 338102
/proc/meminfo: memFree=123151888/131524600 swapFree=131071996/131071996
[pid=338098] ppid=338095 vsize=9932 memory=2844 CPUtime=0 cores=4,6
/proc/338098/stat : 338098 (Hybrid-LSMabSP+) S 338095 338098 331442 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 62321989 10170368 711 134679101440 94608197767168 94608198846488 140734630382720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94608200944944 94608200992132 94608201601024 140734630384590 140734630384749 140734630384749 140734630391764 0
/proc/338098/statm: 2483 711 635 264 0 134 0
[pid=338101] ppid=338098 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/338101/stat : 338101 (timeout) S 338098 338101 331442 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321989 8867840 253 134679101440 94222877908992 94222877944008 140733936467312 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94222880041424 94222880043556 94222892748800 140733936469017 140733936469149 140733936469149 140733936476135 0
/proc/338101/statm: 2165 253 229 9 0 87 0
[pid=338102] ppid=338101 vsize=49568 memory=30952 CPUtime=0.3 cores=4,6
/proc/338102/stat : 338102 (CASHWMaxSAT-Dis) R 338101 338101 331442 0 -1 4194304 8967 0 0 0 28 2 0 0 20 0 1 0 62321989 50757632 7738 134679101440 4194304 14093885 140726026400336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31002624 140726026404895 140726026405014 140726026405014 140726026412000 0
/proc/338102/statm: 12392 7738 1054 2417 0 9494 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 68160 KiB
Current children cumulated memory: 34808 KiB

[startup+0.700272 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 338102
/proc/meminfo: memFree=123151404/131524600 swapFree=131071996/131071996
[pid=338098] ppid=338095 vsize=9932 memory=2844 CPUtime=0 cores=4,6
/proc/338098/stat : 338098 (Hybrid-LSMabSP+) S 338095 338098 331442 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 62321989 10170368 711 134679101440 94608197767168 94608198846488 140734630382720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94608200944944 94608200992132 94608201601024 140734630384590 140734630384749 140734630384749 140734630391764 0
/proc/338098/statm: 2483 711 635 264 0 134 0
[pid=338101] ppid=338098 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/338101/stat : 338101 (timeout) S 338098 338101 331442 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321989 8867840 253 134679101440 94222877908992 94222877944008 140733936467312 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94222880041424 94222880043556 94222892748800 140733936469017 140733936469149 140733936469149 140733936476135 0
/proc/338101/statm: 2165 253 229 9 0 87 0
[pid=338102] ppid=338101 vsize=49568 memory=31744 CPUtime=0.68 cores=4,6
/proc/338102/stat : 338102 (CASHWMaxSAT-Dis) R 338101 338101 331442 0 -1 4194304 9182 0 0 0 66 2 0 0 20 0 1 0 62321989 50757632 7936 134679101440 4194304 14093885 140726026400336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31002624 140726026404895 140726026405014 140726026405014 140726026412000 0
/proc/338102/statm: 12392 7936 1054 2417 0 9494 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 68160 KiB
Current children cumulated memory: 35600 KiB

[startup+1.50029 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 338102
/proc/meminfo: memFree=123145708/131524600 swapFree=131071996/131071996
[pid=338098] ppid=338095 vsize=9932 memory=2844 CPUtime=0 cores=4,6
/proc/338098/stat : 338098 (Hybrid-LSMabSP+) S 338095 338098 331442 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 62321989 10170368 711 134679101440 94608197767168 94608198846488 140734630382720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94608200944944 94608200992132 94608201601024 140734630384590 140734630384749 140734630384749 140734630391764 0
/proc/338098/statm: 2483 711 635 264 0 134 0
[pid=338101] ppid=338098 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/338101/stat : 338101 (timeout) S 338098 338101 331442 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321989 8867840 253 134679101440 94222877908992 94222877944008 140733936467312 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94222880041424 94222880043556 94222892748800 140733936469017 140733936469149 140733936469149 140733936476135 0
/proc/338101/statm: 2165 253 229 9 0 87 0
[pid=338102] ppid=338101 vsize=65436 memory=46724 CPUtime=1.48 cores=4,6
/proc/338102/stat : 338102 (CASHWMaxSAT-Dis) R 338101 338101 331442 0 -1 4194304 10352 0 0 0 146 2 0 0 20 0 1 0 62321989 67006464 11681 134679101440 4194304 14093885 140726026400336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31002624 140726026404895 140726026405014 140726026405014 140726026412000 0
/proc/338102/statm: 16359 11681 1054 2417 0 13461 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 84028 KiB
Current children cumulated memory: 50580 KiB

[startup+3.10579 s]
/proc/loadavg: 4.09 4.10 4.09 5/267 338103
/proc/meminfo: memFree=123126408/131524600 swapFree=131071996/131071996
[pid=338098] ppid=338095 vsize=9932 memory=2844 CPUtime=0 cores=4,6
/proc/338098/stat : 338098 (Hybrid-LSMabSP+) S 338095 338098 331442 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 62321989 10170368 711 134679101440 94608197767168 94608198846488 140734630382720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94608200944944 94608200992132 94608201601024 140734630384590 140734630384749 140734630384749 140734630391764 0
/proc/338098/statm: 2483 711 635 264 0 134 0
[pid=338101] ppid=338098 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/338101/stat : 338101 (timeout) S 338098 338101 331442 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321989 8867840 253 134679101440 94222877908992 94222877944008 140733936467312 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94222880041424 94222880043556 94222892748800 140733936469017 140733936469149 140733936469149 140733936476135 0
/proc/338101/statm: 2165 253 229 9 0 87 0
[pid=338102] ppid=338101 vsize=83328 memory=55696 CPUtime=3.08 cores=4,6
/proc/338102/stat : 338102 (CASHWMaxSAT-Dis) R 338101 338101 331442 0 -1 4194304 12354 0 0 0 305 3 0 0 20 0 1 0 62321989 85327872 13924 134679101440 4194304 14093885 140726026400336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31002624 140726026404895 140726026405014 140726026405014 140726026412000 0
/proc/338102/statm: 20832 13924 1054 2417 0 17934 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 101920 KiB
Current children cumulated memory: 59552 KiB

[startup+6.30028 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 338103
/proc/meminfo: memFree=123097420/131524600 swapFree=131071996/131071996
[pid=338098] ppid=338095 vsize=9932 memory=2844 CPUtime=0 cores=4,6
/proc/338098/stat : 338098 (Hybrid-LSMabSP+) S 338095 338098 331442 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 62321989 10170368 711 134679101440 94608197767168 94608198846488 140734630382720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94608200944944 94608200992132 94608201601024 140734630384590 140734630384749 140734630384749 140734630391764 0
/proc/338098/statm: 2483 711 635 264 0 134 0
[pid=338101] ppid=338098 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/338101/stat : 338101 (timeout) S 338098 338101 331442 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321989 8867840 253 134679101440 94222877908992 94222877944008 140733936467312 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94222880041424 94222880043556 94222892748800 140733936469017 140733936469149 140733936469149 140733936476135 0
/proc/338101/statm: 2165 253 229 9 0 87 0
[pid=338102] ppid=338101 vsize=102232 memory=80472 CPUtime=6.27 cores=4,6
/proc/338102/stat : 338102 (CASHWMaxSAT-Dis) R 338101 338101 331442 0 -1 4194304 13386 0 0 0 623 4 0 0 20 0 1 0 62321989 104685568 20118 134679101440 4194304 14093885 140726026400336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31002624 140726026404895 140726026405014 140726026405014 140726026412000 0
/proc/338102/statm: 25558 20118 1054 2417 0 22660 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 120824 KiB
Current children cumulated memory: 84328 KiB

[startup+12.7003 s]
/proc/loadavg: 4.07 4.09 4.09 5/267 338105
/proc/meminfo: memFree=123088348/131524600 swapFree=131071996/131071996
[pid=338098] ppid=338095 vsize=9932 memory=2844 CPUtime=0 cores=4,6
/proc/338098/stat : 338098 (Hybrid-LSMabSP+) S 338095 338098 331442 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 62321989 10170368 711 134679101440 94608197767168 94608198846488 140734630382720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94608200944944 94608200992132 94608201601024 140734630384590 140734630384749 140734630384749 140734630391764 0
/proc/338098/statm: 2483 711 635 264 0 134 0
[pid=338101] ppid=338098 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/338101/stat : 338101 (timeout) S 338098 338101 331442 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321989 8867840 253 134679101440 94222877908992 94222877944008 140733936467312 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94222880041424 94222880043556 94222892748800 140733936469017 140733936469149 140733936469149 140733936476135 0
/proc/338101/statm: 2165 253 229 9 0 87 0
[pid=338102] ppid=338101 vsize=102232 memory=85412 CPUtime=12.65 cores=4,6
/proc/338102/stat : 338102 (CASHWMaxSAT-Dis) R 338101 338101 331442 0 -1 4194304 13776 0 0 0 1260 5 0 0 20 0 1 0 62321989 104685568 21353 134679101440 4194304 14093885 140726026400336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31002624 140726026404895 140726026405014 140726026405014 140726026412000 0
/proc/338102/statm: 25558 21353 1054 2417 0 22660 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 120824 KiB
Current children cumulated memory: 89268 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 338106
/proc/meminfo: memFree=123104500/131524600 swapFree=131071996/131071996
[pid=338098] ppid=338095 vsize=9932 memory=2844 CPUtime=0 cores=4,6
/proc/338098/stat : 338098 (Hybrid-LSMabSP+) S 338095 338098 331442 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 62321989 10170368 711 134679101440 94608197767168 94608198846488 140734630382720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94608200944944 94608200992132 94608201601024 140734630384590 140734630384749 140734630384749 140734630391764 0
/proc/338098/statm: 2483 711 635 264 0 134 0
[pid=338101] ppid=338098 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/338101/stat : 338101 (timeout) S 338098 338101 331442 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321989 8867840 253 134679101440 94222877908992 94222877944008 140733936467312 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94222880041424 94222880043556 94222892748800 140733936469017 140733936469149 140733936469149 140733936476135 0
/proc/338101/statm: 2165 253 229 9 0 87 0
[pid=338102] ppid=338101 vsize=102232 memory=85412 CPUtime=25.42 cores=4,6
/proc/338102/stat : 338102 (CASHWMaxSAT-Dis) R 338101 338101 331442 0 -1 4194304 14490 0 0 0 2530 12 0 0 20 0 1 0 62321989 104685568 21353 134679101440 4194304 14093885 140726026400336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31002624 140726026404895 140726026405014 140726026405014 140726026412000 0
/proc/338102/statm: 25558 21353 1054 2417 0 22660 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 120824 KiB
Current children cumulated memory: 89268 KiB

[startup+51.1057 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 338115
/proc/meminfo: memFree=123127240/131524600 swapFree=131071996/131071996
[pid=338098] ppid=338095 vsize=9932 memory=2844 CPUtime=0 cores=4,6
/proc/338098/stat : 338098 (Hybrid-LSMabSP+) S 338095 338098 331442 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 62321989 10170368 711 134679101440 94608197767168 94608198846488 140734630382720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94608200944944 94608200992132 94608201601024 140734630384590 140734630384749 140734630384749 140734630391764 0
/proc/338098/statm: 2483 711 635 264 0 134 0
[pid=338101] ppid=338098 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/338101/stat : 338101 (timeout) S 338098 338101 331442 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321989 8867840 253 134679101440 94222877908992 94222877944008 140733936467312 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94222880041424 94222880043556 94222892748800 140733936469017 140733936469149 140733936469149 140733936476135 0
/proc/338101/statm: 2165 253 229 9 0 87 0
[pid=338102] ppid=338101 vsize=163308 memory=130140 CPUtime=50.96 cores=4,6
/proc/338102/stat : 338102 (CASHWMaxSAT-Dis) R 338101 338101 331442 0 -1 4194304 16655 0 0 0 5066 30 0 0 20 0 1 0 62321989 167227392 32535 134679101440 4194304 14093885 140726026400336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31002624 140726026404895 140726026405014 140726026405014 140726026412000 0
/proc/338102/statm: 40827 32535 1054 2417 0 37929 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 181900 KiB
Current children cumulated memory: 133996 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 338124
/proc/meminfo: memFree=123055260/131524600 swapFree=131071996/131071996
[pid=338098] ppid=338095 vsize=9932 memory=2844 CPUtime=0 cores=4,6
/proc/338098/stat : 338098 (Hybrid-LSMabSP+) S 338095 338098 331442 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 62321989 10170368 711 134679101440 94608197767168 94608198846488 140734630382720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94608200944944 94608200992132 94608201601024 140734630384590 140734630384749 140734630384749 140734630391764 0
/proc/338098/statm: 2483 711 635 264 0 134 0
[pid=338101] ppid=338098 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/338101/stat : 338101 (timeout) S 338098 338101 331442 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321989 8867840 253 134679101440 94222877908992 94222877944008 140733936467312 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94222880041424 94222880043556 94222892748800 140733936469017 140733936469149 140733936469149 140733936476135 0
/proc/338101/statm: 2165 253 229 9 0 87 0
[pid=338102] ppid=338101 vsize=144324 memory=125700 CPUtime=102.03 cores=4,6
/proc/338102/stat : 338102 (CASHWMaxSAT-Dis) R 338101 338101 331442 0 -1 4194304 19986 0 0 0 10153 50 0 0 20 0 1 0 62321989 147787776 31425 134679101440 4194304 14093885 140726026400336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31002624 140726026404895 140726026405014 140726026405014 140726026412000 0
/proc/338102/statm: 36081 31425 1054 2417 0 33183 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 162916 KiB
Current children cumulated memory: 129556 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 338136
/proc/meminfo: memFree=123284824/131524600 swapFree=131071996/131071996
[pid=338098] ppid=338095 vsize=9932 memory=2844 CPUtime=0 cores=4,6
/proc/338098/stat : 338098 (Hybrid-LSMabSP+) S 338095 338098 331442 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 62321989 10170368 711 134679101440 94608197767168 94608198846488 140734630382720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94608200944944 94608200992132 94608201601024 140734630384590 140734630384749 140734630384749 140734630391764 0
/proc/338098/statm: 2483 711 635 264 0 134 0
[pid=338101] ppid=338098 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/338101/stat : 338101 (timeout) S 338098 338101 331442 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321989 8867840 253 134679101440 94222877908992 94222877944008 140733936467312 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94222880041424 94222880043556 94222892748800 140733936469017 140733936469149 140733936469149 140733936476135 0
/proc/338101/statm: 2165 253 229 9 0 87 0
[pid=338102] ppid=338101 vsize=113976 memory=98600 CPUtime=161.87 cores=4,6
/proc/338102/stat : 338102 (CASHWMaxSAT-Dis) R 338101 338101 331442 0 -1 4194304 26733 0 0 0 16124 63 0 0 20 0 1 0 62321989 116711424 24650 134679101440 4194304 14093885 140726026400336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31002624 140726026404895 140726026405014 140726026405014 140726026412000 0
/proc/338102/statm: 28494 24650 1054 2417 0 25596 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 132568 KiB
Current children cumulated memory: 102456 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 338147
/proc/meminfo: memFree=123249072/131524600 swapFree=131071996/131071996
[pid=338098] ppid=338095 vsize=9932 memory=2844 CPUtime=0 cores=4,6
/proc/338098/stat : 338098 (Hybrid-LSMabSP+) S 338095 338098 331442 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 62321989 10170368 711 134679101440 94608197767168 94608198846488 140734630382720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94608200944944 94608200992132 94608201601024 140734630384590 140734630384749 140734630384749 140734630391764 0
/proc/338098/statm: 2483 711 635 264 0 134 0
[pid=338101] ppid=338098 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/338101/stat : 338101 (timeout) S 338098 338101 331442 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321989 8867840 253 134679101440 94222877908992 94222877944008 140733936467312 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94222880041424 94222880043556 94222892748800 140733936469017 140733936469149 140733936469149 140733936476135 0
/proc/338101/statm: 2165 253 229 9 0 87 0
[pid=338102] ppid=338101 vsize=149824 memory=135152 CPUtime=221.75 cores=4,6
/proc/338102/stat : 338102 (CASHWMaxSAT-Dis) R 338101 338101 331442 0 -1 4194304 30967 0 0 0 22077 98 0 0 20 0 1 0 62321989 153419776 33788 134679101440 4194304 14093885 140726026400336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31002624 140726026404895 140726026405014 140726026405014 140726026412000 0
/proc/338102/statm: 37456 33788 1054 2417 0 34558 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 168416 KiB
Current children cumulated memory: 139008 KiB

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

# cumulated CPU time of all completed processes:  user=227.866 s, system=1.00378 s

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

[startup+224 s]*
/proc/loadavg: 4.08 4.09 4.09 5/263 338148
/proc/meminfo: memFree=123249116/131524600 swapFree=131071996/131071996
[pid=338098] ppid=338095 vsize=9932 memory=2844 CPUtime=0 cores=4,6
/proc/338098/stat : 338098 (Hybrid-LSMabSP+) S 338095 338098 331442 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 62321989 10170368 711 134679101440 94608197767168 94608198846488 140734630382720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94608200944944 94608200992132 94608201601024 140734630384590 140734630384749 140734630384749 140734630391764 0
/proc/338098/statm: 2483 711 635 264 0 134 0
[pid=338101] ppid=338098 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/338101/stat : 338101 (timeout) S 338098 338101 331442 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321989 8867840 253 134679101440 94222877908992 94222877944008 140733936467312 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94222880041424 94222880043556 94222892748800 140733936469017 140733936469149 140733936469149 140733936476135 0
/proc/338101/statm: 2165 253 229 9 0 87 0
[pid=338102] ppid=338101 vsize=199144 memory=168124 CPUtime=223.45 cores=4,6
/proc/338102/stat : 338102 (CASHWMaxSAT-Dis) R 338101 338101 331442 0 -1 4194304 31104 0 0 0 22246 99 0 0 20 0 1 0 62321989 203923456 42031 134679101440 4194304 14093885 140726026400336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31002624 140726026404895 140726026405014 140726026405014 140726026412000 0
/proc/338102/statm: 49786 42031 1054 2417 0 46888 0
Current children cumulated CPU time: 223.45 s
Current children cumulated vsize: 217736 KiB
Current children cumulated memory: 171980 KiB

[startup+227.2 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 338148
/proc/meminfo: memFree=123247048/131524600 swapFree=131071996/131071996
[pid=338098] ppid=338095 vsize=9932 memory=2844 CPUtime=0 cores=4,6
/proc/338098/stat : 338098 (Hybrid-LSMabSP+) S 338095 338098 331442 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 62321989 10170368 711 134679101440 94608197767168 94608198846488 140734630382720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94608200944944 94608200992132 94608201601024 140734630384590 140734630384749 140734630384749 140734630391764 0
/proc/338098/statm: 2483 711 635 264 0 134 0
[pid=338101] ppid=338098 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/338101/stat : 338101 (timeout) S 338098 338101 331442 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321989 8867840 253 134679101440 94222877908992 94222877944008 140733936467312 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94222880041424 94222880043556 94222892748800 140733936469017 140733936469149 140733936469149 140733936476135 0
/proc/338101/statm: 2165 253 229 9 0 87 0
[pid=338102] ppid=338101 vsize=199144 memory=170172 CPUtime=226.63 cores=4,6
/proc/338102/stat : 338102 (CASHWMaxSAT-Dis) R 338101 338101 331442 0 -1 4194304 31119 0 0 0 22564 99 0 0 20 0 1 0 62321989 203923456 42543 134679101440 4194304 14093885 140726026400336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31002624 140726026404895 140726026405014 140726026405014 140726026412000 0
/proc/338102/statm: 49786 42543 1054 2417 0 46888 0
Current children cumulated CPU time: 226.63 s
Current children cumulated vsize: 217736 KiB
Current children cumulated memory: 174028 KiB

[startup+228.8 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 338148
/proc/meminfo: memFree=123247008/131524600 swapFree=131071996/131071996
[pid=338098] ppid=338095 vsize=9932 memory=2844 CPUtime=0 cores=4,6
/proc/338098/stat : 338098 (Hybrid-LSMabSP+) S 338095 338098 331442 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 62321989 10170368 711 134679101440 94608197767168 94608198846488 140734630382720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94608200944944 94608200992132 94608201601024 140734630384590 140734630384749 140734630384749 140734630391764 0
/proc/338098/statm: 2483 711 635 264 0 134 0
[pid=338101] ppid=338098 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/338101/stat : 338101 (timeout) S 338098 338101 331442 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321989 8867840 253 134679101440 94222877908992 94222877944008 140733936467312 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94222880041424 94222880043556 94222892748800 140733936469017 140733936469149 140733936469149 140733936476135 0
/proc/338101/statm: 2165 253 229 9 0 87 0
[pid=338102] ppid=338101 vsize=199144 memory=170172 CPUtime=228.23 cores=4,6
/proc/338102/stat : 338102 (CASHWMaxSAT-Dis) R 338101 338101 331442 0 -1 4194304 31119 0 0 0 22724 99 0 0 20 0 1 0 62321989 203923456 42543 134679101440 4194304 14093885 140726026400336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31002624 140726026404895 140726026405014 140726026405014 140726026412000 0
/proc/338102/statm: 49786 42543 1054 2417 0 46888 0
Current children cumulated CPU time: 228.23 s
Current children cumulated vsize: 217736 KiB
Current children cumulated memory: 174028 KiB

[startup+229.2 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 338148
/proc/meminfo: memFree=123281856/131524600 swapFree=131071996/131071996
[pid=338098] ppid=338095 vsize=9932 memory=2844 CPUtime=0 cores=4,6
/proc/338098/stat : 338098 (Hybrid-LSMabSP+) S 338095 338098 331442 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 62321989 10170368 711 134679101440 94608197767168 94608198846488 140734630382720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94608200944944 94608200992132 94608201601024 140734630384590 140734630384749 140734630384749 140734630391764 0
/proc/338098/statm: 2483 711 635 264 0 134 0
[pid=338101] ppid=338098 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/338101/stat : 338101 (timeout) S 338098 338101 331442 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321989 8867840 253 134679101440 94222877908992 94222877944008 140733936467312 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94222880041424 94222880043556 94222892748800 140733936469017 140733936469149 140733936469149 140733936476135 0
/proc/338101/statm: 2165 253 229 9 0 87 0
[pid=338102] ppid=338101 vsize=149824 memory=135152 CPUtime=228.63 cores=4,6
/proc/338102/stat : 338102 (CASHWMaxSAT-Dis) R 338101 338101 331442 0 -1 4194304 31122 0 0 0 22764 99 0 0 20 0 1 0 62321989 153419776 33788 134679101440 4194304 14093885 140726026400336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31002624 140726026404895 140726026405014 140726026405014 140726026412000 0
/proc/338102/statm: 37456 33788 1054 2417 0 34558 0
Current children cumulated CPU time: 228.63 s
Current children cumulated vsize: 168416 KiB
Current children cumulated memory: 139008 KiB

[startup+229.4 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 338148
/proc/meminfo: memFree=123281856/131524600 swapFree=131071996/131071996
[pid=338098] ppid=338095 vsize=9932 memory=2844 CPUtime=0 cores=4,6
/proc/338098/stat : 338098 (Hybrid-LSMabSP+) S 338095 338098 331442 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 62321989 10170368 711 134679101440 94608197767168 94608198846488 140734630382720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94608200944944 94608200992132 94608201601024 140734630384590 140734630384749 140734630384749 140734630391764 0
/proc/338098/statm: 2483 711 635 264 0 134 0
[pid=338101] ppid=338098 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/338101/stat : 338101 (timeout) S 338098 338101 331442 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62321989 8867840 253 134679101440 94222877908992 94222877944008 140733936467312 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94222880041424 94222880043556 94222892748800 140733936469017 140733936469149 140733936469149 140733936476135 0
/proc/338101/statm: 2165 253 229 9 0 87 0
[pid=338102] ppid=338101 vsize=149824 memory=135152 CPUtime=228.83 cores=4,6
/proc/338102/stat : 338102 (CASHWMaxSAT-Dis) R 338101 338101 331442 0 -1 4194304 31122 0 0 0 22784 99 0 0 20 0 1 0 62321989 153419776 33788 134679101440 4194304 14093885 140726026400336 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 31002624 140726026404895 140726026405014 140726026405014 140726026412000 0
/proc/338102/statm: 37456 33788 1054 2417 0 34558 0
Current children cumulated CPU time: 228.83 s
Current children cumulated vsize: 168416 KiB
Current children cumulated memory: 139008 KiB

Child status: 0

Real time (s): 229.439
CPU time (s): 228.87
CPU user time (s): 227.866
CPU system time (s): 1.00378
CPU usage (%): 99.7518
Max. virtual memory (cumulated for all children) (KiB): 217736
Max. memory (cumulated for all children) (KiB): 184268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 227.866
system time used= 1.00378
maximum resident set size= 180412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32592
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44
involuntary context switches= 247


# summary of solver processes directly reported to runsolver:
#   pid: 338098
#   total CPU time (s): 228.87
#   total CPU user time (s): 227.866
#   total CPU system time (s): 1.00378

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.509369 second user time and 1.14814 second system time

The end