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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443714-1721307849/watcher-4443714-1721307849 -o /tmp/evaluation-result-4443714-1721307849/solver-4443714-1721307849 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721305162-973803 --watchdog 3760 ./Hybrid-LSMabSP+Exact HOME/instance-4443714-1721307849.opb 3600 HOME 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=976500, runsolver pid=976497

[startup+0.100238 s]*
/proc/loadavg: 4.22 4.15 4.06 5/263 976504
/proc/meminfo: memFree=126889220/131524600 swapFree=131071996/131071996
[pid=976500] ppid=976497 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/976500/stat : 976500 (Hybrid-LSMabSP+) S 976497 976500 973793 0 -1 4194304 233 102 0 0 0 0 0 0 20 0 1 0 182949063 10170368 673 134679101440 94727250210816 94727251290136 140720659463888 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94727253388592 94727253435780 94727261425664 140720659465191 140720659465337 140720659465337 140720659472353 0
/proc/976500/statm: 2483 673 595 264 0 134 0
[pid=976503] ppid=976500 vsize=8660 memory=936 CPUtime=0 cores=0,2
/proc/976503/stat : 976503 (timeout) S 976500 976503 973793 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 182949063 8867840 234 134679101440 94580222709760 94580222744776 140723544219664 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94580224842192 94580224844324 94580256235520 140723544224808 140723544224924 140723544224924 140723544231911 0
/proc/976503/statm: 2165 234 209 9 0 87 0
[pid=976504] ppid=976503 vsize=68848 memory=55700 CPUtime=0.09 cores=0,2
/proc/976504/stat : 976504 (LS-MabSP) R 976503 976503 973793 0 -1 4194304 2755 0 0 0 8 1 0 0 20 0 1 0 182949063 70500352 13925 134679101440 4194304 15467897 140731367063360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44994560 140731367064635 140731367064738 140731367064738 140731367071725 0
/proc/976504/statm: 17212 13925 1073 2753 0 13865 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 87440 KiB
Current children cumulated memory: 59328 KiB

[startup+0.205682 s]*
/proc/loadavg: 4.20 4.15 4.06 5/263 976504
/proc/meminfo: memFree=126886320/131524600 swapFree=131071996/131071996
[pid=976500] ppid=976497 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/976500/stat : 976500 (Hybrid-LSMabSP+) S 976497 976500 973793 0 -1 4194304 233 102 0 0 0 0 0 0 20 0 1 0 182949063 10170368 673 134679101440 94727250210816 94727251290136 140720659463888 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94727253388592 94727253435780 94727261425664 140720659465191 140720659465337 140720659465337 140720659472353 0
/proc/976500/statm: 2483 673 595 264 0 134 0
[pid=976503] ppid=976500 vsize=8660 memory=936 CPUtime=0 cores=0,2
/proc/976503/stat : 976503 (timeout) S 976500 976503 973793 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 182949063 8867840 234 134679101440 94580222709760 94580222744776 140723544219664 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94580224842192 94580224844324 94580256235520 140723544224808 140723544224924 140723544224924 140723544231911 0
/proc/976503/statm: 2165 234 209 9 0 87 0
[pid=976504] ppid=976503 vsize=70896 memory=58192 CPUtime=0.2 cores=0,2
/proc/976504/stat : 976504 (LS-MabSP) R 976503 976503 973793 0 -1 4194304 3336 0 0 0 19 1 0 0 20 0 1 0 182949063 72597504 14548 134679101440 4194304 15467897 140731367063360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44994560 140731367064635 140731367064738 140731367064738 140731367071725 0
/proc/976504/statm: 17724 14548 1073 2753 0 14377 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 89488 KiB
Current children cumulated memory: 61820 KiB

[startup+0.304825 s]*
/proc/loadavg: 4.20 4.15 4.06 5/263 976504
/proc/meminfo: memFree=126881836/131524600 swapFree=131071996/131071996
[pid=976500] ppid=976497 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/976500/stat : 976500 (Hybrid-LSMabSP+) S 976497 976500 973793 0 -1 4194304 233 102 0 0 0 0 0 0 20 0 1 0 182949063 10170368 673 134679101440 94727250210816 94727251290136 140720659463888 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94727253388592 94727253435780 94727261425664 140720659465191 140720659465337 140720659465337 140720659472353 0
/proc/976500/statm: 2483 673 595 264 0 134 0
[pid=976503] ppid=976500 vsize=8660 memory=936 CPUtime=0 cores=0,2
/proc/976503/stat : 976503 (timeout) S 976500 976503 973793 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 182949063 8867840 234 134679101440 94580222709760 94580222744776 140723544219664 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94580224842192 94580224844324 94580256235520 140723544224808 140723544224924 140723544224924 140723544231911 0
/proc/976503/statm: 2165 234 209 9 0 87 0
[pid=976504] ppid=976503 vsize=74992 memory=61768 CPUtime=0.29 cores=0,2
/proc/976504/stat : 976504 (LS-MabSP) R 976503 976503 973793 0 -1 4194304 3704 0 0 0 28 1 0 0 20 0 1 0 182949063 76791808 15442 134679101440 4194304 15467897 140731367063360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44994560 140731367064635 140731367064738 140731367064738 140731367071725 0
/proc/976504/statm: 18748 15442 1073 2753 0 15401 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 93584 KiB
Current children cumulated memory: 65396 KiB

[startup+0.70025 s]
/proc/loadavg: 4.20 4.15 4.06 5/263 976504
/proc/meminfo: memFree=126872552/131524600 swapFree=131071996/131071996
[pid=976500] ppid=976497 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/976500/stat : 976500 (Hybrid-LSMabSP+) S 976497 976500 973793 0 -1 4194304 233 102 0 0 0 0 0 0 20 0 1 0 182949063 10170368 673 134679101440 94727250210816 94727251290136 140720659463888 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94727253388592 94727253435780 94727261425664 140720659465191 140720659465337 140720659465337 140720659472353 0
/proc/976500/statm: 2483 673 595 264 0 134 0
[pid=976503] ppid=976500 vsize=8660 memory=936 CPUtime=0 cores=0,2
/proc/976503/stat : 976503 (timeout) S 976500 976503 973793 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 182949063 8867840 234 134679101440 94580222709760 94580222744776 140723544219664 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94580224842192 94580224844324 94580256235520 140723544224808 140723544224924 140723544224924 140723544231911 0
/proc/976503/statm: 2165 234 209 9 0 87 0
[pid=976504] ppid=976503 vsize=83184 memory=69964 CPUtime=0.68 cores=0,2
/proc/976504/stat : 976504 (LS-MabSP) R 976503 976503 973793 0 -1 4194304 4225 0 0 0 67 1 0 0 20 0 1 0 182949063 85180416 17491 134679101440 4194304 15467897 140731367063360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44994560 140731367064635 140731367064738 140731367064738 140731367071725 0
/proc/976504/statm: 20796 17491 1073 2753 0 17449 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 101776 KiB
Current children cumulated memory: 73592 KiB

[startup+1.50028 s]
/proc/loadavg: 4.20 4.15 4.06 5/263 976504
/proc/meminfo: memFree=126855696/131524600 swapFree=131071996/131071996
[pid=976500] ppid=976497 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/976500/stat : 976500 (Hybrid-LSMabSP+) S 976497 976500 973793 0 -1 4194304 233 102 0 0 0 0 0 0 20 0 1 0 182949063 10170368 673 134679101440 94727250210816 94727251290136 140720659463888 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94727253388592 94727253435780 94727261425664 140720659465191 140720659465337 140720659465337 140720659472353 0
/proc/976500/statm: 2483 673 595 264 0 134 0
[pid=976503] ppid=976500 vsize=8660 memory=936 CPUtime=0 cores=0,2
/proc/976503/stat : 976503 (timeout) S 976500 976503 973793 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 182949063 8867840 234 134679101440 94580222709760 94580222744776 140723544219664 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94580224842192 94580224844324 94580256235520 140723544224808 140723544224924 140723544224924 140723544231911 0
/proc/976503/statm: 2165 234 209 9 0 87 0
[pid=976504] ppid=976503 vsize=99568 memory=86352 CPUtime=1.48 cores=0,2
/proc/976504/stat : 976504 (LS-MabSP) R 976503 976503 973793 0 -1 4194304 4760 0 0 0 146 2 0 0 20 0 1 0 182949063 101957632 21588 134679101440 4194304 15467897 140731367063360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44994560 140731367064635 140731367064738 140731367064738 140731367071725 0
/proc/976504/statm: 24892 21588 1073 2753 0 21545 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 118160 KiB
Current children cumulated memory: 89980 KiB

[startup+3.10587 s]
/proc/loadavg: 4.20 4.15 4.06 5/263 976504
/proc/meminfo: memFree=126795816/131524600 swapFree=131071996/131071996
[pid=976500] ppid=976497 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/976500/stat : 976500 (Hybrid-LSMabSP+) S 976497 976500 973793 0 -1 4194304 233 102 0 0 0 0 0 0 20 0 1 0 182949063 10170368 673 134679101440 94727250210816 94727251290136 140720659463888 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94727253388592 94727253435780 94727261425664 140720659465191 140720659465337 140720659465337 140720659472353 0
/proc/976500/statm: 2483 673 595 264 0 134 0
[pid=976503] ppid=976500 vsize=8660 memory=936 CPUtime=0 cores=0,2
/proc/976503/stat : 976503 (timeout) S 976500 976503 973793 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 182949063 8867840 234 134679101440 94580222709760 94580222744776 140723544219664 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94580224842192 94580224844324 94580256235520 140723544224808 140723544224924 140723544224924 140723544231911 0
/proc/976503/statm: 2165 234 209 9 0 87 0
[pid=976504] ppid=976503 vsize=132336 memory=119148 CPUtime=3.08 cores=0,2
/proc/976504/stat : 976504 (LS-MabSP) R 976503 976503 973793 0 -1 4194304 5335 0 0 0 304 4 0 0 20 0 1 0 182949063 135512064 29787 134679101440 4194304 15467897 140731367063360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44994560 140731367064635 140731367064738 140731367064738 140731367071725 0
/proc/976504/statm: 33084 29787 1073 2753 0 29737 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 150928 KiB
Current children cumulated memory: 122776 KiB

[startup+6.30023 s]
/proc/loadavg: 4.18 4.14 4.06 5/263 976504
/proc/meminfo: memFree=126395488/131524600 swapFree=131071996/131071996
[pid=976500] ppid=976497 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/976500/stat : 976500 (Hybrid-LSMabSP+) S 976497 976500 973793 0 -1 4194304 233 102 0 0 0 0 0 0 20 0 1 0 182949063 10170368 673 134679101440 94727250210816 94727251290136 140720659463888 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94727253388592 94727253435780 94727261425664 140720659465191 140720659465337 140720659465337 140720659472353 0
/proc/976500/statm: 2483 673 595 264 0 134 0
[pid=976503] ppid=976500 vsize=8660 memory=936 CPUtime=0 cores=0,2
/proc/976503/stat : 976503 (timeout) S 976500 976503 973793 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 182949063 8867840 234 134679101440 94580222709760 94580222744776 140723544219664 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94580224842192 94580224844324 94580256235520 140723544224808 140723544224924 140723544224924 140723544231911 0
/proc/976503/statm: 2165 234 209 9 0 87 0
[pid=976504] ppid=976503 vsize=551276 memory=507224 CPUtime=6.27 cores=0,2
/proc/976504/stat : 976504 (LS-MabSP) R 976503 976503 973793 0 -1 4194304 20269 0 0 0 605 22 0 0 20 0 1 0 182949063 564506624 126806 134679101440 4194304 15467897 140731367063360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44994560 140731367064635 140731367064738 140731367064738 140731367071725 0
/proc/976504/statm: 137819 126806 1105 2753 0 134472 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 569868 KiB
Current children cumulated memory: 510852 KiB

[startup+12.7003 s]
/proc/loadavg: 4.17 4.14 4.06 5/263 976506
/proc/meminfo: memFree=126290840/131524600 swapFree=131071996/131071996
[pid=976500] ppid=976497 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/976500/stat : 976500 (Hybrid-LSMabSP+) S 976497 976500 973793 0 -1 4194304 233 102 0 0 0 0 0 0 20 0 1 0 182949063 10170368 673 134679101440 94727250210816 94727251290136 140720659463888 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94727253388592 94727253435780 94727261425664 140720659465191 140720659465337 140720659465337 140720659472353 0
/proc/976500/statm: 2483 673 595 264 0 134 0
[pid=976503] ppid=976500 vsize=8660 memory=936 CPUtime=0 cores=0,2
/proc/976503/stat : 976503 (timeout) S 976500 976503 973793 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 182949063 8867840 234 134679101440 94580222709760 94580222744776 140723544219664 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94580224842192 94580224844324 94580256235520 140723544224808 140723544224924 140723544224924 140723544231911 0
/proc/976503/statm: 2165 234 209 9 0 87 0
[pid=976504] ppid=976503 vsize=620324 memory=576268 CPUtime=12.65 cores=0,2
/proc/976504/stat : 976504 (LS-MabSP) R 976503 976503 973793 0 -1 4194304 22777 0 0 0 1242 23 0 0 20 0 1 0 182949063 635211776 144067 134679101440 4194304 15467897 140731367063360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44994560 140731367064635 140731367064738 140731367064738 140731367071725 0
/proc/976504/statm: 155081 144067 1153 2753 0 151734 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 638916 KiB
Current children cumulated memory: 579896 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.14 4.06 5/263 976507
/proc/meminfo: memFree=126282344/131524600 swapFree=131071996/131071996
[pid=976500] ppid=976497 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/976500/stat : 976500 (Hybrid-LSMabSP+) S 976497 976500 973793 0 -1 4194304 233 102 0 0 0 0 0 0 20 0 1 0 182949063 10170368 673 134679101440 94727250210816 94727251290136 140720659463888 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94727253388592 94727253435780 94727261425664 140720659465191 140720659465337 140720659465337 140720659472353 0
/proc/976500/statm: 2483 673 595 264 0 134 0
[pid=976503] ppid=976500 vsize=8660 memory=936 CPUtime=0 cores=0,2
/proc/976503/stat : 976503 (timeout) S 976500 976503 973793 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 182949063 8867840 234 134679101440 94580222709760 94580222744776 140723544219664 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94580224842192 94580224844324 94580256235520 140723544224808 140723544224924 140723544224924 140723544231911 0
/proc/976503/statm: 2165 234 209 9 0 87 0
[pid=976504] ppid=976503 vsize=620320 memory=547596 CPUtime=25.41 cores=0,2
/proc/976504/stat : 976504 (LS-MabSP) R 976503 976503 973793 0 -1 4194304 22955 0 0 0 2518 23 0 0 20 0 1 0 182949063 635207680 136899 134679101440 4194304 15467897 140731367063360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44994560 140731367064635 140731367064738 140731367064738 140731367071725 0
/proc/976504/statm: 155080 136899 1153 2753 0 151733 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 638912 KiB
Current children cumulated memory: 551224 KiB

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

# cumulated CPU time of all completed processes:  user=27.6136 s, system=0.406972 s

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

[startup+25.6003 s]
/proc/loadavg: 4.14 4.14 4.06 5/263 976507
/proc/meminfo: memFree=126282344/131524600 swapFree=131071996/131071996
[pid=976500] ppid=976497 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/976500/stat : 976500 (Hybrid-LSMabSP+) S 976497 976500 973793 0 -1 4194304 233 102 0 0 0 0 0 0 20 0 1 0 182949063 10170368 673 134679101440 94727250210816 94727251290136 140720659463888 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94727253388592 94727253435780 94727261425664 140720659465191 140720659465337 140720659465337 140720659472353 0
/proc/976500/statm: 2483 673 595 264 0 134 0
[pid=976503] ppid=976500 vsize=8660 memory=936 CPUtime=0 cores=0,2
/proc/976503/stat : 976503 (timeout) S 976500 976503 973793 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 182949063 8867840 234 134679101440 94580222709760 94580222744776 140723544219664 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94580224842192 94580224844324 94580256235520 140723544224808 140723544224924 140723544224924 140723544231911 0
/proc/976503/statm: 2165 234 209 9 0 87 0
[pid=976504] ppid=976503 vsize=620320 memory=547596 CPUtime=25.51 cores=0,2
/proc/976504/stat : 976504 (LS-MabSP) R 976503 976503 973793 0 -1 4194304 22955 0 0 0 2528 23 0 0 20 0 1 0 182949063 635207680 136899 134679101440 4194304 15467897 140731367063360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44994560 140731367064635 140731367064738 140731367064738 140731367071725 0
/proc/976504/statm: 155080 136899 1153 2753 0 151733 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 638912 KiB
Current children cumulated memory: 551224 KiB

[startup+27.2003 s]
/proc/loadavg: 4.13 4.13 4.06 5/263 976507
/proc/meminfo: memFree=126325856/131524600 swapFree=131071996/131071996
[pid=976500] ppid=976497 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/976500/stat : 976500 (Hybrid-LSMabSP+) S 976497 976500 973793 0 -1 4194304 233 102 0 0 0 0 0 0 20 0 1 0 182949063 10170368 673 134679101440 94727250210816 94727251290136 140720659463888 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94727253388592 94727253435780 94727261425664 140720659465191 140720659465337 140720659465337 140720659472353 0
/proc/976500/statm: 2483 673 595 264 0 134 0
[pid=976503] ppid=976500 vsize=8660 memory=936 CPUtime=0 cores=0,2
/proc/976503/stat : 976503 (timeout) S 976500 976503 973793 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 182949063 8867840 234 134679101440 94580222709760 94580222744776 140723544219664 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94580224842192 94580224844324 94580256235520 140723544224808 140723544224924 140723544224924 140723544231911 0
/proc/976503/statm: 2165 234 209 9 0 87 0
[pid=976504] ppid=976503 vsize=828760 memory=605928 CPUtime=27.11 cores=0,2
/proc/976504/stat : 976504 (LS-MabSP) R 976503 976503 973793 0 -1 4194304 59597 0 0 0 2681 30 0 0 20 0 1 0 182949063 848650240 151482 134679101440 4194304 15467897 140731367063360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44994560 140731367064635 140731367064738 140731367064738 140731367071725 0
/proc/976504/statm: 207190 151482 1153 2753 0 203843 0
Current children cumulated CPU time: 27.11 s
Current children cumulated vsize: 847352 KiB
Current children cumulated memory: 609556 KiB

[startup+27.6003 s]
/proc/loadavg: 4.13 4.13 4.06 5/263 976507
/proc/meminfo: memFree=126325856/131524600 swapFree=131071996/131071996
[pid=976500] ppid=976497 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/976500/stat : 976500 (Hybrid-LSMabSP+) S 976497 976500 973793 0 -1 4194304 233 102 0 0 0 0 0 0 20 0 1 0 182949063 10170368 673 134679101440 94727250210816 94727251290136 140720659463888 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94727253388592 94727253435780 94727261425664 140720659465191 140720659465337 140720659465337 140720659472353 0
/proc/976500/statm: 2483 673 595 264 0 134 0
[pid=976503] ppid=976500 vsize=8660 memory=936 CPUtime=0 cores=0,2
/proc/976503/stat : 976503 (timeout) S 976500 976503 973793 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 182949063 8867840 234 134679101440 94580222709760 94580222744776 140723544219664 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94580224842192 94580224844324 94580256235520 140723544224808 140723544224924 140723544224924 140723544231911 0
/proc/976503/statm: 2165 234 209 9 0 87 0
[pid=976504] ppid=976503 vsize=843080 memory=743028 CPUtime=27.51 cores=0,2
/proc/976504/stat : 976504 (LS-MabSP) R 976503 976503 973793 0 -1 4194304 80546 0 0 0 2716 35 0 0 20 0 1 0 182949063 863313920 185757 134679101440 4194304 15467897 140731367063360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44994560 140731367064635 140731367064738 140731367064738 140731367071725 0
/proc/976504/statm: 210770 185757 1153 2753 0 207423 0
Current children cumulated CPU time: 27.51 s
Current children cumulated vsize: 861672 KiB
Current children cumulated memory: 746656 KiB

[startup+28.0003 s]*
/proc/loadavg: 4.13 4.13 4.06 5/263 976507
/proc/meminfo: memFree=125923128/131524600 swapFree=131071996/131071996
[pid=976500] ppid=976497 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/976500/stat : 976500 (Hybrid-LSMabSP+) S 976497 976500 973793 0 -1 4194304 233 102 0 0 0 0 0 0 20 0 1 0 182949063 10170368 673 134679101440 94727250210816 94727251290136 140720659463888 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94727253388592 94727253435780 94727261425664 140720659465191 140720659465337 140720659465337 140720659472353 0
/proc/976500/statm: 2483 673 595 264 0 134 0
[pid=976503] ppid=976500 vsize=8660 memory=936 CPUtime=0 cores=0,2
/proc/976503/stat : 976503 (timeout) S 976500 976503 973793 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 182949063 8867840 234 134679101440 94580222709760 94580222744776 140723544219664 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94580224842192 94580224844324 94580256235520 140723544224808 140723544224924 140723544224924 140723544231911 0
/proc/976503/statm: 2165 234 209 9 0 87 0
[pid=976504] ppid=976503 vsize=995540 memory=899948 CPUtime=27.91 cores=0,2
/proc/976504/stat : 976504 (LS-MabSP) R 976503 976503 973793 0 -1 4194304 86631 0 0 0 2753 38 0 0 20 0 1 0 182949063 1019432960 224987 134679101440 4194304 15467897 140731367063360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44994560 140731367064635 140731367064738 140731367064738 140731367071725 0
/proc/976504/statm: 248885 224987 1153 2753 0 245538 0
Current children cumulated CPU time: 27.91 s
Current children cumulated vsize: 1014132 KiB
Current children cumulated memory: 903576 KiB

Child status: 0

Real time (s): 28.1008
CPU time (s): 28.0206
CPU user time (s): 27.6136
CPU system time (s): 0.406972
CPU usage (%): 99.7143
Max. virtual memory (cumulated for all children) (KiB): 1014132
Max. memory (cumulated for all children) (KiB): 903576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.6136
system time used= 0.406972
maximum resident set size= 899948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87336
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 196


# summary of solver processes directly reported to runsolver:
#   pid: 976500
#   total CPU time (s): 28.0206
#   total CPU user time (s): 27.6136
#   total CPU system time (s): 0.406972

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.08388 second user time and 0.153336 second system time

The end