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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443715-1721308347/watcher-4443715-1721308347 -o /tmp/evaluation-result-4443715-1721308347/solver-4443715-1721308347 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721304762-972503 --watchdog 3760 ./Hybrid-LSMabP+Exact HOME/instance-4443715-1721308347.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=974743, runsolver pid=974740

[startup+0.100443 s]*
/proc/loadavg: 4.11 4.13 4.09 5/266 974747
/proc/meminfo: memFree=128250800/131524600 swapFree=131071996/131071996
[pid=974743] ppid=974740 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/974743/stat : 974743 (Hybrid-LSMabP+E) S 974740 974743 972493 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 183002966 10170368 691 134679101440 94522481123328 94522482202648 140737318929568 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94522484301104 94522484348292 94522485051392 140737318933481 140737318933626 140737318933626 140737318940642 0
/proc/974743/statm: 2483 691 614 264 0 134 0
[pid=974746] ppid=974743 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/974746/stat : 974746 (timeout) S 974743 974746 972493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183002966 8867840 243 134679101440 94908314624000 94908314659016 140724112266864 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94908316756432 94908316758564 94908337631232 140724112270370 140724112270492 140724112270492 140724112277479 0
/proc/974746/statm: 2165 243 219 9 0 87 0
[pid=974747] ppid=974746 vsize=68848 memory=55700 CPUtime=0.09 cores=0,2
/proc/974747/stat : 974747 (LS-MabP) R 974746 974746 972493 0 -1 4194304 2735 0 0 0 8 1 0 0 20 0 1 0 183002966 70500352 13925 134679101440 4194304 15467897 140727981644896 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140727981646902 140727981647011 140727981647011 140727981653998 0
/proc/974747/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: 59436 KiB

[startup+0.206044 s]*
/proc/loadavg: 4.11 4.13 4.09 5/266 974747
/proc/meminfo: memFree=128244260/131524600 swapFree=131071996/131071996
[pid=974743] ppid=974740 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/974743/stat : 974743 (Hybrid-LSMabP+E) S 974740 974743 972493 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 183002966 10170368 691 134679101440 94522481123328 94522482202648 140737318929568 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94522484301104 94522484348292 94522485051392 140737318933481 140737318933626 140737318933626 140737318940642 0
/proc/974743/statm: 2483 691 614 264 0 134 0
[pid=974746] ppid=974743 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/974746/stat : 974746 (timeout) S 974743 974746 972493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183002966 8867840 243 134679101440 94908314624000 94908314659016 140724112266864 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94908316756432 94908316758564 94908337631232 140724112270370 140724112270492 140724112270492 140724112277479 0
/proc/974746/statm: 2165 243 219 9 0 87 0
[pid=974747] ppid=974746 vsize=70896 memory=58176 CPUtime=0.19 cores=0,2
/proc/974747/stat : 974747 (LS-MabP) R 974746 974746 972493 0 -1 4194304 3319 0 0 0 18 1 0 0 20 0 1 0 183002966 72597504 14544 134679101440 4194304 15467897 140727981644896 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140727981646902 140727981647011 140727981647011 140727981653998 0
/proc/974747/statm: 17724 14544 1073 2753 0 14377 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 89488 KiB
Current children cumulated memory: 61912 KiB

[startup+0.305859 s]*
/proc/loadavg: 4.11 4.13 4.09 5/266 974747
/proc/meminfo: memFree=128241144/131524600 swapFree=131071996/131071996
[pid=974743] ppid=974740 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/974743/stat : 974743 (Hybrid-LSMabP+E) S 974740 974743 972493 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 183002966 10170368 691 134679101440 94522481123328 94522482202648 140737318929568 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94522484301104 94522484348292 94522485051392 140737318933481 140737318933626 140737318933626 140737318940642 0
/proc/974743/statm: 2483 691 614 264 0 134 0
[pid=974746] ppid=974743 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/974746/stat : 974746 (timeout) S 974743 974746 972493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183002966 8867840 243 134679101440 94908314624000 94908314659016 140724112266864 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94908316756432 94908316758564 94908337631232 140724112270370 140724112270492 140724112270492 140724112277479 0
/proc/974746/statm: 2165 243 219 9 0 87 0
[pid=974747] ppid=974746 vsize=74992 memory=60696 CPUtime=0.29 cores=0,2
/proc/974747/stat : 974747 (LS-MabP) R 974746 974746 972493 0 -1 4194304 3435 0 0 0 28 1 0 0 20 0 1 0 183002966 76791808 15174 134679101440 4194304 15467897 140727981644896 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140727981646902 140727981647011 140727981647011 140727981653998 0
/proc/974747/statm: 18748 15174 1073 2753 0 15401 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 93584 KiB
Current children cumulated memory: 64432 KiB

[startup+0.700247 s]
/proc/loadavg: 4.11 4.13 4.09 5/266 974747
/proc/meminfo: memFree=128230820/131524600 swapFree=131071996/131071996
[pid=974743] ppid=974740 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/974743/stat : 974743 (Hybrid-LSMabP+E) S 974740 974743 972493 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 183002966 10170368 691 134679101440 94522481123328 94522482202648 140737318929568 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94522484301104 94522484348292 94522485051392 140737318933481 140737318933626 140737318933626 140737318940642 0
/proc/974743/statm: 2483 691 614 264 0 134 0
[pid=974746] ppid=974743 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/974746/stat : 974746 (timeout) S 974743 974746 972493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183002966 8867840 243 134679101440 94908314624000 94908314659016 140724112266864 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94908316756432 94908316758564 94908337631232 140724112270370 140724112270492 140724112270492 140724112277479 0
/proc/974746/statm: 2165 243 219 9 0 87 0
[pid=974747] ppid=974746 vsize=83184 memory=68892 CPUtime=0.68 cores=0,2
/proc/974747/stat : 974747 (LS-MabP) R 974746 974746 972493 0 -1 4194304 3956 0 0 0 66 2 0 0 20 0 1 0 183002966 85180416 17223 134679101440 4194304 15467897 140727981644896 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140727981646902 140727981647011 140727981647011 140727981653998 0
/proc/974747/statm: 20796 17223 1073 2753 0 17449 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 101776 KiB
Current children cumulated memory: 72628 KiB

[startup+1.50023 s]
/proc/loadavg: 4.11 4.13 4.09 5/266 974747
/proc/meminfo: memFree=128210004/131524600 swapFree=131071996/131071996
[pid=974743] ppid=974740 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/974743/stat : 974743 (Hybrid-LSMabP+E) S 974740 974743 972493 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 183002966 10170368 691 134679101440 94522481123328 94522482202648 140737318929568 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94522484301104 94522484348292 94522485051392 140737318933481 140737318933626 140737318933626 140737318940642 0
/proc/974743/statm: 2483 691 614 264 0 134 0
[pid=974746] ppid=974743 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/974746/stat : 974746 (timeout) S 974743 974746 972493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183002966 8867840 243 134679101440 94908314624000 94908314659016 140724112266864 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94908316756432 94908316758564 94908337631232 140724112270370 140724112270492 140724112270492 140724112277479 0
/proc/974746/statm: 2165 243 219 9 0 87 0
[pid=974747] ppid=974746 vsize=99568 memory=85280 CPUtime=1.47 cores=0,2
/proc/974747/stat : 974747 (LS-MabP) R 974746 974746 972493 0 -1 4194304 4542 0 0 0 145 2 0 0 20 0 1 0 183002966 101957632 21320 134679101440 4194304 15467897 140727981644896 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140727981646902 140727981647011 140727981647011 140727981653998 0
/proc/974747/statm: 24892 21320 1073 2753 0 21545 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 118160 KiB
Current children cumulated memory: 89016 KiB

[startup+3.10599 s]
/proc/loadavg: 4.18 4.14 4.10 5/260 974795
/proc/meminfo: memFree=128034288/131524600 swapFree=131071996/131071996
[pid=974743] ppid=974740 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/974743/stat : 974743 (Hybrid-LSMabP+E) S 974740 974743 972493 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 183002966 10170368 691 134679101440 94522481123328 94522482202648 140737318929568 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94522484301104 94522484348292 94522485051392 140737318933481 140737318933626 140737318933626 140737318940642 0
/proc/974743/statm: 2483 691 614 264 0 134 0
[pid=974746] ppid=974743 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/974746/stat : 974746 (timeout) S 974743 974746 972493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183002966 8867840 243 134679101440 94908314624000 94908314659016 140724112266864 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94908316756432 94908316758564 94908337631232 140724112270370 140724112270492 140724112270492 140724112277479 0
/proc/974746/statm: 2165 243 219 9 0 87 0
[pid=974747] ppid=974746 vsize=132336 memory=118444 CPUtime=3.08 cores=0,2
/proc/974747/stat : 974747 (LS-MabP) R 974746 974746 972493 0 -1 4194304 5198 0 0 0 304 4 0 0 20 0 1 0 183002966 135512064 29611 134679101440 4194304 15467897 140727981644896 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140727981646902 140727981647011 140727981647011 140727981653998 0
/proc/974747/statm: 33084 29611 1073 2753 0 29737 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 150928 KiB
Current children cumulated memory: 122180 KiB

[startup+6.30023 s]
/proc/loadavg: 4.18 4.14 4.10 5/266 974809
/proc/meminfo: memFree=127437428/131524600 swapFree=131071996/131071996
[pid=974743] ppid=974740 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/974743/stat : 974743 (Hybrid-LSMabP+E) S 974740 974743 972493 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 183002966 10170368 691 134679101440 94522481123328 94522482202648 140737318929568 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94522484301104 94522484348292 94522485051392 140737318933481 140737318933626 140737318933626 140737318940642 0
/proc/974743/statm: 2483 691 614 264 0 134 0
[pid=974746] ppid=974743 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/974746/stat : 974746 (timeout) S 974743 974746 972493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183002966 8867840 243 134679101440 94908314624000 94908314659016 140724112266864 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94908316756432 94908316758564 94908337631232 140724112270370 140724112270492 140724112270492 140724112277479 0
/proc/974746/statm: 2165 243 219 9 0 87 0
[pid=974747] ppid=974746 vsize=551276 memory=508200 CPUtime=6.26 cores=0,2
/proc/974747/stat : 974747 (LS-MabP) R 974746 974746 972493 0 -1 4194304 21537 0 0 0 604 22 0 0 20 0 1 0 183002966 564506624 127050 134679101440 4194304 15467897 140727981644896 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140727981646902 140727981647011 140727981647011 140727981653998 0
/proc/974747/statm: 137819 127050 1105 2753 0 134472 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 569868 KiB
Current children cumulated memory: 511936 KiB

[startup+12.7003 s]
/proc/loadavg: 4.31 4.17 4.11 5/266 974810
/proc/meminfo: memFree=127235716/131524600 swapFree=131071996/131071996
[pid=974743] ppid=974740 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/974743/stat : 974743 (Hybrid-LSMabP+E) S 974740 974743 972493 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 183002966 10170368 691 134679101440 94522481123328 94522482202648 140737318929568 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94522484301104 94522484348292 94522485051392 140737318933481 140737318933626 140737318933626 140737318940642 0
/proc/974743/statm: 2483 691 614 264 0 134 0
[pid=974746] ppid=974743 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/974746/stat : 974746 (timeout) S 974743 974746 972493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183002966 8867840 243 134679101440 94908314624000 94908314659016 140724112266864 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94908316756432 94908316758564 94908337631232 140724112270370 140724112270492 140724112270492 140724112277479 0
/proc/974746/statm: 2165 243 219 9 0 87 0
[pid=974747] ppid=974746 vsize=620324 memory=577236 CPUtime=12.64 cores=0,2
/proc/974747/stat : 974747 (LS-MabP) R 974746 974746 972493 0 -1 4194304 24046 0 0 0 1240 24 0 0 20 0 1 0 183002966 635211776 144309 134679101440 4194304 15467897 140727981644896 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140727981646902 140727981647011 140727981647011 140727981653998 0
/proc/974747/statm: 155081 144309 1153 2753 0 151734 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 638916 KiB
Current children cumulated memory: 580972 KiB

[startup+25.5003 s]
/proc/loadavg: 4.33 4.18 4.11 5/266 974812
/proc/meminfo: memFree=126150872/131524600 swapFree=131071996/131071996
[pid=974743] ppid=974740 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/974743/stat : 974743 (Hybrid-LSMabP+E) S 974740 974743 972493 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 183002966 10170368 691 134679101440 94522481123328 94522482202648 140737318929568 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94522484301104 94522484348292 94522485051392 140737318933481 140737318933626 140737318933626 140737318940642 0
/proc/974743/statm: 2483 691 614 264 0 134 0
[pid=974746] ppid=974743 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/974746/stat : 974746 (timeout) S 974743 974746 972493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183002966 8867840 243 134679101440 94908314624000 94908314659016 140724112266864 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94908316756432 94908316758564 94908337631232 140724112270370 140724112270492 140724112270492 140724112277479 0
/proc/974746/statm: 2165 243 219 9 0 87 0
[pid=974747] ppid=974746 vsize=620320 memory=546524 CPUtime=25.4 cores=0,2
/proc/974747/stat : 974747 (LS-MabP) R 974746 974746 972493 0 -1 4194304 24227 0 0 0 2516 24 0 0 20 0 1 0 183002966 635207680 136631 134679101440 4194304 15467897 140727981644896 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140727981646902 140727981647011 140727981647011 140727981653998 0
/proc/974747/statm: 155080 136631 1153 2753 0 151733 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 638912 KiB
Current children cumulated memory: 550260 KiB

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

# cumulated CPU time of all completed processes:  user=27.7206 s, system=0.397757 s

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

[startup+25.6003 s]
/proc/loadavg: 4.33 4.18 4.11 5/266 974812
/proc/meminfo: memFree=126150872/131524600 swapFree=131071996/131071996
[pid=974743] ppid=974740 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/974743/stat : 974743 (Hybrid-LSMabP+E) S 974740 974743 972493 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 183002966 10170368 691 134679101440 94522481123328 94522482202648 140737318929568 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94522484301104 94522484348292 94522485051392 140737318933481 140737318933626 140737318933626 140737318940642 0
/proc/974743/statm: 2483 691 614 264 0 134 0
[pid=974746] ppid=974743 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/974746/stat : 974746 (timeout) S 974743 974746 972493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183002966 8867840 243 134679101440 94908314624000 94908314659016 140724112266864 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94908316756432 94908316758564 94908337631232 140724112270370 140724112270492 140724112270492 140724112277479 0
/proc/974746/statm: 2165 243 219 9 0 87 0
[pid=974747] ppid=974746 vsize=620320 memory=546524 CPUtime=25.5 cores=0,2
/proc/974747/stat : 974747 (LS-MabP) R 974746 974746 972493 0 -1 4194304 24227 0 0 0 2526 24 0 0 20 0 1 0 183002966 635207680 136631 134679101440 4194304 15467897 140727981644896 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140727981646902 140727981647011 140727981647011 140727981653998 0
/proc/974747/statm: 155080 136631 1153 2753 0 151733 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 638912 KiB
Current children cumulated memory: 550260 KiB

[startup+27.2003 s]
/proc/loadavg: 4.39 4.19 4.12 5/266 974812
/proc/meminfo: memFree=126261104/131524600 swapFree=131071996/131071996
[pid=974743] ppid=974740 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/974743/stat : 974743 (Hybrid-LSMabP+E) S 974740 974743 972493 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 183002966 10170368 691 134679101440 94522481123328 94522482202648 140737318929568 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94522484301104 94522484348292 94522485051392 140737318933481 140737318933626 140737318933626 140737318940642 0
/proc/974743/statm: 2483 691 614 264 0 134 0
[pid=974746] ppid=974743 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/974746/stat : 974746 (timeout) S 974743 974746 972493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183002966 8867840 243 134679101440 94908314624000 94908314659016 140724112266864 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94908316756432 94908316758564 94908337631232 140724112270370 140724112270492 140724112270492 140724112277479 0
/proc/974746/statm: 2165 243 219 9 0 87 0
[pid=974747] ppid=974746 vsize=716052 memory=536816 CPUtime=27.09 cores=0,2
/proc/974747/stat : 974747 (LS-MabP) R 974746 974746 972493 0 -1 4194304 44897 0 0 0 2681 28 0 0 20 0 1 0 183002966 733237248 134204 134679101440 4194304 15467897 140727981644896 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140727981646902 140727981647011 140727981647011 140727981653998 0
/proc/974747/statm: 179013 134204 1153 2753 0 175666 0
Current children cumulated CPU time: 27.09 s
Current children cumulated vsize: 734644 KiB
Current children cumulated memory: 540552 KiB

[startup+28.0003 s]*
/proc/loadavg: 4.39 4.19 4.12 5/266 974812
/proc/meminfo: memFree=125840056/131524600 swapFree=131071996/131071996
[pid=974743] ppid=974740 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/974743/stat : 974743 (Hybrid-LSMabP+E) S 974740 974743 972493 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 183002966 10170368 691 134679101440 94522481123328 94522482202648 140737318929568 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94522484301104 94522484348292 94522485051392 140737318933481 140737318933626 140737318933626 140737318940642 0
/proc/974743/statm: 2483 691 614 264 0 134 0
[pid=974746] ppid=974743 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/974746/stat : 974746 (timeout) S 974743 974746 972493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183002966 8867840 243 134679101440 94908314624000 94908314659016 140724112266864 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94908316756432 94908316758564 94908337631232 140724112270370 140724112270492 140724112270492 140724112277479 0
/proc/974746/statm: 2165 243 219 9 0 87 0
[pid=974747] ppid=974746 vsize=945124 memory=850476 CPUtime=27.89 cores=0,2
/proc/974747/stat : 974747 (LS-MabP) R 974746 974746 972493 0 -1 4194304 87034 0 0 0 2753 36 0 0 20 0 1 0 183002966 967806976 212619 134679101440 4194304 15467897 140727981644896 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140727981646902 140727981647011 140727981647011 140727981653998 0
/proc/974747/statm: 236281 212619 1153 2753 0 232934 0
Current children cumulated CPU time: 27.89 s
Current children cumulated vsize: 963716 KiB
Current children cumulated memory: 854212 KiB

[startup+28.2003 s]
/proc/loadavg: 4.39 4.19 4.12 5/266 974812
/proc/meminfo: memFree=125840056/131524600 swapFree=131071996/131071996
[pid=974743] ppid=974740 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/974743/stat : 974743 (Hybrid-LSMabP+E) S 974740 974743 972493 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 183002966 10170368 691 134679101440 94522481123328 94522482202648 140737318929568 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94522484301104 94522484348292 94522485051392 140737318933481 140737318933626 140737318933626 140737318940642 0
/proc/974743/statm: 2483 691 614 264 0 134 0
[pid=974746] ppid=974743 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/974746/stat : 974746 (timeout) S 974743 974746 972493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 183002966 8867840 243 134679101440 94908314624000 94908314659016 140724112266864 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94908316756432 94908316758564 94908337631232 140724112270370 140724112270492 140724112270492 140724112277479 0
/proc/974746/statm: 2165 243 219 9 0 87 0
[pid=974747] ppid=974746 vsize=719304 memory=625116 CPUtime=28.09 cores=0,2
/proc/974747/stat : 974747 (LS-MabP) R 974746 974746 972493 0 -1 4194304 88976 0 0 0 2771 38 0 0 20 0 1 0 183002966 736567296 156279 134679101440 4194304 15467897 140727981644896 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140727981646902 140727981647011 140727981647011 140727981653998 0
/proc/974747/statm: 179826 156279 1169 2753 0 176479 0
Current children cumulated CPU time: 28.09 s
Current children cumulated vsize: 737896 KiB
Current children cumulated memory: 628852 KiB

Child status: 0

Real time (s): 28.2189
CPU time (s): 28.1184
CPU user time (s): 27.7206
CPU system time (s): 0.397757
CPU usage (%): 99.6436
Max. virtual memory (cumulated for all children) (KiB): 1014132
Max. memory (cumulated for all children) (KiB): 904736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.7206
system time used= 0.397757
maximum resident set size= 901000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89658
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= 25
involuntary context switches= 197


# summary of solver processes directly reported to runsolver:
#   pid: 974743
#   total CPU time (s): 28.1184
#   total CPU user time (s): 27.7206
#   total CPU system time (s): 0.397757

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.073013 second user time and 0.175604 second system time

The end