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

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

[startup+0.10008 s]*
/proc/loadavg: 3.95 4.22 4.17 5/247 337818
/proc/meminfo: memFree=127945108/131655788 swapFree=131071728/131071996
[pid=337804] ppid=337801 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/337804/stat : 337804 (Hybrid-LSMabSP+) S 337801 337804 334966 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 61551277 10170368 664 134679101440 94422164611072 94422165690392 140734941131888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94422167788848 94422167836036 94422194679808 140734941135822 140734941135981 140734941135981 140734941142996 0
/proc/337804/statm: 2483 664 585 264 0 134 0
[pid=337807] ppid=337804 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/337807/stat : 337807 (timeout) S 337804 337807 334966 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61551278 8867840 255 134679101440 94824594661376 94824594696392 140733888439664 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94824596793808 94824596795940 94824607584256 140733888443417 140733888443549 140733888443549 140733888450535 0
/proc/337807/statm: 2165 255 231 9 0 87 0
[pid=337809] ppid=337807 vsize=21312 memory=7436 CPUtime=0.09 cores=4,6
/proc/337809/stat : 337809 (CASHWMaxSAT-Dis) R 337807 337807 334966 0 -1 4194304 1165 0 0 0 9 0 0 0 20 0 1 0 61551278 21823488 1859 134679101440 4194304 14093885 140735901442896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48082944 140735901447199 140735901447318 140735901447318 140735901454304 0
/proc/337809/statm: 5328 1859 782 2417 0 2430 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 11112 KiB

[startup+0.214595 s]*
/proc/loadavg: 3.95 4.22 4.17 5/246 337818
/proc/meminfo: memFree=127900864/131655788 swapFree=131071728/131071996
[pid=337804] ppid=337801 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/337804/stat : 337804 (Hybrid-LSMabSP+) S 337801 337804 334966 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 61551277 10170368 664 134679101440 94422164611072 94422165690392 140734941131888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94422167788848 94422167836036 94422194679808 140734941135822 140734941135981 140734941135981 140734941142996 0
/proc/337804/statm: 2483 664 585 264 0 134 0
[pid=337807] ppid=337804 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/337807/stat : 337807 (timeout) S 337804 337807 334966 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61551278 8867840 255 134679101440 94824594661376 94824594696392 140733888439664 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94824596793808 94824596795940 94824607584256 140733888443417 140733888443549 140733888443549 140733888450535 0
/proc/337807/statm: 2165 255 231 9 0 87 0
[pid=337809] ppid=337807 vsize=21312 memory=7436 CPUtime=0.21 cores=4,6
/proc/337809/stat : 337809 (CASHWMaxSAT-Dis) R 337807 337807 334966 0 -1 4194304 1165 0 0 0 21 0 0 0 20 0 1 0 61551278 21823488 1859 134679101440 4194304 14093885 140735901442896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48082944 140735901447199 140735901447318 140735901447318 140735901454304 0
/proc/337809/statm: 5328 1859 782 2417 0 2430 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 11112 KiB

[startup+0.314199 s]*
/proc/loadavg: 3.96 4.21 4.17 6/249 337822
/proc/meminfo: memFree=127876580/131655788 swapFree=131071728/131071996
[pid=337804] ppid=337801 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/337804/stat : 337804 (Hybrid-LSMabSP+) S 337801 337804 334966 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 61551277 10170368 664 134679101440 94422164611072 94422165690392 140734941131888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94422167788848 94422167836036 94422194679808 140734941135822 140734941135981 140734941135981 140734941142996 0
/proc/337804/statm: 2483 664 585 264 0 134 0
[pid=337807] ppid=337804 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/337807/stat : 337807 (timeout) S 337804 337807 334966 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61551278 8867840 255 134679101440 94824594661376 94824594696392 140733888439664 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94824596793808 94824596795940 94824607584256 140733888443417 140733888443549 140733888443549 140733888450535 0
/proc/337807/statm: 2165 255 231 9 0 87 0
[pid=337809] ppid=337807 vsize=21312 memory=7436 CPUtime=0.3 cores=4,6
/proc/337809/stat : 337809 (CASHWMaxSAT-Dis) R 337807 337807 334966 0 -1 4194304 1165 0 0 0 30 0 0 0 20 0 1 0 61551278 21823488 1859 134679101440 4194304 14093885 140735901442896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48082944 140735901447199 140735901447318 140735901447318 140735901454304 0
/proc/337809/statm: 5328 1859 782 2417 0 2430 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 11112 KiB

[startup+0.700445 s]
/proc/loadavg: 3.96 4.21 4.17 5/254 337831
/proc/meminfo: memFree=127687724/131655788 swapFree=131071728/131071996
[pid=337804] ppid=337801 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/337804/stat : 337804 (Hybrid-LSMabSP+) S 337801 337804 334966 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 61551277 10170368 664 134679101440 94422164611072 94422165690392 140734941131888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94422167788848 94422167836036 94422194679808 140734941135822 140734941135981 140734941135981 140734941142996 0
/proc/337804/statm: 2483 664 585 264 0 134 0
[pid=337807] ppid=337804 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/337807/stat : 337807 (timeout) S 337804 337807 334966 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61551278 8867840 255 134679101440 94824594661376 94824594696392 140733888439664 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94824596793808 94824596795940 94824607584256 140733888443417 140733888443549 140733888443549 140733888450535 0
/proc/337807/statm: 2165 255 231 9 0 87 0
[pid=337809] ppid=337807 vsize=21312 memory=7436 CPUtime=0.67 cores=4,6
/proc/337809/stat : 337809 (CASHWMaxSAT-Dis) R 337807 337807 334966 0 -1 4194304 1199 0 0 0 67 0 0 0 20 0 1 0 61551278 21823488 1859 134679101440 4194304 14093885 140735901442896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48082944 140735901447199 140735901447318 140735901447318 140735901454304 0
/proc/337809/statm: 5328 1859 782 2417 0 2430 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 11112 KiB

[startup+1.50043 s]
/proc/loadavg: 3.96 4.21 4.17 5/254 337831
/proc/meminfo: memFree=127639956/131655788 swapFree=131071728/131071996
[pid=337804] ppid=337801 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/337804/stat : 337804 (Hybrid-LSMabSP+) S 337801 337804 334966 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 61551277 10170368 664 134679101440 94422164611072 94422165690392 140734941131888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94422167788848 94422167836036 94422194679808 140734941135822 140734941135981 140734941135981 140734941142996 0
/proc/337804/statm: 2483 664 585 264 0 134 0
[pid=337807] ppid=337804 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/337807/stat : 337807 (timeout) S 337804 337807 334966 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61551278 8867840 255 134679101440 94824594661376 94824594696392 140733888439664 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94824596793808 94824596795940 94824607584256 140733888443417 140733888443549 140733888443549 140733888450535 0
/proc/337807/statm: 2165 255 231 9 0 87 0
[pid=337809] ppid=337807 vsize=37764 memory=23068 CPUtime=1.47 cores=4,6
/proc/337809/stat : 337809 (CASHWMaxSAT-Dis) R 337807 337807 334966 0 -1 4194304 5111 0 0 0 146 1 0 0 20 0 1 0 61551278 38670336 5767 134679101440 4194304 14093885 140735901442896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48082944 140735901447199 140735901447318 140735901447318 140735901454304 0
/proc/337809/statm: 9441 5767 798 2417 0 6543 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 56356 KiB
Current children cumulated memory: 26744 KiB

[startup+3.11383 s]
/proc/loadavg: 3.96 4.21 4.17 5/254 337831
/proc/meminfo: memFree=127116116/131655788 swapFree=131071728/131071996
[pid=337804] ppid=337801 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/337804/stat : 337804 (Hybrid-LSMabSP+) S 337801 337804 334966 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 61551277 10170368 664 134679101440 94422164611072 94422165690392 140734941131888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94422167788848 94422167836036 94422194679808 140734941135822 140734941135981 140734941135981 140734941142996 0
/proc/337804/statm: 2483 664 585 264 0 134 0
[pid=337807] ppid=337804 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/337807/stat : 337807 (timeout) S 337804 337807 334966 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61551278 8867840 255 134679101440 94824594661376 94824594696392 140733888439664 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94824596793808 94824596795940 94824607584256 140733888443417 140733888443549 140733888443549 140733888450535 0
/proc/337807/statm: 2165 255 231 9 0 87 0
[pid=337809] ppid=337807 vsize=45264 memory=30652 CPUtime=3.08 cores=4,6
/proc/337809/stat : 337809 (CASHWMaxSAT-Dis) R 337807 337807 334966 0 -1 4194304 6509 0 0 0 306 2 0 0 20 0 1 0 61551278 46350336 7663 134679101440 4194304 14093885 140735901442896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48082944 140735901447199 140735901447318 140735901447318 140735901454304 0
/proc/337809/statm: 11316 7663 798 2417 0 8418 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 63856 KiB
Current children cumulated memory: 34328 KiB

[startup+6.30046 s]
/proc/loadavg: 3.96 4.21 4.17 5/254 337831
/proc/meminfo: memFree=126858032/131655788 swapFree=131071728/131071996
[pid=337804] ppid=337801 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/337804/stat : 337804 (Hybrid-LSMabSP+) S 337801 337804 334966 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 61551277 10170368 664 134679101440 94422164611072 94422165690392 140734941131888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94422167788848 94422167836036 94422194679808 140734941135822 140734941135981 140734941135981 140734941142996 0
/proc/337804/statm: 2483 664 585 264 0 134 0
[pid=337807] ppid=337804 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/337807/stat : 337807 (timeout) S 337804 337807 334966 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61551278 8867840 255 134679101440 94824594661376 94824594696392 140733888439664 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94824596793808 94824596795940 94824607584256 140733888443417 140733888443549 140733888443549 140733888450535 0
/proc/337807/statm: 2165 255 231 9 0 87 0
[pid=337809] ppid=337807 vsize=52336 memory=38312 CPUtime=6.26 cores=4,6
/proc/337809/stat : 337809 (CASHWMaxSAT-Dis) R 337807 337807 334966 0 -1 4194304 7304 0 0 0 624 2 0 0 20 0 1 0 61551278 53592064 9578 134679101440 4194304 14093885 140735901442896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48082944 140735901447199 140735901447318 140735901447318 140735901454304 0
/proc/337809/statm: 13084 9578 798 2417 0 10186 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 70928 KiB
Current children cumulated memory: 41988 KiB

[startup+12.7004 s]
/proc/loadavg: 3.96 4.21 4.17 5/254 337832
/proc/meminfo: memFree=126269100/131655788 swapFree=131071728/131071996
[pid=337804] ppid=337801 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/337804/stat : 337804 (Hybrid-LSMabSP+) S 337801 337804 334966 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 61551277 10170368 664 134679101440 94422164611072 94422165690392 140734941131888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94422167788848 94422167836036 94422194679808 140734941135822 140734941135981 140734941135981 140734941142996 0
/proc/337804/statm: 2483 664 585 264 0 134 0
[pid=337807] ppid=337804 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/337807/stat : 337807 (timeout) S 337804 337807 334966 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61551278 8867840 255 134679101440 94824594661376 94824594696392 140733888439664 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94824596793808 94824596795940 94824607584256 140733888443417 140733888443549 140733888443549 140733888450535 0
/proc/337807/statm: 2165 255 231 9 0 87 0
[pid=337809] ppid=337807 vsize=52336 memory=38312 CPUtime=12.64 cores=4,6
/proc/337809/stat : 337809 (CASHWMaxSAT-Dis) R 337807 337807 334966 0 -1 4194304 7312 0 0 0 1262 2 0 0 20 0 1 0 61551278 53592064 9578 134679101440 4194304 14093885 140735901442896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48082944 140735901447199 140735901447318 140735901447318 140735901454304 0
/proc/337809/statm: 13084 9578 798 2417 0 10186 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 70928 KiB
Current children cumulated memory: 41988 KiB

[startup+25.5005 s]
/proc/loadavg: 4.05 4.22 4.17 5/254 337834
/proc/meminfo: memFree=126395296/131655788 swapFree=131071728/131071996
[pid=337804] ppid=337801 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/337804/stat : 337804 (Hybrid-LSMabSP+) S 337801 337804 334966 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 61551277 10170368 664 134679101440 94422164611072 94422165690392 140734941131888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94422167788848 94422167836036 94422194679808 140734941135822 140734941135981 140734941135981 140734941142996 0
/proc/337804/statm: 2483 664 585 264 0 134 0
[pid=337807] ppid=337804 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/337807/stat : 337807 (timeout) S 337804 337807 334966 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61551278 8867840 255 134679101440 94824594661376 94824594696392 140733888439664 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94824596793808 94824596795940 94824607584256 140733888443417 140733888443549 140733888443549 140733888450535 0
/proc/337807/statm: 2165 255 231 9 0 87 0
[pid=337809] ppid=337807 vsize=71056 memory=45288 CPUtime=25.41 cores=4,6
/proc/337809/stat : 337809 (CASHWMaxSAT-Dis) R 337807 337807 334966 0 -1 4194304 8961 0 0 0 2538 3 0 0 20 0 1 0 61551278 72761344 11322 134679101440 4194304 14093885 140735901442896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48082944 140735901447199 140735901447318 140735901447318 140735901454304 0
/proc/337809/statm: 17764 11322 798 2417 0 14866 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 89648 KiB
Current children cumulated memory: 48964 KiB

[startup+51.1137 s]
/proc/loadavg: 4.03 4.19 4.16 5/253 337839
/proc/meminfo: memFree=126135092/131655788 swapFree=131071728/131071996
[pid=337804] ppid=337801 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/337804/stat : 337804 (Hybrid-LSMabSP+) S 337801 337804 334966 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 61551277 10170368 664 134679101440 94422164611072 94422165690392 140734941131888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94422167788848 94422167836036 94422194679808 140734941135822 140734941135981 140734941135981 140734941142996 0
/proc/337804/statm: 2483 664 585 264 0 134 0
[pid=337807] ppid=337804 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/337807/stat : 337807 (timeout) S 337804 337807 334966 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61551278 8867840 255 134679101440 94824594661376 94824594696392 140733888439664 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94824596793808 94824596795940 94824607584256 140733888443417 140733888443549 140733888443549 140733888450535 0
/proc/337807/statm: 2165 255 231 9 0 87 0
[pid=337809] ppid=337807 vsize=71056 memory=53900 CPUtime=50.97 cores=4,6
/proc/337809/stat : 337809 (CASHWMaxSAT-Dis) R 337807 337807 334966 0 -1 4194304 9153 0 0 0 5094 3 0 0 20 0 1 0 61551278 72761344 13475 134679101440 4194304 14093885 140735901442896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48082944 140735901447199 140735901447318 140735901447318 140735901454304 0
/proc/337809/statm: 17764 13475 798 2417 0 14866 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 89648 KiB
Current children cumulated memory: 57576 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=337804] ppid=337801 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/337804/stat : 337804 (Hybrid-LSMabSP+) S 337801 337804 334966 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 61551277 10170368 664 134679101440 94422164611072 94422165690392 140734941131888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94422167788848 94422167836036 94422194679808 140734941135822 140734941135981 140734941135981 140734941142996 0

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

/proc/338800/statm: 62063 60757 2833 2753 0 58716 0
Current children cumulated CPU time: 3393.73 s
Current children cumulated vsize: 266844 KiB
Current children cumulated memory: 246648 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=337804] ppid=337801 vsize=9932 memory=2700 CPUtime=1793.34 cores=4,6
/proc/337804/stat : 337804 (Hybrid-LSMabSP+) S 337801 337804 334966 0 -1 4194304 266 15002 0 0 0 0 179327 7 20 0 1 0 61551277 10170368 675 134679101440 94422164611072 94422165690392 140734941131888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94422167788848 94422167836036 94422194679808 140734941135822 140734941135981 140734941135981 140734941142996 0
/proc/337804/statm: 2483 675 585 264 0 134 0
[pid=338799] ppid=337804 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/338799/stat : 338799 (timeout) S 337804 338799 334966 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731079 8867840 230 134679101440 94760642674688 94760642709704 140733403266544 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94760644807120 94760644809252 94760666075136 140733403272233 140733403272349 140733403272349 140733403279335 0
/proc/338799/statm: 2165 230 205 9 0 87 0
[pid=338800] ppid=338799 vsize=248252 memory=243028 CPUtime=1660.28 cores=4,6
/proc/338800/stat : 338800 (LS-MabSP) R 338799 338799 334966 0 -1 4194304 118906 0 0 0 161909 4119 0 0 20 0 1 0 61731079 254210048 60757 134679101440 4194304 15467897 140733431945632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 43368448 140733431948348 140733431948451 140733431948451 140733431955437 0
/proc/338800/statm: 62063 60757 2833 2753 0 58716 0
Current children cumulated CPU time: 3453.62 s
Current children cumulated vsize: 266844 KiB
Current children cumulated memory: 246648 KiB

[startup+3522.3 s]
/proc/loadavg: 4.27 4.25 4.17 5/252 339739
/proc/meminfo: memFree=127274332/131655788 swapFree=131071728/131071996
[pid=337804] ppid=337801 vsize=9932 memory=2700 CPUtime=1793.34 cores=4,6
/proc/337804/stat : 337804 (Hybrid-LSMabSP+) S 337801 337804 334966 0 -1 4194304 266 15002 0 0 0 0 179327 7 20 0 1 0 61551277 10170368 675 134679101440 94422164611072 94422165690392 140734941131888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94422167788848 94422167836036 94422194679808 140734941135822 140734941135981 140734941135981 140734941142996 0
/proc/337804/statm: 2483 675 585 264 0 134 0
[pid=338799] ppid=337804 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/338799/stat : 338799 (timeout) S 337804 338799 334966 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731079 8867840 230 134679101440 94760642674688 94760642709704 140733403266544 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94760644807120 94760644809252 94760666075136 140733403272233 140733403272349 140733403272349 140733403279335 0
/proc/338799/statm: 2165 230 205 9 0 87 0
[pid=338800] ppid=338799 vsize=248252 memory=243028 CPUtime=1720.16 cores=4,6
/proc/338800/stat : 338800 (LS-MabSP) R 338799 338799 334966 0 -1 4194304 118908 0 0 0 167581 4435 0 0 20 0 1 0 61731079 254210048 60757 134679101440 4194304 15467897 140733431945632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 43368448 140733431948348 140733431948451 140733431948451 140733431955437 0
/proc/338800/statm: 62063 60757 2833 2753 0 58716 0
Current children cumulated CPU time: 3513.5 s
Current children cumulated vsize: 266844 KiB
Current children cumulated memory: 246648 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=337804] ppid=337801 vsize=9932 memory=2700 CPUtime=1793.34 cores=4,6
/proc/337804/stat : 337804 (Hybrid-LSMabSP+) S 337801 337804 334966 0 -1 4194304 266 15002 0 0 0 0 179327 7 20 0 1 0 61551277 10170368 675 134679101440 94422164611072 94422165690392 140734941131888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94422167788848 94422167836036 94422194679808 140734941135822 140734941135981 140734941135981 140734941142996 0
/proc/337804/statm: 2483 675 585 264 0 134 0
[pid=338799] ppid=337804 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/338799/stat : 338799 (timeout) S 337804 338799 334966 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731079 8867840 230 134679101440 94760642674688 94760642709704 140733403266544 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94760644807120 94760644809252 94760666075136 140733403272233 140733403272349 140733403272349 140733403279335 0
/proc/338799/statm: 2165 230 205 9 0 87 0
[pid=338800] ppid=338799 vsize=248252 memory=243028 CPUtime=1780.05 cores=4,6
/proc/338800/stat : 338800 (LS-MabSP) R 338799 338799 334966 0 -1 4194304 118910 0 0 0 173246 4759 0 0 20 0 1 0 61731079 254210048 60757 134679101440 4194304 15467897 140733431945632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 43368448 140733431948348 140733431948451 140733431948451 140733431955437 0
/proc/338800/statm: 62063 60757 2833 2753 0 58716 0
Current children cumulated CPU time: 3573.39 s
Current children cumulated vsize: 266844 KiB
Current children cumulated memory: 246648 KiB

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

# cumulated CPU time of all completed processes:  user=3538.68 s, system=48.4445 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=337804] ppid=337801 vsize=9932 memory=2700 CPUtime=1793.34 cores=4,6
/proc/337804/stat : 337804 (Hybrid-LSMabSP+) S 337801 337804 334966 0 -1 4194304 266 15002 0 0 0 0 179327 7 20 0 1 0 61551277 10170368 675 134679101440 94422164611072 94422165690392 140734941131888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94422167788848 94422167836036 94422194679808 140734941135822 140734941135981 140734941135981 140734941142996 0
/proc/337804/statm: 2483 675 585 264 0 134 0
[pid=338799] ppid=337804 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/338799/stat : 338799 (timeout) S 337804 338799 334966 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731079 8867840 230 134679101440 94760642674688 94760642709704 140733403266544 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94760644807120 94760644809252 94760666075136 140733403272233 140733403272349 140733403272349 140733403279335 0
/proc/338799/statm: 2165 230 205 9 0 87 0
[pid=338800] ppid=338799 vsize=248252 memory=243028 CPUtime=1781.76 cores=4,6
/proc/338800/stat : 338800 (LS-MabSP) R 338799 338799 334966 0 -1 4194304 118910 0 0 0 173408 4768 0 0 20 0 1 0 61731079 254210048 60757 134679101440 4194304 15467897 140733431945632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 43368448 140733431948348 140733431948451 140733431948451 140733431955437 0
/proc/338800/statm: 62063 60757 2833 2753 0 58716 0
Current children cumulated CPU time: 3575.1 s
Current children cumulated vsize: 266844 KiB
Current children cumulated memory: 246648 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=337804] ppid=337801 vsize=9932 memory=2700 CPUtime=1793.34 cores=4,6
/proc/337804/stat : 337804 (Hybrid-LSMabSP+) S 337801 337804 334966 0 -1 4194304 266 15002 0 0 0 0 179327 7 20 0 1 0 61551277 10170368 675 134679101440 94422164611072 94422165690392 140734941131888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94422167788848 94422167836036 94422194679808 140734941135822 140734941135981 140734941135981 140734941142996 0
/proc/337804/statm: 2483 675 585 264 0 134 0
[pid=338799] ppid=337804 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/338799/stat : 338799 (timeout) S 337804 338799 334966 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731079 8867840 230 134679101440 94760642674688 94760642709704 140733403266544 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94760644807120 94760644809252 94760666075136 140733403272233 140733403272349 140733403272349 140733403279335 0
/proc/338799/statm: 2165 230 205 9 0 87 0
[pid=338800] ppid=338799 vsize=248252 memory=243028 CPUtime=1788.13 cores=4,6
/proc/338800/stat : 338800 (LS-MabSP) R 338799 338799 334966 0 -1 4194304 118910 0 0 0 174010 4803 0 0 20 0 1 0 61731079 254210048 60757 134679101440 4194304 15467897 140733431945632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 43368448 140733431948348 140733431948451 140733431948451 140733431955437 0
/proc/338800/statm: 62063 60757 2833 2753 0 58716 0
Current children cumulated CPU time: 3581.47 s
Current children cumulated vsize: 266844 KiB
Current children cumulated memory: 246648 KiB

[startup+3593.6 s]
/proc/loadavg: 4.65 4.39 4.22 5/246 339812
/proc/meminfo: memFree=127585672/131655788 swapFree=131071728/131071996
[pid=337804] ppid=337801 vsize=9932 memory=2700 CPUtime=1793.34 cores=4,6
/proc/337804/stat : 337804 (Hybrid-LSMabSP+) S 337801 337804 334966 0 -1 4194304 266 15002 0 0 0 0 179327 7 20 0 1 0 61551277 10170368 675 134679101440 94422164611072 94422165690392 140734941131888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94422167788848 94422167836036 94422194679808 140734941135822 140734941135981 140734941135981 140734941142996 0
/proc/337804/statm: 2483 675 585 264 0 134 0
[pid=338799] ppid=337804 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/338799/stat : 338799 (timeout) S 337804 338799 334966 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731079 8867840 230 134679101440 94760642674688 94760642709704 140733403266544 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94760644807120 94760644809252 94760666075136 140733403272233 140733403272349 140733403272349 140733403279335 0
/proc/338799/statm: 2165 230 205 9 0 87 0
[pid=338800] ppid=338799 vsize=248252 memory=243028 CPUtime=1791.33 cores=4,6
/proc/338800/stat : 338800 (LS-MabSP) R 338799 338799 334966 0 -1 4194304 118910 0 0 0 174313 4820 0 0 20 0 1 0 61731079 254210048 60757 134679101440 4194304 15467897 140733431945632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 43368448 140733431948348 140733431948451 140733431948451 140733431955437 0
/proc/338800/statm: 62063 60757 2833 2753 0 58716 0
Current children cumulated CPU time: 3584.67 s
Current children cumulated vsize: 266844 KiB
Current children cumulated memory: 246648 KiB

[startup+3595.2 s]
/proc/loadavg: 4.65 4.39 4.22 5/253 339825
/proc/meminfo: memFree=127274540/131655788 swapFree=131071728/131071996
[pid=337804] ppid=337801 vsize=9932 memory=2700 CPUtime=1793.34 cores=4,6
/proc/337804/stat : 337804 (Hybrid-LSMabSP+) S 337801 337804 334966 0 -1 4194304 266 15002 0 0 0 0 179327 7 20 0 1 0 61551277 10170368 675 134679101440 94422164611072 94422165690392 140734941131888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94422167788848 94422167836036 94422194679808 140734941135822 140734941135981 140734941135981 140734941142996 0
/proc/337804/statm: 2483 675 585 264 0 134 0
[pid=338799] ppid=337804 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/338799/stat : 338799 (timeout) S 337804 338799 334966 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731079 8867840 230 134679101440 94760642674688 94760642709704 140733403266544 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94760644807120 94760644809252 94760666075136 140733403272233 140733403272349 140733403272349 140733403279335 0
/proc/338799/statm: 2165 230 205 9 0 87 0
[pid=338800] ppid=338799 vsize=248252 memory=243028 CPUtime=1792.92 cores=4,6
/proc/338800/stat : 338800 (LS-MabSP) R 338799 338799 334966 0 -1 4194304 118910 0 0 0 174461 4831 0 0 20 0 1 0 61731079 254210048 60757 134679101440 4194304 15467897 140733431945632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 43368448 140733431948348 140733431948451 140733431948451 140733431955437 0
/proc/338800/statm: 62063 60757 2833 2753 0 58716 0
Current children cumulated CPU time: 3586.26 s
Current children cumulated vsize: 266844 KiB
Current children cumulated memory: 246648 KiB

[startup+3595.6 s]
/proc/loadavg: 4.65 4.39 4.22 5/253 339825
/proc/meminfo: memFree=127274540/131655788 swapFree=131071728/131071996
[pid=337804] ppid=337801 vsize=9932 memory=2700 CPUtime=1793.34 cores=4,6
/proc/337804/stat : 337804 (Hybrid-LSMabSP+) S 337801 337804 334966 0 -1 4194304 266 15002 0 0 0 0 179327 7 20 0 1 0 61551277 10170368 675 134679101440 94422164611072 94422165690392 140734941131888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94422167788848 94422167836036 94422194679808 140734941135822 140734941135981 140734941135981 140734941142996 0
/proc/337804/statm: 2483 675 585 264 0 134 0
[pid=338799] ppid=337804 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/338799/stat : 338799 (timeout) S 337804 338799 334966 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731079 8867840 230 134679101440 94760642674688 94760642709704 140733403266544 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94760644807120 94760644809252 94760666075136 140733403272233 140733403272349 140733403272349 140733403279335 0
/proc/338799/statm: 2165 230 205 9 0 87 0
[pid=338800] ppid=338799 vsize=248252 memory=243028 CPUtime=1793.32 cores=4,6
/proc/338800/stat : 338800 (LS-MabSP) R 338799 338799 334966 0 -1 4194304 118910 0 0 0 174499 4833 0 0 20 0 1 0 61731079 254210048 60757 134679101440 4194304 15467897 140733431945632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 43368448 140733431948348 140733431948451 140733431948451 140733431955437 0
/proc/338800/statm: 62063 60757 2833 2753 0 58716 0
Current children cumulated CPU time: 3586.66 s
Current children cumulated vsize: 266844 KiB
Current children cumulated memory: 246648 KiB

[startup+3596 s]*
/proc/loadavg: 4.65 4.39 4.22 5/253 339825
/proc/meminfo: memFree=127117816/131655788 swapFree=131071728/131071996
[pid=337804] ppid=337801 vsize=9932 memory=2700 CPUtime=1793.34 cores=4,6
/proc/337804/stat : 337804 (Hybrid-LSMabSP+) S 337801 337804 334966 0 -1 4194304 266 15002 0 0 0 0 179327 7 20 0 1 0 61551277 10170368 675 134679101440 94422164611072 94422165690392 140734941131888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94422167788848 94422167836036 94422194679808 140734941135822 140734941135981 140734941135981 140734941142996 0
/proc/337804/statm: 2483 675 585 264 0 134 0
[pid=338799] ppid=337804 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/338799/stat : 338799 (timeout) S 337804 338799 334966 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731079 8867840 230 134679101440 94760642674688 94760642709704 140733403266544 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94760644807120 94760644809252 94760666075136 140733403272233 140733403272349 140733403272349 140733403279335 0
/proc/338799/statm: 2165 230 205 9 0 87 0
[pid=338800] ppid=338799 vsize=248252 memory=243028 CPUtime=1793.73 cores=4,6
/proc/338800/stat : 338800 (LS-MabSP) R 338799 338799 334966 0 -1 4194304 118910 0 0 0 174538 4835 0 0 20 0 1 0 61731079 254210048 60757 134679101440 4194304 15467897 140733431945632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 43368448 140733431948348 140733431948451 140733431948451 140733431955437 0
/proc/338800/statm: 62063 60757 2833 2753 0 58716 0
Current children cumulated CPU time: 3587.07 s
Current children cumulated vsize: 266844 KiB
Current children cumulated memory: 246648 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3587.13
CPU user time (s): 3538.68
CPU system time (s): 48.4445
CPU usage (%): 99.7522
Max. virtual memory (cumulated for all children) (KiB): 473264
Max. memory (cumulated for all children) (KiB): 448768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3538.68
system time used= 48.4445
maximum resident set size= 445148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137189
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= 129
involuntary context switches= 1524


# summary of solver processes directly reported to runsolver:
#   pid: 337804
#   total CPU time (s): 3587.13
#   total CPU user time (s): 3538.68
#   total CPU system time (s): 48.4445

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.2297 second user time and 38.3607 second system time

The end