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 (13693 MiB free)
memory of node 1: 16384 MiB (12670 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397010-1568583110/watcher-4397010-1568583110 -o /tmp/evaluation-result-4397010-1568583110/solver-4397010-1568583110 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568572745-9394 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397010-1568583110.xml
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=11784, runsolver pid=11781
[startup+0.100919 s]*
/proc/loadavg: 2.00 2.14 2.34 3/201 11785
/proc/meminfo: memFree=26996360/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28152 memory=4480 CPUtime=0.09 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 1322 0 0 0 9 0 0 0 20 0 1 0 434225937 28827648 1120 33554432000 4194304 6211092 140725888130256 140725888127528 5689055 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7038 1120 828 493 0 343 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28152 KiB
Current children cumulated memory: 4480 KiB
[startup+0.209781 s]*
/proc/loadavg: 2.00 2.14 2.34 3/201 11785
/proc/meminfo: memFree=26996096/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5272 CPUtime=0.2 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 1489 0 0 0 20 0 0 0 20 0 1 0 434225937 29233152 1318 33554432000 4194304 6211092 140725888130256 140725888127528 5133602 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1318 890 493 0 442 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5272 KiB
[startup+0.309719 s]*
/proc/loadavg: 2.00 2.14 2.34 3/201 11785
/proc/meminfo: memFree=26996096/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5272 CPUtime=0.3 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 1489 0 0 0 30 0 0 0 20 0 1 0 434225937 29233152 1318 33554432000 4194304 6211092 140725888130256 140725888127528 5389408 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1318 890 493 0 442 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5272 KiB
[startup+0.70038 s]
/proc/loadavg: 2.00 2.14 2.34 3/201 11785
/proc/meminfo: memFree=26996140/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5272 CPUtime=0.68 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 1489 0 0 0 67 1 0 0 20 0 1 0 434225937 29233152 1318 33554432000 4194304 6211092 140725888130256 140725888118136 5038784 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1318 890 493 0 442 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5272 KiB
[startup+1.50031 s]
/proc/loadavg: 2.00 2.14 2.34 3/201 11785
/proc/meminfo: memFree=26995892/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5272 CPUtime=1.48 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 1489 0 0 0 145 3 0 0 20 0 1 0 434225937 29233152 1318 33554432000 4194304 6211092 140725888130256 140725888118136 5039137 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1318 890 493 0 442 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5272 KiB
[startup+3.10958 s]
/proc/loadavg: 2.00 2.14 2.34 3/201 11786
/proc/meminfo: memFree=26992380/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5304 CPUtime=3.09 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 1838 0 0 0 300 9 0 0 20 0 1 0 434225937 29233152 1326 33554432000 4194304 6211092 140725888130256 140725888118136 5039135 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
[startup+8.45614 s]
/proc/loadavg: 2.00 2.14 2.34 3/201 11786
/proc/meminfo: memFree=26992380/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5304 CPUtime=8.44 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 2563 0 0 0 820 24 0 0 20 0 1 0 434225937 29233152 1326 33554432000 4194304 6211092 140725888130256 140725888128392 5039104 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 8.44 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
[startup+12.7003 s]
/proc/loadavg: 2.54 2.25 2.37 3/201 11786
/proc/meminfo: memFree=27445036/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5304 CPUtime=12.68 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 2563 0 0 0 1227 41 0 0 20 0 1 0 434225937 29233152 1326 33554432000 4194304 6211092 140725888130256 140725888128392 5038784 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
[startup+25.5002 s]
/proc/loadavg: 2.42 2.24 2.36 3/201 11791
/proc/meminfo: memFree=27974932/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5304 CPUtime=25.48 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 3263 0 0 0 2504 44 0 0 20 0 1 0 434225937 29233152 1326 33554432000 4194304 6211092 140725888130256 140725888128392 5008971 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
[startup+51.1002 s]
/proc/loadavg: 2.28 2.22 2.35 3/200 11791
/proc/meminfo: memFree=27975324/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5304 CPUtime=51.07 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 3613 0 0 0 5063 44 0 0 20 0 1 0 434225937 29233152 1326 33554432000 4194304 6211092 140725888130256 140725888128392 5038818 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
[startup+102.309 s]
/proc/loadavg: 2.12 2.18 2.33 3/200 11795
/proc/meminfo: memFree=27974912/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5304 CPUtime=102.27 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 3963 0 0 0 10183 44 0 0 20 0 1 0 434225937 29233152 1326 33554432000 4194304 6211092 140725888130256 140725888128392 5038788 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
[startup+162.309 s]
/proc/loadavg: 2.04 2.15 2.31 3/201 11801
/proc/meminfo: memFree=27974920/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5304 CPUtime=162.26 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 4313 0 0 0 16182 44 0 0 20 0 1 0 434225937 29233152 1326 33554432000 4194304 6211092 140725888130256 140725888128392 5039453 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
[startup+222.309 s]
/proc/loadavg: 2.02 2.12 2.30 3/200 11805
/proc/meminfo: memFree=27976380/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5304 CPUtime=222.25 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 4663 0 0 0 22181 44 0 0 20 0 1 0 434225937 29233152 1326 33554432000 4194304 6211092 140725888130256 140725888128392 5039247 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
[startup+282.309 s]
/proc/loadavg: 2.01 2.10 2.28 3/199 11809
/proc/meminfo: memFree=27976796/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5304 CPUtime=282.24 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 5013 0 0 0 28180 44 0 0 20 0 1 0 434225937 29233152 1326 33554432000 4194304 6211092 140725888130256 140725888128392 5039022 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
[startup+342.309 s]
/proc/loadavg: 2.00 2.08 2.26 3/200 11815
/proc/meminfo: memFree=27976820/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5304 CPUtime=342.24 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 5369 0 0 0 34180 44 0 0 20 0 1 0 434225937 29233152 1326 33554432000 4194304 6211092 140725888130256 140725888128392 5037854 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
[startup+402.309 s]
/proc/loadavg: 2.00 2.07 2.24 3/199 11819
/proc/meminfo: memFree=27976868/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5304 CPUtime=402.24 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 5719 0 0 0 40180 44 0 0 20 0 1 0 434225937 29233152 1326 33554432000 4194304 6211092 140725888130256 140725888128392 5039121 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
[startup+462.309 s]
/proc/loadavg: 2.00 2.06 2.23 3/199 11823
/proc/meminfo: memFree=27976732/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5304 CPUtime=462.24 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 6071 0 0 0 46180 44 0 0 20 0 1 0 434225937 29233152 1326 33554432000 4194304 6211092 140725888130256 140725888128392 5390084 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
################
# More data... #
################
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
[startup+1782.31 s]
/proc/loadavg: 2.26 2.15 2.15 3/200 12922
/proc/meminfo: memFree=28024212/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5304 CPUtime=1782.25 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 13647 0 0 0 178180 45 0 0 20 0 1 0 434225937 29233152 1326 33554432000 4194304 6211092 140725888130256 140725888128392 5038947 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
[startup+1842.31 s]
/proc/loadavg: 2.09 2.13 2.14 3/199 12951
/proc/meminfo: memFree=28022624/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5304 CPUtime=1842.25 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 13980 0 0 0 184180 45 0 0 20 0 1 0 434225937 29233152 1326 33554432000 4194304 6211092 140725888130256 140725888128392 5039295 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
[startup+1902.31 s]
/proc/loadavg: 2.03 2.10 2.13 3/199 13015
/proc/meminfo: memFree=28023988/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5304 CPUtime=1902.25 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 14332 0 0 0 190180 45 0 0 20 0 1 0 434225937 29233152 1326 33554432000 4194304 6211092 140725888130256 140725888128392 5397352 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
[startup+1962.31 s]
/proc/loadavg: 2.01 2.08 2.12 3/200 13021
/proc/meminfo: memFree=28022048/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5304 CPUtime=1962.25 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 14666 0 0 0 196180 45 0 0 20 0 1 0 434225937 29233152 1326 33554432000 4194304 6211092 140725888130256 140725888128392 5038784 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
[startup+2022.31 s]
/proc/loadavg: 2.00 2.07 2.12 3/199 13025
/proc/meminfo: memFree=28022936/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5304 CPUtime=2022.25 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 14998 0 0 0 202180 45 0 0 20 0 1 0 434225937 29233152 1326 33554432000 4194304 6211092 140725888130256 140725888128392 5039014 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
[startup+2082.31 s]
/proc/loadavg: 2.00 2.06 2.11 3/199 13029
/proc/meminfo: memFree=28022268/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5304 CPUtime=2082.25 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 15349 0 0 0 208180 45 0 0 20 0 1 0 434225937 29233152 1326 33554432000 4194304 6211092 140725888130256 140725888128392 5038788 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
[startup+2142.31 s]
/proc/loadavg: 2.04 2.06 2.11 3/200 13035
/proc/meminfo: memFree=28022452/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5304 CPUtime=2142.25 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 15690 0 0 0 214180 45 0 0 20 0 1 0 434225937 29233152 1326 33554432000 4194304 6211092 140725888130256 140725888128392 5038788 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
[startup+2202.31 s]
/proc/loadavg: 2.01 2.05 2.11 3/199 13039
/proc/meminfo: memFree=28023012/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5304 CPUtime=2202.25 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 16023 0 0 0 220180 45 0 0 20 0 1 0 434225937 29233152 1326 33554432000 4194304 6211092 140725888130256 140725888128392 5039288 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
[startup+2262.31 s]
/proc/loadavg: 2.00 2.04 2.10 3/199 13044
/proc/meminfo: memFree=28022604/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5304 CPUtime=2262.25 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 16374 0 0 0 226180 45 0 0 20 0 1 0 434225937 29233152 1326 33554432000 4194304 6211092 140725888130256 140725888128392 5038766 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
[startup+2322.31 s]
/proc/loadavg: 2.00 2.04 2.09 3/200 13237
/proc/meminfo: memFree=28022996/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5304 CPUtime=2322.25 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 16713 0 0 0 232180 45 0 0 20 0 1 0 434225937 29233152 1326 33554432000 4194304 6211092 140725888130256 140725888128392 5008971 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 2322.25 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
[startup+2382.31 s]
/proc/loadavg: 2.09 2.06 2.10 3/200 13250
/proc/meminfo: memFree=28023072/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5304 CPUtime=2382.25 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 17053 0 0 0 238180 45 0 0 20 0 1 0 434225937 29233152 1326 33554432000 4194304 6211092 140725888130256 140725888128392 5038788 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
[startup+2442.31 s]
/proc/loadavg: 2.03 2.05 2.09 3/200 13254
/proc/meminfo: memFree=28023436/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5304 CPUtime=2442.25 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 17392 0 0 0 244180 45 0 0 20 0 1 0 434225937 29233152 1326 33554432000 4194304 6211092 140725888130256 140725888128392 5193696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 2442.25 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
[startup+2502.31 s]
/proc/loadavg: 2.01 2.04 2.09 3/201 13260
/proc/meminfo: memFree=28021880/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5304 CPUtime=2502.26 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 17743 0 0 0 250180 46 0 0 20 0 1 0 434225937 29233152 1326 33554432000 4194304 6211092 140725888130256 140725888128392 5039257 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 2502.26 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.01 2.04 2.09 3/200 13260
/proc/meminfo: memFree=28022260/32770624 swapFree=66939884/67108860
[pid=11784] ppid=11781 vsize=28548 memory=5304 CPUtime=2519.95 cores=0,2,4,6
/proc/11784/stat : 11784 (cosoco) R 11781 11784 9363 0 -1 4202496 18065 0 0 0 251949 46 0 0 20 0 1 0 434225937 29233152 1326 33554432000 4194304 6211092 140725888130256 140725888128392 5039213 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33533952 140725888132107 140725888132209 140725888132209 140725888135118 0
/proc/11784/statm: 7137 1326 898 493 0 442 0
Current children cumulated CPU time: 2519.95 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5304 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520 s]
# the end of solver process 11784 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.5 s, system=0.461996 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520
CPU time (s): 2519.96
CPU user time (s): 2519.5
CPU system time (s): 0.461996
CPU usage (%): 99.9984
Max. virtual memory (cumulated for all children) (KiB): 28548
Max. memory (cumulated for all children) (KiB): 5304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.5
system time used= 0.461996
maximum resident set size= 5368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18115
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= 14
involuntary context switches= 3286
# summary of solver processes directly reported to runsolver:
# pid: 11784
# total CPU time (s): 2519.96
# total CPU user time (s): 2519.5
# total CPU system time (s): 0.461996
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.18406 second user time and 16.3612 second system time
The end