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-4252169-1500920560/watcher-4252169-1500920560 -o /tmp/evaluation-result-4252169-1500920560/solver-4252169-1500920560 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500914922-3829 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4252169-1500920560.xml
pid=4927
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 2/182 4930
/proc/meminfo: memFree=32130048/32770624 swapFree=5868/115348
[pid=4930] ppid=4927 vsize=27036 CPUtime=0 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 1001 0 0 0 0 0 0 0 20 0 1 0 1615094 27684864 825 33554432000 4194304 5744392 140734007423904 140734007420552 5249036 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 6759 825 686 379 0 178 0
[startup+0.100158 s]
/proc/loadavg: 2.00 2.01 2.05 2/182 4930
/proc/meminfo: memFree=32130048/32770624 swapFree=5868/115348
[pid=4930] ppid=4927 vsize=27656 CPUtime=0.09 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 1236 0 0 0 9 0 0 0 20 0 1 0 1615094 28319744 1071 33554432000 4194304 5744392 140734007423904 140734007420552 140189425294309 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 6914 1071 775 379 0 333 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27656
[startup+0.200258 s]
/proc/loadavg: 2.00 2.01 2.05 2/182 4930
/proc/meminfo: memFree=32130048/32770624 swapFree=5868/115348
[pid=4930] ppid=4927 vsize=27908 CPUtime=0.19 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 1330 0 0 0 19 0 0 0 20 0 1 0 1615094 28577792 1166 33554432000 4194304 5744392 140734007423904 140734007420552 4873235 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 6977 1166 812 379 0 396 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27908
[startup+0.300245 s]
/proc/loadavg: 2.00 2.01 2.05 2/182 4930
/proc/meminfo: memFree=32130048/32770624 swapFree=5868/115348
[pid=4930] ppid=4927 vsize=28040 CPUtime=0.29 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 1367 0 0 0 29 0 0 0 20 0 1 0 1615094 28712960 1166 33554432000 4194304 5744392 140734007423904 140734007420552 140189425294309 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7010 1166 812 379 0 429 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28040
[startup+0.700214 s]
/proc/loadavg: 2.00 2.01 2.05 2/182 4930
/proc/meminfo: memFree=32130048/32770624 swapFree=5868/115348
[pid=4930] ppid=4927 vsize=28172 CPUtime=0.69 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 1421 0 0 0 69 0 0 0 20 0 1 0 1615094 28848128 1232 33554432000 4194304 5744392 140734007423904 140734007420552 4911496 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7043 1232 812 379 0 462 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28172
[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 4931
/proc/meminfo: memFree=32127324/32770624 swapFree=5868/115332
[pid=4930] ppid=4927 vsize=28304 CPUtime=1.49 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 1432 0 0 0 149 0 0 0 20 0 1 0 1615094 28983296 1232 33554432000 4194304 5744392 140734007423904 140734007421304 4908666 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7076 1232 812 379 0 495 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28304
[startup+3.10021 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 4931
/proc/meminfo: memFree=32127000/32770624 swapFree=5868/115368
[pid=4930] ppid=4927 vsize=28304 CPUtime=3.09 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 1839 0 0 0 309 0 0 0 20 0 1 0 1615094 28983296 1276 33554432000 4194304 5744392 140734007423904 140734007421304 4908336 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7076 1276 812 379 0 495 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28304
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 4931
/proc/meminfo: memFree=32126764/32770624 swapFree=5868/115380
[pid=4930] ppid=4927 vsize=28304 CPUtime=6.29 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 2260 0 0 0 629 0 0 0 20 0 1 0 1615094 28983296 1293 33554432000 4194304 5744392 140734007423904 140734007421304 4910680 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7076 1293 812 379 0 495 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28304
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 4931
/proc/meminfo: memFree=32126656/32770624 swapFree=5868/115388
[pid=4930] ppid=4927 vsize=28304 CPUtime=12.69 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 2682 0 0 0 1269 0 0 0 20 0 1 0 1615094 28983296 1295 33554432000 4194304 5744392 140734007423904 140734007421304 4994076 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7076 1295 812 379 0 495 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28304
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 4931
/proc/meminfo: memFree=32126656/32770624 swapFree=5868/115400
[pid=4930] ppid=4927 vsize=28436 CPUtime=25.49 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 3523 0 0 0 2549 0 0 0 20 0 1 0 1615094 29118464 1300 33554432000 4194304 5744392 140734007423904 140734007421304 4908289 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1300 812 379 0 528 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28436
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 4931
/proc/meminfo: memFree=32127044/32770624 swapFree=5868/115424
[pid=4930] ppid=4927 vsize=28436 CPUtime=51.09 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 3940 0 0 0 5109 0 0 0 20 0 1 0 1615094 29118464 1301 33554432000 4194304 5744392 140734007423904 140734007421304 4914185 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1301 812 379 0 528 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 28436
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 4932
/proc/meminfo: memFree=32127024/32770624 swapFree=5868/115504
[pid=4930] ppid=4927 vsize=28436 CPUtime=102.29 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 4367 0 0 0 10229 0 0 0 20 0 1 0 1615094 29118464 1301 33554432000 4194304 5744392 140734007423904 140734007421304 4917618 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1301 812 379 0 528 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 28436
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 4934
/proc/meminfo: memFree=32126440/32770624 swapFree=5868/115580
[pid=4930] ppid=4927 vsize=28436 CPUtime=162.28 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 4790 0 0 0 16228 0 0 0 20 0 1 0 1615094 29118464 1303 33554432000 4194304 5744392 140734007423904 140734007421304 4914397 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1303 812 379 0 528 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 28436
[startup+222.306 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 4935
/proc/meminfo: memFree=32126804/32770624 swapFree=5868/115620
[pid=4930] ppid=4927 vsize=28436 CPUtime=222.28 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 5209 0 0 0 22228 0 0 0 20 0 1 0 1615094 29118464 1303 33554432000 4194304 5744392 140734007423904 140734007421304 4905048 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1303 812 379 0 528 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 28436
[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 4936
/proc/meminfo: memFree=32126896/32770624 swapFree=5868/115676
[pid=4930] ppid=4927 vsize=28436 CPUtime=282.28 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 5633 0 0 0 28228 0 0 0 20 0 1 0 1615094 29118464 1305 33554432000 4194304 5744392 140734007423904 140734007421304 5127223 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1305 812 379 0 528 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 28436
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4938
/proc/meminfo: memFree=32126648/32770624 swapFree=5868/115724
[pid=4930] ppid=4927 vsize=28436 CPUtime=342.27 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 6053 0 0 0 34227 0 0 0 20 0 1 0 1615094 29118464 1305 33554432000 4194304 5744392 140734007423904 140734007421304 4970576 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1305 812 379 0 528 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 28436
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 4939
/proc/meminfo: memFree=32126424/32770624 swapFree=5868/115780
[pid=4930] ppid=4927 vsize=28436 CPUtime=402.27 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 6473 0 0 0 40227 0 0 0 20 0 1 0 1615094 29118464 1305 33554432000 4194304 5744392 140734007423904 140734007421304 4910704 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1305 812 379 0 528 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 28436
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4947
/proc/meminfo: memFree=32126000/32770624 swapFree=5868/115840
[pid=4930] ppid=4927 vsize=28436 CPUtime=462.27 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 6890 0 0 0 46227 0 0 0 20 0 1 0 1615094 29118464 1305 33554432000 4194304 5744392 140734007423904 140734007421304 4998896 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1305 812 379 0 528 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 28436
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4948
/proc/meminfo: memFree=32125660/32770624 swapFree=5868/115868
[pid=4930] ppid=4927 vsize=28436 CPUtime=522.27 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 7321 0 0 0 52227 0 0 0 20 0 1 0 1615094 29118464 1305 33554432000 4194304 5744392 140734007423904 140734007421304 4916898 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1305 812 379 0 528 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 28436
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4949
/proc/meminfo: memFree=32125784/32770624 swapFree=5868/115908
[pid=4930] ppid=4927 vsize=28436 CPUtime=582.26 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 7745 0 0 0 58226 0 0 0 20 0 1 0 1615094 29118464 1305 33554432000 4194304 5744392 140734007423904 140734007421304 4952933 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1305 812 379 0 528 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 28436
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4971
/proc/meminfo: memFree=32125700/32770624 swapFree=5868/116500
[pid=4930] ppid=4927 vsize=28436 CPUtime=1482.22 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 13699 0 0 0 148222 0 0 0 20 0 1 0 1615094 29118464 1307 33554432000 4194304 5744392 140734007423904 140734007421304 4911033 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1307 812 379 0 528 0
Current children cumulated CPU time (s) 1482.22
Current children cumulated vsize (KiB) 28436
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4972
/proc/meminfo: memFree=32125808/32770624 swapFree=5868/116528
[pid=4930] ppid=4927 vsize=28436 CPUtime=1542.22 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 14061 0 0 0 154222 0 0 0 20 0 1 0 1615094 29118464 1307 33554432000 4194304 5744392 140734007423904 140734007421304 4998896 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1307 812 379 0 528 0
Current children cumulated CPU time (s) 1542.22
Current children cumulated vsize (KiB) 28436
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4973
/proc/meminfo: memFree=32125700/32770624 swapFree=5868/116576
[pid=4930] ppid=4927 vsize=28436 CPUtime=1602.21 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 14487 0 0 0 160221 0 0 0 20 0 1 0 1615094 29118464 1307 33554432000 4194304 5744392 140734007423904 140734007421304 4952980 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1307 812 379 0 528 0
Current children cumulated CPU time (s) 1602.21
Current children cumulated vsize (KiB) 28436
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4981
/proc/meminfo: memFree=32124492/32770624 swapFree=5868/116620
[pid=4930] ppid=4927 vsize=28436 CPUtime=1662.21 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 14847 0 0 0 166221 0 0 0 20 0 1 0 1615094 29118464 1307 33554432000 4194304 5744392 140734007423904 140734007421304 4914576 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1307 812 379 0 528 0
Current children cumulated CPU time (s) 1662.21
Current children cumulated vsize (KiB) 28436
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 4982
/proc/meminfo: memFree=32124496/32770624 swapFree=5868/116656
[pid=4930] ppid=4927 vsize=28436 CPUtime=1722.21 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 15197 0 0 0 172221 0 0 0 20 0 1 0 1615094 29118464 1307 33554432000 4194304 5744392 140734007423904 140734007421304 4952933 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1307 812 379 0 528 0
Current children cumulated CPU time (s) 1722.21
Current children cumulated vsize (KiB) 28436
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 4983
/proc/meminfo: memFree=32124248/32770624 swapFree=5868/116680
[pid=4930] ppid=4927 vsize=28436 CPUtime=1782.21 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 15606 0 0 0 178221 0 0 0 20 0 1 0 1615094 29118464 1307 33554432000 4194304 5744392 140734007423904 140734007421304 4910367 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1307 812 379 0 528 0
Current children cumulated CPU time (s) 1782.21
Current children cumulated vsize (KiB) 28436
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 4984
/proc/meminfo: memFree=32125548/32770624 swapFree=5868/116712
[pid=4930] ppid=4927 vsize=28436 CPUtime=1842.2 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 15951 0 0 0 184220 0 0 0 20 0 1 0 1615094 29118464 1307 33554432000 4194304 5744392 140734007423904 140734007421304 4913888 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1307 812 379 0 528 0
Current children cumulated CPU time (s) 1842.2
Current children cumulated vsize (KiB) 28436
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4986
/proc/meminfo: memFree=32125192/32770624 swapFree=5868/116752
[pid=4930] ppid=4927 vsize=28436 CPUtime=1902.2 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 16378 0 0 0 190220 0 0 0 20 0 1 0 1615094 29118464 1308 33554432000 4194304 5744392 140734007423904 140734007421304 4971255 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1308 812 379 0 528 0
Current children cumulated CPU time (s) 1902.2
Current children cumulated vsize (KiB) 28436
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4988
/proc/meminfo: memFree=32125272/32770624 swapFree=5868/116792
[pid=4930] ppid=4927 vsize=28436 CPUtime=1962.2 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 16730 0 0 0 196220 0 0 0 20 0 1 0 1615094 29118464 1308 33554432000 4194304 5744392 140734007423904 140734007421304 4910344 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1308 812 379 0 528 0
Current children cumulated CPU time (s) 1962.2
Current children cumulated vsize (KiB) 28436
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4989
/proc/meminfo: memFree=32125356/32770624 swapFree=5868/116824
[pid=4930] ppid=4927 vsize=28436 CPUtime=2022.2 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 17089 0 0 0 202220 0 0 0 20 0 1 0 1615094 29118464 1308 33554432000 4194304 5744392 140734007423904 140734007421304 4910364 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1308 812 379 0 528 0
Current children cumulated CPU time (s) 2022.2
Current children cumulated vsize (KiB) 28436
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4990
/proc/meminfo: memFree=32125348/32770624 swapFree=5868/116852
[pid=4930] ppid=4927 vsize=28436 CPUtime=2082.2 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 17512 0 0 0 208220 0 0 0 20 0 1 0 1615094 29118464 1308 33554432000 4194304 5744392 140734007423904 140734007421304 4971283 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1308 812 379 0 528 0
Current children cumulated CPU time (s) 2082.2
Current children cumulated vsize (KiB) 28436
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4992
/proc/meminfo: memFree=32125532/32770624 swapFree=5868/116892
[pid=4930] ppid=4927 vsize=28436 CPUtime=2142.19 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 17832 0 0 0 214219 0 0 0 20 0 1 0 1615094 29118464 1308 33554432000 4194304 5744392 140734007423904 140734007421304 4910373 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1308 812 379 0 528 0
Current children cumulated CPU time (s) 2142.19
Current children cumulated vsize (KiB) 28436
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4993
/proc/meminfo: memFree=32125532/32770624 swapFree=5868/116940
[pid=4930] ppid=4927 vsize=28436 CPUtime=2202.19 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 18167 0 0 0 220219 0 0 0 20 0 1 0 1615094 29118464 1308 33554432000 4194304 5744392 140734007423904 140734007421304 4916907 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1308 812 379 0 528 0
Current children cumulated CPU time (s) 2202.19
Current children cumulated vsize (KiB) 28436
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5001
/proc/meminfo: memFree=32124456/32770624 swapFree=5868/116972
[pid=4930] ppid=4927 vsize=28436 CPUtime=2262.18 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 18513 0 0 0 226218 0 0 0 20 0 1 0 1615094 29118464 1308 33554432000 4194304 5744392 140734007423904 140734007421304 4908292 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1308 812 379 0 528 0
Current children cumulated CPU time (s) 2262.18
Current children cumulated vsize (KiB) 28436
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 5/195 5296
/proc/meminfo: memFree=32103384/32770624 swapFree=5868/117140
[pid=4930] ppid=4927 vsize=28436 CPUtime=2322.18 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 18936 0 0 0 232218 0 0 0 20 0 1 0 1615094 29118464 1308 33554432000 4194304 5744392 140734007423904 140734007421304 4913888 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1308 812 379 0 528 0
Current children cumulated CPU time (s) 2322.18
Current children cumulated vsize (KiB) 28436
[startup+2382.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/182 5450
/proc/meminfo: memFree=31722872/32770624 swapFree=5868/117408
[pid=4930] ppid=4927 vsize=28436 CPUtime=2382.18 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 19260 0 0 0 238218 0 0 0 20 0 1 0 1615094 29118464 1308 33554432000 4194304 5744392 140734007423904 140734007421304 4918062 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1308 812 379 0 528 0
Current children cumulated CPU time (s) 2382.18
Current children cumulated vsize (KiB) 28436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.07 2.04 2.05 3/182 5450
/proc/meminfo: memFree=31615704/32770624 swapFree=5868/117428
[pid=4930] ppid=4927 vsize=28436 CPUtime=2400.08 cores=1,3,5,7
/proc/4930/stat : 4930 (cosoco) R 4927 4930 3797 0 -1 4202496 19580 0 0 0 240008 0 0 0 20 0 1 0 1615094 29118464 1308 33554432000 4194304 5744392 140734007423904 140734007421304 4917954 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 38936576 140734007428289 140734007428419 140734007428419 140734007431118 0
/proc/4930/statm: 7109 1308 812 379 0 528 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 28436
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 4930 sig 9
??? kill -4930 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.21
CPU time (s): 2400.09
CPU user time (s): 2400.08
CPU system time (s): 0.007999
CPU usage (%): 99.9953
Max. virtual memory (cumulated for all children) (KiB): 28436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.08
system time used= 0.007999
maximum resident set size= 5276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19607
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= 1835
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.23917 second user time and 8.18913 second system time
The end