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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437202-1722974019/watcher-4437202-1722974019 -o /tmp/evaluation-result-4437202-1722974019/solver-4437202-1722974019 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722970388-350700 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437202-1722974019.opb 3600 HOME 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=352930, runsolver pid=352927
Current StackSize limit: 8192 KiB


[startup+0.10009 s]*
/proc/loadavg: 4.18 4.16 4.10 5/265 352934
/proc/meminfo: memFree=123654640/131524600 swapFree=131071996/131071996
[pid=352930] ppid=352927 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/352930/stat : 352930 (Hybrid-LSMabSP+) S 352927 352930 350689 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 64003623 10170368 681 134679101440 94809488404480 94809489483800 140728364699168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94809491582256 94809491629444 94809508491264 140728364704744 140728364704890 140728364704890 140728364711905 0
/proc/352930/statm: 2483 681 602 264 0 134 0
[pid=352933] ppid=352930 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/352933/stat : 352933 (timeout) S 352930 352933 350689 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64003623 8867840 260 134679101440 94759843905536 94759843940552 140723258011184 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94759846037968 94759846040100 94759860482048 140723258012713 140723258012829 140723258012829 140723258019815 0
/proc/352933/statm: 2165 260 236 9 0 87 0
[pid=352934] ppid=352933 vsize=24488 memory=11888 CPUtime=0.09 cores=4,6
/proc/352934/stat : 352934 (LS-MabSP) R 352933 352933 350689 0 -1 4194304 2000 0 0 0 9 0 0 0 20 0 1 0 64003623 25075712 2972 134679101440 4194304 15467897 140734975791040 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53014528 140734975800380 140734975800483 140734975800483 140734975807469 0
/proc/352934/statm: 6122 2972 1073 2753 0 2775 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43080 KiB
Current children cumulated memory: 15652 KiB

[startup+0.205885 s]*
/proc/loadavg: 4.18 4.16 4.10 5/265 352934
/proc/meminfo: memFree=123652592/131524600 swapFree=131071996/131071996
[pid=352930] ppid=352927 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/352930/stat : 352930 (Hybrid-LSMabSP+) S 352927 352930 350689 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 64003623 10170368 681 134679101440 94809488404480 94809489483800 140728364699168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94809491582256 94809491629444 94809508491264 140728364704744 140728364704890 140728364704890 140728364711905 0
/proc/352930/statm: 2483 681 602 264 0 134 0
[pid=352933] ppid=352930 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/352933/stat : 352933 (timeout) S 352930 352933 350689 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64003623 8867840 260 134679101440 94759843905536 94759843940552 140723258011184 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94759846037968 94759846040100 94759860482048 140723258012713 140723258012829 140723258012829 140723258019815 0
/proc/352933/statm: 2165 260 236 9 0 87 0
[pid=352934] ppid=352933 vsize=34732 memory=18240 CPUtime=0.19 cores=4,6
/proc/352934/stat : 352934 (LS-MabSP) R 352933 352933 350689 0 -1 4194304 2579 0 0 0 19 0 0 0 20 0 1 0 64003623 35565568 4560 134679101440 4194304 15467897 140734975791040 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53014528 140734975800380 140734975800483 140734975800483 140734975807469 0
/proc/352934/statm: 8683 4560 1073 2753 0 5336 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 53324 KiB
Current children cumulated memory: 22004 KiB

[startup+0.305802 s]*
/proc/loadavg: 4.18 4.16 4.10 5/265 352934
/proc/meminfo: memFree=123636708/131524600 swapFree=131071996/131071996
[pid=352930] ppid=352927 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/352930/stat : 352930 (Hybrid-LSMabSP+) S 352927 352930 350689 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 64003623 10170368 681 134679101440 94809488404480 94809489483800 140728364699168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94809491582256 94809491629444 94809508491264 140728364704744 140728364704890 140728364704890 140728364711905 0
/proc/352930/statm: 2483 681 602 264 0 134 0
[pid=352933] ppid=352930 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/352933/stat : 352933 (timeout) S 352930 352933 350689 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64003623 8867840 260 134679101440 94759843905536 94759843940552 140723258011184 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94759846037968 94759846040100 94759860482048 140723258012713 140723258012829 140723258012829 140723258019815 0
/proc/352933/statm: 2165 260 236 9 0 87 0
[pid=352934] ppid=352933 vsize=38596 memory=24176 CPUtime=0.3 cores=4,6
/proc/352934/stat : 352934 (LS-MabSP) R 352933 352933 350689 0 -1 4194304 3543 0 0 0 29 1 0 0 20 0 1 0 64003623 39522304 6044 134679101440 4194304 15467897 140734975791040 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53014528 140734975800380 140734975800483 140734975800483 140734975807469 0
/proc/352934/statm: 9649 6044 1073 2753 0 6302 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 57188 KiB
Current children cumulated memory: 27940 KiB

[startup+0.700276 s]
/proc/loadavg: 4.18 4.16 4.10 5/265 352934
/proc/meminfo: memFree=123600396/131524600 swapFree=131071996/131071996
[pid=352930] ppid=352927 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/352930/stat : 352930 (Hybrid-LSMabSP+) S 352927 352930 350689 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 64003623 10170368 681 134679101440 94809488404480 94809489483800 140728364699168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94809491582256 94809491629444 94809508491264 140728364704744 140728364704890 140728364704890 140728364711905 0
/proc/352930/statm: 2483 681 602 264 0 134 0
[pid=352933] ppid=352930 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/352933/stat : 352933 (timeout) S 352930 352933 350689 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64003623 8867840 260 134679101440 94759843905536 94759843940552 140723258011184 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94759846037968 94759846040100 94759860482048 140723258012713 140723258012829 140723258012829 140723258019815 0
/proc/352933/statm: 2165 260 236 9 0 87 0
[pid=352934] ppid=352933 vsize=61452 memory=47216 CPUtime=0.69 cores=4,6
/proc/352934/stat : 352934 (LS-MabSP) R 352933 352933 350689 0 -1 4194304 8712 0 0 0 67 2 0 0 20 0 1 0 64003623 62926848 11804 134679101440 4194304 15467897 140734975791040 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53014528 140734975800380 140734975800483 140734975800483 140734975807469 0
/proc/352934/statm: 15363 11804 1105 2753 0 12016 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 80044 KiB
Current children cumulated memory: 50980 KiB

[startup+1.50026 s]
/proc/loadavg: 4.18 4.16 4.10 5/265 352934
/proc/meminfo: memFree=123594772/131524600 swapFree=131071996/131071996
[pid=352930] ppid=352927 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/352930/stat : 352930 (Hybrid-LSMabSP+) S 352927 352930 350689 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 64003623 10170368 681 134679101440 94809488404480 94809489483800 140728364699168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94809491582256 94809491629444 94809508491264 140728364704744 140728364704890 140728364704890 140728364711905 0
/proc/352930/statm: 2483 681 602 264 0 134 0
[pid=352933] ppid=352930 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/352933/stat : 352933 (timeout) S 352930 352933 350689 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64003623 8867840 260 134679101440 94759843905536 94759843940552 140723258011184 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94759846037968 94759846040100 94759860482048 140723258012713 140723258012829 140723258012829 140723258019815 0
/proc/352933/statm: 2165 260 236 9 0 87 0
[pid=352934] ppid=352933 vsize=61452 memory=47216 CPUtime=1.49 cores=4,6
/proc/352934/stat : 352934 (LS-MabSP) R 352933 352933 350689 0 -1 4194304 8712 0 0 0 147 2 0 0 20 0 1 0 64003623 62926848 11804 134679101440 4194304 15467897 140734975791040 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53014528 140734975800380 140734975800483 140734975800483 140734975807469 0
/proc/352934/statm: 15363 11804 1105 2753 0 12016 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 80044 KiB
Current children cumulated memory: 50980 KiB

[startup+3.1056 s]
/proc/loadavg: 4.17 4.15 4.10 5/265 352934
/proc/meminfo: memFree=123565320/131524600 swapFree=131071996/131071996
[pid=352930] ppid=352927 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/352930/stat : 352930 (Hybrid-LSMabSP+) S 352927 352930 350689 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 64003623 10170368 681 134679101440 94809488404480 94809489483800 140728364699168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94809491582256 94809491629444 94809508491264 140728364704744 140728364704890 140728364704890 140728364711905 0
/proc/352930/statm: 2483 681 602 264 0 134 0
[pid=352933] ppid=352930 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/352933/stat : 352933 (timeout) S 352930 352933 350689 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64003623 8867840 260 134679101440 94759843905536 94759843940552 140723258011184 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94759846037968 94759846040100 94759860482048 140723258012713 140723258012829 140723258012829 140723258019815 0
/proc/352933/statm: 2165 260 236 9 0 87 0
[pid=352934] ppid=352933 vsize=61452 memory=47216 CPUtime=3.09 cores=4,6
/proc/352934/stat : 352934 (LS-MabSP) R 352933 352933 350689 0 -1 4194304 8718 0 0 0 307 2 0 0 20 0 1 0 64003623 62926848 11804 134679101440 4194304 15467897 140734975791040 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53014528 140734975800380 140734975800483 140734975800483 140734975807469 0
/proc/352934/statm: 15363 11804 1105 2753 0 12016 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 80044 KiB
Current children cumulated memory: 50980 KiB

[startup+6.30027 s]
/proc/loadavg: 4.17 4.15 4.10 5/265 352934
/proc/meminfo: memFree=123311112/131524600 swapFree=131071996/131071996
[pid=352930] ppid=352927 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/352930/stat : 352930 (Hybrid-LSMabSP+) S 352927 352930 350689 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 64003623 10170368 681 134679101440 94809488404480 94809489483800 140728364699168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94809491582256 94809491629444 94809508491264 140728364704744 140728364704890 140728364704890 140728364711905 0
/proc/352930/statm: 2483 681 602 264 0 134 0
[pid=352933] ppid=352930 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/352933/stat : 352933 (timeout) S 352930 352933 350689 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64003623 8867840 260 134679101440 94759843905536 94759843940552 140723258011184 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94759846037968 94759846040100 94759860482048 140723258012713 140723258012829 140723258012829 140723258019815 0
/proc/352933/statm: 2165 260 236 9 0 87 0
[pid=352934] ppid=352933 vsize=271424 memory=255804 CPUtime=6.27 cores=4,6
/proc/352934/stat : 352934 (LS-MabSP) R 352933 352933 350689 0 -1 4194304 61664 0 0 0 617 10 0 0 20 0 1 0 64003623 277938176 63951 134679101440 4194304 15467897 140734975791040 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53014528 140734975800380 140734975800483 140734975800483 140734975807469 0
/proc/352934/statm: 67856 63951 2817 2753 0 64509 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 290016 KiB
Current children cumulated memory: 259568 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.15 4.10 5/265 352936
/proc/meminfo: memFree=123220276/131524600 swapFree=131071996/131071996
[pid=352930] ppid=352927 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/352930/stat : 352930 (Hybrid-LSMabSP+) S 352927 352930 350689 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 64003623 10170368 681 134679101440 94809488404480 94809489483800 140728364699168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94809491582256 94809491629444 94809508491264 140728364704744 140728364704890 140728364704890 140728364711905 0
/proc/352930/statm: 2483 681 602 264 0 134 0
[pid=352933] ppid=352930 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/352933/stat : 352933 (timeout) S 352930 352933 350689 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64003623 8867840 260 134679101440 94759843905536 94759843940552 140723258011184 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94759846037968 94759846040100 94759860482048 140723258012713 140723258012829 140723258012829 140723258019815 0
/proc/352933/statm: 2165 260 236 9 0 87 0
[pid=352934] ppid=352933 vsize=272352 memory=256592 CPUtime=12.66 cores=4,6
/proc/352934/stat : 352934 (LS-MabSP) R 352933 352933 350689 0 -1 4194304 61822 0 0 0 1256 10 0 0 20 0 1 0 64003623 278888448 64148 134679101440 4194304 15467897 140734975791040 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53014528 140734975800380 140734975800483 140734975800483 140734975807469 0
/proc/352934/statm: 68088 64148 2817 2753 0 64741 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 290944 KiB
Current children cumulated memory: 260356 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.14 4.09 5/265 352937
/proc/meminfo: memFree=122951892/131524600 swapFree=131071996/131071996
[pid=352930] ppid=352927 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/352930/stat : 352930 (Hybrid-LSMabSP+) S 352927 352930 350689 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 64003623 10170368 681 134679101440 94809488404480 94809489483800 140728364699168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94809491582256 94809491629444 94809508491264 140728364704744 140728364704890 140728364704890 140728364711905 0
/proc/352930/statm: 2483 681 602 264 0 134 0
[pid=352933] ppid=352930 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/352933/stat : 352933 (timeout) S 352930 352933 350689 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64003623 8867840 260 134679101440 94759843905536 94759843940552 140723258011184 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94759846037968 94759846040100 94759860482048 140723258012713 140723258012829 140723258012829 140723258019815 0
/proc/352933/statm: 2165 260 236 9 0 87 0
[pid=352934] ppid=352933 vsize=273528 memory=257700 CPUtime=25.42 cores=4,6
/proc/352934/stat : 352934 (LS-MabSP) R 352933 352933 350689 0 -1 4194304 62126 0 0 0 2532 10 0 0 20 0 1 0 64003623 280092672 64425 134679101440 4194304 15467897 140734975791040 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53014528 140734975800380 140734975800483 140734975800483 140734975807469 0
/proc/352934/statm: 68382 64425 2833 2753 0 65035 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 292120 KiB
Current children cumulated memory: 261464 KiB

[startup+51.1058 s]
/proc/loadavg: 4.15 4.15 4.10 5/265 352944
/proc/meminfo: memFree=122454900/131524600 swapFree=131071996/131071996
[pid=352930] ppid=352927 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/352930/stat : 352930 (Hybrid-LSMabSP+) S 352927 352930 350689 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 64003623 10170368 681 134679101440 94809488404480 94809489483800 140728364699168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94809491582256 94809491629444 94809508491264 140728364704744 140728364704890 140728364704890 140728364711905 0
/proc/352930/statm: 2483 681 602 264 0 134 0
[pid=352933] ppid=352930 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/352933/stat : 352933 (timeout) S 352930 352933 350689 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64003623 8867840 260 134679101440 94759843905536 94759843940552 140723258011184 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94759846037968 94759846040100 94759860482048 140723258012713 140723258012829 140723258012829 140723258019815 0
/proc/352933/statm: 2165 260 236 9 0 87 0
[pid=352934] ppid=352933 vsize=273528 memory=257700 CPUtime=50.97 cores=4,6
/proc/352934/stat : 352934 (LS-MabSP) R 352933 352933 350689 0 -1 4194304 62129 0 0 0 5086 11 0 0 20 0 1 0 64003623 280092672 64425 134679101440 4194304 15467897 140734975791040 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53014528 140734975800380 140734975800483 140734975800483 140734975807469 0
/proc/352934/statm: 68382 64425 2833 2753 0 65035 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 292120 KiB
Current children cumulated memory: 261464 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/267 353336
/proc/meminfo: memFree=121315128/131524600 swapFree=131071996/131071996
[pid=352930] ppid=352927 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/352930/stat : 352930 (Hybrid-LSMabSP+) S 352927 352930 350689 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 64003623 10170368 681 134679101440 94809488404480 94809489483800 140728364699168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94809491582256 94809491629444 94809508491264 140728364704744 140728364704890 140728364704890 140728364711905 0

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

/proc/354036/statm: 10515 7057 748 737 0 9603 0
Current children cumulated CPU time: 1837.95 s
Current children cumulated vsize: 60652 KiB
Current children cumulated memory: 31972 KiB

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

# cumulated CPU time of all completed processes:  user=1841.16 s, system=27.3623 s

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

[startup+1843.2 s]
/proc/loadavg: 4.13 4.13 4.14 5/265 354043
/proc/meminfo: memFree=124603036/131524600 swapFree=131071996/131071996
[pid=352930] ppid=352927 vsize=9932 memory=2768 CPUtime=1793.8 cores=4,6
/proc/352930/stat : 352930 (Hybrid-LSMabSP+) S 352927 352930 350689 0 -1 4194304 271 73288 0 0 0 0 176648 2732 20 0 1 0 64003623 10170368 692 134679101440 94809488404480 94809489483800 140728364699168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94809491582256 94809491629444 94809508491264 140728364704744 140728364704890 140728364704890 140728364711905 0
/proc/352930/statm: 2483 692 602 264 0 134 0
[pid=354035] ppid=352930 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/354035/stat : 354035 (timeout) S 352930 354035 350689 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64183425 8867840 244 134679101440 94470197530624 94470197565640 140726950181920 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94470199663056 94470199665188 94470202761216 140726950183924 140726950184093 140726950184093 140726950191079 0
/proc/354035/statm: 2165 244 220 9 0 87 0
[pid=354036] ppid=354035 vsize=42060 memory=28228 CPUtime=45.05 cores=4,6
/proc/354036/stat : 354036 (Exact) R 354035 354035 350689 0 -1 4194304 16725 0 0 0 4503 2 0 0 20 0 1 0 64183426 43069440 7057 134679101440 4194304 7210733 140736070400688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 30613504 140736070403088 140736070403238 140736070403238 140736070410224 0
/proc/354036/statm: 10515 7057 748 737 0 9603 0
Current children cumulated CPU time: 1838.85 s
Current children cumulated vsize: 60652 KiB
Current children cumulated memory: 31972 KiB

[startup+1856 s]*
/proc/loadavg: 4.11 4.12 4.13 5/265 354046
/proc/meminfo: memFree=124602692/131524600 swapFree=131071996/131071996
[pid=352930] ppid=352927 vsize=9932 memory=2768 CPUtime=1793.8 cores=4,6
/proc/352930/stat : 352930 (Hybrid-LSMabSP+) S 352927 352930 350689 0 -1 4194304 271 73288 0 0 0 0 176648 2732 20 0 1 0 64003623 10170368 692 134679101440 94809488404480 94809489483800 140728364699168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94809491582256 94809491629444 94809508491264 140728364704744 140728364704890 140728364704890 140728364711905 0
/proc/352930/statm: 2483 692 602 264 0 134 0
[pid=354035] ppid=352930 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/354035/stat : 354035 (timeout) S 352930 354035 350689 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64183425 8867840 244 134679101440 94470197530624 94470197565640 140726950181920 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94470199663056 94470199665188 94470202761216 140726950183924 140726950184093 140726950184093 140726950191079 0
/proc/354035/statm: 2165 244 220 9 0 87 0
[pid=354036] ppid=354035 vsize=42284 memory=28456 CPUtime=57.83 cores=4,6
/proc/354036/stat : 354036 (Exact) R 354035 354035 350689 0 -1 4194304 19144 0 0 0 5780 3 0 0 20 0 1 0 64183426 43298816 7114 134679101440 4194304 7210733 140736070400688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 30613504 140736070403088 140736070403238 140736070403238 140736070410224 0
/proc/354036/statm: 10571 7114 748 737 0 9659 0
Current children cumulated CPU time: 1851.63 s
Current children cumulated vsize: 60876 KiB
Current children cumulated memory: 32200 KiB

[startup+1862.4 s]
/proc/loadavg: 4.10 4.12 4.13 5/265 354047
/proc/meminfo: memFree=124602264/131524600 swapFree=131071996/131071996
[pid=352930] ppid=352927 vsize=9932 memory=2768 CPUtime=1793.8 cores=4,6
/proc/352930/stat : 352930 (Hybrid-LSMabSP+) S 352927 352930 350689 0 -1 4194304 271 73288 0 0 0 0 176648 2732 20 0 1 0 64003623 10170368 692 134679101440 94809488404480 94809489483800 140728364699168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94809491582256 94809491629444 94809508491264 140728364704744 140728364704890 140728364704890 140728364711905 0
/proc/352930/statm: 2483 692 602 264 0 134 0
[pid=354035] ppid=352930 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/354035/stat : 354035 (timeout) S 352930 354035 350689 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64183425 8867840 244 134679101440 94470197530624 94470197565640 140726950181920 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94470199663056 94470199665188 94470202761216 140726950183924 140726950184093 140726950184093 140726950191079 0
/proc/354035/statm: 2165 244 220 9 0 87 0
[pid=354036] ppid=354035 vsize=42496 memory=28544 CPUtime=64.21 cores=4,6
/proc/354036/stat : 354036 (Exact) R 354035 354035 350689 0 -1 4194304 19715 0 0 0 6418 3 0 0 20 0 1 0 64183426 43515904 7136 134679101440 4194304 7210733 140736070400688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 30613504 140736070403088 140736070403238 140736070403238 140736070410224 0
/proc/354036/statm: 10624 7136 748 737 0 9712 0
Current children cumulated CPU time: 1858.01 s
Current children cumulated vsize: 61088 KiB
Current children cumulated memory: 32288 KiB

[startup+1868.8 s]
/proc/loadavg: 4.09 4.12 4.13 5/265 354049
/proc/meminfo: memFree=124399644/131524600 swapFree=131071996/131071996
[pid=352930] ppid=352927 vsize=9932 memory=2768 CPUtime=1793.8 cores=4,6
/proc/352930/stat : 352930 (Hybrid-LSMabSP+) S 352927 352930 350689 0 -1 4194304 271 73288 0 0 0 0 176648 2732 20 0 1 0 64003623 10170368 692 134679101440 94809488404480 94809489483800 140728364699168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94809491582256 94809491629444 94809508491264 140728364704744 140728364704890 140728364704890 140728364711905 0
/proc/352930/statm: 2483 692 602 264 0 134 0
[pid=354035] ppid=352930 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/354035/stat : 354035 (timeout) S 352930 354035 350689 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64183425 8867840 244 134679101440 94470197530624 94470197565640 140726950181920 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94470199663056 94470199665188 94470202761216 140726950183924 140726950184093 140726950184093 140726950191079 0
/proc/354035/statm: 2165 244 220 9 0 87 0
[pid=354036] ppid=354035 vsize=42616 memory=30860 CPUtime=70.59 cores=4,6
/proc/354036/stat : 354036 (Exact) R 354035 354035 350689 0 -1 4194304 21052 0 0 0 7056 3 0 0 20 0 1 0 64183426 43638784 7715 134679101440 4194304 7210733 140736070400688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 30613504 140736070403088 140736070403238 140736070403238 140736070410224 0
/proc/354036/statm: 10654 7715 748 737 0 9742 0
Current children cumulated CPU time: 1864.39 s
Current children cumulated vsize: 61208 KiB
Current children cumulated memory: 34604 KiB

[startup+1870.4 s]
/proc/loadavg: 4.09 4.12 4.13 5/265 354049
/proc/meminfo: memFree=124392168/131524600 swapFree=131071996/131071996
[pid=352930] ppid=352927 vsize=9932 memory=2768 CPUtime=1793.8 cores=4,6
/proc/352930/stat : 352930 (Hybrid-LSMabSP+) S 352927 352930 350689 0 -1 4194304 271 73288 0 0 0 0 176648 2732 20 0 1 0 64003623 10170368 692 134679101440 94809488404480 94809489483800 140728364699168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94809491582256 94809491629444 94809508491264 140728364704744 140728364704890 140728364704890 140728364711905 0
/proc/352930/statm: 2483 692 602 264 0 134 0
[pid=354035] ppid=352930 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/354035/stat : 354035 (timeout) S 352930 354035 350689 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64183425 8867840 244 134679101440 94470197530624 94470197565640 140726950181920 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94470199663056 94470199665188 94470202761216 140726950183924 140726950184093 140726950184093 140726950191079 0
/proc/354035/statm: 2165 244 220 9 0 87 0
[pid=354036] ppid=354035 vsize=42616 memory=30860 CPUtime=72.19 cores=4,6
/proc/354036/stat : 354036 (Exact) R 354035 354035 350689 0 -1 4194304 21052 0 0 0 7216 3 0 0 20 0 1 0 64183426 43638784 7715 134679101440 4194304 7210733 140736070400688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 30613504 140736070403088 140736070403238 140736070403238 140736070410224 0
/proc/354036/statm: 10654 7715 748 737 0 9742 0
Current children cumulated CPU time: 1865.99 s
Current children cumulated vsize: 61208 KiB
Current children cumulated memory: 34604 KiB

[startup+1872 s]*
/proc/loadavg: 4.09 4.12 4.13 5/265 354049
/proc/meminfo: memFree=124390272/131524600 swapFree=131071996/131071996
[pid=352930] ppid=352927 vsize=9932 memory=2768 CPUtime=1793.8 cores=4,6
/proc/352930/stat : 352930 (Hybrid-LSMabSP+) S 352927 352930 350689 0 -1 4194304 271 73288 0 0 0 0 176648 2732 20 0 1 0 64003623 10170368 692 134679101440 94809488404480 94809489483800 140728364699168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94809491582256 94809491629444 94809508491264 140728364704744 140728364704890 140728364704890 140728364711905 0
/proc/352930/statm: 2483 692 602 264 0 134 0
[pid=354035] ppid=352930 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/354035/stat : 354035 (timeout) S 352930 354035 350689 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64183425 8867840 244 134679101440 94470197530624 94470197565640 140726950181920 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94470199663056 94470199665188 94470202761216 140726950183924 140726950184093 140726950184093 140726950191079 0
/proc/354035/statm: 2165 244 220 9 0 87 0
[pid=354036] ppid=354035 vsize=42732 memory=30976 CPUtime=73.79 cores=4,6
/proc/354036/stat : 354036 (Exact) R 354035 354035 350689 0 -1 4194304 21802 0 0 0 7376 3 0 0 20 0 1 0 64183426 43757568 7744 134679101440 4194304 7210733 140736070400688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 30613504 140736070403088 140736070403238 140736070403238 140736070410224 0
/proc/354036/statm: 10683 7744 748 737 0 9771 0
Current children cumulated CPU time: 1867.59 s
Current children cumulated vsize: 61324 KiB
Current children cumulated memory: 34720 KiB

[startup+1872.4 s]
/proc/loadavg: 4.09 4.12 4.13 5/265 354049
/proc/meminfo: memFree=124390272/131524600 swapFree=131071996/131071996
[pid=352930] ppid=352927 vsize=9932 memory=2768 CPUtime=1793.8 cores=4,6
/proc/352930/stat : 352930 (Hybrid-LSMabSP+) S 352927 352930 350689 0 -1 4194304 271 73288 0 0 0 0 176648 2732 20 0 1 0 64003623 10170368 692 134679101440 94809488404480 94809489483800 140728364699168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94809491582256 94809491629444 94809508491264 140728364704744 140728364704890 140728364704890 140728364711905 0
/proc/352930/statm: 2483 692 602 264 0 134 0
[pid=354035] ppid=352930 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/354035/stat : 354035 (timeout) S 352930 354035 350689 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64183425 8867840 244 134679101440 94470197530624 94470197565640 140726950181920 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94470199663056 94470199665188 94470202761216 140726950183924 140726950184093 140726950184093 140726950191079 0
/proc/354035/statm: 2165 244 220 9 0 87 0
[pid=354036] ppid=354035 vsize=42732 memory=30976 CPUtime=74.18 cores=4,6
/proc/354036/stat : 354036 (Exact) R 354035 354035 350689 0 -1 4194304 21802 0 0 0 7415 3 0 0 20 0 1 0 64183426 43757568 7744 134679101440 4194304 7210733 140736070400688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 30613504 140736070403088 140736070403238 140736070403238 140736070410224 0
/proc/354036/statm: 10683 7744 748 737 0 9771 0
Current children cumulated CPU time: 1867.98 s
Current children cumulated vsize: 61324 KiB
Current children cumulated memory: 34720 KiB

[startup+1872.8 s]
/proc/loadavg: 4.09 4.12 4.13 5/265 354049
/proc/meminfo: memFree=124390272/131524600 swapFree=131071996/131071996
[pid=352930] ppid=352927 vsize=9932 memory=2768 CPUtime=1793.8 cores=4,6
/proc/352930/stat : 352930 (Hybrid-LSMabSP+) S 352927 352930 350689 0 -1 4194304 271 73288 0 0 0 0 176648 2732 20 0 1 0 64003623 10170368 692 134679101440 94809488404480 94809489483800 140728364699168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94809491582256 94809491629444 94809508491264 140728364704744 140728364704890 140728364704890 140728364711905 0
/proc/352930/statm: 2483 692 602 264 0 134 0
[pid=354035] ppid=352930 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/354035/stat : 354035 (timeout) S 352930 354035 350689 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64183425 8867840 244 134679101440 94470197530624 94470197565640 140726950181920 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94470199663056 94470199665188 94470202761216 140726950183924 140726950184093 140726950184093 140726950191079 0
/proc/354035/statm: 2165 244 220 9 0 87 0
[pid=354036] ppid=354035 vsize=42732 memory=30976 CPUtime=74.58 cores=4,6
/proc/354036/stat : 354036 (Exact) R 354035 354035 350689 0 -1 4194304 21802 0 0 0 7455 3 0 0 20 0 1 0 64183426 43757568 7744 134679101440 4194304 7210733 140736070400688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 30613504 140736070403088 140736070403238 140736070403238 140736070410224 0
/proc/354036/statm: 10683 7744 748 737 0 9771 0
Current children cumulated CPU time: 1868.38 s
Current children cumulated vsize: 61324 KiB
Current children cumulated memory: 34720 KiB

[startup+1872.9 s]
/proc/loadavg: 4.09 4.12 4.13 5/265 354049
/proc/meminfo: memFree=124390272/131524600 swapFree=131071996/131071996
[pid=352930] ppid=352927 vsize=9932 memory=2768 CPUtime=1793.8 cores=4,6
/proc/352930/stat : 352930 (Hybrid-LSMabSP+) S 352927 352930 350689 0 -1 4194304 271 73288 0 0 0 0 176648 2732 20 0 1 0 64003623 10170368 692 134679101440 94809488404480 94809489483800 140728364699168 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94809491582256 94809491629444 94809508491264 140728364704744 140728364704890 140728364704890 140728364711905 0
/proc/352930/statm: 2483 692 602 264 0 134 0
[pid=354035] ppid=352930 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/354035/stat : 354035 (timeout) S 352930 354035 350689 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64183425 8867840 244 134679101440 94470197530624 94470197565640 140726950181920 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94470199663056 94470199665188 94470202761216 140726950183924 140726950184093 140726950184093 140726950191079 0
/proc/354035/statm: 2165 244 220 9 0 87 0
[pid=354036] ppid=354035 vsize=42732 memory=30976 CPUtime=74.68 cores=4,6
/proc/354036/stat : 354036 (Exact) R 354035 354035 350689 0 -1 4194304 21802 0 0 0 7465 3 0 0 20 0 1 0 64183426 43757568 7744 134679101440 4194304 7210733 140736070400688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 30613504 140736070403088 140736070403238 140736070403238 140736070410224 0
/proc/354036/statm: 10683 7744 748 737 0 9771 0
Current children cumulated CPU time: 1868.48 s
Current children cumulated vsize: 61324 KiB
Current children cumulated memory: 34720 KiB

Child status: 0

Real time (s): 1872.93
CPU time (s): 1868.52
CPU user time (s): 1841.16
CPU system time (s): 27.3623
CPU usage (%): 99.7646
Max. virtual memory (cumulated for all children) (KiB): 369824
Max. memory (cumulated for all children) (KiB): 311192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1841.16
system time used= 27.3623
maximum resident set size= 307428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96594
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73
involuntary context switches= 598


# summary of solver processes directly reported to runsolver:
#   pid: 352930
#   total CPU time (s): 1868.52
#   total CPU user time (s): 1841.16
#   total CPU system time (s): 27.3623

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.17169 second user time and 8.97502 second system time

The end