Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
R1: cosoco-sat 1.1 | ? (TO) | 2400.02 | 2401.11 |
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.78/52.86 c intension x[0] != x[1] using generic constraint 52.78/52.86 c intension x[2] != x[3] using generic constraint 52.78/52.86 c intension x[4] != x[5] using generic constraint 52.78/52.86 c intension x[6] != x[7] using generic constraint 52.78/52.86 c intension x[8] != x[9] using generic constraint 52.78/52.86 c intension x[10] != x[11] using generic constraint 52.78/52.87 c intension x[12] != x[13] using generic constraint 52.78/52.87 c intension x[14] != x[15] using generic constraint 52.78/52.87 c intension x[16] != x[17] using generic constraint 52.78/52.87 c intension x[18] != x[19] using generic constraint 52.78/52.87 c intension x[20] != x[21] using generic constraint 52.78/52.87 c intension x[22] != x[23] using generic constraint 52.78/52.87 c intension x[24] != x[25] using generic constraint 52.78/52.87 c intension x[26] != x[27] using generic constraint 52.78/52.87 c intension x[28] != x[29] using generic constraint 52.78/52.87 c intension x[30] != x[31] using generic constraint 52.78/52.87 c intension x[32] != x[33] using generic constraint 52.78/52.88 c intension x[34] != x[35] using generic constraint 52.78/52.88 c intension x[36] != x[37] using generic constraint 52.78/52.88 c intension x[38] != x[39] using generic constraint 52.78/52.88 c intension x[40] != x[41] using generic constraint 52.78/52.88 c intension x[42] != x[43] using generic constraint 52.78/52.88 c intension x[44] != x[45] using generic constraint 52.78/52.88 c intension x[46] != x[47] using generic constraint 52.78/52.88 c intension x[48] != x[49] using generic constraint 52.78/52.88 c intension x[50] != x[51] using generic constraint 52.78/52.88 c intension x[52] != x[53] using generic constraint 52.78/52.89 c intension x[54] != x[55] using generic constraint 52.78/52.89 c intension x[56] != x[57] using generic constraint 52.78/52.89 c intension x[58] != x[59] using generic constraint 52.78/52.89 c intension x[60] != x[61] using generic constraint 52.78/52.89 c intension x[62] != x[63] using generic constraint 52.78/52.89 c intension x[64] != x[65] using generic constraint 52.78/52.89 c intension x[66] != x[67] using generic constraint 52.78/52.89 c intension x[68] != x[69] using generic constraint 52.78/52.89 c intension x[70] != x[71] using generic constraint 52.78/52.89 c intension x[72] != x[73] using generic constraint 52.78/52.89 c intension x[74] != x[75] using generic constraint 52.78/52.90 c intension x[76] != x[77] using generic constraint 52.78/52.90 c intension x[78] != x[79] using generic constraint 52.78/52.90 c intension x[80] != x[81] using generic constraint 52.78/52.90 c intension x[82] != x[83] using generic constraint 52.78/52.90 c intension x[84] != x[85] using generic constraint 52.78/52.90 c intension x[86] != x[87] using generic constraint 52.78/52.90 c intension x[88] != x[89] using generic constraint 52.78/52.90 c intension x[90] != x[91] using generic constraint 52.78/52.90 c intension x[92] != x[93] using generic constraint 52.88/52.90 c intension x[94] != x[95] using generic constraint 52.88/52.91 c intension x[96] != x[97] using generic constraint 52.88/52.91 c intension x[98] != x[99] using generic constraint 52.88/52.91 c intension x[100] != x[101] using generic constraint 52.88/52.91 c intension x[102] != x[103] using generic constraint 52.88/52.91 c intension x[104] != x[105] using generic constraint 52.88/52.91 c intension x[106] != x[107] using generic constraint 52.88/52.91 c intension x[108] != x[109] using generic constraint 52.88/52.91 c intension x[110] != x[111] using generic constraint 52.88/52.91 c intension x[112] != x[113] using generic constraint 52.88/52.91 c intension x[114] != x[115] using generic constraint 52.88/52.91 c intension x[116] != x[117] using generic constraint 52.88/52.92 c intension x[118] != x[119] using generic constraint 52.88/52.92 c intension x[120] != x[121] using generic constraint 52.88/52.92 c intension x[122] != x[123] using generic constraint 52.88/52.92 c intension x[124] != x[125] using generic constraint 52.88/52.92 c intension x[126] != x[127] using generic constraint 52.88/52.92 c intension x[128] != x[129] using generic constraint 52.88/52.92 c intension x[130] != x[131] using generic constraint 52.88/52.92 c intension x[132] != x[133] using generic constraint 52.88/52.92 c intension x[134] != x[135] using generic constraint 52.88/52.92 c intension x[136] != x[137] using generic constraint 52.88/52.93 c intension x[138] != x[139] using generic constraint 52.88/52.93 c intension x[140] != x[141] using generic constraint 52.88/52.93 c intension x[142] != x[143] using generic constraint 52.88/52.93 c intension x[144] != x[145] using generic constraint 52.88/52.93 c intension x[146] != x[147] using generic constraint 52.88/52.93 c intension x[148] != x[149] using generic constraint 52.88/52.93 c intension x[150] != x[151] using generic constraint 52.88/52.93 c intension x[152] != x[153] using generic constraint 52.88/52.93 c intension x[154] != x[155] using generic constraint 52.88/52.93 c intension x[156] != x[157] using generic constraint 52.88/52.94 c intension x[158] != x[159] using generic constraint 52.88/52.94 c intension x[160] != x[161] using generic constraint 52.88/52.94 c intension x[162] != x[163] using generic constraint 52.88/52.94 c intension x[164] != x[165] using generic constraint 52.88/52.94 c intension x[166] != x[167] using generic constraint 52.88/52.94 c intension x[168] != x[169] using generic constraint 52.88/52.94 c intension x[170] != x[171] using generic constraint 52.88/52.94 c intension x[172] != x[173] using generic constraint 52.88/52.94 c intension x[174] != x[175] using generic constraint 52.88/52.94 c intension x[176] != x[177] using generic constraint 52.88/52.94 c intension x[178] != x[179] using generic constraint 52.88/52.95 c intension x[180] != x[181] using generic constraint 52.88/52.95 c intension x[182] != x[183] using generic constraint 52.88/52.95 c intension x[184] != x[185] using generic constraint 52.88/52.95 c intension x[186] != x[187] using generic constraint 52.88/52.95 c intension x[188] != x[189] using generic constraint 52.88/52.95 c intension x[190] != x[191] using generic constraint 52.88/52.95 c intension x[192] != x[193] using generic constraint 52.88/52.95 c intension x[194] != x[195] using generic constraint 52.88/52.95 c intension x[196] != x[197] using generic constraint 52.88/52.95 c intension x[198] != x[199] using generic constraint 52.88/52.96 c intension x[200] != x[201] using generic constraint 52.88/52.96 c intension x[202] != x[203] using generic constraint 52.88/52.96 c intension x[204] != x[205] using generic constraint 52.88/52.96 c intension x[206] != x[207] using generic constraint 52.88/52.96 c intension x[208] != x[209] using generic constraint 52.88/52.96 c intension x[210] != x[211] using generic constraint 52.88/52.96 c intension x[212] != x[213] using generic constraint 52.88/52.96 c intension x[214] != x[215] using generic constraint 52.88/52.96 c intension x[216] != x[217] using generic constraint 52.88/52.96 c intension x[218] != x[219] using generic constraint 52.88/52.96 c intension x[220] != x[221] using generic constraint 52.88/52.97 c intension x[222] != x[223] using generic constraint 52.88/52.97 c intension x[224] != x[225] using generic constraint 52.88/52.97 c intension x[226] != x[227] using generic constraint 52.88/52.97 c intension x[228] != x[229] using generic constraint 52.88/52.97 c intension x[230] != x[231] using generic constraint 52.88/52.97 c intension x[232] != x[233] using generic constraint 52.88/52.97 c intension x[234] != x[235] using generic constraint 52.88/52.97 c intension x[236] != x[237] using generic constraint 52.88/52.97 c intension x[238] != x[239] using generic constraint 52.88/52.97 c intension x[240] != x[241] using generic constraint 52.88/52.98 c intension x[242] != x[243] using generic constraint 52.88/52.98 c intension x[244] != x[245] using generic constraint 52.88/52.98 c intension x[246] != x[247] using generic constraint 52.88/52.98 c intension x[248] != x[249] using generic constraint 52.88/52.98 c intension x[250] != x[251] using generic constraint 52.88/52.98 c intension x[252] != x[253] using generic constraint 52.88/52.98 c intension x[254] != x[255] using generic constraint 52.88/52.98 c intension x[256] != x[257] using generic constraint 52.88/52.98 c intension x[258] != x[259] using generic constraint 52.88/52.98 c intension x[260] != x[261] using generic constraint 52.88/52.99 c intension x[262] != x[263] using generic constraint 52.88/52.99 c intension x[264] != x[265] using generic constraint 52.88/52.99 c intension x[266] != x[267] using generic constraint 52.88/52.99 c intension x[268] != x[269] using generic constraint 52.88/52.99 c intension x[270] != x[271] using generic constraint 52.88/52.99 c intension x[272] != x[273] using generic constraint 52.88/52.99 c intension x[274] != x[275] using generic constraint 52.88/52.99 c intension x[276] != x[277] using generic constraint 52.88/52.99 c intension x[278] != x[279] using generic constraint 52.88/52.99 c intension x[280] != x[281] using generic constraint 52.88/52.99 c intension x[282] != x[283] using generic constraint 52.88/53.00 c intension x[284] != x[285] using generic constraint 52.97/53.00 c intension x[286] != x[287] using generic constraint 52.97/53.00 c intension x[288] != x[289] using generic constraint 52.97/53.00 c intension x[290] != x[291] using generic constraint 52.97/53.00 c intension x[292] != x[293] using generic constraint 52.97/53.00 c intension x[294] != x[295] using generic constraint 52.97/53.00 c intension x[296] != x[297] using generic constraint 52.97/53.00 c intension x[298] != x[299] using generic constraint 52.97/53.00 c intension x[300] != x[301] using generic constraint 52.97/53.00 c intension x[302] != x[303] using generic constraint 52.97/53.01 c intension x[304] != x[305] using generic constraint 52.97/53.01 c intension x[306] != x[307] using generic constraint 52.97/53.01 c intension x[308] != x[309] using generic constraint 52.97/53.01 c intension x[310] != x[311] using generic constraint 52.97/53.01 c intension x[312] != x[313] using generic constraint 52.97/53.01 c intension x[314] != x[315] using generic constraint 52.97/53.01 c intension x[316] != x[317] using generic constraint 52.97/53.01 c intension x[318] != x[319] using generic constraint 52.97/53.01 c intension x[320] != x[321] using generic constraint 52.97/53.01 c intension x[322] != x[323] using generic constraint 52.97/53.02 c intension x[324] != x[325] using generic constraint 52.97/53.02 c intension x[326] != x[327] using generic constraint 52.97/53.02 c intension x[328] != x[329] using generic constraint 52.97/53.02 c intension x[330] != x[331] using generic constraint 52.97/53.02 c intension x[332] != x[333] using generic constraint 52.97/53.02 c intension x[334] != x[335] using generic constraint 52.97/53.02 c intension x[336] != x[337] using generic constraint 52.97/53.02 c intension x[338] != x[339] using generic constraint 52.97/53.02 c intension x[340] != x[341] using generic constraint 52.97/53.02 c intension x[342] != x[343] using generic constraint 52.97/53.02 c intension x[344] != x[345] using generic constraint 52.97/53.03 c intension x[346] != x[347] using generic constraint 52.97/53.03 c intension x[348] != x[349] using generic constraint 52.97/53.03 c intension x[350] != x[351] using generic constraint 52.97/53.03 c intension x[352] != x[353] using generic constraint 52.97/53.03 c intension x[354] != x[355] using generic constraint 52.97/53.03 c intension x[356] != x[357] using generic constraint 52.97/53.03 c intension x[358] != x[359] using generic constraint 53.37/53.49 c SAT : Variables: 64800 -- Clauses: 5799960 53.47/53.50 c root propagations : 0 53.47/53.50 c restarts enabled, print stats at every restarts 53.47/53.50 c 53.47/53.50 c 53.47/53.50 c 53.47/53.50 c This is cosoco 1.0 -- 53.47/53.50 c 53.47/53.50 c ========================================[ Problem Statistics ]=========================================== 53.47/53.50 c | 53.47/53.50 c | Parse time : 53.17 s 53.47/53.50 c | 53.47/53.50 c | Variables: 360 53.47/53.50 c | Domain Sizes: 180..180 53.47/53.50 c | 53.47/53.50 c | Constraints: 48510 53.47/53.50 c | Arity: 2..2 -- Binary: 48510 53.47/53.50 c | 53.47/53.50 c | Types: 53.47/53.50 c | (X != Y): 180 53.47/53.50 c | Intension: 48330 53.47/53.50 c | 53.47/53.50 c ========================================================================================================= 53.47/53.50 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 78.85/78.90 c 10 172 5959983 58899 0 4 150 153 137 107.13/107.23 c 20 344 11883937 116342 0 6 150 154 137 136.22/136.32 c 30 527 17701093 172497 0 9 168 170 153 166.30/166.41 c 40 708 23584883 231582 0 14 160 166 147 196.58/196.79 c 50 925 29610621 289440 0 17 198 203 181 227.56/227.76 c 60 1124 35713449 347190 0 20 178 181 163 258.95/259.13 c 70 1343 41944814 403961 0 22 199 203 182 289.13/289.36 c 80 1557 47923246 461847 0 25 179 199 172 318.30/318.58 c 90 1722 53735194 521213 0 28 146 151 134 348.18/348.44 c 100 1944 59873250 581416 0 32 189 194 173 377.46/377.72 c 101 2116 65686954 634135 0 33 172 172 86 406.44/406.70 c 110 2273 71319951 690362 0 36 140 142 126 436.33/436.64 c 120 2473 77320194 751236 0 41 142 178 146 466.01/466.32 c 130 2675 83342313 811249 0 43 169 183 162 495.79/496.16 c 140 2854 89334462 870108 0 47 155 158 142 525.18/525.56 c 150 3032 95298019 927609 0 51 157 160 144 554.76/555.13 c 160 3203 101163179 985729 0 52 156 158 142 583.94/584.32 c 170 3387 107157375 1043171 0 58 160 164 147 613.44/613.82 c 180 3564 113144855 1101374 0 64 155 157 142 642.51/642.97 c 190 3754 119185784 1161028 0 67 166 171 153 671.70/672.18 c 200 3937 125184277 1219247 0 69 165 167 150 700.88/701.33 c 210 4132 131265997 1277873 0 72 166 172 154 729.17/729.67 c 211 4296 137000523 1331574 0 73 164 164 82 757.56/758.09 c 220 4475 142883308 1389088 0 75 162 165 147 786.84/787.31 c 230 4670 149001075 1450330 0 77 170 174 156 815.84/816.36 c 240 4873 155110463 1509323 0 79 168 173 154 845.12/845.63 c 250 5071 161280865 1571496 0 82 163 168 150 874.30/874.81 c 260 5268 167347298 1634021 0 87 156 169 150 902.20/902.73 c 270 5438 173145960 1694429 0 91 149 153 136 930.29/930.88 c 280 5625 179040329 1753609 0 93 161 167 148 958.28/958.84 c 290 5798 184788945 1811694 0 95 148 150 136 986.67/987.22 c 300 5980 190714357 1869725 0 99 159 164 147 1015.46/1016.07 c 310 6180 196813656 1930636 0 105 161 174 152 1044.04/1044.60 c 320 6375 202803346 1987419 0 106 174 178 159 1072.73/1073.32 c 330 6564 208854155 2046478 0 110 164 168 150 1101.12/1101.70 c 332 6731 214630329 2101429 0 111 166 166 110 1129.31/1129.96 c 340 6918 220463069 2159800 0 116 145 173 142 1157.40/1158.03 c 350 7079 226170308 2218535 0 120 139 141 127 1186.18/1186.86 c 360 7268 232205002 2277957 0 126 163 168 150 1214.78/1215.49 c 370 7444 238092517 2334478 0 133 146 159 138 1243.17/1243.89 c 380 7634 244050437 2391990 0 135 169 173 154 1272.25/1272.94 c 390 7821 250100870 2452304 0 137 163 167 150 1301.54/1302.28 c 400 8011 256199011 2513083 0 139 167 170 153 1330.93/1331.61 c 410 8206 262339202 2573362 0 140 169 172 155 1359.32/1360.03 c 420 8395 268312311 2631618 0 144 166 170 152 1388.31/1389.01 c 430 8593 274374560 2692567 0 150 156 175 152 1417.39/1418.15 c 440 8779 280450072 2756406 0 152 153 159 142 1446.89/1447.69 c 450 8980 286602406 2816488 0 156 172 177 159 1476.87/1477.67 c 460 9186 292760590 2876522 0 160 173 179 160 1506.27/1507.07 c 465 9366 298708433 2936704 0 162 156 159 131 1534.85/1535.67 c 470 9545 304542853 2994766 0 165 157 163 133 1563.83/1564.61 c 480 9721 310446182 3057352 0 168 147 150 135 1591.93/1592.72 c 490 9882 316249171 3114825 0 170 141 143 128 1620.62/1621.46 c 500 10075 322206881 3179432 0 173 146 152 135 1649.21/1650.04 c 510 10244 328100826 3238776 0 176 144 147 132 1678.09/1678.99 c 520 10420 334108131 3298054 0 179 150 154 138 1707.18/1708.08 c 530 10613 340219529 3357324 0 181 171 173 156 1736.46/1737.31 c 540 10796 346290170 3414800 0 186 158 163 145 1765.26/1766.11 c 550 10969 352255055 3472724 0 190 152 156 139 1793.94/1794.84 c 560 11146 358281362 3530749 0 192 152 156 140 1823.14/1824.08 c 570 11336 364430286 3589616 0 196 161 165 148 1851.92/1852.87 c 580 11508 370346377 3647882 0 199 155 158 141 1880.82/1881.70 c 590 11687 376425076 3706251 0 202 159 161 145 1909.60/1910.59 c 600 11860 382413774 3763213 0 204 154 158 142 1938.69/1939.62 c 610 12034 388389547 3819175 0 207 159 162 145 1967.08/1968.06 c 611 12192 394102861 3872028 0 208 158 158 79 1996.17/1997.16 c 620 12377 400183280 3929842 0 211 153 165 141 2025.05/2026.07 c 630 12582 406328200 3990779 0 215 172 178 158 2054.44/2055.40 c 640 12760 412369495 4048891 0 217 153 158 141 2083.23/2084.26 c 650 12932 418377111 4106621 0 219 151 154 138 2112.32/2113.33 c 660 13123 424549963 4165636 0 223 162 165 149 2141.30/2142.35 c 670 13299 430550560 4223698 0 226 155 159 142 2170.41/2171.43 c 680 13475 436533159 4281412 0 228 151 156 139 2199.68/2200.73 c 690 13658 442553532 4339201 0 229 160 164 148 2229.27/2230.30 c 700 13847 448679257 4397832 0 233 169 172 154 2258.66/2259.71 c 710 14033 454821244 4458939 0 237 153 160 141 2287.85/2288.97 c 720 14210 460823600 4515493 0 239 158 164 147 2317.34/2318.49 c 730 14390 466928334 4576184 0 240 151 157 139 2346.34/2347.42 c 740 14569 472857102 4637059 0 242 149 155 139 2375.51/2376.62 c 750 14738 478722322 4697049 0 246 149 152 136
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-4242974-1500665806/watcher-4242974-1500665806 -o /tmp/evaluation-result-4242974-1500665806/solver-4242974-1500665806 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500648178-9870 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242974-1500665806.xml pid=13319 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.06 2.04 2.05 3/242 13322 /proc/meminfo: memFree=32009284/32770624 swapFree=5664/198852 [pid=13322] ppid=13319 vsize=27652 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 1132 0 0 0 0 0 0 0 20 0 1 0 1849768 28315648 964 33554432000 4194304 5970956 140724948452288 140724948448936 5496056 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 6913 964 708 434 0 277 0 [startup+0.100119 s] /proc/loadavg: 2.06 2.04 2.05 3/242 13322 /proc/meminfo: memFree=32009284/32770624 swapFree=5664/198852 [pid=13322] ppid=13319 vsize=28220 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 1267 0 0 0 9 0 0 0 20 0 1 0 1849768 28897280 1096 33554432000 4194304 5970956 140724948452288 140724948448888 140277394291685 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 7055 1096 710 434 0 419 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28220 [startup+0.20026 s] /proc/loadavg: 2.06 2.04 2.05 3/242 13322 /proc/meminfo: memFree=32009284/32770624 swapFree=5664/198852 [pid=13322] ppid=13319 vsize=29100 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 1468 0 0 0 19 0 0 0 20 0 1 0 1849768 29798400 1294 33554432000 4194304 5970956 140724948452288 140724948448888 140277394291685 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 7275 1294 711 434 0 639 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 29100 [startup+0.300254 s] /proc/loadavg: 2.06 2.04 2.05 3/242 13322 /proc/meminfo: memFree=32009284/32770624 swapFree=5664/198852 [pid=13322] ppid=13319 vsize=30084 CPUtime=0.29 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 1747 0 0 0 29 0 0 0 20 0 1 0 1849768 30806016 1536 33554432000 4194304 5970956 140724948452288 140724948448888 140277394291685 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 7521 1536 711 434 0 885 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30084 [startup+0.700242 s] /proc/loadavg: 2.06 2.04 2.05 3/242 13322 /proc/meminfo: memFree=32009284/32770624 swapFree=5664/198852 [pid=13322] ppid=13319 vsize=34524 CPUtime=0.69 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 3049 0 0 0 69 0 0 0 20 0 1 0 1849768 35352576 2444 33554432000 4194304 5970956 140724948452288 140724948448888 140277394291685 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 8631 2444 711 434 0 1995 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 34524 [startup+1.50029 s] /proc/loadavg: 2.05 2.04 2.05 3/243 13323 /proc/meminfo: memFree=31997856/32770624 swapFree=5664/199096 [pid=13322] ppid=13319 vsize=41652 CPUtime=1.49 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 5006 0 0 0 148 1 0 0 20 0 1 0 1849768 42651648 4358 33554432000 4194304 5970956 140724948452288 140724948443672 140277394291685 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 10413 4358 783 434 0 3777 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 41652 [startup+3.10027 s] /proc/loadavg: 2.05 2.04 2.05 3/243 13323 /proc/meminfo: memFree=31987536/32770624 swapFree=5664/199328 [pid=13322] ppid=13319 vsize=56964 CPUtime=3.09 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 9067 0 0 0 307 2 0 0 20 0 1 0 1849768 58331136 8192 33554432000 4194304 5970956 140724948452288 140724948443896 140277394287422 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 14241 8192 783 434 0 7605 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 56964 [startup+6.30028 s] /proc/loadavg: 2.05 2.04 2.05 3/243 13323 /proc/meminfo: memFree=31954572/32770624 swapFree=5664/199328 [pid=13322] ppid=13319 vsize=87456 CPUtime=6.29 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 17028 0 0 0 626 3 0 0 20 0 1 0 1849768 89554944 15778 33554432000 4194304 5970956 140724948452288 140724948443896 140277394291685 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 21864 15778 783 434 0 15228 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 87456 [startup+12.7003 s] /proc/loadavg: 2.05 2.04 2.05 3/243 13323 /proc/meminfo: memFree=31891868/32770624 swapFree=5664/199292 [pid=13322] ppid=13319 vsize=148492 CPUtime=12.68 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 32746 0 0 0 1263 5 0 0 20 0 1 0 1849768 152055808 31079 33554432000 4194304 5970956 140724948452288 140724948443896 140277394287422 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 37123 31079 783 434 0 30487 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 148492 [startup+25.5003 s] /proc/loadavg: 2.04 2.04 2.05 3/243 13323 /proc/meminfo: memFree=31764836/32770624 swapFree=5664/199300 [pid=13322] ppid=13319 vsize=270376 CPUtime=25.48 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 63766 0 0 0 2536 12 0 0 20 0 1 0 1849768 276865024 61559 33554432000 4194304 5970956 140724948452288 140724948443896 140277394291685 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 67594 61559 783 434 0 60958 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 270376 [startup+51.1003 s] /proc/loadavg: 2.09 2.05 2.05 3/243 13455 /proc/meminfo: memFree=30127640/32770624 swapFree=5664/198988 [pid=13322] ppid=13319 vsize=514192 CPUtime=51.06 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 125068 0 0 0 5084 22 0 0 20 0 1 0 1849768 526532608 122447 33554432000 4194304 5970956 140724948452288 140724948443896 140277394291685 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 128548 122447 783 434 0 121912 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 514192 [startup+102.301 s] /proc/loadavg: 2.07 2.05 2.05 3/243 13455 /proc/meminfo: memFree=29303132/32770624 swapFree=5664/199452 [pid=13322] ppid=13319 vsize=1160112 CPUtime=102.25 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 453445 0 0 0 10173 52 0 0 20 0 1 0 1849768 1187954688 272757 33554432000 4194304 5970956 140724948452288 140724948449352 5070927 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 290028 272757 832 434 0 283392 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 1160112 [startup+162.3 s] /proc/loadavg: 2.06 2.06 2.05 3/243 13456 /proc/meminfo: memFree=29249188/32770624 swapFree=5664/199544 [pid=13322] ppid=13319 vsize=1214364 CPUtime=162.2 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 591918 0 0 0 16159 61 0 0 20 0 1 0 1849768 1243508736 286306 33554432000 4194304 5970956 140724948452288 140724948449352 5069844 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 303591 286306 832 434 0 296955 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 1214364 [startup+222.308 s] /proc/loadavg: 2.02 2.05 2.05 3/243 13464 /proc/meminfo: memFree=29234600/32770624 swapFree=5664/199620 [pid=13322] ppid=13319 vsize=1227168 CPUtime=222.17 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 752614 0 0 0 22148 69 0 0 20 0 1 0 1849768 1256620032 289503 33554432000 4194304 5970956 140724948452288 140724948449304 5070322 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 306792 289503 832 434 0 300156 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 1227168 [startup+282.3 s] /proc/loadavg: 2.08 2.06 2.05 3/243 13465 /proc/meminfo: memFree=29227940/32770624 swapFree=5664/199692 [pid=13322] ppid=13319 vsize=1233768 CPUtime=282.13 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 891437 0 0 0 28136 77 0 0 20 0 1 0 1849768 1263378432 291168 33554432000 4194304 5970956 140724948452288 140724948449352 5070930 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 308442 291168 832 434 0 301806 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 1233768 [startup+342.3 s] /proc/loadavg: 2.03 2.04 2.05 3/243 13466 /proc/meminfo: memFree=29222756/32770624 swapFree=5664/199752 [pid=13322] ppid=13319 vsize=1238652 CPUtime=342.08 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 1006418 0 0 0 34125 83 0 0 20 0 1 0 1849768 1268379648 292402 33554432000 4194304 5970956 140724948452288 140724948449352 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 309663 292402 832 434 0 303027 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 1238652 [startup+402.3 s] /proc/loadavg: 2.01 2.04 2.05 3/243 13467 /proc/meminfo: memFree=29218552/32770624 swapFree=5664/199812 [pid=13322] ppid=13319 vsize=1242216 CPUtime=402.05 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 1114537 0 0 0 40117 88 0 0 20 0 1 0 1849768 1272029184 293437 33554432000 4194304 5970956 140724948452288 140724948449352 5070304 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 310554 293437 832 434 0 303918 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 1242216 [startup+462.3 s] /proc/loadavg: 2.06 2.05 2.05 3/243 13468 /proc/meminfo: memFree=29213644/32770624 swapFree=5664/199868 [pid=13322] ppid=13319 vsize=1246836 CPUtime=462.01 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 1200986 0 0 0 46108 93 0 0 20 0 1 0 1849768 1276760064 294582 33554432000 4194304 5970956 140724948452288 140724948449352 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 311709 294582 832 434 0 305073 0 Current children cumulated CPU time (s) 462.01 Current children cumulated vsize (KiB) 1246836 [startup+522.3 s] /proc/loadavg: 2.02 2.04 2.05 3/243 13469 /proc/meminfo: memFree=29209016/32770624 swapFree=5664/199920 [pid=13322] ppid=13319 vsize=1251324 CPUtime=521.98 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 1272559 0 0 0 52101 97 0 0 20 0 1 0 1849768 1281355776 295704 33554432000 4194304 5970956 140724948452288 140724948449352 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 312831 295704 832 434 0 306195 0 Current children cumulated CPU time (s) 521.98 Current children cumulated vsize (KiB) 1251324 [startup+582.3 s] /proc/loadavg: 2.01 2.03 2.05 3/243 13470 /proc/meminfo: memFree=29204528/32770624 swapFree=5664/199964 [pid=13322] ppid=13319 vsize=1255548 CPUtime=581.94 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 1329704 0 0 0 58094 100 0 0 20 0 1 0 1849768 1285681152 296751 33554432000 4194304 5970956 140724948452288 140724948449304 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 313887 296751 832 434 0 307251 0 Current children cumulated CPU time (s) 581.94 Current children cumulated vsize (KiB) 1255548 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.02 2.02 2.05 3/244 13525 /proc/meminfo: memFree=29166596/32770624 swapFree=5664/200788 [pid=13322] ppid=13319 vsize=1289076 CPUtime=1541.55 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 1452003 0 0 0 154046 109 0 0 20 0 1 0 1849768 1320013824 305277 33554432000 4194304 5970956 140724948452288 140724948449352 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 322269 305277 832 434 0 315633 0 Current children cumulated CPU time (s) 1541.55 Current children cumulated vsize (KiB) 1289076 [startup+1602.3 s] /proc/loadavg: 2.01 2.02 2.05 3/244 13526 /proc/meminfo: memFree=29165384/32770624 swapFree=5664/200828 [pid=13322] ppid=13319 vsize=1290132 CPUtime=1601.52 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 1459753 0 0 0 160042 110 0 0 20 0 1 0 1849768 1321095168 305559 33554432000 4194304 5970956 140724948452288 140724948449352 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 322533 305559 832 434 0 315897 0 Current children cumulated CPU time (s) 1601.52 Current children cumulated vsize (KiB) 1290132 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 13527 /proc/meminfo: memFree=29164108/32770624 swapFree=5664/200884 [pid=13322] ppid=13319 vsize=1291320 CPUtime=1661.5 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 1467725 0 0 0 166040 110 0 0 20 0 1 0 1849768 1322311680 305852 33554432000 4194304 5970956 140724948452288 140724948449352 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 322830 305852 832 434 0 316194 0 Current children cumulated CPU time (s) 1661.5 Current children cumulated vsize (KiB) 1291320 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 13528 /proc/meminfo: memFree=29164160/32770624 swapFree=5664/200912 [pid=13322] ppid=13319 vsize=1292244 CPUtime=1721.47 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 1475933 0 0 0 172037 110 0 0 20 0 1 0 1849768 1323257856 306070 33554432000 4194304 5970956 140724948452288 140724948449352 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 323061 306070 832 434 0 316425 0 Current children cumulated CPU time (s) 1721.47 Current children cumulated vsize (KiB) 1292244 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 13529 /proc/meminfo: memFree=29162548/32770624 swapFree=5664/200952 [pid=13322] ppid=13319 vsize=1293432 CPUtime=1781.45 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 1484447 0 0 0 178034 111 0 0 20 0 1 0 1849768 1324474368 306376 33554432000 4194304 5970956 140724948452288 140724948449352 5070345 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 323358 306376 832 434 0 316722 0 Current children cumulated CPU time (s) 1781.45 Current children cumulated vsize (KiB) 1293432 [startup+1842.3 s] /proc/loadavg: 2.03 2.03 2.05 3/243 13530 /proc/meminfo: memFree=29160500/32770624 swapFree=5664/200996 [pid=13322] ppid=13319 vsize=1294620 CPUtime=1841.42 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 1493293 0 0 0 184030 112 0 0 20 0 1 0 1849768 1325690880 306676 33554432000 4194304 5970956 140724948452288 140724948449352 4908952 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 323655 306676 832 434 0 317019 0 Current children cumulated CPU time (s) 1841.42 Current children cumulated vsize (KiB) 1294620 [startup+1902.3 s] /proc/loadavg: 2.01 2.02 2.05 3/243 13531 /proc/meminfo: memFree=29158912/32770624 swapFree=5664/201044 [pid=13322] ppid=13319 vsize=1296072 CPUtime=1901.4 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 1502216 0 0 0 190027 113 0 0 20 0 1 0 1849768 1327177728 307023 33554432000 4194304 5970956 140724948452288 140724948449352 4964452 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 324018 307023 832 434 0 317382 0 Current children cumulated CPU time (s) 1901.4 Current children cumulated vsize (KiB) 1296072 [startup+1962.3 s] /proc/loadavg: 2.08 2.03 2.05 3/243 13532 /proc/meminfo: memFree=29158680/32770624 swapFree=5664/201112 [pid=13322] ppid=13319 vsize=1296996 CPUtime=1961.38 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 1511076 0 0 0 196025 113 0 0 20 0 1 0 1849768 1328123904 307262 33554432000 4194304 5970956 140724948452288 140724948449352 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 324249 307262 832 434 0 317613 0 Current children cumulated CPU time (s) 1961.38 Current children cumulated vsize (KiB) 1296996 [startup+2022.3 s] /proc/loadavg: 2.09 2.04 2.05 3/243 13540 /proc/meminfo: memFree=29156196/32770624 swapFree=5664/201156 [pid=13322] ppid=13319 vsize=1298052 CPUtime=2021.36 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 1520739 0 0 0 202022 114 0 0 20 0 1 0 1849768 1329205248 307527 33554432000 4194304 5970956 140724948452288 140724948449352 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 324513 307527 832 434 0 317877 0 Current children cumulated CPU time (s) 2021.36 Current children cumulated vsize (KiB) 1298052 [startup+2082.3 s] /proc/loadavg: 2.03 2.04 2.05 3/243 13541 /proc/meminfo: memFree=29156188/32770624 swapFree=5664/201208 [pid=13322] ppid=13319 vsize=1298844 CPUtime=2081.34 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 1530432 0 0 0 208019 115 0 0 20 0 1 0 1849768 1330016256 307716 33554432000 4194304 5970956 140724948452288 140724948449352 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 324711 307716 832 434 0 318075 0 Current children cumulated CPU time (s) 2081.34 Current children cumulated vsize (KiB) 1298844 [startup+2142.3 s] /proc/loadavg: 2.06 2.04 2.05 3/243 13542 /proc/meminfo: memFree=29155600/32770624 swapFree=5664/201256 [pid=13322] ppid=13319 vsize=1299768 CPUtime=2141.3 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 1540216 0 0 0 214015 115 0 0 20 0 1 0 1849768 1330962432 307964 33554432000 4194304 5970956 140724948452288 140724948449352 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 324942 307964 832 434 0 318306 0 Current children cumulated CPU time (s) 2141.3 Current children cumulated vsize (KiB) 1299768 [startup+2202.31 s] /proc/loadavg: 2.02 2.04 2.05 3/243 13543 /proc/meminfo: memFree=29154108/32770624 swapFree=5664/201288 [pid=13322] ppid=13319 vsize=1300956 CPUtime=2201.29 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 1551068 0 0 0 220013 116 0 0 20 0 1 0 1849768 1332178944 308245 33554432000 4194304 5970956 140724948452288 140724948449352 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 325239 308245 832 434 0 318603 0 Current children cumulated CPU time (s) 2201.29 Current children cumulated vsize (KiB) 1300956 [startup+2262.3 s] /proc/loadavg: 2.01 2.03 2.05 3/243 13544 /proc/meminfo: memFree=29153332/32770624 swapFree=5664/201336 [pid=13322] ppid=13319 vsize=1301616 CPUtime=2261.26 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 1561273 0 0 0 226009 117 0 0 20 0 1 0 1849768 1332854784 308408 33554432000 4194304 5970956 140724948452288 140724948449352 5069920 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 325404 308408 832 434 0 318768 0 Current children cumulated CPU time (s) 2261.26 Current children cumulated vsize (KiB) 1301616 [startup+2322.3 s] /proc/loadavg: 2.04 2.04 2.05 3/243 13545 /proc/meminfo: memFree=29152508/32770624 swapFree=5664/201380 [pid=13322] ppid=13319 vsize=1302276 CPUtime=2321.24 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 1572333 0 0 0 232006 118 0 0 20 0 1 0 1849768 1333530624 308584 33554432000 4194304 5970956 140724948452288 140724948449352 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 325569 308584 832 434 0 318933 0 Current children cumulated CPU time (s) 2321.24 Current children cumulated vsize (KiB) 1302276 [startup+2382.3 s] /proc/loadavg: 2.01 2.03 2.05 3/243 13546 /proc/meminfo: memFree=29152028/32770624 swapFree=5664/201428 [pid=13322] ppid=13319 vsize=1302804 CPUtime=2381.21 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 1582643 0 0 0 238003 118 0 0 20 0 1 0 1849768 1334071296 308716 33554432000 4194304 5970956 140724948452288 140724948449352 4908971 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 325701 308716 832 434 0 319065 0 Current children cumulated CPU time (s) 2381.21 Current children cumulated vsize (KiB) 1302804 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2401.1 s] /proc/loadavg: 2.01 2.03 2.05 3/243 13547 /proc/meminfo: memFree=29152112/32770624 swapFree=5664/201460 [pid=13322] ppid=13319 vsize=1302804 CPUtime=2400 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 1584505 0 0 0 239882 118 0 0 20 0 1 0 1849768 1334071296 308717 33554432000 4194304 5970956 140724948452288 140724948449352 5069824 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 325701 308717 832 434 0 319065 0 Current children cumulated CPU time (s) 2400 Current children cumulated vsize (KiB) 1302804 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 13322 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2401.1 s] /proc/loadavg: 2.01 2.03 2.05 3/243 13547 /proc/meminfo: memFree=29152112/32770624 swapFree=5664/201460 [pid=13322] ppid=13319 vsize=1302804 CPUtime=2400 cores=0,2,4,6,8,10,12,14 /proc/13322/stat : 13322 (cosoco) R 13319 13322 9838 0 -1 4202496 1584505 0 0 0 239882 118 0 0 20 0 1 0 1849768 1334071296 308717 33554432000 4194304 5970956 140724948452288 140724948449352 5069824 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 34041856 140724948460732 140724948460867 140724948460867 140724948463566 0 /proc/13322/statm: 325701 308717 832 434 0 319065 0 Current children cumulated CPU time (s) 2400 Current children cumulated vsize (KiB) 1302804 Child status: 1 Real time (s): 2401.11 CPU time (s): 2400.02 CPU user time (s): 2398.83 CPU system time (s): 1.19653 CPU usage (%): 99.9548 Max. virtual memory (cumulated for all children) (KiB): 1302804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2398.83 system time used= 1.19653 maximum resident set size= 1234908 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1584526 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= 220 involuntary context switches= 121119 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.11857 second user time and 11.1946 second system time The end
Begin job on node114 at 2017-07-21 21:36:46 IDJOB=4242974 IDBENCH=138402 IDSOLVER=2621 FILE ID=node114/4242974-1500665806 RUNJOBID= node114-1500648178-9870 PBS_JOBID= 20623304 Free space on /tmp= 62004 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Queens-s1/SuperQueens-07.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242974-1500665806/watcher-4242974-1500665806 -o /tmp/evaluation-result-4242974-1500665806/solver-4242974-1500665806 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500648178-9870 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242974-1500665806.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= ad906e83ed0060b79525fa6c279d7f21 RANDOM SEED=578648689 node114.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 : 5333.60 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 : 1600.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 : 5333.60 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 : 5333.60 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 : 1600.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 : 1867.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 : 5333.60 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 : 1867.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 : 5333.60 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 : 5333.60 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 : 1733.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 : 2133.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 : 5333.60 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 : 2668.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 : 5333.60 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: 32010432 kB MemAvailable: 32014144 kB Buffers: 39080 kB Cached: 274828 kB SwapCached: 0 kB Active: 179508 kB Inactive: 207688 kB Active(anon): 76424 kB Inactive(anon): 8836 kB Active(file): 103084 kB Inactive(file): 198852 kB Unevictable: 5664 kB Mlocked: 5664 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 4728 kB Writeback: 0 kB AnonPages: 78084 kB Mapped: 30876 kB Shmem: 8848 kB Slab: 67372 kB SReclaimable: 35220 kB SUnreclaim: 32152 kB KernelStack: 4224 kB PageTables: 4784 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 344656 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 62004 MiB End job on node114 at 2017-07-21 22:16:47