runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4253133-1500927828/watcher-4253133-1500927828 -o /tmp/evaluation-result-4253133-1500927828/solver-4253133-1500927828 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500914922-3829 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4253133-1500927828.xml
pid=6034
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6037
/proc/meminfo: memFree=32123872/32770624 swapFree=5868/121076
[pid=6037] ppid=6034 vsize=27960 CPUtime=0 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 1227 0 0 0 0 0 0 0 20 0 1 0 2341873 28631040 1023 33554432000 4194304 5744392 140730140649472 140730140649136 140207749663717 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 6990 1023 685 379 0 409 0
[startup+0.100103 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6037
/proc/meminfo: memFree=32123872/32770624 swapFree=5868/121076
[pid=6037] ppid=6034 vsize=28352 CPUtime=0.09 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 1425 0 0 0 9 0 0 0 20 0 1 0 2341873 29032448 1253 33554432000 4194304 5744392 140730140649472 140730140649136 4998896 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1253 767 379 0 507 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28352
[startup+0.200194 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6037
/proc/meminfo: memFree=32123872/32770624 swapFree=5868/121076
[pid=6037] ppid=6034 vsize=28352 CPUtime=0.19 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 1425 0 0 0 19 0 0 0 20 0 1 0 2341873 29032448 1253 33554432000 4194304 5744392 140730140649472 140730140649136 4940026 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1253 767 379 0 507 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28352
[startup+0.300207 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6037
/proc/meminfo: memFree=32123872/32770624 swapFree=5868/121076
[pid=6037] ppid=6034 vsize=28352 CPUtime=0.29 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 1425 0 0 0 29 0 0 0 20 0 1 0 2341873 29032448 1253 33554432000 4194304 5744392 140730140649472 140730140649136 4940038 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1253 767 379 0 507 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28352
[startup+0.700193 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6037
/proc/meminfo: memFree=32123872/32770624 swapFree=5868/121076
[pid=6037] ppid=6034 vsize=28352 CPUtime=0.69 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 1425 0 0 0 69 0 0 0 20 0 1 0 2341873 29032448 1253 33554432000 4194304 5744392 140730140649472 140730140649136 4940026 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1253 767 379 0 507 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28352
[startup+1.50018 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6038
/proc/meminfo: memFree=32121464/32770624 swapFree=5868/121076
[pid=6037] ppid=6034 vsize=28352 CPUtime=1.49 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 1425 0 0 0 149 0 0 0 20 0 1 0 2341873 29032448 1253 33554432000 4194304 5744392 140730140649472 140730140646872 4998896 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1253 767 379 0 507 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28352
[startup+3.10018 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6038
/proc/meminfo: memFree=32121100/32770624 swapFree=5868/121076
[pid=6037] ppid=6034 vsize=28352 CPUtime=3.09 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 1777 0 0 0 309 0 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 4940026 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28352
[startup+6.30018 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6038
/proc/meminfo: memFree=32121008/32770624 swapFree=5868/121088
[pid=6037] ppid=6034 vsize=28352 CPUtime=6.29 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 2129 0 0 0 629 0 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 5118794 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28352
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6038
/proc/meminfo: memFree=32120636/32770624 swapFree=5868/121096
[pid=6037] ppid=6034 vsize=28352 CPUtime=12.69 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 2482 0 0 0 1269 0 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 4940000 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28352
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6038
/proc/meminfo: memFree=32120636/32770624 swapFree=5868/121116
[pid=6037] ppid=6034 vsize=28352 CPUtime=25.49 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 3190 0 0 0 2549 0 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 4998896 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28352
[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6038
/proc/meminfo: memFree=32120636/32770624 swapFree=5868/121152
[pid=6037] ppid=6034 vsize=28352 CPUtime=51.1 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 3544 0 0 0 5110 0 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 5118794 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 28352
[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 6040
/proc/meminfo: memFree=32120460/32770624 swapFree=5868/121232
[pid=6037] ppid=6034 vsize=28352 CPUtime=102.31 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 3898 0 0 0 10231 0 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 4918136 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 28352
[startup+162.3 s]
/proc/loadavg: 2.12 2.05 2.05 3/182 6041
/proc/meminfo: memFree=32120480/32770624 swapFree=5868/121296
[pid=6037] ppid=6034 vsize=28352 CPUtime=162.31 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 4252 0 0 0 16231 0 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 4910987 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 28352
[startup+222.306 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 6042
/proc/meminfo: memFree=32120124/32770624 swapFree=5868/121356
[pid=6037] ppid=6034 vsize=28352 CPUtime=222.32 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 4606 0 0 0 22232 0 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 5118794 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 28352
[startup+282.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/182 6044
/proc/meminfo: memFree=32119980/32770624 swapFree=5868/121384
[pid=6037] ppid=6034 vsize=28352 CPUtime=282.32 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 4606 0 0 0 28232 0 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 4941418 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 28352
[startup+342.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/182 6045
/proc/meminfo: memFree=32119924/32770624 swapFree=5868/121444
[pid=6037] ppid=6034 vsize=28352 CPUtime=342.32 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 4960 0 0 0 34232 0 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 4940026 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 28352
[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 6053
/proc/meminfo: memFree=32119600/32770624 swapFree=5868/121472
[pid=6037] ppid=6034 vsize=28352 CPUtime=402.33 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 4960 0 0 0 40233 0 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 4914199 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 402.33
Current children cumulated vsize (KiB) 28352
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 6054
/proc/meminfo: memFree=32119484/32770624 swapFree=5868/121536
[pid=6037] ppid=6034 vsize=28352 CPUtime=462.33 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 5314 0 0 0 46233 0 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 4917533 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 28352
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 6055
/proc/meminfo: memFree=32119252/32770624 swapFree=5868/121564
[pid=6037] ppid=6034 vsize=28352 CPUtime=522.34 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 5314 0 0 0 52234 0 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 4918136 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 28352
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 6056
/proc/meminfo: memFree=32120260/32770624 swapFree=5868/121596
[pid=6037] ppid=6034 vsize=28352 CPUtime=582.34 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 5668 0 0 0 58234 0 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 4914160 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 28352
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 6139
/proc/meminfo: memFree=32117024/32770624 swapFree=5832/122276
[pid=6037] ppid=6034 vsize=28352 CPUtime=1482.42 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 8146 0 0 0 148242 0 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 4998864 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 1482.42
Current children cumulated vsize (KiB) 28352
[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 6140
/proc/meminfo: memFree=32117264/32770624 swapFree=5832/122308
[pid=6037] ppid=6034 vsize=28352 CPUtime=1542.43 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 8483 0 0 0 154243 0 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 4918136 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 1542.43
Current children cumulated vsize (KiB) 28352
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6148
/proc/meminfo: memFree=32116940/32770624 swapFree=5832/122328
[pid=6037] ppid=6034 vsize=28352 CPUtime=1602.43 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 8500 0 0 0 160243 0 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 4940029 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 1602.43
Current children cumulated vsize (KiB) 28352
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6149
/proc/meminfo: memFree=32116940/32770624 swapFree=5832/122360
[pid=6037] ppid=6034 vsize=28352 CPUtime=1662.44 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 8837 0 0 0 166244 0 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 4940034 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 1662.44
Current children cumulated vsize (KiB) 28352
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6150
/proc/meminfo: memFree=32116676/32770624 swapFree=5832/122388
[pid=6037] ppid=6034 vsize=28352 CPUtime=1722.45 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 8837 0 0 0 172245 0 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 4998896 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 1722.45
Current children cumulated vsize (KiB) 28352
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 6151
/proc/meminfo: memFree=32116628/32770624 swapFree=5832/122428
[pid=6037] ppid=6034 vsize=28352 CPUtime=1782.45 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 9191 0 0 0 178245 0 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 4918140 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 1782.45
Current children cumulated vsize (KiB) 28352
[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 6152
/proc/meminfo: memFree=32116628/32770624 swapFree=5832/122452
[pid=6037] ppid=6034 vsize=28352 CPUtime=1842.46 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 9191 0 0 0 184246 0 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 4872427 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 1842.46
Current children cumulated vsize (KiB) 28352
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6154
/proc/meminfo: memFree=32116380/32770624 swapFree=5832/122476
[pid=6037] ppid=6034 vsize=28352 CPUtime=1902.46 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 9528 0 0 0 190246 0 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 4914000 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 1902.46
Current children cumulated vsize (KiB) 28352
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6155
/proc/meminfo: memFree=32116604/32770624 swapFree=5832/122516
[pid=6037] ppid=6034 vsize=28352 CPUtime=1962.47 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 9545 0 0 0 196247 0 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 4910727 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 1962.47
Current children cumulated vsize (KiB) 28352
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6156
/proc/meminfo: memFree=32116736/32770624 swapFree=5832/122544
[pid=6037] ppid=6034 vsize=28352 CPUtime=2022.47 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 9882 0 0 0 202247 0 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 4940052 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 2022.47
Current children cumulated vsize (KiB) 28352
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6158
/proc/meminfo: memFree=32116764/32770624 swapFree=5832/122572
[pid=6037] ppid=6034 vsize=28352 CPUtime=2082.48 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 9882 0 0 0 208248 0 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 5126806 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 2082.48
Current children cumulated vsize (KiB) 28352
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6159
/proc/meminfo: memFree=32116764/32770624 swapFree=5832/122608
[pid=6037] ppid=6034 vsize=28352 CPUtime=2142.48 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 10219 0 0 0 214248 0 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 4918152 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 2142.48
Current children cumulated vsize (KiB) 28352
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6167
/proc/meminfo: memFree=32116152/32770624 swapFree=5832/122636
[pid=6037] ppid=6034 vsize=28352 CPUtime=2202.5 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 10236 0 0 0 220249 1 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 4998896 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 2202.5
Current children cumulated vsize (KiB) 28352
[startup+2262.3 s]
/proc/loadavg: 2.14 2.05 2.05 3/182 6190
/proc/meminfo: memFree=32115580/32770624 swapFree=5832/122668
[pid=6037] ppid=6034 vsize=28352 CPUtime=2262.5 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 10573 0 0 0 226249 1 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 4913898 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 2262.5
Current children cumulated vsize (KiB) 28352
[startup+2322.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 6191
/proc/meminfo: memFree=32116500/32770624 swapFree=5832/122700
[pid=6037] ppid=6034 vsize=28352 CPUtime=2322.51 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 10573 0 0 0 232250 1 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 5126560 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 2322.51
Current children cumulated vsize (KiB) 28352
[startup+2382.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 6192
/proc/meminfo: memFree=32116580/32770624 swapFree=5832/122724
[pid=6037] ppid=6034 vsize=28352 CPUtime=2382.51 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 10927 0 0 0 238250 1 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 4940000 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 2382.51
Current children cumulated vsize (KiB) 28352
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.8 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 6192
/proc/meminfo: memFree=32116580/32770624 swapFree=5832/122740
[pid=6037] ppid=6034 vsize=28352 CPUtime=2400.01 cores=1,3,5,7
/proc/6037/stat : 6037 (cosoco) R 6034 6037 3797 0 -1 4202496 10927 0 0 0 240000 1 0 0 20 0 1 0 2341873 29032448 1266 33554432000 4194304 5744392 140730140649472 140730140646872 4913988 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 28151808 140730140652737 140730140652867 140730140652867 140730140655566 0
/proc/6037/statm: 7088 1266 780 379 0 507 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 28352
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6037 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2399.8
CPU time (s): 2400.02
CPU user time (s): 2400.01
CPU system time (s): 0.011001
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 28352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.011001
maximum resident set size= 5108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10947
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= 6
involuntary context switches= 775
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.19622 second user time and 5.82878 second system time
The end