runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (10675 MiB free)
memory of node 1: 16384 MiB (12638 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299074-1532781618/watcher-4299074-1532781618 -o /tmp/evaluation-result-4299074-1532781618/solver-4299074-1532781618 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27429 --watchdog 2580 nacre_mini_release HOME/instance-4299074-1532781618.xml -ca -l100 -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28171, runsolver pid=28168
[startup+0.100197 s]*
/proc/loadavg: 2.00 2.01 1.99 3/189 28172
/proc/meminfo: memFree=23870024/32770624 swapFree=67108860/67108860
[pid=28171] ppid=28168 vsize=28252 memory=4784 CPUtime=0.1 cores=0,2,4,6
/proc/28171/stat : 28171 (nacre_mini_rele) R 28168 28171 27398 0 -1 4202496 1393 0 0 0 10 0 0 0 20 0 1 0 95725002 28930048 1196 33554432000 4194304 4933779 140726755564352 140726755561352 140112110042085 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 17768448 140726755566744 140726755566844 140726755566844 140726755569602 0
/proc/28171/statm: 7063 1196 617 181 0 680 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28252 KiB
Current children cumulated memory: 4784 KiB
[startup+0.209798 s]*
/proc/loadavg: 2.00 2.01 1.99 3/189 28172
/proc/meminfo: memFree=23868784/32770624 swapFree=67108860/67108860
[pid=28171] ppid=28168 vsize=29168 memory=5764 CPUtime=0.21 cores=0,2,4,6
/proc/28171/stat : 28171 (nacre_mini_rele) R 28168 28171 27398 0 -1 4202496 1604 0 0 0 21 0 0 0 20 0 1 0 95725002 29868032 1441 33554432000 4194304 4933779 140726755564352 140726755561352 140112110042085 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 17768448 140726755566744 140726755566844 140726755566844 140726755569602 0
/proc/28171/statm: 7292 1441 617 181 0 909 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29168 KiB
Current children cumulated memory: 5764 KiB
[startup+0.309154 s]*
/proc/loadavg: 2.00 2.01 1.99 3/189 28172
/proc/meminfo: memFree=23867296/32770624 swapFree=67108860/67108860
[pid=28171] ppid=28168 vsize=29832 memory=6288 CPUtime=0.31 cores=0,2,4,6
/proc/28171/stat : 28171 (nacre_mini_rele) R 28168 28171 27398 0 -1 4202496 1797 0 0 0 31 0 0 0 20 0 1 0 95725002 30547968 1572 33554432000 4194304 4933779 140726755564352 140726755561352 4357274 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 17768448 140726755566744 140726755566844 140726755566844 140726755569602 0
/proc/28171/statm: 7458 1572 617 181 0 1075 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29832 KiB
Current children cumulated memory: 6288 KiB
[startup+0.70034 s]
/proc/loadavg: 2.00 2.01 1.99 3/189 28172
/proc/meminfo: memFree=23864692/32770624 swapFree=67108860/67108860
[pid=28171] ppid=28168 vsize=32748 memory=9340 CPUtime=0.69 cores=0,2,4,6
/proc/28171/stat : 28171 (nacre_mini_rele) R 28168 28171 27398 0 -1 4202496 2500 0 0 0 69 0 0 0 20 0 1 0 95725002 33533952 2335 33554432000 4194304 4933779 140726755564352 140726755562120 140112110042085 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 17768448 140726755566744 140726755566844 140726755566844 140726755569602 0
/proc/28171/statm: 8187 2335 617 181 0 1804 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32748 KiB
Current children cumulated memory: 9340 KiB
[startup+1.50035 s]
/proc/loadavg: 2.00 2.01 1.99 3/189 28172
/proc/meminfo: memFree=23858480/32770624 swapFree=67108860/67108860
[pid=28171] ppid=28168 vsize=38364 memory=14756 CPUtime=1.49 cores=0,2,4,6
/proc/28171/stat : 28171 (nacre_mini_rele) R 28168 28171 27398 0 -1 4202496 3893 0 0 0 148 1 0 0 20 0 1 0 95725002 39284736 3689 33554432000 4194304 4933779 140726755564352 140726755562120 140112110039567 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 17768448 140726755566744 140726755566844 140726755566844 140726755569602 0
/proc/28171/statm: 9591 3689 617 181 0 3208 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 38364 KiB
Current children cumulated memory: 14756 KiB
[startup+3.10942 s]
/proc/loadavg: 2.00 2.01 1.99 3/189 28172
/proc/meminfo: memFree=23840408/32770624 swapFree=67108860/67108860
[pid=28171] ppid=28168 vsize=48100 memory=24700 CPUtime=3.1 cores=0,2,4,6
/proc/28171/stat : 28171 (nacre_mini_rele) R 28168 28171 27398 0 -1 4202496 10192 0 0 0 309 1 0 0 20 0 1 0 95725002 49254400 6175 33554432000 4194304 4933779 140726755564352 140726755562120 140112110042085 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 17768448 140726755566744 140726755566844 140726755566844 140726755569602 0
/proc/28171/statm: 12025 6175 617 181 0 5642 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 48100 KiB
Current children cumulated memory: 24700 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 1.99 3/189 28172
/proc/meminfo: memFree=23822344/32770624 swapFree=67108860/67108860
[pid=28171] ppid=28168 vsize=61204 memory=37520 CPUtime=6.29 cores=0,2,4,6
/proc/28171/stat : 28171 (nacre_mini_rele) R 28168 28171 27398 0 -1 4202496 20165 0 0 0 627 2 0 0 20 0 1 0 95725002 62672896 9380 33554432000 4194304 4933779 140726755564352 140726755562120 4437824 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 17768448 140726755566744 140726755566844 140726755566844 140726755569602 0
/proc/28171/statm: 15301 9380 617 181 0 8918 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 61204 KiB
Current children cumulated memory: 37520 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 1.99 3/189 28172
/proc/meminfo: memFree=23802008/32770624 swapFree=67108860/67108860
[pid=28171] ppid=28168 vsize=74684 memory=50584 CPUtime=12.69 cores=0,2,4,6
/proc/28171/stat : 28171 (nacre_mini_rele) R 28168 28171 27398 0 -1 4202496 32886 0 0 0 1266 3 0 0 20 0 1 0 95725002 76476416 12646 33554432000 4194304 4933779 140726755564352 140726755562056 4437389 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 17768448 140726755566744 140726755566844 140726755566844 140726755569602 0
/proc/28171/statm: 18671 12646 617 181 0 12288 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 74684 KiB
Current children cumulated memory: 50584 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 1.99 3/189 28172
/proc/meminfo: memFree=23774400/32770624 swapFree=67108860/67108860
[pid=28171] ppid=28168 vsize=91596 memory=67712 CPUtime=25.49 cores=0,2,4,6
/proc/28171/stat : 28171 (nacre_mini_rele) R 28168 28171 27398 0 -1 4202496 64577 0 0 0 2544 5 0 0 20 0 1 0 95725002 93794304 16928 33554432000 4194304 4933779 140726755564352 140726755561912 140112110052227 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 17768448 140726755566744 140726755566844 140726755566844 140726755569602 0
/proc/28171/statm: 22899 16928 617 181 0 16516 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 91596 KiB
Current children cumulated memory: 67712 KiB
[startup+51.1098 s]
/proc/loadavg: 2.00 2.01 1.99 3/189 28172
/proc/meminfo: memFree=23734892/32770624 swapFree=67108860/67108860
[pid=28171] ppid=28168 vsize=114048 memory=90080 CPUtime=51.08 cores=0,2,4,6
/proc/28171/stat : 28171 (nacre_mini_rele) R 28168 28171 27398 0 -1 4202496 84271 0 0 0 5101 7 0 0 20 0 1 0 95725002 116785152 22520 33554432000 4194304 4933779 140726755564352 140726755562056 4363764 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 17768448 140726755566744 140726755566844 140726755566844 140726755569602 0
/proc/28171/statm: 28512 22520 617 181 0 22129 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 114048 KiB
Current children cumulated memory: 90080 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/189 28173
/proc/meminfo: memFree=23687608/32770624 swapFree=67108860/67108860
[pid=28171] ppid=28168 vsize=144256 memory=120744 CPUtime=102.23 cores=0,2,4,6
/proc/28171/stat : 28171 (nacre_mini_rele) R 28168 28171 27398 0 -1 4202496 98767 0 0 0 10213 10 0 0 20 0 1 0 95725002 147718144 30186 33554432000 4194304 4933779 140726755564352 140726755562056 4437567 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 17768448 140726755566744 140726755566844 140726755566844 140726755569602 0
/proc/28171/statm: 36064 30186 617 181 0 29681 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 144256 KiB
Current children cumulated memory: 120744 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/189 28174
/proc/meminfo: memFree=23650664/32770624 swapFree=67108860/67108860
[pid=28171] ppid=28168 vsize=169484 memory=144656 CPUtime=162.22 cores=0,2,4,6
/proc/28171/stat : 28171 (nacre_mini_rele) R 28168 28171 27398 0 -1 4202496 108101 0 0 0 16210 12 0 0 20 0 1 0 95725002 173551616 36164 33554432000 4194304 4933779 140726755564352 140726755562056 4437558 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 17768448 140726755566744 140726755566844 140726755566844 140726755569602 0
/proc/28171/statm: 42371 36164 617 181 0 35988 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 169484 KiB
Current children cumulated memory: 144656 KiB
[startup+222.3 s]
/proc/loadavg: 1.96 2.00 1.98 3/189 28175
/proc/meminfo: memFree=23623796/32770624 swapFree=67108860/67108860
[pid=28171] ppid=28168 vsize=187516 memory=162724 CPUtime=222.23 cores=0,2,4,6
/proc/28171/stat : 28171 (nacre_mini_rele) R 28168 28171 27398 0 -1 4202496 121183 0 0 0 22208 15 0 0 20 0 1 0 95725002 192016384 40681 33554432000 4194304 4933779 140726755564352 140726755562056 4475939 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 17768448 140726755566744 140726755566844 140726755566844 140726755569602 0
/proc/28171/statm: 46879 40681 617 181 0 40496 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 187516 KiB
Current children cumulated memory: 162724 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.98 3/189 28176
/proc/meminfo: memFree=23599616/32770624 swapFree=67108860/67108860
[pid=28171] ppid=28168 vsize=202408 memory=177892 CPUtime=282.22 cores=0,2,4,6
/proc/28171/stat : 28171 (nacre_mini_rele) R 28168 28171 27398 0 -1 4202496 137778 0 0 0 28206 16 0 0 20 0 1 0 95725002 207265792 44473 33554432000 4194304 4933779 140726755564352 140726755562040 4475920 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 17768448 140726755566744 140726755566844 140726755566844 140726755569602 0
/proc/28171/statm: 50602 44473 617 181 0 44219 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 202408 KiB
Current children cumulated memory: 177892 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/187 28177
/proc/meminfo: memFree=23577820/32770624 swapFree=67108860/67108860
[pid=28171] ppid=28168 vsize=214588 memory=190384 CPUtime=342.19 cores=0,2,4,6
/proc/28171/stat : 28171 (nacre_mini_rele) R 28168 28171 27398 0 -1 4202496 149431 0 0 0 34201 18 0 0 20 0 1 0 95725002 219738112 47596 33554432000 4194304 4933779 140726755564352 140726755562040 4437839 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 17768448 140726755566744 140726755566844 140726755566844 140726755569602 0
/proc/28171/statm: 53647 47596 617 181 0 47264 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 214588 KiB
Current children cumulated memory: 190384 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/187 28178
/proc/meminfo: memFree=23559204/32770624 swapFree=67108860/67108860
[pid=28171] ppid=28168 vsize=226440 memory=202488 CPUtime=402.18 cores=0,2,4,6
/proc/28171/stat : 28171 (nacre_mini_rele) R 28168 28171 27398 0 -1 4202496 155141 0 0 0 40199 19 0 0 20 0 1 0 95725002 231874560 50622 33554432000 4194304 4933779 140726755564352 140726755562056 4357365 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 17768448 140726755566744 140726755566844 140726755566844 140726755569602 0
/proc/28171/statm: 56610 50622 617 181 0 50227 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 226440 KiB
Current children cumulated memory: 202488 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/187 28179
/proc/meminfo: memFree=23544248/32770624 swapFree=67108860/67108860
[pid=28171] ppid=28168 vsize=235092 memory=210880 CPUtime=462.18 cores=0,2,4,6
/proc/28171/stat : 28171 (nacre_mini_rele) R 28168 28171 27398 0 -1 4202496 162836 0 0 0 46197 21 0 0 20 0 1 0 95725002 240734208 52720 33554432000 4194304 4933779 140726755564352 140726755561864 4357325 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 17768448 140726755566744 140726755566844 140726755566844 140726755569602 0
/proc/28171/statm: 58773 52720 617 181 0 52390 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 235092 KiB
Current children cumulated memory: 210880 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/187 28180
/proc/meminfo: memFree=23529244/32770624 swapFree=67108860/67108860
[pid=28171] ppid=28168 vsize=243276 memory=219220 CPUtime=522.18 cores=0,2,4,6
/proc/28171/stat : 28171 (nacre_mini_rele) R 28168 28171 27398 0 -1 4202496 172385 0 0 0 52195 23 0 0 20 0 1 0 95725002 249114624 54805 33554432000 4194304 4933779 140726755564352 140726755562056 4437389 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 17768448 140726755566744 140726755566844 140726755566844 140726755569602 0
/proc/28171/statm: 60819 54805 617 181 0 54436 0
Current children cumulated CPU time: 522.18 s
Current children cumulated vsize: 243276 KiB
Current children cumulated memory: 219220 KiB
[startup+582.234 s]
# the end of solver process 28171 was just reported to runsolver
# cumulated CPU time of all completed processes: user=581.861 s, system=0.248988 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+537.6 s]
/proc/loadavg: 2.00 2.00 1.98 3/187 28180
/proc/meminfo: memFree=23526392/32770624 swapFree=67108860/67108860
[pid=28171] ppid=28168 vsize=244984 memory=221032 CPUtime=537.47 cores=0,2,4,6
/proc/28171/stat : 28171 (nacre_mini_rele) R 28168 28171 27398 0 -1 4202496 179295 0 0 0 53724 23 0 0 20 0 1 0 95725002 250863616 55258 33554432000 4194304 4933779 140726755564352 140726755562040 4437558 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 17768448 140726755566744 140726755566844 140726755566844 140726755569602 0
/proc/28171/statm: 61246 55258 617 181 0 54863 0
Current children cumulated CPU time: 537.47 s
Current children cumulated vsize: 244984 KiB
Current children cumulated memory: 221032 KiB
[startup+563.2 s]
/proc/loadavg: 2.00 2.00 1.98 3/187 28181
/proc/meminfo: memFree=23521804/32770624 swapFree=67108860/67108860
[pid=28171] ppid=28168 vsize=247128 memory=223244 CPUtime=563.08 cores=0,2,4,6
/proc/28171/stat : 28171 (nacre_mini_rele) R 28168 28171 27398 0 -1 4202496 182724 0 0 0 56284 24 0 0 20 0 1 0 95725002 253059072 55811 33554432000 4194304 4933779 140726755564352 140726755562040 4334410 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 17768448 140726755566744 140726755566844 140726755566844 140726755569602 0
/proc/28171/statm: 61782 55811 617 181 0 55399 0
Current children cumulated CPU time: 563.08 s
Current children cumulated vsize: 247128 KiB
Current children cumulated memory: 223244 KiB
[startup+576 s]*
/proc/loadavg: 2.00 2.00 1.98 3/187 28181
/proc/meminfo: memFree=23518168/32770624 swapFree=67108860/67108860
[pid=28171] ppid=28168 vsize=248624 memory=224512 CPUtime=575.87 cores=0,2,4,6
/proc/28171/stat : 28171 (nacre_mini_rele) R 28168 28171 27398 0 -1 4202496 183162 0 0 0 57563 24 0 0 20 0 1 0 95725002 254590976 56128 33554432000 4194304 4933779 140726755564352 140726755562040 4437564 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 17768448 140726755566744 140726755566844 140726755566844 140726755569602 0
/proc/28171/statm: 62156 56128 617 181 0 55773 0
Current children cumulated CPU time: 575.87 s
Current children cumulated vsize: 248624 KiB
Current children cumulated memory: 224512 KiB
[startup+579.2 s]
/proc/loadavg: 2.00 2.00 1.98 3/187 28181
/proc/meminfo: memFree=23518004/32770624 swapFree=67108860/67108860
[pid=28171] ppid=28168 vsize=248624 memory=224512 CPUtime=579.07 cores=0,2,4,6
/proc/28171/stat : 28171 (nacre_mini_rele) R 28168 28171 27398 0 -1 4202496 183162 0 0 0 57883 24 0 0 20 0 1 0 95725002 254590976 56128 33554432000 4194304 4933779 140726755564352 140726755562040 4437547 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 17768448 140726755566744 140726755566844 140726755566844 140726755569602 0
/proc/28171/statm: 62156 56128 617 181 0 55773 0
Current children cumulated CPU time: 579.07 s
Current children cumulated vsize: 248624 KiB
Current children cumulated memory: 224512 KiB
[startup+580.8 s]
/proc/loadavg: 2.00 2.00 1.98 3/187 28181
/proc/meminfo: memFree=23518004/32770624 swapFree=67108860/67108860
[pid=28171] ppid=28168 vsize=248624 memory=224512 CPUtime=580.67 cores=0,2,4,6
/proc/28171/stat : 28171 (nacre_mini_rele) R 28168 28171 27398 0 -1 4202496 183163 0 0 0 58043 24 0 0 20 0 1 0 95725002 254590976 56128 33554432000 4194304 4933779 140726755564352 140726755562040 4437678 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 17768448 140726755566744 140726755566844 140726755566844 140726755569602 0
/proc/28171/statm: 62156 56128 617 181 0 55773 0
Current children cumulated CPU time: 580.67 s
Current children cumulated vsize: 248624 KiB
Current children cumulated memory: 224512 KiB
[startup+581.6 s]
/proc/loadavg: 2.00 2.00 1.98 3/187 28181
/proc/meminfo: memFree=23518004/32770624 swapFree=67108860/67108860
[pid=28171] ppid=28168 vsize=248624 memory=224512 CPUtime=581.47 cores=0,2,4,6
/proc/28171/stat : 28171 (nacre_mini_rele) R 28168 28171 27398 0 -1 4202496 183163 0 0 0 58123 24 0 0 20 0 1 0 95725002 254590976 56128 33554432000 4194304 4933779 140726755564352 140726755562040 4388366 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 17768448 140726755566744 140726755566844 140726755566844 140726755569602 0
/proc/28171/statm: 62156 56128 617 181 0 55773 0
Current children cumulated CPU time: 581.47 s
Current children cumulated vsize: 248624 KiB
Current children cumulated memory: 224512 KiB
[startup+582 s]*
/proc/loadavg: 2.00 2.00 1.98 3/187 28181
/proc/meminfo: memFree=23518004/32770624 swapFree=67108860/67108860
[pid=28171] ppid=28168 vsize=248624 memory=224512 CPUtime=581.87 cores=0,2,4,6
/proc/28171/stat : 28171 (nacre_mini_rele) R 28168 28171 27398 0 -1 4202496 183163 0 0 0 58163 24 0 0 20 0 1 0 95725002 254590976 56128 33554432000 4194304 4933779 140726755564352 140726755562040 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 17768448 140726755566744 140726755566844 140726755566844 140726755569602 0
/proc/28171/statm: 62156 56128 617 181 0 55773 0
Current children cumulated CPU time: 581.87 s
Current children cumulated vsize: 248624 KiB
Current children cumulated memory: 224512 KiB
[startup+582.2 s]
/proc/loadavg: 2.00 2.00 1.98 3/187 28181
/proc/meminfo: memFree=23518004/32770624 swapFree=67108860/67108860
[pid=28171] ppid=28168 vsize=248624 memory=224512 CPUtime=582.07 cores=0,2,4,6
/proc/28171/stat : 28171 (nacre_mini_rele) R 28168 28171 27398 0 -1 4202496 183163 0 0 0 58183 24 0 0 20 0 1 0 95725002 254590976 56128 33554432000 4194304 4933779 140726755564352 140726755562040 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 17768448 140726755566744 140726755566844 140726755566844 140726755569602 0
/proc/28171/statm: 62156 56128 617 181 0 55773 0
Current children cumulated CPU time: 582.07 s
Current children cumulated vsize: 248624 KiB
Current children cumulated memory: 224512 KiB
Child status: 20
Real time (s): 582.235
CPU time (s): 582.11
CPU user time (s): 581.861
CPU system time (s): 0.248988
CPU usage (%): 99.9786
Max. virtual memory (cumulated for all children) (KiB): 248624
Max. memory (cumulated for all children) (KiB): 224512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 581.861
system time used= 0.248988
maximum resident set size= 224796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183205
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103
involuntary context switches= 649
# summary of solver processes directly reported to runsolver:
# pid: 28171
# total CPU time (s): 582.11
# total CPU user time (s): 581.861
# total CPU system time (s): 0.248988
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.12278 second user time and 4.48778 second system time
The end