| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 1.12 | ? (TO) | 2520.0601 | 2519.8999 |
| Name | SuperSolutions/SuperSolutions-Taillard-js20-15/ SuperTaillard-js-20-15-15.xml |
| MD5SUM | 6d7e3033fdb5217c74d2816bb8c5b7b8 |
| 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 | 600 |
| Number of constraints | 9690 |
| Number of domains | 95 |
| Minimum domain size | 1346 |
| Maximum domain size | 1444 |
| Distribution of domain sizes | [{"size":1346,"count":6},{"size":1347,"count":4},{"size":1348,"count":4},{"size":1349,"count":2},{"size":1350,"count":2},{"size":1351,"count":6},{"size":1352,"count":2},{"size":1353,"count":6},{"size":1354,"count":4},{"size":1355,"count":2},{"size":1356,"count":12},{"size":1357,"count":8},{"size":1358,"count":8},{"size":1359,"count":8},{"size":1360,"count":8},{"size":1361,"count":4},{"size":1362,"count":10},{"size":1363,"count":8},{"size":1364,"count":2},{"size":1365,"count":14},{"size":1366,"count":6},{"size":1367,"count":14},{"size":1368,"count":6},{"size":1369,"count":10},{"size":1370,"count":14},"...",{"size":1419,"count":10}, {"size":1420,"count":8}, {"size":1421,"count":6}, {"size":1422,"count":4}, {"size":1423,"count":6}, {"size":1424,"count":2}, {"size":1425,"count":8}, {"size":1426,"count":4}, {"size":1427,"count":10}, {"size":1429,"count":4}, {"size":1430,"count":12}, {"size":1431,"count":6}, {"size":1432,"count":14}, {"size":1433,"count":6}, {"size":1434,"count":12}, {"size":1435,"count":8}, {"size":1436,"count":4}, {"size":1437,"count":4}, {"size":1438,"count":6}, {"size":1439,"count":10}, {"size":1440,"count":6}, {"size":1441,"count":8}, {"size":1442,"count":8}, {"size":1443,"count":2}, {"size":1444,"count":12}] |
| Minimum variable degree | 21 |
| Maximum variable degree | 43 |
| Distribution of variable degrees | [{"degree":21,"count":40},{"degree":22,"count":260},{"degree":41,"count":40},{"degree":43,"count":260}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":9690}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 9690 |
| Distribution of constraint types | [{"type":"intension","count":9690}] |
| Optimization problem | NO |
| Type of objective |
10.69/10.77 c intension x0 != x1 using generic constraint 10.69/10.77 c intension x2 != x3 using generic constraint 10.69/10.77 c intension x4 != x5 using generic constraint 10.69/10.77 c intension x6 != x7 using generic constraint 10.69/10.77 c intension x8 != x9 using generic constraint 10.69/10.78 c intension x10 != x11 using generic constraint 10.69/10.78 c intension x12 != x13 using generic constraint 10.69/10.78 c intension x14 != x15 using generic constraint 10.69/10.78 c intension x16 != x17 using generic constraint 10.69/10.78 c intension x18 != x19 using generic constraint 10.69/10.78 c intension x20 != x21 using generic constraint 10.69/10.78 c intension x22 != x23 using generic constraint 10.69/10.78 c intension x24 != x25 using generic constraint 10.69/10.78 c intension x26 != x27 using generic constraint 10.69/10.78 c intension x28 != x29 using generic constraint 10.69/10.78 c intension x30 != x31 using generic constraint 10.69/10.79 c intension x32 != x33 using generic constraint 10.69/10.79 c intension x34 != x35 using generic constraint 10.69/10.79 c intension x36 != x37 using generic constraint 10.69/10.79 c intension x38 != x39 using generic constraint 10.69/10.79 c intension x40 != x41 using generic constraint 10.69/10.79 c intension x42 != x43 using generic constraint 10.69/10.79 c intension x44 != x45 using generic constraint 10.69/10.79 c intension x46 != x47 using generic constraint 10.69/10.79 c intension x48 != x49 using generic constraint 10.69/10.79 c intension x50 != x51 using generic constraint 10.69/10.79 c intension x52 != x53 using generic constraint 10.69/10.80 c intension x54 != x55 using generic constraint 10.79/10.80 c intension x56 != x57 using generic constraint 10.79/10.80 c intension x58 != x59 using generic constraint 10.79/10.80 c intension x60 != x61 using generic constraint 10.79/10.80 c intension x62 != x63 using generic constraint 10.79/10.80 c intension x64 != x65 using generic constraint 10.79/10.80 c intension x66 != x67 using generic constraint 10.79/10.80 c intension x68 != x69 using generic constraint 10.79/10.80 c intension x70 != x71 using generic constraint 10.79/10.80 c intension x72 != x73 using generic constraint 10.79/10.80 c intension x74 != x75 using generic constraint 10.79/10.81 c intension x76 != x77 using generic constraint 10.79/10.81 c intension x78 != x79 using generic constraint 10.79/10.81 c intension x80 != x81 using generic constraint 10.79/10.81 c intension x82 != x83 using generic constraint 10.79/10.81 c intension x84 != x85 using generic constraint 10.79/10.81 c intension x86 != x87 using generic constraint 10.79/10.81 c intension x88 != x89 using generic constraint 10.79/10.81 c intension x90 != x91 using generic constraint 10.79/10.81 c intension x92 != x93 using generic constraint 10.79/10.81 c intension x94 != x95 using generic constraint 10.79/10.81 c intension x96 != x97 using generic constraint 10.79/10.82 c intension x98 != x99 using generic constraint 10.79/10.82 c intension x100 != x101 using generic constraint 10.79/10.82 c intension x102 != x103 using generic constraint 10.79/10.82 c intension x104 != x105 using generic constraint 10.79/10.82 c intension x106 != x107 using generic constraint 10.79/10.82 c intension x108 != x109 using generic constraint 10.79/10.82 c intension x110 != x111 using generic constraint 10.79/10.82 c intension x112 != x113 using generic constraint 10.79/10.82 c intension x114 != x115 using generic constraint 10.79/10.82 c intension x116 != x117 using generic constraint 10.79/10.82 c intension x118 != x119 using generic constraint 10.79/10.82 c intension x120 != x121 using generic constraint 10.79/10.83 c intension x122 != x123 using generic constraint 10.79/10.83 c intension x124 != x125 using generic constraint 10.79/10.83 c intension x126 != x127 using generic constraint 10.79/10.83 c intension x128 != x129 using generic constraint 10.79/10.83 c intension x130 != x131 using generic constraint 10.79/10.83 c intension x132 != x133 using generic constraint 10.79/10.83 c intension x134 != x135 using generic constraint 10.79/10.83 c intension x136 != x137 using generic constraint 10.79/10.83 c intension x138 != x139 using generic constraint 10.79/10.83 c intension x140 != x141 using generic constraint 10.79/10.83 c intension x142 != x143 using generic constraint 10.79/10.84 c intension x144 != x145 using generic constraint 10.79/10.84 c intension x146 != x147 using generic constraint 10.79/10.84 c intension x148 != x149 using generic constraint 10.79/10.84 c intension x150 != x151 using generic constraint 10.79/10.84 c intension x152 != x153 using generic constraint 10.79/10.84 c intension x154 != x155 using generic constraint 10.79/10.84 c intension x156 != x157 using generic constraint 10.79/10.84 c intension x158 != x159 using generic constraint 10.79/10.84 c intension x160 != x161 using generic constraint 10.79/10.84 c intension x162 != x163 using generic constraint 10.79/10.84 c intension x164 != x165 using generic constraint 10.79/10.84 c intension x166 != x167 using generic constraint 10.79/10.85 c intension x168 != x169 using generic constraint 10.79/10.85 c intension x170 != x171 using generic constraint 10.79/10.85 c intension x172 != x173 using generic constraint 10.79/10.85 c intension x174 != x175 using generic constraint 10.79/10.85 c intension x176 != x177 using generic constraint 10.79/10.85 c intension x178 != x179 using generic constraint 10.79/10.85 c intension x180 != x181 using generic constraint 10.79/10.85 c intension x182 != x183 using generic constraint 10.79/10.85 c intension x184 != x185 using generic constraint 10.79/10.85 c intension x186 != x187 using generic constraint 10.79/10.85 c intension x188 != x189 using generic constraint 10.79/10.86 c intension x190 != x191 using generic constraint 10.79/10.86 c intension x192 != x193 using generic constraint 10.79/10.86 c intension x194 != x195 using generic constraint 10.79/10.86 c intension x196 != x197 using generic constraint 10.79/10.86 c intension x198 != x199 using generic constraint 10.79/10.86 c intension x200 != x201 using generic constraint 10.79/10.86 c intension x202 != x203 using generic constraint 10.79/10.86 c intension x204 != x205 using generic constraint 10.79/10.86 c intension x206 != x207 using generic constraint 10.79/10.86 c intension x208 != x209 using generic constraint 10.79/10.86 c intension x210 != x211 using generic constraint 10.79/10.86 c intension x212 != x213 using generic constraint 10.79/10.87 c intension x214 != x215 using generic constraint 10.79/10.87 c intension x216 != x217 using generic constraint 10.79/10.87 c intension x218 != x219 using generic constraint 10.79/10.87 c intension x220 != x221 using generic constraint 10.79/10.87 c intension x222 != x223 using generic constraint 10.79/10.87 c intension x224 != x225 using generic constraint 10.79/10.87 c intension x226 != x227 using generic constraint 10.79/10.87 c intension x228 != x229 using generic constraint 10.79/10.87 c intension x230 != x231 using generic constraint 10.79/10.87 c intension x232 != x233 using generic constraint 10.79/10.87 c intension x234 != x235 using generic constraint 10.79/10.88 c intension x236 != x237 using generic constraint 10.79/10.88 c intension x238 != x239 using generic constraint 10.79/10.88 c intension x240 != x241 using generic constraint 10.79/10.88 c intension x242 != x243 using generic constraint 10.79/10.88 c intension x244 != x245 using generic constraint 10.79/10.88 c intension x246 != x247 using generic constraint 10.79/10.88 c intension x248 != x249 using generic constraint 10.79/10.88 c intension x250 != x251 using generic constraint 10.79/10.88 c intension x252 != x253 using generic constraint 10.79/10.88 c intension x254 != x255 using generic constraint 10.79/10.88 c intension x256 != x257 using generic constraint 10.79/10.89 c intension x258 != x259 using generic constraint 10.79/10.89 c intension x260 != x261 using generic constraint 10.79/10.89 c intension x262 != x263 using generic constraint 10.79/10.89 c intension x264 != x265 using generic constraint 10.79/10.89 c intension x266 != x267 using generic constraint 10.79/10.89 c intension x268 != x269 using generic constraint 10.79/10.89 c intension x270 != x271 using generic constraint 10.79/10.89 c intension x272 != x273 using generic constraint 10.79/10.89 c intension x274 != x275 using generic constraint 10.79/10.89 c intension x276 != x277 using generic constraint 10.79/10.89 c intension x278 != x279 using generic constraint 10.79/10.89 c intension x280 != x281 using generic constraint 10.89/10.90 c intension x282 != x283 using generic constraint 10.89/10.90 c intension x284 != x285 using generic constraint 10.89/10.90 c intension x286 != x287 using generic constraint 10.89/10.90 c intension x288 != x289 using generic constraint 10.89/10.90 c intension x290 != x291 using generic constraint 10.89/10.90 c intension x292 != x293 using generic constraint 10.89/10.90 c intension x294 != x295 using generic constraint 10.89/10.90 c intension x296 != x297 using generic constraint 10.89/10.90 c intension x298 != x299 using generic constraint 10.89/10.90 c intension x300 != x301 using generic constraint 10.89/10.90 c intension x302 != x303 using generic constraint 10.89/10.91 c intension x304 != x305 using generic constraint 10.89/10.91 c intension x306 != x307 using generic constraint 10.89/10.91 c intension x308 != x309 using generic constraint 10.89/10.91 c intension x310 != x311 using generic constraint 10.89/10.91 c intension x312 != x313 using generic constraint 10.89/10.91 c intension x314 != x315 using generic constraint 10.89/10.91 c intension x316 != x317 using generic constraint 10.89/10.91 c intension x318 != x319 using generic constraint 10.89/10.91 c intension x320 != x321 using generic constraint 10.89/10.91 c intension x322 != x323 using generic constraint 10.89/10.91 c intension x324 != x325 using generic constraint 10.89/10.91 c intension x326 != x327 using generic constraint 10.89/10.92 c intension x328 != x329 using generic constraint 10.89/10.92 c intension x330 != x331 using generic constraint 10.89/10.92 c intension x332 != x333 using generic constraint 10.89/10.92 c intension x334 != x335 using generic constraint 10.89/10.92 c intension x336 != x337 using generic constraint 10.89/10.92 c intension x338 != x339 using generic constraint 10.89/10.92 c intension x340 != x341 using generic constraint 10.89/10.92 c intension x342 != x343 using generic constraint 10.89/10.92 c intension x344 != x345 using generic constraint 10.89/10.92 c intension x346 != x347 using generic constraint 10.89/10.92 c intension x348 != x349 using generic constraint 10.89/10.93 c intension x350 != x351 using generic constraint 10.89/10.93 c intension x352 != x353 using generic constraint 10.89/10.93 c intension x354 != x355 using generic constraint 10.89/10.93 c intension x356 != x357 using generic constraint 10.89/10.93 c intension x358 != x359 using generic constraint 10.89/10.93 c intension x360 != x361 using generic constraint 10.89/10.93 c intension x362 != x363 using generic constraint 10.89/10.93 c intension x364 != x365 using generic constraint 10.89/10.93 c intension x366 != x367 using generic constraint 10.89/10.93 c intension x368 != x369 using generic constraint 10.89/10.93 c intension x370 != x371 using generic constraint 10.89/10.94 c intension x372 != x373 using generic constraint 10.89/10.94 c intension x374 != x375 using generic constraint 10.89/10.94 c intension x376 != x377 using generic constraint 10.89/10.94 c intension x378 != x379 using generic constraint 10.89/10.94 c intension x380 != x381 using generic constraint 10.89/10.94 c intension x382 != x383 using generic constraint 10.89/10.94 c intension x384 != x385 using generic constraint 10.89/10.94 c intension x386 != x387 using generic constraint 10.89/10.94 c intension x388 != x389 using generic constraint 10.89/10.94 c intension x390 != x391 using generic constraint 10.89/10.94 c intension x392 != x393 using generic constraint 10.89/10.94 c intension x394 != x395 using generic constraint 10.89/10.95 c intension x396 != x397 using generic constraint 10.89/10.95 c intension x398 != x399 using generic constraint 10.89/10.95 c intension x400 != x401 using generic constraint 10.89/10.95 c intension x402 != x403 using generic constraint 10.89/10.95 c intension x404 != x405 using generic constraint 10.89/10.95 c intension x406 != x407 using generic constraint 10.89/10.95 c intension x408 != x409 using generic constraint 10.89/10.95 c intension x410 != x411 using generic constraint 10.89/10.95 c intension x412 != x413 using generic constraint 10.89/10.95 c intension x414 != x415 using generic constraint 10.89/10.95 c intension x416 != x417 using generic constraint 10.89/10.96 c intension x418 != x419 using generic constraint 10.89/10.96 c intension x420 != x421 using generic constraint 10.89/10.96 c intension x422 != x423 using generic constraint 10.89/10.96 c intension x424 != x425 using generic constraint 10.89/10.96 c intension x426 != x427 using generic constraint 10.89/10.96 c intension x428 != x429 using generic constraint 10.89/10.96 c intension x430 != x431 using generic constraint 10.89/10.96 c intension x432 != x433 using generic constraint 10.89/10.96 c intension x434 != x435 using generic constraint 10.89/10.96 c intension x436 != x437 using generic constraint 10.89/10.96 c intension x438 != x439 using generic constraint 10.89/10.96 c intension x440 != x441 using generic constraint 10.89/10.97 c intension x442 != x443 using generic constraint 10.89/10.97 c intension x444 != x445 using generic constraint 10.89/10.97 c intension x446 != x447 using generic constraint 10.89/10.97 c intension x448 != x449 using generic constraint 10.89/10.97 c intension x450 != x451 using generic constraint 10.89/10.97 c intension x452 != x453 using generic constraint 10.89/10.97 c intension x454 != x455 using generic constraint 10.89/10.97 c intension x456 != x457 using generic constraint 10.89/10.97 c intension x458 != x459 using generic constraint 10.89/10.97 c intension x460 != x461 using generic constraint 10.89/10.97 c intension x462 != x463 using generic constraint 10.89/10.98 c intension x464 != x465 using generic constraint 10.89/10.98 c intension x466 != x467 using generic constraint 10.89/10.98 c intension x468 != x469 using generic constraint 10.89/10.98 c intension x470 != x471 using generic constraint 10.89/10.98 c intension x472 != x473 using generic constraint 10.89/10.98 c intension x474 != x475 using generic constraint 10.89/10.98 c intension x476 != x477 using generic constraint 10.89/10.98 c intension x478 != x479 using generic constraint 10.89/10.98 c intension x480 != x481 using generic constraint 10.89/10.98 c intension x482 != x483 using generic constraint 10.89/10.98 c intension x484 != x485 using generic constraint 10.89/10.99 c intension x486 != x487 using generic constraint 10.89/10.99 c intension x488 != x489 using generic constraint 10.89/10.99 c intension x490 != x491 using generic constraint 10.89/10.99 c intension x492 != x493 using generic constraint 10.89/10.99 c intension x494 != x495 using generic constraint 10.89/10.99 c intension x496 != x497 using generic constraint 10.89/10.99 c intension x498 != x499 using generic constraint 10.89/10.99 c intension x500 != x501 using generic constraint 10.89/10.99 c intension x502 != x503 using generic constraint 10.89/10.99 c intension x504 != x505 using generic constraint 10.89/10.99 c intension x506 != x507 using generic constraint 10.89/10.99 c intension x508 != x509 using generic constraint 10.89/11.00 c intension x510 != x511 using generic constraint 10.89/11.00 c intension x512 != x513 using generic constraint 10.89/11.00 c intension x514 != x515 using generic constraint 10.89/11.00 c intension x516 != x517 using generic constraint 10.89/11.00 c intension x518 != x519 using generic constraint 10.89/11.00 c intension x520 != x521 using generic constraint 10.89/11.00 c intension x522 != x523 using generic constraint 10.89/11.00 c intension x524 != x525 using generic constraint 10.89/11.00 c intension x526 != x527 using generic constraint 10.89/11.00 c intension x528 != x529 using generic constraint 10.89/11.00 c intension x530 != x531 using generic constraint 10.99/11.01 c intension x532 != x533 using generic constraint 10.99/11.01 c intension x534 != x535 using generic constraint 10.99/11.01 c intension x536 != x537 using generic constraint 10.99/11.01 c intension x538 != x539 using generic constraint 10.99/11.01 c intension x540 != x541 using generic constraint 10.99/11.01 c intension x542 != x543 using generic constraint 10.99/11.01 c intension x544 != x545 using generic constraint 10.99/11.01 c intension x546 != x547 using generic constraint 10.99/11.01 c intension x548 != x549 using generic constraint 10.99/11.01 c intension x550 != x551 using generic constraint 10.99/11.01 c intension x552 != x553 using generic constraint 10.99/11.02 c intension x554 != x555 using generic constraint 10.99/11.02 c intension x556 != x557 using generic constraint 10.99/11.02 c intension x558 != x559 using generic constraint 10.99/11.02 c intension x560 != x561 using generic constraint 10.99/11.02 c intension x562 != x563 using generic constraint 10.99/11.02 c intension x564 != x565 using generic constraint 10.99/11.02 c intension x566 != x567 using generic constraint 10.99/11.02 c intension x568 != x569 using generic constraint 10.99/11.02 c intension x570 != x571 using generic constraint 10.99/11.02 c intension x572 != x573 using generic constraint 10.99/11.02 c intension x574 != x575 using generic constraint 10.99/11.02 c intension x576 != x577 using generic constraint 10.99/11.03 c intension x578 != x579 using generic constraint 10.99/11.03 c intension x580 != x581 using generic constraint 10.99/11.03 c intension x582 != x583 using generic constraint 10.99/11.03 c intension x584 != x585 using generic constraint 10.99/11.03 c intension x586 != x587 using generic constraint 10.99/11.03 c intension x588 != x589 using generic constraint 10.99/11.03 c intension x590 != x591 using generic constraint 10.99/11.03 c intension x592 != x593 using generic constraint 10.99/11.03 c intension x594 != x595 using generic constraint 10.99/11.03 c intension x596 != x597 using generic constraint 10.99/11.03 c intension x598 != x599 using generic constraint 10.99/11.04 c root propagations : 0 10.99/11.04 c restarts enabled, print stats at every restarts 10.99/11.04 c 10.99/11.04 c 10.99/11.04 c 10.99/11.04 c This is cosoco 1.12 -- 10.99/11.04 c 10.99/11.04 c command line: cosoco -lc -model -restarts HOME/instance-4268387-1502581778.xml 10.99/11.04 c ========================================[ Problem Statistics ]=========================================== 10.99/11.04 c | 10.99/11.04 c | Parse time : 10.87 s 10.99/11.04 c | 10.99/11.04 c | Variables: 600 10.99/11.04 c | Domain Sizes: 1346..1444 10.99/11.04 c | 10.99/11.04 c | Constraints: 9690 10.99/11.04 c | Arity: 2..2 -- Binary: 9690 10.99/11.04 c | 10.99/11.04 c | Types: 10.99/11.04 c | (X != Y): 300 10.99/11.04 c | Intension: 9390 10.99/11.04 c | 10.99/11.04 c ========================================================================================================= 10.99/11.04 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 11.49/11.52 c 101 101 18144 663351 1 0 1 1 0 12.29/12.33 c 211 227 56050 1433921 2 0 1 3 1 12.89/12.98 c 332 362 78087 1787513 2 0 2 2 1 13.59/13.68 c 465 504 96986 2364022 3 0 1 2 1 14.39/14.46 c 611 662 119636 3224891 4 0 1 2 1 15.19/15.22 c 771 829 137634 3937975 5 0 1 8 3 16.19/16.20 c 947 1023 167736 5310336 5 0 1 2 1 17.19/17.21 c 1140 1230 196057 6458945 5 0 1 2 1 18.19/18.25 c 1352 1453 222983 7312289 5 0 2 2 1 19.59/19.67 c 1585 1732 277424 8829236 5 0 1 31 2 20.89/20.93 c 1841 2009 316984 9953405 6 0 1 2 1 22.29/22.30 c 2122 2312 359032 10899911 7 0 1 2 1 23.79/23.80 c 2431 2643 403569 12163081 8 0 1 2 1 25.29/25.31 c 2770 2994 441636 13498865 8 0 2 2 1 27.10/27.12 c 3142 3391 494102 15268922 9 0 1 2 1 29.00/29.08 c 3551 3827 551095 16996678 10 0 1 2 1 31.29/31.34 c 4000 4325 627282 18877578 11 0 1 26 20 33.79/33.82 c 4493 4848 694010 20561034 12 0 1 2 1 36.49/36.51 c 5035 5421 765345 22815485 13 0 1 2 1 39.69/39.74 c 5631 6063 863266 25082160 15 0 1 3 1 43.09/43.14 c 6286 6763 964814 27727550 17 0 1 3 1 46.49/46.55 c 7006 7513 1050199 32062883 18 0 1 2 1 50.29/50.33 c 7798 8342 1147120 37937120 18 0 1 2 1 54.59/54.69 c 8669 9268 1261250 42781846 18 0 1 19 17 59.39/59.43 c 9627 10280 1395959 47589202 18 0 1 3 1 64.29/64.34 c 10680 11372 1516037 52353246 18 0 1 2 1 70.39/70.43 c 11838 12641 1718651 57646029 18 0 1 63 36 76.79/76.88 c 13111 13963 1865917 63483542 19 0 1 2 1 83.89/83.90 c 14511 15415 2026115 69425764 20 0 1 2 1 91.69/91.77 c 16051 17009 2207679 78556451 22 0 1 3 1 100.59/100.62 c 17745 18784 2425265 84674003 23 0 1 3 1 109.49/109.50 c 19608 20743 2671505 93653109 24 0 1 58 29 129.59/129.63 c 21657 23838 3805227 118061596 25 0 1 4 2 139.90/140.00 c 23910 26179 4075976 130216775 26 0 1 3 1 151.39/151.47 c 26388 28754 4371494 141539682 26 0 1 3 1 163.69/163.79 c 29113 31582 4686860 159422869 26 0 1 6 4 177.29/177.33 c 32110 34722 5075912 174149366 26 0 1 14 6 190.90/190.93 c 35406 38119 5432389 186849063 26 0 1 27 24 204.49/204.53 c 39031 41846 5814451 197290210 26 0 1 26 23 222.00/222.03 c 43018 46046 6305881 214205592 26 0 1 96 34 242.59/242.65 c 47403 50687 6983870 235103381 27 0 1 19 17 260.79/260.85 c 52226 55672 7524768 251812497 27 0 4 74 64 284.90/284.90 c 57531 61162 8150663 272890094 31 0 1 3 1 310.01/310.01 c 63366 67103 8721446 301460168 32 0 1 2 1 337.90/337.96 c 69784 73633 9345010 340677342 32 0 1 2 1 368.11/368.16 c 76843 80824 10061008 381745763 32 0 1 12 10 399.90/399.95 c 84607 88783 10897714 418122376 32 0 4 25 23 436.01/436.09 c 93147 97453 11709969 449294064 32 0 1 2 1 476.80/476.89 c 102541 106982 12596590 494858919 32 0 1 2 1 524.01/524.02 c 112874 117721 13878405 553245697 32 0 1 27 17 572.01/572.03 c 124240 129323 15016196 605584761 32 0 3 49 45 622.12/622.14 c 136742 142150 16312355 651206854 32 0 1 88 53 698.11/698.17 c 150494 157068 18621093 716936649 36 0 1 6 2 769.71/769.74 c 165621 172368 20011284 773755995 37 0 1 2 1 839.32/839.40 c 182260 189319 21663958 833816452 37 0 1 31 23 925.22/925.29 c 200562 207812 23329071 950315094 37 0 1 2 1 997.92/997.98 c 220694 228322 25117265 1030859510 37 0 1 129 40 1163.33/1163.32 c 242839 256087 32069117 1167656514 41 0 1 21 6 1251.24/1251.27 c 267198 280828 34318033 1218884312 41 0 1 83 76 1406.16/1406.19 c 293992 310744 39656211 1371424393 42 0 1 11 8 1451.76/1451.77 c 323465 340530 41185876 1416050742 43 0 1 109 102 1624.47/1624.43 c 355885 376642 46934376 1537028667 45 0 1 15 7 1790.29/1790.22 c 391547 412834 50844900 1718761996 46 0 1 127 81 2077.41/2077.35 c 430775 460717 61624605 1931103045 49 0 1 41 17 2292.62/2292.54 c 473925 504758 66682217 2179269777 49 0 2 16 14 2520.04/2519.90 2520.04/2519.90 c *** INTERRUPTED *** 2520.04/2519.90 c restarts : 65 2520.04/2519.90 c conflicts : 512017 (203 /sec) 2520.04/2519.90 c decisions : 545613 (217 /sec) 2520.04/2519.90 c propagations : 2351487561 (933253 /sec) 2520.04/2519.90 c root propagations : 0 2520.04/2519.90 c filter calls : 75512316 (29969 /sec) 2520.04/2519.90 c useless filter calls : 54963643 (72 %) 2520.04/2519.90 c Memory used : 711.48 MB 2520.04/2519.90 c CPU time : 2519.67 s 2520.04/2519.90 2520.04/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 (13797 MiB free)
memory of node 1: 16384 MiB (14094 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4268387-1502581778/watcher-4268387-1502581778 -o /tmp/evaluation-result-4268387-1502581778/solver-4268387-1502581778 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502574286-2987 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268387-1502581778.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=3601, runsolver pid=3598
Current StackSize limit: 8192 KiB
[startup+0.100151 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 3602
/proc/meminfo: memFree=28553076/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=34724 memory=10792 CPUtime=0.1 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 2885 0 0 0 10 0 0 0 20 0 1 0 91258860 35557376 2698 33554432000 4194304 5972588 140722205868640 140722205865208 140176608988967 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 8681 2698 736 435 0 2044 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34724 KiB
Current children cumulated memory: 10792 KiB
[startup+0.209973 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 3602
/proc/meminfo: memFree=28552332/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=35436 memory=11604 CPUtime=0.21 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 3066 0 0 0 21 0 0 0 20 0 1 0 91258860 36286464 2901 33554432000 4194304 5972588 140722205868640 140722205865208 5675794 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 8859 2901 736 435 0 2222 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35436 KiB
Current children cumulated memory: 11604 KiB
[startup+0.309316 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 3602
/proc/meminfo: memFree=28551588/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=36076 memory=12264 CPUtime=0.31 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 3239 0 0 0 31 0 0 0 20 0 1 0 91258860 36941824 3066 33554432000 4194304 5972588 140722205868640 140722205865208 140176605510629 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 9019 3066 736 435 0 2382 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 36076 KiB
Current children cumulated memory: 12264 KiB
[startup+0.700296 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3602
/proc/meminfo: memFree=28544892/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=51740 memory=27624 CPUtime=0.69 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 7215 0 0 0 69 0 0 0 20 0 1 0 91258860 52981760 6906 33554432000 4194304 5972588 140722205868640 140722205865208 140176605595013 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 12935 6906 780 435 0 6298 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51740 KiB
Current children cumulated memory: 27624 KiB
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3602
/proc/meminfo: memFree=28522572/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=88140 memory=64056 CPUtime=1.49 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 16306 0 0 0 148 1 0 0 20 0 1 0 91258860 90255360 16014 33554432000 4194304 5972588 140722205868640 140722205862200 140176605510629 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 22035 16014 780 435 0 15398 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 88140 KiB
Current children cumulated memory: 64056 KiB
[startup+3.10963 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3602
/proc/meminfo: memFree=28431448/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=160964 memory=136976 CPUtime=3.1 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 34897 0 0 0 305 5 0 0 20 0 1 0 91258860 164827136 34244 33554432000 4194304 5972588 140722205868640 140722205862200 4967517 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 40241 34244 780 435 0 33604 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 160964 KiB
Current children cumulated memory: 136976 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3602
/proc/meminfo: memFree=28294480/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=305952 memory=282036 CPUtime=6.29 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 71855 0 0 0 619 10 0 0 20 0 1 0 91258860 313294848 70509 33554432000 4194304 5972588 140722205868640 140722205862200 140176614835264 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 76488 70509 780 435 0 69851 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 305952 KiB
Current children cumulated memory: 282036 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3602
/proc/meminfo: memFree=28072396/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=513780 memory=490432 CPUtime=12.69 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 135024 0 0 0 1252 17 0 0 20 0 1 0 91258860 526110720 122608 33554432000 4194304 5972588 140722205868640 140722205865672 4962352 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 128445 122608 826 435 0 121808 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 513780 KiB
Current children cumulated memory: 490432 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3602
/proc/meminfo: memFree=28033692/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=552068 memory=528664 CPUtime=25.49 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 158584 0 0 0 2530 19 0 0 20 0 1 0 91258860 565317632 132166 33554432000 4194304 5972588 140722205868640 140722205865672 5070704 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 138017 132166 826 435 0 131380 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 552068 KiB
Current children cumulated memory: 528664 KiB
[startup+51.1098 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3602
/proc/meminfo: memFree=28021616/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=564476 memory=541148 CPUtime=51.1 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 193082 0 0 0 5089 21 0 0 20 0 1 0 91258860 578023424 135287 33554432000 4194304 5972588 140722205868640 140722205865672 140176605510629 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 141119 135287 826 435 0 134482 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 564476 KiB
Current children cumulated memory: 541148 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3603
/proc/meminfo: memFree=27984460/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=601572 memory=578184 CPUtime=102.29 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 230572 0 0 0 10205 24 0 0 20 0 1 0 91258860 616009728 144546 33554432000 4194304 5972588 140722205868640 140722205865672 4965472 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 150393 144546 826 435 0 143756 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 601572 KiB
Current children cumulated memory: 578184 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 3604
/proc/meminfo: memFree=27978056/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=609096 memory=585804 CPUtime=162.29 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 262293 0 0 0 16202 27 0 0 20 0 1 0 91258860 623714304 146451 33554432000 4194304 5972588 140722205868640 140722205865672 4909651 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 152274 146451 826 435 0 145637 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 609096 KiB
Current children cumulated memory: 585804 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3606
/proc/meminfo: memFree=27956428/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=630084 memory=606712 CPUtime=222.29 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 310125 0 0 0 22199 30 0 0 20 0 1 0 91258860 645206016 151678 33554432000 4194304 5972588 140722205868640 140722205865672 4969215 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 157521 151678 826 435 0 150884 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 630084 KiB
Current children cumulated memory: 606712 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3614
/proc/meminfo: memFree=27948240/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=635892 memory=612528 CPUtime=282.3 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 327949 0 0 0 28199 31 0 0 20 0 1 0 91258860 651153408 153132 33554432000 4194304 5972588 140722205868640 140722205865672 4965453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 158973 153132 826 435 0 152336 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 635892 KiB
Current children cumulated memory: 612528 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3615
/proc/meminfo: memFree=27948736/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=636552 memory=613232 CPUtime=342.3 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 331364 0 0 0 34199 31 0 0 20 0 1 0 91258860 651829248 153308 33554432000 4194304 5972588 140722205868640 140722205865672 4965365 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 159138 153308 826 435 0 152501 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 636552 KiB
Current children cumulated memory: 613232 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3616
/proc/meminfo: memFree=27948416/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=637212 memory=613900 CPUtime=402.3 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 332401 0 0 0 40199 31 0 0 20 0 1 0 91258860 652505088 153475 33554432000 4194304 5972588 140722205868640 140722205865944 4962240 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 159303 153475 826 435 0 152666 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 637212 KiB
Current children cumulated memory: 613900 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3617
/proc/meminfo: memFree=27947452/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=637872 memory=614496 CPUtime=462.3 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 332999 0 0 0 46199 31 0 0 20 0 1 0 91258860 653180928 153624 33554432000 4194304 5972588 140722205868640 140722205865672 4969213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 159468 153624 826 435 0 152831 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 637872 KiB
Current children cumulated memory: 614496 KiB
################
# More data... #
################
/proc/3601/statm: 179136 173310 826 435 0 172499 0
Current children cumulated CPU time: 1782.39 s
Current children cumulated vsize: 716544 KiB
Current children cumulated memory: 693240 KiB
[startup+1842.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/187 3827
/proc/meminfo: memFree=27870404/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=718128 memory=694816 CPUtime=1842.39 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 388202 0 0 0 184202 37 0 0 20 0 1 0 91258860 735363072 173704 33554432000 4194304 5972588 140722205868640 140722205865672 4965347 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 179532 173704 826 435 0 172895 0
Current children cumulated CPU time: 1842.39 s
Current children cumulated vsize: 718128 KiB
Current children cumulated memory: 694816 KiB
[startup+1902.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 3828
/proc/meminfo: memFree=27867720/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=720108 memory=696836 CPUtime=1902.4 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 392386 0 0 0 190203 37 0 0 20 0 1 0 91258860 737390592 174209 33554432000 4194304 5972588 140722205868640 140722205865672 5071413 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 180027 174209 826 435 0 173390 0
Current children cumulated CPU time: 1902.4 s
Current children cumulated vsize: 720108 KiB
Current children cumulated memory: 696836 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 3829
/proc/meminfo: memFree=27867880/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=720372 memory=696976 CPUtime=1962.4 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 394187 0 0 0 196203 37 0 0 20 0 1 0 91258860 737660928 174244 33554432000 4194304 5972588 140722205868640 140722205865672 4965662 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 180093 174244 826 435 0 173456 0
Current children cumulated CPU time: 1962.4 s
Current children cumulated vsize: 720372 KiB
Current children cumulated memory: 696976 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 3830
/proc/meminfo: memFree=27864684/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=723276 memory=699936 CPUtime=2022.4 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 398250 0 0 0 202203 37 0 0 20 0 1 0 91258860 740634624 174984 33554432000 4194304 5972588 140722205868640 140722205865672 4965677 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 180819 174984 826 435 0 174182 0
Current children cumulated CPU time: 2022.4 s
Current children cumulated vsize: 723276 KiB
Current children cumulated memory: 699936 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 3838
/proc/meminfo: memFree=27858104/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=726840 memory=703568 CPUtime=2082.41 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 400026 0 0 0 208203 38 0 0 20 0 1 0 91258860 744284160 175892 33554432000 4194304 5972588 140722205868640 140722205865944 4909584 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 181710 175892 826 435 0 175073 0
Current children cumulated CPU time: 2082.41 s
Current children cumulated vsize: 726840 KiB
Current children cumulated memory: 703568 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 3839
/proc/meminfo: memFree=27859812/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=726972 memory=703580 CPUtime=2142.41 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 400197 0 0 0 214203 38 0 0 20 0 1 0 91258860 744419328 175895 33554432000 4194304 5972588 140722205868640 140722205865672 4969209 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 181743 175895 826 435 0 175106 0
Current children cumulated CPU time: 2142.41 s
Current children cumulated vsize: 726972 KiB
Current children cumulated memory: 703580 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 3840
/proc/meminfo: memFree=27859828/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=726972 memory=703580 CPUtime=2202.42 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 400407 0 0 0 220204 38 0 0 20 0 1 0 91258860 744419328 175895 33554432000 4194304 5972588 140722205868640 140722205865672 4909694 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 181743 175895 826 435 0 175106 0
Current children cumulated CPU time: 2202.42 s
Current children cumulated vsize: 726972 KiB
Current children cumulated memory: 703580 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 3841
/proc/meminfo: memFree=27859292/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=726972 memory=703584 CPUtime=2262.42 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 400583 0 0 0 226204 38 0 0 20 0 1 0 91258860 744419328 175896 33554432000 4194304 5972588 140722205868640 140722205865672 5071088 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 181743 175896 826 435 0 175106 0
Current children cumulated CPU time: 2262.42 s
Current children cumulated vsize: 726972 KiB
Current children cumulated memory: 703584 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 3842
/proc/meminfo: memFree=27859004/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=726972 memory=703600 CPUtime=2322.43 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 400950 0 0 0 232205 38 0 0 20 0 1 0 91258860 744419328 175900 33554432000 4194304 5972588 140722205868640 140722205865944 4969220 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 181743 175900 826 435 0 175106 0
Current children cumulated CPU time: 2322.43 s
Current children cumulated vsize: 726972 KiB
Current children cumulated memory: 703600 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 3843
/proc/meminfo: memFree=27857988/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=728028 memory=704656 CPUtime=2382.43 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 402007 0 0 0 238205 38 0 0 20 0 1 0 91258860 745500672 176164 33554432000 4194304 5972588 140722205868640 140722205865672 4909643 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 182007 176164 826 435 0 175370 0
Current children cumulated CPU time: 2382.43 s
Current children cumulated vsize: 728028 KiB
Current children cumulated memory: 704656 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 3844
/proc/meminfo: memFree=27857452/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=728424 memory=705036 CPUtime=2442.44 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 402651 0 0 0 244206 38 0 0 20 0 1 0 91258860 745906176 176259 33554432000 4194304 5972588 140722205868640 140722205865672 4965382 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 182106 176259 826 435 0 175469 0
Current children cumulated CPU time: 2442.44 s
Current children cumulated vsize: 728424 KiB
Current children cumulated memory: 705036 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 3845
/proc/meminfo: memFree=27857784/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=728556 memory=705212 CPUtime=2502.44 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 403436 0 0 0 250206 38 0 0 20 0 1 0 91258860 746041344 176303 33554432000 4194304 5972588 140722205868640 140722205865672 4962352 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 182139 176303 826 435 0 175502 0
Current children cumulated CPU time: 2502.44 s
Current children cumulated vsize: 728556 KiB
Current children cumulated memory: 705212 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 3846
/proc/meminfo: memFree=27857544/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=728556 memory=705212 CPUtime=2520.04 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 403549 0 0 0 251966 38 0 0 20 0 1 0 91258860 746041344 176303 33554432000 4194304 5972588 140722205868640 140722205865672 4965690 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 182139 176303 826 435 0 175502 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 728556 KiB
Current children cumulated memory: 705212 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.9 s]
# the end of solver process 3601 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.67 s, system=0.390026 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 3846
/proc/meminfo: memFree=27857544/32770624 swapFree=67108860/67108860
[pid=3601] ppid=3598 vsize=728556 memory=705212 CPUtime=2520.04 cores=1,3,5,7
/proc/3601/stat : 3601 (cosoco) R 3598 3601 2954 0 -1 4202496 403549 0 0 0 251966 38 0 0 20 0 1 0 91258860 746041344 176303 33554432000 4194304 5972588 140722205868640 140722205865672 4965690 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8183808 140722205877439 140722205877534 140722205877534 140722205880270 0
/proc/3601/statm: 182139 176303 826 435 0 175502 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 728556 KiB
Current children cumulated memory: 705212 KiB
Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.06
CPU user time (s): 2519.67
CPU system time (s): 0.390026
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 728556
Max. memory (cumulated for all children) (KiB): 705212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.67
system time used= 0.390026
maximum resident set size= 705280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 403599
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= 44
involuntary context switches= 1668
# summary of solver processes directly reported to runsolver:
# pid: 3601
# total CPU time (s): 2520.06
# total CPU user time (s): 2519.67
# total CPU system time (s): 0.390026
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.82384 second user time and 17.4759 second system time
The end
Begin job on node148 at 2017-08-13 01:35:20 IDJOB=4268387 IDBENCH=138612 IDSOLVER=2658 FILE ID=node148/4268387-1502581778 RUNJOBID= node148-1502574286-2987 PBS_JOBID= 20628291 Free space on /tmp= 61616 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js20-15/SuperTaillard-js-20-15-15.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268387-1502581778/watcher-4268387-1502581778 -o /tmp/evaluation-result-4268387-1502581778/solver-4268387-1502581778 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502574286-2987 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268387-1502581778.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6d7e3033fdb5217c74d2816bb8c5b7b8 RANDOM SEED=915129376 node148.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.19 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.19 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.19 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.19 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: 28561648 kB MemAvailable: 31984272 kB Buffers: 212560 kB Cached: 3500140 kB SwapCached: 0 kB Active: 757212 kB Inactive: 3020032 kB Active(anon): 67108 kB Inactive(anon): 25092 kB Active(file): 690104 kB Inactive(file): 2994940 kB Unevictable: 6208 kB Mlocked: 6208 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2716 kB Writeback: 0 kB AnonPages: 191632 kB Mapped: 44784 kB Shmem: 25224 kB Slab: 132528 kB SReclaimable: 106828 kB SUnreclaim: 25700 kB KernelStack: 3360 kB PageTables: 5484 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 362920 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 137216 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= 61612 MiB End job on node148 at 2017-08-13 02:17:20