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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436669-1722951810/watcher-4436669-1722951810 -o /tmp/evaluation-result-4436669-1722951810/solver-4436669-1722951810 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722948202-334976 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436669-1722951810.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=337827, runsolver pid=337824

[startup+0.101025 s]*
/proc/loadavg: 3.96 4.21 4.17 5/254 337831
/proc/meminfo: memFree=127692596/131655788 swapFree=131071728/131071996
[pid=337827] ppid=337824 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/337827/stat : 337827 (Hybrid-LSMabSP+) S 337824 337827 334966 0 -1 4194304 235 103 0 0 0 0 0 0 20 0 1 0 61551311 10170368 665 134679101440 94271528685568 94271529764888 140729936043312 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94271531863344 94271531910532 94271565049856 140729936049102 140729936049261 140729936049261 140729936056276 0
/proc/337827/statm: 2483 665 585 264 0 134 0
[pid=337830] ppid=337827 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/337830/stat : 337830 (timeout) S 337827 337830 334966 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61551312 8867840 260 134679101440 93994372173824 93994372208840 140723102767920 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93994374306256 93994374308388 93994381549568 140723102774297 140723102774429 140723102774429 140723102781415 0
/proc/337830/statm: 2165 260 236 9 0 87 0
[pid=337831] ppid=337830 vsize=21312 memory=7432 CPUtime=0.09 cores=0,2
/proc/337831/stat : 337831 (CASHWMaxSAT-Dis) R 337830 337830 334966 0 -1 4194304 1165 0 0 0 9 0 0 0 20 0 1 0 61551312 21823488 1858 134679101440 4194304 14093885 140736250097056 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47804416 140736250098719 140736250098838 140736250098838 140736250105824 0
/proc/337831/statm: 5328 1858 782 2417 0 2430 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 11132 KiB

[startup+0.213653 s]*
/proc/loadavg: 3.96 4.21 4.17 5/254 337831
/proc/meminfo: memFree=127685036/131655788 swapFree=131071728/131071996
[pid=337827] ppid=337824 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/337827/stat : 337827 (Hybrid-LSMabSP+) S 337824 337827 334966 0 -1 4194304 235 103 0 0 0 0 0 0 20 0 1 0 61551311 10170368 665 134679101440 94271528685568 94271529764888 140729936043312 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94271531863344 94271531910532 94271565049856 140729936049102 140729936049261 140729936049261 140729936056276 0
/proc/337827/statm: 2483 665 585 264 0 134 0
[pid=337830] ppid=337827 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/337830/stat : 337830 (timeout) S 337827 337830 334966 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61551312 8867840 260 134679101440 93994372173824 93994372208840 140723102767920 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93994374306256 93994374308388 93994381549568 140723102774297 140723102774429 140723102774429 140723102781415 0
/proc/337830/statm: 2165 260 236 9 0 87 0
[pid=337831] ppid=337830 vsize=21312 memory=7432 CPUtime=0.2 cores=0,2
/proc/337831/stat : 337831 (CASHWMaxSAT-Dis) R 337830 337830 334966 0 -1 4194304 1165 0 0 0 20 0 0 0 20 0 1 0 61551312 21823488 1858 134679101440 4194304 14093885 140736250097056 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47804416 140736250098719 140736250098838 140736250098838 140736250105824 0
/proc/337831/statm: 5328 1858 782 2417 0 2430 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 11132 KiB

[startup+0.313555 s]*
/proc/loadavg: 3.96 4.21 4.17 5/254 337831
/proc/meminfo: memFree=127678176/131655788 swapFree=131071728/131071996
[pid=337827] ppid=337824 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/337827/stat : 337827 (Hybrid-LSMabSP+) S 337824 337827 334966 0 -1 4194304 235 103 0 0 0 0 0 0 20 0 1 0 61551311 10170368 665 134679101440 94271528685568 94271529764888 140729936043312 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94271531863344 94271531910532 94271565049856 140729936049102 140729936049261 140729936049261 140729936056276 0
/proc/337827/statm: 2483 665 585 264 0 134 0
[pid=337830] ppid=337827 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/337830/stat : 337830 (timeout) S 337827 337830 334966 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61551312 8867840 260 134679101440 93994372173824 93994372208840 140723102767920 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93994374306256 93994374308388 93994381549568 140723102774297 140723102774429 140723102774429 140723102781415 0
/proc/337830/statm: 2165 260 236 9 0 87 0
[pid=337831] ppid=337830 vsize=21312 memory=7432 CPUtime=0.3 cores=0,2
/proc/337831/stat : 337831 (CASHWMaxSAT-Dis) R 337830 337830 334966 0 -1 4194304 1165 0 0 0 30 0 0 0 20 0 1 0 61551312 21823488 1858 134679101440 4194304 14093885 140736250097056 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47804416 140736250098719 140736250098838 140736250098838 140736250105824 0
/proc/337831/statm: 5328 1858 782 2417 0 2430 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 11132 KiB

[startup+0.700427 s]
/proc/loadavg: 3.96 4.21 4.17 5/254 337831
/proc/meminfo: memFree=127657512/131655788 swapFree=131071728/131071996
[pid=337827] ppid=337824 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/337827/stat : 337827 (Hybrid-LSMabSP+) S 337824 337827 334966 0 -1 4194304 235 103 0 0 0 0 0 0 20 0 1 0 61551311 10170368 665 134679101440 94271528685568 94271529764888 140729936043312 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94271531863344 94271531910532 94271565049856 140729936049102 140729936049261 140729936049261 140729936056276 0
/proc/337827/statm: 2483 665 585 264 0 134 0
[pid=337830] ppid=337827 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/337830/stat : 337830 (timeout) S 337827 337830 334966 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61551312 8867840 260 134679101440 93994372173824 93994372208840 140723102767920 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93994374306256 93994374308388 93994381549568 140723102774297 140723102774429 140723102774429 140723102781415 0
/proc/337830/statm: 2165 260 236 9 0 87 0
[pid=337831] ppid=337830 vsize=21444 memory=7692 CPUtime=0.67 cores=0,2
/proc/337831/stat : 337831 (CASHWMaxSAT-Dis) R 337830 337830 334966 0 -1 4194304 1231 0 0 0 67 0 0 0 20 0 1 0 61551312 21958656 1923 134679101440 4194304 14093885 140736250097056 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47804416 140736250098719 140736250098838 140736250098838 140736250105824 0
/proc/337831/statm: 5361 1923 782 2417 0 2463 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 40036 KiB
Current children cumulated memory: 11392 KiB

[startup+1.50043 s]
/proc/loadavg: 3.96 4.21 4.17 5/254 337831
/proc/meminfo: memFree=127640276/131655788 swapFree=131071728/131071996
[pid=337827] ppid=337824 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/337827/stat : 337827 (Hybrid-LSMabSP+) S 337824 337827 334966 0 -1 4194304 235 103 0 0 0 0 0 0 20 0 1 0 61551311 10170368 665 134679101440 94271528685568 94271529764888 140729936043312 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94271531863344 94271531910532 94271565049856 140729936049102 140729936049261 140729936049261 140729936056276 0
/proc/337827/statm: 2483 665 585 264 0 134 0
[pid=337830] ppid=337827 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/337830/stat : 337830 (timeout) S 337827 337830 334966 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61551312 8867840 260 134679101440 93994372173824 93994372208840 140723102767920 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93994374306256 93994374308388 93994381549568 140723102774297 140723102774429 140723102774429 140723102781415 0
/proc/337830/statm: 2165 260 236 9 0 87 0
[pid=337831] ppid=337830 vsize=37240 memory=22536 CPUtime=1.47 cores=0,2
/proc/337831/stat : 337831 (CASHWMaxSAT-Dis) R 337830 337830 334966 0 -1 4194304 4977 0 0 0 145 2 0 0 20 0 1 0 61551312 38133760 5634 134679101440 4194304 14093885 140736250097056 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47804416 140736250098719 140736250098838 140736250098838 140736250105824 0
/proc/337831/statm: 9310 5634 798 2417 0 6412 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 55832 KiB
Current children cumulated memory: 26236 KiB

[startup+3.11413 s]
/proc/loadavg: 3.96 4.21 4.17 5/254 337831
/proc/meminfo: memFree=127000700/131655788 swapFree=131071728/131071996
[pid=337827] ppid=337824 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/337827/stat : 337827 (Hybrid-LSMabSP+) S 337824 337827 334966 0 -1 4194304 235 103 0 0 0 0 0 0 20 0 1 0 61551311 10170368 665 134679101440 94271528685568 94271529764888 140729936043312 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94271531863344 94271531910532 94271565049856 140729936049102 140729936049261 140729936049261 140729936056276 0
/proc/337827/statm: 2483 665 585 264 0 134 0
[pid=337830] ppid=337827 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/337830/stat : 337830 (timeout) S 337827 337830 334966 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61551312 8867840 260 134679101440 93994372173824 93994372208840 140723102767920 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93994374306256 93994374308388 93994381549568 140723102774297 140723102774429 140723102774429 140723102781415 0
/proc/337830/statm: 2165 260 236 9 0 87 0
[pid=337831] ppid=337830 vsize=44608 memory=30052 CPUtime=3.08 cores=0,2
/proc/337831/stat : 337831 (CASHWMaxSAT-Dis) R 337830 337830 334966 0 -1 4194304 5811 0 0 0 306 2 0 0 20 0 1 0 61551312 45678592 7513 134679101440 4194304 14093885 140736250097056 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47804416 140736250098719 140736250098838 140736250098838 140736250105824 0
/proc/337831/statm: 11152 7513 798 2417 0 8254 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 63200 KiB
Current children cumulated memory: 33752 KiB

[startup+6.30041 s]
/proc/loadavg: 3.96 4.21 4.17 5/254 337831
/proc/meminfo: memFree=126828160/131655788 swapFree=131071728/131071996
[pid=337827] ppid=337824 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/337827/stat : 337827 (Hybrid-LSMabSP+) S 337824 337827 334966 0 -1 4194304 235 103 0 0 0 0 0 0 20 0 1 0 61551311 10170368 665 134679101440 94271528685568 94271529764888 140729936043312 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94271531863344 94271531910532 94271565049856 140729936049102 140729936049261 140729936049261 140729936056276 0
/proc/337827/statm: 2483 665 585 264 0 134 0
[pid=337830] ppid=337827 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/337830/stat : 337830 (timeout) S 337827 337830 334966 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61551312 8867840 260 134679101440 93994372173824 93994372208840 140723102767920 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93994374306256 93994374308388 93994381549568 140723102774297 140723102774429 140723102774429 140723102781415 0
/proc/337830/statm: 2165 260 236 9 0 87 0
[pid=337831] ppid=337830 vsize=51680 memory=37204 CPUtime=6.25 cores=0,2
/proc/337831/stat : 337831 (CASHWMaxSAT-Dis) R 337830 337830 334966 0 -1 4194304 7056 0 0 0 623 2 0 0 20 0 1 0 61551312 52920320 9301 134679101440 4194304 14093885 140736250097056 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47804416 140736250098719 140736250098838 140736250098838 140736250105824 0
/proc/337831/statm: 12920 9301 798 2417 0 10022 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 70272 KiB
Current children cumulated memory: 40904 KiB

[startup+12.7005 s]
/proc/loadavg: 3.96 4.21 4.17 5/254 337832
/proc/meminfo: memFree=126135736/131655788 swapFree=131071728/131071996
[pid=337827] ppid=337824 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/337827/stat : 337827 (Hybrid-LSMabSP+) S 337824 337827 334966 0 -1 4194304 235 103 0 0 0 0 0 0 20 0 1 0 61551311 10170368 665 134679101440 94271528685568 94271529764888 140729936043312 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94271531863344 94271531910532 94271565049856 140729936049102 140729936049261 140729936049261 140729936056276 0
/proc/337827/statm: 2483 665 585 264 0 134 0
[pid=337830] ppid=337827 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/337830/stat : 337830 (timeout) S 337827 337830 334966 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61551312 8867840 260 134679101440 93994372173824 93994372208840 140723102767920 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93994374306256 93994374308388 93994381549568 140723102774297 140723102774429 140723102774429 140723102781415 0
/proc/337830/statm: 2165 260 236 9 0 87 0
[pid=337831] ppid=337830 vsize=52912 memory=39020 CPUtime=12.64 cores=0,2
/proc/337831/stat : 337831 (CASHWMaxSAT-Dis) R 337830 337830 334966 0 -1 4194304 7508 0 0 0 1261 3 0 0 20 0 1 0 61551312 54181888 9755 134679101440 4194304 14093885 140736250097056 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47804416 140736250098719 140736250098838 140736250098838 140736250105824 0
/proc/337831/statm: 13228 9755 798 2417 0 10330 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 71504 KiB
Current children cumulated memory: 42720 KiB

[startup+25.5005 s]
/proc/loadavg: 4.05 4.21 4.17 5/254 337834
/proc/meminfo: memFree=126395296/131655788 swapFree=131071728/131071996
[pid=337827] ppid=337824 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/337827/stat : 337827 (Hybrid-LSMabSP+) S 337824 337827 334966 0 -1 4194304 235 103 0 0 0 0 0 0 20 0 1 0 61551311 10170368 665 134679101440 94271528685568 94271529764888 140729936043312 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94271531863344 94271531910532 94271565049856 140729936049102 140729936049261 140729936049261 140729936056276 0
/proc/337827/statm: 2483 665 585 264 0 134 0
[pid=337830] ppid=337827 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/337830/stat : 337830 (timeout) S 337827 337830 334966 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61551312 8867840 260 134679101440 93994372173824 93994372208840 140723102767920 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93994374306256 93994374308388 93994381549568 140723102774297 140723102774429 140723102774429 140723102781415 0
/proc/337830/statm: 2165 260 236 9 0 87 0
[pid=337831] ppid=337830 vsize=55632 memory=39252 CPUtime=25.39 cores=0,2
/proc/337831/stat : 337831 (CASHWMaxSAT-Dis) R 337830 337830 334966 0 -1 4194304 7586 0 0 0 2536 3 0 0 20 0 1 0 61551312 56967168 9813 134679101440 4194304 14093885 140736250097056 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47804416 140736250098719 140736250098838 140736250098838 140736250105824 0
/proc/337831/statm: 13908 9813 798 2417 0 11010 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 74224 KiB
Current children cumulated memory: 42952 KiB

[startup+51.1141 s]
/proc/loadavg: 4.03 4.19 4.16 5/253 337839
/proc/meminfo: memFree=126134756/131655788 swapFree=131071728/131071996
[pid=337827] ppid=337824 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/337827/stat : 337827 (Hybrid-LSMabSP+) S 337824 337827 334966 0 -1 4194304 235 103 0 0 0 0 0 0 20 0 1 0 61551311 10170368 665 134679101440 94271528685568 94271529764888 140729936043312 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94271531863344 94271531910532 94271565049856 140729936049102 140729936049261 140729936049261 140729936056276 0
/proc/337827/statm: 2483 665 585 264 0 134 0
[pid=337830] ppid=337827 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/337830/stat : 337830 (timeout) S 337827 337830 334966 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61551312 8867840 260 134679101440 93994372173824 93994372208840 140723102767920 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93994374306256 93994374308388 93994381549568 140723102774297 140723102774429 140723102774429 140723102781415 0
/proc/337830/statm: 2165 260 236 9 0 87 0
[pid=337831] ppid=337830 vsize=55632 memory=40816 CPUtime=50.91 cores=0,2
/proc/337831/stat : 337831 (CASHWMaxSAT-Dis) R 337830 337830 334966 0 -1 4194304 9442 0 0 0 5087 4 0 0 20 0 1 0 61551312 56967168 10204 134679101440 4194304 14093885 140736250097056 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 47804416 140736250098719 140736250098838 140736250098838 140736250105824 0
/proc/337831/statm: 13908 10204 798 2417 0 11010 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 74224 KiB
Current children cumulated memory: 44516 KiB

[startup+102.301 s]
/proc/loadavg: 4.23 4.22 4.18 5/253 337848
/proc/meminfo: memFree=126087772/131655788 swapFree=131071728/131071996
[pid=337827] ppid=337824 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/337827/stat : 337827 (Hybrid-LSMabSP+) S 337824 337827 334966 0 -1 4194304 235 103 0 0 0 0 0 0 20 0 1 0 61551311 10170368 665 134679101440 94271528685568 94271529764888 140729936043312 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94271531863344 94271531910532 94271565049856 140729936049102 140729936049261 140729936049261 140729936056276 0

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

/proc/338802/statm: 82497 81180 2833 2753 0 79150 0
Current children cumulated CPU time: 3391.19 s
Current children cumulated vsize: 348580 KiB
Current children cumulated memory: 328496 KiB

[startup+3462.3 s]
/proc/loadavg: 4.34 4.27 4.17 5/252 339729
/proc/meminfo: memFree=127275224/131655788 swapFree=131071728/131071996
[pid=337827] ppid=337824 vsize=9932 memory=2760 CPUtime=1791.36 cores=0,2
/proc/337827/stat : 337827 (Hybrid-LSMabSP+) S 337824 337827 334966 0 -1 4194304 264 17346 0 0 0 0 179128 8 20 0 1 0 61551311 10170368 690 134679101440 94271528685568 94271529764888 140729936043312 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94271531863344 94271531910532 94271565049856 140729936049102 140729936049261 140729936049261 140729936056276 0
/proc/337827/statm: 2483 690 600 264 0 134 0
[pid=338801] ppid=337827 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/338801/stat : 338801 (timeout) S 337827 338801 334966 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61731113 8867840 254 134679101440 94897973886976 94897973921992 140726311022288 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94897976019408 94897976021540 94898000515072 140726311023657 140726311023773 140726311023773 140726311030759 0
/proc/338801/statm: 2165 254 230 9 0 87 0
[pid=338802] ppid=338801 vsize=329988 memory=324720 CPUtime=1659.71 cores=0,2
/proc/338802/stat : 338802 (LS-MabSP) R 338801 338801 334966 0 -1 4194304 126156 0 0 0 161881 4090 0 0 20 0 1 0 61731113 337907712 81180 134679101440 4194304 15467897 140723116028432 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34922496 140723116037180 140723116037283 140723116037283 140723116044269 0
/proc/338802/statm: 82497 81180 2833 2753 0 79150 0
Current children cumulated CPU time: 3451.07 s
Current children cumulated vsize: 348580 KiB
Current children cumulated memory: 328496 KiB

[startup+3522.3 s]
/proc/loadavg: 4.27 4.25 4.17 5/252 339739
/proc/meminfo: memFree=127274340/131655788 swapFree=131071728/131071996
[pid=337827] ppid=337824 vsize=9932 memory=2760 CPUtime=1791.36 cores=0,2
/proc/337827/stat : 337827 (Hybrid-LSMabSP+) S 337824 337827 334966 0 -1 4194304 264 17346 0 0 0 0 179128 8 20 0 1 0 61551311 10170368 690 134679101440 94271528685568 94271529764888 140729936043312 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94271531863344 94271531910532 94271565049856 140729936049102 140729936049261 140729936049261 140729936056276 0
/proc/337827/statm: 2483 690 600 264 0 134 0
[pid=338801] ppid=337827 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/338801/stat : 338801 (timeout) S 337827 338801 334966 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61731113 8867840 254 134679101440 94897973886976 94897973921992 140726311022288 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94897976019408 94897976021540 94898000515072 140726311023657 140726311023773 140726311023773 140726311030759 0
/proc/338801/statm: 2165 254 230 9 0 87 0
[pid=338802] ppid=338801 vsize=329988 memory=324720 CPUtime=1719.59 cores=0,2
/proc/338802/stat : 338802 (LS-MabSP) R 338801 338801 334966 0 -1 4194304 126158 0 0 0 167541 4418 0 0 20 0 1 0 61731113 337907712 81180 134679101440 4194304 15467897 140723116028432 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34922496 140723116037180 140723116037283 140723116037283 140723116044269 0
/proc/338802/statm: 82497 81180 2833 2753 0 79150 0
Current children cumulated CPU time: 3510.95 s
Current children cumulated vsize: 348580 KiB
Current children cumulated memory: 328496 KiB

[startup+3582.3 s]
/proc/loadavg: 4.77 4.40 4.23 5/252 339751
/proc/meminfo: memFree=127273724/131655788 swapFree=131071728/131071996
[pid=337827] ppid=337824 vsize=9932 memory=2760 CPUtime=1791.36 cores=0,2
/proc/337827/stat : 337827 (Hybrid-LSMabSP+) S 337824 337827 334966 0 -1 4194304 264 17346 0 0 0 0 179128 8 20 0 1 0 61551311 10170368 690 134679101440 94271528685568 94271529764888 140729936043312 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94271531863344 94271531910532 94271565049856 140729936049102 140729936049261 140729936049261 140729936056276 0
/proc/337827/statm: 2483 690 600 264 0 134 0
[pid=338801] ppid=337827 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/338801/stat : 338801 (timeout) S 337827 338801 334966 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61731113 8867840 254 134679101440 94897973886976 94897973921992 140726311022288 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94897976019408 94897976021540 94898000515072 140726311023657 140726311023773 140726311023773 140726311030759 0
/proc/338801/statm: 2165 254 230 9 0 87 0
[pid=338802] ppid=338801 vsize=329988 memory=324720 CPUtime=1779.47 cores=0,2
/proc/338802/stat : 338802 (LS-MabSP) R 338801 338801 334966 0 -1 4194304 126160 0 0 0 173204 4743 0 0 20 0 1 0 61731113 337907712 81180 134679101440 4194304 15467897 140723116028432 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34922496 140723116037180 140723116037283 140723116037283 140723116044269 0
/proc/338802/statm: 82497 81180 2833 2753 0 79150 0
Current children cumulated CPU time: 3570.83 s
Current children cumulated vsize: 348580 KiB
Current children cumulated memory: 328496 KiB

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

# cumulated CPU time of all completed processes:  user=3536.33 s, system=48.246 s

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

[startup+3584 s]*
/proc/loadavg: 4.77 4.40 4.23 5/252 339751
/proc/meminfo: memFree=127273724/131655788 swapFree=131071728/131071996
[pid=337827] ppid=337824 vsize=9932 memory=2760 CPUtime=1791.36 cores=0,2
/proc/337827/stat : 337827 (Hybrid-LSMabSP+) S 337824 337827 334966 0 -1 4194304 264 17346 0 0 0 0 179128 8 20 0 1 0 61551311 10170368 690 134679101440 94271528685568 94271529764888 140729936043312 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94271531863344 94271531910532 94271565049856 140729936049102 140729936049261 140729936049261 140729936056276 0
/proc/337827/statm: 2483 690 600 264 0 134 0
[pid=338801] ppid=337827 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/338801/stat : 338801 (timeout) S 337827 338801 334966 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61731113 8867840 254 134679101440 94897973886976 94897973921992 140726311022288 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94897976019408 94897976021540 94898000515072 140726311023657 140726311023773 140726311023773 140726311030759 0
/proc/338801/statm: 2165 254 230 9 0 87 0
[pid=338802] ppid=338801 vsize=329988 memory=324720 CPUtime=1781.18 cores=0,2
/proc/338802/stat : 338802 (LS-MabSP) R 338801 338801 334966 0 -1 4194304 126160 0 0 0 173368 4750 0 0 20 0 1 0 61731113 337907712 81180 134679101440 4194304 15467897 140723116028432 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34922496 140723116037180 140723116037283 140723116037283 140723116044269 0
/proc/338802/statm: 82497 81180 2833 2753 0 79150 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 348580 KiB
Current children cumulated memory: 328496 KiB

[startup+3590.4 s]
/proc/loadavg: 4.71 4.40 4.22 5/252 339753
/proc/meminfo: memFree=127273612/131655788 swapFree=131071728/131071996
[pid=337827] ppid=337824 vsize=9932 memory=2760 CPUtime=1791.36 cores=0,2
/proc/337827/stat : 337827 (Hybrid-LSMabSP+) S 337824 337827 334966 0 -1 4194304 264 17346 0 0 0 0 179128 8 20 0 1 0 61551311 10170368 690 134679101440 94271528685568 94271529764888 140729936043312 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94271531863344 94271531910532 94271565049856 140729936049102 140729936049261 140729936049261 140729936056276 0
/proc/337827/statm: 2483 690 600 264 0 134 0
[pid=338801] ppid=337827 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/338801/stat : 338801 (timeout) S 337827 338801 334966 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61731113 8867840 254 134679101440 94897973886976 94897973921992 140726311022288 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94897976019408 94897976021540 94898000515072 140726311023657 140726311023773 140726311023773 140726311030759 0
/proc/338801/statm: 2165 254 230 9 0 87 0
[pid=338802] ppid=338801 vsize=329988 memory=324720 CPUtime=1787.55 cores=0,2
/proc/338802/stat : 338802 (LS-MabSP) R 338801 338801 334966 0 -1 4194304 126160 0 0 0 173968 4787 0 0 20 0 1 0 61731113 337907712 81180 134679101440 4194304 15467897 140723116028432 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34922496 140723116037180 140723116037283 140723116037283 140723116044269 0
/proc/338802/statm: 82497 81180 2833 2753 0 79150 0
Current children cumulated CPU time: 3578.91 s
Current children cumulated vsize: 348580 KiB
Current children cumulated memory: 328496 KiB

[startup+3593.6 s]
/proc/loadavg: 4.65 4.39 4.22 5/253 339825
/proc/meminfo: memFree=127557432/131655788 swapFree=131071728/131071996
[pid=337827] ppid=337824 vsize=9932 memory=2760 CPUtime=1791.36 cores=0,2
/proc/337827/stat : 337827 (Hybrid-LSMabSP+) S 337824 337827 334966 0 -1 4194304 264 17346 0 0 0 0 179128 8 20 0 1 0 61551311 10170368 690 134679101440 94271528685568 94271529764888 140729936043312 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94271531863344 94271531910532 94271565049856 140729936049102 140729936049261 140729936049261 140729936056276 0
/proc/337827/statm: 2483 690 600 264 0 134 0
[pid=338801] ppid=337827 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/338801/stat : 338801 (timeout) S 337827 338801 334966 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61731113 8867840 254 134679101440 94897973886976 94897973921992 140726311022288 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94897976019408 94897976021540 94898000515072 140726311023657 140726311023773 140726311023773 140726311030759 0
/proc/338801/statm: 2165 254 230 9 0 87 0
[pid=338802] ppid=338801 vsize=329988 memory=324720 CPUtime=1790.75 cores=0,2
/proc/338802/stat : 338802 (LS-MabSP) R 338801 338801 334966 0 -1 4194304 126162 0 0 0 174272 4803 0 0 20 0 1 0 61731113 337907712 81180 134679101440 4194304 15467897 140723116028432 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34922496 140723116037180 140723116037283 140723116037283 140723116044269 0
/proc/338802/statm: 82497 81180 2833 2753 0 79150 0
Current children cumulated CPU time: 3582.11 s
Current children cumulated vsize: 348580 KiB
Current children cumulated memory: 328496 KiB

[startup+3595.2 s]
/proc/loadavg: 4.65 4.39 4.22 5/253 339825
/proc/meminfo: memFree=127212724/131655788 swapFree=131071728/131071996
[pid=337827] ppid=337824 vsize=9932 memory=2760 CPUtime=1791.36 cores=0,2
/proc/337827/stat : 337827 (Hybrid-LSMabSP+) S 337824 337827 334966 0 -1 4194304 264 17346 0 0 0 0 179128 8 20 0 1 0 61551311 10170368 690 134679101440 94271528685568 94271529764888 140729936043312 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94271531863344 94271531910532 94271565049856 140729936049102 140729936049261 140729936049261 140729936056276 0
/proc/337827/statm: 2483 690 600 264 0 134 0
[pid=338801] ppid=337827 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/338801/stat : 338801 (timeout) S 337827 338801 334966 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61731113 8867840 254 134679101440 94897973886976 94897973921992 140726311022288 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94897976019408 94897976021540 94898000515072 140726311023657 140726311023773 140726311023773 140726311030759 0
/proc/338801/statm: 2165 254 230 9 0 87 0
[pid=338802] ppid=338801 vsize=329988 memory=324720 CPUtime=1792.34 cores=0,2
/proc/338802/stat : 338802 (LS-MabSP) R 338801 338801 334966 0 -1 4194304 126162 0 0 0 174425 4809 0 0 20 0 1 0 61731113 337907712 81180 134679101440 4194304 15467897 140723116028432 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34922496 140723116037180 140723116037283 140723116037283 140723116044269 0
/proc/338802/statm: 82497 81180 2833 2753 0 79150 0
Current children cumulated CPU time: 3583.7 s
Current children cumulated vsize: 348580 KiB
Current children cumulated memory: 328496 KiB

[startup+3595.6 s]
/proc/loadavg: 4.65 4.39 4.22 5/253 339825
/proc/meminfo: memFree=127212724/131655788 swapFree=131071728/131071996
[pid=337827] ppid=337824 vsize=9932 memory=2760 CPUtime=1791.36 cores=0,2
/proc/337827/stat : 337827 (Hybrid-LSMabSP+) S 337824 337827 334966 0 -1 4194304 264 17346 0 0 0 0 179128 8 20 0 1 0 61551311 10170368 690 134679101440 94271528685568 94271529764888 140729936043312 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94271531863344 94271531910532 94271565049856 140729936049102 140729936049261 140729936049261 140729936056276 0
/proc/337827/statm: 2483 690 600 264 0 134 0
[pid=338801] ppid=337827 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/338801/stat : 338801 (timeout) S 337827 338801 334966 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61731113 8867840 254 134679101440 94897973886976 94897973921992 140726311022288 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94897976019408 94897976021540 94898000515072 140726311023657 140726311023773 140726311023773 140726311030759 0
/proc/338801/statm: 2165 254 230 9 0 87 0
[pid=338802] ppid=338801 vsize=329988 memory=324720 CPUtime=1792.74 cores=0,2
/proc/338802/stat : 338802 (LS-MabSP) R 338801 338801 334966 0 -1 4194304 126162 0 0 0 174463 4811 0 0 20 0 1 0 61731113 337907712 81180 134679101440 4194304 15467897 140723116028432 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34922496 140723116037180 140723116037283 140723116037283 140723116044269 0
/proc/338802/statm: 82497 81180 2833 2753 0 79150 0
Current children cumulated CPU time: 3584.1 s
Current children cumulated vsize: 348580 KiB
Current children cumulated memory: 328496 KiB

[startup+3596 s]*
/proc/loadavg: 4.68 4.40 4.23 5/248 339861
/proc/meminfo: memFree=127351544/131655788 swapFree=131071728/131071996
[pid=337827] ppid=337824 vsize=9932 memory=2760 CPUtime=1791.36 cores=0,2
/proc/337827/stat : 337827 (Hybrid-LSMabSP+) S 337824 337827 334966 0 -1 4194304 264 17346 0 0 0 0 179128 8 20 0 1 0 61551311 10170368 690 134679101440 94271528685568 94271529764888 140729936043312 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94271531863344 94271531910532 94271565049856 140729936049102 140729936049261 140729936049261 140729936056276 0
/proc/337827/statm: 2483 690 600 264 0 134 0
[pid=338801] ppid=337827 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/338801/stat : 338801 (timeout) S 337827 338801 334966 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61731113 8867840 254 134679101440 94897973886976 94897973921992 140726311022288 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94897976019408 94897976021540 94898000515072 140726311023657 140726311023773 140726311023773 140726311030759 0
/proc/338801/statm: 2165 254 230 9 0 87 0
[pid=338802] ppid=338801 vsize=329988 memory=324720 CPUtime=1793.15 cores=0,2
/proc/338802/stat : 338802 (LS-MabSP) R 338801 338801 334966 0 -1 4194304 126162 0 0 0 174502 4813 0 0 20 0 1 0 61731113 337907712 81180 134679101440 4194304 15467897 140723116028432 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 34922496 140723116037180 140723116037283 140723116037283 140723116044269 0
/proc/338802/statm: 82497 81180 2833 2753 0 79150 0
Current children cumulated CPU time: 3584.51 s
Current children cumulated vsize: 348580 KiB
Current children cumulated memory: 328496 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3584.57
CPU user time (s): 3536.33
CPU system time (s): 48.246
CPU usage (%): 99.6811
Max. virtual memory (cumulated for all children) (KiB): 533512
Max. memory (cumulated for all children) (KiB): 503612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3536.33
system time used= 48.246
maximum resident set size= 499836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146782
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 143
involuntary context switches= 25081


# summary of solver processes directly reported to runsolver:
#   pid: 337827
#   total CPU time (s): 3584.57
#   total CPU user time (s): 3536.33
#   total CPU system time (s): 48.246

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7094 second user time and 40.0766 second system time

The end