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 (15000 MiB free)
memory of node 1: 16384 MiB (15538 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397407-1568573088/watcher-4397407-1568573088 -o /tmp/evaluation-result-4397407-1568573088/solver-4397407-1568573088 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568572726-19029 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397407-1568573088.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
solver pid=19210, runsolver pid=19207
Current StackSize limit: 8192 KiB
[startup+0.100198 s]*
/proc/loadavg: 1.96 1.27 0.59 3/199 19211
/proc/meminfo: memFree=31270440/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=28852 memory=4732 CPUtime=0.1 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 1502 0 0 0 10 0 0 0 20 0 1 0 433561935 29544448 1183 33554432000 4194304 6211092 140730242088528 140730242085064 139999615679461 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 7213 1183 803 493 0 518 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28852 KiB
Current children cumulated memory: 4732 KiB
[startup+0.209892 s]*
/proc/loadavg: 1.96 1.27 0.59 3/199 19211
/proc/meminfo: memFree=31267340/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=30892 memory=7116 CPUtime=0.21 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 2206 0 0 0 21 0 0 0 20 0 1 0 433561935 31633408 1779 33554432000 4194304 6211092 140730242088528 140730242085064 5817617 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 7723 1779 808 493 0 1028 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30892 KiB
Current children cumulated memory: 7116 KiB
[startup+0.309578 s]*
/proc/loadavg: 1.96 1.27 0.59 3/199 19211
/proc/meminfo: memFree=31265852/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=32980 memory=8960 CPUtime=0.31 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 2712 0 0 0 31 0 0 0 20 0 1 0 433561935 33771520 2240 33554432000 4194304 6211092 140730242088528 140730242085064 5817885 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 8245 2240 808 493 0 1550 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32980 KiB
Current children cumulated memory: 8960 KiB
[startup+0.700246 s]
/proc/loadavg: 1.96 1.27 0.59 3/199 19211
/proc/meminfo: memFree=31263424/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=36932 memory=12656 CPUtime=0.69 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 3654 0 0 0 69 0 0 0 20 0 1 0 433561935 37818368 3164 33554432000 4194304 6211092 140730242088528 140730242085800 5814156 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 9233 3164 808 493 0 2538 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36932 KiB
Current children cumulated memory: 12656 KiB
[startup+1.50024 s]
/proc/loadavg: 1.96 1.27 0.59 3/199 19211
/proc/meminfo: memFree=31260200/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=44844 memory=20312 CPUtime=1.49 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 5536 0 0 0 149 0 0 0 20 0 1 0 433561935 45920256 5078 33554432000 4194304 6211092 140730242088528 140730242085800 5689058 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 11211 5078 808 493 0 4516 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 44844 KiB
Current children cumulated memory: 20312 KiB
[startup+3.10965 s]
/proc/loadavg: 1.96 1.28 0.60 3/199 19211
/proc/meminfo: memFree=31239864/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=61872 memory=36244 CPUtime=3.1 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 10437 0 0 0 309 1 0 0 20 0 1 0 433561935 63356928 9061 33554432000 4194304 6211092 140730242088528 140730242085800 5818493 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 15468 9061 808 493 0 8773 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 61872 KiB
Current children cumulated memory: 36244 KiB
[startup+6.30033 s]
/proc/loadavg: 1.96 1.28 0.60 3/199 19211
/proc/meminfo: memFree=31212632/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=87684 memory=61632 CPUtime=6.29 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 27213 0 0 0 626 3 0 0 20 0 1 0 433561935 89788416 15408 33554432000 4194304 6211092 140730242088528 140730242085800 5038990 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 21921 15408 845 493 0 15226 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 61632 KiB
[startup+12.7003 s]
/proc/loadavg: 1.97 1.29 0.60 3/200 19213
/proc/meminfo: memFree=31212864/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=87684 memory=61664 CPUtime=12.69 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 41395 0 0 0 1265 4 0 0 20 0 1 0 433561935 89788416 15416 33554432000 4194304 6211092 140730242088528 140730242086488 5038999 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 21921 15416 851 493 0 15226 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 61664 KiB
[startup+25.5004 s]
/proc/loadavg: 2.04 1.34 0.63 3/199 19214
/proc/meminfo: memFree=31213220/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=87684 memory=61664 CPUtime=25.49 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 69751 0 0 0 2544 5 0 0 20 0 1 0 433561935 89788416 15416 33554432000 4194304 6211092 140730242088528 140730242086488 5038999 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 21921 15416 851 493 0 15226 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 61664 KiB
[startup+51.1098 s]
/proc/loadavg: 2.03 1.40 0.67 3/199 19214
/proc/meminfo: memFree=31211328/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=87684 memory=63096 CPUtime=51.09 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 80200 0 0 0 5104 5 0 0 20 0 1 0 433561935 89788416 15774 33554432000 4194304 6211092 140730242088528 140730242086488 5038999 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 21921 15774 851 493 0 15226 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 63096 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 1.49 0.74 3/200 19221
/proc/meminfo: memFree=31208904/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=87684 memory=64228 CPUtime=102.27 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 80507 0 0 0 10222 5 0 0 20 0 1 0 433561935 89788416 16057 33554432000 4194304 6211092 140730242088528 140730242086488 5038999 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 21921 16057 851 493 0 15226 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 64228 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.58 0.82 3/199 19225
/proc/meminfo: memFree=31208384/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=87684 memory=64228 CPUtime=162.25 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 80812 0 0 0 16220 5 0 0 20 0 1 0 433561935 89788416 16057 33554432000 4194304 6211092 140730242088528 140730242086488 5037750 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 21921 16057 851 493 0 15226 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 64228 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.66 0.89 3/199 19229
/proc/meminfo: memFree=31208392/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=87684 memory=64228 CPUtime=222.24 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 81117 0 0 0 22219 5 0 0 20 0 1 0 433561935 89788416 16057 33554432000 4194304 6211092 140730242088528 140730242086488 5038964 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 21921 16057 851 493 0 15226 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 64228 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.72 0.96 3/200 19235
/proc/meminfo: memFree=31208140/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=87684 memory=64228 CPUtime=282.23 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 81422 0 0 0 28218 5 0 0 20 0 1 0 433561935 89788416 16057 33554432000 4194304 6211092 140730242088528 140730242086488 5038999 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 21921 16057 851 493 0 15226 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 64228 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.77 1.02 3/199 19239
/proc/meminfo: memFree=31208316/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=87684 memory=64228 CPUtime=342.22 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 81727 0 0 0 34217 5 0 0 20 0 1 0 433561935 89788416 16057 33554432000 4194304 6211092 140730242088528 140730242086488 5038999 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 21921 16057 851 493 0 15226 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 64228 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.81 1.08 3/199 19250
/proc/meminfo: memFree=31207864/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=87684 memory=64228 CPUtime=402.21 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 82032 0 0 0 40216 5 0 0 20 0 1 0 433561935 89788416 16057 33554432000 4194304 6211092 140730242088528 140730242086488 5039014 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 21921 16057 851 493 0 15226 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 64228 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.85 1.14 3/200 19256
/proc/meminfo: memFree=31207928/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=87684 memory=64228 CPUtime=462.2 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 82337 0 0 0 46215 5 0 0 20 0 1 0 433561935 89788416 16057 33554432000 4194304 6211092 140730242088528 140730242086488 5038999 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 21921 16057 851 493 0 15226 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 64228 KiB
################
# More data... #
################
Current children cumulated memory: 64228 KiB
[startup+1062.3 s]
/proc/loadavg: 2.04 2.00 1.56 3/201 19335
/proc/meminfo: memFree=31206768/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=87684 memory=64228 CPUtime=1062.11 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 85307 0 0 0 106205 6 0 0 20 0 1 0 433561935 89788416 16057 33554432000 4194304 6211092 140730242088528 140730242086488 5038999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 21921 16057 851 493 0 15226 0
Current children cumulated CPU time: 1062.11 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 64228 KiB
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 1.59 3/201 19339
/proc/meminfo: memFree=31207264/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=87684 memory=64228 CPUtime=1122.11 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 85623 0 0 0 112205 6 0 0 20 0 1 0 433561935 89788416 16057 33554432000 4194304 6211092 140730242088528 140730242086488 5038999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 21921 16057 851 493 0 15226 0
Current children cumulated CPU time: 1122.11 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 64228 KiB
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.61 3/202 19345
/proc/meminfo: memFree=31207356/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=87684 memory=64228 CPUtime=1182.11 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 85904 0 0 0 118205 6 0 0 20 0 1 0 433561935 89788416 16057 33554432000 4194304 6211092 140730242088528 140730242086488 5039536 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 21921 16057 851 493 0 15226 0
Current children cumulated CPU time: 1182.11 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 64228 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.63 3/201 19349
/proc/meminfo: memFree=31207384/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=87684 memory=64228 CPUtime=1242.1 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 86194 0 0 0 124204 6 0 0 20 0 1 0 433561935 89788416 16057 33554432000 4194304 6211092 140730242088528 140730242086488 5038999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 21921 16057 851 493 0 15226 0
Current children cumulated CPU time: 1242.1 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 64228 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.66 3/200 19353
/proc/meminfo: memFree=31207544/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=87684 memory=64228 CPUtime=1302.1 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 86469 0 0 0 130204 6 0 0 20 0 1 0 433561935 89788416 16057 33554432000 4194304 6211092 140730242088528 140730242086488 5038999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 21921 16057 851 493 0 15226 0
Current children cumulated CPU time: 1302.1 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 64228 KiB
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 1.69 3/200 19359
/proc/meminfo: memFree=31207152/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=87684 memory=64228 CPUtime=1362.1 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 86756 0 0 0 136204 6 0 0 20 0 1 0 433561935 89788416 16057 33554432000 4194304 6211092 140730242088528 140730242086488 5038999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 21921 16057 851 493 0 15226 0
Current children cumulated CPU time: 1362.1 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 64228 KiB
[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 1.70 3/199 19363
/proc/meminfo: memFree=31207708/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=87684 memory=64228 CPUtime=1422.1 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 87029 0 0 0 142204 6 0 0 20 0 1 0 433561935 89788416 16057 33554432000 4194304 6211092 140730242088528 140730242086488 5039549 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 21921 16057 851 493 0 15226 0
Current children cumulated CPU time: 1422.1 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 64228 KiB
[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 1.73 3/199 19367
/proc/meminfo: memFree=31208020/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=87684 memory=64228 CPUtime=1482.09 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 87306 0 0 0 148203 6 0 0 20 0 1 0 433561935 89788416 16057 33554432000 4194304 6211092 140730242088528 140730242086488 5038982 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 21921 16057 851 493 0 15226 0
Current children cumulated CPU time: 1482.09 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 64228 KiB
[startup+1542.3 s]
/proc/loadavg: 2.07 2.04 1.75 3/200 19373
/proc/meminfo: memFree=31207632/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=87684 memory=64228 CPUtime=1542.09 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 87558 0 0 0 154203 6 0 0 20 0 1 0 433561935 89788416 16057 33554432000 4194304 6211092 140730242088528 140730242086488 5038999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 21921 16057 851 493 0 15226 0
Current children cumulated CPU time: 1542.09 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 64228 KiB
[startup+1547.16 s]
# the end of solver process 19210 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1546.89 s, system=0.066991 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1542.4 s]
/proc/loadavg: 2.07 2.04 1.75 3/200 19373
/proc/meminfo: memFree=31207632/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=87684 memory=64228 CPUtime=1542.19 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 87558 0 0 0 154213 6 0 0 20 0 1 0 433561935 89788416 16057 33554432000 4194304 6211092 140730242088528 140730242086488 5038990 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 21921 16057 851 493 0 15226 0
Current children cumulated CPU time: 1542.19 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 64228 KiB
[startup+1545.6 s]
/proc/loadavg: 2.07 2.04 1.75 3/200 19373
/proc/meminfo: memFree=31207756/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=87684 memory=64228 CPUtime=1545.39 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 87558 0 0 0 154533 6 0 0 20 0 1 0 433561935 89788416 16057 33554432000 4194304 6211092 140730242088528 140730242086488 5039029 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 21921 16057 851 493 0 15226 0
Current children cumulated CPU time: 1545.39 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 64228 KiB
[startup+1546.4 s]
/proc/loadavg: 2.07 2.04 1.75 3/199 19373
/proc/meminfo: memFree=31207756/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=87684 memory=64228 CPUtime=1546.19 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 87558 0 0 0 154613 6 0 0 20 0 1 0 433561935 89788416 16057 33554432000 4194304 6211092 140730242088528 140730242086488 5038999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 21921 16057 851 493 0 15226 0
Current children cumulated CPU time: 1546.19 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 64228 KiB
[startup+1546.8 s]
/proc/loadavg: 2.07 2.04 1.75 3/199 19373
/proc/meminfo: memFree=31207756/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=87684 memory=64228 CPUtime=1546.59 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 87558 0 0 0 154653 6 0 0 20 0 1 0 433561935 89788416 16057 33554432000 4194304 6211092 140730242088528 140730242086488 5039038 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 21921 16057 851 493 0 15226 0
Current children cumulated CPU time: 1546.59 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 64228 KiB
[startup+1547 s]*
/proc/loadavg: 2.07 2.04 1.75 3/199 19373
/proc/meminfo: memFree=31207740/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=87684 memory=64228 CPUtime=1546.8 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 87558 0 0 0 154674 6 0 0 20 0 1 0 433561935 89788416 16057 33554432000 4194304 6211092 140730242088528 140730242086488 5039536 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 21921 16057 851 493 0 15226 0
Current children cumulated CPU time: 1546.8 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 64228 KiB
[startup+1547.11 s]
/proc/loadavg: 2.07 2.04 1.75 3/199 19373
/proc/meminfo: memFree=31207740/32770624 swapFree=66997024/67108860
[pid=19210] ppid=19207 vsize=87684 memory=64228 CPUtime=1546.9 cores=0,2,4,6
/proc/19210/stat : 19210 (cosoco) R 19207 19210 18998 0 -1 4202496 87558 0 0 0 154684 6 0 0 20 0 1 0 433561935 89788416 16057 33554432000 4194304 6211092 140730242088528 140730242086488 5037876 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22503424 140730242089995 140730242090097 140730242090097 140730242093006 0
/proc/19210/statm: 21921 16057 851 493 0 15226 0
Current children cumulated CPU time: 1546.9 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 64228 KiB
Child status: 0
Real time (s): 1547.16
CPU time (s): 1546.96
CPU user time (s): 1546.89
CPU system time (s): 0.066991
CPU usage (%): 99.9873
Max. virtual memory (cumulated for all children) (KiB): 87684
Max. memory (cumulated for all children) (KiB): 64228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1546.89
system time used= 0.066991
maximum resident set size= 64300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87610
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= 19
involuntary context switches= 1241
# summary of solver processes directly reported to runsolver:
# pid: 19210
# total CPU time (s): 1546.96
# total CPU user time (s): 1546.89
# total CPU system time (s): 0.066991
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9042 second user time and 12.2511 second system time
The end