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: 63968 MiB (62509 MiB free)
  memory of node 1: 64473 MiB (62764 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443895-1721308407/watcher-4443895-1721308407 -o /tmp/evaluation-result-4443895-1721308407/solver-4443895-1721308407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721304555-957903 --watchdog 3760 ./Hybrid-LSMabP+Exact HOME/instance-4443895-1721308407.opb 3600 HOME 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=961493, runsolver pid=961490

[startup+0.100414 s]*
/proc/loadavg: 4.19 4.30 4.20 5/262 961497
/proc/meminfo: memFree=128226912/131524600 swapFree=131071996/131071996
[pid=961493] ppid=961490 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/961493/stat : 961493 (Hybrid-LSMabP+E) S 961490 961493 957891 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 183004501 10170368 702 134679101440 94463317536768 94463318616088 140729495092704 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94463320714544 94463320761732 94463343312896 140729495098345 140729495098490 140729495098490 140729495105506 0
/proc/961493/statm: 2483 702 624 264 0 134 0
[pid=961496] ppid=961493 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/961496/stat : 961496 (timeout) S 961493 961496 957891 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183004501 8867840 249 134679101440 93829505269760 93829505304776 140726679868848 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93829507402192 93829507404324 93829534900224 140726679872546 140726679872668 140726679872668 140726679879655 0
/proc/961496/statm: 2165 249 225 9 0 87 0
[pid=961497] ppid=961496 vsize=68848 memory=55700 CPUtime=0.09 cores=1,3
/proc/961497/stat : 961497 (LS-MabP) R 961496 961496 957891 0 -1 4194304 3265 0 0 0 8 1 0 0 20 0 1 0 183004501 70500352 13925 134679101440 4194304 15467897 140730942401760 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28979200 140730942403638 140730942403747 140730942403747 140730942410734 0
/proc/961497/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: 59504 KiB

[startup+0.205712 s]*
/proc/loadavg: 4.19 4.30 4.20 5/262 961497
/proc/meminfo: memFree=128224468/131524600 swapFree=131071996/131071996
[pid=961493] ppid=961490 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/961493/stat : 961493 (Hybrid-LSMabP+E) S 961490 961493 957891 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 183004501 10170368 702 134679101440 94463317536768 94463318616088 140729495092704 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94463320714544 94463320761732 94463343312896 140729495098345 140729495098490 140729495098490 140729495105506 0
/proc/961493/statm: 2483 702 624 264 0 134 0
[pid=961496] ppid=961493 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/961496/stat : 961496 (timeout) S 961493 961496 957891 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183004501 8867840 249 134679101440 93829505269760 93829505304776 140726679868848 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93829507402192 93829507404324 93829534900224 140726679872546 140726679872668 140726679872668 140726679879655 0
/proc/961496/statm: 2165 249 225 9 0 87 0
[pid=961497] ppid=961496 vsize=70896 memory=58296 CPUtime=0.2 cores=1,3
/proc/961497/stat : 961497 (LS-MabP) R 961496 961496 957891 0 -1 4194304 3858 0 0 0 19 1 0 0 20 0 1 0 183004501 72597504 14574 134679101440 4194304 15467897 140730942401760 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28979200 140730942403638 140730942403747 140730942403747 140730942410734 0
/proc/961497/statm: 17724 14574 1073 2753 0 14377 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 89488 KiB
Current children cumulated memory: 62100 KiB

[startup+0.305833 s]*
/proc/loadavg: 4.19 4.30 4.20 5/262 961497
/proc/meminfo: memFree=128221016/131524600 swapFree=131071996/131071996
[pid=961493] ppid=961490 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/961493/stat : 961493 (Hybrid-LSMabP+E) S 961490 961493 957891 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 183004501 10170368 702 134679101440 94463317536768 94463318616088 140729495092704 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94463320714544 94463320761732 94463343312896 140729495098345 140729495098490 140729495098490 140729495105506 0
/proc/961493/statm: 2483 702 624 264 0 134 0
[pid=961496] ppid=961493 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/961496/stat : 961496 (timeout) S 961493 961496 957891 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183004501 8867840 249 134679101440 93829505269760 93829505304776 140726679868848 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93829507402192 93829507404324 93829534900224 140726679872546 140726679872668 140726679872668 140726679879655 0
/proc/961496/statm: 2165 249 225 9 0 87 0
[pid=961497] ppid=961496 vsize=74992 memory=61080 CPUtime=0.3 cores=1,3
/proc/961497/stat : 961497 (LS-MabP) R 961496 961496 957891 0 -1 4194304 4042 0 0 0 29 1 0 0 20 0 1 0 183004501 76791808 15270 134679101440 4194304 15467897 140730942401760 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28979200 140730942403638 140730942403747 140730942403747 140730942410734 0
/proc/961497/statm: 18748 15270 1073 2753 0 15401 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 93584 KiB
Current children cumulated memory: 64884 KiB

[startup+0.700258 s]
/proc/loadavg: 4.19 4.30 4.20 5/262 961497
/proc/meminfo: memFree=128216780/131524600 swapFree=131071996/131071996
[pid=961493] ppid=961490 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/961493/stat : 961493 (Hybrid-LSMabP+E) S 961490 961493 957891 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 183004501 10170368 702 134679101440 94463317536768 94463318616088 140729495092704 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94463320714544 94463320761732 94463343312896 140729495098345 140729495098490 140729495098490 140729495105506 0
/proc/961493/statm: 2483 702 624 264 0 134 0
[pid=961496] ppid=961493 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/961496/stat : 961496 (timeout) S 961493 961496 957891 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183004501 8867840 249 134679101440 93829505269760 93829505304776 140726679868848 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93829507402192 93829507404324 93829534900224 140726679872546 140726679872668 140726679872668 140726679879655 0
/proc/961496/statm: 2165 249 225 9 0 87 0
[pid=961497] ppid=961496 vsize=83184 memory=69276 CPUtime=0.69 cores=1,3
/proc/961497/stat : 961497 (LS-MabP) R 961496 961496 957891 0 -1 4194304 4563 0 0 0 67 2 0 0 20 0 1 0 183004501 85180416 17319 134679101440 4194304 15467897 140730942401760 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28979200 140730942403638 140730942403747 140730942403747 140730942410734 0
/proc/961497/statm: 20796 17319 1073 2753 0 17449 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 101776 KiB
Current children cumulated memory: 73080 KiB

[startup+1.50027 s]
/proc/loadavg: 4.17 4.30 4.20 5/262 961497
/proc/meminfo: memFree=128206476/131524600 swapFree=131071996/131071996
[pid=961493] ppid=961490 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/961493/stat : 961493 (Hybrid-LSMabP+E) S 961490 961493 957891 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 183004501 10170368 702 134679101440 94463317536768 94463318616088 140729495092704 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94463320714544 94463320761732 94463343312896 140729495098345 140729495098490 140729495098490 140729495105506 0
/proc/961493/statm: 2483 702 624 264 0 134 0
[pid=961496] ppid=961493 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/961496/stat : 961496 (timeout) S 961493 961496 957891 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183004501 8867840 249 134679101440 93829505269760 93829505304776 140726679868848 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93829507402192 93829507404324 93829534900224 140726679872546 140726679872668 140726679872668 140726679879655 0
/proc/961496/statm: 2165 249 225 9 0 87 0
[pid=961497] ppid=961496 vsize=99568 memory=85896 CPUtime=1.48 cores=1,3
/proc/961497/stat : 961497 (LS-MabP) R 961496 961496 957891 0 -1 4194304 5177 0 0 0 146 2 0 0 20 0 1 0 183004501 101957632 21474 134679101440 4194304 15467897 140730942401760 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28979200 140730942403638 140730942403747 140730942403747 140730942410734 0
/proc/961497/statm: 24892 21474 1073 2753 0 21545 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 118160 KiB
Current children cumulated memory: 89700 KiB

[startup+3.10554 s]
/proc/loadavg: 4.17 4.30 4.20 5/262 961497
/proc/meminfo: memFree=128163364/131524600 swapFree=131071996/131071996
[pid=961493] ppid=961490 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/961493/stat : 961493 (Hybrid-LSMabP+E) S 961490 961493 957891 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 183004501 10170368 702 134679101440 94463317536768 94463318616088 140729495092704 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94463320714544 94463320761732 94463343312896 140729495098345 140729495098490 140729495098490 140729495105506 0
/proc/961493/statm: 2483 702 624 264 0 134 0
[pid=961496] ppid=961493 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/961496/stat : 961496 (timeout) S 961493 961496 957891 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183004501 8867840 249 134679101440 93829505269760 93829505304776 140726679868848 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93829507402192 93829507404324 93829534900224 140726679872546 140726679872668 140726679872668 140726679879655 0
/proc/961496/statm: 2165 249 225 9 0 87 0
[pid=961497] ppid=961496 vsize=132336 memory=119360 CPUtime=3.08 cores=1,3
/proc/961497/stat : 961497 (LS-MabP) R 961496 961496 957891 0 -1 4194304 5933 0 0 0 305 3 0 0 20 0 1 0 183004501 135512064 29840 134679101440 4194304 15467897 140730942401760 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28979200 140730942403638 140730942403747 140730942403747 140730942410734 0
/proc/961497/statm: 33084 29840 1073 2753 0 29737 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 150928 KiB
Current children cumulated memory: 123164 KiB

[startup+6.30024 s]
/proc/loadavg: 4.16 4.29 4.20 5/266 961534
/proc/meminfo: memFree=127637664/131524600 swapFree=131071996/131071996
[pid=961493] ppid=961490 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/961493/stat : 961493 (Hybrid-LSMabP+E) S 961490 961493 957891 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 183004501 10170368 702 134679101440 94463317536768 94463318616088 140729495092704 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94463320714544 94463320761732 94463343312896 140729495098345 140729495098490 140729495098490 140729495105506 0
/proc/961493/statm: 2483 702 624 264 0 134 0
[pid=961496] ppid=961493 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/961496/stat : 961496 (timeout) S 961493 961496 957891 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183004501 8867840 249 134679101440 93829505269760 93829505304776 140726679868848 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93829507402192 93829507404324 93829534900224 140726679872546 140726679872668 140726679872668 140726679879655 0
/proc/961496/statm: 2165 249 225 9 0 87 0
[pid=961497] ppid=961496 vsize=582216 memory=537528 CPUtime=6.28 cores=1,3
/proc/961497/stat : 961497 (LS-MabP) R 961496 961496 957891 0 -1 4194304 21189 0 0 0 604 24 0 0 20 0 1 0 183004501 596189184 134382 134679101440 4194304 15467897 140730942401760 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28979200 140730942403638 140730942403747 140730942403747 140730942410734 0
/proc/961497/statm: 145554 134382 1105 2753 0 142207 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 600808 KiB
Current children cumulated memory: 541332 KiB

[startup+12.7003 s]
/proc/loadavg: 4.14 4.29 4.19 5/262 961550
/proc/meminfo: memFree=127784832/131524600 swapFree=131071996/131071996
[pid=961493] ppid=961490 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/961493/stat : 961493 (Hybrid-LSMabP+E) S 961490 961493 957891 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 183004501 10170368 702 134679101440 94463317536768 94463318616088 140729495092704 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94463320714544 94463320761732 94463343312896 140729495098345 140729495098490 140729495098490 140729495105506 0
/proc/961493/statm: 2483 702 624 264 0 134 0
[pid=961496] ppid=961493 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/961496/stat : 961496 (timeout) S 961493 961496 957891 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183004501 8867840 249 134679101440 93829505269760 93829505304776 140726679868848 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93829507402192 93829507404324 93829534900224 140726679872546 140726679872668 140726679872668 140726679879655 0
/proc/961496/statm: 2165 249 225 9 0 87 0
[pid=961497] ppid=961496 vsize=620324 memory=575584 CPUtime=12.66 cores=1,3
/proc/961497/stat : 961497 (LS-MabP) R 961496 961496 957891 0 -1 4194304 23118 0 0 0 1242 24 0 0 20 0 1 0 183004501 635211776 143896 134679101440 4194304 15467897 140730942401760 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28979200 140730942403638 140730942403747 140730942403747 140730942410734 0
/proc/961497/statm: 155081 143896 1153 2753 0 151734 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 638916 KiB
Current children cumulated memory: 579388 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.28 4.19 5/266 961586
/proc/meminfo: memFree=127789800/131524600 swapFree=131071996/131071996
[pid=961493] ppid=961490 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/961493/stat : 961493 (Hybrid-LSMabP+E) S 961490 961493 957891 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 183004501 10170368 702 134679101440 94463317536768 94463318616088 140729495092704 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94463320714544 94463320761732 94463343312896 140729495098345 140729495098490 140729495098490 140729495105506 0
/proc/961493/statm: 2483 702 624 264 0 134 0
[pid=961496] ppid=961493 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/961496/stat : 961496 (timeout) S 961493 961496 957891 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183004501 8867840 249 134679101440 93829505269760 93829505304776 140726679868848 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93829507402192 93829507404324 93829534900224 140726679872546 140726679872668 140726679872668 140726679879655 0
/proc/961496/statm: 2165 249 225 9 0 87 0
[pid=961497] ppid=961496 vsize=620320 memory=544860 CPUtime=25.43 cores=1,3
/proc/961497/stat : 961497 (LS-MabP) R 961496 961496 957891 0 -1 4194304 23299 0 0 0 2519 24 0 0 20 0 1 0 183004501 635207680 136215 134679101440 4194304 15467897 140730942401760 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28979200 140730942403638 140730942403747 140730942403747 140730942410734 0
/proc/961497/statm: 155080 136215 1153 2753 0 151733 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 638912 KiB
Current children cumulated memory: 548664 KiB

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

# cumulated CPU time of all completed processes:  user=27.7653 s, system=0.419137 s

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

[startup+25.6003 s]
/proc/loadavg: 4.12 4.28 4.19 5/266 961586
/proc/meminfo: memFree=127789800/131524600 swapFree=131071996/131071996
[pid=961493] ppid=961490 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/961493/stat : 961493 (Hybrid-LSMabP+E) S 961490 961493 957891 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 183004501 10170368 702 134679101440 94463317536768 94463318616088 140729495092704 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94463320714544 94463320761732 94463343312896 140729495098345 140729495098490 140729495098490 140729495105506 0
/proc/961493/statm: 2483 702 624 264 0 134 0
[pid=961496] ppid=961493 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/961496/stat : 961496 (timeout) S 961493 961496 957891 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183004501 8867840 249 134679101440 93829505269760 93829505304776 140726679868848 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93829507402192 93829507404324 93829534900224 140726679872546 140726679872668 140726679872668 140726679879655 0
/proc/961496/statm: 2165 249 225 9 0 87 0
[pid=961497] ppid=961496 vsize=620320 memory=544860 CPUtime=25.53 cores=1,3
/proc/961497/stat : 961497 (LS-MabP) R 961496 961496 957891 0 -1 4194304 23299 0 0 0 2529 24 0 0 20 0 1 0 183004501 635207680 136215 134679101440 4194304 15467897 140730942401760 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28979200 140730942403638 140730942403747 140730942403747 140730942410734 0
/proc/961497/statm: 155080 136215 1153 2753 0 151733 0
Current children cumulated CPU time: 25.53 s
Current children cumulated vsize: 638912 KiB
Current children cumulated memory: 548664 KiB

[startup+27.2003 s]
/proc/loadavg: 4.11 4.27 4.19 5/266 961588
/proc/meminfo: memFree=127906172/131524600 swapFree=131071996/131071996
[pid=961493] ppid=961490 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/961493/stat : 961493 (Hybrid-LSMabP+E) S 961490 961493 957891 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 183004501 10170368 702 134679101440 94463317536768 94463318616088 140729495092704 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94463320714544 94463320761732 94463343312896 140729495098345 140729495098490 140729495098490 140729495105506 0
/proc/961493/statm: 2483 702 624 264 0 134 0
[pid=961496] ppid=961493 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/961496/stat : 961496 (timeout) S 961493 961496 957891 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183004501 8867840 249 134679101440 93829505269760 93829505304776 140726679868848 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93829507402192 93829507404324 93829534900224 140726679872546 140726679872668 140726679872668 140726679879655 0
/proc/961496/statm: 2165 249 225 9 0 87 0
[pid=961497] ppid=961496 vsize=696912 memory=511796 CPUtime=27.13 cores=1,3
/proc/961497/stat : 961497 (LS-MabP) R 961496 961496 957891 0 -1 4194304 39094 0 0 0 2684 29 0 0 20 0 1 0 183004501 713637888 127949 134679101440 4194304 15467897 140730942401760 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28979200 140730942403638 140730942403747 140730942403747 140730942410734 0
/proc/961497/statm: 174228 127949 1153 2753 0 170881 0
Current children cumulated CPU time: 27.13 s
Current children cumulated vsize: 715504 KiB
Current children cumulated memory: 515600 KiB

[startup+28.0003 s]*
/proc/loadavg: 4.11 4.27 4.19 5/266 961588
/proc/meminfo: memFree=127549504/131524600 swapFree=131071996/131071996
[pid=961493] ppid=961490 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/961493/stat : 961493 (Hybrid-LSMabP+E) S 961490 961493 957891 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 183004501 10170368 702 134679101440 94463317536768 94463318616088 140729495092704 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94463320714544 94463320761732 94463343312896 140729495098345 140729495098490 140729495098490 140729495105506 0
/proc/961493/statm: 2483 702 624 264 0 134 0
[pid=961496] ppid=961493 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/961496/stat : 961496 (timeout) S 961493 961496 957891 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183004501 8867840 249 134679101440 93829505269760 93829505304776 140726679868848 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93829507402192 93829507404324 93829534900224 140726679872546 140726679872668 140726679872668 140726679879655 0
/proc/961496/statm: 2165 249 225 9 0 87 0
[pid=961497] ppid=961496 vsize=891720 memory=795912 CPUtime=27.93 cores=1,3
/proc/961497/stat : 961497 (LS-MabP) R 961496 961496 957891 0 -1 4194304 83104 0 0 0 2755 38 0 0 20 0 1 0 183004501 913121280 198978 134679101440 4194304 15467897 140730942401760 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28979200 140730942403638 140730942403747 140730942403747 140730942410734 0
/proc/961497/statm: 222930 198978 1153 2753 0 219583 0
Current children cumulated CPU time: 27.93 s
Current children cumulated vsize: 910312 KiB
Current children cumulated memory: 799716 KiB

[startup+28.2003 s]
/proc/loadavg: 4.11 4.27 4.19 5/266 961588
/proc/meminfo: memFree=127549504/131524600 swapFree=131071996/131071996
[pid=961493] ppid=961490 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/961493/stat : 961493 (Hybrid-LSMabP+E) S 961490 961493 957891 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 183004501 10170368 702 134679101440 94463317536768 94463318616088 140729495092704 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94463320714544 94463320761732 94463343312896 140729495098345 140729495098490 140729495098490 140729495105506 0
/proc/961493/statm: 2483 702 624 264 0 134 0
[pid=961496] ppid=961493 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/961496/stat : 961496 (timeout) S 961493 961496 957891 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 183004501 8867840 249 134679101440 93829505269760 93829505304776 140726679868848 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93829507402192 93829507404324 93829534900224 140726679872546 140726679872668 140726679872668 140726679879655 0
/proc/961496/statm: 2165 249 225 9 0 87 0
[pid=961497] ppid=961496 vsize=847036 memory=753100 CPUtime=28.13 cores=1,3
/proc/961497/stat : 961497 (LS-MabP) R 961496 961496 957891 0 -1 4194304 87514 0 0 0 2773 40 0 0 20 0 1 0 183004501 867364864 188275 134679101440 4194304 15467897 140730942401760 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28979200 140730942403638 140730942403747 140730942403747 140730942410734 0
/proc/961497/statm: 211759 188275 1153 2753 0 208412 0
Current children cumulated CPU time: 28.13 s
Current children cumulated vsize: 865628 KiB
Current children cumulated memory: 756904 KiB

Child status: 0

Real time (s): 28.247
CPU time (s): 28.1844
CPU user time (s): 27.7653
CPU system time (s): 0.419137
CPU usage (%): 99.7785
Max. virtual memory (cumulated for all children) (KiB): 1014136
Max. memory (cumulated for all children) (KiB): 905112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.7653
system time used= 0.419137
maximum resident set size= 901308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88222
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= 36


# summary of solver processes directly reported to runsolver:
#   pid: 961493
#   total CPU time (s): 28.1844
#   total CPU user time (s): 27.7653
#   total CPU system time (s): 0.419137

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.066041 second user time and 0.173039 second system time

The end