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-4242585-1500665181/watcher-4242585-1500665181 -o /tmp/evaluation-result-4242585-1500665181/solver-4242585-1500665181 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500648174-2499 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242585-1500665181.xml 

pid=5228
running on 8 cores: 0,2,4,6,8,10,12,14

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/242 5231
/proc/meminfo: memFree=31920880/32770624 swapFree=5796/220416
[pid=5231] ppid=5228 vsize=27252 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 1021 0 0 0 0 0 0 0 20 0 1 0 1785772 27906048 802 33554432000 4194304 5970956 140734216041488 140734216038136 140701216381925 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 6813 802 698 434 0 177 0

[startup+0.100169 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 5231
/proc/meminfo: memFree=31920880/32770624 swapFree=5796/220416
[pid=5231] ppid=5228 vsize=38708 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 3904 0 0 0 9 0 0 0 20 0 1 0 1785772 39636992 3737 33554432000 4194304 5970956 140734216041488 140734216035864 140701216381925 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 9677 3737 735 434 0 3041 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38708

[startup+0.20036 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 5231
/proc/meminfo: memFree=31920880/32770624 swapFree=5796/220416
[pid=5231] ppid=5228 vsize=61016 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 9549 0 0 0 18 1 0 0 20 0 1 0 1785772 62480384 9345 33554432000 4194304 5970956 140734216041488 140734216028808 5136620 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 15254 9345 737 434 0 8618 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 61016

[startup+0.30031 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 5231
/proc/meminfo: memFree=31920880/32770624 swapFree=5796/220416
[pid=5231] ppid=5228 vsize=66312 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 10840 0 0 0 27 2 0 0 20 0 1 0 1785772 67903488 10665 33554432000 4194304 5970956 140734216041488 140734216038360 140701216451115 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 16578 10665 779 434 0 9942 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 66312

[startup+0.700269 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 5231
/proc/meminfo: memFree=31920880/32770624 swapFree=5796/220416
[pid=5231] ppid=5228 vsize=73956 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 12768 0 0 0 67 2 0 0 20 0 1 0 1785772 75730944 12581 33554432000 4194304 5970956 140734216041488 140734216038232 5047044 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 18489 12581 780 434 0 11853 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73956

[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5232
/proc/meminfo: memFree=31872120/32770624 swapFree=5796/220416
[pid=5231] ppid=5228 vsize=75688 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 13186 0 0 0 147 2 0 0 20 0 1 0 1785772 77504512 12977 33554432000 4194304 5970956 140734216041488 140734216038232 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 18922 12977 780 434 0 12286 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 75688

[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5232
/proc/meminfo: memFree=31869576/32770624 swapFree=5796/220404
[pid=5231] ppid=5228 vsize=77572 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 21385 0 0 0 306 2 0 0 20 0 1 0 1785772 79433728 13493 33554432000 4194304 5970956 140734216041488 140734216038232 5098954 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19393 13493 780 434 0 12757 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 77572

[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5232
/proc/meminfo: memFree=31868048/32770624 swapFree=5796/220400
[pid=5231] ppid=5228 vsize=78652 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 30032 0 0 0 626 3 0 0 20 0 1 0 1785772 80539648 13763 33554432000 4194304 5970956 140734216041488 140734216038360 5045661 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19663 13763 780 434 0 13027 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78652

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5232
/proc/meminfo: memFree=31866560/32770624 swapFree=5796/220408
[pid=5231] ppid=5228 vsize=79192 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 38455 0 0 0 1266 3 0 0 20 0 1 0 1785772 81092608 13922 33554432000 4194304 5970956 140734216041488 140734216038232 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19798 13922 780 434 0 13162 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 79192

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5232
/proc/meminfo: memFree=31866560/32770624 swapFree=5796/220416
[pid=5231] ppid=5228 vsize=79468 CPUtime=25.49 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 53529 0 0 0 2545 4 0 0 20 0 1 0 1785772 81375232 13978 33554432000 4194304 5970956 140734216041488 140734216038232 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19867 13978 780 434 0 13231 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 79468

[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 2.05 3/243 5232
/proc/meminfo: memFree=31866244/32770624 swapFree=5796/220432
[pid=5231] ppid=5228 vsize=79468 CPUtime=51.08 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 61666 0 0 0 5104 4 0 0 20 0 1 0 1785772 81375232 13990 33554432000 4194304 5970956 140734216041488 140734216038232 5136608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19867 13990 780 434 0 13231 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 79468

[startup+102.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 5234
/proc/meminfo: memFree=31863596/32770624 swapFree=5796/220488
[pid=5231] ppid=5228 vsize=79468 CPUtime=102.27 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 69478 0 0 0 10223 4 0 0 20 0 1 0 1785772 81375232 14009 33554432000 4194304 5970956 140734216041488 140734216038232 5136608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19867 14009 780 434 0 13231 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 79468

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/242 5235
/proc/meminfo: memFree=31864724/32770624 swapFree=5796/220524
[pid=5231] ppid=5228 vsize=79468 CPUtime=162.25 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 69722 0 0 0 16221 4 0 0 20 0 1 0 1785772 81375232 14009 33554432000 4194304 5970956 140734216041488 140734216038232 5045692 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19867 14009 780 434 0 13231 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 79468

[startup+222.308 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 5245
/proc/meminfo: memFree=31864532/32770624 swapFree=5796/220560
[pid=5231] ppid=5228 vsize=79468 CPUtime=222.25 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 69964 0 0 0 22221 4 0 0 20 0 1 0 1785772 81375232 14009 33554432000 4194304 5970956 140734216041488 140734216038232 5045308 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19867 14009 780 434 0 13231 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 79468

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 5246
/proc/meminfo: memFree=31865460/32770624 swapFree=5796/220596
[pid=5231] ppid=5228 vsize=79468 CPUtime=282.24 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 70169 0 0 0 28220 4 0 0 20 0 1 0 1785772 81375232 14009 33554432000 4194304 5970956 140734216041488 140734216038232 5093256 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19867 14009 780 434 0 13231 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 79468

[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/244 5247
/proc/meminfo: memFree=31865724/32770624 swapFree=5796/220616
[pid=5231] ppid=5228 vsize=79468 CPUtime=342.23 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 70386 0 0 0 34219 4 0 0 20 0 1 0 1785772 81375232 14009 33554432000 4194304 5970956 140734216041488 140734216038232 5136789 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19867 14009 780 434 0 13231 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 79468

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 5248
/proc/meminfo: memFree=31865272/32770624 swapFree=5796/220644
[pid=5231] ppid=5228 vsize=79468 CPUtime=402.23 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 70606 0 0 0 40219 4 0 0 20 0 1 0 1785772 81375232 14009 33554432000 4194304 5970956 140734216041488 140734216038232 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19867 14009 780 434 0 13231 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 79468

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 5249
/proc/meminfo: memFree=31866376/32770624 swapFree=5796/220672
[pid=5231] ppid=5228 vsize=79600 CPUtime=462.22 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 70834 0 0 0 46218 4 0 0 20 0 1 0 1785772 81510400 14011 33554432000 4194304 5970956 140734216041488 140734216038232 5327850 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19900 14011 780 434 0 13264 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 79600

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 5250
/proc/meminfo: memFree=31866360/32770624 swapFree=5796/220700
[pid=5231] ppid=5228 vsize=79600 CPUtime=522.21 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 71037 0 0 0 52217 4 0 0 20 0 1 0 1785772 81510400 14011 33554432000 4194304 5970956 140734216041488 140734216038232 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19900 14011 780 434 0 13264 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 79600

[startup+582.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/243 5251
/proc/meminfo: memFree=31865716/32770624 swapFree=5796/220724
[pid=5231] ppid=5228 vsize=79600 CPUtime=582.21 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 71236 0 0 0 58217 4 0 0 20 0 1 0 1785772 81510400 14011 33554432000 4194304 5970956 140734216041488 140734216038232 5311648 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19900 14011 780 434 0 13264 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 79600


################
# More data... #
################


[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5347
/proc/meminfo: memFree=31979708/32770624 swapFree=5796/221272
[pid=5231] ppid=5228 vsize=79600 CPUtime=1542.1 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 73611 0 0 0 154206 4 0 0 20 0 1 0 1785772 81510400 14011 33554432000 4194304 5970956 140734216041488 140734216038232 5136608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19900 14011 780 434 0 13264 0
Current children cumulated CPU time (s) 1542.1
Current children cumulated vsize (KiB) 79600

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5348
/proc/meminfo: memFree=31979564/32770624 swapFree=5796/221296
[pid=5231] ppid=5228 vsize=79600 CPUtime=1602.09 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 73656 0 0 0 160205 4 0 0 20 0 1 0 1785772 81510400 14011 33554432000 4194304 5970956 140734216041488 140734216038232 5136608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19900 14011 780 434 0 13264 0
Current children cumulated CPU time (s) 1602.09
Current children cumulated vsize (KiB) 79600

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5349
/proc/meminfo: memFree=31979572/32770624 swapFree=5796/221328
[pid=5231] ppid=5228 vsize=79600 CPUtime=1662.08 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 73701 0 0 0 166204 4 0 0 20 0 1 0 1785772 81510400 14011 33554432000 4194304 5970956 140734216041488 140734216038232 5136560 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19900 14011 780 434 0 13264 0
Current children cumulated CPU time (s) 1662.08
Current children cumulated vsize (KiB) 79600

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5351
/proc/meminfo: memFree=31979308/32770624 swapFree=5796/221364
[pid=5231] ppid=5228 vsize=79600 CPUtime=1722.07 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 73900 0 0 0 172203 4 0 0 20 0 1 0 1785772 81510400 14011 33554432000 4194304 5970956 140734216041488 140734216038232 5098944 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19900 14011 780 434 0 13264 0
Current children cumulated CPU time (s) 1722.07
Current children cumulated vsize (KiB) 79600

[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 5352
/proc/meminfo: memFree=31978424/32770624 swapFree=5796/221396
[pid=5231] ppid=5228 vsize=79600 CPUtime=1782.07 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 73945 0 0 0 178203 4 0 0 20 0 1 0 1785772 81510400 14011 33554432000 4194304 5970956 140734216041488 140734216038232 5047610 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19900 14011 780 434 0 13264 0
Current children cumulated CPU time (s) 1782.07
Current children cumulated vsize (KiB) 79600

[startup+1842.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/243 5353
/proc/meminfo: memFree=31978636/32770624 swapFree=5796/221424
[pid=5231] ppid=5228 vsize=79600 CPUtime=1842.06 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 73990 0 0 0 184202 4 0 0 20 0 1 0 1785772 81510400 14011 33554432000 4194304 5970956 140734216041488 140734216038232 5046674 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19900 14011 780 434 0 13264 0
Current children cumulated CPU time (s) 1842.06
Current children cumulated vsize (KiB) 79600

[startup+1902.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 5355
/proc/meminfo: memFree=31977952/32770624 swapFree=5796/221456
[pid=5231] ppid=5228 vsize=79600 CPUtime=1902.05 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 74191 0 0 0 190201 4 0 0 20 0 1 0 1785772 81510400 14011 33554432000 4194304 5970956 140734216041488 140734216038232 5045692 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19900 14011 780 434 0 13264 0
Current children cumulated CPU time (s) 1902.05
Current children cumulated vsize (KiB) 79600

[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 5356
/proc/meminfo: memFree=31978732/32770624 swapFree=5796/221492
[pid=5231] ppid=5228 vsize=79600 CPUtime=1962.04 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 74239 0 0 0 196200 4 0 0 20 0 1 0 1785772 81510400 14011 33554432000 4194304 5970956 140734216041488 140734216038232 5047044 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19900 14011 780 434 0 13264 0
Current children cumulated CPU time (s) 1962.04
Current children cumulated vsize (KiB) 79600

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 5364
/proc/meminfo: memFree=31977368/32770624 swapFree=5796/221532
[pid=5231] ppid=5228 vsize=79600 CPUtime=2022.04 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 74287 0 0 0 202200 4 0 0 20 0 1 0 1785772 81510400 14011 33554432000 4194304 5970956 140734216041488 140734216038232 5136611 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19900 14011 780 434 0 13264 0
Current children cumulated CPU time (s) 2022.04
Current children cumulated vsize (KiB) 79600

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/245 5389
/proc/meminfo: memFree=31976124/32770624 swapFree=5796/221564
[pid=5231] ppid=5228 vsize=79600 CPUtime=2082.04 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 74478 0 0 0 208200 4 0 0 20 0 1 0 1785772 81510400 14011 33554432000 4194304 5970956 140734216041488 140734216038232 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19900 14011 780 434 0 13264 0
Current children cumulated CPU time (s) 2082.04
Current children cumulated vsize (KiB) 79600

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 5390
/proc/meminfo: memFree=31975452/32770624 swapFree=5796/221596
[pid=5231] ppid=5228 vsize=79600 CPUtime=2142.02 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 74520 0 0 0 214198 4 0 0 20 0 1 0 1785772 81510400 14011 33554432000 4194304 5970956 140734216041488 140734216038232 5136801 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19900 14011 780 434 0 13264 0
Current children cumulated CPU time (s) 2142.02
Current children cumulated vsize (KiB) 79600

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 5391
/proc/meminfo: memFree=31976264/32770624 swapFree=5796/221628
[pid=5231] ppid=5228 vsize=79600 CPUtime=2202.02 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 74562 0 0 0 220198 4 0 0 20 0 1 0 1785772 81510400 14011 33554432000 4194304 5970956 140734216041488 140734216038232 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19900 14011 780 434 0 13264 0
Current children cumulated CPU time (s) 2202.02
Current children cumulated vsize (KiB) 79600

[startup+2262.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/245 5392
/proc/meminfo: memFree=31975392/32770624 swapFree=5796/221656
[pid=5231] ppid=5228 vsize=79600 CPUtime=2262.01 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 74757 0 0 0 226197 4 0 0 20 0 1 0 1785772 81510400 14011 33554432000 4194304 5970956 140734216041488 140734216038232 5136803 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19900 14011 780 434 0 13264 0
Current children cumulated CPU time (s) 2262.01
Current children cumulated vsize (KiB) 79600

[startup+2322.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/245 5393
/proc/meminfo: memFree=31976320/32770624 swapFree=5796/221680
[pid=5231] ppid=5228 vsize=79600 CPUtime=2322 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 74805 0 0 0 232196 4 0 0 20 0 1 0 1785772 81510400 14011 33554432000 4194304 5970956 140734216041488 140734216038232 5045432 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19900 14011 780 434 0 13264 0
Current children cumulated CPU time (s) 2322
Current children cumulated vsize (KiB) 79600

[startup+2382.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/244 5394
/proc/meminfo: memFree=31976520/32770624 swapFree=5796/221708
[pid=5231] ppid=5228 vsize=79600 CPUtime=2381.99 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 74853 0 0 0 238195 4 0 0 20 0 1 0 1785772 81510400 14011 33554432000 4194304 5970956 140734216041488 140734216038232 5136608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19900 14011 780 434 0 13264 0
Current children cumulated CPU time (s) 2381.99
Current children cumulated vsize (KiB) 79600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.02 2.03 2.05 3/244 5394
/proc/meminfo: memFree=31976668/32770624 swapFree=5796/221712
[pid=5231] ppid=5228 vsize=79600 CPUtime=2400 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 74899 0 0 0 239996 4 0 0 20 0 1 0 1785772 81510400 14011 33554432000 4194304 5970956 140734216041488 140734216038232 5047044 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19900 14011 780 434 0 13264 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 79600

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 5231 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.31 s]
/proc/loadavg: 2.02 2.03 2.05 3/244 5394
/proc/meminfo: memFree=31976668/32770624 swapFree=5796/221712
[pid=5231] ppid=5228 vsize=79600 CPUtime=2400 cores=0,2,4,6,8,10,12,14
/proc/5231/stat : 5231 (cosoco) R 5228 5231 2468 0 -1 4202496 74899 0 0 0 239996 4 0 0 20 0 1 0 1785772 81510400 14011 33554432000 4194304 5970956 140734216041488 140734216038232 5047044 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35606528 140734216045761 140734216045891 140734216045891 140734216048590 0
/proc/5231/statm: 19900 14011 780 434 0 13264 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 79600

Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.01
CPU user time (s): 2399.96
CPU system time (s): 0.049994
CPU usage (%): 99.9877
Max. virtual memory (cumulated for all children) (KiB): 79600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.96
system time used= 0.049994
maximum resident set size= 56092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74933
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= 30
involuntary context switches= 120622

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.43006 second user time and 10.8182 second system time

The end