| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2520.1799 | 2520.02 |
| Name | SuperSolutions/SuperSolutions-Taillard-os15/ SuperTaillard-os-15-22.xml |
| MD5SUM | 3ba855dc46a3fd367cb99709f0833fff |
| 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 | 450 |
| Number of constraints | 9675 |
| Number of domains | 86 |
| Minimum domain size | 811 |
| Maximum domain size | 909 |
| Distribution of domain sizes | [{"size":811,"count":4},{"size":812,"count":6},{"size":813,"count":4},{"size":814,"count":6},{"size":815,"count":6},{"size":816,"count":6},{"size":818,"count":6},{"size":820,"count":4},{"size":821,"count":8},{"size":822,"count":2},{"size":823,"count":2},{"size":824,"count":6},{"size":825,"count":2},{"size":826,"count":2},{"size":827,"count":12},{"size":828,"count":4},{"size":829,"count":4},{"size":830,"count":6},{"size":831,"count":2},{"size":832,"count":4},{"size":833,"count":12},{"size":834,"count":10},{"size":835,"count":2},{"size":837,"count":8},{"size":838,"count":8},"...",{"size":878,"count":6}, {"size":879,"count":2}, {"size":880,"count":2}, {"size":881,"count":6}, {"size":882,"count":6}, {"size":884,"count":4}, {"size":885,"count":6}, {"size":886,"count":6}, {"size":887,"count":4}, {"size":888,"count":4}, {"size":889,"count":2}, {"size":890,"count":8}, {"size":891,"count":6}, {"size":892,"count":6}, {"size":893,"count":6}, {"size":894,"count":8}, {"size":895,"count":8}, {"size":896,"count":8}, {"size":898,"count":4}, {"size":901,"count":4}, {"size":902,"count":4}, {"size":905,"count":6}, {"size":906,"count":2}, {"size":907,"count":10}, {"size":909,"count":4}] |
| Minimum variable degree | 29 |
| Maximum variable degree | 57 |
| Distribution of variable degrees | [{"degree":29,"count":225},{"degree":57,"count":225}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":9675}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 9675 |
| Distribution of constraint types | [{"type":"intension","count":9675}] |
| Optimization problem | NO |
| Type of objective |
10.59/10.60 c intension x0 != x1 using generic constraint 10.59/10.60 c intension x2 != x3 using generic constraint 10.59/10.60 c intension x4 != x5 using generic constraint 10.59/10.60 c intension x6 != x7 using generic constraint 10.59/10.60 c intension x8 != x9 using generic constraint 10.59/10.60 c intension x10 != x11 using generic constraint 10.59/10.60 c intension x12 != x13 using generic constraint 10.59/10.60 c intension x14 != x15 using generic constraint 10.59/10.60 c intension x16 != x17 using generic constraint 10.59/10.60 c intension x18 != x19 using generic constraint 10.59/10.60 c intension x20 != x21 using generic constraint 10.59/10.61 c intension x22 != x23 using generic constraint 10.59/10.61 c intension x24 != x25 using generic constraint 10.59/10.61 c intension x26 != x27 using generic constraint 10.59/10.61 c intension x28 != x29 using generic constraint 10.59/10.61 c intension x30 != x31 using generic constraint 10.59/10.61 c intension x32 != x33 using generic constraint 10.59/10.61 c intension x34 != x35 using generic constraint 10.59/10.61 c intension x36 != x37 using generic constraint 10.59/10.61 c intension x38 != x39 using generic constraint 10.59/10.61 c intension x40 != x41 using generic constraint 10.59/10.61 c intension x42 != x43 using generic constraint 10.59/10.61 c intension x44 != x45 using generic constraint 10.59/10.62 c intension x46 != x47 using generic constraint 10.59/10.62 c intension x48 != x49 using generic constraint 10.59/10.62 c intension x50 != x51 using generic constraint 10.59/10.62 c intension x52 != x53 using generic constraint 10.59/10.62 c intension x54 != x55 using generic constraint 10.59/10.62 c intension x56 != x57 using generic constraint 10.59/10.62 c intension x58 != x59 using generic constraint 10.59/10.62 c intension x60 != x61 using generic constraint 10.59/10.62 c intension x62 != x63 using generic constraint 10.59/10.62 c intension x64 != x65 using generic constraint 10.59/10.62 c intension x66 != x67 using generic constraint 10.59/10.62 c intension x68 != x69 using generic constraint 10.59/10.63 c intension x70 != x71 using generic constraint 10.59/10.63 c intension x72 != x73 using generic constraint 10.59/10.63 c intension x74 != x75 using generic constraint 10.59/10.63 c intension x76 != x77 using generic constraint 10.59/10.63 c intension x78 != x79 using generic constraint 10.59/10.63 c intension x80 != x81 using generic constraint 10.59/10.63 c intension x82 != x83 using generic constraint 10.59/10.63 c intension x84 != x85 using generic constraint 10.59/10.63 c intension x86 != x87 using generic constraint 10.59/10.63 c intension x88 != x89 using generic constraint 10.59/10.63 c intension x90 != x91 using generic constraint 10.59/10.64 c intension x92 != x93 using generic constraint 10.59/10.64 c intension x94 != x95 using generic constraint 10.59/10.64 c intension x96 != x97 using generic constraint 10.59/10.64 c intension x98 != x99 using generic constraint 10.59/10.64 c intension x100 != x101 using generic constraint 10.59/10.64 c intension x102 != x103 using generic constraint 10.59/10.64 c intension x104 != x105 using generic constraint 10.59/10.64 c intension x106 != x107 using generic constraint 10.59/10.64 c intension x108 != x109 using generic constraint 10.59/10.64 c intension x110 != x111 using generic constraint 10.59/10.64 c intension x112 != x113 using generic constraint 10.59/10.64 c intension x114 != x115 using generic constraint 10.59/10.65 c intension x116 != x117 using generic constraint 10.59/10.65 c intension x118 != x119 using generic constraint 10.59/10.65 c intension x120 != x121 using generic constraint 10.59/10.65 c intension x122 != x123 using generic constraint 10.59/10.65 c intension x124 != x125 using generic constraint 10.59/10.65 c intension x126 != x127 using generic constraint 10.59/10.65 c intension x128 != x129 using generic constraint 10.59/10.65 c intension x130 != x131 using generic constraint 10.59/10.65 c intension x132 != x133 using generic constraint 10.59/10.65 c intension x134 != x135 using generic constraint 10.59/10.65 c intension x136 != x137 using generic constraint 10.59/10.65 c intension x138 != x139 using generic constraint 10.59/10.66 c intension x140 != x141 using generic constraint 10.59/10.66 c intension x142 != x143 using generic constraint 10.59/10.66 c intension x144 != x145 using generic constraint 10.59/10.66 c intension x146 != x147 using generic constraint 10.59/10.66 c intension x148 != x149 using generic constraint 10.59/10.66 c intension x150 != x151 using generic constraint 10.59/10.66 c intension x152 != x153 using generic constraint 10.59/10.66 c intension x154 != x155 using generic constraint 10.59/10.66 c intension x156 != x157 using generic constraint 10.59/10.66 c intension x158 != x159 using generic constraint 10.59/10.66 c intension x160 != x161 using generic constraint 10.59/10.67 c intension x162 != x163 using generic constraint 10.59/10.67 c intension x164 != x165 using generic constraint 10.59/10.67 c intension x166 != x167 using generic constraint 10.59/10.67 c intension x168 != x169 using generic constraint 10.59/10.67 c intension x170 != x171 using generic constraint 10.59/10.67 c intension x172 != x173 using generic constraint 10.59/10.67 c intension x174 != x175 using generic constraint 10.59/10.67 c intension x176 != x177 using generic constraint 10.59/10.67 c intension x178 != x179 using generic constraint 10.59/10.67 c intension x180 != x181 using generic constraint 10.59/10.67 c intension x182 != x183 using generic constraint 10.59/10.67 c intension x184 != x185 using generic constraint 10.59/10.68 c intension x186 != x187 using generic constraint 10.59/10.68 c intension x188 != x189 using generic constraint 10.59/10.68 c intension x190 != x191 using generic constraint 10.59/10.68 c intension x192 != x193 using generic constraint 10.59/10.68 c intension x194 != x195 using generic constraint 10.59/10.68 c intension x196 != x197 using generic constraint 10.59/10.68 c intension x198 != x199 using generic constraint 10.59/10.68 c intension x200 != x201 using generic constraint 10.59/10.68 c intension x202 != x203 using generic constraint 10.59/10.68 c intension x204 != x205 using generic constraint 10.59/10.68 c intension x206 != x207 using generic constraint 10.59/10.68 c intension x208 != x209 using generic constraint 10.59/10.69 c intension x210 != x211 using generic constraint 10.59/10.69 c intension x212 != x213 using generic constraint 10.59/10.69 c intension x214 != x215 using generic constraint 10.59/10.69 c intension x216 != x217 using generic constraint 10.59/10.69 c intension x218 != x219 using generic constraint 10.59/10.69 c intension x220 != x221 using generic constraint 10.59/10.69 c intension x222 != x223 using generic constraint 10.59/10.69 c intension x224 != x225 using generic constraint 10.59/10.69 c intension x226 != x227 using generic constraint 10.59/10.69 c intension x228 != x229 using generic constraint 10.59/10.69 c intension x230 != x231 using generic constraint 10.59/10.70 c intension x232 != x233 using generic constraint 10.69/10.70 c intension x234 != x235 using generic constraint 10.69/10.70 c intension x236 != x237 using generic constraint 10.69/10.70 c intension x238 != x239 using generic constraint 10.69/10.70 c intension x240 != x241 using generic constraint 10.69/10.70 c intension x242 != x243 using generic constraint 10.69/10.70 c intension x244 != x245 using generic constraint 10.69/10.70 c intension x246 != x247 using generic constraint 10.69/10.70 c intension x248 != x249 using generic constraint 10.69/10.70 c intension x250 != x251 using generic constraint 10.69/10.70 c intension x252 != x253 using generic constraint 10.69/10.70 c intension x254 != x255 using generic constraint 10.69/10.71 c intension x256 != x257 using generic constraint 10.69/10.71 c intension x258 != x259 using generic constraint 10.69/10.71 c intension x260 != x261 using generic constraint 10.69/10.71 c intension x262 != x263 using generic constraint 10.69/10.71 c intension x264 != x265 using generic constraint 10.69/10.71 c intension x266 != x267 using generic constraint 10.69/10.71 c intension x268 != x269 using generic constraint 10.69/10.71 c intension x270 != x271 using generic constraint 10.69/10.71 c intension x272 != x273 using generic constraint 10.69/10.71 c intension x274 != x275 using generic constraint 10.69/10.71 c intension x276 != x277 using generic constraint 10.69/10.71 c intension x278 != x279 using generic constraint 10.69/10.72 c intension x280 != x281 using generic constraint 10.69/10.72 c intension x282 != x283 using generic constraint 10.69/10.72 c intension x284 != x285 using generic constraint 10.69/10.72 c intension x286 != x287 using generic constraint 10.69/10.72 c intension x288 != x289 using generic constraint 10.69/10.72 c intension x290 != x291 using generic constraint 10.69/10.72 c intension x292 != x293 using generic constraint 10.69/10.72 c intension x294 != x295 using generic constraint 10.69/10.72 c intension x296 != x297 using generic constraint 10.69/10.72 c intension x298 != x299 using generic constraint 10.69/10.72 c intension x300 != x301 using generic constraint 10.69/10.73 c intension x302 != x303 using generic constraint 10.69/10.73 c intension x304 != x305 using generic constraint 10.69/10.73 c intension x306 != x307 using generic constraint 10.69/10.73 c intension x308 != x309 using generic constraint 10.69/10.73 c intension x310 != x311 using generic constraint 10.69/10.73 c intension x312 != x313 using generic constraint 10.69/10.73 c intension x314 != x315 using generic constraint 10.69/10.73 c intension x316 != x317 using generic constraint 10.69/10.73 c intension x318 != x319 using generic constraint 10.69/10.73 c intension x320 != x321 using generic constraint 10.69/10.73 c intension x322 != x323 using generic constraint 10.69/10.73 c intension x324 != x325 using generic constraint 10.69/10.74 c intension x326 != x327 using generic constraint 10.69/10.74 c intension x328 != x329 using generic constraint 10.69/10.74 c intension x330 != x331 using generic constraint 10.69/10.74 c intension x332 != x333 using generic constraint 10.69/10.74 c intension x334 != x335 using generic constraint 10.69/10.74 c intension x336 != x337 using generic constraint 10.69/10.74 c intension x338 != x339 using generic constraint 10.69/10.74 c intension x340 != x341 using generic constraint 10.69/10.74 c intension x342 != x343 using generic constraint 10.69/10.74 c intension x344 != x345 using generic constraint 10.69/10.74 c intension x346 != x347 using generic constraint 10.69/10.74 c intension x348 != x349 using generic constraint 10.69/10.75 c intension x350 != x351 using generic constraint 10.69/10.75 c intension x352 != x353 using generic constraint 10.69/10.75 c intension x354 != x355 using generic constraint 10.69/10.75 c intension x356 != x357 using generic constraint 10.69/10.75 c intension x358 != x359 using generic constraint 10.69/10.75 c intension x360 != x361 using generic constraint 10.69/10.75 c intension x362 != x363 using generic constraint 10.69/10.75 c intension x364 != x365 using generic constraint 10.69/10.75 c intension x366 != x367 using generic constraint 10.69/10.75 c intension x368 != x369 using generic constraint 10.69/10.75 c intension x370 != x371 using generic constraint 10.69/10.76 c intension x372 != x373 using generic constraint 10.69/10.76 c intension x374 != x375 using generic constraint 10.69/10.76 c intension x376 != x377 using generic constraint 10.69/10.76 c intension x378 != x379 using generic constraint 10.69/10.76 c intension x380 != x381 using generic constraint 10.69/10.76 c intension x382 != x383 using generic constraint 10.69/10.76 c intension x384 != x385 using generic constraint 10.69/10.76 c intension x386 != x387 using generic constraint 10.69/10.76 c intension x388 != x389 using generic constraint 10.69/10.76 c intension x390 != x391 using generic constraint 10.69/10.76 c intension x392 != x393 using generic constraint 10.69/10.76 c intension x394 != x395 using generic constraint 10.69/10.77 c intension x396 != x397 using generic constraint 10.69/10.77 c intension x398 != x399 using generic constraint 10.69/10.77 c intension x400 != x401 using generic constraint 10.69/10.77 c intension x402 != x403 using generic constraint 10.69/10.77 c intension x404 != x405 using generic constraint 10.69/10.77 c intension x406 != x407 using generic constraint 10.69/10.77 c intension x408 != x409 using generic constraint 10.69/10.77 c intension x410 != x411 using generic constraint 10.69/10.77 c intension x412 != x413 using generic constraint 10.69/10.77 c intension x414 != x415 using generic constraint 10.69/10.77 c intension x416 != x417 using generic constraint 10.69/10.77 c intension x418 != x419 using generic constraint 10.69/10.78 c intension x420 != x421 using generic constraint 10.69/10.78 c intension x422 != x423 using generic constraint 10.69/10.78 c intension x424 != x425 using generic constraint 10.69/10.78 c intension x426 != x427 using generic constraint 10.69/10.78 c intension x428 != x429 using generic constraint 10.69/10.78 c intension x430 != x431 using generic constraint 10.69/10.78 c intension x432 != x433 using generic constraint 10.69/10.78 c intension x434 != x435 using generic constraint 10.69/10.78 c intension x436 != x437 using generic constraint 10.69/10.78 c intension x438 != x439 using generic constraint 10.69/10.78 c intension x440 != x441 using generic constraint 10.69/10.79 c intension x442 != x443 using generic constraint 10.69/10.79 c intension x444 != x445 using generic constraint 10.69/10.79 c intension x446 != x447 using generic constraint 10.69/10.79 c intension x448 != x449 using generic constraint 22.59/22.60 c SAT : Variables: 386530 -- Clauses: 165984534 22.59/22.61 c root propagations : 0 22.59/22.61 c restarts enabled, print stats at every restarts 22.59/22.61 c 22.59/22.61 c 22.59/22.61 c 22.59/22.61 c This is cosoco 1.12 -- 22.59/22.61 c 22.59/22.61 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266460-1502591202.xml 22.59/22.61 c ========================================[ Problem Statistics ]=========================================== 22.59/22.61 c | 22.59/22.61 c | Parse time : 20.97 s 22.59/22.61 c | 22.59/22.61 c | Variables: 450 22.59/22.61 c | Domain Sizes: 811..909 22.59/22.61 c | 22.59/22.61 c | Constraints: 9675 22.59/22.61 c | Arity: 2..2 -- Binary: 9675 22.59/22.61 c | 22.59/22.61 c | Types: 22.59/22.61 c | (X != Y): 225 22.59/22.61 c | Intension: 9450 22.59/22.61 c | 22.59/22.61 c ========================================================================================================= 22.59/22.61 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 22.69/22.74 c 10 24 36318 93641 0 10 14 15 12 22.79/22.85 c 20 46 56074 203281 0 20 13 13 11 22.89/22.97 c 30 66 76705 325974 0 30 11 11 10 22.99/23.08 c 40 86 95644 460480 0 40 11 11 10 23.09/23.16 c 50 106 113638 565663 0 50 11 11 10 23.18/23.27 c 60 128 135621 669007 0 60 9 13 9 23.39/23.44 c 70 151 169383 798425 0 64 11 11 10 23.49/23.53 c 80 171 188217 880978 0 74 11 11 10 23.59/23.65 c 90 191 207269 1019037 0 84 11 11 10 23.69/23.76 c 100 211 226550 1157755 0 94 11 11 10 23.79/23.84 c 101 222 246569 1215660 0 95 11 11 5 23.89/23.93 c 110 241 264893 1327108 0 104 11 11 9 24.00/24.10 c 120 263 298643 1479601 0 111 10 11 9 24.19/24.21 c 130 283 318051 1598167 0 121 11 11 10 24.19/24.29 c 140 303 335941 1672770 0 131 11 11 10 24.39/24.42 c 150 323 359266 1825956 0 141 10 11 9 24.49/24.56 c 160 345 391796 1952202 0 148 10 11 9 24.59/24.66 c 170 365 410298 2078233 0 158 11 11 10 24.79/24.83 c 180 387 442189 2210142 0 165 10 11 9 24.89/24.91 c 190 407 460147 2315988 0 175 11 11 10 25.00/25.01 c 200 427 478591 2435468 0 185 11 11 10 25.00/25.10 c 210 447 496685 2539924 0 195 11 11 10 25.10/25.17 c 211 458 513767 2588343 0 196 11 11 5 25.19/25.29 c 220 477 533005 2713529 0 205 11 11 9 25.29/25.38 c 230 497 551265 2820061 0 215 11 11 10 25.49/25.52 c 240 519 582606 2949608 0 222 10 11 9 25.59/25.67 c 250 539 602322 3113564 0 232 11 11 10 25.69/25.77 c 260 559 620552 3221172 0 242 11 11 10 25.79/25.87 c 270 580 640873 3311895 0 252 12 12 10 25.89/25.96 c 280 600 658859 3416329 0 262 11 11 10 26.00/26.10 c 290 622 689201 3538686 0 269 10 11 9 26.10/26.19 c 300 642 707279 3649160 0 279 11 11 10 26.29/26.30 c 310 662 725673 3771234 0 289 11 11 10 26.39/26.42 c 320 683 745383 3909161 0 299 12 12 10 26.49/26.57 c 330 708 777955 4040141 0 306 11 13 11 26.59/26.63 c 332 720 795191 4096751 0 308 11 11 7 26.69/26.78 c 340 742 829467 4202936 0 312 11 13 11 26.89/26.91 c 350 766 857404 4327072 0 321 12 13 11 26.89/26.99 c 360 786 875494 4400154 0 331 11 11 10 27.00/27.09 c 370 806 894258 4526964 0 341 11 11 10 27.19/27.23 c 380 828 922129 4632166 0 348 10 11 9 27.29/27.33 c 390 848 941173 4768851 0 358 11 11 10 27.39/27.42 c 400 868 959453 4868975 0 368 11 11 10 27.49/27.53 c 410 889 979012 5001267 0 378 12 12 10 27.69/27.70 c 420 915 1014357 5113352 0 381 11 14 12 27.79/27.80 c 430 936 1033856 5228601 0 391 12 12 10 27.89/27.90 c 440 956 1052632 5357241 0 401 11 11 10 28.00/28.05 c 450 978 1082314 5483487 0 408 10 11 9 28.10/28.16 c 460 998 1101062 5603462 0 418 11 11 10 28.19/28.23 c 465 1013 1118482 5665820 0 423 11 11 9 28.29/28.30 c 470 1028 1135940 5740299 0 428 11 11 9 28.39/28.46 c 480 1050 1166626 5865059 0 430 12 12 10 28.49/28.55 c 490 1070 1184886 5971026 0 440 11 11 10 28.59/28.67 c 500 1090 1203928 6115228 0 450 11 11 10 28.79/28.85 c 510 1112 1241251 6241702 0 453 11 12 10 28.89/28.95 c 520 1132 1259397 6350331 0 463 11 11 10 29.00/29.08 c 530 1152 1279294 6484527 0 473 11 11 10 29.19/29.22 c 540 1174 1309125 6613110 0 480 10 11 9 29.29/29.31 c 550 1194 1327405 6721618 0 490 11 11 10 29.39/29.41 c 560 1214 1345695 6824074 0 500 11 11 10 29.49/29.50 c 570 1234 1363783 6931348 0 510 11 11 10 29.59/29.60 c 580 1254 1381779 7041546 0 520 11 11 10 29.69/29.72 c 590 1274 1400457 7186233 0 530 11 11 10 29.79/29.83 c 600 1294 1419269 7324099 0 540 11 11 10 29.89/29.98 c 610 1316 1450271 7454263 0 547 10 11 9 30.00/30.05 c 611 1328 1468840 7508834 0 548 12 12 6 30.10/30.15 c 620 1347 1486998 7609171 0 557 11 11 9 30.19/30.23 c 630 1367 1505008 7691389 0 567 11 11 10 30.29/30.32 c 640 1387 1523142 7791925 0 577 11 11 10 30.39/30.41 c 650 1407 1541412 7894159 0 587 11 11 10 30.49/30.51 c 660 1427 1559558 8006105 0 597 11 11 10 30.69/30.71 c 670 1452 1598712 8147038 0 602 11 12 10 30.69/30.79 c 680 1472 1616602 8222427 0 612 11 11 10 30.89/30.91 c 690 1492 1635776 8358507 0 622 11 11 10 30.89/31.00 c 700 1512 1654106 8463157 0 632 11 11 10 30.99/31.08 c 710 1532 1672092 8565460 0 642 11 11 10 31.19/31.20 c 720 1552 1690726 8687054 0 652 11 11 10 31.29/31.36 c 730 1574 1720055 8819995 0 659 10 11 9 31.39/31.44 c 740 1594 1737925 8894727 0 669 11 11 10 31.49/31.54 c 750 1614 1756693 9017316 0 679 11 11 10 31.59/31.63 c 760 1634 1774972 9118718 0 689 11 11 10 31.79/31.81 c 770 1658 1812466 9260152 0 693 12 12 10 31.79/31.87 c 771 1669 1829538 9308252 0 694 11 11 5 31.89/31.96 c 780 1688 1847664 9410953 0 703 11 11 9 31.99/32.05 c 790 1708 1865954 9513529 0 713 11 11 10 32.19/32.22 c 800 1732 1897876 9654910 0 720 11 12 10 32.29/32.31 c 810 1752 1915832 9763171 0 730 11 11 10 32.39/32.43 c 820 1772 1934872 9907388 0 740 11 11 10 32.49/32.52 c 830 1792 1952862 9987758 0 750 11 11 10 32.59/32.62 c 840 1812 1974121 10109133 0 760 10 11 9 32.69/32.77 c 850 1834 2005728 10245133 0 767 10 11 9 32.79/32.85 c 860 1854 2023658 10317043 0 777 11 11 10 32.89/32.94 c 870 1874 2041882 10417794 0 787 11 11 10 32.99/33.03 c 880 1894 2060162 10522705 0 797 11 11 10 33.09/33.16 c 890 1914 2079236 10665330 0 807 11 11 10 33.19/33.27 c 900 1934 2100310 10791516 0 817 10 11 9 33.39/33.42 c 910 1956 2132164 10921453 0 824 10 11 9 33.49/33.58 c 920 1980 2165145 11042128 0 829 11 13 11 33.69/33.73 c 930 2003 2193440 11156195 0 831 11 14 12 33.89/33.94 c 940 2029 2233147 11306101 0 836 11 13 11 33.99/34.03 c 947 2046 2251034 11406428 0 843 11 11 9 33.99/34.10 c 950 2059 2267947 11467433 0 846 11 11 8 34.19/34.27 c 960 2088 2303016 11587755 0 851 11 14 12 34.29/34.39 c 970 2109 2322726 11725572 0 861 12 12 10 34.49/34.55 c 980 2134 2355242 11856046 0 868 11 13 11 34.59/34.64 c 990 2154 2373551 11958996 0 878 11 11 10 34.69/34.72 c 1000 2174 2391421 12034955 0 888 11 11 10 34.79/34.87 c 1010 2200 2423497 12144139 0 895 13 14 12 34.99/35.05 c 1020 2224 2460991 12284678 0 899 12 12 10 35.09/35.13 c 1030 2244 2478881 12360556 0 909 11 11 10 35.19/35.26 c 1040 2264 2498639 12505963 0 919 11 11 10 35.29/35.36 c 1050 2284 2516939 12612891 0 929 11 11 10 35.39/35.44 c 1060 2304 2536510 12700367 0 939 10 11 9 35.59/35.63 c 1070 2328 2570385 12844042 0 946 11 12 10 35.69/35.72 c 1080 2348 2588655 12948282 0 956 11 11 10 35.79/35.80 c 1090 2368 2606625 13020642 0 966 11 11 10 35.89/35.91 c 1100 2388 2625853 13142564 0 976 11 11 10 35.99/36.01 c 1110 2410 2646545 13274868 0 978 11 12 10 36.09/36.12 c 1120 2430 2664943 13383784 0 988 11 11 10 36.19/36.22 c 1130 2452 2685605 13469916 0 998 13 13 11 36.29/36.30 c 1140 2472 2703515 13540512 0 1008 11 11 10 36.29/36.38 c 1141 2484 2724510 13601623 0 1009 12 12 6 36.39/36.48 c 1150 2503 2742677 13697123 0 1018 11 11 9 36.49/36.56 c 1160 2523 2760567 13773295 0 1028 11 11 10 36.69/36.73 c 1170 2547 2795041 13910414 0 1035 11 12 10 36.79/36.81 c 1180 2567 2813131 13983691 0 1045 11 11 10 36.89/36.92 c 1190 2589 2837524 14072812 0 1055 12 13 11 36.99/37.07 c 1200 2611 2869748 14205001 0 1062 10 11 9 37.09/37.19 c 1210 2631 2888491 14339343 0 1072 11 11 10 37.29/37.35 c 1220 2657 2925224 14453509 0 1077 11 14 12 37.39/37.49 c 1230 2680 2952156 14565152 0 1087 11 14 12 37.49/37.58 c 1240 2700 2970455 14667711 0 1097 11 11 10 37.69/37.70 c 1250 2721 2990014 14800490 0 1107 12 12 10 37.69/37.78 c 1260 2741 3007944 14872848 0 1117 11 11 10 37.79/37.89 c 1270 2761 3026342 14981065 0 1127 11 11 10 37.89/37.98 c 1280 2781 3044621 15082742 0 1137 11 11 10 38.09/38.16 c 1290 2805 3083871 15225807 0 1141 12 12 10 38.18/38.26 c 1300 2825 3104480 15319540 0 1151 11 11 10 38.38/38.42 c 1310 2847 3136465 15456183 0 1158 10 11 9 38.48/38.51 c 1320 2867 3154745 15564968 0 1168 11 11 10 38.58/38.61 c 1330 2887 3173095 15666883 0 1178 11 11 10 38.68/38.73 c 1340 2908 3192805 15804761 0 1188 12 12 10 38.78/38.86 c 1350 2929 3213069 15937876 0 1198 12 12 10 38.88/38.94 c 1352 2944 3234630 16004126 0 1200 11 14 8 38.99/39.07 c 1360 2963 3254588 16117738 0 1208 12 12 10 39.18/39.23 c 1370 2988 3288961 16247236 0 1215 11 13 11 39.28/39.35 c 1380 3008 3308549 16357612 0 1225 11 11 10 39.38/39.45 c 1390 3028 3326938 16463995 0 1235 11 11 10 39.48/39.58 c 1400 3048 3348758 16598639 0 1245 11 11 10 39.58/39.68 c 1410 3068 3367168 16704338 0 1255 11 11 10 39.68/39.75 c 1420 3088 3385058 16781124 0 1265 11 11 10 39.88/39.92 c 1430 3110 3416527 16924076 0 1272 10 11 9 39.99/40.07 c 1440 3132 3448440 17055679 0 1279 10 11 9 40.09/40.16 c 1450 3152 3466779 17160908 0 1289 11 11 10 40.18/40.25 c 1460 3172 3484793 17277421 0 1299 11 11 10 40.28/40.33 c 1470 3192 3502773 17349403 0 1309 11 11 10 40.38/40.44 c 1480 3212 3521171 17458873 0 1319 11 11 10 40.48/40.57 c 1490 3234 3549014 17561960 0 1326 10 11 9 40.58/40.67 c 1500 3256 3570216 17644730 0 1336 13 13 11 40.78/40.83 c 1510 3280 3602934 17764648 0 1341 11 13 11 40.88/40.92 c 1520 3300 3622542 17851771 0 1351 11 11 10 40.99/41.08 c 1530 3324 3655260 17971752 0 1356 11 13 11 41.09/41.17 c 1540 3345 3674660 18051466 0 1366 12 12 10 41.18/41.27 c 1550 3366 3694428 18160265 0 1376 12 12 10 41.28/41.37 c 1560 3387 3714028 18241910 0 1386 12 12 10 41.48/41.57 c 1570 3412 3754402 18400077 0 1391 11 12 10 41.58/41.67 c 1580 3432 3772702 18506384 0 1401 11 11 10 41.68/41.76 c 1585 3447 3790848 18587396 0 1406 11 11 9 41.78/41.87 c 1590 3464 3816917 18663769 0 1411 11 13 10 41.88/41.97 c 1600 3484 3836525 18751093 0 1421 11 11 10 41.99/42.07 c 1610 3505 3856081 18854049 0 1431 12 12 10 42.09/42.20 c 1620 3525 3874983 18995959 0 1441 11 11 10 42.28/42.32 c 1630 3545 3893783 19140563 0 1451 11 11 10 42.38/42.48 c 1640 3567 3922896 19281886 0 1458 10 11 9 42.48/42.59 c 1650 3588 3942397 19412075 0 1468 12 12 10 42.58/42.69 c 1660 3608 3960706 19515161 0 1478 11 11 10 42.68/42.78 c 1670 3628 3980313 19602369 0 1488 11 11 10 42.78/42.88 c 1680 3648 3998408 19708853 0 1498 11 11 10 42.88/42.97 c 1690 3669 4017354 19811454 0 1508 12 12 10 42.99/43.07 c 1700 3689 4035762 19921618 0 1518 11 11 10 43.18/43.24 c 1710 3711 4066184 20063788 0 1525 10 11 9 43.28/43.36 c 1720 3731 4084898 20193429 0 1535 11 11 10 43.38/43.47 c 1730 3751 4103641 20327837 0 1545 11 11 10 43.48/43.58 c 1740 3771 4122220 20458829 0 1555 11 11 10 43.58/43.68 c 1750 3792 4140894 20558578 0 1565 12 12 10 43.68/43.79 c 1760 3812 4159354 20682446 0 1575 11 11 10 43.88/43.91 c 1770 3832 4180588 20812707 0 1585 10 11 9 43.99/44.08 c 1780 3854 4213234 20959786 0 1592 10 11 9 44.09/44.19 c 1790 3875 4233796 21050212 0 1602 12 12 10 44.28/44.31 c 1800 3895 4252443 21180954 0 1612 11 11 10 44.28/44.39 c 1810 3915 4270333 21256917 0 1622 11 11 10 44.48/44.51 c 1820 3936 4292973 21384849 0 1632 11 12 10 44.58/44.65 c 1830 3958 4321959 21501636 0 1639 10 11 9 44.68/44.75 c 1840 3978 4340515 21610944 0 1649 11 11 10 44.78/44.82 c 1841 3989 4357626 21662641 0 1650 11 11 5 44.88/44.90 c 1850 4008 4375604 21733046 0 1659 11 11 9 44.88/45.00 c 1860 4028 4394030 21842818 0 1669 11 11 10 44.99/45.09 c 1870 4048 4413882 21928989 0 1679 10 11 9 45.18/45.27 c 1880 4070 4447329 22078088 0 1686 10 11 9 45.28/45.36 c 1890 4090 4465649 22180812 0 1696 11 11 10 45.38/45.48 c 1900 4111 4485092 22310710 0 1706 12 12 10 45.48/45.57 c 1910 4131 4503402 22416987 0 1716 11 11 10 45.58/45.65 c 1920 4151 4521322 22488900 0 1726 11 11 10 45.68/45.76 c 1930 4174 4545758 22578066 0 1736 13 14 11 45.88/45.91 c 1940 4196 4577383 22706633 0 1743 10 11 9 45.99/46.01 c 1950 4216 4595453 22817673 0 1753 11 11 10 46.09/46.12 c 1960 4236 4613851 22938391 0 1763 11 11 10 46.18/46.23 c 1970 4257 4633213 23060806 0 1773 12 12 10 46.28/46.31 c 1980 4277 4651133 23132035 0 1783 11 11 10 46.38/46.42 c 1990 4299 4672984 23222443 0 1793 13 13 11 46.48/46.52 c 2000 4319 4692836 23307644 0 1803 10 11 9 46.58/46.68 c 2010 4341 4724216 23440813 0 1810 10 11 9 46.68/46.76 c 2020 4361 4742106 23516853 0 1820 11 11 10 46.78/46.86 c 2030 4383 4764684 23639291 0 1830 11 12 10 46.99/47.01 c 2040 4405 4793160 23741536 0 1837 10 11 9 46.99/47.10 c 2050 4425 4811334 23848470 0 1847 11 11 10 47.09/47.18 c 2060 4445 4829334 23929263 0 1857 11 11 10 47.28/47.35 c 2070 4467 4861419 24078194 0 1864 10 11 9 47.38/47.45 c 2080 4487 4879709 24180610 0 1874 11 11 10 47.48/47.52 c 2090 4507 4897589 24257263 0 1884 11 11 10 47.58/47.62 c 2100 4527 4915737 24361316 0 1894 11 11 10 47.58/47.69 c 2110 4547 4933707 24433959 0 1904 11 11 10 47.78/47.85 c 2120 4573 4968253 24547625 0 1911 13 14 12 47.88/47.92 c 2122 4585 4985483 24607349 0 1913 11 11 7 47.99/48.01 c 2130 4603 5003742 24700798 0 1921 11 11 9 48.09/48.17 c 2140 4625 5034319 24825049 0 1923 12 12 10 48.18/48.27 c 2150 4645 5052609 24930773 0 1933 11 11 10 48.28/48.36 c 2160 4665 5070989 25038631 0 1943 11 11 10 48.38/48.46 c 2170 4685 5090437 25131463 0 1953 11 11 10 48.48/48.56 c 2180 4705 5109042 25235126 0 1963 11 11 10 48.58/48.65 c 2190 4725 5127032 25315851 0 1973 11 11 10 48.69/48.77 c 2200 4745 5146250 25433518 0 1983 11 11 10 48.89/48.92 c 2210 4767 5177644 25533936 0 1986 11 12 10 49.00/49.01 c 2220 4787 5195852 25640966 0 1996 11 11 10 49.10/49.15 c 2230 4809 5226474 25775227 0 2003 10 11 9 49.19/49.27 c 2240 4829 5245236 25921616 0 2013 11 11 10 49.29/49.37 c 2250 4849 5263310 26032941 0 2023 11 11 10 49.39/49.49 c 2260 4869 5281928 26164163 0 2033 11 11 10 49.59/49.63 c 2270 4893 5307942 26296831 0 2042 11 13 11 49.69/49.78 c 2280 4918 5339650 26432918 0 2050 11 13 11 49.79/49.89 c 2290 4939 5359018 26557145 0 2060 12 12 10 50.00/50.03 c 2300 4962 5387313 26671469 0 2062 11 14 12 50.19/50.22 c 2310 4987 5421101 26816951 0 2070 11 13 11 50.29/50.40 c 2320 5011 5454320 26964563 0 2077 11 12 10 50.39/50.49 c 2330 5032 5475337 27051550 0 2087 12 12 10 50.59/50.66 c 2340 5058 5508543 27150559 0 2090 11 14 12 50.79/50.83 c 2350 5084 5541687 27251975 0 2093 11 14 12 50.89/50.95 c 2360 5105 5561415 27391919 0 2103 12 12 10 51.00/51.04 c 2370 5125 5579315 27468518 0 2113 11 11 10 51.19/51.21 c 2380 5147 5611894 27601361 0 2120 10 11 9 51.19/51.29 c 2390 5167 5629804 27673024 0 2130 11 11 10 51.29/51.39 c 2400 5187 5648102 27775802 0 2140 11 11 10 51.39/51.48 c 2410 5207 5666432 27880674 0 2150 11 11 10 51.49/51.55 c 2420 5227 5684302 27956295 0 2160 11 11 10 51.59/51.67 c 2430 5247 5703574 28076451 0 2170 11 11 10 51.69/51.75 c 2431 5258 5723343 28135139 0 2171 11 11 5 51.79/51.85 c 2440 5277 5741474 28230943 0 2180 11 11 9 51.89/51.99 c 2450 5299 5768905 28335951 0 2187 10 11 9 52.10/52.11 c 2460 5319 5788453 28467156 0 2197 11 11 10 52.19/52.21 c 2470 5339 5807797 28549145 0 2207 11 11 10 52.29/52.33 c 2480 5360 5827507 28685821 0 2217 12 12 10 52.39/52.49 c 2490 5385 5860525 28805918 0 2224 11 13 11 52.49/52.58 c 2500 5405 5878835 28911815 0 2234 11 11 10 52.59/52.69 c 2510 5425 5897462 29043953 0 2244 11 11 10 52.79/52.85 c 2520 5447 5925807 29149721 0 2252 11 12 10 52.89/53.00 c 2530 5470 5954102 29262605 0 2254 11 14 12 53.10/53.17 c 2540 5495 5987605 29395207 0 2262 11 13 11 53.19/53.26 c 2550 5515 6005695 29468394 0 2272 11 11 10 53.29/53.39 c 2560 5535 6025949 29619018 0 2282 11 11 10 53.49/53.51 c 2570 5557 6049168 29725043 0 2292 11 12 10 53.59/53.62 c 2580 5578 6068757 29858207 0 2302 12 12 10 53.69/53.77 c 2590 5600 6100151 29958214 0 2305 11 12 10 53.79/53.89 c 2600 5620 6119719 30091034 0 2315 11 11 10 54.00/54.05 c 2610 5642 6153882 30201786 0 2318 11 12 10 54.10/54.15 c 2620 5662 6172086 30308176 0 2328 11 11 10 54.19/54.22 c 2630 5682 6190176 30381613 0 2338 11 11 10 54.29/54.35 c 2640 5702 6209934 30527058 0 2348 11 11 10 54.39/54.46 c 2650 5722 6232307 30622078 0 2358 10 11 9 54.59/54.62 c 2660 5744 6267257 30737733 0 2361 11 12 10 54.69/54.79 c 2670 5766 6298637 30870881 0 2368 10 11 9 54.79/54.87 c 2680 5786 6316527 30946705 0 2378 11 11 10 54.89/55.00 c 2690 5806 6336281 31084983 0 2388 11 11 10 55.00/55.09 c 2700 5826 6355616 31166625 0 2398 11 11 10 55.19/55.21 c 2710 5847 6375344 31306379 0 2408 12 12 10 55.29/55.33 c 2720 5867 6394087 31441198 0 2418 11 11 10 55.39/55.44 c 2730 5888 6413620 31578726 0 2428 12 12 10 55.49/55.58 c 2740 5910 6443519 31710996 0 2435 10 11 9 55.59/55.68 c 2750 5931 6462309 31813224 0 2445 12 12 10 55.69/55.78 c 2760 5951 6480219 31917726 0 2455 11 11 10 55.79/55.88 c 2770 5971 6498643 32039607 0 2465 11 11 10 55.89/55.94 c 2771 5982 6515253 32090877 0 2466 11 11 5 56.00/56.04 c 2780 6001 6533443 32209466 0 2475 11 11 9 56.10/56.15 c 2790 6021 6551589 32321563 0 2485 11 11 10 56.29/56.34 c 2800 6046 6587817 32452616 0 2490 11 12 10 56.39/56.45 c 2810 6066 6606363 32579134 0 2500 11 11 10 56.49/56.56 c 2820 6087 6625806 32691773 0 2510 12 12 10 56.59/56.66 c 2830 6107 6644156 32792370 0 2520 11 11 10 56.69/56.77 c 2840 6127 6662608 32913166 0 2530 11 11 10 56.79/56.89 c 2850 6147 6681396 33058174 0 2540 11 11 10 56.89/56.99 c 2860 6167 6699442 33169768 0 2550 11 11 10 57.00/57.08 c 2870 6188 6719363 33247154 0 2560 12 12 10 57.19/57.25 c 2880 6210 6750697 33390435 0 2567 10 11 9 57.29/57.35 c 2890 6230 6768986 33492707 0 2577 11 11 10 57.49/57.51 c 2900 6255 6803364 33622783 0 2584 11 13 11 57.59/57.61 c 2910 6275 6821693 33725636 0 2594 11 11 10 57.69/57.72 c 2920 6296 6841282 33842584 0 2604 12 12 10 57.79/57.87 c 2930 6321 6873798 33971555 0 2611 11 13 11 57.89/57.95 c 2940 6341 6891698 34048086 0 2621 11 11 10 58.00/58.05 c 2950 6363 6912949 34129704 0 2631 13 13 11 58.19/58.23 c 2960 6387 6950443 34270337 0 2635 12 12 10 58.29/58.37 c 2970 6409 6978163 34373214 0 2642 10 11 9 58.39/58.47 c 2980 6429 6996471 34482840 0 2652 11 11 10 58.49/58.57 c 2990 6449 7014801 34589870 0 2662 11 11 10 58.59/58.66 c 3000 6471 7035484 34676173 0 2672 13 13 11 58.79/58.82 c 3010 6496 7070179 34806637 0 2679 11 13 11 58.89/58.96 c 3020 6518 7097601 34911169 0 2686 10 11 9 59.00/59.09 c 3030 6538 7117565 35060956 0 2696 11 11 10 59.10/59.18 c 3040 6558 7135895 35165810 0 2706 11 11 10 59.19/59.28 c 3050 6579 7155816 35243152 0 2716 12 12 10 59.29/59.38 c 3060 6599 7174060 35349508 0 2726 11 11 10 59.39/59.45 c 3070 6619 7191970 35421709 0 2736 11 11 10 59.49/59.58 c 3080 6639 7211826 35571078 0 2746 11 11 10 59.69/59.72 c 3090 6661 7241564 35700355 0 2753 10 11 9 59.79/59.84 c 3100 6681 7260143 35834168 0 2763 11 11 10 59.89/59.95 c 3110 6702 7279682 35970661 0 2773 12 12 10 60.00/60.07 c 3120 6723 7299185 36101518 0 2783 12 12 10 60.19/60.24 c 3130 6752 7337103 36236445 0 2788 11 14 12 60.39/60.41 c 3140 6778 7373844 36350595 0 2793 11 14 12 60.39/60.49 c 3142 6791 7392212 36409674 0 2795 12 12 8 60.49/60.59 c 3150 6810 7411588 36484420 0 2803 12 12 10 60.59/60.69 c 3160 6830 7430356 36593368 0 2813 11 11 10 60.79/60.85 c 3170 6855 7464734 36723662 0 2820 11 13 11 60.89/61.00 c 3180 6877 7490406 36853070 0 2823 12 12 10 61.10/61.11 c 3190 6898 7510413 36960085 0 2833 12 12 10 61.10/61.19 c 3200 6918 7528313 37037342 0 2843 11 11 10 61.29/61.32 c 3210 6940 7549528 37160432 0 2853 13 13 11 61.39/61.42 c 3220 6960 7567788 37267143 0 2863 11 11 10 61.49/61.56 c 3230 6982 7597436 37394278 0 2870 10 11 9 61.69/61.72 c 3240 7007 7631083 37529715 0 2878 11 13 11 61.79/61.84 c 3250 7027 7649691 37662062 0 2888 11 11 10 61.89/61.97 c 3260 7048 7671145 37786503 0 2898 12 12 10 62.00/62.07 c 3270 7068 7689155 37893955 0 2908 11 11 10 62.10/62.19 c 3280 7089 7711513 38008970 0 2918 12 12 10 62.29/62.34 c 3290 7112 7737777 38137332 0 2926 11 13 11 62.39/62.46 c 3300 7133 7758546 38258886 0 2936 12 12 10 62.49/62.54 c 3310 7153 7776386 38330336 0 2946 11 11 10 62.59/62.67 c 3320 7173 7795234 38453505 0 2956 11 11 10 62.69/62.78 c 3330 7193 7817426 38564063 0 2966 11 11 10 62.79/62.86 c 3340 7213 7835356 38638155 0 2976 11 11 10 63.00/63.04 c 3350 7235 7869749 38786248 0 2983 10 11 9 63.10/63.19 c 3360 7257 7898183 38888464 0 2990 10 11 9 63.19/63.29 c 3370 7280 7920279 38971322 0 3000 14 14 12 63.39/63.47 c 3380 7304 7957773 39111927 0 3004 12 12 10 63.49/63.56 c 3390 7324 7975763 39212677 0 3014 11 11 10 63.69/63.73 c 3400 7348 8006139 39332122 0 3018 12 12 10 63.79/63.83 c 3410 7368 8024686 39436363 0 3028 11 11 10 63.89/63.91 c 3420 7388 8042606 39508359 0 3038 11 11 10 64.00/64.02 c 3430 7408 8061068 39613119 0 3048 11 11 10 64.00/64.10 c 3440 7428 8078968 39689621 0 3058 11 11 10 64.19/64.20 c 3450 7449 8099722 39771687 0 3068 12 12 10 64.29/64.36 c 3460 7471 8130333 39896086 0 3070 12 12 10 64.39/64.46 c 3470 7491 8148672 40015694 0 3080 11 11 10 64.49/64.58 c 3480 7512 8168860 40149730 0 3083 11 11 10 64.59/64.67 c 3490 7532 8187150 40252780 0 3093 11 11 10 64.69/64.77 c 3500 7552 8205591 40360752 0 3103 11 11 10 64.79/64.86 c 3510 7572 8223911 40464791 0 3113 11 11 10 64.89/64.98 c 3520 7593 8244622 40573669 0 3123 12 12 10 65.00/65.08 c 3530 7613 8263214 40679684 0 3133 11 11 10 65.19/65.21 c 3540 7633 8283311 40805083 0 3143 11 11 10 65.29/65.32 c 3550 7653 8301778 40907882 0 3153 11 11 10 65.29/65.38 c 3551 7664 8318879 40961998 0 3154 11 11 5 65.49/65.52 c 3560 7685 8345852 41064744 0 3160 10 11 9 65.59/65.61 c 3570 7705 8364171 41175736 0 3170 11 11 10 65.69/65.75 c 3580 7727 8393083 41292793 0 3177 10 11 9 65.79/65.86 c 3590 7747 8411357 41400227 0 3187 11 11 10 65.89/65.93 c 3600 7767 8429237 41476765 0 3197 11 11 10 66.00/66.04 c 3610 7789 8450582 41566799 0 3207 13 13 11 66.10/66.20 c 3620 7811 8481193 41691442 0 3209 12 12 10 66.19/66.27 c 3630 7831 8499093 41768751 0 3219 11 11 10 66.39/66.45 c 3640 7853 8528929 41911912 0 3226 10 11 9 66.49/66.54 c 3650 7873 8547259 42018019 0 3236 11 11 10 66.59/66.64 c 3660 7893 8565549 42124550 0 3246 11 11 10 66.69/66.71 c 3670 7913 8583419 42200614 0 3256 11 11 10 66.79/66.86 c 3680 7938 8616487 42313090 0 3263 13 14 12 66.89/66.96 c 3690 7958 8634787 42419965 0 3273 11 11 10 67.00/67.05 c 3700 7978 8653137 42521845 0 3283 11 11 10 67.10/67.17 c 3710 7999 8672847 42659653 0 3293 12 12 10 67.19/67.29 c 3720 8020 8692406 42792459 0 3303 12 12 10 67.39/67.44 c 3730 8042 8723017 42918132 0 3305 12 12 10 67.49/67.55 c 3740 8063 8742527 43025931 0 3315 12 12 10 67.59/67.67 c 3750 8084 8762329 43135363 0 3325 12 12 10 67.69/67.77 c 3760 8104 8782256 43237314 0 3335 11 11 10 67.89/67.90 c 3770 8124 8801580 43381982 0 3345 11 11 10 68.00/68.05 c 3780 8146 8832870 43516120 0 3352 10 11 9 68.10/68.14 c 3790 8166 8851220 43618029 0 3362 11 11 10 68.19/68.24 c 3800 8187 8871141 43695254 0 3372 12 12 10 68.29/68.33 c 3810 8207 8889275 43800825 0 3382 11 11 10 68.39/68.40 c 3820 8227 8907185 43873012 0 3392 11 11 10 68.49/68.57 c 3830 8251 8941659 44009910 0 3399 11 12 10 68.59/68.69 c 3840 8271 8961755 44123592 0 3409 11 11 10 68.79/68.80 c 3850 8291 8980065 44228414 0 3419 11 11 10 68.79/68.89 c 3860 8311 8999672 44315418 0 3429 11 11 10 69.00/69.01 c 3870 8332 9019231 44446665 0 3439 12 12 10 69.10/69.12 c 3880 8353 9038765 44562735 0 3449 12 12 10 69.19/69.28 c 3890 8378 9071281 44691680 0 3456 11 13 11 69.29/69.35 c 3900 8398 9089171 44768511 0 3466 11 11 10 69.39/69.46 c 3910 8418 9110430 44889111 0 3476 10 11 9 69.59/69.61 c 3920 8440 9142055 45018783 0 3483 10 11 9 69.69/69.70 c 3930 8460 9160115 45129716 0 3493 11 11 10 69.79/69.80 c 3940 8480 9178151 45239802 0 3503 11 11 10 70.00/70.01 c 3950 8505 9218248 45395885 0 3508 11 12 10 70.00/70.09 c 3960 8525 9236138 45471641 0 3518 11 11 10 70.10/70.18 c 3970 8545 9254434 45582242 0 3528 11 11 10 70.19/70.27 c 3980 8565 9272814 45689426 0 3538 11 11 10 70.29/70.37 c 3990 8585 9291334 45820696 0 3548 11 11 10 70.39/70.47 c 4000 8605 9309370 45930756 0 3558 11 11 10 70.49/70.53 c 4001 8616 9325969 45981245 0 3559 11 11 5 70.59/70.66 c 4010 8638 9353337 46069141 0 3561 11 14 12 70.69/70.76 c 4020 8658 9371445 46187645 0 3571 11 11 10 70.79/70.87 c 4030 8678 9389624 46319234 0 3581 11 11 10 71.00/71.03 c 4040 8700 9420310 46443406 0 3583 12 12 10 71.10/71.12 c 4050 8720 9438400 46516333 0 3593 11 11 10 71.19/71.27 c 4060 8744 9471879 46625343 0 3600 12 13 11 71.39/71.45 c 4070 8768 9509289 46767896 0 3604 12 12 10 71.49/71.56 c 4080 8789 9529109 46875170 0 3614 12 12 10 71.59/71.63 c 4090 8810 9548509 46947829 0 3624 12 12 10 71.69/71.77 c 4100 8834 9574042 47071116 0 3634 15 15 13 71.79/71.88 c 4110 8855 9593954 47194304 0 3644 12 12 10 71.89/71.98 c 4120 8875 9612284 47301648 0 3654 11 11 10 71.99/72.08 c 4130 8896 9632452 47421715 0 3664 12 12 10 72.09/72.18 c 4140 8916 9650862 47528077 0 3674 11 11 10 72.19/72.28 c 4150 8936 9668952 47608730 0 3684 11 11 10 72.39/72.45 c 4160 8960 9702241 47746754 0 3691 11 12 10 72.49/72.52 c 4170 8980 9720131 47822756 0 3701 11 11 10 72.59/72.62 c 4180 9002 9741301 47904320 0 3711 13 13 11 72.69/72.78 c 4190 9027 9775729 48033661 0 3718 11 13 11 72.79/72.89 c 4200 9047 9796492 48143369 0 3728 11 11 10 72.89/73.00 c 4210 9068 9815824 48270549 0 3738 12 12 10 73.10/73.15 c 4220 9090 9845570 48401704 0 3745 10 11 9 73.19/73.23 c 4230 9110 9863500 48473611 0 3755 11 11 10 73.29/73.31 c 4240 9130 9881634 48574135 0 3765 11 11 10 73.39/73.47 c 4250 9155 9915951 48703010 0 3772 11 13 11 73.49/73.56 c 4260 9176 9935351 48782341 0 3782 12 12 10 73.59/73.68 c 4270 9198 9956520 48888693 0 3792 13 13 11 73.69/73.78 c 4280 9218 9975112 48994575 0 3802 11 11 10 73.89/73.93 c 4290 9240 10003546 49096722 0 3809 10 11 9 74.00/74.05 c 4300 9260 10023230 49235317 0 3819 11 11 10 74.10/74.19 c 4310 9282 10051676 49358298 0 3826 10 11 9 74.19/74.29 c 4320 9303 10071038 49463197 0 3836 12 12 10 74.39/74.45 c 4330 9327 10103623 49582454 0 3841 11 13 11 74.49/74.56 c 4340 9348 10123393 49685765 0 3851 12 12 10 74.59/74.68 c 4350 9369 10143604 49822213 0 3861 12 12 10 74.79/74.83 c 4360 9393 10170569 49927972 0 3864 14 14 12 74.89/74.92 c 4370 9414 10189989 49999827 0 3874 12 12 10 75.00/75.05 c 4380 9436 10212696 50114952 0 3884 13 13 11 75.10/75.16 c 4390 9457 10232750 50221460 0 3894 12 12 10 75.19/75.24 c 4400 9477 10250640 50297504 0 3904 11 11 10 75.39/75.40 c 4410 9502 10281313 50408017 0 3908 13 13 11 75.49/75.56 c 4420 9527 10315143 50536800 0 3915 11 13 11 75.59/75.65 c 4430 9547 10333233 50610258 0 3925 11 11 10 75.69/75.77 c 4440 9567 10352877 50746739 0 3935 11 11 10 75.79/75.89 c 4450 9587 10373232 50860471 0 3945 11 11 10 75.99/76.06 c 4460 9612 10407605 50987917 0 3952 11 13 11 76.09/76.16 c 4470 9632 10425945 51109718 0 3962 11 11 10 76.19/76.25 c 4480 9652 10444356 51186814 0 3972 11 11 10 76.39/76.41 c 4490 9674 10474056 51331418 0 3979 10 11 9 76.39/76.48 c 4493 9687 10491413 51393664 0 3982 11 11 8 76.58/76.63 c 4500 9709 10525363 51504885 0 3986 11 13 11 76.68/76.74 c 4510 9730 10544963 51586509 0 3996 12 12 10 76.78/76.87 c 4520 9754 10568355 51698664 0 4006 15 15 13 76.88/76.98 c 4530 9775 10588336 51805481 0 4016 12 12 10 77.09/77.13 c 4540 9797 10613988 51921154 0 4019 12 12 10 77.18/77.24 c 4550 9818 10633962 52027818 0 4029 12 12 10 77.28/77.39 c 4560 9840 10664304 52150294 0 4036 10 11 9 77.48/77.54 c 4570 9865 10696622 52271926 0 4043 11 13 11 77.58/77.63 c 4580 9886 10716012 52346265 0 4053 12 12 10 77.68/77.76 c 4590 9907 10736465 52484157 0 4063 12 12 10 77.78/77.86 c 4600 9928 10756355 52593436 0 4073 12 12 10 77.88/77.95 c 4610 9948 10776247 52678949 0 4083 10 11 9 77.99/78.07 c 4620 9970 10797992 52839681 0 4089 10 11 9 78.18/78.25 c 4630 9994 10834142 52979200 0 4093 12 12 10 78.28/78.36 c 4640 10016 10855538 53090289 0 4103 13 13 11 78.38/78.47 c 4650 10037 10875437 53197547 0 4113 12 12 10 78.49/78.58 c 4660 10058 10895111 53320992 0 4123 12 12 10 78.69/78.72 c 4670 10079 10916894 53449260 0 4133 12 12 10 78.79/78.83 c 4680 10100 10936887 53555135 0 4143 12 12 10 78.89/78.91 c 4690 10120 10954347 53629441 0 4153 11 11 10 79.00/79.04 c 4700 10140 10973927 53777272 0 4163 11 11 10 79.10/79.17 c 4710 10163 10999896 53906936 0 4172 10 12 10 79.19/79.26 c 4720 10183 11017789 54041799 0 4182 11 11 10 79.29/79.36 c 4730 10203 11036389 54146261 0 4192 11 11 10 79.39/79.46 c 4740 10225 11056999 54226008 0 4202 11 13 11 79.49/79.56 c 4750 10245 11075305 54333063 0 4212 11 11 10 79.59/79.67 c 4760 10265 11093767 54459798 0 4222 11 11 10 79.69/79.79 c 4770 10285 11113327 54579690 0 4232 11 11 10 79.79/79.87 c 4780 10305 11131197 54654065 0 4242 11 11 10 80.00/80.03 c 4790 10331 11164325 54762453 0 4249 13 14 12 80.10/80.19 c 4800 10353 11195011 54885774 0 4251 12 12 10 80.19/80.28 c 4810 10373 11214619 54972900 0 4261 11 11 10 80.39/80.41 c 4820 10394 11234347 55112921 0 4271 12 12 10 80.49/80.51 c 4830 10414 11255955 55213100 0 4281 11 11 10 80.59/80.61 c 4840 10434 11274365 55318901 0 4291 11 11 10 80.59/80.69 c 4850 10454 11292235 55394265 0 4301 11 11 10 80.79/80.84 c 4860 10479 11321938 55486127 0 4305 13 13 11 80.89/80.95 c 4870 10500 11341992 55592301 0 4315 12 12 10 81.00/81.07 c 4880 10520 11360804 55728522 0 4325 11 11 10 81.19/81.22 c 4890 10542 11391308 55853756 0 4327 12 12 10 81.29/81.32 c 4900 10563 11410718 55933945 0 4337 12 12 10 81.39/81.46 c 4910 10586 11434218 56060909 0 4347 14 14 12 81.49/81.56 c 4920 10607 11454138 56167388 0 4357 12 12 10 81.69/81.71 c 4930 10629 11483327 56282697 0 4360 12 12 10 81.79/81.81 c 4940 10650 11503381 56389860 0 4370 12 12 10 81.89/81.91 c 4950 10670 11521471 56470436 0 4380 11 11 10 82.00/82.07 c 4960 10695 11551046 56582137 0 4384 13 13 11 82.19/82.24 c 4970 10720 11585474 56712153 0 4391 11 13 11 82.29/82.33 c 4980 10741 11604954 56788833 0 4401 12 12 10 82.39/82.46 c 4990 10765 11629168 56898239 0 4411 15 15 13 82.69/82.76 c 5035 10823 11657945 57267137 0 4423 12 12 11 84.39/84.49 c 5631 11446 11796354 59855810 0 4468 10 12 10 88.89/88.98 c 6286 12166 12249810 63816434 0 4478 10 13 11 92.10/92.19 c 7006 12921 12436694 69273899 0 4503 11 12 11 95.19/95.24 c 7798 13749 12674769 74232247 0 4695 10 11 10 100.39/100.41 c 8669 14673 13120136 80018346 0 4758 10 11 10 105.39/105.47 c 9627 15693 13496525 86172338 0 4817 10 13 10 110.28/110.33 c 10680 16790 13851016 93884149 0 4903 10 11 10 116.19/116.29 c 11838 18021 14433771 100377960 0 4921 10 12 10 122.59/122.67 c 13111 19380 15065529 106214862 0 4936 10 13 11 129.59/129.66 c 14511 20903 15855329 116006879 0 5020 10 12 11 135.39/135.44 c 16051 22515 16170525 126527916 0 5150 9 10 9 140.79/140.89 c 17745 24238 16437846 137335989 0 5188 10 10 9 151.20/151.21 c 19608 26229 17489864 148969896 0 5222 10 13 11 162.60/162.67 c 21657 28489 18686804 159641120 0 5259 10 13 11 175.89/175.93 c 23910 30929 19730176 177825734 0 5382 10 12 10 186.69/186.77 c 26388 33539 20644159 192322666 0 5446 10 13 10 197.29/197.35 c 29113 36339 21235692 210249593 0 5483 10 12 10 211.69/211.77 c 32110 39518 22588810 224244574 0 5489 9 12 10 225.20/225.23 c 35406 42894 23420444 247568339 0 5599 10 12 10 239.01/239.07 c 39031 46657 24372929 269238096 0 5775 9 12 10 256.11/256.16 c 43018 50865 25903697 291183519 0 5880 9 12 10 279.89/279.91 c 47403 55509 27651251 323140457 0 5992 9 12 10 300.70/300.72 c 52226 60569 29400120 357175853 0 6097 10 12 10 328.50/328.56 c 57531 66123 31648104 394605863 0 6161 10 12 10 357.80/357.90 c 63366 72361 34597942 434229112 0 6206 10 13 11 386.91/386.91 c 69784 79148 37193803 478882178 0 6227 10 12 10 409.11/409.15 c 76843 86463 38668118 518261542 0 6508 8 9 8 447.81/447.88 c 84607 94564 41486217 573610422 0 6584 10 13 11 483.51/483.56 c 93147 103409 44117907 629442826 0 6705 10 13 11 526.61/526.65 c 102541 113365 48097400 677876361 0 6736 10 13 10 567.22/567.22 c 112874 124216 51127594 737400201 0 6910 9 12 10 609.13/609.13 c 124240 135921 54034417 802493580 0 7031 9 12 10 665.83/665.87 c 136742 148710 57102260 891404874 0 7283 10 12 10 719.43/719.43 c 150494 162915 60977292 983626487 0 7412 10 12 10 793.92/793.99 c 165621 179098 67199959 1054011158 0 7685 9 14 10 873.73/873.70 c 182260 196466 73259245 1170269458 0 7756 9 12 10 940.43/940.44 c 200562 215405 77325118 1281822342 0 8183 9 12 10 1013.05/1013.10 c 220694 236446 82228591 1405275300 0 8421 9 12 10 1127.65/1127.62 c 242839 259610 91125035 1563564401 0 8492 9 13 10 1241.36/1241.35 c 267198 285375 101163616 1696378496 0 8520 10 13 11 1337.87/1337.84 c 293992 312639 105648863 1873807707 0 8554 9 10 9 1429.77/1429.78 c 323465 342778 110737039 2029563225 0 8668 9 13 10 1587.59/1587.59 c 355885 377236 126365074 2159795729 0 8690 10 14 12 1750.21/1750.11 c 391547 414470 138836267 2399148542 0 8788 10 14 12 1884.51/1884.42 c 430775 454598 146614753 2641217202 0 8807 10 13 11 2042.82/2042.75 c 473925 498811 155224548 2916973622 0 8935 9 12 10 2326.44/2326.39 c 521390 550655 186289223 3152932855 0 8988 10 14 12 2520.06/2519.90 2520.06/2519.90 c *** INTERRUPTED *** 2520.06/2519.90 c restarts : 565 2520.06/2519.90 c conflicts : 572804 (227 /sec) 2520.06/2519.90 c decisions : 603873 (240 /sec) 2520.06/2519.90 c propagations : 3477527116 (1381099 /sec) 2520.06/2519.90 c root propagations : 0 2520.06/2519.90 c filter calls : 199208898 (79116 /sec) 2520.06/2519.90 c useless filter calls : 162030059 (81 %) 2520.06/2519.90 c 2520.06/2519.90 c clauses : 165993522 2520.06/2519.90 c SAT propagations : 13 2520.06/2519.90 c SAT conflicts : 0 (0 learnts) 2520.06/2519.90 c Memory used : 7715.09 MB 2520.06/2519.90 c CPU time : 2517.94 s 2520.06/2519.90 2520.06/2519.90 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 (12322 MiB free)
memory of node 1: 16384 MiB (13675 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266460-1502591202/watcher-4266460-1502591202 -o /tmp/evaluation-result-4266460-1502591202/solver-4266460-1502591202 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502567255-24403 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266460-1502591202.xml
running on 4 cores: 1,3,5,7
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
solver pid=27803, runsolver pid=27800
Current StackSize limit: 8192 KiB
[startup+0.100154 s]*
/proc/loadavg: 2.01 2.03 2.05 3/187 27804
/proc/meminfo: memFree=26618060/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=31008 memory=7088 CPUtime=0.1 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 1980 0 0 0 10 0 0 0 20 0 1 0 92191875 31752192 1772 33554432000 4194304 5972588 140722403312000 140722403308648 139880731149165 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 7752 1772 736 435 0 1115 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31008 KiB
Current children cumulated memory: 7088 KiB
[startup+0.209515 s]*
/proc/loadavg: 2.01 2.03 2.05 3/187 27804
/proc/meminfo: memFree=26617316/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=31848 memory=7756 CPUtime=0.21 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 2162 0 0 0 21 0 0 0 20 0 1 0 92191875 32612352 1939 33554432000 4194304 5972588 140722403312000 140722403308648 139880721800165 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 7962 1939 736 435 0 1325 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31848 KiB
Current children cumulated memory: 7756 KiB
[startup+0.308811 s]*
/proc/loadavg: 2.01 2.03 2.05 3/187 27804
/proc/meminfo: memFree=26616572/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=32360 memory=8536 CPUtime=0.31 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 2331 0 0 0 31 0 0 0 20 0 1 0 92191875 33136640 2134 33554432000 4194304 5972588 140722403312000 140722403308648 139880721792708 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 8090 2134 736 435 0 1453 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32360 KiB
Current children cumulated memory: 8536 KiB
[startup+0.700284 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 27804
/proc/meminfo: memFree=26613224/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=41808 memory=17932 CPUtime=0.69 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 4749 0 0 0 69 0 0 0 20 0 1 0 92191875 42811392 4483 33554432000 4194304 5972588 140722403312000 140722403303720 139880721792748 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 10452 4483 780 435 0 3815 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41808 KiB
Current children cumulated memory: 17932 KiB
[startup+1.50029 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 27804
/proc/meminfo: memFree=26596140/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=65700 memory=41692 CPUtime=1.49 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 10709 0 0 0 148 1 0 0 20 0 1 0 92191875 67276800 10423 33554432000 4194304 5972588 140722403312000 140722403305560 139880721797727 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 16425 10423 780 435 0 9788 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 65700 KiB
Current children cumulated memory: 41692 KiB
[startup+3.10934 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 27804
/proc/meminfo: memFree=26536404/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=113748 memory=89880 CPUtime=3.09 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 23106 0 0 0 306 3 0 0 20 0 1 0 92191875 116477952 22470 33554432000 4194304 5972588 140722403312000 140722403305560 4967517 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 28437 22470 780 435 0 21800 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 113748 KiB
Current children cumulated memory: 89880 KiB
[startup+6.30027 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 27804
/proc/meminfo: memFree=26446272/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=209500 memory=185520 CPUtime=6.29 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 47744 0 0 0 622 7 0 0 20 0 1 0 92191875 214528000 46380 33554432000 4194304 5972588 140722403312000 140722403303768 139880731145396 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 52375 46380 780 435 0 45738 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 209500 KiB
Current children cumulated memory: 185520 KiB
[startup+12.7004 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 27804
/proc/meminfo: memFree=25638356/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=1535484 memory=1359968 CPUtime=12.68 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 223257 0 0 0 1230 38 0 0 20 0 1 0 92191875 1572335616 339926 33554432000 4194304 5972588 140722403312000 140722403308792 139880721800165 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 383905 339926 810 435 0 377268 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 1535484 KiB
Current children cumulated memory: 1359968 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 27804
/proc/meminfo: memFree=20117104/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=7890164 memory=6495832 CPUtime=25.49 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 855542 0 0 0 2384 165 0 0 20 0 1 0 92191875 8079527936 1623958 33554432000 4194304 5972588 140722403312000 140722403309304 4965551 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 1972541 1623958 833 435 0 1965904 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 7890164 KiB
Current children cumulated memory: 6495832 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 27804
/proc/meminfo: memFree=20110252/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=7894784 memory=6500492 CPUtime=51.1 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 858258 0 0 0 4944 166 0 0 20 0 1 0 92191875 8084258816 1625123 33554432000 4194304 5972588 140722403312000 140722403309304 139880721800165 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 1973696 1625123 833 435 0 1967059 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 7894784 KiB
Current children cumulated memory: 6500492 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 27805
/proc/meminfo: memFree=20108744/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=7896764 memory=6502568 CPUtime=102.29 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 867554 0 0 0 10062 167 0 0 20 0 1 0 92191875 8086286336 1625642 33554432000 4194304 5972588 140722403312000 140722403309304 5071413 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 1974191 1625642 833 435 0 1967554 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 7896764 KiB
Current children cumulated memory: 6502568 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 27806
/proc/meminfo: memFree=20108000/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=7897348 memory=6503140 CPUtime=162.3 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 882329 0 0 0 16062 168 0 0 20 0 1 0 92191875 8086884352 1625785 33554432000 4194304 5972588 140722403312000 140722403309304 5072015 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 1974337 1625785 833 435 0 1967700 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 7897348 KiB
Current children cumulated memory: 6503140 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27807
/proc/meminfo: memFree=20107128/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=7897876 memory=6503580 CPUtime=222.3 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 912241 0 0 0 22061 169 0 0 20 0 1 0 92191875 8087425024 1625895 33554432000 4194304 5972588 140722403312000 140722403309032 4909660 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 1974469 1625895 833 435 0 1967832 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 7897876 KiB
Current children cumulated memory: 6503580 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 27808
/proc/meminfo: memFree=20106640/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=7898008 memory=6503788 CPUtime=282.29 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 936290 0 0 0 28060 169 0 0 20 0 1 0 92191875 8087560192 1625947 33554432000 4194304 5972588 140722403312000 140722403309304 5071435 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 1974502 1625947 833 435 0 1967865 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 7898008 KiB
Current children cumulated memory: 6503788 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27809
/proc/meminfo: memFree=20107012/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=7898140 memory=6503848 CPUtime=342.3 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 955659 0 0 0 34059 171 0 0 20 0 1 0 92191875 8087695360 1625962 33554432000 4194304 5972588 140722403312000 140722403309304 5070688 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 1974535 1625962 833 435 0 1967898 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 7898140 KiB
Current children cumulated memory: 6503848 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27810
/proc/meminfo: memFree=20106176/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=7898140 memory=6503936 CPUtime=402.3 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 972339 0 0 0 40058 172 0 0 20 0 1 0 92191875 8087695360 1625984 33554432000 4194304 5972588 140722403312000 140722403309304 5071970 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 1974535 1625984 833 435 0 1967898 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 7898140 KiB
Current children cumulated memory: 6503936 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27818
/proc/meminfo: memFree=20105188/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=7898272 memory=6504012 CPUtime=462.31 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 992725 0 0 0 46058 173 0 0 20 0 1 0 92191875 8087830528 1626003 33554432000 4194304 5972588 140722403312000 140722403309304 5053071 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 1974568 1626003 833 435 0 1967931 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 7898272 KiB
Current children cumulated memory: 6504012 KiB
################
# More data... #
################
/proc/meminfo: memFree=20102828/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=7900120 memory=6505856 CPUtime=1782.4 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 1327620 0 0 0 178041 199 0 0 20 0 1 0 92191875 8089722880 1626464 33554432000 4194304 5972588 140722403312000 140722403309304 4962339 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 1975030 1626464 833 435 0 1968393 0
Current children cumulated CPU time: 1782.4 s
Current children cumulated vsize: 7900120 KiB
Current children cumulated memory: 6505856 KiB
[startup+1842.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 27857
/proc/meminfo: memFree=20102816/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=7900120 memory=6505872 CPUtime=1842.41 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 1339524 0 0 0 184041 200 0 0 20 0 1 0 92191875 8089722880 1626468 33554432000 4194304 5972588 140722403312000 140722403309304 4965339 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 1975030 1626468 833 435 0 1968393 0
Current children cumulated CPU time: 1842.41 s
Current children cumulated vsize: 7900120 KiB
Current children cumulated memory: 6505872 KiB
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 27858
/proc/meminfo: memFree=20102960/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=7900120 memory=6505892 CPUtime=1902.41 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 1359723 0 0 0 190040 201 0 0 20 0 1 0 92191875 8089722880 1626473 33554432000 4194304 5972588 140722403312000 140722403309304 5328649 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 1975030 1626473 833 435 0 1968393 0
Current children cumulated CPU time: 1902.41 s
Current children cumulated vsize: 7900120 KiB
Current children cumulated memory: 6505892 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 27859
/proc/meminfo: memFree=20102704/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=7900120 memory=6505896 CPUtime=1962.42 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 1368872 0 0 0 196040 202 0 0 20 0 1 0 92191875 8089722880 1626474 33554432000 4194304 5972588 140722403312000 140722403309304 4965753 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 1975030 1626474 833 435 0 1968393 0
Current children cumulated CPU time: 1962.42 s
Current children cumulated vsize: 7900120 KiB
Current children cumulated memory: 6505896 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27860
/proc/meminfo: memFree=20102460/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=7900120 memory=6506044 CPUtime=2022.41 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 1379915 0 0 0 202038 203 0 0 20 0 1 0 92191875 8089722880 1626511 33554432000 4194304 5972588 140722403312000 140722403309304 5071976 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 1975030 1626511 833 435 0 1968393 0
Current children cumulated CPU time: 2022.41 s
Current children cumulated vsize: 7900120 KiB
Current children cumulated memory: 6506044 KiB
[startup+2082.3 s]
/proc/loadavg: 2.49 2.16 2.09 3/187 27861
/proc/meminfo: memFree=20102492/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=7900120 memory=6506056 CPUtime=2082.42 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 1392722 0 0 0 208038 204 0 0 20 0 1 0 92191875 8089722880 1626514 33554432000 4194304 5972588 140722403312000 140722403309304 5070688 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 1975030 1626514 833 435 0 1968393 0
Current children cumulated CPU time: 2082.42 s
Current children cumulated vsize: 7900120 KiB
Current children cumulated memory: 6506056 KiB
[startup+2142.3 s]
/proc/loadavg: 2.18 2.13 2.09 3/187 27862
/proc/meminfo: memFree=20102800/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=7900120 memory=6506056 CPUtime=2142.43 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 1397899 0 0 0 214038 205 0 0 20 0 1 0 92191875 8089722880 1626514 33554432000 4194304 5972588 140722403312000 140722403309304 4965773 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 1975030 1626514 833 435 0 1968393 0
Current children cumulated CPU time: 2142.43 s
Current children cumulated vsize: 7900120 KiB
Current children cumulated memory: 6506056 KiB
[startup+2202.3 s]
/proc/loadavg: 2.22 2.14 2.09 3/187 27863
/proc/meminfo: memFree=20102560/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=7900120 memory=6506056 CPUtime=2202.43 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 1410520 0 0 0 220037 206 0 0 20 0 1 0 92191875 8089722880 1626514 33554432000 4194304 5972588 140722403312000 140722403309304 4965562 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 1975030 1626514 833 435 0 1968393 0
Current children cumulated CPU time: 2202.43 s
Current children cumulated vsize: 7900120 KiB
Current children cumulated memory: 6506056 KiB
[startup+2262.3 s]
/proc/loadavg: 2.37 2.22 2.12 3/188 27872
/proc/meminfo: memFree=20101804/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=7900120 memory=6506060 CPUtime=2262.44 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 1418577 0 0 0 226037 207 0 0 20 0 1 0 92191875 8089722880 1626515 33554432000 4194304 5972588 140722403312000 140722403309304 4909602 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 1975030 1626515 833 435 0 1968393 0
Current children cumulated CPU time: 2262.44 s
Current children cumulated vsize: 7900120 KiB
Current children cumulated memory: 6506060 KiB
[startup+2322.3 s]
/proc/loadavg: 2.14 2.18 2.12 3/188 27873
/proc/meminfo: memFree=20102492/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=7900120 memory=6506060 CPUtime=2322.44 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 1430945 0 0 0 232036 208 0 0 20 0 1 0 92191875 8089722880 1626515 33554432000 4194304 5972588 140722403312000 140722403309304 5071995 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 1975030 1626515 833 435 0 1968393 0
Current children cumulated CPU time: 2322.44 s
Current children cumulated vsize: 7900120 KiB
Current children cumulated memory: 6506060 KiB
[startup+2382.3 s]
/proc/loadavg: 2.05 2.15 2.11 3/188 27874
/proc/meminfo: memFree=20102692/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=7900120 memory=6506080 CPUtime=2382.45 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 1445047 0 0 0 238036 209 0 0 20 0 1 0 92191875 8089722880 1626520 33554432000 4194304 5972588 140722403312000 140722403309304 4965642 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 1975030 1626520 833 435 0 1968393 0
Current children cumulated CPU time: 2382.45 s
Current children cumulated vsize: 7900120 KiB
Current children cumulated memory: 6506080 KiB
[startup+2442.3 s]
/proc/loadavg: 2.02 2.12 2.11 3/188 27875
/proc/meminfo: memFree=20102672/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=7900252 memory=6506104 CPUtime=2442.45 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 1451423 0 0 0 244035 210 0 0 20 0 1 0 92191875 8089858048 1626526 33554432000 4194304 5972588 140722403312000 140722403309032 4969200 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 1975063 1626526 833 435 0 1968426 0
Current children cumulated CPU time: 2442.45 s
Current children cumulated vsize: 7900252 KiB
Current children cumulated memory: 6506104 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.10 2.10 3/188 27876
/proc/meminfo: memFree=20102572/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=7900252 memory=6506108 CPUtime=2502.46 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 1460832 0 0 0 250034 212 0 0 20 0 1 0 92191875 8089858048 1626527 33554432000 4194304 5972588 140722403312000 140722403309032 4965342 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 1975063 1626527 833 435 0 1968426 0
Current children cumulated CPU time: 2502.46 s
Current children cumulated vsize: 7900252 KiB
Current children cumulated memory: 6506108 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.01 2.09 2.10 3/188 27937
/proc/meminfo: memFree=20054468/32770624 swapFree=67108860/67108860
[pid=27803] ppid=27800 vsize=7900252 memory=6506108 CPUtime=2520.06 cores=1,3,5,7
/proc/27803/stat : 27803 (cosoco) R 27800 27803 24318 0 -1 4202496 1462809 0 0 0 251794 212 0 0 20 0 1 0 92191875 8089858048 1626527 33554432000 4194304 5972588 140722403312000 140722403309032 4962339 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 39813120 140722403321018 140722403321118 140722403321118 140722403323854 0
/proc/27803/statm: 1975063 1626527 833 435 0 1968426 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 7900252 KiB
Current children cumulated memory: 6506108 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 27803 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.94 s, system=2.24119 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520 s]*
/proc/loadavg: 2.01 2.09 2.10 3/188 27937
/proc/meminfo: memFree=25908512/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 1
Real time (s): 2520.02
CPU time (s): 2520.18
CPU user time (s): 2517.94
CPU system time (s): 2.24119
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 7900252
Max. memory (cumulated for all children) (KiB): 6506108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.94
system time used= 2.24119
maximum resident set size= 6506176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1462852
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= 86
involuntary context switches= 2251
# summary of solver processes directly reported to runsolver:
# pid: 27803
# total CPU time (s): 2520.18
# total CPU user time (s): 2517.94
# total CPU system time (s): 2.24119
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.51955 second user time and 17.7928 second system time
The end
Begin job on node105 at 2017-08-13 04:12:24 IDJOB=4266460 IDBENCH=138550 IDSOLVER=2655 FILE ID=node105/4266460-1502591202 RUNJOBID= node105-1502567255-24403 PBS_JOBID= 20628286 Free space on /tmp= 60664 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os15/SuperTaillard-os-15-22.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266460-1502591202/watcher-4266460-1502591202 -o /tmp/evaluation-result-4266460-1502591202/solver-4266460-1502591202 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502567255-24403 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266460-1502591202.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3ba855dc46a3fd367cb99709f0833fff RANDOM SEED=297127395 node105.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.17 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.17 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.17 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.17 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: 26622468 kB MemAvailable: 31946128 kB Buffers: 144632 kB Cached: 5455912 kB SwapCached: 0 kB Active: 681680 kB Inactive: 5006996 kB Active(anon): 90844 kB Inactive(anon): 25072 kB Active(file): 590836 kB Inactive(file): 4981924 kB Unevictable: 6236 kB Mlocked: 6236 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2856 kB Writeback: 4 kB AnonPages: 85924 kB Mapped: 44608 kB Shmem: 25228 kB Slab: 158984 kB SReclaimable: 133472 kB SUnreclaim: 25512 kB KernelStack: 3072 kB PageTables: 4740 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 388228 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60660 MiB End job on node105 at 2017-08-13 04:54:24