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 (61313 MiB free)
  memory of node 1: 64510 MiB (59708 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=338196, runsolver pid=338193

[startup+0.100896 s]*
/proc/loadavg: 4.15 4.14 4.09 5/266 338213
/proc/meminfo: memFree=123903252/131524592 swapFree=131071996/131071996
[pid=338196] ppid=338193 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/338196/stat : 338196 (Hybrid-LSMabSP+) S 338193 338196 336013 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61777516 10170368 692 134679101440 94522561957888 94522563037208 140736665495776 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94522565135664 94522565182852 94522584121344 140736665498600 140736665498746 140736665498746 140736665505761 0
/proc/338196/statm: 2483 692 615 264 0 134 0
[pid=338199] ppid=338196 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/338199/stat : 338199 (timeout) S 338196 338199 336013 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61777516 8867840 245 134679101440 94068685451264 94068685486280 140724663145568 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94068687583696 94068687585828 94068715233280 140724663153705 140724663153821 140724663153821 140724663160807 0
/proc/338199/statm: 2165 245 221 9 0 87 0
[pid=338200] ppid=338199 vsize=24200 memory=9940 CPUtime=0.09 cores=5,7
/proc/338200/stat : 338200 (LS-MabSP) R 338199 338199 336013 0 -1 4194304 1474 0 0 0 9 0 0 0 20 0 1 0 61777517 24780800 2485 134679101440 4194304 15467897 140720947050048 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53084160 140720947057724 140720947057827 140720947057827 140720947064813 0
/proc/338200/statm: 6050 2485 1073 2753 0 2703 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42792 KiB
Current children cumulated memory: 13688 KiB

[startup+0.205275 s]*
/proc/loadavg: 4.15 4.14 4.09 5/266 338213
/proc/meminfo: memFree=123874516/131524592 swapFree=131071996/131071996
[pid=338196] ppid=338193 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/338196/stat : 338196 (Hybrid-LSMabSP+) S 338193 338196 336013 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61777516 10170368 692 134679101440 94522561957888 94522563037208 140736665495776 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94522565135664 94522565182852 94522584121344 140736665498600 140736665498746 140736665498746 140736665505761 0
/proc/338196/statm: 2483 692 615 264 0 134 0
[pid=338199] ppid=338196 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/338199/stat : 338199 (timeout) S 338196 338199 336013 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61777516 8867840 245 134679101440 94068685451264 94068685486280 140724663145568 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94068687583696 94068687585828 94068715233280 140724663153705 140724663153821 140724663153821 140724663160807 0
/proc/338199/statm: 2165 245 221 9 0 87 0
[pid=338200] ppid=338199 vsize=36836 memory=23256 CPUtime=0.19 cores=5,7
/proc/338200/stat : 338200 (LS-MabSP) R 338199 338199 336013 0 -1 4194304 4827 0 0 0 19 0 0 0 20 0 1 0 61777517 37720064 5814 134679101440 4194304 15467897 140720947050048 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53084160 140720947057724 140720947057827 140720947057827 140720947064813 0
/proc/338200/statm: 9209 5814 1105 2753 0 5862 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 55428 KiB
Current children cumulated memory: 27004 KiB

[startup+0.305811 s]*
/proc/loadavg: 4.15 4.14 4.09 5/266 338213
/proc/meminfo: memFree=123862068/131524592 swapFree=131071996/131071996
[pid=338196] ppid=338193 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/338196/stat : 338196 (Hybrid-LSMabSP+) S 338193 338196 336013 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61777516 10170368 692 134679101440 94522561957888 94522563037208 140736665495776 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94522565135664 94522565182852 94522584121344 140736665498600 140736665498746 140736665498746 140736665505761 0
/proc/338196/statm: 2483 692 615 264 0 134 0
[pid=338199] ppid=338196 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/338199/stat : 338199 (timeout) S 338196 338199 336013 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61777516 8867840 245 134679101440 94068685451264 94068685486280 140724663145568 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94068687583696 94068687585828 94068715233280 140724663153705 140724663153821 140724663153821 140724663160807 0
/proc/338199/statm: 2165 245 221 9 0 87 0
[pid=338200] ppid=338199 vsize=36836 memory=23256 CPUtime=0.29 cores=5,7
/proc/338200/stat : 338200 (LS-MabSP) R 338199 338199 336013 0 -1 4194304 4827 0 0 0 29 0 0 0 20 0 1 0 61777517 37720064 5814 134679101440 4194304 15467897 140720947050048 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53084160 140720947057724 140720947057827 140720947057827 140720947064813 0
/proc/338200/statm: 9209 5814 1105 2753 0 5862 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 55428 KiB
Current children cumulated memory: 27004 KiB

[startup+0.700226 s]
/proc/loadavg: 4.15 4.14 4.09 5/266 338213
/proc/meminfo: memFree=123859256/131524592 swapFree=131071996/131071996
[pid=338196] ppid=338193 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/338196/stat : 338196 (Hybrid-LSMabSP+) S 338193 338196 336013 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61777516 10170368 692 134679101440 94522561957888 94522563037208 140736665495776 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94522565135664 94522565182852 94522584121344 140736665498600 140736665498746 140736665498746 140736665505761 0
/proc/338196/statm: 2483 692 615 264 0 134 0
[pid=338199] ppid=338196 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/338199/stat : 338199 (timeout) S 338196 338199 336013 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61777516 8867840 245 134679101440 94068685451264 94068685486280 140724663145568 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94068687583696 94068687585828 94068715233280 140724663153705 140724663153821 140724663153821 140724663160807 0
/proc/338199/statm: 2165 245 221 9 0 87 0
[pid=338200] ppid=338199 vsize=78544 memory=69912 CPUtime=0.68 cores=5,7
/proc/338200/stat : 338200 (LS-MabSP) R 338199 338199 336013 0 -1 4194304 14950 0 0 0 66 2 0 0 20 0 1 0 61777517 80429056 17478 134679101440 4194304 15467897 140720947050048 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53084160 140720947057724 140720947057827 140720947057827 140720947064813 0
/proc/338200/statm: 19636 17478 2705 2753 0 16289 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 97136 KiB
Current children cumulated memory: 73660 KiB

[startup+1.50021 s]
/proc/loadavg: 4.15 4.14 4.09 5/266 338213
/proc/meminfo: memFree=123710480/131524592 swapFree=131071996/131071996
[pid=338196] ppid=338193 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/338196/stat : 338196 (Hybrid-LSMabSP+) S 338193 338196 336013 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61777516 10170368 692 134679101440 94522561957888 94522563037208 140736665495776 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94522565135664 94522565182852 94522584121344 140736665498600 140736665498746 140736665498746 140736665505761 0
/proc/338196/statm: 2483 692 615 264 0 134 0
[pid=338199] ppid=338196 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/338199/stat : 338199 (timeout) S 338196 338199 336013 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61777516 8867840 245 134679101440 94068685451264 94068685486280 140724663145568 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94068687583696 94068687585828 94068715233280 140724663153705 140724663153821 140724663153821 140724663160807 0
/proc/338199/statm: 2165 245 221 9 0 87 0
[pid=338200] ppid=338199 vsize=184460 memory=165052 CPUtime=1.48 cores=5,7
/proc/338200/stat : 338200 (LS-MabSP) R 338199 338199 336013 0 -1 4194304 33321 0 0 0 143 5 0 0 20 0 1 0 61777517 188887040 41263 134679101440 4194304 15467897 140720947050048 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53084160 140720947057724 140720947057827 140720947057827 140720947064813 0
/proc/338200/statm: 46115 41263 2833 2753 0 42768 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 203052 KiB
Current children cumulated memory: 168800 KiB

[startup+3.10448 s]
/proc/loadavg: 4.15 4.14 4.09 5/266 338213
/proc/meminfo: memFree=123592276/131524592 swapFree=131071996/131071996
[pid=338196] ppid=338193 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/338196/stat : 338196 (Hybrid-LSMabSP+) S 338193 338196 336013 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61777516 10170368 692 134679101440 94522561957888 94522563037208 140736665495776 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94522565135664 94522565182852 94522584121344 140736665498600 140736665498746 140736665498746 140736665505761 0
/proc/338196/statm: 2483 692 615 264 0 134 0
[pid=338199] ppid=338196 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/338199/stat : 338199 (timeout) S 338196 338199 336013 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61777516 8867840 245 134679101440 94068685451264 94068685486280 140724663145568 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94068687583696 94068687585828 94068715233280 140724663153705 140724663153821 140724663153821 140724663160807 0
/proc/338199/statm: 2165 245 221 9 0 87 0
[pid=338200] ppid=338199 vsize=184800 memory=165308 CPUtime=3.08 cores=5,7
/proc/338200/stat : 338200 (LS-MabSP) R 338199 338199 336013 0 -1 4194304 33367 0 0 0 303 5 0 0 20 0 1 0 61777517 189235200 41327 134679101440 4194304 15467897 140720947050048 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53084160 140720947057724 140720947057827 140720947057827 140720947064813 0
/proc/338200/statm: 46200 41327 2833 2753 0 42853 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 203392 KiB
Current children cumulated memory: 169056 KiB

[startup+6.30021 s]
/proc/loadavg: 4.14 4.14 4.09 5/266 338215
/proc/meminfo: memFree=123582220/131524592 swapFree=131071996/131071996
[pid=338196] ppid=338193 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/338196/stat : 338196 (Hybrid-LSMabSP+) S 338193 338196 336013 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61777516 10170368 692 134679101440 94522561957888 94522563037208 140736665495776 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94522565135664 94522565182852 94522584121344 140736665498600 140736665498746 140736665498746 140736665505761 0
/proc/338196/statm: 2483 692 615 264 0 134 0
[pid=338199] ppid=338196 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/338199/stat : 338199 (timeout) S 338196 338199 336013 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61777516 8867840 245 134679101440 94068685451264 94068685486280 140724663145568 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94068687583696 94068687585828 94068715233280 140724663153705 140724663153821 140724663153821 140724663160807 0
/proc/338199/statm: 2165 245 221 9 0 87 0
[pid=338200] ppid=338199 vsize=185132 memory=165564 CPUtime=6.27 cores=5,7
/proc/338200/stat : 338200 (LS-MabSP) R 338199 338199 336013 0 -1 4194304 33431 0 0 0 622 5 0 0 20 0 1 0 61777517 189575168 41391 134679101440 4194304 15467897 140720947050048 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53084160 140720947057724 140720947057827 140720947057827 140720947064813 0
/proc/338200/statm: 46283 41391 2833 2753 0 42936 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 203724 KiB
Current children cumulated memory: 169312 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.14 4.09 5/266 338215
/proc/meminfo: memFree=123556600/131524592 swapFree=131071996/131071996
[pid=338196] ppid=338193 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/338196/stat : 338196 (Hybrid-LSMabSP+) S 338193 338196 336013 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61777516 10170368 692 134679101440 94522561957888 94522563037208 140736665495776 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94522565135664 94522565182852 94522584121344 140736665498600 140736665498746 140736665498746 140736665505761 0
/proc/338196/statm: 2483 692 615 264 0 134 0
[pid=338199] ppid=338196 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/338199/stat : 338199 (timeout) S 338196 338199 336013 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61777516 8867840 245 134679101440 94068685451264 94068685486280 140724663145568 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94068687583696 94068687585828 94068715233280 140724663153705 140724663153821 140724663153821 140724663160807 0
/proc/338199/statm: 2165 245 221 9 0 87 0
[pid=338200] ppid=338199 vsize=206636 memory=182240 CPUtime=12.65 cores=5,7
/proc/338200/stat : 338200 (LS-MabSP) R 338199 338199 336013 0 -1 4194304 37615 0 0 0 1260 5 0 0 20 0 1 0 61777517 211595264 45560 134679101440 4194304 15467897 140720947050048 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53084160 140720947057724 140720947057827 140720947057827 140720947064813 0
/proc/338200/statm: 51659 45560 2849 2753 0 48312 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 225228 KiB
Current children cumulated memory: 185988 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.13 4.09 5/266 338218
/proc/meminfo: memFree=123552872/131524592 swapFree=131071996/131071996
[pid=338196] ppid=338193 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/338196/stat : 338196 (Hybrid-LSMabSP+) S 338193 338196 336013 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61777516 10170368 692 134679101440 94522561957888 94522563037208 140736665495776 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94522565135664 94522565182852 94522584121344 140736665498600 140736665498746 140736665498746 140736665505761 0
/proc/338196/statm: 2483 692 615 264 0 134 0
[pid=338199] ppid=338196 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/338199/stat : 338199 (timeout) S 338196 338199 336013 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61777516 8867840 245 134679101440 94068685451264 94068685486280 140724663145568 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94068687583696 94068687585828 94068715233280 140724663153705 140724663153821 140724663153821 140724663160807 0
/proc/338199/statm: 2165 245 221 9 0 87 0
[pid=338200] ppid=338199 vsize=217688 memory=184616 CPUtime=25.42 cores=5,7
/proc/338200/stat : 338200 (LS-MabSP) R 338199 338199 336013 0 -1 4194304 38217 0 0 0 2537 5 0 0 20 0 1 0 61777517 222912512 46154 134679101440 4194304 15467897 140720947050048 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53084160 140720947057724 140720947057827 140720947057827 140720947064813 0
/proc/338200/statm: 54422 46154 2849 2753 0 51075 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 236280 KiB
Current children cumulated memory: 188364 KiB

[startup+51.1055 s]
/proc/loadavg: 4.18 4.15 4.10 5/266 338223
/proc/meminfo: memFree=123307220/131524592 swapFree=131071996/131071996
[pid=338196] ppid=338193 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/338196/stat : 338196 (Hybrid-LSMabSP+) S 338193 338196 336013 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61777516 10170368 692 134679101440 94522561957888 94522563037208 140736665495776 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94522565135664 94522565182852 94522584121344 140736665498600 140736665498746 140736665498746 140736665505761 0
/proc/338196/statm: 2483 692 615 264 0 134 0
[pid=338199] ppid=338196 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/338199/stat : 338199 (timeout) S 338196 338199 336013 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61777516 8867840 245 134679101440 94068685451264 94068685486280 140724663145568 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94068687583696 94068687585828 94068715233280 140724663153705 140724663153821 140724663153821 140724663160807 0
/proc/338199/statm: 2165 245 221 9 0 87 0
[pid=338200] ppid=338199 vsize=221364 memory=185384 CPUtime=50.97 cores=5,7
/proc/338200/stat : 338200 (LS-MabSP) R 338199 338199 336013 0 -1 4194304 38427 0 0 0 5091 6 0 0 20 0 1 0 61777517 226676736 46346 134679101440 4194304 15467897 140720947050048 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53084160 140720947057724 140720947057827 140720947057827 140720947064813 0
/proc/338200/statm: 55341 46346 2849 2753 0 51994 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 239956 KiB
Current children cumulated memory: 189132 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/266 338232
/proc/meminfo: memFree=122613100/131524592 swapFree=131071996/131071996
[pid=338196] ppid=338193 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/338196/stat : 338196 (Hybrid-LSMabSP+) S 338193 338196 336013 0 -1 4194304 236 101 0 0 0 0 0 0 20 0 1 0 61777516 10170368 692 134679101440 94522561957888 94522563037208 140736665495776 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94522565135664 94522565182852 94522584121344 140736665498600 140736665498746 140736665498746 140736665505761 0

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

/proc/339117/statm: 17681 16259 748 737 0 16769 0
Current children cumulated CPU time: 3394.4 s
Current children cumulated vsize: 89316 KiB
Current children cumulated memory: 68868 KiB

[startup+3462.3 s]
/proc/loadavg: 4.28 4.22 4.13 5/265 340170
/proc/meminfo: memFree=123821916/131524592 swapFree=131071996/131071996
[pid=338196] ppid=338193 vsize=9932 memory=2816 CPUtime=1794.07 cores=5,7
/proc/338196/stat : 338196 (Hybrid-LSMabSP+) S 338193 338196 336013 0 -1 4194304 269 84398 0 0 0 0 177394 2013 20 0 1 0 61777516 10170368 704 134679101440 94522561957888 94522563037208 140736665495776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94522565135664 94522565182852 94522584121344 140736665498600 140736665498746 140736665498746 140736665505761 0
/proc/338196/statm: 2483 704 615 264 0 134 0
[pid=339116] ppid=338196 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/339116/stat : 339116 (timeout) S 338196 339116 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61957317 8867840 254 134679101440 94513286373376 94513286408392 140727026292096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94513288505808 94513288507940 94513308246016 140727026295796 140727026295965 140727026295965 140727026302951 0
/proc/339116/statm: 2165 254 230 9 0 87 0
[pid=339117] ppid=339116 vsize=70868 memory=65580 CPUtime=1660.18 cores=5,7
/proc/339117/stat : 339117 (Exact) R 339116 339116 336013 0 -1 4194304 11967 0 0 0 166015 3 0 0 20 0 1 0 61957317 72568832 16395 134679101440 4194304 7210733 140724751249648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 15069184 140724751258640 140724751258790 140724751258790 140724751265776 0
/proc/339117/statm: 17717 16395 748 737 0 16805 0
Current children cumulated CPU time: 3454.25 s
Current children cumulated vsize: 89460 KiB
Current children cumulated memory: 69412 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.20 4.13 5/265 340180
/proc/meminfo: memFree=123820500/131524592 swapFree=131071996/131071996
[pid=338196] ppid=338193 vsize=9932 memory=2816 CPUtime=1794.07 cores=5,7
/proc/338196/stat : 338196 (Hybrid-LSMabSP+) S 338193 338196 336013 0 -1 4194304 269 84398 0 0 0 0 177394 2013 20 0 1 0 61777516 10170368 704 134679101440 94522561957888 94522563037208 140736665495776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94522565135664 94522565182852 94522584121344 140736665498600 140736665498746 140736665498746 140736665505761 0
/proc/338196/statm: 2483 704 615 264 0 134 0
[pid=339116] ppid=338196 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/339116/stat : 339116 (timeout) S 338196 339116 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61957317 8867840 254 134679101440 94513286373376 94513286408392 140727026292096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94513288505808 94513288507940 94513308246016 140727026295796 140727026295965 140727026295965 140727026302951 0
/proc/339116/statm: 2165 254 230 9 0 87 0
[pid=339117] ppid=339116 vsize=70868 memory=65720 CPUtime=1720.04 cores=5,7
/proc/339117/stat : 339117 (Exact) R 339116 339116 336013 0 -1 4194304 12015 0 0 0 172001 3 0 0 20 0 1 0 61957317 72568832 16430 134679101440 4194304 7210733 140724751249648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 15069184 140724751258640 140724751258790 140724751258790 140724751265776 0
/proc/339117/statm: 17717 16430 748 737 0 16805 0
Current children cumulated CPU time: 3514.11 s
Current children cumulated vsize: 89460 KiB
Current children cumulated memory: 69552 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.18 4.12 5/265 340190
/proc/meminfo: memFree=123819004/131524592 swapFree=131071996/131071996
[pid=338196] ppid=338193 vsize=9932 memory=2816 CPUtime=1794.07 cores=5,7
/proc/338196/stat : 338196 (Hybrid-LSMabSP+) S 338193 338196 336013 0 -1 4194304 269 84398 0 0 0 0 177394 2013 20 0 1 0 61777516 10170368 704 134679101440 94522561957888 94522563037208 140736665495776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94522565135664 94522565182852 94522584121344 140736665498600 140736665498746 140736665498746 140736665505761 0
/proc/338196/statm: 2483 704 615 264 0 134 0
[pid=339116] ppid=338196 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/339116/stat : 339116 (timeout) S 338196 339116 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61957317 8867840 254 134679101440 94513286373376 94513286408392 140727026292096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94513288505808 94513288507940 94513308246016 140727026295796 140727026295965 140727026295965 140727026302951 0
/proc/339116/statm: 2165 254 230 9 0 87 0
[pid=339117] ppid=339116 vsize=71204 memory=66044 CPUtime=1779.89 cores=5,7
/proc/339117/stat : 339117 (Exact) R 339116 339116 336013 0 -1 4194304 12108 0 0 0 177986 3 0 0 20 0 1 0 61957317 72912896 16511 134679101440 4194304 7210733 140724751249648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 15069184 140724751258640 140724751258790 140724751258790 140724751265776 0
/proc/339117/statm: 17801 16511 748 737 0 16889 0
Current children cumulated CPU time: 3573.96 s
Current children cumulated vsize: 89796 KiB
Current children cumulated memory: 69876 KiB

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

# cumulated CPU time of all completed processes:  user=3567.51 s, system=20.1783 s

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

[startup+3584 s]*
/proc/loadavg: 4.13 4.18 4.12 5/265 340191
/proc/meminfo: memFree=123818876/131524592 swapFree=131071996/131071996
[pid=338196] ppid=338193 vsize=9932 memory=2816 CPUtime=1794.07 cores=5,7
/proc/338196/stat : 338196 (Hybrid-LSMabSP+) S 338193 338196 336013 0 -1 4194304 269 84398 0 0 0 0 177394 2013 20 0 1 0 61777516 10170368 704 134679101440 94522561957888 94522563037208 140736665495776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94522565135664 94522565182852 94522584121344 140736665498600 140736665498746 140736665498746 140736665505761 0
/proc/338196/statm: 2483 704 615 264 0 134 0
[pid=339116] ppid=338196 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/339116/stat : 339116 (timeout) S 338196 339116 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61957317 8867840 254 134679101440 94513286373376 94513286408392 140727026292096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94513288505808 94513288507940 94513308246016 140727026295796 140727026295965 140727026295965 140727026302951 0
/proc/339116/statm: 2165 254 230 9 0 87 0
[pid=339117] ppid=339116 vsize=71204 memory=66044 CPUtime=1781.59 cores=5,7
/proc/339117/stat : 339117 (Exact) R 339116 339116 336013 0 -1 4194304 12108 0 0 0 178156 3 0 0 20 0 1 0 61957317 72912896 16511 134679101440 4194304 7210733 140724751249648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 15069184 140724751258640 140724751258790 140724751258790 140724751265776 0
/proc/339117/statm: 17801 16511 748 737 0 16889 0
Current children cumulated CPU time: 3575.66 s
Current children cumulated vsize: 89796 KiB
Current children cumulated memory: 69876 KiB

[startup+3590.4 s]
/proc/loadavg: 4.11 4.17 4.12 5/265 340191
/proc/meminfo: memFree=123818876/131524592 swapFree=131071996/131071996
[pid=338196] ppid=338193 vsize=9932 memory=2816 CPUtime=1794.07 cores=5,7
/proc/338196/stat : 338196 (Hybrid-LSMabSP+) S 338193 338196 336013 0 -1 4194304 269 84398 0 0 0 0 177394 2013 20 0 1 0 61777516 10170368 704 134679101440 94522561957888 94522563037208 140736665495776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94522565135664 94522565182852 94522584121344 140736665498600 140736665498746 140736665498746 140736665505761 0
/proc/338196/statm: 2483 704 615 264 0 134 0
[pid=339116] ppid=338196 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/339116/stat : 339116 (timeout) S 338196 339116 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61957317 8867840 254 134679101440 94513286373376 94513286408392 140727026292096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94513288505808 94513288507940 94513308246016 140727026295796 140727026295965 140727026295965 140727026302951 0
/proc/339116/statm: 2165 254 230 9 0 87 0
[pid=339117] ppid=339116 vsize=71204 memory=66044 CPUtime=1787.97 cores=5,7
/proc/339117/stat : 339117 (Exact) R 339116 339116 336013 0 -1 4194304 12108 0 0 0 178794 3 0 0 20 0 1 0 61957317 72912896 16511 134679101440 4194304 7210733 140724751249648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 15069184 140724751258640 140724751258790 140724751258790 140724751265776 0
/proc/339117/statm: 17801 16511 748 737 0 16889 0
Current children cumulated CPU time: 3582.04 s
Current children cumulated vsize: 89796 KiB
Current children cumulated memory: 69876 KiB

[startup+3593.6 s]
/proc/loadavg: 4.11 4.17 4.12 5/265 340191
/proc/meminfo: memFree=123818876/131524592 swapFree=131071996/131071996
[pid=338196] ppid=338193 vsize=9932 memory=2816 CPUtime=1794.07 cores=5,7
/proc/338196/stat : 338196 (Hybrid-LSMabSP+) S 338193 338196 336013 0 -1 4194304 269 84398 0 0 0 0 177394 2013 20 0 1 0 61777516 10170368 704 134679101440 94522561957888 94522563037208 140736665495776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94522565135664 94522565182852 94522584121344 140736665498600 140736665498746 140736665498746 140736665505761 0
/proc/338196/statm: 2483 704 615 264 0 134 0
[pid=339116] ppid=338196 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/339116/stat : 339116 (timeout) S 338196 339116 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61957317 8867840 254 134679101440 94513286373376 94513286408392 140727026292096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94513288505808 94513288507940 94513308246016 140727026295796 140727026295965 140727026295965 140727026302951 0
/proc/339116/statm: 2165 254 230 9 0 87 0
[pid=339117] ppid=339116 vsize=71204 memory=66044 CPUtime=1791.17 cores=5,7
/proc/339117/stat : 339117 (Exact) R 339116 339116 336013 0 -1 4194304 12112 0 0 0 179114 3 0 0 20 0 1 0 61957317 72912896 16511 134679101440 4194304 7210733 140724751249648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 15069184 140724751258640 140724751258790 140724751258790 140724751265776 0
/proc/339117/statm: 17801 16511 748 737 0 16889 0
Current children cumulated CPU time: 3585.24 s
Current children cumulated vsize: 89796 KiB
Current children cumulated memory: 69876 KiB

[startup+3595.2 s]
/proc/loadavg: 4.10 4.17 4.12 5/265 340193
/proc/meminfo: memFree=123818716/131524592 swapFree=131071996/131071996
[pid=338196] ppid=338193 vsize=9932 memory=2816 CPUtime=1794.07 cores=5,7
/proc/338196/stat : 338196 (Hybrid-LSMabSP+) S 338193 338196 336013 0 -1 4194304 269 84398 0 0 0 0 177394 2013 20 0 1 0 61777516 10170368 704 134679101440 94522561957888 94522563037208 140736665495776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94522565135664 94522565182852 94522584121344 140736665498600 140736665498746 140736665498746 140736665505761 0
/proc/338196/statm: 2483 704 615 264 0 134 0
[pid=339116] ppid=338196 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/339116/stat : 339116 (timeout) S 338196 339116 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61957317 8867840 254 134679101440 94513286373376 94513286408392 140727026292096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94513288505808 94513288507940 94513308246016 140727026295796 140727026295965 140727026295965 140727026302951 0
/proc/339116/statm: 2165 254 230 9 0 87 0
[pid=339117] ppid=339116 vsize=71204 memory=66044 CPUtime=1792.76 cores=5,7
/proc/339117/stat : 339117 (Exact) R 339116 339116 336013 0 -1 4194304 12112 0 0 0 179273 3 0 0 20 0 1 0 61957317 72912896 16511 134679101440 4194304 7210733 140724751249648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 15069184 140724751258640 140724751258790 140724751258790 140724751265776 0
/proc/339117/statm: 17801 16511 748 737 0 16889 0
Current children cumulated CPU time: 3586.83 s
Current children cumulated vsize: 89796 KiB
Current children cumulated memory: 69876 KiB

[startup+3595.6 s]
/proc/loadavg: 4.10 4.17 4.12 5/265 340193
/proc/meminfo: memFree=123818716/131524592 swapFree=131071996/131071996
[pid=338196] ppid=338193 vsize=9932 memory=2816 CPUtime=1794.07 cores=5,7
/proc/338196/stat : 338196 (Hybrid-LSMabSP+) S 338193 338196 336013 0 -1 4194304 269 84398 0 0 0 0 177394 2013 20 0 1 0 61777516 10170368 704 134679101440 94522561957888 94522563037208 140736665495776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94522565135664 94522565182852 94522584121344 140736665498600 140736665498746 140736665498746 140736665505761 0
/proc/338196/statm: 2483 704 615 264 0 134 0
[pid=339116] ppid=338196 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/339116/stat : 339116 (timeout) S 338196 339116 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61957317 8867840 254 134679101440 94513286373376 94513286408392 140727026292096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94513288505808 94513288507940 94513308246016 140727026295796 140727026295965 140727026295965 140727026302951 0
/proc/339116/statm: 2165 254 230 9 0 87 0
[pid=339117] ppid=339116 vsize=71204 memory=66044 CPUtime=1793.16 cores=5,7
/proc/339117/stat : 339117 (Exact) R 339116 339116 336013 0 -1 4194304 12112 0 0 0 179313 3 0 0 20 0 1 0 61957317 72912896 16511 134679101440 4194304 7210733 140724751249648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 15069184 140724751258640 140724751258790 140724751258790 140724751265776 0
/proc/339117/statm: 17801 16511 748 737 0 16889 0
Current children cumulated CPU time: 3587.23 s
Current children cumulated vsize: 89796 KiB
Current children cumulated memory: 69876 KiB

[startup+3596 s]*
/proc/loadavg: 4.10 4.17 4.12 5/265 340193
/proc/meminfo: memFree=123818716/131524592 swapFree=131071996/131071996
[pid=338196] ppid=338193 vsize=9932 memory=2816 CPUtime=1794.07 cores=5,7
/proc/338196/stat : 338196 (Hybrid-LSMabSP+) S 338193 338196 336013 0 -1 4194304 269 84398 0 0 0 0 177394 2013 20 0 1 0 61777516 10170368 704 134679101440 94522561957888 94522563037208 140736665495776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94522565135664 94522565182852 94522584121344 140736665498600 140736665498746 140736665498746 140736665505761 0
/proc/338196/statm: 2483 704 615 264 0 134 0
[pid=339116] ppid=338196 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/339116/stat : 339116 (timeout) S 338196 339116 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61957317 8867840 254 134679101440 94513286373376 94513286408392 140727026292096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94513288505808 94513288507940 94513308246016 140727026295796 140727026295965 140727026295965 140727026302951 0
/proc/339116/statm: 2165 254 230 9 0 87 0
[pid=339117] ppid=339116 vsize=71204 memory=66044 CPUtime=1793.57 cores=5,7
/proc/339117/stat : 339117 (Exact) R 339116 339116 336013 0 -1 4194304 12112 0 0 0 179354 3 0 0 20 0 1 0 61957317 72912896 16511 134679101440 4194304 7210733 140724751249648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 15069184 140724751258640 140724751258790 140724751258790 140724751265776 0
/proc/339117/statm: 17801 16511 748 737 0 16889 0
Current children cumulated CPU time: 3587.64 s
Current children cumulated vsize: 89796 KiB
Current children cumulated memory: 69876 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3587.69
CPU user time (s): 3567.51
CPU system time (s): 20.1783
CPU usage (%): 99.7681
Max. virtual memory (cumulated for all children) (KiB): 426460
Max. memory (cumulated for all children) (KiB): 385680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.51
system time used= 20.1783
maximum resident set size= 381932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99792
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103
involuntary context switches= 3343


# summary of solver processes directly reported to runsolver:
#   pid: 338196
#   total CPU time (s): 3587.69
#   total CPU user time (s): 3567.51
#   total CPU system time (s): 20.1783

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.88588 second user time and 13.5084 second system time

The end