| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco 1.1 | ? (TO) | 2400.09 | 2400.91 |
| Name | SuperSolutions/SuperSolutions-Taillard-os20/ SuperTaillard-os-20-17.xml |
| MD5SUM | 4b4738a8e40cdda4c63a077f136d1653 |
| 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 | 800 |
| Number of constraints | 23200 |
| Number of domains | 98 |
| Minimum domain size | 1322 |
| Maximum domain size | 1420 |
| Distribution of domain sizes | [{"size":1322,"count":14},{"size":1323,"count":8},{"size":1324,"count":16},{"size":1325,"count":6},{"size":1326,"count":6},{"size":1327,"count":4},{"size":1328,"count":12},{"size":1329,"count":4},{"size":1330,"count":18},{"size":1331,"count":10},{"size":1332,"count":4},{"size":1333,"count":20},{"size":1334,"count":8},{"size":1335,"count":2},{"size":1336,"count":16},{"size":1337,"count":12},{"size":1338,"count":8},{"size":1339,"count":4},{"size":1340,"count":12},{"size":1341,"count":2},{"size":1342,"count":10},{"size":1343,"count":12},{"size":1344,"count":12},{"size":1345,"count":12},{"size":1346,"count":10},"...",{"size":1396,"count":10}, {"size":1397,"count":14}, {"size":1398,"count":8}, {"size":1399,"count":12}, {"size":1400,"count":4}, {"size":1401,"count":6}, {"size":1402,"count":12}, {"size":1403,"count":10}, {"size":1404,"count":6}, {"size":1405,"count":6}, {"size":1406,"count":6}, {"size":1407,"count":6}, {"size":1408,"count":4}, {"size":1409,"count":8}, {"size":1410,"count":6}, {"size":1411,"count":6}, {"size":1412,"count":8}, {"size":1413,"count":8}, {"size":1414,"count":8}, {"size":1415,"count":4}, {"size":1416,"count":10}, {"size":1417,"count":6}, {"size":1418,"count":10}, {"size":1419,"count":8}, {"size":1420,"count":6}] |
| Minimum variable degree | 39 |
| Maximum variable degree | 77 |
| Distribution of variable degrees | [{"degree":39,"count":400},{"degree":77,"count":400}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":23200}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 23200 |
| Distribution of constraint types | [{"type":"intension","count":23200}] |
| Optimization problem | NO |
| Type of objective |
25.88/25.94 c intension x0 != x1 using generic constraint 25.88/25.94 c intension x2 != x3 using generic constraint 25.88/25.94 c intension x4 != x5 using generic constraint 25.88/25.94 c intension x6 != x7 using generic constraint 25.88/25.94 c intension x8 != x9 using generic constraint 25.88/25.94 c intension x10 != x11 using generic constraint 25.88/25.94 c intension x12 != x13 using generic constraint 25.88/25.94 c intension x14 != x15 using generic constraint 25.88/25.94 c intension x16 != x17 using generic constraint 25.88/25.95 c intension x18 != x19 using generic constraint 25.88/25.95 c intension x20 != x21 using generic constraint 25.88/25.95 c intension x22 != x23 using generic constraint 25.88/25.95 c intension x24 != x25 using generic constraint 25.88/25.95 c intension x26 != x27 using generic constraint 25.88/25.95 c intension x28 != x29 using generic constraint 25.88/25.95 c intension x30 != x31 using generic constraint 25.88/25.95 c intension x32 != x33 using generic constraint 25.88/25.95 c intension x34 != x35 using generic constraint 25.88/25.95 c intension x36 != x37 using generic constraint 25.88/25.95 c intension x38 != x39 using generic constraint 25.88/25.95 c intension x40 != x41 using generic constraint 25.88/25.96 c intension x42 != x43 using generic constraint 25.88/25.96 c intension x44 != x45 using generic constraint 25.88/25.96 c intension x46 != x47 using generic constraint 25.88/25.96 c intension x48 != x49 using generic constraint 25.88/25.96 c intension x50 != x51 using generic constraint 25.88/25.96 c intension x52 != x53 using generic constraint 25.88/25.96 c intension x54 != x55 using generic constraint 25.88/25.96 c intension x56 != x57 using generic constraint 25.88/25.96 c intension x58 != x59 using generic constraint 25.88/25.96 c intension x60 != x61 using generic constraint 25.88/25.96 c intension x62 != x63 using generic constraint 25.88/25.97 c intension x64 != x65 using generic constraint 25.88/25.97 c intension x66 != x67 using generic constraint 25.88/25.97 c intension x68 != x69 using generic constraint 25.88/25.97 c intension x70 != x71 using generic constraint 25.88/25.97 c intension x72 != x73 using generic constraint 25.88/25.97 c intension x74 != x75 using generic constraint 25.88/25.97 c intension x76 != x77 using generic constraint 25.88/25.97 c intension x78 != x79 using generic constraint 25.88/25.97 c intension x80 != x81 using generic constraint 25.88/25.97 c intension x82 != x83 using generic constraint 25.88/25.97 c intension x84 != x85 using generic constraint 25.88/25.97 c intension x86 != x87 using generic constraint 25.88/25.98 c intension x88 != x89 using generic constraint 25.88/25.98 c intension x90 != x91 using generic constraint 25.88/25.98 c intension x92 != x93 using generic constraint 25.88/25.98 c intension x94 != x95 using generic constraint 25.88/25.98 c intension x96 != x97 using generic constraint 25.88/25.98 c intension x98 != x99 using generic constraint 25.88/25.98 c intension x100 != x101 using generic constraint 25.88/25.98 c intension x102 != x103 using generic constraint 25.88/25.98 c intension x104 != x105 using generic constraint 25.88/25.98 c intension x106 != x107 using generic constraint 25.88/25.98 c intension x108 != x109 using generic constraint 25.88/25.99 c intension x110 != x111 using generic constraint 25.88/25.99 c intension x112 != x113 using generic constraint 25.88/25.99 c intension x114 != x115 using generic constraint 25.88/25.99 c intension x116 != x117 using generic constraint 25.88/25.99 c intension x118 != x119 using generic constraint 25.88/25.99 c intension x120 != x121 using generic constraint 25.88/25.99 c intension x122 != x123 using generic constraint 25.88/25.99 c intension x124 != x125 using generic constraint 25.88/25.99 c intension x126 != x127 using generic constraint 25.88/25.99 c intension x128 != x129 using generic constraint 25.88/25.99 c intension x130 != x131 using generic constraint 25.88/25.99 c intension x132 != x133 using generic constraint 25.88/26.00 c intension x134 != x135 using generic constraint 25.98/26.00 c intension x136 != x137 using generic constraint 25.98/26.00 c intension x138 != x139 using generic constraint 25.98/26.00 c intension x140 != x141 using generic constraint 25.98/26.00 c intension x142 != x143 using generic constraint 25.98/26.00 c intension x144 != x145 using generic constraint 25.98/26.00 c intension x146 != x147 using generic constraint 25.98/26.00 c intension x148 != x149 using generic constraint 25.98/26.00 c intension x150 != x151 using generic constraint 25.98/26.00 c intension x152 != x153 using generic constraint 25.98/26.00 c intension x154 != x155 using generic constraint 25.98/26.01 c intension x156 != x157 using generic constraint 25.98/26.01 c intension x158 != x159 using generic constraint 25.98/26.01 c intension x160 != x161 using generic constraint 25.98/26.01 c intension x162 != x163 using generic constraint 25.98/26.01 c intension x164 != x165 using generic constraint 25.98/26.01 c intension x166 != x167 using generic constraint 25.98/26.01 c intension x168 != x169 using generic constraint 25.98/26.01 c intension x170 != x171 using generic constraint 25.98/26.01 c intension x172 != x173 using generic constraint 25.98/26.01 c intension x174 != x175 using generic constraint 25.98/26.01 c intension x176 != x177 using generic constraint 25.98/26.01 c intension x178 != x179 using generic constraint 25.98/26.02 c intension x180 != x181 using generic constraint 25.98/26.02 c intension x182 != x183 using generic constraint 25.98/26.02 c intension x184 != x185 using generic constraint 25.98/26.02 c intension x186 != x187 using generic constraint 25.98/26.02 c intension x188 != x189 using generic constraint 25.98/26.02 c intension x190 != x191 using generic constraint 25.98/26.02 c intension x192 != x193 using generic constraint 25.98/26.02 c intension x194 != x195 using generic constraint 25.98/26.02 c intension x196 != x197 using generic constraint 25.98/26.02 c intension x198 != x199 using generic constraint 25.98/26.02 c intension x200 != x201 using generic constraint 25.98/26.02 c intension x202 != x203 using generic constraint 25.98/26.03 c intension x204 != x205 using generic constraint 25.98/26.03 c intension x206 != x207 using generic constraint 25.98/26.03 c intension x208 != x209 using generic constraint 25.98/26.03 c intension x210 != x211 using generic constraint 25.98/26.03 c intension x212 != x213 using generic constraint 25.98/26.03 c intension x214 != x215 using generic constraint 25.98/26.03 c intension x216 != x217 using generic constraint 25.98/26.03 c intension x218 != x219 using generic constraint 25.98/26.03 c intension x220 != x221 using generic constraint 25.98/26.03 c intension x222 != x223 using generic constraint 25.98/26.03 c intension x224 != x225 using generic constraint 25.98/26.04 c intension x226 != x227 using generic constraint 25.98/26.04 c intension x228 != x229 using generic constraint 25.98/26.04 c intension x230 != x231 using generic constraint 25.98/26.04 c intension x232 != x233 using generic constraint 25.98/26.04 c intension x234 != x235 using generic constraint 25.98/26.04 c intension x236 != x237 using generic constraint 25.98/26.04 c intension x238 != x239 using generic constraint 25.98/26.04 c intension x240 != x241 using generic constraint 25.98/26.04 c intension x242 != x243 using generic constraint 25.98/26.04 c intension x244 != x245 using generic constraint 25.98/26.04 c intension x246 != x247 using generic constraint 25.98/26.04 c intension x248 != x249 using generic constraint 25.98/26.05 c intension x250 != x251 using generic constraint 25.98/26.05 c intension x252 != x253 using generic constraint 25.98/26.05 c intension x254 != x255 using generic constraint 25.98/26.05 c intension x256 != x257 using generic constraint 25.98/26.05 c intension x258 != x259 using generic constraint 25.98/26.05 c intension x260 != x261 using generic constraint 25.98/26.05 c intension x262 != x263 using generic constraint 25.98/26.05 c intension x264 != x265 using generic constraint 25.98/26.05 c intension x266 != x267 using generic constraint 25.98/26.05 c intension x268 != x269 using generic constraint 25.98/26.05 c intension x270 != x271 using generic constraint 25.98/26.06 c intension x272 != x273 using generic constraint 25.98/26.06 c intension x274 != x275 using generic constraint 25.98/26.06 c intension x276 != x277 using generic constraint 25.98/26.06 c intension x278 != x279 using generic constraint 25.98/26.06 c intension x280 != x281 using generic constraint 25.98/26.06 c intension x282 != x283 using generic constraint 25.98/26.06 c intension x284 != x285 using generic constraint 25.98/26.06 c intension x286 != x287 using generic constraint 25.98/26.06 c intension x288 != x289 using generic constraint 25.98/26.06 c intension x290 != x291 using generic constraint 25.98/26.06 c intension x292 != x293 using generic constraint 25.98/26.06 c intension x294 != x295 using generic constraint 25.98/26.07 c intension x296 != x297 using generic constraint 25.98/26.07 c intension x298 != x299 using generic constraint 25.98/26.07 c intension x300 != x301 using generic constraint 25.98/26.07 c intension x302 != x303 using generic constraint 25.98/26.07 c intension x304 != x305 using generic constraint 25.98/26.07 c intension x306 != x307 using generic constraint 25.98/26.07 c intension x308 != x309 using generic constraint 25.98/26.07 c intension x310 != x311 using generic constraint 25.98/26.07 c intension x312 != x313 using generic constraint 25.98/26.07 c intension x314 != x315 using generic constraint 25.98/26.07 c intension x316 != x317 using generic constraint 25.98/26.08 c intension x318 != x319 using generic constraint 25.98/26.08 c intension x320 != x321 using generic constraint 25.98/26.08 c intension x322 != x323 using generic constraint 25.98/26.08 c intension x324 != x325 using generic constraint 25.98/26.08 c intension x326 != x327 using generic constraint 25.98/26.08 c intension x328 != x329 using generic constraint 25.98/26.08 c intension x330 != x331 using generic constraint 25.98/26.08 c intension x332 != x333 using generic constraint 25.98/26.08 c intension x334 != x335 using generic constraint 25.98/26.08 c intension x336 != x337 using generic constraint 25.98/26.08 c intension x338 != x339 using generic constraint 25.98/26.08 c intension x340 != x341 using generic constraint 25.98/26.09 c intension x342 != x343 using generic constraint 25.98/26.09 c intension x344 != x345 using generic constraint 25.98/26.09 c intension x346 != x347 using generic constraint 25.98/26.09 c intension x348 != x349 using generic constraint 25.98/26.09 c intension x350 != x351 using generic constraint 25.98/26.09 c intension x352 != x353 using generic constraint 25.98/26.09 c intension x354 != x355 using generic constraint 25.98/26.09 c intension x356 != x357 using generic constraint 25.98/26.09 c intension x358 != x359 using generic constraint 25.98/26.09 c intension x360 != x361 using generic constraint 25.98/26.09 c intension x362 != x363 using generic constraint 25.98/26.10 c intension x364 != x365 using generic constraint 26.09/26.10 c intension x366 != x367 using generic constraint 26.09/26.10 c intension x368 != x369 using generic constraint 26.09/26.10 c intension x370 != x371 using generic constraint 26.09/26.10 c intension x372 != x373 using generic constraint 26.09/26.10 c intension x374 != x375 using generic constraint 26.09/26.10 c intension x376 != x377 using generic constraint 26.09/26.10 c intension x378 != x379 using generic constraint 26.09/26.10 c intension x380 != x381 using generic constraint 26.09/26.10 c intension x382 != x383 using generic constraint 26.09/26.10 c intension x384 != x385 using generic constraint 26.09/26.10 c intension x386 != x387 using generic constraint 26.09/26.11 c intension x388 != x389 using generic constraint 26.09/26.11 c intension x390 != x391 using generic constraint 26.09/26.11 c intension x392 != x393 using generic constraint 26.09/26.11 c intension x394 != x395 using generic constraint 26.09/26.11 c intension x396 != x397 using generic constraint 26.09/26.11 c intension x398 != x399 using generic constraint 26.09/26.11 c intension x400 != x401 using generic constraint 26.09/26.11 c intension x402 != x403 using generic constraint 26.09/26.11 c intension x404 != x405 using generic constraint 26.09/26.11 c intension x406 != x407 using generic constraint 26.09/26.11 c intension x408 != x409 using generic constraint 26.09/26.12 c intension x410 != x411 using generic constraint 26.09/26.12 c intension x412 != x413 using generic constraint 26.09/26.12 c intension x414 != x415 using generic constraint 26.09/26.12 c intension x416 != x417 using generic constraint 26.09/26.12 c intension x418 != x419 using generic constraint 26.09/26.12 c intension x420 != x421 using generic constraint 26.09/26.12 c intension x422 != x423 using generic constraint 26.09/26.12 c intension x424 != x425 using generic constraint 26.09/26.12 c intension x426 != x427 using generic constraint 26.09/26.12 c intension x428 != x429 using generic constraint 26.09/26.12 c intension x430 != x431 using generic constraint 26.09/26.12 c intension x432 != x433 using generic constraint 26.09/26.13 c intension x434 != x435 using generic constraint 26.09/26.13 c intension x436 != x437 using generic constraint 26.09/26.13 c intension x438 != x439 using generic constraint 26.09/26.13 c intension x440 != x441 using generic constraint 26.09/26.13 c intension x442 != x443 using generic constraint 26.09/26.13 c intension x444 != x445 using generic constraint 26.09/26.13 c intension x446 != x447 using generic constraint 26.09/26.13 c intension x448 != x449 using generic constraint 26.09/26.13 c intension x450 != x451 using generic constraint 26.09/26.13 c intension x452 != x453 using generic constraint 26.09/26.13 c intension x454 != x455 using generic constraint 26.09/26.14 c intension x456 != x457 using generic constraint 26.09/26.14 c intension x458 != x459 using generic constraint 26.09/26.14 c intension x460 != x461 using generic constraint 26.09/26.14 c intension x462 != x463 using generic constraint 26.09/26.14 c intension x464 != x465 using generic constraint 26.09/26.14 c intension x466 != x467 using generic constraint 26.09/26.14 c intension x468 != x469 using generic constraint 26.09/26.14 c intension x470 != x471 using generic constraint 26.09/26.14 c intension x472 != x473 using generic constraint 26.09/26.14 c intension x474 != x475 using generic constraint 26.09/26.14 c intension x476 != x477 using generic constraint 26.09/26.14 c intension x478 != x479 using generic constraint 26.09/26.15 c intension x480 != x481 using generic constraint 26.09/26.15 c intension x482 != x483 using generic constraint 26.09/26.15 c intension x484 != x485 using generic constraint 26.09/26.15 c intension x486 != x487 using generic constraint 26.09/26.15 c intension x488 != x489 using generic constraint 26.09/26.15 c intension x490 != x491 using generic constraint 26.09/26.15 c intension x492 != x493 using generic constraint 26.09/26.15 c intension x494 != x495 using generic constraint 26.09/26.15 c intension x496 != x497 using generic constraint 26.09/26.15 c intension x498 != x499 using generic constraint 26.09/26.15 c intension x500 != x501 using generic constraint 26.09/26.15 c intension x502 != x503 using generic constraint 26.09/26.16 c intension x504 != x505 using generic constraint 26.09/26.16 c intension x506 != x507 using generic constraint 26.09/26.16 c intension x508 != x509 using generic constraint 26.09/26.16 c intension x510 != x511 using generic constraint 26.09/26.16 c intension x512 != x513 using generic constraint 26.09/26.16 c intension x514 != x515 using generic constraint 26.09/26.16 c intension x516 != x517 using generic constraint 26.09/26.16 c intension x518 != x519 using generic constraint 26.09/26.16 c intension x520 != x521 using generic constraint 26.09/26.16 c intension x522 != x523 using generic constraint 26.09/26.16 c intension x524 != x525 using generic constraint 26.09/26.17 c intension x526 != x527 using generic constraint 26.09/26.17 c intension x528 != x529 using generic constraint 26.09/26.17 c intension x530 != x531 using generic constraint 26.09/26.17 c intension x532 != x533 using generic constraint 26.09/26.17 c intension x534 != x535 using generic constraint 26.09/26.17 c intension x536 != x537 using generic constraint 26.09/26.17 c intension x538 != x539 using generic constraint 26.09/26.17 c intension x540 != x541 using generic constraint 26.09/26.17 c intension x542 != x543 using generic constraint 26.09/26.17 c intension x544 != x545 using generic constraint 26.09/26.17 c intension x546 != x547 using generic constraint 26.09/26.17 c intension x548 != x549 using generic constraint 26.09/26.18 c intension x550 != x551 using generic constraint 26.09/26.18 c intension x552 != x553 using generic constraint 26.09/26.18 c intension x554 != x555 using generic constraint 26.09/26.18 c intension x556 != x557 using generic constraint 26.09/26.18 c intension x558 != x559 using generic constraint 26.09/26.18 c intension x560 != x561 using generic constraint 26.09/26.18 c intension x562 != x563 using generic constraint 26.09/26.18 c intension x564 != x565 using generic constraint 26.09/26.18 c intension x566 != x567 using generic constraint 26.09/26.18 c intension x568 != x569 using generic constraint 26.09/26.18 c intension x570 != x571 using generic constraint 26.09/26.19 c intension x572 != x573 using generic constraint 26.09/26.19 c intension x574 != x575 using generic constraint 26.09/26.19 c intension x576 != x577 using generic constraint 26.09/26.19 c intension x578 != x579 using generic constraint 26.09/26.19 c intension x580 != x581 using generic constraint 26.09/26.19 c intension x582 != x583 using generic constraint 26.09/26.19 c intension x584 != x585 using generic constraint 26.09/26.19 c intension x586 != x587 using generic constraint 26.09/26.19 c intension x588 != x589 using generic constraint 26.09/26.19 c intension x590 != x591 using generic constraint 26.09/26.19 c intension x592 != x593 using generic constraint 26.09/26.19 c intension x594 != x595 using generic constraint 26.19/26.20 c intension x596 != x597 using generic constraint 26.19/26.20 c intension x598 != x599 using generic constraint 26.19/26.20 c intension x600 != x601 using generic constraint 26.19/26.20 c intension x602 != x603 using generic constraint 26.19/26.20 c intension x604 != x605 using generic constraint 26.19/26.20 c intension x606 != x607 using generic constraint 26.19/26.20 c intension x608 != x609 using generic constraint 26.19/26.20 c intension x610 != x611 using generic constraint 26.19/26.20 c intension x612 != x613 using generic constraint 26.19/26.20 c intension x614 != x615 using generic constraint 26.19/26.20 c intension x616 != x617 using generic constraint 26.19/26.21 c intension x618 != x619 using generic constraint 26.19/26.21 c intension x620 != x621 using generic constraint 26.19/26.21 c intension x622 != x623 using generic constraint 26.19/26.21 c intension x624 != x625 using generic constraint 26.19/26.21 c intension x626 != x627 using generic constraint 26.19/26.21 c intension x628 != x629 using generic constraint 26.19/26.21 c intension x630 != x631 using generic constraint 26.19/26.21 c intension x632 != x633 using generic constraint 26.19/26.21 c intension x634 != x635 using generic constraint 26.19/26.21 c intension x636 != x637 using generic constraint 26.19/26.21 c intension x638 != x639 using generic constraint 26.19/26.21 c intension x640 != x641 using generic constraint 26.19/26.22 c intension x642 != x643 using generic constraint 26.19/26.22 c intension x644 != x645 using generic constraint 26.19/26.22 c intension x646 != x647 using generic constraint 26.19/26.22 c intension x648 != x649 using generic constraint 26.19/26.22 c intension x650 != x651 using generic constraint 26.19/26.22 c intension x652 != x653 using generic constraint 26.19/26.22 c intension x654 != x655 using generic constraint 26.19/26.22 c intension x656 != x657 using generic constraint 26.19/26.22 c intension x658 != x659 using generic constraint 26.19/26.22 c intension x660 != x661 using generic constraint 26.19/26.22 c intension x662 != x663 using generic constraint 26.19/26.23 c intension x664 != x665 using generic constraint 26.19/26.23 c intension x666 != x667 using generic constraint 26.19/26.23 c intension x668 != x669 using generic constraint 26.19/26.23 c intension x670 != x671 using generic constraint 26.19/26.23 c intension x672 != x673 using generic constraint 26.19/26.23 c intension x674 != x675 using generic constraint 26.19/26.23 c intension x676 != x677 using generic constraint 26.19/26.23 c intension x678 != x679 using generic constraint 26.19/26.23 c intension x680 != x681 using generic constraint 26.19/26.23 c intension x682 != x683 using generic constraint 26.19/26.23 c intension x684 != x685 using generic constraint 26.19/26.23 c intension x686 != x687 using generic constraint 26.19/26.24 c intension x688 != x689 using generic constraint 26.19/26.24 c intension x690 != x691 using generic constraint 26.19/26.24 c intension x692 != x693 using generic constraint 26.19/26.24 c intension x694 != x695 using generic constraint 26.19/26.24 c intension x696 != x697 using generic constraint 26.19/26.24 c intension x698 != x699 using generic constraint 26.19/26.24 c intension x700 != x701 using generic constraint 26.19/26.24 c intension x702 != x703 using generic constraint 26.19/26.24 c intension x704 != x705 using generic constraint 26.19/26.24 c intension x706 != x707 using generic constraint 26.19/26.24 c intension x708 != x709 using generic constraint 26.19/26.25 c intension x710 != x711 using generic constraint 26.19/26.25 c intension x712 != x713 using generic constraint 26.19/26.25 c intension x714 != x715 using generic constraint 26.19/26.25 c intension x716 != x717 using generic constraint 26.19/26.25 c intension x718 != x719 using generic constraint 26.19/26.25 c intension x720 != x721 using generic constraint 26.19/26.25 c intension x722 != x723 using generic constraint 26.19/26.25 c intension x724 != x725 using generic constraint 26.19/26.25 c intension x726 != x727 using generic constraint 26.19/26.25 c intension x728 != x729 using generic constraint 26.19/26.25 c intension x730 != x731 using generic constraint 26.19/26.25 c intension x732 != x733 using generic constraint 26.19/26.26 c intension x734 != x735 using generic constraint 26.19/26.26 c intension x736 != x737 using generic constraint 26.19/26.26 c intension x738 != x739 using generic constraint 26.19/26.26 c intension x740 != x741 using generic constraint 26.19/26.26 c intension x742 != x743 using generic constraint 26.19/26.26 c intension x744 != x745 using generic constraint 26.19/26.26 c intension x746 != x747 using generic constraint 26.19/26.26 c intension x748 != x749 using generic constraint 26.19/26.26 c intension x750 != x751 using generic constraint 26.19/26.26 c intension x752 != x753 using generic constraint 26.19/26.26 c intension x754 != x755 using generic constraint 26.19/26.26 c intension x756 != x757 using generic constraint 26.19/26.27 c intension x758 != x759 using generic constraint 26.19/26.27 c intension x760 != x761 using generic constraint 26.19/26.27 c intension x762 != x763 using generic constraint 26.19/26.27 c intension x764 != x765 using generic constraint 26.19/26.27 c intension x766 != x767 using generic constraint 26.19/26.27 c intension x768 != x769 using generic constraint 26.19/26.27 c intension x770 != x771 using generic constraint 26.19/26.27 c intension x772 != x773 using generic constraint 26.19/26.27 c intension x774 != x775 using generic constraint 26.19/26.27 c intension x776 != x777 using generic constraint 26.19/26.27 c intension x778 != x779 using generic constraint 26.19/26.28 c intension x780 != x781 using generic constraint 26.19/26.28 c intension x782 != x783 using generic constraint 26.19/26.28 c intension x784 != x785 using generic constraint 26.19/26.28 c intension x786 != x787 using generic constraint 26.19/26.28 c intension x788 != x789 using generic constraint 26.19/26.28 c intension x790 != x791 using generic constraint 26.19/26.28 c intension x792 != x793 using generic constraint 26.19/26.28 c intension x794 != x795 using generic constraint 26.19/26.28 c intension x796 != x797 using generic constraint 26.19/26.28 c intension x798 != x799 using generic constraint 26.29/26.31 c root propagations : 0 26.29/26.31 c restarts enabled, print stats at every restarts 26.29/26.31 c 26.29/26.31 c 26.29/26.31 c 26.29/26.31 c This is cosoco 1.0 -- 26.29/26.31 c 26.29/26.31 c ========================================[ Problem Statistics ]=========================================== 26.29/26.31 c | 26.29/26.31 c | Parse time : 25.90 s 26.29/26.31 c | 26.29/26.31 c | Variables: 800 26.29/26.31 c | Domain Sizes: 1322..1420 26.29/26.31 c | 26.29/26.31 c | Constraints: 23200 26.29/26.31 c | Arity: 2..2 -- Binary: 23200 26.29/26.31 c | 26.29/26.31 c | Types: 26.29/26.31 c | (X != Y): 400 26.29/26.31 c | Intension: 22800 26.29/26.31 c | 26.29/26.31 c ========================================================================================================= 26.29/26.31 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 27.98/28.09 c 101 201 293781 762852 0 0 95 95 94 30.38/30.42 c 211 421 613275 1769131 0 0 101 103 101 32.18/32.24 c 332 648 884235 2632837 0 0 101 101 100 35.68/35.70 c 465 1016 1345018 3825598 0 0 223 223 221 37.18/37.29 c 611 1202 1535816 4760669 0 0 31 31 30 39.08/39.19 c 771 1436 1790138 5841219 0 0 69 69 68 42.18/42.20 c 947 1734 2212986 6966322 0 0 63 99 86 46.08/46.14 c 1140 2144 2711849 8596885 0 0 205 206 204 48.17/48.24 c 1352 2434 2995546 9906833 0 0 72 72 71 51.68/51.77 c 1585 2790 3417460 12077812 0 0 100 101 100 58.86/58.93 c 1841 3285 4263825 14562562 0 0 211 212 210 61.57/61.65 c 2122 3674 4561991 16618164 0 0 103 103 102 64.36/64.41 c 2431 4075 4833835 18774768 0 0 74 75 74 67.76/67.86 c 2770 4592 5249623 21309947 0 0 75 172 157 70.96/71.03 c 3142 5046 5512642 25030413 0 0 77 77 76 75.27/75.31 c 3551 5581 5921431 28466748 0 0 105 107 105 81.26/81.39 c 4000 6220 6617181 31538521 0 0 65 177 158 85.16/85.25 c 4493 6812 7238981 33919988 0 0 81 81 80 89.36/89.40 c 5035 7447 7653866 37752952 0 0 65 66 65 93.95/94.08 c 5631 8122 8013439 42669842 0 0 75 76 75 97.75/97.84 c 6286 8825 8264815 46738456 0 0 37 37 36 103.55/103.61 c 7006 9617 8831620 51528423 0 0 26 27 26 108.55/108.66 c 7798 10511 9287574 56249749 0 0 28 65 57 118.95/119.06 c 8669 11480 10203599 63481793 0 0 29 30 29 129.34/129.48 c 9627 12526 11056370 71671832 0 0 21 22 21 136.34/136.42 c 10680 13605 11330799 81488895 0 0 18 18 17 143.84/143.95 c 11838 14793 11639856 90872248 0 0 18 18 17 155.64/155.73 c 13111 16253 12822232 97816413 0 0 17 86 65 166.14/166.22 c 14511 17780 13705249 108673492 0 0 18 54 41 173.43/173.56 c 16051 19414 14337199 116890531 0 0 49 50 49 181.54/181.61 c 17745 21164 14781426 127939195 0 0 39 44 43 192.53/192.61 c 19608 23145 15618376 139049450 0 0 58 67 65 208.22/208.35 c 21657 25330 16695531 156150243 0 0 42 44 42 233.31/233.49 c 23910 27811 18687216 175785549 0 0 40 45 44 251.40/251.56 c 26388 30408 20004576 190169999 0 0 34 45 43 268.10/268.23 c 29113 33294 21289246 206845141 0 0 32 42 39 289.10/289.22 c 32110 36433 22541621 230765260 0 0 29 30 29 319.49/319.69 c 35406 40072 25269369 250242061 0 0 87 171 169 348.07/348.23 c 39031 44197 28144858 268380839 0 0 82 202 196 379.26/379.42 c 43018 48643 30782957 285508068 0 0 86 205 196 398.75/398.97 c 47403 53267 32261543 308486089 0 0 65 102 100 426.15/426.38 c 52226 58258 33671245 345129021 0 0 40 63 61 468.33/468.52 c 57531 63885 37121133 379233396 0 0 33 35 34 508.32/508.56 c 63366 69953 39040683 429613104 0 0 18 19 18 548.20/548.46 c 69784 76588 41462463 474635378 0 0 17 19 18 591.20/591.43 c 76843 83824 43346174 528094910 0 0 17 18 17 646.78/647.08 c 84607 91935 47055457 588390345 0 0 18 20 18 717.07/717.38 c 93147 100698 50195708 673805559 0 0 17 18 17 790.75/791.02 c 102541 111098 57115806 706083516 0 0 16 53 50 860.21/860.57 c 112874 121869 61061288 782406427 0 0 18 51 50 917.11/917.42 c 124240 133615 64594184 849181513 0 0 18 48 46 1020.57/1020.97 c 136742 147257 73854120 934414312 0 0 25 49 47 1134.93/1135.36 c 150494 162055 82021563 1040246762 0 0 25 27 26 1209.31/1209.72 c 165621 177575 85619750 1139778197 0 0 16 18 17 1396.32/1396.83 c 182260 196278 103491212 1255919629 0 0 31 81 79 1557.25/1557.81 c 200562 215896 117007712 1364765818 0 0 30 76 74 1722.49/1723.15 c 220694 237093 127406620 1525428674 0 0 33 76 74 1903.13/1903.88 c 242839 260422 141197915 1648949237 0 0 46 49 46 2020.02/2020.75 c 267198 285301 146491239 1805234463 0 0 18 19 18 2244.02/2244.83 c 293992 313989 167620578 1988238887 0 0 56 74 72
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-4243025-1500670655/watcher-4243025-1500670655 -o /tmp/evaluation-result-4243025-1500670655/solver-4243025-1500670655 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500668252-13651 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4243025-1500670655.xml pid=13949 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.03 3/242 13952 /proc/meminfo: memFree=31945500/32770624 swapFree=5664/202076 [pid=13952] ppid=13949 vsize=30192 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 1726 0 0 0 0 0 0 0 20 0 1 0 2334691 30916608 1559 33554432000 4194304 5970956 140724420214128 140724420210728 139970305588197 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 7548 1559 681 434 0 912 0 [startup+0.100121 s] /proc/loadavg: 2.00 2.01 2.03 3/242 13952 /proc/meminfo: memFree=31945500/32770624 swapFree=5664/202076 [pid=13952] ppid=13949 vsize=36432 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 3342 0 0 0 9 0 0 0 20 0 1 0 2334691 37306368 3160 33554432000 4194304 5970956 140724420214128 140724420210728 139970305588197 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 9108 3160 730 434 0 2472 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 36432 [startup+0.200294 s] /proc/loadavg: 2.00 2.01 2.03 3/242 13952 /proc/meminfo: memFree=31945500/32770624 swapFree=5664/202076 [pid=13952] ppid=13949 vsize=37112 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 3513 0 0 0 19 0 0 0 20 0 1 0 2334691 38002688 3327 33554432000 4194304 5970956 140724420214128 140724420208856 139970319054027 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 9278 3327 730 434 0 2642 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 37112 [startup+0.300208 s] /proc/loadavg: 2.00 2.01 2.03 3/242 13952 /proc/meminfo: memFree=31945500/32770624 swapFree=5664/202076 [pid=13952] ppid=13949 vsize=37952 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 3687 0 0 0 29 0 0 0 20 0 1 0 2334691 38862848 3520 33554432000 4194304 5970956 140724420214128 140724420210728 5672393 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 9488 3520 730 434 0 2852 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37952 [startup+0.700179 s] /proc/loadavg: 2.00 2.01 2.03 3/242 13952 /proc/meminfo: memFree=31945500/32770624 swapFree=5664/202076 [pid=13952] ppid=13949 vsize=40632 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 4467 0 0 0 69 0 0 0 20 0 1 0 2334691 41607168 4201 33554432000 4194304 5970956 140724420214128 140724420208440 139970309074326 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 10158 4201 730 434 0 3522 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40632 [startup+1.50024 s] /proc/loadavg: 2.00 2.01 2.03 3/243 13953 /proc/meminfo: memFree=31874620/32770624 swapFree=5664/202076 [pid=13952] ppid=13949 vsize=66716 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 11091 0 0 0 148 1 0 0 20 0 1 0 2334691 68317184 10667 33554432000 4194304 5970956 140724420214128 140724420207720 139970305588197 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 16679 10667 776 434 0 10043 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 66716 [startup+3.10021 s] /proc/loadavg: 2.00 2.01 2.03 3/243 13953 /proc/meminfo: memFree=31773076/32770624 swapFree=5664/202212 [pid=13952] ppid=13949 vsize=141188 CPUtime=3.09 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 30123 0 0 0 305 4 0 0 20 0 1 0 2334691 144576512 29259 33554432000 4194304 5970956 140724420214128 140724420207720 4966541 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 35297 29259 776 434 0 28661 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 141188 [startup+6.30021 s] /proc/loadavg: 2.08 2.03 2.04 3/243 13953 /proc/meminfo: memFree=31468800/32770624 swapFree=5664/202444 [pid=13952] ppid=13949 vsize=290124 CPUtime=6.29 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 68057 0 0 0 620 9 0 0 20 0 1 0 2334691 297086976 66500 33554432000 4194304 5970956 140724420214128 140724420207720 139970314933414 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 72531 66500 776 434 0 65895 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 290124 [startup+12.7002 s] /proc/loadavg: 2.08 2.03 2.04 3/243 13953 /proc/meminfo: memFree=30998384/32770624 swapFree=5664/202424 [pid=13952] ppid=13949 vsize=587984 CPUtime=12.69 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 143700 0 0 0 1250 19 0 0 20 0 1 0 2334691 602095616 140968 33554432000 4194304 5970956 140724420214128 140724420207720 139970305580712 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 146996 140968 776 434 0 140360 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 587984 [startup+25.5003 s] /proc/loadavg: 2.06 2.03 2.04 3/243 13953 /proc/meminfo: memFree=30343936/32770624 swapFree=5664/202440 [pid=13952] ppid=13949 vsize=1184140 CPUtime=25.49 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 294423 0 0 0 2511 38 0 0 20 0 1 0 2334691 1212559360 290047 33554432000 4194304 5970956 140724420214128 140724420205512 139970305588197 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 296035 290047 776 434 0 289399 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1184140 [startup+51.1004 s] /proc/loadavg: 2.04 2.03 2.04 3/243 13954 /proc/meminfo: memFree=29628856/32770624 swapFree=5664/202424 [pid=13952] ppid=13949 vsize=1876492 CPUtime=51.07 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 635064 0 0 0 5038 69 0 0 20 0 1 0 2334691 1921527808 463297 33554432000 4194304 5970956 140724420214128 140724420211192 5069728 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 469123 463297 823 434 0 462487 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1876492 [startup+102.3 s] /proc/loadavg: 2.02 2.02 2.04 3/243 13955 /proc/meminfo: memFree=29497188/32770624 swapFree=5664/202512 [pid=13952] ppid=13949 vsize=1972192 CPUtime=102.26 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 831789 0 0 0 10145 81 0 0 20 0 1 0 2334691 2019524608 487209 33554432000 4194304 5970956 140724420214128 140724420211192 5070419 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 493048 487209 823 434 0 486412 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1972192 [startup+162.3 s] /proc/loadavg: 2.11 2.05 2.05 3/243 13963 /proc/meminfo: memFree=29481416/32770624 swapFree=5664/202588 [pid=13952] ppid=13949 vsize=1978924 CPUtime=162.23 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 965545 0 0 0 16135 88 0 0 20 0 1 0 2334691 2026418176 488879 33554432000 4194304 5970956 140724420214128 140724420211192 4908963 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 494731 488879 823 434 0 488095 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 1978924 [startup+222.308 s] /proc/loadavg: 2.04 2.04 2.05 3/243 13986 /proc/meminfo: memFree=29451808/32770624 swapFree=5664/202672 [pid=13952] ppid=13949 vsize=1984204 CPUtime=222.22 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 1062091 0 0 0 22129 93 0 0 20 0 1 0 2334691 2031824896 490227 33554432000 4194304 5970956 140724420214128 140724420211192 5070141 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 496051 490227 823 434 0 489415 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 1984204 [startup+282.3 s] /proc/loadavg: 2.14 2.06 2.05 3/243 13987 /proc/meminfo: memFree=29447592/32770624 swapFree=5664/202732 [pid=13952] ppid=13949 vsize=1985524 CPUtime=282.2 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 1144045 0 0 0 28124 96 0 0 20 0 1 0 2334691 2033176576 490539 33554432000 4194304 5970956 140724420214128 140724420211192 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 496381 490539 823 434 0 489745 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 1985524 [startup+342.3 s] /proc/loadavg: 2.05 2.05 2.05 3/243 13988 /proc/meminfo: memFree=29436576/32770624 swapFree=5664/202784 [pid=13952] ppid=13949 vsize=1996216 CPUtime=342.17 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 1348498 0 0 0 34111 106 0 0 20 0 1 0 2334691 2044125184 493231 33554432000 4194304 5970956 140724420214128 140724420211192 5069728 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 499054 493231 823 434 0 492418 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 1996216 [startup+402.3 s] /proc/loadavg: 2.02 2.04 2.05 3/243 13989 /proc/meminfo: memFree=29422952/32770624 swapFree=5664/202844 [pid=13952] ppid=13949 vsize=2008228 CPUtime=402.15 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 1526790 0 0 0 40101 114 0 0 20 0 1 0 2334691 2056425472 496234 33554432000 4194304 5970956 140724420214128 140724420211192 4964363 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 502057 496234 823 434 0 495421 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 2008228 [startup+462.3 s] /proc/loadavg: 2.01 2.04 2.05 3/243 13990 /proc/meminfo: memFree=29421040/32770624 swapFree=5664/202888 [pid=13952] ppid=13949 vsize=2009020 CPUtime=462.13 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 1574421 0 0 0 46097 116 0 0 20 0 1 0 2334691 2057236480 496417 33554432000 4194304 5970956 140724420214128 140724420211192 5071026 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 502255 496417 823 434 0 495619 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 2009020 [startup+522.3 s] /proc/loadavg: 2.00 2.03 2.05 3/243 13991 /proc/meminfo: memFree=29419432/32770624 swapFree=5664/202940 [pid=13952] ppid=13949 vsize=2010076 CPUtime=522.11 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 1629312 0 0 0 52093 118 0 0 20 0 1 0 2334691 2058317824 496668 33554432000 4194304 5970956 140724420214128 140724420211192 4964389 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 502519 496668 823 434 0 495883 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 2010076 [startup+582.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 13992 /proc/meminfo: memFree=29417196/32770624 swapFree=5664/202968 [pid=13952] ppid=13949 vsize=2010340 CPUtime=582.09 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 1657665 0 0 0 58090 119 0 0 20 0 1 0 2334691 2058588160 496760 33554432000 4194304 5970956 140724420214128 140724420211192 4964904 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 502585 496760 823 434 0 495949 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 2010340 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/244 14025 /proc/meminfo: memFree=29340620/32770624 swapFree=5664/203588 [pid=13952] ppid=13949 vsize=2019448 CPUtime=1541.76 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 2080656 0 0 0 154039 137 0 0 20 0 1 0 2334691 2067914752 499039 33554432000 4194304 5970956 140724420214128 140724420211192 5070407 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 504862 499039 823 434 0 498226 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 2019448 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 14026 /proc/meminfo: memFree=29337828/32770624 swapFree=5664/203624 [pid=13952] ppid=13949 vsize=2021296 CPUtime=1601.74 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 2088882 0 0 0 160035 139 0 0 20 0 1 0 2334691 2069807104 499472 33554432000 4194304 5970956 140724420214128 140724420211192 4964389 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 505324 499472 823 434 0 498688 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 2021296 [startup+1662.3 s] /proc/loadavg: 2.07 2.03 2.05 3/243 14028 /proc/meminfo: memFree=29335508/32770624 swapFree=5664/203652 [pid=13952] ppid=13949 vsize=2021428 CPUtime=1661.71 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 2089957 0 0 0 166032 139 0 0 20 0 1 0 2334691 2069942272 499506 33554432000 4194304 5970956 140724420214128 140724420211192 5069728 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 505357 499506 823 434 0 498721 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 2021428 [startup+1722.3 s] /proc/loadavg: 2.03 2.02 2.05 3/243 14029 /proc/meminfo: memFree=29327996/32770624 swapFree=5664/203684 [pid=13952] ppid=13949 vsize=2021428 CPUtime=1721.69 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 2091055 0 0 0 172030 139 0 0 20 0 1 0 2334691 2069942272 499517 33554432000 4194304 5970956 140724420214128 140724420211192 5070400 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 505357 499517 823 434 0 498721 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 2021428 [startup+1782.3 s] /proc/loadavg: 2.01 2.02 2.05 3/243 14030 /proc/meminfo: memFree=29325764/32770624 swapFree=5664/203712 [pid=13952] ppid=13949 vsize=2023408 CPUtime=1781.66 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 2093032 0 0 0 178027 139 0 0 20 0 1 0 2334691 2071969792 500015 33554432000 4194304 5970956 140724420214128 140724420211192 5070112 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 505852 500015 823 434 0 499216 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 2023408 [startup+1842.3 s] /proc/loadavg: 2.04 2.03 2.05 3/243 14032 /proc/meminfo: memFree=29325484/32770624 swapFree=5664/203744 [pid=13952] ppid=13949 vsize=2023540 CPUtime=1841.64 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 2094281 0 0 0 184025 139 0 0 20 0 1 0 2334691 2072104960 500035 33554432000 4194304 5970956 140724420214128 140724420211192 5070400 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 505885 500035 823 434 0 499249 0 Current children cumulated CPU time (s) 1841.64 Current children cumulated vsize (KiB) 2023540 [startup+1902.3 s] /proc/loadavg: 2.01 2.02 2.05 3/243 14033 /proc/meminfo: memFree=29324692/32770624 swapFree=5664/203784 [pid=13952] ppid=13949 vsize=2023540 CPUtime=1901.63 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 2095511 0 0 0 190023 140 0 0 20 0 1 0 2334691 2072104960 500046 33554432000 4194304 5970956 140724420214128 140724420211192 4964389 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 505885 500046 823 434 0 499249 0 Current children cumulated CPU time (s) 1901.63 Current children cumulated vsize (KiB) 2023540 [startup+1962.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 14041 /proc/meminfo: memFree=29322040/32770624 swapFree=5664/203816 [pid=13952] ppid=13949 vsize=2024332 CPUtime=1961.62 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 2097281 0 0 0 196022 140 0 0 20 0 1 0 2334691 2072915968 500244 33554432000 4194304 5970956 140724420214128 140724420211192 5319631 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 506083 500244 823 434 0 499447 0 Current children cumulated CPU time (s) 1961.62 Current children cumulated vsize (KiB) 2024332 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 14042 /proc/meminfo: memFree=29320376/32770624 swapFree=5664/203852 [pid=13952] ppid=13949 vsize=2025124 CPUtime=2021.61 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 2099400 0 0 0 202021 140 0 0 20 0 1 0 2334691 2073726976 500411 33554432000 4194304 5970956 140724420214128 140724420211192 4965013 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 506281 500411 823 434 0 499645 0 Current children cumulated CPU time (s) 2021.61 Current children cumulated vsize (KiB) 2025124 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 14043 /proc/meminfo: memFree=29314696/32770624 swapFree=5664/203884 [pid=13952] ppid=13949 vsize=2025520 CPUtime=2081.6 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 2100615 0 0 0 208020 140 0 0 20 0 1 0 2334691 2074132480 500535 33554432000 4194304 5970956 140724420214128 140724420211192 4961411 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 506380 500535 823 434 0 499744 0 Current children cumulated CPU time (s) 2081.6 Current children cumulated vsize (KiB) 2025520 [startup+2142.3 s] /proc/loadavg: 2.14 2.05 2.05 3/243 14044 /proc/meminfo: memFree=29314088/32770624 swapFree=5664/203920 [pid=13952] ppid=13949 vsize=2025520 CPUtime=2141.57 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 2101791 0 0 0 214017 140 0 0 20 0 1 0 2334691 2074132480 500545 33554432000 4194304 5970956 140724420214128 140724420211192 5069728 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 506380 500545 823 434 0 499744 0 Current children cumulated CPU time (s) 2141.57 Current children cumulated vsize (KiB) 2025520 [startup+2202.31 s] /proc/loadavg: 2.05 2.04 2.05 3/243 14045 /proc/meminfo: memFree=29313620/32770624 swapFree=5664/203940 [pid=13952] ppid=13949 vsize=2025520 CPUtime=2201.55 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 2102996 0 0 0 220015 140 0 0 20 0 1 0 2334691 2074132480 500561 33554432000 4194304 5970956 140724420214128 140724420211192 4964366 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 506380 500561 823 434 0 499744 0 Current children cumulated CPU time (s) 2201.55 Current children cumulated vsize (KiB) 2025520 [startup+2262.3 s] /proc/loadavg: 2.09 2.05 2.05 3/243 14046 /proc/meminfo: memFree=29313504/32770624 swapFree=5664/203972 [pid=13952] ppid=13949 vsize=2025784 CPUtime=2261.53 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 2105008 0 0 0 226012 141 0 0 20 0 1 0 2334691 2074402816 500622 33554432000 4194304 5970956 140724420214128 140724420211192 4964758 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 506446 500622 823 434 0 499810 0 Current children cumulated CPU time (s) 2261.53 Current children cumulated vsize (KiB) 2025784 [startup+2322.3 s] /proc/loadavg: 2.07 2.05 2.05 3/243 14047 /proc/meminfo: memFree=29313504/32770624 swapFree=5664/204012 [pid=13952] ppid=13949 vsize=2025916 CPUtime=2321.51 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 2105959 0 0 0 232010 141 0 0 20 0 1 0 2334691 2074537984 500638 33554432000 4194304 5970956 140724420214128 140724420211192 4964666 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 506479 500638 823 434 0 499843 0 Current children cumulated CPU time (s) 2321.51 Current children cumulated vsize (KiB) 2025916 [startup+2382.3 s] /proc/loadavg: 2.03 2.04 2.05 3/243 14048 /proc/meminfo: memFree=29311892/32770624 swapFree=5664/204040 [pid=13952] ppid=13949 vsize=2025916 CPUtime=2381.48 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 2106951 0 0 0 238007 141 0 0 20 0 1 0 2334691 2074537984 500658 33554432000 4194304 5970956 140724420214128 140724420211192 5070400 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 506479 500658 823 434 0 499843 0 Current children cumulated CPU time (s) 2381.48 Current children cumulated vsize (KiB) 2025916 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.9 s] /proc/loadavg: 2.02 2.04 2.05 2/236 14099 /proc/meminfo: memFree=30019824/32770624 swapFree=5664/204084 [pid=13952] ppid=13949 vsize=2026048 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 2107208 0 0 0 239867 141 0 0 20 0 1 0 2334691 2074673152 500660 33554432000 4194304 5970956 140724420214128 140724420211192 4908988 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 506512 500660 823 434 0 499876 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 2026048 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 13952 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.9 s] /proc/loadavg: 2.02 2.04 2.05 2/236 14099 /proc/meminfo: memFree=30019824/32770624 swapFree=5664/204084 [pid=13952] ppid=13949 vsize=2026048 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15 /proc/13952/stat : 13952 (cosoco) R 13949 13952 9838 0 -1 4202496 2107208 0 0 0 239867 141 0 0 20 0 1 0 2334691 2074673152 500660 33554432000 4194304 5970956 140724420214128 140724420211192 4908988 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 13377536 140724420220097 140724420220227 140724420220227 140724420222926 0 /proc/13952/statm: 506512 500660 823 434 0 499876 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 2026048 Child status: 1 Real time (s): 2400.91 CPU time (s): 2400.09 CPU user time (s): 2398.67 CPU system time (s): 1.41954 CPU usage (%): 99.966 Max. virtual memory (cumulated for all children) (KiB): 2026048 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2398.67 system time used= 1.41954 maximum resident set size= 2002684 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2107228 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= 75 involuntary context switches= 121436 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.78004 second user time and 11.2128 second system time The end
Begin job on node114 at 2017-07-21 22:57:35 IDJOB=4243025 IDBENCH=138698 IDSOLVER=2620 FILE ID=node114/4243025-1500670655 RUNJOBID= node114-1500668252-13651 PBS_JOBID= 20623304 Free space on /tmp= 62008 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os20/SuperTaillard-os-20-17.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243025-1500670655/watcher-4243025-1500670655 -o /tmp/evaluation-result-4243025-1500670655/solver-4243025-1500670655 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500668252-13651 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4243025-1500670655.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 4b4738a8e40cdda4c63a077f136d1653 RANDOM SEED=1253662346 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 : 1733.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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 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 : 1600.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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.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 : 2267.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 : 1733.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: 31947208 kB MemAvailable: 31954244 kB Buffers: 41192 kB Cached: 274852 kB SwapCached: 0 kB Active: 237732 kB Inactive: 210912 kB Active(anon): 134612 kB Inactive(anon): 8836 kB Active(file): 103120 kB Inactive(file): 202076 kB Unevictable: 5664 kB Mlocked: 5664 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 6204 kB Writeback: 0 kB AnonPages: 131964 kB Mapped: 31152 kB Shmem: 8848 kB Slab: 67644 kB SReclaimable: 35352 kB SUnreclaim: 32292 kB KernelStack: 4144 kB PageTables: 5204 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 403864 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2048 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= 62008 MiB End job on node114 at 2017-07-21 23:37:37