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-4252588-1500922505/watcher-4252588-1500922505 -o /tmp/evaluation-result-4252588-1500922505/solver-4252588-1500922505 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1500914920-3605 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4252588-1500922505.xml
pid=7218
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.98 2.01 2.04 3/182 7221
/proc/meminfo: memFree=32124556/32770624 swapFree=5780/116936
[pid=7221] ppid=7218 vsize=26904 CPUtime=0 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 986 0 0 0 0 0 0 0 20 0 1 0 1809750 27549696 825 33554432000 4194304 5744392 140730922592240 140730922588888 139722117192677 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6726 825 699 379 0 145 0
[startup+0.100195 s]
/proc/loadavg: 1.98 2.01 2.04 3/182 7221
/proc/meminfo: memFree=32124556/32770624 swapFree=5780/116936
[pid=7221] ppid=7218 vsize=27696 CPUtime=0.09 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 1226 0 0 0 9 0 0 0 20 0 1 0 1809750 28360704 1023 33554432000 4194304 5744392 140730922592240 140730922588888 4889118 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1023 739 379 0 343 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27696
[startup+0.200332 s]
/proc/loadavg: 1.98 2.01 2.04 3/182 7221
/proc/meminfo: memFree=32124556/32770624 swapFree=5780/116936
[pid=7221] ppid=7218 vsize=27696 CPUtime=0.19 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 1231 0 0 0 19 0 0 0 20 0 1 0 1809750 28360704 1023 33554432000 4194304 5744392 140730922592240 140730922589640 5131620 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1023 739 379 0 343 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27696
[startup+0.300317 s]
/proc/loadavg: 1.98 2.01 2.04 3/182 7221
/proc/meminfo: memFree=32124556/32770624 swapFree=5780/116936
[pid=7221] ppid=7218 vsize=27696 CPUtime=0.29 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 1232 0 0 0 29 0 0 0 20 0 1 0 1809750 28360704 1023 33554432000 4194304 5744392 140730922592240 140730922589640 5129160 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1023 739 379 0 343 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27696
[startup+0.700279 s]
/proc/loadavg: 1.98 2.01 2.04 3/182 7221
/proc/meminfo: memFree=32124556/32770624 swapFree=5780/116936
[pid=7221] ppid=7218 vsize=27696 CPUtime=0.69 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 1233 0 0 0 69 0 0 0 20 0 1 0 1809750 28360704 1023 33554432000 4194304 5744392 140730922592240 140730922589640 5140526 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1023 739 379 0 343 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27696
[startup+1.50028 s]
/proc/loadavg: 1.98 2.01 2.04 3/183 7222
/proc/meminfo: memFree=32122816/32770624 swapFree=5780/116960
[pid=7221] ppid=7218 vsize=27696 CPUtime=1.49 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 1234 0 0 0 149 0 0 0 20 0 1 0 1809750 28360704 1023 33554432000 4194304 5744392 140730922592240 140730922589640 5140573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1023 739 379 0 343 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27696
[startup+3.10028 s]
/proc/loadavg: 1.98 2.01 2.04 3/183 7222
/proc/meminfo: memFree=32122444/32770624 swapFree=5780/116968
[pid=7221] ppid=7218 vsize=27696 CPUtime=3.09 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 1505 0 0 0 309 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 4889104 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27696
[startup+6.30028 s]
/proc/loadavg: 1.98 2.01 2.04 3/183 7222
/proc/meminfo: memFree=32122816/32770624 swapFree=5780/116968
[pid=7221] ppid=7218 vsize=27696 CPUtime=6.29 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 1776 0 0 0 629 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 5131353 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27696
[startup+12.7003 s]
/proc/loadavg: 1.98 2.01 2.04 3/183 7222
/proc/meminfo: memFree=32122772/32770624 swapFree=5780/116968
[pid=7221] ppid=7218 vsize=27696 CPUtime=12.69 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 2047 0 0 0 1269 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 4889075 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27696
[startup+25.5003 s]
/proc/loadavg: 1.98 2.01 2.04 3/183 7222
/proc/meminfo: memFree=32122648/32770624 swapFree=5780/116992
[pid=7221] ppid=7218 vsize=27696 CPUtime=25.49 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 2589 0 0 0 2549 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 4893401 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27696
[startup+51.1003 s]
/proc/loadavg: 1.99 2.01 2.04 3/183 7222
/proc/meminfo: memFree=32122756/32770624 swapFree=5780/117028
[pid=7221] ppid=7218 vsize=27696 CPUtime=51.09 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 2860 0 0 0 5109 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 4872855 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27696
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7223
/proc/meminfo: memFree=32122360/32770624 swapFree=5780/117104
[pid=7221] ppid=7218 vsize=27696 CPUtime=102.3 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 3131 0 0 0 10230 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 5115912 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 27696
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7224
/proc/meminfo: memFree=32122472/32770624 swapFree=5780/117160
[pid=7221] ppid=7218 vsize=27696 CPUtime=162.29 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 3402 0 0 0 16229 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 4872795 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 27696
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7226
/proc/meminfo: memFree=32122688/32770624 swapFree=5780/117232
[pid=7221] ppid=7218 vsize=27696 CPUtime=222.29 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 3673 0 0 0 22229 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 5126282 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 27696
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7227
/proc/meminfo: memFree=32122632/32770624 swapFree=5780/117296
[pid=7221] ppid=7218 vsize=27696 CPUtime=282.29 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 3944 0 0 0 28229 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 4872742 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 27696
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7235
/proc/meminfo: memFree=32121252/32770624 swapFree=5780/117344
[pid=7221] ppid=7218 vsize=27696 CPUtime=342.29 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 4215 0 0 0 34229 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 4891650 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 27696
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7258
/proc/meminfo: memFree=32120440/32770624 swapFree=5780/117388
[pid=7221] ppid=7218 vsize=27696 CPUtime=402.28 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 4486 0 0 0 40228 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 5123296 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 27696
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 7259
/proc/meminfo: memFree=32120728/32770624 swapFree=5780/117440
[pid=7221] ppid=7218 vsize=27696 CPUtime=462.28 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 4757 0 0 0 46228 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 4889064 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 27696
[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 7260
/proc/meminfo: memFree=32120848/32770624 swapFree=5780/117476
[pid=7221] ppid=7218 vsize=27696 CPUtime=522.28 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 5028 0 0 0 52228 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 4889075 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 27696
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7261
/proc/meminfo: memFree=32121356/32770624 swapFree=5780/117524
[pid=7221] ppid=7218 vsize=27696 CPUtime=582.28 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 5299 0 0 0 58228 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 4872795 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 27696
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.06 2.04 2.05 3/182 7292
/proc/meminfo: memFree=32119824/32770624 swapFree=5780/118160
[pid=7221] ppid=7218 vsize=27696 CPUtime=1542.27 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 9428 0 0 0 154227 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 4889075 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 27696
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 7293
/proc/meminfo: memFree=32119840/32770624 swapFree=5780/118200
[pid=7221] ppid=7218 vsize=27696 CPUtime=1602.26 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 9669 0 0 0 160226 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 4889075 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 27696
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 7294
/proc/meminfo: memFree=32119968/32770624 swapFree=5780/118232
[pid=7221] ppid=7218 vsize=27696 CPUtime=1662.26 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 9940 0 0 0 166226 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 4889078 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 27696
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 7295
/proc/meminfo: memFree=32120280/32770624 swapFree=5780/118268
[pid=7221] ppid=7218 vsize=27696 CPUtime=1722.26 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 10187 0 0 0 172226 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 5115984 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 27696
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 7296
/proc/meminfo: memFree=32120120/32770624 swapFree=5780/118304
[pid=7221] ppid=7218 vsize=27696 CPUtime=1782.26 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 10434 0 0 0 178226 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 4889118 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 27696
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7298
/proc/meminfo: memFree=32120392/32770624 swapFree=5780/118340
[pid=7221] ppid=7218 vsize=27696 CPUtime=1842.26 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 10705 0 0 0 184226 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 5140573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 1842.26
Current children cumulated vsize (KiB) 27696
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7299
/proc/meminfo: memFree=32120248/32770624 swapFree=5780/118372
[pid=7221] ppid=7218 vsize=27696 CPUtime=1902.25 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 10920 0 0 0 190225 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 4889008 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 1902.25
Current children cumulated vsize (KiB) 27696
[startup+1962.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 7300
/proc/meminfo: memFree=32120380/32770624 swapFree=5780/118416
[pid=7221] ppid=7218 vsize=27696 CPUtime=1962.25 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 11136 0 0 0 196225 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 5126280 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 1962.25
Current children cumulated vsize (KiB) 27696
[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 7302
/proc/meminfo: memFree=32120156/32770624 swapFree=5780/118452
[pid=7221] ppid=7218 vsize=27696 CPUtime=2022.25 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 11450 0 0 0 202225 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 4889064 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 2022.25
Current children cumulated vsize (KiB) 27696
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7303
/proc/meminfo: memFree=32120084/32770624 swapFree=5780/118488
[pid=7221] ppid=7218 vsize=27696 CPUtime=2082.26 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 11696 0 0 0 208226 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 4889129 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 2082.26
Current children cumulated vsize (KiB) 27696
[startup+2142.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 7311
/proc/meminfo: memFree=32120696/32770624 swapFree=5780/118528
[pid=7221] ppid=7218 vsize=27696 CPUtime=2142.25 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 11942 0 0 0 214225 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 4892478 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 2142.25
Current children cumulated vsize (KiB) 27696
[startup+2202.31 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 7312
/proc/meminfo: memFree=32120376/32770624 swapFree=5780/118564
[pid=7221] ppid=7218 vsize=27696 CPUtime=2202.25 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 12187 0 0 0 220225 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 5136679 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 2202.25
Current children cumulated vsize (KiB) 27696
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7313
/proc/meminfo: memFree=32120184/32770624 swapFree=5780/118596
[pid=7221] ppid=7218 vsize=27696 CPUtime=2262.25 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 12458 0 0 0 226225 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 5131623 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 2262.25
Current children cumulated vsize (KiB) 27696
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7314
/proc/meminfo: memFree=32119876/32770624 swapFree=5780/118628
[pid=7221] ppid=7218 vsize=27696 CPUtime=2322.25 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 12690 0 0 0 232225 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 4892924 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 2322.25
Current children cumulated vsize (KiB) 27696
[startup+2382.3 s]
/proc/loadavg: 1.95 2.00 2.04 3/182 8108
/proc/meminfo: memFree=32111852/32770624 swapFree=5780/119068
[pid=7221] ppid=7218 vsize=27696 CPUtime=2382.24 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 12915 0 0 0 238224 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 4889129 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 2382.24
Current children cumulated vsize (KiB) 27696
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.1 s]
/proc/loadavg: 1.96 2.00 2.04 3/182 8108
/proc/meminfo: memFree=32111920/32770624 swapFree=5780/119092
[pid=7221] ppid=7218 vsize=27696 CPUtime=2400.04 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 13140 0 0 0 240004 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 4889008 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 27696
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 7221 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.1 s]
/proc/loadavg: 1.96 2.00 2.04 3/182 8108
/proc/meminfo: memFree=32111920/32770624 swapFree=5780/119092
[pid=7221] ppid=7218 vsize=27696 CPUtime=2400.04 cores=0,2,4,6
/proc/7221/stat : 7221 (cosoco) R 7218 7221 3574 0 -1 4202496 13140 0 0 0 240004 0 0 0 20 0 1 0 1809750 28360704 1074 33554432000 4194304 5744392 140730922592240 140730922589640 4889008 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 22544384 140730922595521 140730922595651 140730922595651 140730922598350 0
/proc/7221/statm: 6924 1074 741 379 0 343 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 27696
Child status: 1
Real time (s): 2400.1
CPU time (s): 2400.05
CPU user time (s): 2400.05
CPU system time (s): 0.003999
CPU usage (%): 99.998
Max. virtual memory (cumulated for all children) (KiB): 27696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.003999
maximum resident set size= 4340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13169
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= 12
involuntary context switches= 3007
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.14574 second user time and 7.82245 second system time
The end