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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437356-1722986309/watcher-4437356-1722986309 -o /tmp/evaluation-result-4437356-1722986309/solver-4437356-1722986309 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722984505-355381 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437356-1722986309.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=356576, runsolver pid=356573

[startup+0.100181 s]*
/proc/loadavg: 4.10 4.12 4.08 5/262 356580
/proc/meminfo: memFree=128479836/131524600 swapFree=131071996/131071996
[pid=356576] ppid=356573 vsize=9932 memory=2728 CPUtime=0 cores=5,7
/proc/356576/stat : 356576 (Hybrid-LSMabSP+) S 356573 356576 355368 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 65229390 10170368 682 134679101440 94564913999872 94564915079192 140721228933584 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564917177648 94564917224836 94564939034624 140721228936168 140721228936314 140721228936314 140721228943329 0
/proc/356576/statm: 2483 682 604 264 0 134 0
[pid=356579] ppid=356576 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/356579/stat : 356579 (timeout) S 356576 356579 355368 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65229390 8867840 244 134679101440 94280178774016 94280178809032 140735395730752 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94280180906448 94280180908580 94280189489152 140735395734569 140735395734685 140735395734685 140735395741671 0
/proc/356579/statm: 2165 244 220 9 0 87 0
[pid=356580] ppid=356579 vsize=21724 memory=9148 CPUtime=0.09 cores=5,7
/proc/356580/stat : 356580 (LS-MabSP) R 356579 356579 355368 0 -1 4194304 897 0 0 0 9 0 0 0 20 0 1 0 65229390 22245376 2287 134679101440 4194304 15467897 140729757981936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26763264 140729757987900 140729757988003 140729757988003 140729757994989 0
/proc/356580/statm: 5431 2287 1105 2753 0 2084 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40316 KiB
Current children cumulated memory: 12852 KiB

[startup+0.205421 s]*
/proc/loadavg: 4.10 4.12 4.08 5/262 356580
/proc/meminfo: memFree=128461300/131524600 swapFree=131071996/131071996
[pid=356576] ppid=356573 vsize=9932 memory=2728 CPUtime=0 cores=5,7
/proc/356576/stat : 356576 (Hybrid-LSMabSP+) S 356573 356576 355368 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 65229390 10170368 682 134679101440 94564913999872 94564915079192 140721228933584 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564917177648 94564917224836 94564939034624 140721228936168 140721228936314 140721228936314 140721228943329 0
/proc/356576/statm: 2483 682 604 264 0 134 0
[pid=356579] ppid=356576 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/356579/stat : 356579 (timeout) S 356576 356579 355368 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65229390 8867840 244 134679101440 94280178774016 94280178809032 140735395730752 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94280180906448 94280180908580 94280189489152 140735395734569 140735395734685 140735395734685 140735395741671 0
/proc/356579/statm: 2165 244 220 9 0 87 0
[pid=356580] ppid=356579 vsize=41488 memory=34000 CPUtime=0.19 cores=5,7
/proc/356580/stat : 356580 (LS-MabSP) R 356579 356579 355368 0 -1 4194304 5546 0 0 0 19 0 0 0 20 0 1 0 65229390 42483712 8500 134679101440 4194304 15467897 140729757981936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26763264 140729757987900 140729757988003 140729757988003 140729757994989 0
/proc/356580/statm: 10372 8500 2737 2753 0 7025 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 60080 KiB
Current children cumulated memory: 37704 KiB

[startup+0.305769 s]*
/proc/loadavg: 4.10 4.12 4.08 5/262 356580
/proc/meminfo: memFree=128460488/131524600 swapFree=131071996/131071996
[pid=356576] ppid=356573 vsize=9932 memory=2728 CPUtime=0 cores=5,7
/proc/356576/stat : 356576 (Hybrid-LSMabSP+) S 356573 356576 355368 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 65229390 10170368 682 134679101440 94564913999872 94564915079192 140721228933584 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564917177648 94564917224836 94564939034624 140721228936168 140721228936314 140721228936314 140721228943329 0
/proc/356576/statm: 2483 682 604 264 0 134 0
[pid=356579] ppid=356576 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/356579/stat : 356579 (timeout) S 356576 356579 355368 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65229390 8867840 244 134679101440 94280178774016 94280178809032 140735395730752 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94280180906448 94280180908580 94280189489152 140735395734569 140735395734685 140735395734685 140735395741671 0
/proc/356579/statm: 2165 244 220 9 0 87 0
[pid=356580] ppid=356579 vsize=42240 memory=34528 CPUtime=0.29 cores=5,7
/proc/356580/stat : 356580 (LS-MabSP) R 356579 356579 355368 0 -1 4194304 5722 0 0 0 29 0 0 0 20 0 1 0 65229390 43253760 8632 134679101440 4194304 15467897 140729757981936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26763264 140729757987900 140729757988003 140729757988003 140729757994989 0
/proc/356580/statm: 10560 8632 2737 2753 0 7213 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 60832 KiB
Current children cumulated memory: 38232 KiB

[startup+0.700288 s]
/proc/loadavg: 4.10 4.12 4.08 5/262 356580
/proc/meminfo: memFree=128436664/131524600 swapFree=131071996/131071996
[pid=356576] ppid=356573 vsize=9932 memory=2728 CPUtime=0 cores=5,7
/proc/356576/stat : 356576 (Hybrid-LSMabSP+) S 356573 356576 355368 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 65229390 10170368 682 134679101440 94564913999872 94564915079192 140721228933584 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564917177648 94564917224836 94564939034624 140721228936168 140721228936314 140721228936314 140721228943329 0
/proc/356576/statm: 2483 682 604 264 0 134 0
[pid=356579] ppid=356576 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/356579/stat : 356579 (timeout) S 356576 356579 355368 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65229390 8867840 244 134679101440 94280178774016 94280178809032 140735395730752 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94280180906448 94280180908580 94280189489152 140735395734569 140735395734685 140735395734685 140735395741671 0
/proc/356579/statm: 2165 244 220 9 0 87 0
[pid=356580] ppid=356579 vsize=72296 memory=61524 CPUtime=0.68 cores=5,7
/proc/356580/stat : 356580 (LS-MabSP) R 356579 356579 355368 0 -1 4194304 14580 0 0 0 66 2 0 0 20 0 1 0 65229390 74031104 15381 134679101440 4194304 15467897 140729757981936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26763264 140729757987900 140729757988003 140729757988003 140729757994989 0
/proc/356580/statm: 18074 15381 2817 2753 0 14727 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 90888 KiB
Current children cumulated memory: 65228 KiB

[startup+1.50025 s]
/proc/loadavg: 4.10 4.12 4.08 5/262 356580
/proc/meminfo: memFree=128430324/131524600 swapFree=131071996/131071996
[pid=356576] ppid=356573 vsize=9932 memory=2728 CPUtime=0 cores=5,7
/proc/356576/stat : 356576 (Hybrid-LSMabSP+) S 356573 356576 355368 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 65229390 10170368 682 134679101440 94564913999872 94564915079192 140721228933584 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564917177648 94564917224836 94564939034624 140721228936168 140721228936314 140721228936314 140721228943329 0
/proc/356576/statm: 2483 682 604 264 0 134 0
[pid=356579] ppid=356576 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/356579/stat : 356579 (timeout) S 356576 356579 355368 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65229390 8867840 244 134679101440 94280178774016 94280178809032 140735395730752 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94280180906448 94280180908580 94280189489152 140735395734569 140735395734685 140735395734685 140735395741671 0
/proc/356579/statm: 2165 244 220 9 0 87 0
[pid=356580] ppid=356579 vsize=72296 memory=61820 CPUtime=1.48 cores=5,7
/proc/356580/stat : 356580 (LS-MabSP) R 356579 356579 355368 0 -1 4194304 14605 0 0 0 146 2 0 0 20 0 1 0 65229390 74031104 15455 134679101440 4194304 15467897 140729757981936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26763264 140729757987900 140729757988003 140729757988003 140729757994989 0
/proc/356580/statm: 18074 15455 2833 2753 0 14727 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 90888 KiB
Current children cumulated memory: 65524 KiB

[startup+3.10545 s]
/proc/loadavg: 4.09 4.11 4.08 5/262 356580
/proc/meminfo: memFree=128426132/131524600 swapFree=131071996/131071996
[pid=356576] ppid=356573 vsize=9932 memory=2728 CPUtime=0 cores=5,7
/proc/356576/stat : 356576 (Hybrid-LSMabSP+) S 356573 356576 355368 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 65229390 10170368 682 134679101440 94564913999872 94564915079192 140721228933584 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564917177648 94564917224836 94564939034624 140721228936168 140721228936314 140721228936314 140721228943329 0
/proc/356576/statm: 2483 682 604 264 0 134 0
[pid=356579] ppid=356576 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/356579/stat : 356579 (timeout) S 356576 356579 355368 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65229390 8867840 244 134679101440 94280178774016 94280178809032 140735395730752 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94280180906448 94280180908580 94280189489152 140735395734569 140735395734685 140735395734685 140735395741671 0
/proc/356579/statm: 2165 244 220 9 0 87 0
[pid=356580] ppid=356579 vsize=72296 memory=62084 CPUtime=3.08 cores=5,7
/proc/356580/stat : 356580 (LS-MabSP) R 356579 356579 355368 0 -1 4194304 14707 0 0 0 306 2 0 0 20 0 1 0 65229390 74031104 15521 134679101440 4194304 15467897 140729757981936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26763264 140729757987900 140729757988003 140729757988003 140729757994989 0
/proc/356580/statm: 18074 15521 2833 2753 0 14727 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 90888 KiB
Current children cumulated memory: 65788 KiB

[startup+6.30029 s]
/proc/loadavg: 4.09 4.11 4.08 5/262 356581
/proc/meminfo: memFree=128423296/131524600 swapFree=131071996/131071996
[pid=356576] ppid=356573 vsize=9932 memory=2728 CPUtime=0 cores=5,7
/proc/356576/stat : 356576 (Hybrid-LSMabSP+) S 356573 356576 355368 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 65229390 10170368 682 134679101440 94564913999872 94564915079192 140721228933584 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564917177648 94564917224836 94564939034624 140721228936168 140721228936314 140721228936314 140721228943329 0
/proc/356576/statm: 2483 682 604 264 0 134 0
[pid=356579] ppid=356576 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/356579/stat : 356579 (timeout) S 356576 356579 355368 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65229390 8867840 244 134679101440 94280178774016 94280178809032 140735395730752 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94280180906448 94280180908580 94280189489152 140735395734569 140735395734685 140735395734685 140735395741671 0
/proc/356579/statm: 2165 244 220 9 0 87 0
[pid=356580] ppid=356579 vsize=72296 memory=62084 CPUtime=6.27 cores=5,7
/proc/356580/stat : 356580 (LS-MabSP) R 356579 356579 355368 0 -1 4194304 14710 0 0 0 625 2 0 0 20 0 1 0 65229390 74031104 15521 134679101440 4194304 15467897 140729757981936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26763264 140729757987900 140729757988003 140729757988003 140729757994989 0
/proc/356580/statm: 18074 15521 2833 2753 0 14727 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 90888 KiB
Current children cumulated memory: 65788 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.13 4.09 5/262 356581
/proc/meminfo: memFree=128418404/131524600 swapFree=131071996/131071996
[pid=356576] ppid=356573 vsize=9932 memory=2728 CPUtime=0 cores=5,7
/proc/356576/stat : 356576 (Hybrid-LSMabSP+) S 356573 356576 355368 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 65229390 10170368 682 134679101440 94564913999872 94564915079192 140721228933584 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564917177648 94564917224836 94564939034624 140721228936168 140721228936314 140721228936314 140721228943329 0
/proc/356576/statm: 2483 682 604 264 0 134 0
[pid=356579] ppid=356576 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/356579/stat : 356579 (timeout) S 356576 356579 355368 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65229390 8867840 244 134679101440 94280178774016 94280178809032 140735395730752 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94280180906448 94280180908580 94280189489152 140735395734569 140735395734685 140735395734685 140735395741671 0
/proc/356579/statm: 2165 244 220 9 0 87 0
[pid=356580] ppid=356579 vsize=72296 memory=62084 CPUtime=12.65 cores=5,7
/proc/356580/stat : 356580 (LS-MabSP) R 356579 356579 355368 0 -1 4194304 14714 0 0 0 1263 2 0 0 20 0 1 0 65229390 74031104 15521 134679101440 4194304 15467897 140729757981936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26763264 140729757987900 140729757988003 140729757988003 140729757994989 0
/proc/356580/statm: 18074 15521 2833 2753 0 14727 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 90888 KiB
Current children cumulated memory: 65788 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.12 4.08 5/262 356584
/proc/meminfo: memFree=128365204/131524600 swapFree=131071996/131071996
[pid=356576] ppid=356573 vsize=9932 memory=2728 CPUtime=0 cores=5,7
/proc/356576/stat : 356576 (Hybrid-LSMabSP+) S 356573 356576 355368 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 65229390 10170368 682 134679101440 94564913999872 94564915079192 140721228933584 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564917177648 94564917224836 94564939034624 140721228936168 140721228936314 140721228936314 140721228943329 0
/proc/356576/statm: 2483 682 604 264 0 134 0
[pid=356579] ppid=356576 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/356579/stat : 356579 (timeout) S 356576 356579 355368 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65229390 8867840 244 134679101440 94280178774016 94280178809032 140735395730752 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94280180906448 94280180908580 94280189489152 140735395734569 140735395734685 140735395734685 140735395741671 0
/proc/356579/statm: 2165 244 220 9 0 87 0
[pid=356580] ppid=356579 vsize=116936 memory=101788 CPUtime=25.42 cores=5,7
/proc/356580/stat : 356580 (LS-MabSP) R 356579 356579 355368 0 -1 4194304 24690 0 0 0 2538 4 0 0 20 0 1 0 65229390 119742464 25447 134679101440 4194304 15467897 140729757981936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26763264 140729757987900 140729757988003 140729757988003 140729757994989 0
/proc/356580/statm: 29234 25447 2849 2753 0 25887 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 135528 KiB
Current children cumulated memory: 105492 KiB

[startup+51.1056 s]
/proc/loadavg: 4.08 4.11 4.08 5/262 356587
/proc/meminfo: memFree=128308896/131524600 swapFree=131071996/131071996
[pid=356576] ppid=356573 vsize=9932 memory=2728 CPUtime=0 cores=5,7
/proc/356576/stat : 356576 (Hybrid-LSMabSP+) S 356573 356576 355368 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 65229390 10170368 682 134679101440 94564913999872 94564915079192 140721228933584 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564917177648 94564917224836 94564939034624 140721228936168 140721228936314 140721228936314 140721228943329 0
/proc/356576/statm: 2483 682 604 264 0 134 0
[pid=356579] ppid=356576 vsize=8660 memory=976 CPUtime=0 cores=5,7
/proc/356579/stat : 356579 (timeout) S 356576 356579 355368 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65229390 8867840 244 134679101440 94280178774016 94280178809032 140735395730752 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94280180906448 94280180908580 94280189489152 140735395734569 140735395734685 140735395734685 140735395741671 0
/proc/356579/statm: 2165 244 220 9 0 87 0
[pid=356580] ppid=356579 vsize=178132 memory=147220 CPUtime=50.95 cores=5,7
/proc/356580/stat : 356580 (LS-MabSP) R 356579 356579 355368 0 -1 4194304 36036 0 0 0 5089 6 0 0 20 0 1 0 65229390 182407168 36805 134679101440 4194304 15467897 140729757981936 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26763264 140729757987900 140729757988003 140729757988003 140729757994989 0
/proc/356580/statm: 44533 36805 2849 2753 0 41186 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 196724 KiB
Current children cumulated memory: 150924 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 356596
/proc/meminfo: memFree=128213940/131524600 swapFree=131071996/131071996
[pid=356576] ppid=356573 vsize=9932 memory=2728 CPUtime=0 cores=5,7
/proc/356576/stat : 356576 (Hybrid-LSMabSP+) S 356573 356576 355368 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 65229390 10170368 682 134679101440 94564913999872 94564915079192 140721228933584 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564917177648 94564917224836 94564939034624 140721228936168 140721228936314 140721228936314 140721228943329 0

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

/proc/357664/statm: 38594 29561 764 737 0 37682 0
Current children cumulated CPU time: 3394.39 s
Current children cumulated vsize: 172968 KiB
Current children cumulated memory: 121928 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.21 4.16 5/262 358592
/proc/meminfo: memFree=119697420/131524600 swapFree=131071996/131071996
[pid=356576] ppid=356573 vsize=9932 memory=2772 CPUtime=1794.18 cores=5,7
/proc/356576/stat : 356576 (Hybrid-LSMabSP+) S 356573 356576 355368 0 -1 4194304 273 113324 0 0 0 0 172778 6640 20 0 1 0 65229390 10170368 693 134679101440 94564913999872 94564915079192 140721228933584 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94564917177648 94564917224836 94564939034624 140721228936168 140721228936314 140721228936314 140721228943329 0
/proc/356576/statm: 2483 693 604 264 0 134 0
[pid=357663] ppid=356576 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/357663/stat : 357663 (timeout) S 356576 357663 355368 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65409191 8867840 228 134679101440 94678639632384 94678639667400 140721287780400 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94678641764816 94678641766948 94678647001088 140721287783412 140721287783581 140721287783581 140721287790567 0
/proc/357663/statm: 2165 228 204 9 0 87 0
[pid=357664] ppid=357663 vsize=154612 memory=118408 CPUtime=1660.04 cores=5,7
/proc/357664/stat : 357664 (Exact) R 357663 357663 355368 0 -1 4194304 16456 0 0 0 165998 6 0 0 20 0 1 0 65409191 158322688 29602 134679101440 4194304 7210733 140730623540656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 38801408 140730623542288 140730623542438 140730623542438 140730623549424 0
/proc/357664/statm: 38653 29602 764 737 0 37741 0
Current children cumulated CPU time: 3454.22 s
Current children cumulated vsize: 173204 KiB
Current children cumulated memory: 122092 KiB

[startup+3522.3 s]
/proc/loadavg: 4.40 4.28 4.19 5/262 358602
/proc/meminfo: memFree=119697072/131524600 swapFree=131071996/131071996
[pid=356576] ppid=356573 vsize=9932 memory=2772 CPUtime=1794.18 cores=5,7
/proc/356576/stat : 356576 (Hybrid-LSMabSP+) S 356573 356576 355368 0 -1 4194304 273 113324 0 0 0 0 172778 6640 20 0 1 0 65229390 10170368 693 134679101440 94564913999872 94564915079192 140721228933584 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94564917177648 94564917224836 94564939034624 140721228936168 140721228936314 140721228936314 140721228943329 0
/proc/356576/statm: 2483 693 604 264 0 134 0
[pid=357663] ppid=356576 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/357663/stat : 357663 (timeout) S 356576 357663 355368 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65409191 8867840 228 134679101440 94678639632384 94678639667400 140721287780400 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94678641764816 94678641766948 94678647001088 140721287783412 140721287783581 140721287783581 140721287790567 0
/proc/357663/statm: 2165 228 204 9 0 87 0
[pid=357664] ppid=357663 vsize=154612 memory=118408 CPUtime=1719.88 cores=5,7
/proc/357664/stat : 357664 (Exact) R 357663 357663 355368 0 -1 4194304 16467 0 0 0 171982 6 0 0 20 0 1 0 65409191 158322688 29602 134679101440 4194304 7210733 140730623540656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 38801408 140730623542288 140730623542438 140730623542438 140730623549424 0
/proc/357664/statm: 38653 29602 764 737 0 37741 0
Current children cumulated CPU time: 3514.06 s
Current children cumulated vsize: 173204 KiB
Current children cumulated memory: 122092 KiB

[startup+3582.3 s]
/proc/loadavg: 4.37 4.29 4.19 5/262 358614
/proc/meminfo: memFree=119696520/131524600 swapFree=131071996/131071996
[pid=356576] ppid=356573 vsize=9932 memory=2772 CPUtime=1794.18 cores=5,7
/proc/356576/stat : 356576 (Hybrid-LSMabSP+) S 356573 356576 355368 0 -1 4194304 273 113324 0 0 0 0 172778 6640 20 0 1 0 65229390 10170368 693 134679101440 94564913999872 94564915079192 140721228933584 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94564917177648 94564917224836 94564939034624 140721228936168 140721228936314 140721228936314 140721228943329 0
/proc/356576/statm: 2483 693 604 264 0 134 0
[pid=357663] ppid=356576 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/357663/stat : 357663 (timeout) S 356576 357663 355368 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65409191 8867840 228 134679101440 94678639632384 94678639667400 140721287780400 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94678641764816 94678641766948 94678647001088 140721287783412 140721287783581 140721287783581 140721287790567 0
/proc/357663/statm: 2165 228 204 9 0 87 0
[pid=357664] ppid=357663 vsize=154908 memory=118760 CPUtime=1779.7 cores=5,7
/proc/357664/stat : 357664 (Exact) R 357663 357663 355368 0 -1 4194304 16589 0 0 0 177964 6 0 0 20 0 1 0 65409191 158625792 29690 134679101440 4194304 7210733 140730623540656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 38801408 140730623542288 140730623542438 140730623542438 140730623549424 0
/proc/357664/statm: 38727 29690 764 737 0 37815 0
Current children cumulated CPU time: 3573.88 s
Current children cumulated vsize: 173500 KiB
Current children cumulated memory: 122444 KiB

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

# cumulated CPU time of all completed processes:  user=3521.13 s, system=66.478 s

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

[startup+3584 s]*
/proc/loadavg: 4.34 4.28 4.19 5/262 358614
/proc/meminfo: memFree=119696520/131524600 swapFree=131071996/131071996
[pid=356576] ppid=356573 vsize=9932 memory=2772 CPUtime=1794.18 cores=5,7
/proc/356576/stat : 356576 (Hybrid-LSMabSP+) S 356573 356576 355368 0 -1 4194304 273 113324 0 0 0 0 172778 6640 20 0 1 0 65229390 10170368 693 134679101440 94564913999872 94564915079192 140721228933584 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94564917177648 94564917224836 94564939034624 140721228936168 140721228936314 140721228936314 140721228943329 0
/proc/356576/statm: 2483 693 604 264 0 134 0
[pid=357663] ppid=356576 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/357663/stat : 357663 (timeout) S 356576 357663 355368 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65409191 8867840 228 134679101440 94678639632384 94678639667400 140721287780400 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94678641764816 94678641766948 94678647001088 140721287783412 140721287783581 140721287783581 140721287790567 0
/proc/357663/statm: 2165 228 204 9 0 87 0
[pid=357664] ppid=357663 vsize=154908 memory=118760 CPUtime=1781.4 cores=5,7
/proc/357664/stat : 357664 (Exact) R 357663 357663 355368 0 -1 4194304 16589 0 0 0 178134 6 0 0 20 0 1 0 65409191 158625792 29690 134679101440 4194304 7210733 140730623540656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 38801408 140730623542288 140730623542438 140730623542438 140730623549424 0
/proc/357664/statm: 38727 29690 764 737 0 37815 0
Current children cumulated CPU time: 3575.58 s
Current children cumulated vsize: 173500 KiB
Current children cumulated memory: 122444 KiB

[startup+3590.4 s]
/proc/loadavg: 4.31 4.28 4.19 5/262 358616
/proc/meminfo: memFree=119696452/131524600 swapFree=131071996/131071996
[pid=356576] ppid=356573 vsize=9932 memory=2772 CPUtime=1794.18 cores=5,7
/proc/356576/stat : 356576 (Hybrid-LSMabSP+) S 356573 356576 355368 0 -1 4194304 273 113324 0 0 0 0 172778 6640 20 0 1 0 65229390 10170368 693 134679101440 94564913999872 94564915079192 140721228933584 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94564917177648 94564917224836 94564939034624 140721228936168 140721228936314 140721228936314 140721228943329 0
/proc/356576/statm: 2483 693 604 264 0 134 0
[pid=357663] ppid=356576 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/357663/stat : 357663 (timeout) S 356576 357663 355368 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65409191 8867840 228 134679101440 94678639632384 94678639667400 140721287780400 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94678641764816 94678641766948 94678647001088 140721287783412 140721287783581 140721287783581 140721287790567 0
/proc/357663/statm: 2165 228 204 9 0 87 0
[pid=357664] ppid=357663 vsize=154908 memory=118760 CPUtime=1787.77 cores=5,7
/proc/357664/stat : 357664 (Exact) R 357663 357663 355368 0 -1 4194304 16590 0 0 0 178771 6 0 0 20 0 1 0 65409191 158625792 29690 134679101440 4194304 7210733 140730623540656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 38801408 140730623542288 140730623542438 140730623542438 140730623549424 0
/proc/357664/statm: 38727 29690 764 737 0 37815 0
Current children cumulated CPU time: 3581.95 s
Current children cumulated vsize: 173500 KiB
Current children cumulated memory: 122444 KiB

[startup+3593.6 s]
/proc/loadavg: 4.29 4.27 4.19 5/262 358620
/proc/meminfo: memFree=124650420/131524600 swapFree=131071996/131071996
[pid=356576] ppid=356573 vsize=9932 memory=2772 CPUtime=1794.18 cores=5,7
/proc/356576/stat : 356576 (Hybrid-LSMabSP+) S 356573 356576 355368 0 -1 4194304 273 113324 0 0 0 0 172778 6640 20 0 1 0 65229390 10170368 693 134679101440 94564913999872 94564915079192 140721228933584 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94564917177648 94564917224836 94564939034624 140721228936168 140721228936314 140721228936314 140721228943329 0
/proc/356576/statm: 2483 693 604 264 0 134 0
[pid=357663] ppid=356576 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/357663/stat : 357663 (timeout) S 356576 357663 355368 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65409191 8867840 228 134679101440 94678639632384 94678639667400 140721287780400 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94678641764816 94678641766948 94678647001088 140721287783412 140721287783581 140721287783581 140721287790567 0
/proc/357663/statm: 2165 228 204 9 0 87 0
[pid=357664] ppid=357663 vsize=154908 memory=118760 CPUtime=1790.96 cores=5,7
/proc/357664/stat : 357664 (Exact) R 357663 357663 355368 0 -1 4194304 16590 0 0 0 179090 6 0 0 20 0 1 0 65409191 158625792 29690 134679101440 4194304 7210733 140730623540656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 38801408 140730623542288 140730623542438 140730623542438 140730623549424 0
/proc/357664/statm: 38727 29690 764 737 0 37815 0
Current children cumulated CPU time: 3585.14 s
Current children cumulated vsize: 173500 KiB
Current children cumulated memory: 122444 KiB

[startup+3595.2 s]
/proc/loadavg: 4.29 4.27 4.19 5/262 358621
/proc/meminfo: memFree=123893212/131524600 swapFree=131071996/131071996
[pid=356576] ppid=356573 vsize=9932 memory=2772 CPUtime=1794.18 cores=5,7
/proc/356576/stat : 356576 (Hybrid-LSMabSP+) S 356573 356576 355368 0 -1 4194304 273 113324 0 0 0 0 172778 6640 20 0 1 0 65229390 10170368 693 134679101440 94564913999872 94564915079192 140721228933584 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94564917177648 94564917224836 94564939034624 140721228936168 140721228936314 140721228936314 140721228943329 0
/proc/356576/statm: 2483 693 604 264 0 134 0
[pid=357663] ppid=356576 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/357663/stat : 357663 (timeout) S 356576 357663 355368 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65409191 8867840 228 134679101440 94678639632384 94678639667400 140721287780400 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94678641764816 94678641766948 94678647001088 140721287783412 140721287783581 140721287783581 140721287790567 0
/proc/357663/statm: 2165 228 204 9 0 87 0
[pid=357664] ppid=357663 vsize=154908 memory=118760 CPUtime=1792.56 cores=5,7
/proc/357664/stat : 357664 (Exact) R 357663 357663 355368 0 -1 4194304 16590 0 0 0 179250 6 0 0 20 0 1 0 65409191 158625792 29690 134679101440 4194304 7210733 140730623540656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 38801408 140730623542288 140730623542438 140730623542438 140730623549424 0
/proc/357664/statm: 38727 29690 764 737 0 37815 0
Current children cumulated CPU time: 3586.74 s
Current children cumulated vsize: 173500 KiB
Current children cumulated memory: 122444 KiB

[startup+3595.6 s]
/proc/loadavg: 4.29 4.27 4.19 5/262 358621
/proc/meminfo: memFree=123893212/131524600 swapFree=131071996/131071996
[pid=356576] ppid=356573 vsize=9932 memory=2772 CPUtime=1794.18 cores=5,7
/proc/356576/stat : 356576 (Hybrid-LSMabSP+) S 356573 356576 355368 0 -1 4194304 273 113324 0 0 0 0 172778 6640 20 0 1 0 65229390 10170368 693 134679101440 94564913999872 94564915079192 140721228933584 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94564917177648 94564917224836 94564939034624 140721228936168 140721228936314 140721228936314 140721228943329 0
/proc/356576/statm: 2483 693 604 264 0 134 0
[pid=357663] ppid=356576 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/357663/stat : 357663 (timeout) S 356576 357663 355368 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65409191 8867840 228 134679101440 94678639632384 94678639667400 140721287780400 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94678641764816 94678641766948 94678647001088 140721287783412 140721287783581 140721287783581 140721287790567 0
/proc/357663/statm: 2165 228 204 9 0 87 0
[pid=357664] ppid=357663 vsize=154908 memory=118760 CPUtime=1792.96 cores=5,7
/proc/357664/stat : 357664 (Exact) R 357663 357663 355368 0 -1 4194304 16590 0 0 0 179290 6 0 0 20 0 1 0 65409191 158625792 29690 134679101440 4194304 7210733 140730623540656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 38801408 140730623542288 140730623542438 140730623542438 140730623549424 0
/proc/357664/statm: 38727 29690 764 737 0 37815 0
Current children cumulated CPU time: 3587.14 s
Current children cumulated vsize: 173500 KiB
Current children cumulated memory: 122444 KiB

[startup+3596 s]*
/proc/loadavg: 4.29 4.27 4.19 5/262 358621
/proc/meminfo: memFree=123494112/131524600 swapFree=131071996/131071996
[pid=356576] ppid=356573 vsize=9932 memory=2772 CPUtime=1794.18 cores=5,7
/proc/356576/stat : 356576 (Hybrid-LSMabSP+) S 356573 356576 355368 0 -1 4194304 273 113324 0 0 0 0 172778 6640 20 0 1 0 65229390 10170368 693 134679101440 94564913999872 94564915079192 140721228933584 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94564917177648 94564917224836 94564939034624 140721228936168 140721228936314 140721228936314 140721228943329 0
/proc/356576/statm: 2483 693 604 264 0 134 0
[pid=357663] ppid=356576 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/357663/stat : 357663 (timeout) S 356576 357663 355368 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65409191 8867840 228 134679101440 94678639632384 94678639667400 140721287780400 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94678641764816 94678641766948 94678647001088 140721287783412 140721287783581 140721287783581 140721287790567 0
/proc/357663/statm: 2165 228 204 9 0 87 0
[pid=357664] ppid=357663 vsize=154908 memory=118760 CPUtime=1793.36 cores=5,7
/proc/357664/stat : 357664 (Exact) R 357663 357663 355368 0 -1 4194304 16590 0 0 0 179330 6 0 0 20 0 1 0 65409191 158625792 29690 134679101440 4194304 7210733 140730623540656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 38801408 140730623542288 140730623542438 140730623542438 140730623549424 0
/proc/357664/statm: 38727 29690 764 737 0 37815 0
Current children cumulated CPU time: 3587.54 s
Current children cumulated vsize: 173500 KiB
Current children cumulated memory: 122444 KiB

Child status: 0

Real time (s): 3596.05
CPU time (s): 3587.61
CPU user time (s): 3521.13
CPU system time (s): 66.478
CPU usage (%): 99.7654
Max. virtual memory (cumulated for all children) (KiB): 881492
Max. memory (cumulated for all children) (KiB): 799984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3521.13
system time used= 66.478
maximum resident set size= 796280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133201
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 142
involuntary context switches= 2468


# summary of solver processes directly reported to runsolver:
#   pid: 356576
#   total CPU time (s): 3587.61
#   total CPU user time (s): 3521.13
#   total CPU system time (s): 66.478

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.63507 second user time and 16.3982 second system time

The end