runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (62265 MiB free)
  memory of node 1: 64510 MiB (63577 MiB free)
  node distances:
     10  21
     21  10

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

[startup+0.100879 s]*
/proc/loadavg: 0.14 0.10 0.09 7/269 332074
/proc/meminfo: memFree=128777444/131524600 swapFree=131071996/131071996
[pid=332064] ppid=332058 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/332064/stat : 332064 (Hybrid-LSMabSP+) S 332058 332064 331984 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 61419749 10170368 691 134679101440 94338282885120 94338283964440 140733974546288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94338286062896 94338286110084 94338306154496 140733974553550 140733974553709 140733974553709 140733974560724 0
/proc/332064/statm: 2483 691 614 264 0 134 0
[pid=332070] ppid=332064 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/332070/stat : 332070 (timeout) S 332064 332070 331984 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61419749 8867840 229 134679101440 93911095287808 93911095322824 140720599488544 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 2 0 0 93911097420240 93911097422372 93911117422592 140720599495705 140720599495837 140720599495837 140720599502823 0
/proc/332070/statm: 2165 229 205 9 0 87 0
[pid=332073] ppid=332070 vsize=37112 memory=18684 CPUtime=0.07 cores=0,2
/proc/332073/stat : 332073 (CASHWMaxSAT-Dis) R 332070 332070 331984 0 -1 4194304 3991 0 0 0 7 0 0 0 20 0 1 0 61419751 38002688 4671 134679101440 4194304 14093885 140726403242320 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28930048 140726403245087 140726403245206 140726403245206 140726403252192 0
/proc/332073/statm: 9278 4671 750 2417 0 6380 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 55704 KiB
Current children cumulated memory: 22364 KiB

[startup+0.205341 s]*
/proc/loadavg: 0.14 0.10 0.09 6/269 332074
/proc/meminfo: memFree=128722676/131524600 swapFree=131071996/131071996
[pid=332064] ppid=332058 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/332064/stat : 332064 (Hybrid-LSMabSP+) S 332058 332064 331984 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 61419749 10170368 691 134679101440 94338282885120 94338283964440 140733974546288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94338286062896 94338286110084 94338306154496 140733974553550 140733974553709 140733974553709 140733974560724 0
/proc/332064/statm: 2483 691 614 264 0 134 0
[pid=332070] ppid=332064 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/332070/stat : 332070 (timeout) S 332064 332070 331984 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61419749 8867840 229 134679101440 93911095287808 93911095322824 140720599488544 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 2 0 0 93911097420240 93911097422372 93911117422592 140720599495705 140720599495837 140720599495837 140720599502823 0
/proc/332070/statm: 2165 229 205 9 0 87 0
[pid=332073] ppid=332070 vsize=56792 memory=38144 CPUtime=0.18 cores=0,2
/proc/332073/stat : 332073 (CASHWMaxSAT-Dis) R 332070 332070 331984 0 -1 4194304 8912 0 0 0 17 1 0 0 20 0 1 0 61419751 58155008 9536 134679101440 4194304 14093885 140726403242320 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28930048 140726403245087 140726403245206 140726403245206 140726403252192 0
/proc/332073/statm: 14198 9536 750 2417 0 11300 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 75384 KiB
Current children cumulated memory: 41824 KiB

[startup+0.306064 s]*
/proc/loadavg: 0.14 0.10 0.09 7/269 332074
/proc/meminfo: memFree=128703396/131524600 swapFree=131071996/131071996
[pid=332064] ppid=332058 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/332064/stat : 332064 (Hybrid-LSMabSP+) S 332058 332064 331984 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 61419749 10170368 691 134679101440 94338282885120 94338283964440 140733974546288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94338286062896 94338286110084 94338306154496 140733974553550 140733974553709 140733974553709 140733974560724 0
/proc/332064/statm: 2483 691 614 264 0 134 0
[pid=332070] ppid=332064 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/332070/stat : 332070 (timeout) S 332064 332070 331984 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61419749 8867840 229 134679101440 93911095287808 93911095322824 140720599488544 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 2 0 0 93911097420240 93911097422372 93911117422592 140720599495705 140720599495837 140720599495837 140720599502823 0
/proc/332070/statm: 2165 229 205 9 0 87 0
[pid=332073] ppid=332070 vsize=75440 memory=56888 CPUtime=0.27 cores=0,2
/proc/332073/stat : 332073 (CASHWMaxSAT-Dis) R 332070 332070 331984 0 -1 4194304 13601 0 0 0 26 1 0 0 20 0 1 0 61419751 77250560 14222 134679101440 4194304 14093885 140726403242320 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28930048 140726403245087 140726403245206 140726403245206 140726403252192 0
/proc/332073/statm: 18860 14222 750 2417 0 15962 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 94032 KiB
Current children cumulated memory: 60568 KiB

[startup+0.700239 s]
/proc/loadavg: 0.45 0.16 0.11 8/269 332074
/proc/meminfo: memFree=128665960/131524600 swapFree=131071996/131071996
[pid=332064] ppid=332058 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/332064/stat : 332064 (Hybrid-LSMabSP+) S 332058 332064 331984 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 61419749 10170368 691 134679101440 94338282885120 94338283964440 140733974546288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94338286062896 94338286110084 94338306154496 140733974553550 140733974553709 140733974553709 140733974560724 0
/proc/332064/statm: 2483 691 614 264 0 134 0
[pid=332070] ppid=332064 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/332070/stat : 332070 (timeout) S 332064 332070 331984 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61419749 8867840 229 134679101440 93911095287808 93911095322824 140720599488544 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 2 0 0 93911097420240 93911097422372 93911117422592 140720599495705 140720599495837 140720599495837 140720599502823 0
/proc/332070/statm: 2165 229 205 9 0 87 0
[pid=332073] ppid=332070 vsize=106228 memory=91352 CPUtime=0.66 cores=0,2
/proc/332073/stat : 332073 (CASHWMaxSAT-Dis) R 332070 332070 331984 0 -1 4194304 22854 0 0 0 64 2 0 0 20 0 1 0 61419751 108777472 22838 134679101440 4194304 14093885 140726403242320 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28930048 140726403245087 140726403245206 140726403245206 140726403252192 0
/proc/332073/statm: 26557 22838 782 2417 0 23659 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 124820 KiB
Current children cumulated memory: 95032 KiB

[startup+1.50022 s]
/proc/loadavg: 0.45 0.16 0.11 6/269 332074
/proc/meminfo: memFree=128663496/131524600 swapFree=131071996/131071996
[pid=332064] ppid=332058 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/332064/stat : 332064 (Hybrid-LSMabSP+) S 332058 332064 331984 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 61419749 10170368 691 134679101440 94338282885120 94338283964440 140733974546288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94338286062896 94338286110084 94338306154496 140733974553550 140733974553709 140733974553709 140733974560724 0
/proc/332064/statm: 2483 691 614 264 0 134 0
[pid=332070] ppid=332064 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/332070/stat : 332070 (timeout) S 332064 332070 331984 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61419749 8867840 229 134679101440 93911095287808 93911095322824 140720599488544 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 2 0 0 93911097420240 93911097422372 93911117422592 140720599495705 140720599495837 140720599495837 140720599502823 0
/proc/332070/statm: 2165 229 205 9 0 87 0
[pid=332073] ppid=332070 vsize=108712 memory=93220 CPUtime=1.45 cores=0,2
/proc/332073/stat : 332073 (CASHWMaxSAT-Dis) R 332070 332070 331984 0 -1 4194304 23342 0 0 0 143 2 0 0 20 0 1 0 61419751 111321088 23305 134679101440 4194304 14093885 140726403242320 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28930048 140726403245087 140726403245206 140726403245206 140726403252192 0
/proc/332073/statm: 27178 23305 798 2417 0 24280 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 127304 KiB
Current children cumulated memory: 96900 KiB

[startup+3.10592 s]
/proc/loadavg: 0.45 0.16 0.11 6/269 332074
/proc/meminfo: memFree=128600952/131524600 swapFree=131071996/131071996
[pid=332064] ppid=332058 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/332064/stat : 332064 (Hybrid-LSMabSP+) S 332058 332064 331984 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 61419749 10170368 691 134679101440 94338282885120 94338283964440 140733974546288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94338286062896 94338286110084 94338306154496 140733974553550 140733974553709 140733974553709 140733974560724 0
/proc/332064/statm: 2483 691 614 264 0 134 0
[pid=332070] ppid=332064 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/332070/stat : 332070 (timeout) S 332064 332070 331984 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61419749 8867840 229 134679101440 93911095287808 93911095322824 140720599488544 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 2 0 0 93911097420240 93911097422372 93911117422592 140720599495705 140720599495837 140720599495837 140720599502823 0
/proc/332070/statm: 2165 229 205 9 0 87 0
[pid=332073] ppid=332070 vsize=111832 memory=96652 CPUtime=3.05 cores=0,2
/proc/332073/stat : 332073 (CASHWMaxSAT-Dis) R 332070 332070 331984 0 -1 4194304 24168 0 0 0 303 2 0 0 20 0 1 0 61419751 114515968 24163 134679101440 4194304 14093885 140726403242320 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28930048 140726403245087 140726403245206 140726403245206 140726403252192 0
/proc/332073/statm: 27958 24163 798 2417 0 25060 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 130424 KiB
Current children cumulated memory: 100332 KiB

[startup+6.30023 s]
/proc/loadavg: 0.74 0.23 0.13 6/269 332076
/proc/meminfo: memFree=128552072/131524600 swapFree=131071996/131071996
[pid=332064] ppid=332058 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/332064/stat : 332064 (Hybrid-LSMabSP+) S 332058 332064 331984 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 61419749 10170368 691 134679101440 94338282885120 94338283964440 140733974546288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94338286062896 94338286110084 94338306154496 140733974553550 140733974553709 140733974553709 140733974560724 0
/proc/332064/statm: 2483 691 614 264 0 134 0
[pid=332070] ppid=332064 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/332070/stat : 332070 (timeout) S 332064 332070 331984 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61419749 8867840 229 134679101440 93911095287808 93911095322824 140720599488544 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 2 0 0 93911097420240 93911097422372 93911117422592 140720599495705 140720599495837 140720599495837 140720599502823 0
/proc/332070/statm: 2165 229 205 9 0 87 0
[pid=332073] ppid=332070 vsize=111828 memory=97240 CPUtime=6.24 cores=0,2
/proc/332073/stat : 332073 (CASHWMaxSAT-Dis) R 332070 332070 331984 0 -1 4194304 25524 0 0 0 621 3 0 0 20 0 1 0 61419751 114511872 24310 134679101440 4194304 14093885 140726403242320 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28930048 140726403245087 140726403245206 140726403245206 140726403252192 0
/proc/332073/statm: 27957 24310 798 2417 0 25059 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 130420 KiB
Current children cumulated memory: 100920 KiB

[startup+12.7002 s]
/proc/loadavg: 1.00 0.29 0.16 6/269 332076
/proc/meminfo: memFree=128491584/131524600 swapFree=131071996/131071996
[pid=332064] ppid=332058 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/332064/stat : 332064 (Hybrid-LSMabSP+) S 332058 332064 331984 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 61419749 10170368 691 134679101440 94338282885120 94338283964440 140733974546288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94338286062896 94338286110084 94338306154496 140733974553550 140733974553709 140733974553709 140733974560724 0
/proc/332064/statm: 2483 691 614 264 0 134 0
[pid=332070] ppid=332064 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/332070/stat : 332070 (timeout) S 332064 332070 331984 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61419749 8867840 229 134679101440 93911095287808 93911095322824 140720599488544 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 2 0 0 93911097420240 93911097422372 93911117422592 140720599495705 140720599495837 140720599495837 140720599502823 0
/proc/332070/statm: 2165 229 205 9 0 87 0
[pid=332073] ppid=332070 vsize=130620 memory=113864 CPUtime=12.61 cores=0,2
/proc/332073/stat : 332073 (CASHWMaxSAT-Dis) R 332070 332070 331984 0 -1 4194304 26135 0 0 0 1258 3 0 0 20 0 1 0 61419751 133754880 28466 134679101440 4194304 14093885 140726403242320 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28930048 140726403245087 140726403245206 140726403245206 140726403252192 0
/proc/332073/statm: 32655 28466 798 2417 0 29757 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 149212 KiB
Current children cumulated memory: 117544 KiB

[startup+25.5003 s]
/proc/loadavg: 1.46 0.41 0.20 6/269 332079
/proc/meminfo: memFree=128469112/131524600 swapFree=131071996/131071996
[pid=332064] ppid=332058 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/332064/stat : 332064 (Hybrid-LSMabSP+) S 332058 332064 331984 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 61419749 10170368 691 134679101440 94338282885120 94338283964440 140733974546288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94338286062896 94338286110084 94338306154496 140733974553550 140733974553709 140733974553709 140733974560724 0
/proc/332064/statm: 2483 691 614 264 0 134 0
[pid=332070] ppid=332064 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/332070/stat : 332070 (timeout) S 332064 332070 331984 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61419749 8867840 229 134679101440 93911095287808 93911095322824 140720599488544 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 2 0 0 93911097420240 93911097422372 93911117422592 140720599495705 140720599495837 140720599495837 140720599502823 0
/proc/332070/statm: 2165 229 205 9 0 87 0
[pid=332073] ppid=332070 vsize=130620 memory=114884 CPUtime=25.36 cores=0,2
/proc/332073/stat : 332073 (CASHWMaxSAT-Dis) R 332070 332070 331984 0 -1 4194304 26423 0 0 0 2533 3 0 0 20 0 1 0 61419751 133754880 28721 134679101440 4194304 14093885 140726403242320 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28930048 140726403245087 140726403245206 140726403245206 140726403252192 0
/proc/332073/statm: 32655 28721 798 2417 0 29757 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 149212 KiB
Current children cumulated memory: 118564 KiB

[startup+51.1061 s]
/proc/loadavg: 2.57 0.79 0.33 6/269 332082
/proc/meminfo: memFree=128438928/131524600 swapFree=131071996/131071996
[pid=332064] ppid=332058 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/332064/stat : 332064 (Hybrid-LSMabSP+) S 332058 332064 331984 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 61419749 10170368 691 134679101440 94338282885120 94338283964440 140733974546288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94338286062896 94338286110084 94338306154496 140733974553550 140733974553709 140733974553709 140733974560724 0
/proc/332064/statm: 2483 691 614 264 0 134 0
[pid=332070] ppid=332064 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/332070/stat : 332070 (timeout) S 332064 332070 331984 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61419749 8867840 229 134679101440 93911095287808 93911095322824 140720599488544 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 2 0 0 93911097420240 93911097422372 93911117422592 140720599495705 140720599495837 140720599495837 140720599502823 0
/proc/332070/statm: 2165 229 205 9 0 87 0
[pid=332073] ppid=332070 vsize=135040 memory=120260 CPUtime=50.87 cores=0,2
/proc/332073/stat : 332073 (CASHWMaxSAT-Dis) R 332070 332070 331984 0 -1 4194304 27255 0 0 0 5084 3 0 0 20 0 1 0 61419751 138280960 30065 134679101440 4194304 14093885 140726403242320 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28930048 140726403245087 140726403245206 140726403245206 140726403252192 0
/proc/332073/statm: 33760 30065 798 2417 0 30862 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 153632 KiB
Current children cumulated memory: 123940 KiB

[startup+102.3 s]
/proc/loadavg: 3.43 1.30 0.53 6/269 332090
/proc/meminfo: memFree=128373236/131524600 swapFree=131071996/131071996
[pid=332064] ppid=332058 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/332064/stat : 332064 (Hybrid-LSMabSP+) S 332058 332064 331984 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 61419749 10170368 691 134679101440 94338282885120 94338283964440 140733974546288 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94338286062896 94338286110084 94338306154496 140733974553550 140733974553709 140733974553709 140733974560724 0

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

/proc/332969/statm: 361749 273858 2849 2753 0 358402 0
Current children cumulated CPU time: 3391.15 s
Current children cumulated vsize: 1465588 KiB
Current children cumulated memory: 1099272 KiB

[startup+3462.3 s]
/proc/loadavg: 4.61 4.36 4.12 6/264 333890
/proc/meminfo: memFree=127543640/131524600 swapFree=131071996/131071996
[pid=332064] ppid=332058 vsize=9932 memory=2812 CPUtime=1791.53 cores=0,2
/proc/332064/stat : 332064 (Hybrid-LSMabSP+) S 332058 332064 331984 0 -1 4194304 270 41859 0 0 0 0 179113 40 20 0 1 0 61419749 10170368 703 134679101440 94338282885120 94338283964440 140733974546288 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94338286062896 94338286110084 94338306154496 140733974553550 140733974553709 140733974553709 140733974560724 0
/proc/332064/statm: 2483 703 614 264 0 134 0
[pid=332967] ppid=332064 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/332967/stat : 332967 (timeout) S 332064 332967 331984 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61599551 8867840 257 134679101440 94810792890368 94810792925384 140728702756928 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94810795022800 94810795024932 94810811936768 140728702764073 140728702764189 140728702764189 140728702771175 0
/proc/332967/statm: 2165 257 233 9 0 87 0
[pid=332969] ppid=332967 vsize=1446996 memory=1095432 CPUtime=1659.43 cores=0,2
/proc/332969/stat : 332969 (LS-MabSP) R 332967 332967 331984 0 -1 4194304 264517 0 0 0 164767 1176 0 0 20 0 1 0 61599551 1481723904 273858 134679101440 4194304 15467897 140726105994896 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31924224 140726105998396 140726105998499 140726105998499 140726106005485 0
/proc/332969/statm: 361749 273858 2849 2753 0 358402 0
Current children cumulated CPU time: 3450.96 s
Current children cumulated vsize: 1465588 KiB
Current children cumulated memory: 1099272 KiB

[startup+3522.3 s]
/proc/loadavg: 4.33 4.32 4.12 6/264 333900
/proc/meminfo: memFree=127543300/131524600 swapFree=131071996/131071996
[pid=332064] ppid=332058 vsize=9932 memory=2812 CPUtime=1791.53 cores=0,2
/proc/332064/stat : 332064 (Hybrid-LSMabSP+) S 332058 332064 331984 0 -1 4194304 270 41859 0 0 0 0 179113 40 20 0 1 0 61419749 10170368 703 134679101440 94338282885120 94338283964440 140733974546288 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94338286062896 94338286110084 94338306154496 140733974553550 140733974553709 140733974553709 140733974560724 0
/proc/332064/statm: 2483 703 614 264 0 134 0
[pid=332967] ppid=332064 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/332967/stat : 332967 (timeout) S 332064 332967 331984 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61599551 8867840 257 134679101440 94810792890368 94810792925384 140728702756928 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94810795022800 94810795024932 94810811936768 140728702764073 140728702764189 140728702764189 140728702771175 0
/proc/332967/statm: 2165 257 233 9 0 87 0
[pid=332969] ppid=332967 vsize=1446996 memory=1095432 CPUtime=1719.26 cores=0,2
/proc/332969/stat : 332969 (LS-MabSP) R 332967 332967 331984 0 -1 4194304 264598 0 0 0 170663 1263 0 0 20 0 1 0 61599551 1481723904 273858 134679101440 4194304 15467897 140726105994896 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31924224 140726105998396 140726105998499 140726105998499 140726106005485 0
/proc/332969/statm: 361749 273858 2849 2753 0 358402 0
Current children cumulated CPU time: 3510.79 s
Current children cumulated vsize: 1465588 KiB
Current children cumulated memory: 1099272 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.28 4.11 6/264 333910
/proc/meminfo: memFree=127542984/131524600 swapFree=131071996/131071996
[pid=332064] ppid=332058 vsize=9932 memory=2812 CPUtime=1791.53 cores=0,2
/proc/332064/stat : 332064 (Hybrid-LSMabSP+) S 332058 332064 331984 0 -1 4194304 270 41859 0 0 0 0 179113 40 20 0 1 0 61419749 10170368 703 134679101440 94338282885120 94338283964440 140733974546288 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94338286062896 94338286110084 94338306154496 140733974553550 140733974553709 140733974553709 140733974560724 0
/proc/332064/statm: 2483 703 614 264 0 134 0
[pid=332967] ppid=332064 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/332967/stat : 332967 (timeout) S 332064 332967 331984 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61599551 8867840 257 134679101440 94810792890368 94810792925384 140728702756928 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94810795022800 94810795024932 94810811936768 140728702764073 140728702764189 140728702764189 140728702771175 0
/proc/332967/statm: 2165 257 233 9 0 87 0
[pid=332969] ppid=332967 vsize=1446996 memory=1095432 CPUtime=1779.07 cores=0,2
/proc/332969/stat : 332969 (LS-MabSP) R 332967 332967 331984 0 -1 4194304 264652 0 0 0 176557 1350 0 0 20 0 1 0 61599551 1481723904 273858 134679101440 4194304 15467897 140726105994896 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31924224 140726105998396 140726105998499 140726105998499 140726106005485 0
/proc/332969/statm: 361749 273858 2849 2753 0 358402 0
Current children cumulated CPU time: 3570.6 s
Current children cumulated vsize: 1465588 KiB
Current children cumulated memory: 1099272 KiB

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

# cumulated CPU time of all completed processes:  user=3570.23 s, system=14.1243 s

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

[startup+3584 s]*
/proc/loadavg: 4.18 4.28 4.11 6/264 333910
/proc/meminfo: memFree=127542920/131524600 swapFree=131071996/131071996
[pid=332064] ppid=332058 vsize=9932 memory=2812 CPUtime=1791.53 cores=0,2
/proc/332064/stat : 332064 (Hybrid-LSMabSP+) S 332058 332064 331984 0 -1 4194304 270 41859 0 0 0 0 179113 40 20 0 1 0 61419749 10170368 703 134679101440 94338282885120 94338283964440 140733974546288 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94338286062896 94338286110084 94338306154496 140733974553550 140733974553709 140733974553709 140733974560724 0
/proc/332064/statm: 2483 703 614 264 0 134 0
[pid=332967] ppid=332064 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/332967/stat : 332967 (timeout) S 332064 332967 331984 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61599551 8867840 257 134679101440 94810792890368 94810792925384 140728702756928 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94810795022800 94810795024932 94810811936768 140728702764073 140728702764189 140728702764189 140728702771175 0
/proc/332967/statm: 2165 257 233 9 0 87 0
[pid=332969] ppid=332967 vsize=1446996 memory=1095432 CPUtime=1780.77 cores=0,2
/proc/332969/stat : 332969 (LS-MabSP) R 332967 332967 331984 0 -1 4194304 264652 0 0 0 176724 1353 0 0 20 0 1 0 61599551 1481723904 273858 134679101440 4194304 15467897 140726105994896 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31924224 140726105998396 140726105998499 140726105998499 140726106005485 0
/proc/332969/statm: 361749 273858 2849 2753 0 358402 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 1465588 KiB
Current children cumulated memory: 1099272 KiB

[startup+3590.4 s]
/proc/loadavg: 4.16 4.27 4.11 6/264 333912
/proc/meminfo: memFree=127542800/131524600 swapFree=131071996/131071996
[pid=332064] ppid=332058 vsize=9932 memory=2812 CPUtime=1791.53 cores=0,2
/proc/332064/stat : 332064 (Hybrid-LSMabSP+) S 332058 332064 331984 0 -1 4194304 270 41859 0 0 0 0 179113 40 20 0 1 0 61419749 10170368 703 134679101440 94338282885120 94338283964440 140733974546288 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94338286062896 94338286110084 94338306154496 140733974553550 140733974553709 140733974553709 140733974560724 0
/proc/332064/statm: 2483 703 614 264 0 134 0
[pid=332967] ppid=332064 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/332967/stat : 332967 (timeout) S 332064 332967 331984 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61599551 8867840 257 134679101440 94810792890368 94810792925384 140728702756928 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94810795022800 94810795024932 94810811936768 140728702764073 140728702764189 140728702764189 140728702771175 0
/proc/332967/statm: 2165 257 233 9 0 87 0
[pid=332969] ppid=332967 vsize=1446996 memory=1095432 CPUtime=1787.15 cores=0,2
/proc/332969/stat : 332969 (LS-MabSP) R 332967 332967 331984 0 -1 4194304 264677 0 0 0 177352 1363 0 0 20 0 1 0 61599551 1481723904 273858 134679101440 4194304 15467897 140726105994896 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31924224 140726105998396 140726105998499 140726105998499 140726106005485 0
/proc/332969/statm: 361749 273858 2849 2753 0 358402 0
Current children cumulated CPU time: 3578.68 s
Current children cumulated vsize: 1465588 KiB
Current children cumulated memory: 1099272 KiB

[startup+3593.6 s]
/proc/loadavg: 4.15 4.27 4.11 6/264 333912
/proc/meminfo: memFree=127542888/131524600 swapFree=131071996/131071996
[pid=332064] ppid=332058 vsize=9932 memory=2812 CPUtime=1791.53 cores=0,2
/proc/332064/stat : 332064 (Hybrid-LSMabSP+) S 332058 332064 331984 0 -1 4194304 270 41859 0 0 0 0 179113 40 20 0 1 0 61419749 10170368 703 134679101440 94338282885120 94338283964440 140733974546288 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94338286062896 94338286110084 94338306154496 140733974553550 140733974553709 140733974553709 140733974560724 0
/proc/332064/statm: 2483 703 614 264 0 134 0
[pid=332967] ppid=332064 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/332967/stat : 332967 (timeout) S 332064 332967 331984 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61599551 8867840 257 134679101440 94810792890368 94810792925384 140728702756928 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94810795022800 94810795024932 94810811936768 140728702764073 140728702764189 140728702764189 140728702771175 0
/proc/332967/statm: 2165 257 233 9 0 87 0
[pid=332969] ppid=332967 vsize=1446996 memory=1095432 CPUtime=1790.34 cores=0,2
/proc/332969/stat : 332969 (LS-MabSP) R 332967 332967 331984 0 -1 4194304 264677 0 0 0 177667 1367 0 0 20 0 1 0 61599551 1481723904 273858 134679101440 4194304 15467897 140726105994896 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31924224 140726105998396 140726105998499 140726105998499 140726106005485 0
/proc/332969/statm: 361749 273858 2849 2753 0 358402 0
Current children cumulated CPU time: 3581.87 s
Current children cumulated vsize: 1465588 KiB
Current children cumulated memory: 1099272 KiB

[startup+3595.2 s]
/proc/loadavg: 4.15 4.27 4.11 6/264 333913
/proc/meminfo: memFree=127542772/131524600 swapFree=131071996/131071996
[pid=332064] ppid=332058 vsize=9932 memory=2812 CPUtime=1791.53 cores=0,2
/proc/332064/stat : 332064 (Hybrid-LSMabSP+) S 332058 332064 331984 0 -1 4194304 270 41859 0 0 0 0 179113 40 20 0 1 0 61419749 10170368 703 134679101440 94338282885120 94338283964440 140733974546288 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94338286062896 94338286110084 94338306154496 140733974553550 140733974553709 140733974553709 140733974560724 0
/proc/332064/statm: 2483 703 614 264 0 134 0
[pid=332967] ppid=332064 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/332967/stat : 332967 (timeout) S 332064 332967 331984 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61599551 8867840 257 134679101440 94810792890368 94810792925384 140728702756928 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94810795022800 94810795024932 94810811936768 140728702764073 140728702764189 140728702764189 140728702771175 0
/proc/332967/statm: 2165 257 233 9 0 87 0
[pid=332969] ppid=332967 vsize=1446996 memory=1095432 CPUtime=1791.94 cores=0,2
/proc/332969/stat : 332969 (LS-MabSP) R 332967 332967 331984 0 -1 4194304 264679 0 0 0 177824 1370 0 0 20 0 1 0 61599551 1481723904 273858 134679101440 4194304 15467897 140726105994896 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31924224 140726105998396 140726105998499 140726105998499 140726106005485 0
/proc/332969/statm: 361749 273858 2849 2753 0 358402 0
Current children cumulated CPU time: 3583.47 s
Current children cumulated vsize: 1465588 KiB
Current children cumulated memory: 1099272 KiB

[startup+3595.6 s]
/proc/loadavg: 4.15 4.27 4.11 6/264 333913
/proc/meminfo: memFree=127542772/131524600 swapFree=131071996/131071996
[pid=332064] ppid=332058 vsize=9932 memory=2812 CPUtime=1791.53 cores=0,2
/proc/332064/stat : 332064 (Hybrid-LSMabSP+) S 332058 332064 331984 0 -1 4194304 270 41859 0 0 0 0 179113 40 20 0 1 0 61419749 10170368 703 134679101440 94338282885120 94338283964440 140733974546288 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94338286062896 94338286110084 94338306154496 140733974553550 140733974553709 140733974553709 140733974560724 0
/proc/332064/statm: 2483 703 614 264 0 134 0
[pid=332967] ppid=332064 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/332967/stat : 332967 (timeout) S 332064 332967 331984 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61599551 8867840 257 134679101440 94810792890368 94810792925384 140728702756928 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94810795022800 94810795024932 94810811936768 140728702764073 140728702764189 140728702764189 140728702771175 0
/proc/332967/statm: 2165 257 233 9 0 87 0
[pid=332969] ppid=332967 vsize=1446996 memory=1095432 CPUtime=1792.33 cores=0,2
/proc/332969/stat : 332969 (LS-MabSP) R 332967 332967 331984 0 -1 4194304 264679 0 0 0 177863 1370 0 0 20 0 1 0 61599551 1481723904 273858 134679101440 4194304 15467897 140726105994896 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31924224 140726105998396 140726105998499 140726105998499 140726106005485 0
/proc/332969/statm: 361749 273858 2849 2753 0 358402 0
Current children cumulated CPU time: 3583.86 s
Current children cumulated vsize: 1465588 KiB
Current children cumulated memory: 1099272 KiB

[startup+3596 s]*
/proc/loadavg: 4.15 4.27 4.11 6/264 333913
/proc/meminfo: memFree=127542892/131524600 swapFree=131071996/131071996
[pid=332064] ppid=332058 vsize=9932 memory=2812 CPUtime=1791.53 cores=0,2
/proc/332064/stat : 332064 (Hybrid-LSMabSP+) S 332058 332064 331984 0 -1 4194304 270 41859 0 0 0 0 179113 40 20 0 1 0 61419749 10170368 703 134679101440 94338282885120 94338283964440 140733974546288 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94338286062896 94338286110084 94338306154496 140733974553550 140733974553709 140733974553709 140733974560724 0
/proc/332064/statm: 2483 703 614 264 0 134 0
[pid=332967] ppid=332064 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/332967/stat : 332967 (timeout) S 332064 332967 331984 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61599551 8867840 257 134679101440 94810792890368 94810792925384 140728702756928 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94810795022800 94810795024932 94810811936768 140728702764073 140728702764189 140728702764189 140728702771175 0
/proc/332967/statm: 2165 257 233 9 0 87 0
[pid=332969] ppid=332967 vsize=1446996 memory=1095432 CPUtime=1792.74 cores=0,2
/proc/332969/stat : 332969 (LS-MabSP) R 332967 332967 331984 0 -1 4194304 264679 0 0 0 177904 1370 0 0 20 0 1 0 61599551 1481723904 273858 134679101440 4194304 15467897 140726105994896 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31924224 140726105998396 140726105998499 140726105998499 140726106005485 0
/proc/332969/statm: 361749 273858 2849 2753 0 358402 0
Current children cumulated CPU time: 3584.27 s
Current children cumulated vsize: 1465588 KiB
Current children cumulated memory: 1099272 KiB

Child status: 0

Real time (s): 3596.07
CPU time (s): 3584.36
CPU user time (s): 3570.23
CPU system time (s): 14.1243
CPU usage (%): 99.6745
Max. virtual memory (cumulated for all children) (KiB): 1962256
Max. memory (cumulated for all children) (KiB): 1476472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.23
system time used= 14.1243
maximum resident set size= 1472632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 309933
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 151
involuntary context switches= 27686


# summary of solver processes directly reported to runsolver:
#   pid: 332064
#   total CPU time (s): 3584.36
#   total CPU user time (s): 3570.23
#   total CPU system time (s): 14.1243

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.20959 second user time and 18.1723 second system time

The end