Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
R1: cosoco 1.1 | ? (TO) | 2400.05 | 2401.7 |
Name | SuperSolutions/SuperSolutions-Queens-s1/ SuperQueens-07.xml |
MD5SUM | ad906e83ed0060b79525fa6c279d7f21 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 360 |
Number of constraints | 48510 |
Number of domains | 1 |
Minimum domain size | 180 |
Maximum domain size | 180 |
Distribution of domain sizes | [{"size":180,"count":360}] |
Minimum variable degree | 180 |
Maximum variable degree | 359 |
Distribution of variable degrees | [{"degree":180,"count":180},{"degree":359,"count":180}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":48510}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 48510 |
Distribution of constraint types | [{"type":"intension","count":48510}] |
Optimization problem | NO |
Type of objective |
52.56/52.67 c intension x[0] != x[1] using generic constraint 52.56/52.67 c intension x[2] != x[3] using generic constraint 52.56/52.67 c intension x[4] != x[5] using generic constraint 52.56/52.67 c intension x[6] != x[7] using generic constraint 52.56/52.67 c intension x[8] != x[9] using generic constraint 52.56/52.67 c intension x[10] != x[11] using generic constraint 52.56/52.67 c intension x[12] != x[13] using generic constraint 52.56/52.67 c intension x[14] != x[15] using generic constraint 52.56/52.67 c intension x[16] != x[17] using generic constraint 52.56/52.68 c intension x[18] != x[19] using generic constraint 52.56/52.68 c intension x[20] != x[21] using generic constraint 52.56/52.68 c intension x[22] != x[23] using generic constraint 52.56/52.68 c intension x[24] != x[25] using generic constraint 52.56/52.68 c intension x[26] != x[27] using generic constraint 52.56/52.68 c intension x[28] != x[29] using generic constraint 52.56/52.68 c intension x[30] != x[31] using generic constraint 52.56/52.68 c intension x[32] != x[33] using generic constraint 52.56/52.68 c intension x[34] != x[35] using generic constraint 52.56/52.68 c intension x[36] != x[37] using generic constraint 52.56/52.69 c intension x[38] != x[39] using generic constraint 52.56/52.69 c intension x[40] != x[41] using generic constraint 52.56/52.69 c intension x[42] != x[43] using generic constraint 52.56/52.69 c intension x[44] != x[45] using generic constraint 52.56/52.69 c intension x[46] != x[47] using generic constraint 52.56/52.69 c intension x[48] != x[49] using generic constraint 52.56/52.69 c intension x[50] != x[51] using generic constraint 52.56/52.69 c intension x[52] != x[53] using generic constraint 52.56/52.69 c intension x[54] != x[55] using generic constraint 52.56/52.69 c intension x[56] != x[57] using generic constraint 52.56/52.69 c intension x[58] != x[59] using generic constraint 52.66/52.70 c intension x[60] != x[61] using generic constraint 52.66/52.70 c intension x[62] != x[63] using generic constraint 52.66/52.70 c intension x[64] != x[65] using generic constraint 52.66/52.70 c intension x[66] != x[67] using generic constraint 52.66/52.70 c intension x[68] != x[69] using generic constraint 52.66/52.70 c intension x[70] != x[71] using generic constraint 52.66/52.70 c intension x[72] != x[73] using generic constraint 52.66/52.70 c intension x[74] != x[75] using generic constraint 52.66/52.70 c intension x[76] != x[77] using generic constraint 52.66/52.70 c intension x[78] != x[79] using generic constraint 52.66/52.71 c intension x[80] != x[81] using generic constraint 52.66/52.71 c intension x[82] != x[83] using generic constraint 52.66/52.71 c intension x[84] != x[85] using generic constraint 52.66/52.71 c intension x[86] != x[87] using generic constraint 52.66/52.71 c intension x[88] != x[89] using generic constraint 52.66/52.71 c intension x[90] != x[91] using generic constraint 52.66/52.71 c intension x[92] != x[93] using generic constraint 52.66/52.71 c intension x[94] != x[95] using generic constraint 52.66/52.71 c intension x[96] != x[97] using generic constraint 52.66/52.71 c intension x[98] != x[99] using generic constraint 52.66/52.71 c intension x[100] != x[101] using generic constraint 52.66/52.72 c intension x[102] != x[103] using generic constraint 52.66/52.72 c intension x[104] != x[105] using generic constraint 52.66/52.72 c intension x[106] != x[107] using generic constraint 52.66/52.72 c intension x[108] != x[109] using generic constraint 52.66/52.72 c intension x[110] != x[111] using generic constraint 52.66/52.72 c intension x[112] != x[113] using generic constraint 52.66/52.72 c intension x[114] != x[115] using generic constraint 52.66/52.72 c intension x[116] != x[117] using generic constraint 52.66/52.72 c intension x[118] != x[119] using generic constraint 52.66/52.72 c intension x[120] != x[121] using generic constraint 52.66/52.73 c intension x[122] != x[123] using generic constraint 52.66/52.73 c intension x[124] != x[125] using generic constraint 52.66/52.73 c intension x[126] != x[127] using generic constraint 52.66/52.73 c intension x[128] != x[129] using generic constraint 52.66/52.73 c intension x[130] != x[131] using generic constraint 52.66/52.73 c intension x[132] != x[133] using generic constraint 52.66/52.73 c intension x[134] != x[135] using generic constraint 52.66/52.73 c intension x[136] != x[137] using generic constraint 52.66/52.73 c intension x[138] != x[139] using generic constraint 52.66/52.73 c intension x[140] != x[141] using generic constraint 52.66/52.73 c intension x[142] != x[143] using generic constraint 52.66/52.74 c intension x[144] != x[145] using generic constraint 52.66/52.74 c intension x[146] != x[147] using generic constraint 52.66/52.74 c intension x[148] != x[149] using generic constraint 52.66/52.74 c intension x[150] != x[151] using generic constraint 52.66/52.74 c intension x[152] != x[153] using generic constraint 52.66/52.74 c intension x[154] != x[155] using generic constraint 52.66/52.74 c intension x[156] != x[157] using generic constraint 52.66/52.74 c intension x[158] != x[159] using generic constraint 52.66/52.74 c intension x[160] != x[161] using generic constraint 52.66/52.74 c intension x[162] != x[163] using generic constraint 52.66/52.75 c intension x[164] != x[165] using generic constraint 52.66/52.75 c intension x[166] != x[167] using generic constraint 52.66/52.75 c intension x[168] != x[169] using generic constraint 52.66/52.75 c intension x[170] != x[171] using generic constraint 52.66/52.75 c intension x[172] != x[173] using generic constraint 52.66/52.75 c intension x[174] != x[175] using generic constraint 52.66/52.75 c intension x[176] != x[177] using generic constraint 52.66/52.75 c intension x[178] != x[179] using generic constraint 52.66/52.75 c intension x[180] != x[181] using generic constraint 52.66/52.75 c intension x[182] != x[183] using generic constraint 52.66/52.75 c intension x[184] != x[185] using generic constraint 52.66/52.76 c intension x[186] != x[187] using generic constraint 52.66/52.76 c intension x[188] != x[189] using generic constraint 52.66/52.76 c intension x[190] != x[191] using generic constraint 52.66/52.76 c intension x[192] != x[193] using generic constraint 52.66/52.76 c intension x[194] != x[195] using generic constraint 52.66/52.76 c intension x[196] != x[197] using generic constraint 52.66/52.76 c intension x[198] != x[199] using generic constraint 52.66/52.76 c intension x[200] != x[201] using generic constraint 52.66/52.76 c intension x[202] != x[203] using generic constraint 52.66/52.76 c intension x[204] != x[205] using generic constraint 52.66/52.76 c intension x[206] != x[207] using generic constraint 52.66/52.77 c intension x[208] != x[209] using generic constraint 52.66/52.77 c intension x[210] != x[211] using generic constraint 52.66/52.77 c intension x[212] != x[213] using generic constraint 52.66/52.77 c intension x[214] != x[215] using generic constraint 52.66/52.77 c intension x[216] != x[217] using generic constraint 52.66/52.77 c intension x[218] != x[219] using generic constraint 52.66/52.77 c intension x[220] != x[221] using generic constraint 52.66/52.77 c intension x[222] != x[223] using generic constraint 52.66/52.77 c intension x[224] != x[225] using generic constraint 52.66/52.77 c intension x[226] != x[227] using generic constraint 52.66/52.78 c intension x[228] != x[229] using generic constraint 52.66/52.78 c intension x[230] != x[231] using generic constraint 52.66/52.78 c intension x[232] != x[233] using generic constraint 52.66/52.78 c intension x[234] != x[235] using generic constraint 52.66/52.78 c intension x[236] != x[237] using generic constraint 52.66/52.78 c intension x[238] != x[239] using generic constraint 52.66/52.78 c intension x[240] != x[241] using generic constraint 52.66/52.78 c intension x[242] != x[243] using generic constraint 52.66/52.78 c intension x[244] != x[245] using generic constraint 52.66/52.78 c intension x[246] != x[247] using generic constraint 52.66/52.78 c intension x[248] != x[249] using generic constraint 52.66/52.79 c intension x[250] != x[251] using generic constraint 52.66/52.79 c intension x[252] != x[253] using generic constraint 52.66/52.79 c intension x[254] != x[255] using generic constraint 52.66/52.79 c intension x[256] != x[257] using generic constraint 52.66/52.79 c intension x[258] != x[259] using generic constraint 52.66/52.79 c intension x[260] != x[261] using generic constraint 52.66/52.79 c intension x[262] != x[263] using generic constraint 52.66/52.79 c intension x[264] != x[265] using generic constraint 52.66/52.79 c intension x[266] != x[267] using generic constraint 52.66/52.79 c intension x[268] != x[269] using generic constraint 52.66/52.80 c intension x[270] != x[271] using generic constraint 52.66/52.80 c intension x[272] != x[273] using generic constraint 52.66/52.80 c intension x[274] != x[275] using generic constraint 52.66/52.80 c intension x[276] != x[277] using generic constraint 52.66/52.80 c intension x[278] != x[279] using generic constraint 52.66/52.80 c intension x[280] != x[281] using generic constraint 52.66/52.80 c intension x[282] != x[283] using generic constraint 52.66/52.80 c intension x[284] != x[285] using generic constraint 52.77/52.80 c intension x[286] != x[287] using generic constraint 52.77/52.80 c intension x[288] != x[289] using generic constraint 52.77/52.81 c intension x[290] != x[291] using generic constraint 52.77/52.81 c intension x[292] != x[293] using generic constraint 52.77/52.81 c intension x[294] != x[295] using generic constraint 52.77/52.81 c intension x[296] != x[297] using generic constraint 52.77/52.81 c intension x[298] != x[299] using generic constraint 52.77/52.81 c intension x[300] != x[301] using generic constraint 52.77/52.81 c intension x[302] != x[303] using generic constraint 52.77/52.81 c intension x[304] != x[305] using generic constraint 52.77/52.81 c intension x[306] != x[307] using generic constraint 52.77/52.81 c intension x[308] != x[309] using generic constraint 52.77/52.82 c intension x[310] != x[311] using generic constraint 52.77/52.82 c intension x[312] != x[313] using generic constraint 52.77/52.82 c intension x[314] != x[315] using generic constraint 52.77/52.82 c intension x[316] != x[317] using generic constraint 52.77/52.82 c intension x[318] != x[319] using generic constraint 52.77/52.82 c intension x[320] != x[321] using generic constraint 52.77/52.82 c intension x[322] != x[323] using generic constraint 52.77/52.82 c intension x[324] != x[325] using generic constraint 52.77/52.82 c intension x[326] != x[327] using generic constraint 52.77/52.82 c intension x[328] != x[329] using generic constraint 52.77/52.82 c intension x[330] != x[331] using generic constraint 52.77/52.83 c intension x[332] != x[333] using generic constraint 52.77/52.83 c intension x[334] != x[335] using generic constraint 52.77/52.83 c intension x[336] != x[337] using generic constraint 52.77/52.83 c intension x[338] != x[339] using generic constraint 52.77/52.83 c intension x[340] != x[341] using generic constraint 52.77/52.83 c intension x[342] != x[343] using generic constraint 52.77/52.83 c intension x[344] != x[345] using generic constraint 52.77/52.83 c intension x[346] != x[347] using generic constraint 52.77/52.83 c intension x[348] != x[349] using generic constraint 52.77/52.83 c intension x[350] != x[351] using generic constraint 52.77/52.84 c intension x[352] != x[353] using generic constraint 52.77/52.84 c intension x[354] != x[355] using generic constraint 52.77/52.84 c intension x[356] != x[357] using generic constraint 52.77/52.84 c intension x[358] != x[359] using generic constraint 52.77/52.89 c root propagations : 0 52.77/52.89 c restarts enabled, print stats at every restarts 52.77/52.89 c 52.77/52.89 c 52.77/52.89 c 52.77/52.89 c This is cosoco 1.0 -- 52.77/52.89 c 52.77/52.89 c ========================================[ Problem Statistics ]=========================================== 52.77/52.89 c | 52.77/52.89 c | Parse time : 52.63 s 52.77/52.89 c | 52.77/52.89 c | Variables: 360 52.77/52.89 c | Domain Sizes: 180..180 52.77/52.89 c | 52.77/52.89 c | Constraints: 48510 52.77/52.89 c | Arity: 2..2 -- Binary: 48510 52.77/52.89 c | 52.77/52.89 c | Types: 52.77/52.89 c | (X != Y): 180 52.77/52.89 c | Intension: 48330 52.77/52.89 c | 52.77/52.89 c ========================================================================================================= 52.77/52.89 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 85.14/85.22 c 101 408 8851849 124715 0 0 148 153 149 117.41/117.52 c 211 901 17302688 233798 0 0 224 232 225 157.49/157.63 c 332 1341 26496029 377680 0 0 159 171 162 197.17/197.38 c 465 1835 35911372 522914 0 0 195 200 195 244.63/244.80 c 611 2351 47314172 760545 0 0 149 157 151 292.18/292.47 c 771 2845 58170902 964613 0 0 137 141 138 335.86/336.19 c 947 3359 68342759 1140165 0 0 138 142 139 376.72/377.07 c 1140 4158 79448632 1325478 0 0 142 174 153 414.59/414.99 c 1352 4819 90293140 1516961 0 0 164 171 167 454.66/455.09 c 1585 5499 101561363 1707836 0 0 144 158 152 493.93/494.36 c 1841 6135 112317166 1915353 0 0 149 166 154 535.29/535.75 c 2122 6886 124326195 2128163 0 0 145 155 148 583.15/583.61 c 2431 7883 138446989 2376919 0 0 143 157 151 629.41/629.98 c 2770 8876 153273880 2620076 0 0 161 168 163 686.17/686.76 c 3142 10318 171742450 2965205 0 0 151 175 164 747.24/747.83 c 3551 11446 189432475 3332010 0 0 144 158 149 797.91/798.51 c 4000 12906 208466455 3677964 0 0 168 174 170 851.77/852.49 c 4493 14284 228148417 4102364 0 0 161 168 164 914.84/915.52 c 5035 16054 251284006 4549819 0 0 165 175 170 975.99/976.70 c 5631 17931 273874087 4971601 0 0 161 174 166 1052.54/1053.33 c 6286 19832 300459649 5488456 0 0 146 156 150 1117.70/1118.58 c 7006 21914 326118016 6005038 0 0 152 160 156 1201.84/1202.72 c 7798 24556 358210210 6696739 0 0 156 168 161 1308.18/1309.18 c 8669 26699 391668276 7536565 0 0 147 156 150 1447.48/1448.52 c 9627 29336 433279949 8750427 0 0 134 148 141 1534.12/1535.20 c 10680 32525 470713737 9583469 0 0 165 174 169 1623.06/1624.25 c 11838 35468 507740558 10351696 0 0 151 160 154 1722.99/1724.26 c 13111 38901 549945111 11370661 0 0 160 170 164 1812.14/1813.43 c 14511 42191 587598884 12132870 0 0 146 156 149 1910.07/1911.48 c 16051 46621 634072599 13060200 0 0 160 174 165 2013.39/2014.81 c 17745 51080 683853458 14048940 0 0 157 165 161 2132.02/2133.56 c 19608 55551 734878964 15058061 0 0 152 160 156 2300.90/2302.53 c 21657 61897 808807426 16755234 0 0 152 166 159
One s line expected
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-4242973-1500670175/watcher-4242973-1500670175 -o /tmp/evaluation-result-4242973-1500670175/solver-4242973-1500670175 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500648174-2496 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242973-1500670175.xml pid=5193 running on 8 cores: 1,3,5,7,9,11,13,15 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 5196 /proc/meminfo: memFree=32028316/32770624 swapFree=5804/220204 [pid=5196] ppid=5193 vsize=27652 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 1127 0 0 0 0 0 0 0 20 0 1 0 2284887 28315648 964 33554432000 4194304 5970956 140728911417264 140728911416456 140491580826178 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 6913 964 708 434 0 277 0 [startup+0.100123 s] /proc/loadavg: 2.00 2.01 2.05 3/242 5196 /proc/meminfo: memFree=32028316/32770624 swapFree=5804/220204 [pid=5196] ppid=5193 vsize=28220 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 1252 0 0 0 9 0 0 0 20 0 1 0 2284887 28897280 1030 33554432000 4194304 5970956 140728911417264 140728911413864 140491579993061 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 7055 1030 710 434 0 419 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28220 [startup+0.200264 s] /proc/loadavg: 2.00 2.01 2.05 3/242 5196 /proc/meminfo: memFree=32028316/32770624 swapFree=5804/220204 [pid=5196] ppid=5193 vsize=28968 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 1437 0 0 0 19 0 0 0 20 0 1 0 2284887 29663232 1228 33554432000 4194304 5970956 140728911417264 140728911413864 140491579993061 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 7242 1228 711 434 0 606 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 28968 [startup+0.300211 s] /proc/loadavg: 2.00 2.01 2.05 3/242 5196 /proc/meminfo: memFree=32028316/32770624 swapFree=5804/220204 [pid=5196] ppid=5193 vsize=29952 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 1711 0 0 0 29 0 0 0 20 0 1 0 2284887 30670848 1470 33554432000 4194304 5970956 140728911417264 140728911413864 140491579993061 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 7488 1470 711 434 0 852 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29952 [startup+0.700178 s] /proc/loadavg: 2.00 2.01 2.05 3/242 5196 /proc/meminfo: memFree=32028316/32770624 swapFree=5804/220204 [pid=5196] ppid=5193 vsize=34392 CPUtime=0.68 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 2987 0 0 0 68 0 0 0 20 0 1 0 2284887 35217408 2379 33554432000 4194304 5970956 140728911417264 140728911413864 140491579993061 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 8598 2379 711 434 0 1962 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 34392 [startup+1.50018 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5197 /proc/meminfo: memFree=32018276/32770624 swapFree=5804/220204 [pid=5196] ppid=5193 vsize=41388 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 4928 0 0 0 148 1 0 0 20 0 1 0 2284887 42381312 4292 33554432000 4194304 5970956 140728911417264 140728911408824 140491579993061 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 10347 4292 783 434 0 3711 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 41388 [startup+3.10018 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5197 /proc/meminfo: memFree=32007540/32770624 swapFree=5804/220356 [pid=5196] ppid=5193 vsize=56700 CPUtime=3.08 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 9016 0 0 0 307 1 0 0 20 0 1 0 2284887 58060800 8124 33554432000 4194304 5970956 140728911417264 140728911408872 140491579993061 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 14175 8124 783 434 0 7539 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 56700 [startup+6.30018 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5197 /proc/meminfo: memFree=31976008/32770624 swapFree=5804/220368 [pid=5196] ppid=5193 vsize=87324 CPUtime=6.28 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 17007 0 0 0 626 2 0 0 20 0 1 0 2284887 89419776 15777 33554432000 4194304 5970956 140728911417264 140728911408648 140491579993061 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 21831 15777 783 434 0 15195 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 87324 [startup+12.7002 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5197 /proc/meminfo: memFree=31912768/32770624 swapFree=5804/220328 [pid=5196] ppid=5193 vsize=148624 CPUtime=12.68 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 32792 0 0 0 1263 5 0 0 20 0 1 0 2284887 152190976 31079 33554432000 4194304 5970956 140728911417264 140728911408872 140491579993061 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 37156 31079 783 434 0 30520 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 148624 [startup+25.5002 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5197 /proc/meminfo: memFree=31786100/32770624 swapFree=5804/220336 [pid=5196] ppid=5193 vsize=271036 CPUtime=25.48 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 64304 0 0 0 2538 10 0 0 20 0 1 0 2284887 277540864 61722 33554432000 4194304 5970956 140728911417264 140728911408872 140491579993061 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 67759 61722 783 434 0 61123 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 271036 [startup+51.1002 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5204 /proc/meminfo: memFree=31543828/32770624 swapFree=5804/220344 [pid=5196] ppid=5193 vsize=515908 CPUtime=51.07 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 126168 0 0 0 5087 20 0 0 20 0 1 0 2284887 528289792 122910 33554432000 4194304 5970956 140728911417264 140728911408648 140491579993061 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 128977 122910 783 434 0 122341 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 515908 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5205 /proc/meminfo: memFree=31155008/32770624 swapFree=5804/220392 [pid=5196] ppid=5193 vsize=899380 CPUtime=102.23 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 447532 0 0 0 10179 44 0 0 20 0 1 0 2284887 920965120 218969 33554432000 4194304 5970956 140728911417264 140728911414328 5070880 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 224845 218969 825 434 0 218209 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 899380 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5206 /proc/meminfo: memFree=31104272/32770624 swapFree=5804/220432 [pid=5196] ppid=5193 vsize=951520 CPUtime=162.19 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 621376 0 0 0 16164 55 0 0 20 0 1 0 2284887 974356480 232025 33554432000 4194304 5970956 140728911417264 140728911414328 140491579993061 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 237880 232025 825 434 0 231244 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 951520 [startup+222.308 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5207 /proc/meminfo: memFree=31089980/32770624 swapFree=5804/220472 [pid=5196] ppid=5193 vsize=963928 CPUtime=222.15 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 754268 0 0 0 22154 61 0 0 20 0 1 0 2284887 987062272 235136 33554432000 4194304 5970956 140728911417264 140728911414328 4964389 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 240982 235136 825 434 0 234346 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 963928 [startup+282.3 s] /proc/loadavg: 2.03 2.03 2.05 3/243 5208 /proc/meminfo: memFree=31084728/32770624 swapFree=5804/220520 [pid=5196] ppid=5193 vsize=969208 CPUtime=282.1 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 887883 0 0 0 28143 67 0 0 20 0 1 0 2284887 992468992 236459 33554432000 4194304 5970956 140728911417264 140728911414328 4961411 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 242302 236459 825 434 0 235666 0 Current children cumulated CPU time (s) 282.1 Current children cumulated vsize (KiB) 969208 [startup+342.3 s] /proc/loadavg: 2.01 2.02 2.05 3/243 5210 /proc/meminfo: memFree=31072820/32770624 swapFree=5804/220576 [pid=5196] ppid=5193 vsize=981088 CPUtime=342.06 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 1017611 0 0 0 34131 75 0 0 20 0 1 0 2284887 1004634112 239427 33554432000 4194304 5970956 140728911417264 140728911414328 5070927 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 245272 239427 825 434 0 238636 0 Current children cumulated CPU time (s) 342.06 Current children cumulated vsize (KiB) 981088 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5211 /proc/meminfo: memFree=31071276/32770624 swapFree=5804/220636 [pid=5196] ppid=5193 vsize=982672 CPUtime=402.01 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 1108654 0 0 0 40123 78 0 0 20 0 1 0 2284887 1006256128 239818 33554432000 4194304 5970956 140728911417264 140728911414328 4964389 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 245668 239818 825 434 0 239032 0 Current children cumulated CPU time (s) 402.01 Current children cumulated vsize (KiB) 982672 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5212 /proc/meminfo: memFree=31066300/32770624 swapFree=5804/220676 [pid=5196] ppid=5193 vsize=987556 CPUtime=461.95 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 1178143 0 0 0 46113 82 0 0 20 0 1 0 2284887 1011257344 241061 33554432000 4194304 5970956 140728911417264 140728911414328 4909022 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 246889 241061 825 434 0 240253 0 Current children cumulated CPU time (s) 461.95 Current children cumulated vsize (KiB) 987556 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5214 /proc/meminfo: memFree=31062856/32770624 swapFree=5804/220712 [pid=5196] ppid=5193 vsize=990988 CPUtime=521.9 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 1223200 0 0 0 52106 84 0 0 20 0 1 0 2284887 1014771712 241911 33554432000 4194304 5970956 140728911417264 140728911414328 5052118 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 247747 241911 825 434 0 241111 0 Current children cumulated CPU time (s) 521.9 Current children cumulated vsize (KiB) 990988 [startup+582.3 s] /proc/loadavg: 2.13 2.04 2.05 3/243 5215 /proc/meminfo: memFree=31059288/32770624 swapFree=5804/220752 [pid=5196] ppid=5193 vsize=994420 CPUtime=581.86 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 1259669 0 0 0 58100 86 0 0 20 0 1 0 2284887 1018286080 242767 33554432000 4194304 5970956 140728911417264 140728911414328 4964389 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 248605 242767 825 434 0 241969 0 Current children cumulated CPU time (s) 581.86 Current children cumulated vsize (KiB) 994420 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5334 /proc/meminfo: memFree=29670356/32770624 swapFree=5804/221484 [pid=5196] ppid=5193 vsize=1017916 CPUtime=1541.23 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 1314050 0 0 0 154032 91 0 0 20 0 1 0 2284887 1042345984 248653 33554432000 4194304 5970956 140728911417264 140728911414328 5052080 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 254479 248653 825 434 0 247843 0 Current children cumulated CPU time (s) 1541.23 Current children cumulated vsize (KiB) 1017916 [startup+1602.3 s] /proc/loadavg: 2.07 2.04 2.05 3/243 5335 /proc/meminfo: memFree=29670200/32770624 swapFree=5804/221520 [pid=5196] ppid=5193 vsize=1017916 CPUtime=1601.18 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 1314884 0 0 0 160027 91 0 0 20 0 1 0 2284887 1042345984 248653 33554432000 4194304 5970956 140728911417264 140728911414328 5337412 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 254479 248653 825 434 0 247843 0 Current children cumulated CPU time (s) 1601.18 Current children cumulated vsize (KiB) 1017916 [startup+1662.3 s] /proc/loadavg: 2.03 2.03 2.05 3/243 5336 /proc/meminfo: memFree=29668368/32770624 swapFree=5804/221552 [pid=5196] ppid=5193 vsize=1019632 CPUtime=1661.13 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 1316684 0 0 0 166022 91 0 0 20 0 1 0 2284887 1044103168 249078 33554432000 4194304 5970956 140728911417264 140728911414328 4964366 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 254908 249078 825 434 0 248272 0 Current children cumulated CPU time (s) 1661.13 Current children cumulated vsize (KiB) 1019632 [startup+1722.3 s] /proc/loadavg: 2.01 2.03 2.05 3/243 5337 /proc/meminfo: memFree=29668248/32770624 swapFree=5804/221592 [pid=5196] ppid=5193 vsize=1019632 CPUtime=1721.09 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 1317791 0 0 0 172018 91 0 0 20 0 1 0 2284887 1044103168 249078 33554432000 4194304 5970956 140728911417264 140728911414328 5052118 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 254908 249078 825 434 0 248272 0 Current children cumulated CPU time (s) 1721.09 Current children cumulated vsize (KiB) 1019632 [startup+1782.3 s] /proc/loadavg: 2.08 2.05 2.05 3/243 5338 /proc/meminfo: memFree=29666416/32770624 swapFree=5804/221624 [pid=5196] ppid=5193 vsize=1020688 CPUtime=1781.06 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 1319750 0 0 0 178014 92 0 0 20 0 1 0 2284887 1045184512 249334 33554432000 4194304 5970956 140728911417264 140728911414328 4964366 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 255172 249334 825 434 0 248536 0 Current children cumulated CPU time (s) 1781.06 Current children cumulated vsize (KiB) 1020688 [startup+1842.3 s] /proc/loadavg: 2.03 2.04 2.05 3/243 5346 /proc/meminfo: memFree=29665304/32770624 swapFree=5804/221676 [pid=5196] ppid=5193 vsize=1021348 CPUtime=1841.02 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 1321642 0 0 0 184010 92 0 0 20 0 1 0 2284887 1045860352 249488 33554432000 4194304 5970956 140728911417264 140728911414328 5070930 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 255337 249488 825 434 0 248701 0 Current children cumulated CPU time (s) 1841.02 Current children cumulated vsize (KiB) 1021348 [startup+1902.3 s] /proc/loadavg: 2.01 2.04 2.05 3/243 5347 /proc/meminfo: memFree=29666192/32770624 swapFree=5804/221708 [pid=5196] ppid=5193 vsize=1021348 CPUtime=1900.97 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 1322493 0 0 0 190005 92 0 0 20 0 1 0 2284887 1045860352 249488 33554432000 4194304 5970956 140728911417264 140728911414328 4964389 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 255337 249488 825 434 0 248701 0 Current children cumulated CPU time (s) 1900.97 Current children cumulated vsize (KiB) 1021348 [startup+1962.3 s] /proc/loadavg: 2.00 2.03 2.05 3/243 5348 /proc/meminfo: memFree=29665228/32770624 swapFree=5804/221756 [pid=5196] ppid=5193 vsize=1021612 CPUtime=1960.93 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 1324493 0 0 0 196001 92 0 0 20 0 1 0 2284887 1046130688 249574 33554432000 4194304 5970956 140728911417264 140728911414328 4908916 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 255403 249574 825 434 0 248767 0 Current children cumulated CPU time (s) 1960.93 Current children cumulated vsize (KiB) 1021612 [startup+2022.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 5349 /proc/meminfo: memFree=29664364/32770624 swapFree=5804/221792 [pid=5196] ppid=5193 vsize=1022932 CPUtime=2020.89 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 1326523 0 0 0 201997 92 0 0 20 0 1 0 2284887 1047482368 249884 33554432000 4194304 5970956 140728911417264 140728911414328 4908985 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 255733 249884 825 434 0 249097 0 Current children cumulated CPU time (s) 2020.89 Current children cumulated vsize (KiB) 1022932 [startup+2082.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 5350 /proc/meminfo: memFree=29665104/32770624 swapFree=5804/221836 [pid=5196] ppid=5193 vsize=1022932 CPUtime=2080.86 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 1327699 0 0 0 207993 93 0 0 20 0 1 0 2284887 1047482368 249886 33554432000 4194304 5970956 140728911417264 140728911414328 4964366 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 255733 249886 825 434 0 249097 0 Current children cumulated CPU time (s) 2080.86 Current children cumulated vsize (KiB) 1022932 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5352 /proc/meminfo: memFree=29663948/32770624 swapFree=5804/221884 [pid=5196] ppid=5193 vsize=1023460 CPUtime=2140.81 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 1329742 0 0 0 213988 93 0 0 20 0 1 0 2284887 1048023040 250046 33554432000 4194304 5970956 140728911417264 140728911414328 4908988 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 255865 250046 825 434 0 249229 0 Current children cumulated CPU time (s) 2140.81 Current children cumulated vsize (KiB) 1023460 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5353 /proc/meminfo: memFree=29664996/32770624 swapFree=5804/221920 [pid=5196] ppid=5193 vsize=1023460 CPUtime=2200.77 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 1330808 0 0 0 219984 93 0 0 20 0 1 0 2284887 1048023040 250046 33554432000 4194304 5970956 140728911417264 140728911414328 5069933 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 255865 250046 825 434 0 249229 0 Current children cumulated CPU time (s) 2200.77 Current children cumulated vsize (KiB) 1023460 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5354 /proc/meminfo: memFree=29665564/32770624 swapFree=5804/221952 [pid=5196] ppid=5193 vsize=1023460 CPUtime=2260.73 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 1331706 0 0 0 225980 93 0 0 20 0 1 0 2284887 1048023040 250046 33554432000 4194304 5970956 140728911417264 140728911414328 4964389 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 255865 250046 825 434 0 249229 0 Current children cumulated CPU time (s) 2260.73 Current children cumulated vsize (KiB) 1023460 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5356 /proc/meminfo: memFree=29665664/32770624 swapFree=5804/222000 [pid=5196] ppid=5193 vsize=1024120 CPUtime=2320.68 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 1333773 0 0 0 231975 93 0 0 20 0 1 0 2284887 1048698880 250207 33554432000 4194304 5970956 140728911417264 140728911414328 4964366 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 256030 250207 825 434 0 249394 0 Current children cumulated CPU time (s) 2320.68 Current children cumulated vsize (KiB) 1024120 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5357 /proc/meminfo: memFree=29665416/32770624 swapFree=5804/222036 [pid=5196] ppid=5193 vsize=1024120 CPUtime=2380.64 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 1334767 0 0 0 237971 93 0 0 20 0 1 0 2284887 1048698880 250207 33554432000 4194304 5970956 140728911417264 140728911414328 5070313 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 256030 250207 825 434 0 249394 0 Current children cumulated CPU time (s) 2380.64 Current children cumulated vsize (KiB) 1024120 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2401.7 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5357 /proc/meminfo: memFree=29665680/32770624 swapFree=5804/222048 [pid=5196] ppid=5193 vsize=1024120 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 1335134 0 0 0 239910 93 0 0 20 0 1 0 2284887 1048698880 250207 33554432000 4194304 5970956 140728911417264 140728911414328 4964389 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 256030 250207 825 434 0 249394 0 Current children cumulated CPU time (s) 2400.03 Current children cumulated vsize (KiB) 1024120 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 5196 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2401.7 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5357 /proc/meminfo: memFree=29665680/32770624 swapFree=5804/222048 [pid=5196] ppid=5193 vsize=1024120 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15 /proc/5196/stat : 5196 (cosoco) R 5193 5196 2463 0 -1 4202496 1335134 0 0 0 239910 93 0 0 20 0 1 0 2284887 1048698880 250207 33554432000 4194304 5970956 140728911417264 140728911414328 4964389 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 38715392 140728911422657 140728911422787 140728911422787 140728911425486 0 /proc/5196/statm: 256030 250207 825 434 0 249394 0 Current children cumulated CPU time (s) 2400.03 Current children cumulated vsize (KiB) 1024120 Child status: 1 Real time (s): 2401.7 CPU time (s): 2400.05 CPU user time (s): 2399.1 CPU system time (s): 0.942386 CPU usage (%): 99.9309 Max. virtual memory (cumulated for all children) (KiB): 1024120 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.1 system time used= 0.942386 maximum resident set size= 1000872 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1335162 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= 189 involuntary context switches= 120994 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.04707 second user time and 14.9531 second system time The end
Begin job on node131 at 2017-07-21 22:49:35 IDJOB=4242973 IDBENCH=138402 IDSOLVER=2620 FILE ID=node131/4242973-1500670175 RUNJOBID= node131-1500648174-2496 PBS_JOBID= 20623289 Free space on /tmp= 62012 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Queens-s1/SuperQueens-07.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242973-1500670175/watcher-4242973-1500670175 -o /tmp/evaluation-result-4242973-1500670175/solver-4242973-1500670175 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500648174-2496 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242973-1500670175.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= ad906e83ed0060b79525fa6c279d7f21 RANDOM SEED=2139273826 node131.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 32028428 kB MemAvailable: 32027364 kB Buffers: 35960 kB Cached: 274884 kB SwapCached: 0 kB Active: 139512 kB Inactive: 228896 kB Active(anon): 60236 kB Inactive(anon): 8692 kB Active(file): 79276 kB Inactive(file): 220204 kB Unevictable: 5804 kB Mlocked: 5804 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 4884 kB Writeback: 0 kB AnonPages: 62524 kB Mapped: 30772 kB Shmem: 8844 kB Slab: 62748 kB SReclaimable: 30584 kB SUnreclaim: 32164 kB KernelStack: 4208 kB PageTables: 5064 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332484 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 62012 MiB End job on node131 at 2017-07-21 23:29:37