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-4240439-1500636650/watcher-4240439-1500636650 -o /tmp/evaluation-result-4240439-1500636650/solver-4240439-1500636650 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1500623779-17770 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240439-1500636650.xml
pid=21719
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: 1.92 2.00 2.04 3/243 21722
/proc/meminfo: memFree=31552132/32770624 swapFree=6172/292780
[pid=21722] ppid=21719 vsize=27248 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 1025 0 0 0 1 0 0 0 20 0 1 0 16943940 27901952 839 33554432000 4194304 5970956 140723387369216 140723387365864 139794066377701 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 6812 839 703 434 0 176 0
[startup+0.100123 s]
/proc/loadavg: 1.92 2.00 2.04 3/243 21722
/proc/meminfo: memFree=31552132/32770624 swapFree=6172/292780
[pid=21722] ppid=21719 vsize=31072 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 2061 0 0 0 9 0 0 0 20 0 1 0 16943940 31817728 1897 33554432000 4194304 5970956 140723387369216 140723387362312 139794066377701 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 7768 1897 801 434 0 1132 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31072
[startup+0.20038 s]
/proc/loadavg: 1.92 2.00 2.04 3/243 21722
/proc/meminfo: memFree=31552132/32770624 swapFree=6172/292780
[pid=21722] ppid=21719 vsize=33784 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 2739 0 0 0 19 0 0 0 20 0 1 0 16943940 34594816 2573 33554432000 4194304 5970956 140723387369216 140723387362312 139794066377701 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 8446 2573 801 434 0 1810 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 33784
[startup+0.300352 s]
/proc/loadavg: 1.92 2.00 2.04 3/243 21722
/proc/meminfo: memFree=31552132/32770624 swapFree=6172/292780
[pid=21722] ppid=21719 vsize=37012 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 3549 0 0 0 29 0 0 0 20 0 1 0 16943940 37900288 3348 33554432000 4194304 5970956 140723387369216 140723387362216 139794066377701 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 9253 3348 801 434 0 2617 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37012
[startup+0.700341 s]
/proc/loadavg: 1.92 2.00 2.04 3/243 21722
/proc/meminfo: memFree=31552132/32770624 swapFree=6172/292780
[pid=21722] ppid=21719 vsize=52876 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 7563 0 0 0 68 1 0 0 20 0 1 0 16943940 54145024 7396 33554432000 4194304 5970956 140723387369216 140723387366184 139794066377701 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 13219 7396 841 434 0 6583 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52876
[startup+1.50026 s]
/proc/loadavg: 1.92 2.00 2.04 3/244 21723
/proc/meminfo: memFree=31524732/32770624 swapFree=6172/292740
[pid=21722] ppid=21719 vsize=57364 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 8681 0 0 0 148 1 0 0 20 0 1 0 16943940 58740736 8518 33554432000 4194304 5970956 140723387369216 140723387366184 4961411 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 14341 8518 841 434 0 7705 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 57364
[startup+3.10027 s]
/proc/loadavg: 1.92 2.00 2.04 3/244 21723
/proc/meminfo: memFree=31518660/32770624 swapFree=6172/292868
[pid=21722] ppid=21719 vsize=64360 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 11159 0 0 0 307 2 0 0 20 0 1 0 16943940 65904640 10237 33554432000 4194304 5970956 140723387369216 140723387366184 139794066377701 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 16090 10237 841 434 0 9454 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 64360
[startup+6.30028 s]
/proc/loadavg: 1.92 2.00 2.04 3/244 21723
/proc/meminfo: memFree=31499804/32770624 swapFree=6172/292816
[pid=21722] ppid=21719 vsize=82312 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 16606 0 0 0 627 2 0 0 20 0 1 0 16943940 84287488 14737 33554432000 4194304 5970956 140723387369216 140723387366184 139794066377701 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 20578 14737 841 434 0 13942 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82312
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/244 21723
/proc/meminfo: memFree=31463448/32770624 swapFree=6172/292796
[pid=21722] ppid=21719 vsize=116104 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 26519 0 0 0 1264 4 0 0 20 0 1 0 16943940 118890496 23183 33554432000 4194304 5970956 140723387369216 140723387366184 139794066377701 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 29026 23183 842 434 0 22390 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 116104
[startup+25.5003 s]
/proc/loadavg: 1.94 2.00 2.04 3/244 21723
/proc/meminfo: memFree=31394400/32770624 swapFree=6172/292808
[pid=21722] ppid=21719 vsize=185668 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 47284 0 0 0 2542 6 0 0 20 0 1 0 16943940 190124032 40542 33554432000 4194304 5970956 140723387369216 140723387366184 4964777 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 46417 40542 842 434 0 39781 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 185668
[startup+51.1003 s]
/proc/loadavg: 1.96 2.00 2.04 3/244 21723
/proc/meminfo: memFree=31257616/32770624 swapFree=6172/292820
[pid=21722] ppid=21719 vsize=320836 CPUtime=51.08 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 84672 0 0 0 5096 12 0 0 20 0 1 0 16943940 328536064 74379 33554432000 4194304 5970956 140723387369216 140723387366184 4964768 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 80209 74379 842 434 0 73573 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 320836
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/244 21724
/proc/meminfo: memFree=31212532/32770624 swapFree=6172/292852
[pid=21722] ppid=21719 vsize=364000 CPUtime=102.28 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 163630 0 0 0 10210 18 0 0 20 0 1 0 16943940 372736000 85181 33554432000 4194304 5970956 140723387369216 140723387366184 5098954 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 91000 85181 843 434 0 84364 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 364000
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/244 21725
/proc/meminfo: memFree=31207708/32770624 swapFree=6172/292896
[pid=21722] ppid=21719 vsize=364264 CPUtime=162.25 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 177050 0 0 0 16207 18 0 0 20 0 1 0 16943940 373006336 85237 33554432000 4194304 5970956 140723387369216 140723387366088 5070480 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 91066 85237 843 434 0 84430 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 364264
[startup+222.308 s]
/proc/loadavg: 2.00 2.00 2.04 3/244 21726
/proc/meminfo: memFree=31207320/32770624 swapFree=6172/292932
[pid=21722] ppid=21719 vsize=364528 CPUtime=222.25 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 199423 0 0 0 22205 20 0 0 20 0 1 0 16943940 373276672 85303 33554432000 4194304 5970956 140723387369216 140723387366248 4964452 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 91132 85303 843 434 0 84496 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 364528
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/243 21727
/proc/meminfo: memFree=31205012/32770624 swapFree=6172/292960
[pid=21722] ppid=21719 vsize=364924 CPUtime=282.23 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 213132 0 0 0 28202 21 0 0 20 0 1 0 16943940 373682176 85430 33554432000 4194304 5970956 140723387369216 140723387366104 5070529 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 91231 85430 843 434 0 84595 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 364924
[startup+342.3 s]
/proc/loadavg: 2.05 2.01 2.04 3/243 21728
/proc/meminfo: memFree=31201968/32770624 swapFree=6172/292996
[pid=21722] ppid=21719 vsize=365320 CPUtime=342.21 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 216779 0 0 0 34200 21 0 0 20 0 1 0 16943940 374087680 85522 33554432000 4194304 5970956 140723387369216 140723387366248 5070523 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 91330 85522 843 434 0 84694 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 365320
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.04 3/243 21729
/proc/meminfo: memFree=31199052/32770624 swapFree=6172/293032
[pid=21722] ppid=21719 vsize=366376 CPUtime=402.2 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 217112 0 0 0 40199 21 0 0 20 0 1 0 16943940 375169024 85780 33554432000 4194304 5970956 140723387369216 140723387366104 5070487 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 91594 85780 843 434 0 84958 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 366376
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/243 21730
/proc/meminfo: memFree=31195332/32770624 swapFree=6172/293072
[pid=21722] ppid=21719 vsize=367172 CPUtime=462.18 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 217487 0 0 0 46197 21 0 0 20 0 1 0 16943940 375984128 85939 33554432000 4194304 5970956 140723387369216 140723387366248 5098954 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 91793 85939 843 434 0 85157 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 367172
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/243 21731
/proc/meminfo: memFree=31189620/32770624 swapFree=6172/293108
[pid=21722] ppid=21719 vsize=368632 CPUtime=522.17 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 217947 0 0 0 52196 21 0 0 20 0 1 0 16943940 377479168 86322 33554432000 4194304 5970956 140723387369216 140723387366088 5098948 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 92158 86322 843 434 0 85522 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 368632
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/243 21739
/proc/meminfo: memFree=31185388/32770624 swapFree=6172/293140
[pid=21722] ppid=21719 vsize=369828 CPUtime=582.16 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 218358 0 0 0 58195 21 0 0 20 0 1 0 16943940 378703872 86591 33554432000 4194304 5970956 140723387369216 140723387366248 5070512 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 92457 86591 843 434 0 85821 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 369828
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 21764
/proc/meminfo: memFree=31152436/32770624 swapFree=6172/293756
[pid=21722] ppid=21719 vsize=400848 CPUtime=1541.98 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 227526 0 0 0 154175 23 0 0 20 0 1 0 16943940 410468352 94339 33554432000 4194304 5970956 140723387369216 140723387366088 4964768 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 100212 94339 843 434 0 93576 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 400848
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 21765
/proc/meminfo: memFree=31150304/32770624 swapFree=6172/293796
[pid=21722] ppid=21719 vsize=403488 CPUtime=1601.96 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 228650 0 0 0 160173 23 0 0 20 0 1 0 16943940 413171712 95048 33554432000 4194304 5970956 140723387369216 140723387366104 4961411 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 100872 95048 843 434 0 94236 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 403488
[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 21767
/proc/meminfo: memFree=31147452/32770624 swapFree=6172/293844
[pid=21722] ppid=21719 vsize=403488 CPUtime=1661.95 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 228752 0 0 0 166172 23 0 0 20 0 1 0 16943940 413171712 95048 33554432000 4194304 5970956 140723387369216 140723387366104 5098954 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 100872 95048 843 434 0 94236 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 403488
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 21768
/proc/meminfo: memFree=31147680/32770624 swapFree=6172/293884
[pid=21722] ppid=21719 vsize=403488 CPUtime=1721.94 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 228840 0 0 0 172171 23 0 0 20 0 1 0 16943940 413171712 95048 33554432000 4194304 5970956 140723387369216 140723387366104 4964784 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 100872 95048 843 434 0 94236 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 403488
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 21776
/proc/meminfo: memFree=31138880/32770624 swapFree=6172/293892
[pid=21722] ppid=21719 vsize=403488 CPUtime=1781.93 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 228946 0 0 0 178170 23 0 0 20 0 1 0 16943940 413171712 95048 33554432000 4194304 5970956 140723387369216 140723387366104 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 100872 95048 843 434 0 94236 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 403488
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 21799
/proc/meminfo: memFree=31138652/32770624 swapFree=6172/293928
[pid=21722] ppid=21719 vsize=403488 CPUtime=1841.92 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 229051 0 0 0 184169 23 0 0 20 0 1 0 16943940 413171712 95048 33554432000 4194304 5970956 140723387369216 140723387366104 5052093 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 100872 95048 843 434 0 94236 0
Current children cumulated CPU time (s) 1841.92
Current children cumulated vsize (KiB) 403488
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 21800
/proc/meminfo: memFree=31139848/32770624 swapFree=6172/293972
[pid=21722] ppid=21719 vsize=403488 CPUtime=1901.91 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 229174 0 0 0 190168 23 0 0 20 0 1 0 16943940 413171712 95048 33554432000 4194304 5970956 140723387369216 140723387366104 4961411 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 100872 95048 843 434 0 94236 0
Current children cumulated CPU time (s) 1901.91
Current children cumulated vsize (KiB) 403488
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 21801
/proc/meminfo: memFree=31139764/32770624 swapFree=6172/294016
[pid=21722] ppid=21719 vsize=403488 CPUtime=1961.9 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 229261 0 0 0 196167 23 0 0 20 0 1 0 16943940 413171712 95048 33554432000 4194304 5970956 140723387369216 140723387366104 4964452 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 100872 95048 843 434 0 94236 0
Current children cumulated CPU time (s) 1961.9
Current children cumulated vsize (KiB) 403488
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 21802
/proc/meminfo: memFree=31140268/32770624 swapFree=6172/294052
[pid=21722] ppid=21719 vsize=403488 CPUtime=2021.88 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 229382 0 0 0 202165 23 0 0 20 0 1 0 16943940 413171712 95048 33554432000 4194304 5970956 140723387369216 140723387366104 5070523 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 100872 95048 843 434 0 94236 0
Current children cumulated CPU time (s) 2021.88
Current children cumulated vsize (KiB) 403488
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 21803
/proc/meminfo: memFree=31140516/32770624 swapFree=6172/294092
[pid=21722] ppid=21719 vsize=403488 CPUtime=2081.88 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 229489 0 0 0 208165 23 0 0 20 0 1 0 16943940 413171712 95048 33554432000 4194304 5970956 140723387369216 140723387366104 4964452 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 100872 95048 843 434 0 94236 0
Current children cumulated CPU time (s) 2081.88
Current children cumulated vsize (KiB) 403488
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 21804
/proc/meminfo: memFree=31138752/32770624 swapFree=6172/294128
[pid=21722] ppid=21719 vsize=403488 CPUtime=2141.86 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 229595 0 0 0 214163 23 0 0 20 0 1 0 16943940 413171712 95048 33554432000 4194304 5970956 140723387369216 140723387366104 4961400 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 100872 95048 843 434 0 94236 0
Current children cumulated CPU time (s) 2141.86
Current children cumulated vsize (KiB) 403488
[startup+2202.31 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 21805
/proc/meminfo: memFree=31139216/32770624 swapFree=6172/294168
[pid=21722] ppid=21719 vsize=403488 CPUtime=2201.86 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 229701 0 0 0 220163 23 0 0 20 0 1 0 16943940 413171712 95048 33554432000 4194304 5970956 140723387369216 140723387366104 5098954 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 100872 95048 843 434 0 94236 0
Current children cumulated CPU time (s) 2201.86
Current children cumulated vsize (KiB) 403488
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 21806
/proc/meminfo: memFree=31139028/32770624 swapFree=6172/294212
[pid=21722] ppid=21719 vsize=403488 CPUtime=2261.84 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 229807 0 0 0 226161 23 0 0 20 0 1 0 16943940 413171712 95048 33554432000 4194304 5970956 140723387369216 140723387366104 4964424 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 100872 95048 843 434 0 94236 0
Current children cumulated CPU time (s) 2261.84
Current children cumulated vsize (KiB) 403488
[startup+2322.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/243 21807
/proc/meminfo: memFree=31139496/32770624 swapFree=6172/294248
[pid=21722] ppid=21719 vsize=403488 CPUtime=2321.83 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 229912 0 0 0 232160 23 0 0 20 0 1 0 16943940 413171712 95048 33554432000 4194304 5970956 140723387369216 140723387366104 4964452 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 100872 95048 843 434 0 94236 0
Current children cumulated CPU time (s) 2321.83
Current children cumulated vsize (KiB) 403488
[startup+2382.3 s]
/proc/loadavg: 1.92 2.00 2.04 3/243 22171
/proc/meminfo: memFree=31364308/32770624 swapFree=6172/294496
[pid=21722] ppid=21719 vsize=403488 CPUtime=2381.82 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 230000 0 0 0 238159 23 0 0 20 0 1 0 16943940 413171712 95048 33554432000 4194304 5970956 140723387369216 140723387366104 4964777 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 100872 95048 843 434 0 94236 0
Current children cumulated CPU time (s) 2381.82
Current children cumulated vsize (KiB) 403488
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.5 s]
/proc/loadavg: 1.94 2.00 2.04 3/243 22171
/proc/meminfo: memFree=31364308/32770624 swapFree=6172/294520
[pid=21722] ppid=21719 vsize=403488 CPUtime=2400.01 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 230019 0 0 0 239978 23 0 0 20 0 1 0 16943940 413171712 95048 33554432000 4194304 5970956 140723387369216 140723387366104 5098954 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 100872 95048 843 434 0 94236 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 403488
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 21722 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.5 s]
/proc/loadavg: 1.94 2.00 2.04 3/243 22171
/proc/meminfo: memFree=31364308/32770624 swapFree=6172/294520
[pid=21722] ppid=21719 vsize=403488 CPUtime=2400.01 cores=0,2,4,6,8,10,12,14
/proc/21722/stat : 21722 (cosoco) R 21719 21722 17739 0 -1 4202496 230019 0 0 0 239978 23 0 0 20 0 1 0 16943940 413171712 95048 33554432000 4194304 5970956 140723387369216 140723387366104 5098954 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11890688 140723387376833 140723387376963 140723387376963 140723387379662 0
/proc/21722/statm: 100872 95048 843 434 0 94236 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 403488
Child status: 1
Real time (s): 2400.5
CPU time (s): 2400.03
CPU user time (s): 2399.79
CPU system time (s): 0.237953
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 403488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.79
system time used= 0.237953
maximum resident set size= 380236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230047
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= 18
involuntary context switches= 121759
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.60082 second user time and 13.2842 second system time
The end