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: 64096 MiB (62798 MiB free)
  memory of node 1: 64473 MiB (63428 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457960-1722994011/watcher-4457960-1722994011 -o /tmp/evaluation-result-4457960-1722994011/solver-4457960-1722994011 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722994011-353139 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4457960-1722994011.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
Current StackSize limit: 8192 KiB

solver pid=353191, runsolver pid=353184

[startup+0.100661 s]*
/proc/loadavg: 0.83 1.03 1.30 6/249 353216
/proc/meminfo: memFree=129227344/131655788 swapFree=131071216/131071996
[pid=353191] ppid=353184 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/353191/stat : 353191 (Hybrid-LSMabP+E) S 353184 353191 353128 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 65771768 10170368 670 134679101440 94684216274944 94684217354264 140727744059728 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94684219452720 94684219499908 94684253028352 140727744066542 140727744066687 140727744066687 140727744073698 0
/proc/353191/statm: 2483 670 592 264 0 134 0
[pid=353197] ppid=353191 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/353197/stat : 353197 (timeout) S 353191 353197 353128 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65771769 8867840 244 134679101440 94409485430784 94409485465800 140732178507808 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94409487563216 94409487565348 94409517047808 140732178510887 140732178511009 140732178511009 140732178517991 0
/proc/353197/statm: 2165 244 220 9 0 87 0
[pid=353198] ppid=353197 vsize=20820 memory=8516 CPUtime=0.1 cores=4,6
/proc/353198/stat : 353198 (LS-MabP) R 353197 353197 353128 0 -1 4194304 656 0 0 0 10 0 0 0 20 0 1 0 65771769 21319680 2129 134679101440 4194304 15467897 140732693875712 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34074624 140732693877819 140732693877928 140732693877928 140732693884910 0
/proc/353198/statm: 5205 2129 1105 2753 0 1858 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39412 KiB
Current children cumulated memory: 12172 KiB

[startup+0.214703 s]*
/proc/loadavg: 0.83 1.03 1.30 6/249 353216
/proc/meminfo: memFree=129220708/131655788 swapFree=131071216/131071996
[pid=353191] ppid=353184 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/353191/stat : 353191 (Hybrid-LSMabP+E) S 353184 353191 353128 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 65771768 10170368 670 134679101440 94684216274944 94684217354264 140727744059728 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94684219452720 94684219499908 94684253028352 140727744066542 140727744066687 140727744066687 140727744073698 0
/proc/353191/statm: 2483 670 592 264 0 134 0
[pid=353197] ppid=353191 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/353197/stat : 353197 (timeout) S 353191 353197 353128 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65771769 8867840 244 134679101440 94409485430784 94409485465800 140732178507808 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94409487563216 94409487565348 94409517047808 140732178510887 140732178511009 140732178511009 140732178517991 0
/proc/353197/statm: 2165 244 220 9 0 87 0
[pid=353198] ppid=353197 vsize=21964 memory=9596 CPUtime=0.21 cores=4,6
/proc/353198/stat : 353198 (LS-MabP) R 353197 353197 353128 0 -1 4194304 963 0 0 0 21 0 0 0 20 0 1 0 65771769 22491136 2399 134679101440 4194304 15467897 140732693875712 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34074624 140732693877819 140732693877928 140732693877928 140732693884910 0
/proc/353198/statm: 5491 2399 1153 2753 0 2144 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40556 KiB
Current children cumulated memory: 13252 KiB

[startup+0.313438 s]*
/proc/loadavg: 0.83 1.03 1.30 6/249 353216
/proc/meminfo: memFree=129210376/131655788 swapFree=131071216/131071996
[pid=353191] ppid=353184 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/353191/stat : 353191 (Hybrid-LSMabP+E) S 353184 353191 353128 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 65771768 10170368 670 134679101440 94684216274944 94684217354264 140727744059728 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94684219452720 94684219499908 94684253028352 140727744066542 140727744066687 140727744066687 140727744073698 0
/proc/353191/statm: 2483 670 592 264 0 134 0
[pid=353197] ppid=353191 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/353197/stat : 353197 (timeout) S 353191 353197 353128 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65771769 8867840 244 134679101440 94409485430784 94409485465800 140732178507808 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94409487563216 94409487565348 94409517047808 140732178510887 140732178511009 140732178511009 140732178517991 0
/proc/353197/statm: 2165 244 220 9 0 87 0
[pid=353198] ppid=353197 vsize=22168 memory=10148 CPUtime=0.31 cores=4,6
/proc/353198/stat : 353198 (LS-MabP) R 353197 353197 353128 0 -1 4194304 1222 0 0 0 29 2 0 0 20 0 1 0 65771769 22700032 2537 134679101440 4194304 15467897 140732693875712 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34074624 140732693877819 140732693877928 140732693877928 140732693884910 0
/proc/353198/statm: 5542 2537 1169 2753 0 2195 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40760 KiB
Current children cumulated memory: 13804 KiB

[startup+0.700443 s]
/proc/loadavg: 0.83 1.03 1.30 6/249 353216
/proc/meminfo: memFree=129208388/131655788 swapFree=131071216/131071996
[pid=353191] ppid=353184 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/353191/stat : 353191 (Hybrid-LSMabP+E) S 353184 353191 353128 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 65771768 10170368 670 134679101440 94684216274944 94684217354264 140727744059728 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94684219452720 94684219499908 94684253028352 140727744066542 140727744066687 140727744066687 140727744073698 0
/proc/353191/statm: 2483 670 592 264 0 134 0
[pid=353197] ppid=353191 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/353197/stat : 353197 (timeout) S 353191 353197 353128 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65771769 8867840 244 134679101440 94409485430784 94409485465800 140732178507808 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94409487563216 94409487565348 94409517047808 140732178510887 140732178511009 140732178511009 140732178517991 0
/proc/353197/statm: 2165 244 220 9 0 87 0
[pid=353198] ppid=353197 vsize=22168 memory=10148 CPUtime=0.68 cores=4,6
/proc/353198/stat : 353198 (LS-MabP) R 353197 353197 353128 0 -1 4194304 1223 0 0 0 59 9 0 0 20 0 1 0 65771769 22700032 2537 134679101440 4194304 15467897 140732693875712 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34074624 140732693877819 140732693877928 140732693877928 140732693884910 0
/proc/353198/statm: 5542 2537 1169 2753 0 2195 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40760 KiB
Current children cumulated memory: 13804 KiB

[startup+1.50044 s]
/proc/loadavg: 0.83 1.03 1.30 6/249 353216
/proc/meminfo: memFree=129207996/131655788 swapFree=131071216/131071996
[pid=353191] ppid=353184 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/353191/stat : 353191 (Hybrid-LSMabP+E) S 353184 353191 353128 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 65771768 10170368 670 134679101440 94684216274944 94684217354264 140727744059728 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94684219452720 94684219499908 94684253028352 140727744066542 140727744066687 140727744066687 140727744073698 0
/proc/353191/statm: 2483 670 592 264 0 134 0
[pid=353197] ppid=353191 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/353197/stat : 353197 (timeout) S 353191 353197 353128 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65771769 8867840 244 134679101440 94409485430784 94409485465800 140732178507808 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94409487563216 94409487565348 94409517047808 140732178510887 140732178511009 140732178511009 140732178517991 0
/proc/353197/statm: 2165 244 220 9 0 87 0
[pid=353198] ppid=353197 vsize=22168 memory=10148 CPUtime=1.48 cores=4,6
/proc/353198/stat : 353198 (LS-MabP) R 353197 353197 353128 0 -1 4194304 1223 0 0 0 124 24 0 0 20 0 1 0 65771769 22700032 2537 134679101440 4194304 15467897 140732693875712 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34074624 140732693877819 140732693877928 140732693877928 140732693884910 0
/proc/353198/statm: 5542 2537 1169 2753 0 2195 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40760 KiB
Current children cumulated memory: 13804 KiB

[startup+3.11322 s]
/proc/loadavg: 0.83 1.03 1.30 6/249 353216
/proc/meminfo: memFree=129207580/131655788 swapFree=131071216/131071996
[pid=353191] ppid=353184 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/353191/stat : 353191 (Hybrid-LSMabP+E) S 353184 353191 353128 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 65771768 10170368 670 134679101440 94684216274944 94684217354264 140727744059728 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94684219452720 94684219499908 94684253028352 140727744066542 140727744066687 140727744066687 140727744073698 0
/proc/353191/statm: 2483 670 592 264 0 134 0
[pid=353197] ppid=353191 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/353197/stat : 353197 (timeout) S 353191 353197 353128 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65771769 8867840 244 134679101440 94409485430784 94409485465800 140732178507808 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94409487563216 94409487565348 94409517047808 140732178510887 140732178511009 140732178511009 140732178517991 0
/proc/353197/statm: 2165 244 220 9 0 87 0
[pid=353198] ppid=353197 vsize=22168 memory=10148 CPUtime=3.09 cores=4,6
/proc/353198/stat : 353198 (LS-MabP) R 353197 353197 353128 0 -1 4194304 1223 0 0 0 256 53 0 0 20 0 1 0 65771769 22700032 2537 134679101440 4194304 15467897 140732693875712 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34074624 140732693877819 140732693877928 140732693877928 140732693884910 0
/proc/353198/statm: 5542 2537 1169 2753 0 2195 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40760 KiB
Current children cumulated memory: 13804 KiB

[startup+6.30041 s]
/proc/loadavg: 1.08 1.08 1.32 6/249 353216
/proc/meminfo: memFree=129207216/131655788 swapFree=131071216/131071996
[pid=353191] ppid=353184 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/353191/stat : 353191 (Hybrid-LSMabP+E) S 353184 353191 353128 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 65771768 10170368 670 134679101440 94684216274944 94684217354264 140727744059728 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94684219452720 94684219499908 94684253028352 140727744066542 140727744066687 140727744066687 140727744073698 0
/proc/353191/statm: 2483 670 592 264 0 134 0
[pid=353197] ppid=353191 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/353197/stat : 353197 (timeout) S 353191 353197 353128 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65771769 8867840 244 134679101440 94409485430784 94409485465800 140732178507808 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94409487563216 94409487565348 94409517047808 140732178510887 140732178511009 140732178511009 140732178517991 0
/proc/353197/statm: 2165 244 220 9 0 87 0
[pid=353198] ppid=353197 vsize=22168 memory=10148 CPUtime=6.27 cores=4,6
/proc/353198/stat : 353198 (LS-MabP) R 353197 353197 353128 0 -1 4194304 1223 0 0 0 516 111 0 0 20 0 1 0 65771769 22700032 2537 134679101440 4194304 15467897 140732693875712 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34074624 140732693877819 140732693877928 140732693877928 140732693884910 0
/proc/353198/statm: 5542 2537 1169 2753 0 2195 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40760 KiB
Current children cumulated memory: 13804 KiB

[startup+12.7004 s]
/proc/loadavg: 1.32 1.13 1.33 6/249 353218
/proc/meminfo: memFree=129206908/131655788 swapFree=131071216/131071996
[pid=353191] ppid=353184 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/353191/stat : 353191 (Hybrid-LSMabP+E) S 353184 353191 353128 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 65771768 10170368 670 134679101440 94684216274944 94684217354264 140727744059728 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94684219452720 94684219499908 94684253028352 140727744066542 140727744066687 140727744066687 140727744073698 0
/proc/353191/statm: 2483 670 592 264 0 134 0
[pid=353197] ppid=353191 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/353197/stat : 353197 (timeout) S 353191 353197 353128 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65771769 8867840 244 134679101440 94409485430784 94409485465800 140732178507808 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94409487563216 94409487565348 94409517047808 140732178510887 140732178511009 140732178511009 140732178517991 0
/proc/353197/statm: 2165 244 220 9 0 87 0
[pid=353198] ppid=353197 vsize=22168 memory=10148 CPUtime=12.66 cores=4,6
/proc/353198/stat : 353198 (LS-MabP) R 353197 353197 353128 0 -1 4194304 1223 0 0 0 1033 233 0 0 20 0 1 0 65771769 22700032 2537 134679101440 4194304 15467897 140732693875712 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34074624 140732693877819 140732693877928 140732693877928 140732693884910 0
/proc/353198/statm: 5542 2537 1169 2753 0 2195 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 40760 KiB
Current children cumulated memory: 13804 KiB

[startup+25.5004 s]
/proc/loadavg: 1.99 1.29 1.38 6/249 353219
/proc/meminfo: memFree=129206848/131655788 swapFree=131071216/131071996
[pid=353191] ppid=353184 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/353191/stat : 353191 (Hybrid-LSMabP+E) S 353184 353191 353128 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 65771768 10170368 670 134679101440 94684216274944 94684217354264 140727744059728 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94684219452720 94684219499908 94684253028352 140727744066542 140727744066687 140727744066687 140727744073698 0
/proc/353191/statm: 2483 670 592 264 0 134 0
[pid=353197] ppid=353191 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/353197/stat : 353197 (timeout) S 353191 353197 353128 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65771769 8867840 244 134679101440 94409485430784 94409485465800 140732178507808 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94409487563216 94409487565348 94409517047808 140732178510887 140732178511009 140732178511009 140732178517991 0
/proc/353197/statm: 2165 244 220 9 0 87 0
[pid=353198] ppid=353197 vsize=22168 memory=10148 CPUtime=25.43 cores=4,6
/proc/353198/stat : 353198 (LS-MabP) R 353197 353197 353128 0 -1 4194304 1223 0 0 0 2054 489 0 0 20 0 1 0 65771769 22700032 2537 134679101440 4194304 15467897 140732693875712 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34074624 140732693877819 140732693877928 140732693877928 140732693884910 0
/proc/353198/statm: 5542 2537 1169 2753 0 2195 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 40760 KiB
Current children cumulated memory: 13804 KiB

[startup+51.1126 s]
/proc/loadavg: 2.67 1.51 1.45 6/249 353224
/proc/meminfo: memFree=129206084/131655788 swapFree=131071216/131071996
[pid=353191] ppid=353184 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/353191/stat : 353191 (Hybrid-LSMabP+E) S 353184 353191 353128 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 65771768 10170368 670 134679101440 94684216274944 94684217354264 140727744059728 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94684219452720 94684219499908 94684253028352 140727744066542 140727744066687 140727744066687 140727744073698 0
/proc/353191/statm: 2483 670 592 264 0 134 0
[pid=353197] ppid=353191 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/353197/stat : 353197 (timeout) S 353191 353197 353128 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65771769 8867840 244 134679101440 94409485430784 94409485465800 140732178507808 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94409487563216 94409487565348 94409517047808 140732178510887 140732178511009 140732178511009 140732178517991 0
/proc/353197/statm: 2165 244 220 9 0 87 0
[pid=353198] ppid=353197 vsize=22168 memory=10148 CPUtime=51 cores=4,6
/proc/353198/stat : 353198 (LS-MabP) R 353197 353197 353128 0 -1 4194304 1223 0 0 0 4103 997 0 0 20 0 1 0 65771769 22700032 2537 134679101440 4194304 15467897 140732693875712 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34074624 140732693877819 140732693877928 140732693877928 140732693884910 0
/proc/353198/statm: 5542 2537 1169 2753 0 2195 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 40760 KiB
Current children cumulated memory: 13804 KiB

[startup+102.3 s]
/proc/loadavg: 3.47 1.91 1.59 6/250 353401
/proc/meminfo: memFree=129205228/131655788 swapFree=131071216/131071996
[pid=353191] ppid=353184 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/353191/stat : 353191 (Hybrid-LSMabP+E) S 353184 353191 353128 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 65771768 10170368 670 134679101440 94684216274944 94684217354264 140727744059728 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94684219452720 94684219499908 94684253028352 140727744066542 140727744066687 140727744066687 140727744073698 0

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

/proc/354152/statm: 80698 70599 788 745 0 79763 0
Current children cumulated CPU time: 2017.91 s
Current children cumulated vsize: 341384 KiB
Current children cumulated memory: 286140 KiB

[startup+2082.3 s]
/proc/loadavg: 4.09 4.14 3.95 5/249 354449
/proc/meminfo: memFree=128411148/131655788 swapFree=131071216/131071996
[pid=353191] ppid=353184 vsize=9932 memory=2724 CPUtime=1794.3 cores=4,6
/proc/353191/stat : 353191 (Hybrid-LSMabP+E) S 353184 353191 353128 0 -1 4194304 266 1902 0 0 0 0 143959 35471 20 0 1 0 65771768 10170368 681 134679101440 94684216274944 94684217354264 140727744059728 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94684219452720 94684219499908 94684253028352 140727744066542 140727744066687 140727744066687 140727744073698 0
/proc/353191/statm: 2483 681 592 264 0 134 0
[pid=354151] ppid=353191 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/354151/stat : 354151 (timeout) S 353191 354151 353128 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65951569 8867840 255 134679101440 94701413048320 94701413083336 140721156653088 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94701415180752 94701415182884 94701422096384 140721156658168 140721156658337 140721156658337 140721156665319 0
/proc/354151/statm: 2165 255 230 9 0 87 0
[pid=354152] ppid=354151 vsize=326568 memory=285952 CPUtime=283.47 cores=4,6
/proc/354152/stat : 354152 (Exact) R 354151 354151 353128 0 -1 4194304 36663 0 0 0 28333 14 0 0 20 0 1 0 65951570 334405632 71488 134679101440 4194304 7243121 140734394609200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 30064640 140734394610708 140734394610858 140734394610858 140734394617840 0
/proc/354152/statm: 81642 71488 788 745 0 80707 0
Current children cumulated CPU time: 2077.77 s
Current children cumulated vsize: 345160 KiB
Current children cumulated memory: 289696 KiB

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

# cumulated CPU time of all completed processes:  user=1775.76 s, system=354.884 s

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

[startup+2099.2 s]
/proc/loadavg: 4.14 4.15 3.96 5/249 354451
/proc/meminfo: memFree=128398592/131655788 swapFree=131071216/131071996
[pid=353191] ppid=353184 vsize=9932 memory=2724 CPUtime=1794.3 cores=4,6
/proc/353191/stat : 353191 (Hybrid-LSMabP+E) S 353184 353191 353128 0 -1 4194304 266 1902 0 0 0 0 143959 35471 20 0 1 0 65771768 10170368 681 134679101440 94684216274944 94684217354264 140727744059728 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94684219452720 94684219499908 94684253028352 140727744066542 140727744066687 140727744066687 140727744073698 0
/proc/353191/statm: 2483 681 592 264 0 134 0
[pid=354151] ppid=353191 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/354151/stat : 354151 (timeout) S 353191 354151 353128 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65951569 8867840 255 134679101440 94701413048320 94701413083336 140721156653088 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94701415180752 94701415182884 94701422096384 140721156658168 140721156658337 140721156658337 140721156665319 0
/proc/354151/statm: 2165 255 230 9 0 87 0
[pid=354152] ppid=354151 vsize=328780 memory=288180 CPUtime=300.33 cores=4,6
/proc/354152/stat : 354152 (Exact) R 354151 354151 353128 0 -1 4194304 37321 0 0 0 30019 14 0 0 20 0 1 0 65951570 336670720 72045 134679101440 4194304 7243121 140734394609200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 30064640 140734394610708 140734394610858 140734394610858 140734394617840 0
/proc/354152/statm: 82195 72045 788 745 0 81260 0
Current children cumulated CPU time: 2094.63 s
Current children cumulated vsize: 347372 KiB
Current children cumulated memory: 291924 KiB

[startup+2112 s]*
/proc/loadavg: 4.11 4.14 3.96 5/249 354455
/proc/meminfo: memFree=128384360/131655788 swapFree=131071216/131071996
[pid=353191] ppid=353184 vsize=9932 memory=2724 CPUtime=1794.3 cores=4,6
/proc/353191/stat : 353191 (Hybrid-LSMabP+E) S 353184 353191 353128 0 -1 4194304 266 1902 0 0 0 0 143959 35471 20 0 1 0 65771768 10170368 681 134679101440 94684216274944 94684217354264 140727744059728 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94684219452720 94684219499908 94684253028352 140727744066542 140727744066687 140727744066687 140727744073698 0
/proc/353191/statm: 2483 681 592 264 0 134 0
[pid=354151] ppid=353191 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/354151/stat : 354151 (timeout) S 353191 354151 353128 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65951569 8867840 255 134679101440 94701413048320 94701413083336 140721156653088 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94701415180752 94701415182884 94701422096384 140721156658168 140721156658337 140721156658337 140721156665319 0
/proc/354151/statm: 2165 255 230 9 0 87 0
[pid=354152] ppid=354151 vsize=348452 memory=300308 CPUtime=313.12 cores=4,6
/proc/354152/stat : 354152 (Exact) R 354151 354151 353128 0 -1 4194304 40352 0 0 0 31297 15 0 0 20 0 1 0 65951570 356814848 75077 134679101440 4194304 7243121 140734394609200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 30064640 140734394610708 140734394610858 140734394610858 140734394617840 0
/proc/354152/statm: 87113 75077 788 745 0 86178 0
Current children cumulated CPU time: 2107.42 s
Current children cumulated vsize: 367044 KiB
Current children cumulated memory: 304052 KiB

[startup+2124.8 s]
/proc/loadavg: 4.09 4.14 3.96 5/249 354456
/proc/meminfo: memFree=128375632/131655788 swapFree=131071216/131071996
[pid=353191] ppid=353184 vsize=9932 memory=2724 CPUtime=1794.3 cores=4,6
/proc/353191/stat : 353191 (Hybrid-LSMabP+E) S 353184 353191 353128 0 -1 4194304 266 1902 0 0 0 0 143959 35471 20 0 1 0 65771768 10170368 681 134679101440 94684216274944 94684217354264 140727744059728 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94684219452720 94684219499908 94684253028352 140727744066542 140727744066687 140727744066687 140727744073698 0
/proc/353191/statm: 2483 681 592 264 0 134 0
[pid=354151] ppid=353191 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/354151/stat : 354151 (timeout) S 353191 354151 353128 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65951569 8867840 255 134679101440 94701413048320 94701413083336 140721156653088 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94701415180752 94701415182884 94701422096384 140721156658168 140721156658337 140721156658337 140721156665319 0
/proc/354151/statm: 2165 255 230 9 0 87 0
[pid=354152] ppid=354151 vsize=350988 memory=302156 CPUtime=325.88 cores=4,6
/proc/354152/stat : 354152 (Exact) R 354151 354151 353128 0 -1 4194304 40806 0 0 0 32573 15 0 0 20 0 1 0 65951570 359411712 75539 134679101440 4194304 7243121 140734394609200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 30064640 140734394610708 140734394610858 140734394610858 140734394617840 0
/proc/354152/statm: 87747 75539 788 745 0 86812 0
Current children cumulated CPU time: 2120.18 s
Current children cumulated vsize: 369580 KiB
Current children cumulated memory: 305900 KiB

[startup+2131.2 s]
/proc/loadavg: 4.08 4.13 3.96 5/249 354458
/proc/meminfo: memFree=128371744/131655788 swapFree=131071216/131071996
[pid=353191] ppid=353184 vsize=9932 memory=2724 CPUtime=1794.3 cores=4,6
/proc/353191/stat : 353191 (Hybrid-LSMabP+E) S 353184 353191 353128 0 -1 4194304 266 1902 0 0 0 0 143959 35471 20 0 1 0 65771768 10170368 681 134679101440 94684216274944 94684217354264 140727744059728 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94684219452720 94684219499908 94684253028352 140727744066542 140727744066687 140727744066687 140727744073698 0
/proc/353191/statm: 2483 681 592 264 0 134 0
[pid=354151] ppid=353191 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/354151/stat : 354151 (timeout) S 353191 354151 353128 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65951569 8867840 255 134679101440 94701413048320 94701413083336 140721156653088 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94701415180752 94701415182884 94701422096384 140721156658168 140721156658337 140721156658337 140721156665319 0
/proc/354151/statm: 2165 255 230 9 0 87 0
[pid=354152] ppid=354151 vsize=352268 memory=303476 CPUtime=332.26 cores=4,6
/proc/354152/stat : 354152 (Exact) R 354151 354151 353128 0 -1 4194304 41116 0 0 0 33211 15 0 0 20 0 1 0 65951570 360722432 75869 134679101440 4194304 7243121 140734394609200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 30064640 140734394610708 140734394610858 140734394610858 140734394617840 0
/proc/354152/statm: 88067 75869 788 745 0 87132 0
Current children cumulated CPU time: 2126.56 s
Current children cumulated vsize: 370860 KiB
Current children cumulated memory: 307220 KiB

[startup+2132.8 s]
/proc/loadavg: 4.08 4.13 3.96 5/249 354458
/proc/meminfo: memFree=128370204/131655788 swapFree=131071216/131071996
[pid=353191] ppid=353184 vsize=9932 memory=2724 CPUtime=1794.3 cores=4,6
/proc/353191/stat : 353191 (Hybrid-LSMabP+E) S 353184 353191 353128 0 -1 4194304 266 1902 0 0 0 0 143959 35471 20 0 1 0 65771768 10170368 681 134679101440 94684216274944 94684217354264 140727744059728 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94684219452720 94684219499908 94684253028352 140727744066542 140727744066687 140727744066687 140727744073698 0
/proc/353191/statm: 2483 681 592 264 0 134 0
[pid=354151] ppid=353191 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/354151/stat : 354151 (timeout) S 353191 354151 353128 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65951569 8867840 255 134679101440 94701413048320 94701413083336 140721156653088 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94701415180752 94701415182884 94701422096384 140721156658168 140721156658337 140721156658337 140721156665319 0
/proc/354151/statm: 2165 255 230 9 0 87 0
[pid=354152] ppid=354151 vsize=352268 memory=303476 CPUtime=333.86 cores=4,6
/proc/354152/stat : 354152 (Exact) R 354151 354151 353128 0 -1 4194304 41116 0 0 0 33371 15 0 0 20 0 1 0 65951570 360722432 75869 134679101440 4194304 7243121 140734394609200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 30064640 140734394610708 140734394610858 140734394610858 140734394617840 0
/proc/354152/statm: 88067 75869 788 745 0 87132 0
Current children cumulated CPU time: 2128.16 s
Current children cumulated vsize: 370860 KiB
Current children cumulated memory: 307220 KiB

[startup+2134.4 s]
/proc/loadavg: 4.08 4.13 3.96 5/249 354458
/proc/meminfo: memFree=128368064/131655788 swapFree=131071216/131071996
[pid=353191] ppid=353184 vsize=9932 memory=2724 CPUtime=1794.3 cores=4,6
/proc/353191/stat : 353191 (Hybrid-LSMabP+E) S 353184 353191 353128 0 -1 4194304 266 1902 0 0 0 0 143959 35471 20 0 1 0 65771768 10170368 681 134679101440 94684216274944 94684217354264 140727744059728 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94684219452720 94684219499908 94684253028352 140727744066542 140727744066687 140727744066687 140727744073698 0
/proc/353191/statm: 2483 681 592 264 0 134 0
[pid=354151] ppid=353191 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/354151/stat : 354151 (timeout) S 353191 354151 353128 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65951569 8867840 255 134679101440 94701413048320 94701413083336 140721156653088 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94701415180752 94701415182884 94701422096384 140721156658168 140721156658337 140721156658337 140721156665319 0
/proc/354151/statm: 2165 255 230 9 0 87 0
[pid=354152] ppid=354151 vsize=352268 memory=303476 CPUtime=335.45 cores=4,6
/proc/354152/stat : 354152 (Exact) R 354151 354151 353128 0 -1 4194304 41116 0 0 0 33530 15 0 0 20 0 1 0 65951570 360722432 75869 134679101440 4194304 7243121 140734394609200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 30064640 140734394610708 140734394610858 140734394610858 140734394617840 0
/proc/354152/statm: 88067 75869 788 745 0 87132 0
Current children cumulated CPU time: 2129.75 s
Current children cumulated vsize: 370860 KiB
Current children cumulated memory: 307220 KiB

[startup+2134.8 s]
/proc/loadavg: 4.08 4.13 3.96 5/249 354458
/proc/meminfo: memFree=128368064/131655788 swapFree=131071216/131071996
[pid=353191] ppid=353184 vsize=9932 memory=2724 CPUtime=1794.3 cores=4,6
/proc/353191/stat : 353191 (Hybrid-LSMabP+E) S 353184 353191 353128 0 -1 4194304 266 1902 0 0 0 0 143959 35471 20 0 1 0 65771768 10170368 681 134679101440 94684216274944 94684217354264 140727744059728 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94684219452720 94684219499908 94684253028352 140727744066542 140727744066687 140727744066687 140727744073698 0
/proc/353191/statm: 2483 681 592 264 0 134 0
[pid=354151] ppid=353191 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/354151/stat : 354151 (timeout) S 353191 354151 353128 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65951569 8867840 255 134679101440 94701413048320 94701413083336 140721156653088 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94701415180752 94701415182884 94701422096384 140721156658168 140721156658337 140721156658337 140721156665319 0
/proc/354151/statm: 2165 255 230 9 0 87 0
[pid=354152] ppid=354151 vsize=352268 memory=303476 CPUtime=335.85 cores=4,6
/proc/354152/stat : 354152 (Exact) R 354151 354151 353128 0 -1 4194304 41120 0 0 0 33570 15 0 0 20 0 1 0 65951570 360722432 75869 134679101440 4194304 7243121 140734394609200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 30064640 140734394610708 140734394610858 140734394610858 140734394617840 0
/proc/354152/statm: 88067 75869 788 745 0 87132 0
Current children cumulated CPU time: 2130.15 s
Current children cumulated vsize: 370860 KiB
Current children cumulated memory: 307220 KiB

[startup+2135.2 s]
/proc/loadavg: 4.15 4.15 3.97 5/249 354458
/proc/meminfo: memFree=128366648/131655788 swapFree=131071216/131071996
[pid=353191] ppid=353184 vsize=9932 memory=2724 CPUtime=1794.3 cores=4,6
/proc/353191/stat : 353191 (Hybrid-LSMabP+E) S 353184 353191 353128 0 -1 4194304 266 1902 0 0 0 0 143959 35471 20 0 1 0 65771768 10170368 681 134679101440 94684216274944 94684217354264 140727744059728 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94684219452720 94684219499908 94684253028352 140727744066542 140727744066687 140727744066687 140727744073698 0
/proc/353191/statm: 2483 681 592 264 0 134 0
[pid=354151] ppid=353191 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/354151/stat : 354151 (timeout) S 353191 354151 353128 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65951569 8867840 255 134679101440 94701413048320 94701413083336 140721156653088 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94701415180752 94701415182884 94701422096384 140721156658168 140721156658337 140721156658337 140721156665319 0
/proc/354151/statm: 2165 255 230 9 0 87 0
[pid=354152] ppid=354151 vsize=352268 memory=303476 CPUtime=336.25 cores=4,6
/proc/354152/stat : 354152 (Exact) R 354151 354151 353128 0 -1 4194304 41121 0 0 0 33610 15 0 0 20 0 1 0 65951570 360722432 75869 134679101440 4194304 7243121 140734394609200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 30064640 140734394610708 140734394610858 140734394610858 140734394617840 0
/proc/354152/statm: 88067 75869 788 745 0 87132 0
Current children cumulated CPU time: 2130.55 s
Current children cumulated vsize: 370860 KiB
Current children cumulated memory: 307220 KiB

Child status: 0

Real time (s): 2135.28
CPU time (s): 2130.64
CPU user time (s): 1775.76
CPU system time (s): 354.884
CPU usage (%): 99.7828
Max. virtual memory (cumulated for all children) (KiB): 370860
Max. memory (cumulated for all children) (KiB): 307220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.76
system time used= 354.884
maximum resident set size= 303476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44523
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 93
involuntary context switches= 942


# summary of solver processes directly reported to runsolver:
#   pid: 353191
#   total CPU time (s): 2130.64
#   total CPU user time (s): 1775.76
#   total CPU system time (s): 354.884

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4401 second user time and 21.5695 second system time

The end