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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443834-1721307916/watcher-4443834-1721307916 -o /tmp/evaluation-result-4443834-1721307916/solver-4443834-1721307916 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721305162-973806 --watchdog 3760 ./Hybrid-LSMabSP+Exact HOME/instance-4443834-1721307916.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=976671, runsolver pid=976668
Current StackSize limit: 8192 KiB


[startup+0.10009 s]*
/proc/loadavg: 4.26 4.16 4.07 5/263 976675
/proc/meminfo: memFree=125285092/131524600 swapFree=131071996/131071996
[pid=976671] ppid=976668 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/976671/stat : 976671 (Hybrid-LSMabSP+) S 976668 976671 973793 0 -1 4194304 231 101 0 0 0 0 0 0 20 0 1 0 182955769 10170368 653 134679101440 94842056462336 94842057541656 140730125141760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94842059640112 94842059687300 94842066956288 140730125145063 140730125145209 140730125145209 140730125152225 0
/proc/976671/statm: 2483 653 574 264 0 134 0
[pid=976674] ppid=976671 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/976674/stat : 976674 (timeout) S 976671 976674 973793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 182955770 8867840 253 134679101440 93979494105088 93979494140104 140723150397040 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93979496237520 93979496239652 93979515031552 140723150398504 140723150398620 140723150398620 140723150405607 0
/proc/976674/statm: 2165 253 229 9 0 87 0
[pid=976675] ppid=976674 vsize=37080 memory=24524 CPUtime=0.09 cores=5,7
/proc/976675/stat : 976675 (LS-MabSP) R 976674 976674 973793 0 -1 4194304 2620 0 0 0 9 0 0 0 20 0 1 0 182955770 37969920 6131 134679101440 4194304 15467897 140728475996960 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31174656 140728476005435 140728476005538 140728476005538 140728476012525 0
/proc/976675/statm: 9270 6131 1073 2753 0 5923 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55672 KiB
Current children cumulated memory: 28148 KiB

[startup+0.205771 s]*
/proc/loadavg: 4.26 4.16 4.07 5/263 976675
/proc/meminfo: memFree=125281540/131524600 swapFree=131071996/131071996
[pid=976671] ppid=976668 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/976671/stat : 976671 (Hybrid-LSMabSP+) S 976668 976671 973793 0 -1 4194304 231 101 0 0 0 0 0 0 20 0 1 0 182955769 10170368 653 134679101440 94842056462336 94842057541656 140730125141760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94842059640112 94842059687300 94842066956288 140730125145063 140730125145209 140730125145209 140730125152225 0
/proc/976671/statm: 2483 653 574 264 0 134 0
[pid=976674] ppid=976671 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/976674/stat : 976674 (timeout) S 976671 976674 973793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 182955770 8867840 253 134679101440 93979494105088 93979494140104 140723150397040 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93979496237520 93979496239652 93979515031552 140723150398504 140723150398620 140723150398620 140723150405607 0
/proc/976674/statm: 2165 253 229 9 0 87 0
[pid=976675] ppid=976674 vsize=43224 memory=27668 CPUtime=0.2 cores=5,7
/proc/976675/stat : 976675 (LS-MabSP) R 976674 976674 973793 0 -1 4194304 3353 0 0 0 20 0 0 0 20 0 1 0 182955770 44261376 6917 134679101440 4194304 15467897 140728475996960 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31174656 140728476005435 140728476005538 140728476005538 140728476012525 0
/proc/976675/statm: 10806 6917 1073 2753 0 7459 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 61816 KiB
Current children cumulated memory: 31292 KiB

[startup+0.305757 s]*
/proc/loadavg: 4.26 4.16 4.07 5/263 976675
/proc/meminfo: memFree=125279332/131524600 swapFree=131071996/131071996
[pid=976671] ppid=976668 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/976671/stat : 976671 (Hybrid-LSMabSP+) S 976668 976671 973793 0 -1 4194304 231 101 0 0 0 0 0 0 20 0 1 0 182955769 10170368 653 134679101440 94842056462336 94842057541656 140730125141760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94842059640112 94842059687300 94842066956288 140730125145063 140730125145209 140730125145209 140730125152225 0
/proc/976671/statm: 2483 653 574 264 0 134 0
[pid=976674] ppid=976671 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/976674/stat : 976674 (timeout) S 976671 976674 973793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 182955770 8867840 253 134679101440 93979494105088 93979494140104 140723150397040 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93979496237520 93979496239652 93979515031552 140723150398504 140723150398620 140723150398620 140723150405607 0
/proc/976674/statm: 2165 253 229 9 0 87 0
[pid=976675] ppid=976674 vsize=43224 memory=29716 CPUtime=0.3 cores=5,7
/proc/976675/stat : 976675 (LS-MabSP) R 976674 976674 973793 0 -1 4194304 3354 0 0 0 30 0 0 0 20 0 1 0 182955770 44261376 7429 134679101440 4194304 15467897 140728475996960 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31174656 140728476005435 140728476005538 140728476005538 140728476012525 0
/proc/976675/statm: 10806 7429 1073 2753 0 7459 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 61816 KiB
Current children cumulated memory: 33340 KiB

[startup+0.700304 s]
/proc/loadavg: 4.26 4.16 4.07 5/263 976675
/proc/meminfo: memFree=125275076/131524600 swapFree=131071996/131071996
[pid=976671] ppid=976668 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/976671/stat : 976671 (Hybrid-LSMabSP+) S 976668 976671 973793 0 -1 4194304 231 101 0 0 0 0 0 0 20 0 1 0 182955769 10170368 653 134679101440 94842056462336 94842057541656 140730125141760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94842059640112 94842059687300 94842066956288 140730125145063 140730125145209 140730125145209 140730125152225 0
/proc/976671/statm: 2483 653 574 264 0 134 0
[pid=976674] ppid=976671 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/976674/stat : 976674 (timeout) S 976671 976674 973793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 182955770 8867840 253 134679101440 93979494105088 93979494140104 140723150397040 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93979496237520 93979496239652 93979515031552 140723150398504 140723150398620 140723150398620 140723150405607 0
/proc/976674/statm: 2165 253 229 9 0 87 0
[pid=976675] ppid=976674 vsize=51416 memory=37912 CPUtime=0.68 cores=5,7
/proc/976675/stat : 976675 (LS-MabSP) R 976674 976674 973793 0 -1 4194304 3875 0 0 0 68 0 0 0 20 0 1 0 182955770 52649984 9478 134679101440 4194304 15467897 140728475996960 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31174656 140728476005435 140728476005538 140728476005538 140728476012525 0
/proc/976675/statm: 12854 9478 1073 2753 0 9507 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 70008 KiB
Current children cumulated memory: 41536 KiB

[startup+1.5003 s]
/proc/loadavg: 4.26 4.16 4.07 6/263 976675
/proc/meminfo: memFree=125264780/131524600 swapFree=131071996/131071996
[pid=976671] ppid=976668 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/976671/stat : 976671 (Hybrid-LSMabSP+) S 976668 976671 973793 0 -1 4194304 231 101 0 0 0 0 0 0 20 0 1 0 182955769 10170368 653 134679101440 94842056462336 94842057541656 140730125141760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94842059640112 94842059687300 94842066956288 140730125145063 140730125145209 140730125145209 140730125152225 0
/proc/976671/statm: 2483 653 574 264 0 134 0
[pid=976674] ppid=976671 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/976674/stat : 976674 (timeout) S 976671 976674 973793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 182955770 8867840 253 134679101440 93979494105088 93979494140104 140723150397040 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93979496237520 93979496239652 93979515031552 140723150398504 140723150398620 140723150398620 140723150405607 0
/proc/976674/statm: 2165 253 229 9 0 87 0
[pid=976675] ppid=976674 vsize=67800 memory=54532 CPUtime=1.49 cores=5,7
/proc/976675/stat : 976675 (LS-MabSP) R 976674 976674 973793 0 -1 4194304 4514 0 0 0 148 1 0 0 20 0 1 0 182955770 69427200 13633 134679101440 4194304 15467897 140728475996960 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31174656 140728476005435 140728476005538 140728476005538 140728476012525 0
/proc/976675/statm: 16950 13633 1073 2753 0 13603 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 86392 KiB
Current children cumulated memory: 58156 KiB

[startup+3.10563 s]
/proc/loadavg: 4.26 4.16 4.07 5/263 976677
/proc/meminfo: memFree=125084364/131524600 swapFree=131071996/131071996
[pid=976671] ppid=976668 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/976671/stat : 976671 (Hybrid-LSMabSP+) S 976668 976671 973793 0 -1 4194304 231 101 0 0 0 0 0 0 20 0 1 0 182955769 10170368 653 134679101440 94842056462336 94842057541656 140730125141760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94842059640112 94842059687300 94842066956288 140730125145063 140730125145209 140730125145209 140730125152225 0
/proc/976671/statm: 2483 653 574 264 0 134 0
[pid=976674] ppid=976671 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/976674/stat : 976674 (timeout) S 976671 976674 973793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 182955770 8867840 253 134679101440 93979494105088 93979494140104 140723150397040 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93979496237520 93979496239652 93979515031552 140723150398504 140723150398620 140723150398620 140723150405607 0
/proc/976674/statm: 2165 253 229 9 0 87 0
[pid=976675] ppid=976674 vsize=266724 memory=222568 CPUtime=3.09 cores=5,7
/proc/976675/stat : 976675 (LS-MabSP) R 976674 976674 973793 0 -1 4194304 15340 0 0 0 303 6 0 0 20 0 1 0 182955770 273125376 55642 134679101440 4194304 15467897 140728475996960 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31174656 140728476005435 140728476005538 140728476005538 140728476012525 0
/proc/976675/statm: 66681 55642 1105 2753 0 63334 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 285316 KiB
Current children cumulated memory: 226192 KiB

[startup+6.30029 s]
/proc/loadavg: 4.24 4.16 4.07 5/264 976678
/proc/meminfo: memFree=125083788/131524600 swapFree=131071996/131071996
[pid=976671] ppid=976668 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/976671/stat : 976671 (Hybrid-LSMabSP+) S 976668 976671 973793 0 -1 4194304 231 101 0 0 0 0 0 0 20 0 1 0 182955769 10170368 653 134679101440 94842056462336 94842057541656 140730125141760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94842059640112 94842059687300 94842066956288 140730125145063 140730125145209 140730125145209 140730125152225 0
/proc/976671/statm: 2483 653 574 264 0 134 0
[pid=976674] ppid=976671 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/976674/stat : 976674 (timeout) S 976671 976674 973793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 182955770 8867840 253 134679101440 93979494105088 93979494140104 140723150397040 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93979496237520 93979496239652 93979515031552 140723150398504 140723150398620 140723150398620 140723150405607 0
/proc/976674/statm: 2165 253 229 9 0 87 0
[pid=976675] ppid=976674 vsize=266724 memory=222760 CPUtime=6.28 cores=5,7
/proc/976675/stat : 976675 (LS-MabSP) R 976674 976674 973793 0 -1 4194304 15388 0 0 0 622 6 0 0 20 0 1 0 182955770 273125376 55690 134679101440 4194304 15467897 140728475996960 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31174656 140728476005435 140728476005538 140728476005538 140728476012525 0
/proc/976675/statm: 66681 55690 1153 2753 0 63334 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 285316 KiB
Current children cumulated memory: 226384 KiB

[startup+12.7003 s]
/proc/loadavg: 4.22 4.16 4.07 5/264 976678
/proc/meminfo: memFree=124444232/131524600 swapFree=131071996/131071996
[pid=976671] ppid=976668 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/976671/stat : 976671 (Hybrid-LSMabSP+) S 976668 976671 973793 0 -1 4194304 231 101 0 0 0 0 0 0 20 0 1 0 182955769 10170368 653 134679101440 94842056462336 94842057541656 140730125141760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94842059640112 94842059687300 94842066956288 140730125145063 140730125145209 140730125145209 140730125152225 0
/proc/976671/statm: 2483 653 574 264 0 134 0
[pid=976674] ppid=976671 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/976674/stat : 976674 (timeout) S 976671 976674 973793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 182955770 8867840 253 134679101440 93979494105088 93979494140104 140723150397040 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93979496237520 93979496239652 93979515031552 140723150398504 140723150398620 140723150398620 140723150405607 0
/proc/976674/statm: 2165 253 229 9 0 87 0
[pid=976675] ppid=976674 vsize=1177604 memory=1067832 CPUtime=12.65 cores=5,7
/proc/976675/stat : 976675 (LS-MabSP) R 976674 976674 973793 0 -1 4194304 190675 0 0 0 1232 33 0 0 20 0 1 0 182955770 1205866496 266958 134679101440 4194304 15467897 140728475996960 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31174656 140728476005435 140728476005538 140728476005538 140728476012525 0
/proc/976675/statm: 294401 266958 2721 2753 0 291054 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1196196 KiB
Current children cumulated memory: 1071456 KiB

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

# cumulated CPU time of all completed processes:  user=14.4465 s, system=0.486838 s

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

[startup+12.8003 s]
/proc/loadavg: 4.22 4.16 4.07 5/264 976678
/proc/meminfo: memFree=124444232/131524600 swapFree=131071996/131071996
[pid=976671] ppid=976668 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/976671/stat : 976671 (Hybrid-LSMabSP+) S 976668 976671 973793 0 -1 4194304 231 101 0 0 0 0 0 0 20 0 1 0 182955769 10170368 653 134679101440 94842056462336 94842057541656 140730125141760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94842059640112 94842059687300 94842066956288 140730125145063 140730125145209 140730125145209 140730125152225 0
/proc/976671/statm: 2483 653 574 264 0 134 0
[pid=976674] ppid=976671 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/976674/stat : 976674 (timeout) S 976671 976674 973793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 182955770 8867840 253 134679101440 93979494105088 93979494140104 140723150397040 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93979496237520 93979496239652 93979515031552 140723150398504 140723150398620 140723150398620 140723150405607 0
/proc/976674/statm: 2165 253 229 9 0 87 0
[pid=976675] ppid=976674 vsize=1177604 memory=1067832 CPUtime=12.75 cores=5,7
/proc/976675/stat : 976675 (LS-MabSP) R 976674 976674 973793 0 -1 4194304 190675 0 0 0 1242 33 0 0 20 0 1 0 182955770 1205866496 266958 134679101440 4194304 15467897 140728475996960 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31174656 140728476005435 140728476005538 140728476005538 140728476012525 0
/proc/976675/statm: 294401 266958 2721 2753 0 291054 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 1196196 KiB
Current children cumulated memory: 1071456 KiB

[startup+13.6003 s]
/proc/loadavg: 4.22 4.16 4.07 5/264 976679
/proc/meminfo: memFree=124229868/131524600 swapFree=131071996/131071996
[pid=976671] ppid=976668 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/976671/stat : 976671 (Hybrid-LSMabSP+) S 976668 976671 973793 0 -1 4194304 231 101 0 0 0 0 0 0 20 0 1 0 182955769 10170368 653 134679101440 94842056462336 94842057541656 140730125141760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94842059640112 94842059687300 94842066956288 140730125145063 140730125145209 140730125145209 140730125152225 0
/proc/976671/statm: 2483 653 574 264 0 134 0
[pid=976674] ppid=976671 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/976674/stat : 976674 (timeout) S 976671 976674 973793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 182955770 8867840 253 134679101440 93979494105088 93979494140104 140723150397040 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93979496237520 93979496239652 93979515031552 140723150398504 140723150398620 140723150398620 140723150405607 0
/proc/976674/statm: 2165 253 229 9 0 87 0
[pid=976675] ppid=976674 vsize=1290176 memory=1166324 CPUtime=13.55 cores=5,7
/proc/976675/stat : 976675 (LS-MabSP) R 976674 976674 973793 0 -1 4194304 215542 0 0 0 1318 37 0 0 20 0 1 0 182955770 1321140224 291581 134679101440 4194304 15467897 140728475996960 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31174656 140728476005435 140728476005538 140728476005538 140728476012525 0
/proc/976675/statm: 322544 291581 2737 2753 0 319197 0
Current children cumulated CPU time: 13.55 s
Current children cumulated vsize: 1308768 KiB
Current children cumulated memory: 1169948 KiB

[startup+14.4003 s]
/proc/loadavg: 4.28 4.17 4.08 5/264 976679
/proc/meminfo: memFree=123947672/131524600 swapFree=131071996/131071996
[pid=976671] ppid=976668 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/976671/stat : 976671 (Hybrid-LSMabSP+) S 976668 976671 973793 0 -1 4194304 231 101 0 0 0 0 0 0 20 0 1 0 182955769 10170368 653 134679101440 94842056462336 94842057541656 140730125141760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94842059640112 94842059687300 94842066956288 140730125145063 140730125145209 140730125145209 140730125152225 0
/proc/976671/statm: 2483 653 574 264 0 134 0
[pid=976674] ppid=976671 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/976674/stat : 976674 (timeout) S 976671 976674 973793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 182955770 8867840 253 134679101440 93979494105088 93979494140104 140723150397040 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93979496237520 93979496239652 93979515031552 140723150398504 140723150398620 140723150398620 140723150405607 0
/proc/976674/statm: 2165 253 229 9 0 87 0
[pid=976675] ppid=976674 vsize=1492860 memory=1361972 CPUtime=14.36 cores=5,7
/proc/976675/stat : 976675 (LS-MabSP) R 976674 976674 973793 0 -1 4194304 245802 0 0 0 1392 44 0 0 20 0 1 0 182955770 1528688640 340493 134679101440 4194304 15467897 140728475996960 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31174656 140728476005435 140728476005538 140728476005538 140728476012525 0
/proc/976675/statm: 373215 340493 2801 2753 0 369868 0
Current children cumulated CPU time: 14.36 s
Current children cumulated vsize: 1511452 KiB
Current children cumulated memory: 1365596 KiB

[startup+14.8003 s]
/proc/loadavg: 4.28 4.17 4.08 5/264 976679
/proc/meminfo: memFree=123947672/131524600 swapFree=131071996/131071996
[pid=976671] ppid=976668 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/976671/stat : 976671 (Hybrid-LSMabSP+) S 976668 976671 973793 0 -1 4194304 231 101 0 0 0 0 0 0 20 0 1 0 182955769 10170368 653 134679101440 94842056462336 94842057541656 140730125141760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94842059640112 94842059687300 94842066956288 140730125145063 140730125145209 140730125145209 140730125152225 0
/proc/976671/statm: 2483 653 574 264 0 134 0
[pid=976674] ppid=976671 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/976674/stat : 976674 (timeout) S 976671 976674 973793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 182955770 8867840 253 134679101440 93979494105088 93979494140104 140723150397040 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93979496237520 93979496239652 93979515031552 140723150398504 140723150398620 140723150398620 140723150405607 0
/proc/976674/statm: 2165 253 229 9 0 87 0
[pid=976675] ppid=976674 vsize=1298444 memory=1215488 CPUtime=14.75 cores=5,7
/proc/976675/stat : 976675 (LS-MabSP) R 976674 976674 973793 0 -1 4194304 247659 0 0 0 1431 44 0 0 20 0 1 0 182955770 1329606656 303872 134679101440 4194304 15467897 140728475996960 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31174656 140728476005435 140728476005538 140728476005538 140728476012525 0
/proc/976675/statm: 324611 303872 2801 2753 0 321264 0
Current children cumulated CPU time: 14.75 s
Current children cumulated vsize: 1317036 KiB
Current children cumulated memory: 1219112 KiB

[startup+14.9003 s]
/proc/loadavg: 4.28 4.17 4.08 5/264 976679
/proc/meminfo: memFree=123947672/131524600 swapFree=131071996/131071996
[pid=976671] ppid=976668 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/976671/stat : 976671 (Hybrid-LSMabSP+) S 976668 976671 973793 0 -1 4194304 231 101 0 0 0 0 0 0 20 0 1 0 182955769 10170368 653 134679101440 94842056462336 94842057541656 140730125141760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94842059640112 94842059687300 94842066956288 140730125145063 140730125145209 140730125145209 140730125152225 0
/proc/976671/statm: 2483 653 574 264 0 134 0
[pid=976674] ppid=976671 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/976674/stat : 976674 (timeout) S 976671 976674 973793 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 182955770 8867840 253 134679101440 93979494105088 93979494140104 140723150397040 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93979496237520 93979496239652 93979515031552 140723150398504 140723150398620 140723150398620 140723150405607 0
/proc/976674/statm: 2165 253 229 9 0 87 0
[pid=976675] ppid=976674 vsize=1298444 memory=1222496 CPUtime=14.85 cores=5,7
/proc/976675/stat : 976675 (LS-MabSP) R 976674 976674 973793 0 -1 4194304 248973 0 0 0 1441 44 0 0 20 0 1 0 182955770 1329606656 305624 134679101440 4194304 15467897 140728475996960 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31174656 140728476005435 140728476005538 140728476005538 140728476012525 0
/proc/976675/statm: 324611 305624 2801 2753 0 321264 0
Current children cumulated CPU time: 14.85 s
Current children cumulated vsize: 1317036 KiB
Current children cumulated memory: 1226120 KiB

Child status: 0

Real time (s): 14.9678
CPU time (s): 14.9333
CPU user time (s): 14.4465
CPU system time (s): 0.486838
CPU usage (%): 99.7693
Max. virtual memory (cumulated for all children) (KiB): 1526076
Max. memory (cumulated for all children) (KiB): 1376220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.4465
system time used= 0.486838
maximum resident set size= 1396604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249664
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 21


# summary of solver processes directly reported to runsolver:
#   pid: 976671
#   total CPU time (s): 14.9333
#   total CPU user time (s): 14.4465
#   total CPU system time (s): 0.486838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.059867 second user time and 0.083525 second system time

The end