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

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

[startup+0.100356 s]*
/proc/loadavg: 4.12 4.12 4.08 5/243 336830
/proc/meminfo: memFree=129406544/131655788 swapFree=131071996/131071996
[pid=336822] ppid=336819 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/336822/stat : 336822 (Hybrid-LSMabSP+) S 336819 336822 334619 0 -1 4194304 239 98 0 0 0 0 0 0 20 0 1 0 61777586 10170368 700 134679101440 94891198918656 94891199997976 140731676139504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94891202096432 94891202143620 94891210829824 140731676148686 140731676148845 140731676148845 140731676155860 0
/proc/336822/statm: 2483 700 623 264 0 134 0
[pid=336825] ppid=336822 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/336825/stat : 336825 (timeout) S 336822 336825 334619 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777587 8867840 253 134679101440 94857366216704 94857366251720 140720545021696 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94857368349136 94857368351268 94857394958336 140720545023001 140720545023133 140720545023133 140720545030119 0
/proc/336825/statm: 2165 253 229 9 0 87 0
[pid=336826] ppid=336825 vsize=27688 memory=9396 CPUtime=0.09 cores=4,6
/proc/336826/stat : 336826 (CASHWMaxSAT-Dis) R 336825 336825 334619 0 -1 4194304 1670 0 0 0 9 0 0 0 20 0 1 0 61777587 28352512 2349 134679101440 4194304 14093885 140729595117264 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38506496 140729595122719 140729595122838 140729595122838 140729595129824 0
/proc/336826/statm: 6922 2349 750 2417 0 4024 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46280 KiB
Current children cumulated memory: 13208 KiB

[startup+0.213 s]*
/proc/loadavg: 4.12 4.12 4.08 5/249 336840
/proc/meminfo: memFree=129401720/131655788 swapFree=131071996/131071996
[pid=336822] ppid=336819 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/336822/stat : 336822 (Hybrid-LSMabSP+) S 336819 336822 334619 0 -1 4194304 239 98 0 0 0 0 0 0 20 0 1 0 61777586 10170368 700 134679101440 94891198918656 94891199997976 140731676139504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94891202096432 94891202143620 94891210829824 140731676148686 140731676148845 140731676148845 140731676155860 0
/proc/336822/statm: 2483 700 623 264 0 134 0
[pid=336825] ppid=336822 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/336825/stat : 336825 (timeout) S 336822 336825 334619 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777587 8867840 253 134679101440 94857366216704 94857366251720 140720545021696 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94857368349136 94857368351268 94857394958336 140720545023001 140720545023133 140720545023133 140720545030119 0
/proc/336825/statm: 2165 253 229 9 0 87 0
[pid=336826] ppid=336825 vsize=32900 memory=14532 CPUtime=0.21 cores=4,6
/proc/336826/stat : 336826 (CASHWMaxSAT-Dis) R 336825 336825 334619 0 -1 4194304 2973 0 0 0 20 1 0 0 20 0 1 0 61777587 33689600 3633 134679101440 4194304 14093885 140729595117264 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38506496 140729595122719 140729595122838 140729595122838 140729595129824 0
/proc/336826/statm: 8225 3633 750 2417 0 5327 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 51492 KiB
Current children cumulated memory: 18344 KiB

[startup+0.313788 s]*
/proc/loadavg: 4.12 4.12 4.08 5/256 336852
/proc/meminfo: memFree=129385176/131655788 swapFree=131071996/131071996
[pid=336822] ppid=336819 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/336822/stat : 336822 (Hybrid-LSMabSP+) S 336819 336822 334619 0 -1 4194304 239 98 0 0 0 0 0 0 20 0 1 0 61777586 10170368 700 134679101440 94891198918656 94891199997976 140731676139504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94891202096432 94891202143620 94891210829824 140731676148686 140731676148845 140731676148845 140731676155860 0
/proc/336822/statm: 2483 700 623 264 0 134 0
[pid=336825] ppid=336822 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/336825/stat : 336825 (timeout) S 336822 336825 334619 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777587 8867840 253 134679101440 94857366216704 94857366251720 140720545021696 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94857368349136 94857368351268 94857394958336 140720545023001 140720545023133 140720545023133 140720545030119 0
/proc/336825/statm: 2165 253 229 9 0 87 0
[pid=336826] ppid=336825 vsize=37000 memory=18552 CPUtime=0.3 cores=4,6
/proc/336826/stat : 336826 (CASHWMaxSAT-Dis) R 336825 336825 334619 0 -1 4194304 3994 0 0 0 29 1 0 0 20 0 1 0 61777587 37888000 4638 134679101440 4194304 14093885 140729595117264 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38506496 140729595122719 140729595122838 140729595122838 140729595129824 0
/proc/336826/statm: 9250 4638 750 2417 0 6352 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 55592 KiB
Current children cumulated memory: 22364 KiB

[startup+0.700475 s]
/proc/loadavg: 4.12 4.12 4.08 5/256 336852
/proc/meminfo: memFree=129368836/131655788 swapFree=131071996/131071996
[pid=336822] ppid=336819 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/336822/stat : 336822 (Hybrid-LSMabSP+) S 336819 336822 334619 0 -1 4194304 239 98 0 0 0 0 0 0 20 0 1 0 61777586 10170368 700 134679101440 94891198918656 94891199997976 140731676139504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94891202096432 94891202143620 94891210829824 140731676148686 140731676148845 140731676148845 140731676155860 0
/proc/336822/statm: 2483 700 623 264 0 134 0
[pid=336825] ppid=336822 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/336825/stat : 336825 (timeout) S 336822 336825 334619 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777587 8867840 253 134679101440 94857366216704 94857366251720 140720545021696 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94857368349136 94857368351268 94857394958336 140720545023001 140720545023133 140720545023133 140720545030119 0
/proc/336825/statm: 2165 253 229 9 0 87 0
[pid=336826] ppid=336825 vsize=60304 memory=41552 CPUtime=0.68 cores=4,6
/proc/336826/stat : 336826 (CASHWMaxSAT-Dis) R 336825 336825 334619 0 -1 4194304 9406 0 0 0 65 3 0 0 20 0 1 0 61777587 61751296 10388 134679101440 4194304 14093885 140729595117264 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38506496 140729595122719 140729595122838 140729595122838 140729595129824 0
/proc/336826/statm: 15076 10388 782 2417 0 12178 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 78896 KiB
Current children cumulated memory: 45364 KiB

[startup+1.50043 s]
/proc/loadavg: 4.12 4.12 4.08 5/256 336852
/proc/meminfo: memFree=129326488/131655788 swapFree=131071996/131071996
[pid=336822] ppid=336819 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/336822/stat : 336822 (Hybrid-LSMabSP+) S 336819 336822 334619 0 -1 4194304 239 98 0 0 0 0 0 0 20 0 1 0 61777586 10170368 700 134679101440 94891198918656 94891199997976 140731676139504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94891202096432 94891202143620 94891210829824 140731676148686 140731676148845 140731676148845 140731676155860 0
/proc/336822/statm: 2483 700 623 264 0 134 0
[pid=336825] ppid=336822 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/336825/stat : 336825 (timeout) S 336822 336825 334619 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777587 8867840 253 134679101440 94857366216704 94857366251720 140720545021696 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94857368349136 94857368351268 94857394958336 140720545023001 140720545023133 140720545023133 140720545030119 0
/proc/336825/statm: 2165 253 229 9 0 87 0
[pid=336826] ppid=336825 vsize=83468 memory=63080 CPUtime=1.47 cores=4,6
/proc/336826/stat : 336826 (CASHWMaxSAT-Dis) R 336825 336825 334619 0 -1 4194304 14697 0 0 0 142 5 0 0 20 0 1 0 61777587 85471232 15770 134679101440 4194304 14093885 140729595117264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38506496 140729595122719 140729595122838 140729595122838 140729595129824 0
/proc/336826/statm: 20867 15770 814 2417 0 17969 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 102060 KiB
Current children cumulated memory: 66892 KiB

[startup+3.1139 s]
/proc/loadavg: 4.11 4.12 4.08 5/256 336852
/proc/meminfo: memFree=129293216/131655788 swapFree=131071996/131071996
[pid=336822] ppid=336819 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/336822/stat : 336822 (Hybrid-LSMabSP+) S 336819 336822 334619 0 -1 4194304 239 98 0 0 0 0 0 0 20 0 1 0 61777586 10170368 700 134679101440 94891198918656 94891199997976 140731676139504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94891202096432 94891202143620 94891210829824 140731676148686 140731676148845 140731676148845 140731676155860 0
/proc/336822/statm: 2483 700 623 264 0 134 0
[pid=336825] ppid=336822 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/336825/stat : 336825 (timeout) S 336822 336825 334619 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777587 8867840 253 134679101440 94857366216704 94857366251720 140720545021696 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94857368349136 94857368351268 94857394958336 140720545023001 140720545023133 140720545023133 140720545030119 0
/proc/336825/statm: 2165 253 229 9 0 87 0
[pid=336826] ppid=336825 vsize=95000 memory=78636 CPUtime=3.08 cores=4,6
/proc/336826/stat : 336826 (CASHWMaxSAT-Dis) R 336825 336825 334619 0 -1 4194304 16518 0 0 0 303 5 0 0 20 0 1 0 61777587 97280000 19659 134679101440 4194304 14093885 140729595117264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38506496 140729595122719 140729595122838 140729595122838 140729595129824 0
/proc/336826/statm: 23750 19659 814 2417 0 20852 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 113592 KiB
Current children cumulated memory: 82448 KiB

[startup+6.30044 s]
/proc/loadavg: 4.11 4.12 4.08 5/256 336910
/proc/meminfo: memFree=129287252/131655788 swapFree=131071996/131071996
[pid=336822] ppid=336819 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/336822/stat : 336822 (Hybrid-LSMabSP+) S 336819 336822 334619 0 -1 4194304 239 98 0 0 0 0 0 0 20 0 1 0 61777586 10170368 700 134679101440 94891198918656 94891199997976 140731676139504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94891202096432 94891202143620 94891210829824 140731676148686 140731676148845 140731676148845 140731676155860 0
/proc/336822/statm: 2483 700 623 264 0 134 0
[pid=336825] ppid=336822 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/336825/stat : 336825 (timeout) S 336822 336825 334619 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777587 8867840 253 134679101440 94857366216704 94857366251720 140720545021696 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94857368349136 94857368351268 94857394958336 140720545023001 140720545023133 140720545023133 140720545030119 0
/proc/336825/statm: 2165 253 229 9 0 87 0
[pid=336826] ppid=336825 vsize=95000 memory=69488 CPUtime=6.25 cores=4,6
/proc/336826/stat : 336826 (CASHWMaxSAT-Dis) R 336825 336825 334619 0 -1 4194304 17839 0 0 0 619 6 0 0 20 0 1 0 61777587 97280000 17372 134679101440 4194304 14093885 140729595117264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38506496 140729595122719 140729595122838 140729595122838 140729595129824 0
/proc/336826/statm: 23750 17372 814 2417 0 20852 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 113592 KiB
Current children cumulated memory: 73300 KiB

[startup+12.7005 s]
/proc/loadavg: 4.10 4.11 4.08 5/256 336911
/proc/meminfo: memFree=129219852/131655788 swapFree=131071996/131071996
[pid=336822] ppid=336819 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/336822/stat : 336822 (Hybrid-LSMabSP+) S 336819 336822 334619 0 -1 4194304 239 98 0 0 0 0 0 0 20 0 1 0 61777586 10170368 700 134679101440 94891198918656 94891199997976 140731676139504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94891202096432 94891202143620 94891210829824 140731676148686 140731676148845 140731676148845 140731676155860 0
/proc/336822/statm: 2483 700 623 264 0 134 0
[pid=336825] ppid=336822 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/336825/stat : 336825 (timeout) S 336822 336825 334619 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777587 8867840 253 134679101440 94857366216704 94857366251720 140720545021696 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94857368349136 94857368351268 94857394958336 140720545023001 140720545023133 140720545023133 140720545030119 0
/proc/336825/statm: 2165 253 229 9 0 87 0
[pid=336826] ppid=336825 vsize=106604 memory=90224 CPUtime=12.64 cores=4,6
/proc/336826/stat : 336826 (CASHWMaxSAT-Dis) R 336825 336825 334619 0 -1 4194304 18939 0 0 0 1257 7 0 0 20 0 1 0 61777587 109162496 22556 134679101440 4194304 14093885 140729595117264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38506496 140729595122719 140729595122838 140729595122838 140729595129824 0
/proc/336826/statm: 26651 22556 814 2417 0 23753 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 125196 KiB
Current children cumulated memory: 94036 KiB

[startup+25.5005 s]
/proc/loadavg: 4.08 4.11 4.07 5/256 336913
/proc/meminfo: memFree=129206564/131655788 swapFree=131071996/131071996
[pid=336822] ppid=336819 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/336822/stat : 336822 (Hybrid-LSMabSP+) S 336819 336822 334619 0 -1 4194304 239 98 0 0 0 0 0 0 20 0 1 0 61777586 10170368 700 134679101440 94891198918656 94891199997976 140731676139504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94891202096432 94891202143620 94891210829824 140731676148686 140731676148845 140731676148845 140731676155860 0
/proc/336822/statm: 2483 700 623 264 0 134 0
[pid=336825] ppid=336822 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/336825/stat : 336825 (timeout) S 336822 336825 334619 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777587 8867840 253 134679101440 94857366216704 94857366251720 140720545021696 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94857368349136 94857368351268 94857394958336 140720545023001 140720545023133 140720545023133 140720545030119 0
/proc/336825/statm: 2165 253 229 9 0 87 0
[pid=336826] ppid=336825 vsize=118952 memory=95316 CPUtime=25.4 cores=4,6
/proc/336826/stat : 336826 (CASHWMaxSAT-Dis) R 336825 336825 334619 0 -1 4194304 19231 0 0 0 2533 7 0 0 20 0 1 0 61777587 121806848 23829 134679101440 4194304 14093885 140729595117264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38506496 140729595122719 140729595122838 140729595122838 140729595129824 0
/proc/336826/statm: 29738 23829 814 2417 0 26840 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 137544 KiB
Current children cumulated memory: 99128 KiB

[startup+51.1139 s]
/proc/loadavg: 4.12 4.12 4.08 5/256 336918
/proc/meminfo: memFree=129176576/131655788 swapFree=131071996/131071996
[pid=336822] ppid=336819 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/336822/stat : 336822 (Hybrid-LSMabSP+) S 336819 336822 334619 0 -1 4194304 239 98 0 0 0 0 0 0 20 0 1 0 61777586 10170368 700 134679101440 94891198918656 94891199997976 140731676139504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94891202096432 94891202143620 94891210829824 140731676148686 140731676148845 140731676148845 140731676155860 0
/proc/336822/statm: 2483 700 623 264 0 134 0
[pid=336825] ppid=336822 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/336825/stat : 336825 (timeout) S 336822 336825 334619 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61777587 8867840 253 134679101440 94857366216704 94857366251720 140720545021696 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94857368349136 94857368351268 94857394958336 140720545023001 140720545023133 140720545023133 140720545030119 0
/proc/336825/statm: 2165 253 229 9 0 87 0
[pid=336826] ppid=336825 vsize=118952 memory=99552 CPUtime=50.95 cores=4,6
/proc/336826/stat : 336826 (CASHWMaxSAT-Dis) R 336825 336825 334619 0 -1 4194304 19327 0 0 0 5087 8 0 0 20 0 1 0 61777587 121806848 24888 134679101440 4194304 14093885 140729595117264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38506496 140729595122719 140729595122838 140729595122838 140729595129824 0
/proc/336826/statm: 29738 24888 814 2417 0 26840 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 137544 KiB
Current children cumulated memory: 103364 KiB

[startup+102.301 s]
/proc/loadavg: 4.12 4.11 4.08 5/256 336927
/proc/meminfo: memFree=129136972/131655788 swapFree=131071996/131071996
[pid=336822] ppid=336819 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/336822/stat : 336822 (Hybrid-LSMabSP+) S 336819 336822 334619 0 -1 4194304 239 98 0 0 0 0 0 0 20 0 1 0 61777586 10170368 700 134679101440 94891198918656 94891199997976 140731676139504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94891202096432 94891202143620 94891210829824 140731676148686 140731676148845 140731676148845 140731676155860 0

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

/proc/337806/statm: 84765 83199 2849 2753 0 81418 0
Current children cumulated CPU time: 3394.44 s
Current children cumulated vsize: 357652 KiB
Current children cumulated memory: 336568 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.23 4.25 5/252 338732
/proc/meminfo: memFree=128304356/131655788 swapFree=131071996/131071996
[pid=336822] ppid=336819 vsize=9932 memory=2852 CPUtime=1793.52 cores=4,6
/proc/336822/stat : 336822 (Hybrid-LSMabSP+) S 336819 336822 334619 0 -1 4194304 267 29981 0 0 0 0 179322 30 20 0 1 0 61777586 10170368 713 134679101440 94891198918656 94891199997976 140731676139504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94891202096432 94891202143620 94891210829824 140731676148686 140731676148845 140731676148845 140731676155860 0
/proc/336822/statm: 2483 713 623 264 0 134 0
[pid=337805] ppid=336822 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/337805/stat : 337805 (timeout) S 336822 337805 334619 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957387 8867840 230 134679101440 94229663293440 94229663328456 140732842795280 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94229665425872 94229665428004 94229691985920 140732842800169 140732842800285 140732842800285 140732842807271 0
/proc/337805/statm: 2165 230 205 9 0 87 0
[pid=337806] ppid=337805 vsize=339060 memory=332796 CPUtime=1660.81 cores=4,6
/proc/337806/stat : 337806 (LS-MabSP) R 337805 337805 334619 0 -1 4194304 84635 0 0 0 164316 1765 0 0 20 0 1 0 61957387 347197440 83199 134679101440 4194304 15467897 140729797354112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47456256 140729797362748 140729797362851 140729797362851 140729797369837 0
/proc/337806/statm: 84765 83199 2849 2753 0 81418 0
Current children cumulated CPU time: 3454.33 s
Current children cumulated vsize: 357652 KiB
Current children cumulated memory: 336568 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.20 4.24 5/253 338743
/proc/meminfo: memFree=128303676/131655788 swapFree=131071996/131071996
[pid=336822] ppid=336819 vsize=9932 memory=2852 CPUtime=1793.52 cores=4,6
/proc/336822/stat : 336822 (Hybrid-LSMabSP+) S 336819 336822 334619 0 -1 4194304 267 29981 0 0 0 0 179322 30 20 0 1 0 61777586 10170368 713 134679101440 94891198918656 94891199997976 140731676139504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94891202096432 94891202143620 94891210829824 140731676148686 140731676148845 140731676148845 140731676155860 0
/proc/336822/statm: 2483 713 623 264 0 134 0
[pid=337805] ppid=336822 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/337805/stat : 337805 (timeout) S 336822 337805 334619 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957387 8867840 230 134679101440 94229663293440 94229663328456 140732842795280 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94229665425872 94229665428004 94229691985920 140732842800169 140732842800285 140732842800285 140732842807271 0
/proc/337805/statm: 2165 230 205 9 0 87 0
[pid=337806] ppid=337805 vsize=339060 memory=332796 CPUtime=1720.71 cores=4,6
/proc/337806/stat : 337806 (LS-MabSP) R 337805 337805 334619 0 -1 4194304 84643 0 0 0 170169 1902 0 0 20 0 1 0 61957387 347197440 83199 134679101440 4194304 15467897 140729797354112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47456256 140729797362748 140729797362851 140729797362851 140729797369837 0
/proc/337806/statm: 84765 83199 2849 2753 0 81418 0
Current children cumulated CPU time: 3514.23 s
Current children cumulated vsize: 357652 KiB
Current children cumulated memory: 336568 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.19 4.24 5/253 338754
/proc/meminfo: memFree=128302276/131655788 swapFree=131071996/131071996
[pid=336822] ppid=336819 vsize=9932 memory=2852 CPUtime=1793.52 cores=4,6
/proc/336822/stat : 336822 (Hybrid-LSMabSP+) S 336819 336822 334619 0 -1 4194304 267 29981 0 0 0 0 179322 30 20 0 1 0 61777586 10170368 713 134679101440 94891198918656 94891199997976 140731676139504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94891202096432 94891202143620 94891210829824 140731676148686 140731676148845 140731676148845 140731676155860 0
/proc/336822/statm: 2483 713 623 264 0 134 0
[pid=337805] ppid=336822 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/337805/stat : 337805 (timeout) S 336822 337805 334619 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957387 8867840 230 134679101440 94229663293440 94229663328456 140732842795280 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94229665425872 94229665428004 94229691985920 140732842800169 140732842800285 140732842800285 140732842807271 0
/proc/337805/statm: 2165 230 205 9 0 87 0
[pid=337806] ppid=337805 vsize=339060 memory=332796 CPUtime=1780.6 cores=4,6
/proc/337806/stat : 337806 (LS-MabSP) R 337805 337805 334619 0 -1 4194304 84651 0 0 0 176025 2035 0 0 20 0 1 0 61957387 347197440 83199 134679101440 4194304 15467897 140729797354112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47456256 140729797362748 140729797362851 140729797362851 140729797369837 0
/proc/337806/statm: 84765 83199 2849 2753 0 81418 0
Current children cumulated CPU time: 3574.12 s
Current children cumulated vsize: 357652 KiB
Current children cumulated memory: 336568 KiB

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

# cumulated CPU time of all completed processes:  user=3566.83 s, system=21.0433 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.19 4.24 5/253 338754
/proc/meminfo: memFree=128302276/131655788 swapFree=131071996/131071996
[pid=336822] ppid=336819 vsize=9932 memory=2852 CPUtime=1793.52 cores=4,6
/proc/336822/stat : 336822 (Hybrid-LSMabSP+) S 336819 336822 334619 0 -1 4194304 267 29981 0 0 0 0 179322 30 20 0 1 0 61777586 10170368 713 134679101440 94891198918656 94891199997976 140731676139504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94891202096432 94891202143620 94891210829824 140731676148686 140731676148845 140731676148845 140731676155860 0
/proc/336822/statm: 2483 713 623 264 0 134 0
[pid=337805] ppid=336822 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/337805/stat : 337805 (timeout) S 336822 337805 334619 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957387 8867840 230 134679101440 94229663293440 94229663328456 140732842795280 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94229665425872 94229665428004 94229691985920 140732842800169 140732842800285 140732842800285 140732842807271 0
/proc/337805/statm: 2165 230 205 9 0 87 0
[pid=337806] ppid=337805 vsize=339060 memory=332796 CPUtime=1782.31 cores=4,6
/proc/337806/stat : 337806 (LS-MabSP) R 337805 337805 334619 0 -1 4194304 84651 0 0 0 176192 2039 0 0 20 0 1 0 61957387 347197440 83199 134679101440 4194304 15467897 140729797354112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47456256 140729797362748 140729797362851 140729797362851 140729797369837 0
/proc/337806/statm: 84765 83199 2849 2753 0 81418 0
Current children cumulated CPU time: 3575.83 s
Current children cumulated vsize: 357652 KiB
Current children cumulated memory: 336568 KiB

[startup+3590.4 s]
/proc/loadavg: 4.11 4.18 4.23 5/253 338756
/proc/meminfo: memFree=128302164/131655788 swapFree=131071996/131071996
[pid=336822] ppid=336819 vsize=9932 memory=2852 CPUtime=1793.52 cores=4,6
/proc/336822/stat : 336822 (Hybrid-LSMabSP+) S 336819 336822 334619 0 -1 4194304 267 29981 0 0 0 0 179322 30 20 0 1 0 61777586 10170368 713 134679101440 94891198918656 94891199997976 140731676139504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94891202096432 94891202143620 94891210829824 140731676148686 140731676148845 140731676148845 140731676155860 0
/proc/336822/statm: 2483 713 623 264 0 134 0
[pid=337805] ppid=336822 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/337805/stat : 337805 (timeout) S 336822 337805 334619 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957387 8867840 230 134679101440 94229663293440 94229663328456 140732842795280 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94229665425872 94229665428004 94229691985920 140732842800169 140732842800285 140732842800285 140732842807271 0
/proc/337805/statm: 2165 230 205 9 0 87 0
[pid=337806] ppid=337805 vsize=339060 memory=332796 CPUtime=1788.68 cores=4,6
/proc/337806/stat : 337806 (LS-MabSP) R 337805 337805 334619 0 -1 4194304 84651 0 0 0 176813 2055 0 0 20 0 1 0 61957387 347197440 83199 134679101440 4194304 15467897 140729797354112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47456256 140729797362748 140729797362851 140729797362851 140729797369837 0
/proc/337806/statm: 84765 83199 2849 2753 0 81418 0
Current children cumulated CPU time: 3582.2 s
Current children cumulated vsize: 357652 KiB
Current children cumulated memory: 336568 KiB

[startup+3593.6 s]
/proc/loadavg: 4.11 4.18 4.23 5/253 338756
/proc/meminfo: memFree=128302164/131655788 swapFree=131071996/131071996
[pid=336822] ppid=336819 vsize=9932 memory=2852 CPUtime=1793.52 cores=4,6
/proc/336822/stat : 336822 (Hybrid-LSMabSP+) S 336819 336822 334619 0 -1 4194304 267 29981 0 0 0 0 179322 30 20 0 1 0 61777586 10170368 713 134679101440 94891198918656 94891199997976 140731676139504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94891202096432 94891202143620 94891210829824 140731676148686 140731676148845 140731676148845 140731676155860 0
/proc/336822/statm: 2483 713 623 264 0 134 0
[pid=337805] ppid=336822 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/337805/stat : 337805 (timeout) S 336822 337805 334619 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957387 8867840 230 134679101440 94229663293440 94229663328456 140732842795280 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94229665425872 94229665428004 94229691985920 140732842800169 140732842800285 140732842800285 140732842807271 0
/proc/337805/statm: 2165 230 205 9 0 87 0
[pid=337806] ppid=337805 vsize=339060 memory=332796 CPUtime=1791.88 cores=4,6
/proc/337806/stat : 337806 (LS-MabSP) R 337805 337805 334619 0 -1 4194304 84651 0 0 0 177124 2064 0 0 20 0 1 0 61957387 347197440 83199 134679101440 4194304 15467897 140729797354112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47456256 140729797362748 140729797362851 140729797362851 140729797369837 0
/proc/337806/statm: 84765 83199 2849 2753 0 81418 0
Current children cumulated CPU time: 3585.4 s
Current children cumulated vsize: 357652 KiB
Current children cumulated memory: 336568 KiB

[startup+3595.2 s]
/proc/loadavg: 4.10 4.18 4.23 5/253 338756
/proc/meminfo: memFree=128302164/131655788 swapFree=131071996/131071996
[pid=336822] ppid=336819 vsize=9932 memory=2852 CPUtime=1793.52 cores=4,6
/proc/336822/stat : 336822 (Hybrid-LSMabSP+) S 336819 336822 334619 0 -1 4194304 267 29981 0 0 0 0 179322 30 20 0 1 0 61777586 10170368 713 134679101440 94891198918656 94891199997976 140731676139504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94891202096432 94891202143620 94891210829824 140731676148686 140731676148845 140731676148845 140731676155860 0
/proc/336822/statm: 2483 713 623 264 0 134 0
[pid=337805] ppid=336822 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/337805/stat : 337805 (timeout) S 336822 337805 334619 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957387 8867840 230 134679101440 94229663293440 94229663328456 140732842795280 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94229665425872 94229665428004 94229691985920 140732842800169 140732842800285 140732842800285 140732842807271 0
/proc/337805/statm: 2165 230 205 9 0 87 0
[pid=337806] ppid=337805 vsize=339060 memory=332796 CPUtime=1793.47 cores=4,6
/proc/337806/stat : 337806 (LS-MabSP) R 337805 337805 334619 0 -1 4194304 84651 0 0 0 177279 2068 0 0 20 0 1 0 61957387 347197440 83199 134679101440 4194304 15467897 140729797354112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47456256 140729797362748 140729797362851 140729797362851 140729797369837 0
/proc/337806/statm: 84765 83199 2849 2753 0 81418 0
Current children cumulated CPU time: 3586.99 s
Current children cumulated vsize: 357652 KiB
Current children cumulated memory: 336568 KiB

[startup+3595.6 s]
/proc/loadavg: 4.10 4.18 4.23 5/253 338756
/proc/meminfo: memFree=128302164/131655788 swapFree=131071996/131071996
[pid=336822] ppid=336819 vsize=9932 memory=2852 CPUtime=1793.52 cores=4,6
/proc/336822/stat : 336822 (Hybrid-LSMabSP+) S 336819 336822 334619 0 -1 4194304 267 29981 0 0 0 0 179322 30 20 0 1 0 61777586 10170368 713 134679101440 94891198918656 94891199997976 140731676139504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94891202096432 94891202143620 94891210829824 140731676148686 140731676148845 140731676148845 140731676155860 0
/proc/336822/statm: 2483 713 623 264 0 134 0
[pid=337805] ppid=336822 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/337805/stat : 337805 (timeout) S 336822 337805 334619 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957387 8867840 230 134679101440 94229663293440 94229663328456 140732842795280 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94229665425872 94229665428004 94229691985920 140732842800169 140732842800285 140732842800285 140732842807271 0
/proc/337805/statm: 2165 230 205 9 0 87 0
[pid=337806] ppid=337805 vsize=339060 memory=332796 CPUtime=1793.88 cores=4,6
/proc/337806/stat : 337806 (LS-MabSP) R 337805 337805 334619 0 -1 4194304 84651 0 0 0 177318 2070 0 0 20 0 1 0 61957387 347197440 83199 134679101440 4194304 15467897 140729797354112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47456256 140729797362748 140729797362851 140729797362851 140729797369837 0
/proc/337806/statm: 84765 83199 2849 2753 0 81418 0
Current children cumulated CPU time: 3587.4 s
Current children cumulated vsize: 357652 KiB
Current children cumulated memory: 336568 KiB

[startup+3596 s]*
/proc/loadavg: 4.10 4.18 4.23 5/253 338756
/proc/meminfo: memFree=128302164/131655788 swapFree=131071996/131071996
[pid=336822] ppid=336819 vsize=9932 memory=2852 CPUtime=1793.52 cores=4,6
/proc/336822/stat : 336822 (Hybrid-LSMabSP+) S 336819 336822 334619 0 -1 4194304 267 29981 0 0 0 0 179322 30 20 0 1 0 61777586 10170368 713 134679101440 94891198918656 94891199997976 140731676139504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94891202096432 94891202143620 94891210829824 140731676148686 140731676148845 140731676148845 140731676155860 0
/proc/336822/statm: 2483 713 623 264 0 134 0
[pid=337805] ppid=336822 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/337805/stat : 337805 (timeout) S 336822 337805 334619 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957387 8867840 230 134679101440 94229663293440 94229663328456 140732842795280 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94229665425872 94229665428004 94229691985920 140732842800169 140732842800285 140732842800285 140732842807271 0
/proc/337805/statm: 2165 230 205 9 0 87 0
[pid=337806] ppid=337805 vsize=339060 memory=332796 CPUtime=1794.29 cores=4,6
/proc/337806/stat : 337806 (LS-MabSP) R 337805 337805 334619 0 -1 4194304 84651 0 0 0 177358 2071 0 0 20 0 1 0 61957387 347197440 83199 134679101440 4194304 15467897 140729797354112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47456256 140729797362748 140729797362851 140729797362851 140729797369837 0
/proc/337806/statm: 84765 83199 2849 2753 0 81418 0
Current children cumulated CPU time: 3587.81 s
Current children cumulated vsize: 357652 KiB
Current children cumulated memory: 336568 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3587.87
CPU user time (s): 3566.83
CPU system time (s): 21.0433
CPU usage (%): 99.7729
Max. virtual memory (cumulated for all children) (KiB): 426460
Max. memory (cumulated for all children) (KiB): 385348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.83
system time used= 21.0433
maximum resident set size= 381576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117965
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= 118
involuntary context switches= 1623


# summary of solver processes directly reported to runsolver:
#   pid: 336822
#   total CPU time (s): 3587.87
#   total CPU user time (s): 3566.83
#   total CPU system time (s): 21.0433

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8623 second user time and 38.5893 second system time

The end