Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
R1: cosoco 1.1 | ? (TO) | 2400.08 | 2400.5 |
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.79/10.83 c intension x0 != x1 using generic constraint 10.79/10.83 c intension x2 != x3 using generic constraint 10.79/10.83 c intension x4 != x5 using generic constraint 10.79/10.83 c intension x6 != x7 using generic constraint 10.79/10.83 c intension x8 != x9 using generic constraint 10.79/10.83 c intension x10 != x11 using generic constraint 10.79/10.83 c intension x12 != x13 using generic constraint 10.79/10.83 c intension x14 != x15 using generic constraint 10.79/10.83 c intension x16 != x17 using generic constraint 10.79/10.83 c intension x18 != x19 using generic constraint 10.79/10.83 c intension x20 != x21 using generic constraint 10.79/10.84 c intension x22 != x23 using generic constraint 10.79/10.84 c intension x24 != x25 using generic constraint 10.79/10.84 c intension x26 != x27 using generic constraint 10.79/10.84 c intension x28 != x29 using generic constraint 10.79/10.84 c intension x30 != x31 using generic constraint 10.79/10.84 c intension x32 != x33 using generic constraint 10.79/10.84 c intension x34 != x35 using generic constraint 10.79/10.84 c intension x36 != x37 using generic constraint 10.79/10.84 c intension x38 != x39 using generic constraint 10.79/10.84 c intension x40 != x41 using generic constraint 10.79/10.84 c intension x42 != x43 using generic constraint 10.79/10.85 c intension x44 != x45 using generic constraint 10.79/10.85 c intension x46 != x47 using generic constraint 10.79/10.85 c intension x48 != x49 using generic constraint 10.79/10.85 c intension x50 != x51 using generic constraint 10.79/10.85 c intension x52 != x53 using generic constraint 10.79/10.85 c intension x54 != x55 using generic constraint 10.79/10.85 c intension x56 != x57 using generic constraint 10.79/10.85 c intension x58 != x59 using generic constraint 10.79/10.85 c intension x60 != x61 using generic constraint 10.79/10.85 c intension x62 != x63 using generic constraint 10.79/10.85 c intension x64 != x65 using generic constraint 10.79/10.86 c intension x66 != x67 using generic constraint 10.79/10.86 c intension x68 != x69 using generic constraint 10.79/10.86 c intension x70 != x71 using generic constraint 10.79/10.86 c intension x72 != x73 using generic constraint 10.79/10.86 c intension x74 != x75 using generic constraint 10.79/10.86 c intension x76 != x77 using generic constraint 10.79/10.86 c intension x78 != x79 using generic constraint 10.79/10.86 c intension x80 != x81 using generic constraint 10.79/10.86 c intension x82 != x83 using generic constraint 10.79/10.86 c intension x84 != x85 using generic constraint 10.79/10.86 c intension x86 != x87 using generic constraint 10.79/10.86 c intension x88 != x89 using generic constraint 10.79/10.87 c intension x90 != x91 using generic constraint 10.79/10.87 c intension x92 != x93 using generic constraint 10.79/10.87 c intension x94 != x95 using generic constraint 10.79/10.87 c intension x96 != x97 using generic constraint 10.79/10.87 c intension x98 != x99 using generic constraint 10.79/10.87 c intension x100 != x101 using generic constraint 10.79/10.87 c intension x102 != x103 using generic constraint 10.79/10.87 c intension x104 != x105 using generic constraint 10.79/10.87 c intension x106 != x107 using generic constraint 10.79/10.87 c intension x108 != x109 using generic constraint 10.79/10.87 c intension x110 != x111 using generic constraint 10.79/10.88 c intension x112 != x113 using generic constraint 10.79/10.88 c intension x114 != x115 using generic constraint 10.79/10.88 c intension x116 != x117 using generic constraint 10.79/10.88 c intension x118 != x119 using generic constraint 10.79/10.88 c intension x120 != x121 using generic constraint 10.79/10.88 c intension x122 != x123 using generic constraint 10.79/10.88 c intension x124 != x125 using generic constraint 10.79/10.88 c intension x126 != x127 using generic constraint 10.79/10.88 c intension x128 != x129 using generic constraint 10.79/10.88 c intension x130 != x131 using generic constraint 10.79/10.88 c intension x132 != x133 using generic constraint 10.79/10.88 c intension x134 != x135 using generic constraint 10.79/10.89 c intension x136 != x137 using generic constraint 10.79/10.89 c intension x138 != x139 using generic constraint 10.79/10.89 c intension x140 != x141 using generic constraint 10.79/10.89 c intension x142 != x143 using generic constraint 10.79/10.89 c intension x144 != x145 using generic constraint 10.79/10.89 c intension x146 != x147 using generic constraint 10.79/10.89 c intension x148 != x149 using generic constraint 10.79/10.89 c intension x150 != x151 using generic constraint 10.79/10.89 c intension x152 != x153 using generic constraint 10.79/10.89 c intension x154 != x155 using generic constraint 10.79/10.89 c intension x156 != x157 using generic constraint 10.79/10.90 c intension x158 != x159 using generic constraint 10.89/10.90 c intension x160 != x161 using generic constraint 10.89/10.90 c intension x162 != x163 using generic constraint 10.89/10.90 c intension x164 != x165 using generic constraint 10.89/10.90 c intension x166 != x167 using generic constraint 10.89/10.90 c intension x168 != x169 using generic constraint 10.89/10.90 c intension x170 != x171 using generic constraint 10.89/10.90 c intension x172 != x173 using generic constraint 10.89/10.90 c intension x174 != x175 using generic constraint 10.89/10.90 c intension x176 != x177 using generic constraint 10.89/10.90 c intension x178 != x179 using generic constraint 10.89/10.90 c intension x180 != x181 using generic constraint 10.89/10.91 c intension x182 != x183 using generic constraint 10.89/10.91 c intension x184 != x185 using generic constraint 10.89/10.91 c intension x186 != x187 using generic constraint 10.89/10.91 c intension x188 != x189 using generic constraint 10.89/10.91 c intension x190 != x191 using generic constraint 10.89/10.91 c intension x192 != x193 using generic constraint 10.89/10.91 c intension x194 != x195 using generic constraint 10.89/10.91 c intension x196 != x197 using generic constraint 10.89/10.91 c intension x198 != x199 using generic constraint 10.89/10.91 c intension x200 != x201 using generic constraint 10.89/10.91 c intension x202 != x203 using generic constraint 10.89/10.92 c intension x204 != x205 using generic constraint 10.89/10.92 c intension x206 != x207 using generic constraint 10.89/10.92 c intension x208 != x209 using generic constraint 10.89/10.92 c intension x210 != x211 using generic constraint 10.89/10.92 c intension x212 != x213 using generic constraint 10.89/10.92 c intension x214 != x215 using generic constraint 10.89/10.92 c intension x216 != x217 using generic constraint 10.89/10.92 c intension x218 != x219 using generic constraint 10.89/10.92 c intension x220 != x221 using generic constraint 10.89/10.92 c intension x222 != x223 using generic constraint 10.89/10.92 c intension x224 != x225 using generic constraint 10.89/10.92 c intension x226 != x227 using generic constraint 10.89/10.93 c intension x228 != x229 using generic constraint 10.89/10.93 c intension x230 != x231 using generic constraint 10.89/10.93 c intension x232 != x233 using generic constraint 10.89/10.93 c intension x234 != x235 using generic constraint 10.89/10.93 c intension x236 != x237 using generic constraint 10.89/10.93 c intension x238 != x239 using generic constraint 10.89/10.93 c intension x240 != x241 using generic constraint 10.89/10.93 c intension x242 != x243 using generic constraint 10.89/10.93 c intension x244 != x245 using generic constraint 10.89/10.93 c intension x246 != x247 using generic constraint 10.89/10.93 c intension x248 != x249 using generic constraint 10.89/10.94 c intension x250 != x251 using generic constraint 10.89/10.94 c intension x252 != x253 using generic constraint 10.89/10.94 c intension x254 != x255 using generic constraint 10.89/10.94 c intension x256 != x257 using generic constraint 10.89/10.94 c intension x258 != x259 using generic constraint 10.89/10.94 c intension x260 != x261 using generic constraint 10.89/10.94 c intension x262 != x263 using generic constraint 10.89/10.94 c intension x264 != x265 using generic constraint 10.89/10.94 c intension x266 != x267 using generic constraint 10.89/10.94 c intension x268 != x269 using generic constraint 10.89/10.94 c intension x270 != x271 using generic constraint 10.89/10.95 c intension x272 != x273 using generic constraint 10.89/10.95 c intension x274 != x275 using generic constraint 10.89/10.95 c intension x276 != x277 using generic constraint 10.89/10.95 c intension x278 != x279 using generic constraint 10.89/10.95 c intension x280 != x281 using generic constraint 10.89/10.95 c intension x282 != x283 using generic constraint 10.89/10.95 c intension x284 != x285 using generic constraint 10.89/10.95 c intension x286 != x287 using generic constraint 10.89/10.95 c intension x288 != x289 using generic constraint 10.89/10.95 c intension x290 != x291 using generic constraint 10.89/10.95 c intension x292 != x293 using generic constraint 10.89/10.95 c intension x294 != x295 using generic constraint 10.89/10.96 c intension x296 != x297 using generic constraint 10.89/10.96 c intension x298 != x299 using generic constraint 10.89/10.96 c intension x300 != x301 using generic constraint 10.89/10.96 c intension x302 != x303 using generic constraint 10.89/10.96 c intension x304 != x305 using generic constraint 10.89/10.96 c intension x306 != x307 using generic constraint 10.89/10.96 c intension x308 != x309 using generic constraint 10.89/10.96 c intension x310 != x311 using generic constraint 10.89/10.96 c intension x312 != x313 using generic constraint 10.89/10.96 c intension x314 != x315 using generic constraint 10.89/10.96 c intension x316 != x317 using generic constraint 10.89/10.97 c intension x318 != x319 using generic constraint 10.89/10.97 c intension x320 != x321 using generic constraint 10.89/10.97 c intension x322 != x323 using generic constraint 10.89/10.97 c intension x324 != x325 using generic constraint 10.89/10.97 c intension x326 != x327 using generic constraint 10.89/10.97 c intension x328 != x329 using generic constraint 10.89/10.97 c intension x330 != x331 using generic constraint 10.89/10.97 c intension x332 != x333 using generic constraint 10.89/10.97 c intension x334 != x335 using generic constraint 10.89/10.97 c intension x336 != x337 using generic constraint 10.89/10.97 c intension x338 != x339 using generic constraint 10.89/10.97 c intension x340 != x341 using generic constraint 10.89/10.98 c intension x342 != x343 using generic constraint 10.89/10.98 c intension x344 != x345 using generic constraint 10.89/10.98 c intension x346 != x347 using generic constraint 10.89/10.98 c intension x348 != x349 using generic constraint 10.89/10.98 c intension x350 != x351 using generic constraint 10.89/10.98 c intension x352 != x353 using generic constraint 10.89/10.98 c intension x354 != x355 using generic constraint 10.89/10.98 c intension x356 != x357 using generic constraint 10.89/10.98 c intension x358 != x359 using generic constraint 10.89/10.98 c intension x360 != x361 using generic constraint 10.89/10.98 c intension x362 != x363 using generic constraint 10.89/10.99 c intension x364 != x365 using generic constraint 10.89/10.99 c intension x366 != x367 using generic constraint 10.89/10.99 c intension x368 != x369 using generic constraint 10.89/10.99 c intension x370 != x371 using generic constraint 10.89/10.99 c intension x372 != x373 using generic constraint 10.89/10.99 c intension x374 != x375 using generic constraint 10.89/10.99 c intension x376 != x377 using generic constraint 10.89/10.99 c intension x378 != x379 using generic constraint 10.89/10.99 c intension x380 != x381 using generic constraint 10.89/10.99 c intension x382 != x383 using generic constraint 10.89/10.99 c intension x384 != x385 using generic constraint 10.89/10.99 c intension x386 != x387 using generic constraint 10.89/11.00 c intension x388 != x389 using generic constraint 10.89/11.00 c intension x390 != x391 using generic constraint 10.89/11.00 c intension x392 != x393 using generic constraint 10.89/11.00 c intension x394 != x395 using generic constraint 10.89/11.00 c intension x396 != x397 using generic constraint 10.89/11.00 c intension x398 != x399 using generic constraint 10.89/11.00 c intension x400 != x401 using generic constraint 10.89/11.00 c intension x402 != x403 using generic constraint 10.89/11.00 c intension x404 != x405 using generic constraint 10.89/11.00 c intension x406 != x407 using generic constraint 10.99/11.00 c intension x408 != x409 using generic constraint 10.99/11.01 c intension x410 != x411 using generic constraint 10.99/11.01 c intension x412 != x413 using generic constraint 10.99/11.01 c intension x414 != x415 using generic constraint 10.99/11.01 c intension x416 != x417 using generic constraint 10.99/11.01 c intension x418 != x419 using generic constraint 10.99/11.01 c intension x420 != x421 using generic constraint 10.99/11.01 c intension x422 != x423 using generic constraint 10.99/11.01 c intension x424 != x425 using generic constraint 10.99/11.01 c intension x426 != x427 using generic constraint 10.99/11.01 c intension x428 != x429 using generic constraint 10.99/11.01 c intension x430 != x431 using generic constraint 10.99/11.01 c intension x432 != x433 using generic constraint 10.99/11.02 c intension x434 != x435 using generic constraint 10.99/11.02 c intension x436 != x437 using generic constraint 10.99/11.02 c intension x438 != x439 using generic constraint 10.99/11.02 c intension x440 != x441 using generic constraint 10.99/11.02 c intension x442 != x443 using generic constraint 10.99/11.02 c intension x444 != x445 using generic constraint 10.99/11.02 c intension x446 != x447 using generic constraint 10.99/11.02 c intension x448 != x449 using generic constraint 10.99/11.02 c intension x450 != x451 using generic constraint 10.99/11.02 c intension x452 != x453 using generic constraint 10.99/11.02 c intension x454 != x455 using generic constraint 10.99/11.03 c intension x456 != x457 using generic constraint 10.99/11.03 c intension x458 != x459 using generic constraint 10.99/11.03 c intension x460 != x461 using generic constraint 10.99/11.03 c intension x462 != x463 using generic constraint 10.99/11.03 c intension x464 != x465 using generic constraint 10.99/11.03 c intension x466 != x467 using generic constraint 10.99/11.03 c intension x468 != x469 using generic constraint 10.99/11.03 c intension x470 != x471 using generic constraint 10.99/11.03 c intension x472 != x473 using generic constraint 10.99/11.03 c intension x474 != x475 using generic constraint 10.99/11.03 c intension x476 != x477 using generic constraint 10.99/11.04 c intension x478 != x479 using generic constraint 10.99/11.04 c intension x480 != x481 using generic constraint 10.99/11.04 c intension x482 != x483 using generic constraint 10.99/11.04 c intension x484 != x485 using generic constraint 10.99/11.04 c intension x486 != x487 using generic constraint 10.99/11.04 c intension x488 != x489 using generic constraint 10.99/11.04 c intension x490 != x491 using generic constraint 10.99/11.04 c intension x492 != x493 using generic constraint 10.99/11.04 c intension x494 != x495 using generic constraint 10.99/11.04 c intension x496 != x497 using generic constraint 10.99/11.04 c intension x498 != x499 using generic constraint 10.99/11.04 c intension x500 != x501 using generic constraint 10.99/11.05 c intension x502 != x503 using generic constraint 10.99/11.05 c intension x504 != x505 using generic constraint 10.99/11.05 c intension x506 != x507 using generic constraint 10.99/11.05 c intension x508 != x509 using generic constraint 10.99/11.05 c intension x510 != x511 using generic constraint 10.99/11.05 c intension x512 != x513 using generic constraint 10.99/11.05 c intension x514 != x515 using generic constraint 10.99/11.05 c intension x516 != x517 using generic constraint 10.99/11.05 c intension x518 != x519 using generic constraint 10.99/11.05 c intension x520 != x521 using generic constraint 10.99/11.05 c intension x522 != x523 using generic constraint 10.99/11.06 c intension x524 != x525 using generic constraint 10.99/11.06 c intension x526 != x527 using generic constraint 10.99/11.06 c intension x528 != x529 using generic constraint 10.99/11.06 c intension x530 != x531 using generic constraint 10.99/11.06 c intension x532 != x533 using generic constraint 10.99/11.06 c intension x534 != x535 using generic constraint 10.99/11.06 c intension x536 != x537 using generic constraint 10.99/11.06 c intension x538 != x539 using generic constraint 10.99/11.06 c intension x540 != x541 using generic constraint 10.99/11.06 c intension x542 != x543 using generic constraint 10.99/11.06 c intension x544 != x545 using generic constraint 10.99/11.06 c intension x546 != x547 using generic constraint 10.99/11.07 c intension x548 != x549 using generic constraint 10.99/11.07 c intension x550 != x551 using generic constraint 10.99/11.07 c intension x552 != x553 using generic constraint 10.99/11.07 c intension x554 != x555 using generic constraint 10.99/11.07 c intension x556 != x557 using generic constraint 10.99/11.07 c intension x558 != x559 using generic constraint 10.99/11.07 c intension x560 != x561 using generic constraint 10.99/11.07 c intension x562 != x563 using generic constraint 10.99/11.07 c intension x564 != x565 using generic constraint 10.99/11.07 c intension x566 != x567 using generic constraint 10.99/11.07 c intension x568 != x569 using generic constraint 10.99/11.08 c intension x570 != x571 using generic constraint 10.99/11.08 c intension x572 != x573 using generic constraint 10.99/11.08 c intension x574 != x575 using generic constraint 10.99/11.08 c intension x576 != x577 using generic constraint 10.99/11.08 c intension x578 != x579 using generic constraint 10.99/11.08 c intension x580 != x581 using generic constraint 10.99/11.08 c intension x582 != x583 using generic constraint 10.99/11.08 c intension x584 != x585 using generic constraint 10.99/11.08 c intension x586 != x587 using generic constraint 10.99/11.08 c intension x588 != x589 using generic constraint 10.99/11.08 c intension x590 != x591 using generic constraint 10.99/11.08 c intension x592 != x593 using generic constraint 10.99/11.09 c intension x594 != x595 using generic constraint 10.99/11.09 c intension x596 != x597 using generic constraint 10.99/11.09 c intension x598 != x599 using generic constraint 10.99/11.10 c root propagations : 0 10.99/11.10 c restarts enabled, print stats at every restarts 10.99/11.10 c 10.99/11.10 c 10.99/11.10 c 10.99/11.10 c This is cosoco 1.0 -- 10.99/11.10 c 10.99/11.10 c ========================================[ Problem Statistics ]=========================================== 10.99/11.10 c | 10.99/11.10 c | Parse time : 10.90 s 10.99/11.10 c | 10.99/11.10 c | Variables: 600 10.99/11.10 c | Domain Sizes: 1346..1444 10.99/11.10 c | 10.99/11.10 c | Constraints: 9690 10.99/11.10 c | Arity: 2..2 -- Binary: 9690 10.99/11.10 c | 10.99/11.10 c | Types: 10.99/11.10 c | (X != Y): 300 10.99/11.10 c | Intension: 9390 10.99/11.10 c | 10.99/11.10 c ========================================================================================================= 10.99/11.10 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 11.49/11.57 c 101 101 18144 663351 1 0 1 1 0 12.29/12.39 c 211 227 56050 1433921 2 0 1 3 1 12.99/13.05 c 332 362 78087 1787513 2 0 2 2 1 13.69/13.75 c 465 504 96986 2364022 3 0 1 2 1 14.49/14.54 c 611 662 119636 3224891 4 0 1 2 1 15.28/15.31 c 771 829 137634 3937975 5 0 1 8 3 16.18/16.29 c 947 1023 167736 5310336 5 0 1 2 1 17.28/17.31 c 1140 1230 196057 6458945 5 0 1 2 1 18.28/18.36 c 1352 1453 222983 7312289 5 0 2 2 1 19.69/19.79 c 1585 1732 277424 8829236 5 0 1 31 2 20.99/21.07 c 1841 2009 316984 9953405 6 0 1 2 1 22.39/22.45 c 2122 2312 359032 10899911 7 0 1 2 1 23.89/23.96 c 2431 2643 403569 12163081 8 0 1 2 1 25.39/25.49 c 2770 2994 441636 13498865 8 0 2 2 1 27.28/27.34 c 3142 3391 494102 15268922 9 0 1 2 1 29.28/29.33 c 3551 3827 551095 16996678 10 0 1 2 1 31.49/31.59 c 4000 4325 627282 18877578 11 0 1 26 20 33.99/34.08 c 4493 4848 694010 20561034 12 0 1 2 1 36.68/36.79 c 5035 5421 765345 22815485 13 0 1 2 1 39.98/40.05 c 5631 6063 863266 25082160 15 0 1 3 1 43.37/43.46 c 6286 6763 964814 27727550 17 0 1 3 1 46.77/46.89 c 7006 7513 1050199 32062883 18 0 1 2 1 50.58/50.69 c 7798 8342 1147120 37937120 18 0 1 2 1 54.98/55.07 c 8669 9268 1261250 42781846 18 0 1 19 17 59.78/59.83 c 9627 10280 1395959 47589202 18 0 1 3 1 64.67/64.77 c 10680 11372 1516037 52353246 18 0 1 2 1 70.77/70.87 c 11838 12641 1718651 57646029 18 0 1 63 36 77.27/77.37 c 13111 13963 1865917 63483542 19 0 1 2 1 84.37/84.45 c 14511 15415 2026115 69425764 20 0 1 2 1 92.27/92.37 c 16051 17009 2207679 78556451 22 0 1 3 1 101.27/101.31 c 17745 18784 2425265 84674003 23 0 1 3 1 110.16/110.23 c 19608 20743 2671505 93653109 24 0 1 58 29 130.36/130.42 c 21657 23838 3805227 118061596 25 0 1 4 2 140.86/140.91 c 23910 26179 4075976 130216775 26 0 1 3 1 152.35/152.46 c 26388 28754 4371494 141539682 26 0 1 3 1 164.86/164.91 c 29113 31582 4686860 159422869 26 0 1 6 4 178.45/178.54 c 32110 34722 5075912 174149366 26 0 1 14 6 192.15/192.22 c 35406 38119 5432389 186849063 26 0 1 27 24 205.85/205.94 c 39031 41846 5814451 197290210 26 0 1 26 23 223.45/223.51 c 43018 46046 6305881 214205592 26 0 1 96 34 244.15/244.29 c 47403 50687 6983870 235103381 27 0 1 19 17 262.43/262.51 c 52226 55672 7524768 251812497 27 0 4 74 64 286.63/286.73 c 57531 61162 8150663 272890094 31 0 1 3 1 311.93/312.02 c 63366 67103 8721446 301460168 32 0 1 2 1 339.93/340.05 c 69784 73633 9345010 340677342 32 0 1 2 1 370.32/370.43 c 76843 80824 10061008 381745763 32 0 1 12 10 402.31/402.41 c 84607 88783 10897714 418122376 32 0 4 25 23 438.71/438.80 c 93147 97453 11709969 449294064 32 0 1 2 1 479.80/479.99 c 102541 106982 12596590 494858919 32 0 1 2 1 527.29/527.46 c 112874 117721 13878405 553245697 32 0 1 27 17 575.68/575.81 c 124240 129323 15016196 605584761 32 0 3 49 45 626.18/626.36 c 136742 142150 16312355 651206854 32 0 1 88 53 702.57/702.79 c 150494 157068 18621093 716936649 36 0 1 6 2 774.66/774.87 c 165621 172368 20011284 773755995 37 0 1 2 1 845.05/845.29 c 182260 189319 21663958 833816452 37 0 1 31 23 931.04/931.24 c 200562 207812 23329071 950315094 37 0 1 2 1 1003.93/1004.19 c 220694 228322 25117265 1030859510 37 0 1 129 40 1170.50/1170.78 c 242839 256087 32069117 1167656514 41 0 1 21 6 1258.88/1259.13 c 267198 280828 34318033 1218884312 41 0 1 83 76 1414.15/1414.41 c 293992 310744 39656211 1371424393 42 0 1 11 8 1460.15/1460.44 c 323465 340530 41185876 1416050742 43 0 1 109 102 1633.82/1634.19 c 355885 376642 46934376 1537028667 45 0 1 15 7 1801.49/1801.86 c 391547 412834 50844900 1718761996 46 0 1 127 81 2090.12/2090.51 c 430775 460717 61624605 1931103045 49 0 1 41 17 2307.18/2307.68 c 473925 504758 66682217 2179269777 49 0 2 16 14
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-4243017-1500670653/watcher-4243017-1500670653 -o /tmp/evaluation-result-4243017-1500670653/solver-4243017-1500670653 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500668252-13650 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4243017-1500670653.xml pid=13817 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.03 3/242 13820 /proc/meminfo: memFree=31983568/32770624 swapFree=5664/202228 [pid=13820] ppid=13817 vsize=30316 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 1761 0 0 0 0 0 0 0 20 0 1 0 2334499 31043584 1558 33554432000 4194304 5970956 140724436244848 140724436240168 140118569233381 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 7579 1558 681 434 0 943 0 [startup+0.100122 s] /proc/loadavg: 2.00 2.01 2.03 3/242 13820 /proc/meminfo: memFree=31983568/32770624 swapFree=5664/202228 [pid=13820] ppid=13817 vsize=34296 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 2792 0 0 0 9 0 0 0 20 0 1 0 2334499 35119104 2592 33554432000 4194304 5970956 140724436244848 140724436241448 140118578581888 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 8574 2592 730 434 0 1938 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 34296 [startup+0.200331 s] /proc/loadavg: 2.00 2.01 2.03 3/242 13820 /proc/meminfo: memFree=31983568/32770624 swapFree=5664/202228 [pid=13820] ppid=13817 vsize=34848 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 2928 0 0 0 19 0 0 0 20 0 1 0 2334499 35684352 2757 33554432000 4194304 5970956 140724436244848 140724436241448 140118572664720 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 8712 2757 730 434 0 2076 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 34848 [startup+0.300265 s] /proc/loadavg: 2.00 2.01 2.03 3/242 13820 /proc/meminfo: memFree=31983568/32770624 swapFree=5664/202228 [pid=13820] ppid=13817 vsize=35560 CPUtime=0.29 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 3100 0 0 0 29 0 0 0 20 0 1 0 2334499 36413440 2912 33554432000 4194304 5970956 140724436244848 140724436241448 140118569233381 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 8890 2912 730 434 0 2254 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35560 [startup+0.700259 s] /proc/loadavg: 2.00 2.01 2.03 3/242 13820 /proc/meminfo: memFree=31983568/32770624 swapFree=5664/202228 [pid=13820] ppid=13817 vsize=48924 CPUtime=0.69 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 6512 0 0 0 68 1 0 0 20 0 1 0 2334499 50098176 6240 33554432000 4194304 5970956 140724436244848 140724436238440 4966541 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 12231 6240 776 434 0 5595 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 48924 [startup+1.50025 s] /proc/loadavg: 2.00 2.01 2.03 4/240 13867 /proc/meminfo: memFree=31984808/32770624 swapFree=5664/202076 [pid=13820] ppid=13817 vsize=85036 CPUtime=1.49 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 15552 0 0 0 147 2 0 0 20 0 1 0 2334499 87076864 15282 33554432000 4194304 5970956 140724436244848 140724436238440 4966541 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 21259 15282 776 434 0 14623 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 85036 [startup+3.10025 s] /proc/loadavg: 2.00 2.01 2.03 3/243 13953 /proc/meminfo: memFree=31922112/32770624 swapFree=5664/202076 [pid=13820] ppid=13817 vsize=157400 CPUtime=3.09 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 34007 0 0 0 304 5 0 0 20 0 1 0 2334499 161177600 33374 33554432000 4194304 5970956 140724436244848 140724436238440 140118569233381 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 39350 33374 776 434 0 32714 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 157400 [startup+6.30029 s] /proc/loadavg: 2.08 2.03 2.04 3/243 13953 /proc/meminfo: memFree=31646636/32770624 swapFree=5664/202212 [pid=13820] ppid=13817 vsize=303136 CPUtime=6.29 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 71128 0 0 0 618 11 0 0 20 0 1 0 2334499 310411264 69772 33554432000 4194304 5970956 140724436244848 140724436238440 140118578874512 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 75784 69772 776 434 0 69148 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 303136 [startup+12.7003 s] /proc/loadavg: 2.08 2.03 2.04 3/243 13953 /proc/meminfo: memFree=31090352/32770624 swapFree=5664/202444 [pid=13820] ppid=13817 vsize=513776 CPUtime=12.69 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 135662 0 0 0 1250 19 0 0 20 0 1 0 2334499 526106624 122598 33554432000 4194304 5970956 140724436244848 140724436242184 5070112 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 128444 122598 823 434 0 121808 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 513776 [startup+25.5004 s] /proc/loadavg: 2.06 2.03 2.04 3/243 13953 /proc/meminfo: memFree=30435696/32770624 swapFree=5664/202440 [pid=13820] ppid=13817 vsize=552064 CPUtime=25.49 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 161801 0 0 0 2528 21 0 0 20 0 1 0 2334499 565313536 132152 33554432000 4194304 5970956 140724436244848 140724436241912 4964738 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 138016 132152 823 434 0 131380 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 552064 [startup+51.1004 s] /proc/loadavg: 2.04 2.03 2.04 3/243 13954 /proc/meminfo: memFree=29636544/32770624 swapFree=5664/202424 [pid=13820] ppid=13817 vsize=564340 CPUtime=51.08 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 197016 0 0 0 5085 23 0 0 20 0 1 0 2334499 577884160 135263 33554432000 4194304 5970956 140724436244848 140724436242184 4964363 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 141085 135263 823 434 0 134449 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 564340 [startup+102.3 s] /proc/loadavg: 2.02 2.02 2.04 3/243 13955 /proc/meminfo: memFree=29496836/32770624 swapFree=5664/202492 [pid=13820] ppid=13817 vsize=601436 CPUtime=102.28 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 237169 0 0 0 10203 25 0 0 20 0 1 0 2334499 615870464 144531 33554432000 4194304 5970956 140724436244848 140724436241912 5070452 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 150359 144531 823 434 0 143723 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 601436 [startup+162.3 s] /proc/loadavg: 2.11 2.05 2.05 3/243 13963 /proc/meminfo: memFree=29481788/32770624 swapFree=5664/202588 [pid=13820] ppid=13817 vsize=609092 CPUtime=162.26 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 270799 0 0 0 16199 27 0 0 20 0 1 0 2334499 623710208 146443 33554432000 4194304 5970956 140724436244848 140724436241912 5319620 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 152273 146443 823 434 0 145637 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 609092 [startup+222.308 s] /proc/loadavg: 2.04 2.04 2.05 3/243 13986 /proc/meminfo: memFree=29455204/32770624 swapFree=5664/202672 [pid=13820] ppid=13817 vsize=629552 CPUtime=222.26 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 320365 0 0 0 22196 30 0 0 20 0 1 0 2334499 644661248 151556 33554432000 4194304 5970956 140724436244848 140724436241912 4961429 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 157388 151556 823 434 0 150752 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 629552 [startup+282.3 s] /proc/loadavg: 2.14 2.06 2.05 3/243 13987 /proc/meminfo: memFree=29447592/32770624 swapFree=5664/202732 [pid=13820] ppid=13817 vsize=635888 CPUtime=282.23 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 339008 0 0 0 28192 31 0 0 20 0 1 0 2334499 651149312 153124 33554432000 4194304 5970956 140724436244848 140724436241912 4964406 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 158972 153124 823 434 0 152336 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 635888 [startup+342.3 s] /proc/loadavg: 2.05 2.05 2.05 3/243 13988 /proc/meminfo: memFree=29436628/32770624 swapFree=5664/202784 [pid=13820] ppid=13817 vsize=636416 CPUtime=342.22 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 342044 0 0 0 34191 31 0 0 20 0 1 0 2334499 651689984 153276 33554432000 4194304 5970956 140724436244848 140724436242184 5052093 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 159104 153276 823 434 0 152468 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 636416 [startup+402.3 s] /proc/loadavg: 2.02 2.04 2.05 3/243 13989 /proc/meminfo: memFree=29423324/32770624 swapFree=5664/202844 [pid=13820] ppid=13817 vsize=637208 CPUtime=402.21 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 348917 0 0 0 40189 32 0 0 20 0 1 0 2334499 652500992 153456 33554432000 4194304 5970956 140724436244848 140724436241912 4964672 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 159302 153456 823 434 0 152666 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 637208 [startup+462.3 s] /proc/loadavg: 2.01 2.04 2.05 3/243 13990 /proc/meminfo: memFree=29420544/32770624 swapFree=5664/202888 [pid=13820] ppid=13817 vsize=637868 CPUtime=462.2 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 349440 0 0 0 46188 32 0 0 20 0 1 0 2334499 653176832 153616 33554432000 4194304 5970956 140724436244848 140724436241912 4964705 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 159467 153616 823 434 0 152831 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 637868 [startup+522.3 s] /proc/loadavg: 2.00 2.03 2.05 3/243 13991 /proc/meminfo: memFree=29419432/32770624 swapFree=5664/202940 [pid=13820] ppid=13817 vsize=639056 CPUtime=522.19 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 350538 0 0 0 52187 32 0 0 20 0 1 0 2334499 654393344 153927 33554432000 4194304 5970956 140724436244848 140724436241912 5070112 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 159764 153927 823 434 0 153128 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 639056 [startup+582.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 13992 /proc/meminfo: memFree=29417196/32770624 swapFree=5664/202968 [pid=13820] ppid=13817 vsize=639716 CPUtime=582.18 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 351498 0 0 0 58186 32 0 0 20 0 1 0 2334499 655069184 154087 33554432000 4194304 5970956 140724436244848 140724436241912 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 159929 154087 823 434 0 153293 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 639716 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/244 14025 /proc/meminfo: memFree=29340952/32770624 swapFree=5664/203588 [pid=13820] ppid=13817 vsize=705452 CPUtime=1542.04 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 412589 0 0 0 154165 39 0 0 20 0 1 0 2334499 722382848 170521 33554432000 4194304 5970956 140724436244848 140724436241912 5319768 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 176363 170521 823 434 0 169727 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 705452 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 14026 /proc/meminfo: memFree=29337828/32770624 swapFree=5664/203624 [pid=13820] ppid=13817 vsize=706640 CPUtime=1602.02 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 414971 0 0 0 160163 39 0 0 20 0 1 0 2334499 723599360 170801 33554432000 4194304 5970956 140724436244848 140724436241912 5070452 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 176660 170801 823 434 0 170024 0 Current children cumulated CPU time (s) 1602.02 Current children cumulated vsize (KiB) 706640 [startup+1662.3 s] /proc/loadavg: 2.07 2.03 2.05 3/243 14028 /proc/meminfo: memFree=29335508/32770624 swapFree=5664/203652 [pid=13820] ppid=13817 vsize=707960 CPUtime=1662.01 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 424466 0 0 0 166162 39 0 0 20 0 1 0 2334499 724951040 171164 33554432000 4194304 5970956 140724436244848 140724436241912 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 176990 171164 823 434 0 170354 0 Current children cumulated CPU time (s) 1662.01 Current children cumulated vsize (KiB) 707960 [startup+1722.3 s] /proc/loadavg: 2.03 2.02 2.05 3/243 14029 /proc/meminfo: memFree=29327996/32770624 swapFree=5664/203684 [pid=13820] ppid=13817 vsize=716144 CPUtime=1722 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 438048 0 0 0 172160 40 0 0 20 0 1 0 2334499 733331456 173177 33554432000 4194304 5970956 140724436244848 140724436241912 5070976 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 179036 173177 823 434 0 172400 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 716144 [startup+1782.3 s] /proc/loadavg: 2.01 2.02 2.05 3/243 14030 /proc/meminfo: memFree=29325764/32770624 swapFree=5664/203712 [pid=13820] ppid=13817 vsize=716540 CPUtime=1781.99 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 441929 0 0 0 178159 40 0 0 20 0 1 0 2334499 733736960 173292 33554432000 4194304 5970956 140724436244848 140724436241912 4908922 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 179135 173292 823 434 0 172499 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 716540 [startup+1842.3 s] /proc/loadavg: 2.04 2.03 2.05 3/243 14032 /proc/meminfo: memFree=29325484/32770624 swapFree=5664/203744 [pid=13820] ppid=13817 vsize=718124 CPUtime=1841.98 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 451343 0 0 0 184157 41 0 0 20 0 1 0 2334499 735358976 173696 33554432000 4194304 5970956 140724436244848 140724436241912 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 179531 173696 823 434 0 172895 0 Current children cumulated CPU time (s) 1841.98 Current children cumulated vsize (KiB) 718124 [startup+1902.3 s] /proc/loadavg: 2.01 2.02 2.05 3/243 14033 /proc/meminfo: memFree=29324692/32770624 swapFree=5664/203784 [pid=13820] ppid=13817 vsize=718916 CPUtime=1901.97 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 457495 0 0 0 190156 41 0 0 20 0 1 0 2334499 736169984 173888 33554432000 4194304 5970956 140724436244848 140724436241912 5071028 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 179729 173888 823 434 0 173093 0 Current children cumulated CPU time (s) 1901.97 Current children cumulated vsize (KiB) 718916 [startup+1962.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 14041 /proc/meminfo: memFree=29322040/32770624 swapFree=5664/203816 [pid=13820] ppid=13817 vsize=720236 CPUtime=1961.96 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 469974 0 0 0 196154 42 0 0 20 0 1 0 2334499 737521664 174219 33554432000 4194304 5970956 140724436244848 140724436241912 4968186 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 180059 174219 823 434 0 173423 0 Current children cumulated CPU time (s) 1961.96 Current children cumulated vsize (KiB) 720236 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 14042 /proc/meminfo: memFree=29320872/32770624 swapFree=5664/203852 [pid=13820] ppid=13817 vsize=721820 CPUtime=2021.95 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 480287 0 0 0 202152 43 0 0 20 0 1 0 2334499 739143680 174572 33554432000 4194304 5970956 140724436244848 140724436241912 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 180455 174572 823 434 0 173819 0 Current children cumulated CPU time (s) 2021.95 Current children cumulated vsize (KiB) 721820 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 14043 /proc/meminfo: memFree=29314788/32770624 swapFree=5664/203880 [pid=13820] ppid=13817 vsize=726308 CPUtime=2081.93 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 486127 0 0 0 208149 44 0 0 20 0 1 0 2334499 743739392 175728 33554432000 4194304 5970956 140724436244848 140724436241912 4964738 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 181577 175728 823 434 0 174941 0 Current children cumulated CPU time (s) 2081.93 Current children cumulated vsize (KiB) 726308 [startup+2142.3 s] /proc/loadavg: 2.14 2.05 2.05 3/243 14044 /proc/meminfo: memFree=29314088/32770624 swapFree=5664/203920 [pid=13820] ppid=13817 vsize=726968 CPUtime=2141.9 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 490764 0 0 0 214146 44 0 0 20 0 1 0 2334499 744415232 175891 33554432000 4194304 5970956 140724436244848 140724436241912 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 181742 175891 823 434 0 175106 0 Current children cumulated CPU time (s) 2141.9 Current children cumulated vsize (KiB) 726968 [startup+2202.31 s] /proc/loadavg: 2.05 2.04 2.05 3/243 14045 /proc/meminfo: memFree=29313620/32770624 swapFree=5664/203932 [pid=13820] ppid=13817 vsize=726968 CPUtime=2201.9 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 491038 0 0 0 220146 44 0 0 20 0 1 0 2334499 744415232 175891 33554432000 4194304 5970956 140724436244848 140724436241912 5093213 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 181742 175891 823 434 0 175106 0 Current children cumulated CPU time (s) 2201.9 Current children cumulated vsize (KiB) 726968 [startup+2262.3 s] /proc/loadavg: 2.09 2.05 2.05 3/243 14046 /proc/meminfo: memFree=29313504/32770624 swapFree=5664/203972 [pid=13820] ppid=13817 vsize=726968 CPUtime=2261.89 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 491362 0 0 0 226145 44 0 0 20 0 1 0 2334499 744415232 175892 33554432000 4194304 5970956 140724436244848 140724436241912 4964784 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 181742 175892 823 434 0 175106 0 Current children cumulated CPU time (s) 2261.89 Current children cumulated vsize (KiB) 726968 [startup+2322.3 s] /proc/loadavg: 2.07 2.05 2.05 3/243 14047 /proc/meminfo: memFree=29313504/32770624 swapFree=5664/204012 [pid=13820] ppid=13817 vsize=726968 CPUtime=2321.88 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 491919 0 0 0 232144 44 0 0 20 0 1 0 2334499 744415232 175896 33554432000 4194304 5970956 140724436244848 140724436242184 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 181742 175896 823 434 0 175106 0 Current children cumulated CPU time (s) 2321.88 Current children cumulated vsize (KiB) 726968 [startup+2382.3 s] /proc/loadavg: 2.03 2.04 2.05 3/243 14048 /proc/meminfo: memFree=29311892/32770624 swapFree=5664/204040 [pid=13820] ppid=13817 vsize=728024 CPUtime=2381.87 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 492899 0 0 0 238143 44 0 0 20 0 1 0 2334499 745496576 176105 33554432000 4194304 5970956 140724436244848 140724436241912 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 182006 176105 823 434 0 175370 0 Current children cumulated CPU time (s) 2381.87 Current children cumulated vsize (KiB) 728024 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.5 s] /proc/loadavg: 2.02 2.04 2.05 3/243 14048 /proc/meminfo: memFree=29312264/32770624 swapFree=5664/204048 [pid=13820] ppid=13817 vsize=728024 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 493010 0 0 0 239962 44 0 0 20 0 1 0 2334499 745496576 176160 33554432000 4194304 5970956 140724436244848 140724436241912 4967744 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 182006 176160 823 434 0 175370 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 728024 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 13820 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.5 s] /proc/loadavg: 2.02 2.04 2.05 3/243 14048 /proc/meminfo: memFree=29312264/32770624 swapFree=5664/204048 [pid=13820] ppid=13817 vsize=728024 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14 /proc/13820/stat : 13820 (cosoco) R 13817 13820 9838 0 -1 4202496 493010 0 0 0 239962 44 0 0 20 0 1 0 2334499 745496576 176160 33554432000 4194304 5970956 140724436244848 140724436241912 4967744 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 11542528 140724436251841 140724436251971 140724436251971 140724436254670 0 /proc/13820/statm: 182006 176160 823 434 0 175370 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 728024 Child status: 1 Real time (s): 2400.5 CPU time (s): 2400.08 CPU user time (s): 2399.63 CPU system time (s): 0.448925 CPU usage (%): 99.9823 Max. virtual memory (cumulated for all children) (KiB): 728024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.63 system time used= 0.448925 maximum resident set size= 704680 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 493034 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= 45 involuntary context switches= 121871 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.41849 second user time and 12.3054 second system time The end
Begin job on node114 at 2017-07-21 22:57:34 IDJOB=4243017 IDBENCH=138612 IDSOLVER=2620 FILE ID=node114/4243017-1500670653 RUNJOBID= node114-1500668252-13650 PBS_JOBID= 20623304 Free space on /tmp= 62008 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js20-15/SuperTaillard-js-20-15-15.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243017-1500670653/watcher-4243017-1500670653 -o /tmp/evaluation-result-4243017-1500670653/solver-4243017-1500670653 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500668252-13650 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4243017-1500670653.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 6d7e3033fdb5217c74d2816bb8c5b7b8 RANDOM SEED=1126682919 node114.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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 : 2533.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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31983428 kB MemAvailable: 31989040 kB Buffers: 41144 kB Cached: 274568 kB SwapCached: 0 kB Active: 201476 kB Inactive: 211064 kB Active(anon): 99932 kB Inactive(anon): 8836 kB Active(file): 101544 kB Inactive(file): 202228 kB Unevictable: 5664 kB Mlocked: 5664 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2828 kB Writeback: 0 kB AnonPages: 102844 kB Mapped: 31012 kB Shmem: 8848 kB Slab: 67188 kB SReclaimable: 35352 kB SUnreclaim: 31836 kB KernelStack: 4272 kB PageTables: 5176 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 367764 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 47104 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 62004 MiB End job on node114 at 2017-07-21 23:37:34