| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2519.97 | 2520.02 |
| 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 |
53.09/53.15 c intension x[0] != x[1] using generic constraint 53.09/53.15 c intension x[2] != x[3] using generic constraint 53.09/53.16 c intension x[4] != x[5] using generic constraint 53.09/53.16 c intension x[6] != x[7] using generic constraint 53.09/53.16 c intension x[8] != x[9] using generic constraint 53.09/53.16 c intension x[10] != x[11] using generic constraint 53.09/53.16 c intension x[12] != x[13] using generic constraint 53.09/53.16 c intension x[14] != x[15] using generic constraint 53.09/53.16 c intension x[16] != x[17] using generic constraint 53.09/53.16 c intension x[18] != x[19] using generic constraint 53.09/53.16 c intension x[20] != x[21] using generic constraint 53.09/53.16 c intension x[22] != x[23] using generic constraint 53.09/53.16 c intension x[24] != x[25] using generic constraint 53.09/53.17 c intension x[26] != x[27] using generic constraint 53.09/53.17 c intension x[28] != x[29] using generic constraint 53.09/53.17 c intension x[30] != x[31] using generic constraint 53.09/53.17 c intension x[32] != x[33] using generic constraint 53.09/53.17 c intension x[34] != x[35] using generic constraint 53.09/53.17 c intension x[36] != x[37] using generic constraint 53.09/53.17 c intension x[38] != x[39] using generic constraint 53.09/53.17 c intension x[40] != x[41] using generic constraint 53.09/53.17 c intension x[42] != x[43] using generic constraint 53.09/53.17 c intension x[44] != x[45] using generic constraint 53.09/53.18 c intension x[46] != x[47] using generic constraint 53.09/53.18 c intension x[48] != x[49] using generic constraint 53.09/53.18 c intension x[50] != x[51] using generic constraint 53.09/53.18 c intension x[52] != x[53] using generic constraint 53.09/53.18 c intension x[54] != x[55] using generic constraint 53.09/53.18 c intension x[56] != x[57] using generic constraint 53.09/53.18 c intension x[58] != x[59] using generic constraint 53.09/53.18 c intension x[60] != x[61] using generic constraint 53.09/53.18 c intension x[62] != x[63] using generic constraint 53.09/53.18 c intension x[64] != x[65] using generic constraint 53.09/53.19 c intension x[66] != x[67] using generic constraint 53.09/53.19 c intension x[68] != x[69] using generic constraint 53.09/53.19 c intension x[70] != x[71] using generic constraint 53.09/53.19 c intension x[72] != x[73] using generic constraint 53.09/53.19 c intension x[74] != x[75] using generic constraint 53.09/53.19 c intension x[76] != x[77] using generic constraint 53.09/53.19 c intension x[78] != x[79] using generic constraint 53.09/53.19 c intension x[80] != x[81] using generic constraint 53.09/53.19 c intension x[82] != x[83] using generic constraint 53.09/53.19 c intension x[84] != x[85] using generic constraint 53.09/53.19 c intension x[86] != x[87] using generic constraint 53.19/53.20 c intension x[88] != x[89] using generic constraint 53.19/53.20 c intension x[90] != x[91] using generic constraint 53.19/53.20 c intension x[92] != x[93] using generic constraint 53.19/53.20 c intension x[94] != x[95] using generic constraint 53.19/53.20 c intension x[96] != x[97] using generic constraint 53.19/53.20 c intension x[98] != x[99] using generic constraint 53.19/53.20 c intension x[100] != x[101] using generic constraint 53.19/53.20 c intension x[102] != x[103] using generic constraint 53.19/53.20 c intension x[104] != x[105] using generic constraint 53.19/53.20 c intension x[106] != x[107] using generic constraint 53.19/53.21 c intension x[108] != x[109] using generic constraint 53.19/53.21 c intension x[110] != x[111] using generic constraint 53.19/53.21 c intension x[112] != x[113] using generic constraint 53.19/53.21 c intension x[114] != x[115] using generic constraint 53.19/53.21 c intension x[116] != x[117] using generic constraint 53.19/53.21 c intension x[118] != x[119] using generic constraint 53.19/53.21 c intension x[120] != x[121] using generic constraint 53.19/53.21 c intension x[122] != x[123] using generic constraint 53.19/53.21 c intension x[124] != x[125] using generic constraint 53.19/53.21 c intension x[126] != x[127] using generic constraint 53.19/53.22 c intension x[128] != x[129] using generic constraint 53.19/53.22 c intension x[130] != x[131] using generic constraint 53.19/53.22 c intension x[132] != x[133] using generic constraint 53.19/53.22 c intension x[134] != x[135] using generic constraint 53.19/53.22 c intension x[136] != x[137] using generic constraint 53.19/53.22 c intension x[138] != x[139] using generic constraint 53.19/53.22 c intension x[140] != x[141] using generic constraint 53.19/53.22 c intension x[142] != x[143] using generic constraint 53.19/53.22 c intension x[144] != x[145] using generic constraint 53.19/53.22 c intension x[146] != x[147] using generic constraint 53.19/53.23 c intension x[148] != x[149] using generic constraint 53.19/53.23 c intension x[150] != x[151] using generic constraint 53.19/53.23 c intension x[152] != x[153] using generic constraint 53.19/53.23 c intension x[154] != x[155] using generic constraint 53.19/53.23 c intension x[156] != x[157] using generic constraint 53.19/53.23 c intension x[158] != x[159] using generic constraint 53.19/53.23 c intension x[160] != x[161] using generic constraint 53.19/53.23 c intension x[162] != x[163] using generic constraint 53.19/53.23 c intension x[164] != x[165] using generic constraint 53.19/53.23 c intension x[166] != x[167] using generic constraint 53.19/53.24 c intension x[168] != x[169] using generic constraint 53.19/53.24 c intension x[170] != x[171] using generic constraint 53.19/53.24 c intension x[172] != x[173] using generic constraint 53.19/53.24 c intension x[174] != x[175] using generic constraint 53.19/53.24 c intension x[176] != x[177] using generic constraint 53.19/53.24 c intension x[178] != x[179] using generic constraint 53.19/53.24 c intension x[180] != x[181] using generic constraint 53.19/53.24 c intension x[182] != x[183] using generic constraint 53.19/53.24 c intension x[184] != x[185] using generic constraint 53.19/53.24 c intension x[186] != x[187] using generic constraint 53.19/53.24 c intension x[188] != x[189] using generic constraint 53.19/53.25 c intension x[190] != x[191] using generic constraint 53.19/53.25 c intension x[192] != x[193] using generic constraint 53.19/53.25 c intension x[194] != x[195] using generic constraint 53.19/53.25 c intension x[196] != x[197] using generic constraint 53.19/53.25 c intension x[198] != x[199] using generic constraint 53.19/53.25 c intension x[200] != x[201] using generic constraint 53.19/53.25 c intension x[202] != x[203] using generic constraint 53.19/53.25 c intension x[204] != x[205] using generic constraint 53.19/53.25 c intension x[206] != x[207] using generic constraint 53.19/53.25 c intension x[208] != x[209] using generic constraint 53.19/53.26 c intension x[210] != x[211] using generic constraint 53.19/53.26 c intension x[212] != x[213] using generic constraint 53.19/53.26 c intension x[214] != x[215] using generic constraint 53.19/53.26 c intension x[216] != x[217] using generic constraint 53.19/53.26 c intension x[218] != x[219] using generic constraint 53.19/53.26 c intension x[220] != x[221] using generic constraint 53.19/53.26 c intension x[222] != x[223] using generic constraint 53.19/53.26 c intension x[224] != x[225] using generic constraint 53.19/53.26 c intension x[226] != x[227] using generic constraint 53.19/53.26 c intension x[228] != x[229] using generic constraint 53.19/53.27 c intension x[230] != x[231] using generic constraint 53.19/53.27 c intension x[232] != x[233] using generic constraint 53.19/53.27 c intension x[234] != x[235] using generic constraint 53.19/53.27 c intension x[236] != x[237] using generic constraint 53.19/53.27 c intension x[238] != x[239] using generic constraint 53.19/53.27 c intension x[240] != x[241] using generic constraint 53.19/53.27 c intension x[242] != x[243] using generic constraint 53.19/53.27 c intension x[244] != x[245] using generic constraint 53.19/53.27 c intension x[246] != x[247] using generic constraint 53.19/53.27 c intension x[248] != x[249] using generic constraint 53.19/53.28 c intension x[250] != x[251] using generic constraint 53.19/53.28 c intension x[252] != x[253] using generic constraint 53.19/53.28 c intension x[254] != x[255] using generic constraint 53.19/53.28 c intension x[256] != x[257] using generic constraint 53.19/53.28 c intension x[258] != x[259] using generic constraint 53.19/53.28 c intension x[260] != x[261] using generic constraint 53.19/53.28 c intension x[262] != x[263] using generic constraint 53.19/53.28 c intension x[264] != x[265] using generic constraint 53.19/53.28 c intension x[266] != x[267] using generic constraint 53.19/53.28 c intension x[268] != x[269] using generic constraint 53.19/53.28 c intension x[270] != x[271] using generic constraint 53.19/53.29 c intension x[272] != x[273] using generic constraint 53.19/53.29 c intension x[274] != x[275] using generic constraint 53.19/53.29 c intension x[276] != x[277] using generic constraint 53.19/53.29 c intension x[278] != x[279] using generic constraint 53.19/53.29 c intension x[280] != x[281] using generic constraint 53.19/53.29 c intension x[282] != x[283] using generic constraint 53.19/53.29 c intension x[284] != x[285] using generic constraint 53.19/53.29 c intension x[286] != x[287] using generic constraint 53.19/53.29 c intension x[288] != x[289] using generic constraint 53.19/53.29 c intension x[290] != x[291] using generic constraint 53.19/53.30 c intension x[292] != x[293] using generic constraint 53.29/53.30 c intension x[294] != x[295] using generic constraint 53.29/53.30 c intension x[296] != x[297] using generic constraint 53.29/53.30 c intension x[298] != x[299] using generic constraint 53.29/53.30 c intension x[300] != x[301] using generic constraint 53.29/53.30 c intension x[302] != x[303] using generic constraint 53.29/53.30 c intension x[304] != x[305] using generic constraint 53.29/53.30 c intension x[306] != x[307] using generic constraint 53.29/53.30 c intension x[308] != x[309] using generic constraint 53.29/53.30 c intension x[310] != x[311] using generic constraint 53.29/53.31 c intension x[312] != x[313] using generic constraint 53.29/53.31 c intension x[314] != x[315] using generic constraint 53.29/53.31 c intension x[316] != x[317] using generic constraint 53.29/53.31 c intension x[318] != x[319] using generic constraint 53.29/53.31 c intension x[320] != x[321] using generic constraint 53.29/53.31 c intension x[322] != x[323] using generic constraint 53.29/53.31 c intension x[324] != x[325] using generic constraint 53.29/53.31 c intension x[326] != x[327] using generic constraint 53.29/53.31 c intension x[328] != x[329] using generic constraint 53.29/53.31 c intension x[330] != x[331] using generic constraint 53.29/53.32 c intension x[332] != x[333] using generic constraint 53.29/53.32 c intension x[334] != x[335] using generic constraint 53.29/53.32 c intension x[336] != x[337] using generic constraint 53.29/53.32 c intension x[338] != x[339] using generic constraint 53.29/53.32 c intension x[340] != x[341] using generic constraint 53.29/53.32 c intension x[342] != x[343] using generic constraint 53.29/53.32 c intension x[344] != x[345] using generic constraint 53.29/53.32 c intension x[346] != x[347] using generic constraint 53.29/53.32 c intension x[348] != x[349] using generic constraint 53.29/53.32 c intension x[350] != x[351] using generic constraint 53.29/53.33 c intension x[352] != x[353] using generic constraint 53.29/53.33 c intension x[354] != x[355] using generic constraint 53.29/53.33 c intension x[356] != x[357] using generic constraint 53.29/53.33 c intension x[358] != x[359] using generic constraint 53.69/53.78 c SAT : Variables: 64800 -- Clauses: 5799960 53.69/53.79 c root propagations : 0 53.69/53.79 c restarts enabled, print stats at every restarts 53.69/53.79 c 53.69/53.79 c 53.69/53.79 c 53.69/53.79 c This is cosoco 1.12 -- 53.69/53.79 c 53.69/53.79 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266446-1502591041.xml 53.69/53.79 c ========================================[ Problem Statistics ]=========================================== 53.69/53.79 c | 53.69/53.79 c | Parse time : 53.50 s 53.69/53.79 c | 53.69/53.79 c | Variables: 360 53.69/53.79 c | Domain Sizes: 180..180 53.69/53.79 c | 53.69/53.79 c | Constraints: 48510 53.69/53.79 c | Arity: 2..2 -- Binary: 48510 53.69/53.79 c | 53.69/53.79 c | Types: 53.69/53.79 c | (X != Y): 180 53.69/53.79 c | Intension: 48330 53.69/53.79 c | 53.69/53.79 c ========================================================================================================= 53.69/53.79 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 79.19/79.22 c 10 172 5959983 58899 0 4 150 153 137 107.49/107.59 c 20 344 11883937 116342 0 6 150 154 137 136.69/136.79 c 30 527 17701093 172497 0 9 168 170 153 167.00/167.03 c 40 708 23584883 231582 0 14 160 166 147 197.59/197.60 c 50 925 29610621 289440 0 17 198 203 181 228.79/228.80 c 60 1124 35713449 347190 0 20 178 181 163 260.38/260.41 c 70 1343 41944814 403961 0 22 199 203 182 290.78/290.85 c 80 1557 47923246 461847 0 25 179 199 172 320.28/320.32 c 90 1722 53735194 521213 0 28 146 151 134 350.38/350.42 c 100 1944 59873250 581416 0 32 189 194 173 379.78/379.85 c 101 2116 65686954 634135 0 33 172 172 86 408.87/408.99 c 110 2273 71319951 690362 0 36 140 142 126 438.98/439.01 c 120 2473 77320194 751236 0 41 142 178 146 468.77/468.86 c 130 2675 83342313 811249 0 43 169 183 162 498.66/498.77 c 140 2854 89334462 870108 0 47 155 158 142 528.27/528.35 c 150 3032 95298019 927609 0 51 157 160 144 557.97/558.05 c 160 3203 101163179 985729 0 52 156 158 142 587.46/587.59 c 170 3387 107157375 1043171 0 58 160 164 147 617.35/617.42 c 180 3564 113144855 1101374 0 64 155 157 142 646.97/647.05 c 190 3754 119185784 1161028 0 67 166 171 153 676.85/676.98 c 200 3937 125184277 1219247 0 69 165 167 150 706.75/706.81 c 210 4132 131265997 1277873 0 72 166 172 154 735.65/735.77 c 211 4296 137000523 1331574 0 73 164 164 82 764.54/764.67 c 220 4475 142883308 1389088 0 75 162 165 147 794.14/794.28 c 230 4670 149001075 1450330 0 77 170 174 156 823.44/823.55 c 240 4873 155110463 1509323 0 79 168 173 154 852.64/852.73 c 250 5071 161280865 1571496 0 82 163 168 150 881.63/881.74 c 260 5268 167347298 1634021 0 87 156 169 150 909.33/909.48 c 270 5438 173145960 1694429 0 91 149 153 136 937.33/937.44 c 280 5625 179040329 1753609 0 93 161 167 148 965.13/965.23 c 290 5798 184788945 1811694 0 95 148 150 136 993.34/993.42 c 300 5980 190714357 1869725 0 99 159 164 147 1021.94/1022.07 c 310 6180 196813656 1930636 0 105 161 174 152 1050.33/1050.41 c 320 6375 202803346 1987419 0 106 174 178 159 1078.83/1078.95 c 330 6564 208854155 2046478 0 110 164 168 150 1107.04/1107.15 c 332 6731 214630329 2101429 0 111 166 166 110 1135.13/1135.22 c 340 6918 220463069 2159800 0 116 145 173 142 1162.94/1163.10 c 350 7079 226170308 2218535 0 120 139 141 127 1191.64/1191.74 c 360 7268 232205002 2277957 0 126 163 168 150 1220.05/1220.19 c 370 7444 238092517 2334478 0 133 146 159 138 1248.34/1248.42 c 380 7634 244050437 2391990 0 135 169 173 154 1277.23/1277.30 c 390 7821 250100870 2452304 0 137 163 167 150 1306.33/1306.46 c 400 8011 256199011 2513083 0 139 167 170 153 1335.53/1335.60 c 410 8206 262339202 2573362 0 140 169 172 155 1363.74/1363.85 c 420 8395 268312311 2631618 0 144 166 170 152 1392.54/1392.66 c 430 8593 274374560 2692567 0 150 156 175 152 1421.54/1421.61 c 440 8779 280450072 2756406 0 152 153 159 142 1450.84/1450.98 c 450 8980 286602406 2816488 0 156 172 177 159 1480.64/1480.77 c 460 9186 292760590 2876522 0 160 173 179 160 1509.84/1509.99 c 465 9366 298708433 2936704 0 162 156 159 131 1538.34/1538.41 c 470 9545 304542853 2994766 0 165 157 163 133 1567.04/1567.18 c 480 9721 310446182 3057352 0 168 147 150 135 1595.04/1595.11 c 490 9882 316249171 3114825 0 170 141 143 128 1623.54/1623.67 c 500 10075 322206881 3179432 0 173 146 152 135 1651.95/1652.07 c 510 10244 328100826 3238776 0 176 144 147 132 1680.74/1680.85 c 520 10420 334108131 3298054 0 179 150 154 138 1709.63/1709.77 c 530 10613 340219529 3357324 0 181 171 173 156 1738.74/1738.82 c 540 10796 346290170 3414800 0 186 158 163 145 1767.34/1767.45 c 550 10969 352255055 3472724 0 190 152 156 139 1795.84/1796.00 c 560 11146 358281362 3530749 0 192 152 156 140 1824.95/1825.06 c 570 11336 364430286 3589616 0 196 161 165 148 1853.54/1853.67 c 580 11508 370346377 3647882 0 199 155 158 141 1882.24/1882.31 c 590 11687 376425076 3706251 0 202 159 161 145 1910.84/1911.00 c 600 11860 382413774 3763213 0 204 154 158 142 1939.74/1939.82 c 610 12034 388389547 3819175 0 207 159 162 145 1967.95/1968.06 c 611 12192 394102861 3872028 0 208 158 158 79 1996.84/1996.96 c 620 12377 400183280 3929842 0 211 153 165 141 2025.54/2025.67 c 630 12582 406328200 3990779 0 215 172 178 158 2054.64/2054.79 c 640 12760 412369495 4048891 0 217 153 158 141 2083.34/2083.46 c 650 12932 418377111 4106621 0 219 151 154 138 2112.24/2112.33 c 660 13123 424549963 4165636 0 223 162 165 149 2141.05/2141.17 c 670 13299 430550560 4223698 0 226 155 159 142 2169.95/2170.05 c 680 13475 436533159 4281412 0 228 151 156 139 2199.05/2199.15 c 690 13658 442553532 4339201 0 229 160 164 148 2228.44/2228.52 c 700 13847 448679257 4397832 0 233 169 172 154 2257.64/2257.73 c 710 14033 454821244 4458939 0 237 153 160 141 2286.64/2286.79 c 720 14210 460823600 4515493 0 239 158 164 147 2316.05/2316.11 c 730 14390 466928334 4576184 0 240 151 157 139 2344.74/2344.85 c 740 14569 472857102 4637059 0 242 149 155 139 2373.74/2373.87 c 750 14738 478722322 4697049 0 246 149 152 136 2401.74/2401.89 c 760 14897 484449306 4759807 0 250 135 138 124 2429.14/2429.28 c 770 15045 489977687 4816600 0 254 132 133 120 2456.85/2456.97 c 771 15196 495588261 4868205 0 255 151 151 75 2485.44/2485.57 c 780 15369 501534774 4927948 0 257 146 153 134 2513.74/2513.87 c 790 15537 507426096 4989852 0 260 138 142 127 2519.95/2520.01 2519.95/2520.01 c *** INTERRUPTED *** 2519.95/2520.01 c restarts : 85 2519.95/2520.01 c conflicts : 790 (0 /sec) 2519.95/2520.01 c decisions : 15588 (6 /sec) 2519.95/2520.01 c propagations : 5019089 (1993 /sec) 2519.95/2520.01 c root propagations : 0 2519.95/2520.01 c filter calls : 509836663 (202440 /sec) 2519.95/2520.01 c useless filter calls : 506399632 (99 %) 2519.95/2520.01 c 2519.95/2520.01 c clauses : 5800220 2519.95/2520.01 c SAT propagations : 0 2519.95/2520.01 c SAT conflicts : 0 (0 learnts) 2519.95/2520.01 c Memory used : 1273.44 MB 2519.95/2520.01 c CPU time : 2518.46 s 2519.95/2520.01 2519.95/2520.01 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (13045 MiB free)
memory of node 1: 16384 MiB (14652 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266446-1502591041/watcher-4266446-1502591041 -o /tmp/evaluation-result-4266446-1502591041/solver-4266446-1502591041 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1502567255-24591 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266446-1502591041.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27298, runsolver pid=27295
[startup+0.100194 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 27299
/proc/meminfo: memFree=28360956/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=28708 memory=4648 CPUtime=0.1 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 1381 0 0 0 10 0 0 0 20 0 1 0 92192017 29396992 1162 33554432000 4194304 5972588 140736682598960 140736682595608 140176440175589 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 7177 1162 716 435 0 540 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28708 KiB
Current children cumulated memory: 4648 KiB
[startup+0.209499 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 27299
/proc/meminfo: memFree=28360028/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=29824 memory=5640 CPUtime=0.21 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 1682 0 0 0 21 0 0 0 20 0 1 0 92192017 30539776 1410 33554432000 4194304 5972588 140736682598960 140736682595608 140176440175589 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 7456 1410 717 435 0 819 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29824 KiB
Current children cumulated memory: 5640 KiB
[startup+0.309022 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 27299
/proc/meminfo: memFree=28358292/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=31128 memory=6724 CPUtime=0.31 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 2040 0 0 0 31 0 0 0 20 0 1 0 92192017 31875072 1681 33554432000 4194304 5972588 140736682598960 140736682595608 140176440175589 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 7782 1681 717 435 0 1145 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31128 KiB
Current children cumulated memory: 6724 KiB
[startup+0.700341 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27299
/proc/meminfo: memFree=28356804/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=34924 memory=10064 CPUtime=0.69 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 3174 0 0 0 69 0 0 0 20 0 1 0 92192017 35762176 2516 33554432000 4194304 5972588 140736682598960 140736682595528 140176440175589 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 8731 2516 717 435 0 2094 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34924 KiB
Current children cumulated memory: 10064 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27299
/proc/meminfo: memFree=28352312/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=42184 memory=17984 CPUtime=1.49 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 5126 0 0 0 148 1 0 0 20 0 1 0 92192017 43196416 4496 33554432000 4194304 5972588 140736682598960 140736682595528 140176440175589 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 10546 4496 787 435 0 3909 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42184 KiB
Current children cumulated memory: 17984 KiB
[startup+3.10943 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27299
/proc/meminfo: memFree=28333340/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=57364 memory=33084 CPUtime=3.1 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 9184 0 0 0 309 1 0 0 20 0 1 0 92192017 58740736 8271 33554432000 4194304 5972588 140736682598960 140736682590728 140176440175589 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 14341 8271 787 435 0 7704 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 57364 KiB
Current children cumulated memory: 33084 KiB
[startup+6.30033 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 27299
/proc/meminfo: memFree=28305204/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=87592 memory=63412 CPUtime=6.29 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 17067 0 0 0 627 2 0 0 20 0 1 0 92192017 89694208 15853 33554432000 4194304 5972588 140736682598960 140736682590536 140176449521002 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 21898 15853 787 435 0 15261 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 87592 KiB
Current children cumulated memory: 63412 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 27299
/proc/meminfo: memFree=28248528/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=148100 memory=123872 CPUtime=12.69 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 32663 0 0 0 1265 4 0 0 20 0 1 0 92192017 151654400 30968 33554432000 4194304 5972588 140736682598960 140736682590536 140176440175589 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 37025 30968 787 435 0 30388 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 148100 KiB
Current children cumulated memory: 123872 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/189 27308
/proc/meminfo: memFree=28125460/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=269192 memory=244912 CPUtime=25.49 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 63826 0 0 0 2539 10 0 0 20 0 1 0 92192017 275652608 61228 33554432000 4194304 5972588 140736682598960 140736682590680 140176440175589 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 67298 61228 787 435 0 60661 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 269192 KiB
Current children cumulated memory: 244912 KiB
[startup+51.1096 s]
/proc/loadavg: 1.96 2.00 2.04 3/189 27308
/proc/meminfo: memFree=27878824/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=511556 memory=487240 CPUtime=51.1 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 125600 0 0 0 5090 20 0 0 20 0 1 0 92192017 523833344 121810 33554432000 4194304 5972588 140736682598960 140736682590728 140176440175589 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 127889 121810 787 435 0 121252 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 511556 KiB
Current children cumulated memory: 487240 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/189 27309
/proc/meminfo: memFree=27272876/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=1160116 memory=1091556 CPUtime=102.29 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 471937 0 0 0 10179 50 0 0 20 0 1 0 92192017 1187958784 272889 33554432000 4194304 5972588 140736682598960 140736682595992 4965365 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 290029 272889 835 435 0 283392 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 1160116 KiB
Current children cumulated memory: 1091556 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/189 27310
/proc/meminfo: memFree=27218060/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=1214368 memory=1145756 CPUtime=162.29 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 657315 0 0 0 16169 60 0 0 20 0 1 0 92192017 1243512832 286439 33554432000 4194304 5972588 140736682598960 140736682595992 4965382 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 303592 286439 835 435 0 296955 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 1214368 KiB
Current children cumulated memory: 1145756 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/189 27311
/proc/meminfo: memFree=27203332/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=1227172 memory=1158552 CPUtime=222.29 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 892773 0 0 0 22157 72 0 0 20 0 1 0 92192017 1256624128 289638 33554432000 4194304 5972588 140736682598960 140736682595944 4909635 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 306793 289638 835 435 0 300156 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 1227172 KiB
Current children cumulated memory: 1158552 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/189 27312
/proc/meminfo: memFree=27197452/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=1233772 memory=1165168 CPUtime=282.29 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 1113868 0 0 0 28146 83 0 0 20 0 1 0 92192017 1263382528 291292 33554432000 4194304 5972588 140736682598960 140736682595992 5071880 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 308443 291292 835 435 0 301806 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 1233772 KiB
Current children cumulated memory: 1165168 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 27313
/proc/meminfo: memFree=27192548/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=1238656 memory=1170108 CPUtime=342.28 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 1311078 0 0 0 34134 94 0 0 20 0 1 0 92192017 1268383744 292527 33554432000 4194304 5972588 140736682598960 140736682595992 4965382 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 309664 292527 835 435 0 303027 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 1238656 KiB
Current children cumulated memory: 1170108 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 27314
/proc/meminfo: memFree=27188128/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=1242220 memory=1173684 CPUtime=402.27 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 1477082 0 0 0 40124 103 0 0 20 0 1 0 92192017 1272033280 293421 33554432000 4194304 5972588 140736682598960 140736682595992 5328649 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 310555 293421 835 435 0 303918 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 1242220 KiB
Current children cumulated memory: 1173684 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 27315
/proc/meminfo: memFree=27183852/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=1246840 memory=1178304 CPUtime=462.27 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 1619611 0 0 0 46116 111 0 0 20 0 1 0 92192017 1276764160 294576 33554432000 4194304 5972588 140736682598960 140736682595992 4909702 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 311710 294576 835 435 0 305073 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 1246840 KiB
Current children cumulated memory: 1178304 KiB
################
# More data... #
################
/proc/27298/statm: 323062 306247 835 435 0 316425 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 1292248 KiB
Current children cumulated memory: 1224988 KiB
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.04 3/187 27419
/proc/meminfo: memFree=26111148/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=1293436 memory=1226212 CPUtime=1782.24 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 2220877 0 0 0 178079 145 0 0 20 0 1 0 92192017 1324478464 306553 33554432000 4194304 5972588 140736682598960 140736682595992 4909657 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 323359 306553 835 435 0 316722 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 1293436 KiB
Current children cumulated memory: 1226212 KiB
[startup+1842.3 s]
/proc/loadavg: 2.02 2.01 2.04 3/188 27428
/proc/meminfo: memFree=26108668/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=1294624 memory=1227412 CPUtime=1842.24 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 2227951 0 0 0 184078 146 0 0 20 0 1 0 92192017 1325694976 306853 33554432000 4194304 5972588 140736682598960 140736682595992 5053097 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 323656 306853 835 435 0 317019 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 1294624 KiB
Current children cumulated memory: 1227412 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/188 27429
/proc/meminfo: memFree=26107220/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=1296076 memory=1228800 CPUtime=1902.24 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 2231938 0 0 0 190078 146 0 0 20 0 1 0 92192017 1327181824 307200 33554432000 4194304 5972588 140736682598960 140736682595992 4909635 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 324019 307200 835 435 0 317382 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 1296076 KiB
Current children cumulated memory: 1228800 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 27430
/proc/meminfo: memFree=26106224/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=1297000 memory=1229756 CPUtime=1962.24 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 2234123 0 0 0 196077 147 0 0 20 0 1 0 92192017 1328128000 307439 33554432000 4194304 5972588 140736682598960 140736682595992 5070912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 324250 307439 835 435 0 317613 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 1297000 KiB
Current children cumulated memory: 1229756 KiB
[startup+2022.3 s]
/proc/loadavg: 2.51 2.16 2.09 3/188 27431
/proc/meminfo: memFree=26105512/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=1298056 memory=1230816 CPUtime=2022.24 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 2236601 0 0 0 202077 147 0 0 20 0 1 0 92192017 1329209344 307704 33554432000 4194304 5972588 140736682598960 140736682595992 5070923 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 324514 307704 835 435 0 317877 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 1298056 KiB
Current children cumulated memory: 1230816 KiB
[startup+2082.3 s]
/proc/loadavg: 2.19 2.13 2.08 3/188 27432
/proc/meminfo: memFree=26104656/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=1298848 memory=1231572 CPUtime=2082.24 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 2239176 0 0 0 208077 147 0 0 20 0 1 0 92192017 1330020352 307893 33554432000 4194304 5972588 140736682598960 140736682595992 4965316 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 324712 307893 835 435 0 318075 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 1298848 KiB
Current children cumulated memory: 1231572 KiB
[startup+2142.3 s]
/proc/loadavg: 2.07 2.11 2.08 3/187 27433
/proc/meminfo: memFree=26103568/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=1299904 memory=1232688 CPUtime=2142.24 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 2242074 0 0 0 214076 148 0 0 20 0 1 0 92192017 1331101696 308172 33554432000 4194304 5972588 140736682598960 140736682595992 4965365 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 324976 308172 835 435 0 318339 0
Current children cumulated CPU time: 2142.24 s
Current children cumulated vsize: 1299904 KiB
Current children cumulated memory: 1232688 KiB
[startup+2202.3 s]
/proc/loadavg: 2.03 2.09 2.07 3/187 27434
/proc/meminfo: memFree=26102344/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=1300960 memory=1233736 CPUtime=2202.24 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 2245168 0 0 0 220076 148 0 0 20 0 1 0 92192017 1332183040 308434 33554432000 4194304 5972588 140736682598960 140736682595992 5071920 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 325240 308434 835 435 0 318603 0
Current children cumulated CPU time: 2202.24 s
Current children cumulated vsize: 1300960 KiB
Current children cumulated memory: 1233736 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 27435
/proc/meminfo: memFree=26101488/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=1301620 memory=1234464 CPUtime=2262.24 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 2248262 0 0 0 226075 149 0 0 20 0 1 0 92192017 1332858880 308616 33554432000 4194304 5972588 140736682598960 140736682595992 5070704 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 325405 308616 835 435 0 318768 0
Current children cumulated CPU time: 2262.24 s
Current children cumulated vsize: 1301620 KiB
Current children cumulated memory: 1234464 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 27436
/proc/meminfo: memFree=26101376/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=1302280 memory=1235028 CPUtime=2322.24 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 2251383 0 0 0 232075 149 0 0 20 0 1 0 92192017 1333534720 308757 33554432000 4194304 5972588 140736682598960 140736682595992 5071906 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 325570 308757 835 435 0 318933 0
Current children cumulated CPU time: 2322.24 s
Current children cumulated vsize: 1302280 KiB
Current children cumulated memory: 1235028 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 27437
/proc/meminfo: memFree=26100520/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=1302808 memory=1235576 CPUtime=2382.24 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 2254467 0 0 0 238075 149 0 0 20 0 1 0 92192017 1334075392 308894 33554432000 4194304 5972588 140736682598960 140736682595992 4965365 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 325702 308894 835 435 0 319065 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 1302808 KiB
Current children cumulated memory: 1235576 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 27445
/proc/meminfo: memFree=26099584/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=1303468 memory=1236240 CPUtime=2442.25 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 2257742 0 0 0 244075 150 0 0 20 0 1 0 92192017 1334751232 309060 33554432000 4194304 5972588 140736682598960 140736682595992 5071296 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 325867 309060 835 435 0 319230 0
Current children cumulated CPU time: 2442.25 s
Current children cumulated vsize: 1303468 KiB
Current children cumulated memory: 1236240 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 27446
/proc/meminfo: memFree=26099108/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=1303732 memory=1236564 CPUtime=2502.24 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 2260933 0 0 0 250074 150 0 0 20 0 1 0 92192017 1335021568 309141 33554432000 4194304 5972588 140736682598960 140736682596264 5071298 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 325933 309141 835 435 0 319296 0
Current children cumulated CPU time: 2502.24 s
Current children cumulated vsize: 1303732 KiB
Current children cumulated memory: 1236564 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.03 2.05 3/187 27446
/proc/meminfo: memFree=26098952/32770624 swapFree=67108860/67108860
[pid=27298] ppid=27295 vsize=1303996 memory=1236832 CPUtime=2519.95 cores=0,2,4,6
/proc/27298/stat : 27298 (cosoco) R 27295 27298 24508 0 -1 4202496 2262487 0 0 0 251845 150 0 0 20 0 1 0 92192017 1335291904 309208 33554432000 4194304 5972588 140736682598960 140736682595992 5071880 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 33095680 140736682607802 140736682607902 140736682607902 140736682610638 0
/proc/27298/statm: 325999 309208 835 435 0 319362 0
Current children cumulated CPU time: 2519.95 s
Current children cumulated vsize: 1303996 KiB
Current children cumulated memory: 1236832 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 27298 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.46 s, system=1.50801 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.02
CPU time (s): 2519.97
CPU user time (s): 2518.46
CPU system time (s): 1.50801
CPU usage (%): 99.998
Max. virtual memory (cumulated for all children) (KiB): 1303996
Max. memory (cumulated for all children) (KiB): 1236832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.46
system time used= 1.50801
maximum resident set size= 1236896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2262531
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= 168
involuntary context switches= 3176
# summary of solver processes directly reported to runsolver:
# pid: 27298
# total CPU time (s): 2519.97
# total CPU user time (s): 2518.46
# total CPU system time (s): 1.50801
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7487 second user time and 17.9741 second system time
The end
Begin job on node104 at 2017-08-13 04:09:43 IDJOB=4266446 IDBENCH=138402 IDSOLVER=2655 FILE ID=node104/4266446-1502591041 RUNJOBID= node104-1502567255-24591 PBS_JOBID= 20628287 Free space on /tmp= 61824 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Queens-s1/SuperQueens-07.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266446-1502591041/watcher-4266446-1502591041 -o /tmp/evaluation-result-4266446-1502591041/solver-4266446-1502591041 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1502567255-24591 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266446-1502591041.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ad906e83ed0060b79525fa6c279d7f21 RANDOM SEED=1293626108 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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 : 5333.43 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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 : 5333.43 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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 : 5333.43 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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 : 5333.43 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28362764 kB MemAvailable: 31657348 kB Buffers: 133892 kB Cached: 3455624 kB SwapCached: 0 kB Active: 702588 kB Inactive: 3279864 kB Active(anon): 396016 kB Inactive(anon): 25028 kB Active(file): 306572 kB Inactive(file): 3254836 kB Unevictable: 6528 kB Mlocked: 6528 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 4592 kB Writeback: 0 kB AnonPages: 399340 kB Mapped: 44752 kB Shmem: 25228 kB Slab: 123612 kB SReclaimable: 98020 kB SUnreclaim: 25592 kB KernelStack: 3344 kB PageTables: 6432 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 699036 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 342016 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61856 MiB End job on node104 at 2017-08-13 04:51:43