Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 84 | 1800.3 | 1800.76 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_25_1.opb |
MD5SUM | 0c93b84d697c3c1b68cbcf423dabc710 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 72 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 72 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1000 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 52 |
Number of terms in the objective function | 1000 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1000 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 31640 |
Sum of products size (including duplicates) | 63280 |
Number of different products | 31640 |
Sum of products size | 63280 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/453141-1178119094/instance-453141-1178119094.opb 0.00/0.00 c File size is 457459 bytes. 0.09/0.19 c Highest Coefficient sum: 1000 0.09/0.19 c Parsing was ok!! 0.09/0.19 c Total parsing time: 0.19 s 0.19/0.24 c Var: 32640 Constr: 64280 32640/0/31640 Lit: 222480 Watch. Lit: 160200 0.19/0.24 c Obj. Vars: 1000 (3.06373 % of total variables) 2.79/2.88 c Pre-processing Time: 2.877 s 2.79/2.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.88 c 0 32640 64280 222480 3 160200 200719 0 0 2.88 2.79/2.88 c Switching off LPR mode. 2.89/2.92 o 999 2.919 2.89/2.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.98 c 0 32640 64281 223480 3 160203 201386 1 0 2.94 2.89/2.98 o 998 2.978 2.98/3.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.98/3.04 c 0 32640 64282 224480 3 160207 202386 2 0 3.00 2.98/3.04 o 997 3.041 3.08/3.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.08/3.10 c 0 32640 64283 225480 3 160212 203386 3 0 3.06 3.08/3.10 o 996 3.105 3.08/3.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.08/3.17 c 0 32640 64284 226480 3 160218 204386 4 0 3.12 3.08/3.17 o 995 3.167 3.19/3.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.24 c 0 32640 64285 227480 3 160225 205386 5 0 3.19 3.19/3.24 o 994 3.236 3.29/3.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.30 c 0 32640 64286 228480 3 160233 206386 6 0 3.25 3.29/3.30 o 993 3.301 3.29/3.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.36 c 0 32640 64287 229480 3 160242 207386 7 0 3.32 3.29/3.36 o 992 3.363 3.38/3.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.38/3.43 c 0 32640 64288 230480 3 160252 208386 8 0 3.38 3.38/3.43 o 991 3.433 3.49/3.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.50 c 0 32640 64289 231480 3 160263 209386 9 0 3.45 3.49/3.50 o 990 3.497 3.49/3.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.56 c 0 32640 64290 232480 3 160275 210386 10 0 3.52 3.49/3.56 o 989 3.564 3.59/3.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.63 c 0 32640 64291 233480 3 160288 211386 11 0 3.58 3.59/3.63 o 988 3.633 3.69/3.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.71 c 0 32640 64292 234480 3 160302 212386 12 0 3.65 3.69/3.71 o 987 3.705 3.69/3.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.78 c 0 32640 64293 235480 3 160317 213386 13 0 3.72 3.69/3.78 o 986 3.776 3.79/3.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.84 c 0 32640 64294 236480 3 160333 214386 14 0 3.79 3.79/3.84 o 985 3.841 3.89/3.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.91 c 0 32640 64295 237480 3 160350 215386 15 0 3.86 3.89/3.91 o 984 3.907 3.89/3.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.97 c 0 32640 64296 238480 3 160368 216386 16 0 3.92 3.89/3.97 o 983 3.967 3.99/4.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.03 c 0 32640 64297 239480 3 160387 217386 17 0 3.98 3.99/4.03 o 982 4.032 4.09/4.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.10 c 0 32640 64298 240480 3 160407 218386 18 0 4.05 4.09/4.10 o 981 4.099 4.09/4.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.17 c 0 32640 64299 241480 3 160428 219386 19 0 4.12 4.09/4.17 o 980 4.17 4.19/4.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.24 c 0 32640 64300 242480 3 160450 220386 20 0 4.19 4.19/4.24 o 979 4.235 4.30/4.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.30/4.31 c 0 32640 64301 243480 3 160473 221386 21 0 4.25 4.30/4.31 o 978 4.306 4.30/4.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.30/4.37 c 0 32640 64302 244480 3 160497 222386 22 0 4.32 4.30/4.37 o 977 4.372 4.40/4.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.40/4.44 c 0 32640 64303 245480 3 160522 223386 23 0 4.39 4.40/4.44 o 976 4.441 4.49/4.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.51 c 0 32640 64304 246480 3 160548 224386 24 0 4.46 4.49/4.51 o 975 4.506 4.49/4.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.57 c 0 32640 64305 247480 3 160575 225386 25 0 4.53 4.49/4.57 o 974 4.568 4.59/4.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.64 c 0 32640 64306 248480 3 160603 226386 26 0 4.59 4.59/4.64 o 973 4.639 4.69/4.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.70 c 0 32640 64307 249480 3 160632 227386 27 0 4.66 4.69/4.70 o 972 4.704 4.69/4.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.77 c 0 32640 64308 250480 3 160662 228386 28 0 4.72 4.69/4.77 o 971 4.765 4.79/4.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.83 c 0 32640 64309 251480 3 160693 229386 29 0 4.78 4.79/4.83 o 970 4.828 4.79/4.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.89 c 0 32640 64310 252480 3 160725 230386 30 0 4.85 4.79/4.89 o 969 4.888 4.89/4.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.95 c 0 32640 64311 253480 3 160758 231386 31 0 4.91 4.89/4.95 o 968 4.953 4.99/5.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.01 c 0 32640 64312 254480 3 160792 232386 32 0 4.97 4.99/5.01 o 967 5.015 4.99/5.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.09 c 1 32640 64314 256448 3 160829 232386 34 0 5.03 4.99/5.09 o 88 5.094 5.09/5.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.18 c 1 32640 64315 257448 4 161743 232386 35 0 5.12 5.09/5.18 o 86 5.178 5.19/5.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.19/5.26 c 1 32640 64316 258448 4 162659 232386 36 0 5.20 5.19/5.26 o 85 5.262 5.29/5.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.36 c 1 32640 64317 259448 4 163576 232386 37 0 5.29 5.29/5.36 o 84 5.364 1800.05/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.05/1800.50 c 40 32640 64357 267211 4 164572 232386 77 7 5.39 1800.05/1800.50 c 141 32640 64458 284795 4 164774 255625 178 25 5.51 1800.05/1800.50 c 392 32640 64709 326783 5 165276 281188 429 68 5.70 1800.05/1800.50 c 868 32640 65185 416026 6 166228 309307 905 143 6.03 1800.05/1800.50 c 1681 32640 65998 570852 8 167854 340238 1718 256 6.56 1800.05/1800.50 c 3002 32640 67319 835667 12 170496 374262 3039 397 7.55 1800.05/1800.50 c 5083 32640 69400 1241769 17 174658 411689 5120 563 9.02 1800.05/1800.50 c 8306 32640 72623 1966779 27 181104 452858 8343 683 12.15 1800.05/1800.50 c 13243 32640 77560 2886908 37 190978 498144 13280 801 16.52 1800.05/1800.50 c 20749 32640 85066 4597710 54 205990 547959 20786 869 23.87 1800.05/1800.50 c 32110 32640 96427 6955113 72 228712 602755 32147 939 34.16 1800.05/1800.50 c 49254 32640 113571 10991767 96 263000 663031 49291 762 64.62 1800.05/1800.50 c 75074 32640 139391 16242786 116 314640 729335 75111 660 113.58 1800.05/1800.50 c 113907 32640 178224 25081446 140 392306 802269 113944 563 202.10 1800.05/1800.50 c 172259 32640 236576 37566179 158 509010 882496 172296 472 364.37 1800.05/1800.50 c 259894 32640 324211 67158773 207 684280 970746 259931 339 765.07 1800.05/1800.50 c 391447 32640 455764 104313034 228 947386 500000 391484 248 1577.41 1800.05/1800.50 c Caught signal: 15 1800.05/1800.50 v x1 -x2 x3 -x4 x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 x13 -x14 x15 -x16 x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 1800.05/1800.50 v x32 x33 -x34 -x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 -x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 x60 1800.05/1800.50 v -x61 x62 x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 1800.05/1800.50 v -x87 -x88 -x89 -x90 -x91 -x92 x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 1800.05/1800.50 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 x129 -x130 -x131 1800.05/1800.50 v -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 1800.05/1800.50 v -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 1800.05/1800.50 v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 1800.05/1800.50 v -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 1800.05/1800.50 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 1800.05/1800.50 v -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 1800.05/1800.50 v -x258 -x259 -x260 -x261 x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 1800.05/1800.50 v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 1800.05/1800.50 v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 1800.05/1800.50 v x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 1800.05/1800.50 v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 1800.05/1800.50 v -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 1800.05/1800.50 v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 1800.05/1800.50 v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 1800.05/1800.50 v -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 1800.05/1800.50 v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 1800.05/1800.50 v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 1800.05/1800.50 v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 1800.05/1800.50 v -x510 -x511 -x512 -x513 -x514 x515 -x516 x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 1800.05/1800.50 v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 x549 -x550 -x551 1800.05/1800.50 v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 1800.05/1800.50 v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 1800.05/1800.50 v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 1800.05/1800.50 v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 1800.05/1800.50 v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 1800.05/1800.50 v -x657 -x658 -x659 x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 1800.05/1800.50 v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 1800.05/1800.50 v -x699 -x700 -x701 x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 1800.05/1800.50 v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 1800.05/1800.50 v -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 1800.05/1800.50 v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 1800.05/1800.50 v -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 x798 -x799 x800 -x801 -x802 -x803 1800.05/1800.50 v -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 1800.05/1800.50 v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 1800.05/1800.50 v -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 1800.05/1800.50 v -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 1800.05/1800.50 v -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 x906 -x907 -x908 1800.05/1800.50 v -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 1800.05/1800.50 v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 1800.05/1800.50 v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 x966 -x967 -x968 -x969 -x970 -x971 1800.05/1800.50 v -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 1800.05/1800.50 v -x993 -x994 -x995 x996 -x997 -x998 -x999 -x1000 1800.05/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.50 c 53 453135 164913 884959 517452 116868099 453172 251 1800.05 1800.05/1800.50 c Objective: 84 1800.05/1800.50 s SATISFIABLE 1800.05/1800.50 c Total time: 1800.05 s
OK 84
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-453141-1178119094 -o ROOT/results/node14/solver-453141-1178119094 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453141-1178119094/instance-453141-1178119094.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.91 3/77 19888 /proc/meminfo: memFree=1812480/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=12184 CPUtime=0 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 369 0 0 0 0 0 0 0 18 0 1 0 259827176 12476416 339 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 3046 339 280 324 0 2004 0 [startup+0.070051 s] /proc/loadavg: 0.92 0.98 0.91 3/77 19888 /proc/meminfo: memFree=1812480/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=8040 CPUtime=0.06 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 1307 0 0 0 6 0 0 0 18 0 1 0 259827176 8232960 1277 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134538921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 2010 1277 329 324 0 968 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 8040 [startup+0.101053 s] /proc/loadavg: 0.92 0.98 0.91 3/77 19888 /proc/meminfo: memFree=1812480/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=9552 CPUtime=0.09 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 1711 0 0 0 9 0 0 0 18 0 1 0 259827176 9781248 1681 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 2388 1682 348 324 0 1346 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9552 [startup+0.301073 s] /proc/loadavg: 0.92 0.98 0.91 3/77 19888 /proc/meminfo: memFree=1812480/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=20412 CPUtime=0.28 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 4539 0 0 0 27 1 0 0 19 0 1 0 259827176 20901888 4357 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 5103 4357 304 324 0 4173 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 20412 [startup+0.701111 s] /proc/loadavg: 0.92 0.98 0.91 3/77 19888 /proc/meminfo: memFree=1812480/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=20412 CPUtime=0.68 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 4539 0 0 0 67 1 0 0 22 0 1 0 259827176 20901888 4357 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 5103 4357 304 324 0 4173 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 20412 [startup+1.50119 s] /proc/loadavg: 0.92 0.98 0.91 2/78 19889 /proc/meminfo: memFree=1796152/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=20412 CPUtime=1.49 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 4539 0 0 0 146 3 0 0 25 0 1 0 259827176 20901888 4357 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 5103 4357 304 324 0 4173 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20412 [startup+3.10134 s] /proc/loadavg: 0.92 0.98 0.91 2/78 19889 /proc/meminfo: memFree=1796024/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=21312 CPUtime=3.08 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 5913 0 0 0 299 9 0 0 25 0 1 0 259827176 21823488 4575 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 5328 4575 309 324 0 4398 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 21312 [startup+6.30164 s] /proc/loadavg: 0.93 0.98 0.91 2/78 19889 /proc/meminfo: memFree=1794360/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=24808 CPUtime=6.29 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 6804 0 0 0 619 10 0 0 25 0 1 0 259827176 25403392 5466 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 6202 5466 310 324 0 5272 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24808 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.91 2/78 19889 /proc/meminfo: memFree=1772152/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=46392 CPUtime=12.68 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 12206 0 0 0 1255 13 0 0 25 0 1 0 259827176 47505408 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134547807 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 11598 10868 310 324 0 10668 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 46392 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.91 2/78 19889 /proc/meminfo: memFree=1731768/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=85612 CPUtime=25.48 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 22010 0 0 0 2529 19 0 0 25 0 1 0 259827176 87666688 20672 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 21403 20672 310 324 0 20473 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 85612 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.91 2/78 19889 /proc/meminfo: memFree=1671224/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=145900 CPUtime=51.07 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 37063 0 0 0 5077 30 0 0 25 0 1 0 259827176 149401600 35725 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 36475 35725 310 324 0 35545 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 145900 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.91 2/78 19889 /proc/meminfo: memFree=1596024/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=220064 CPUtime=102.25 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 55611 0 0 0 10183 42 0 0 25 0 1 0 259827176 225345536 54273 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 55016 54273 310 324 0 54086 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 220064 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.91 2/78 19889 /proc/meminfo: memFree=1507064/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=309436 CPUtime=162.24 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 77942 0 0 0 16167 57 0 0 25 0 1 0 259827176 316862464 76604 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7361427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 77359 76604 310 324 0 76429 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 309436 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.91 2/78 19889 /proc/meminfo: memFree=1432312/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=383696 CPUtime=222.22 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 96537 0 0 0 22151 71 0 0 25 0 1 0 259827176 392904704 95199 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 95924 95199 310 324 0 94994 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 383696 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.91 2/78 19889 /proc/meminfo: memFree=1371320/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=444692 CPUtime=282.21 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 111777 0 0 0 28137 84 0 0 25 0 1 0 259827176 455364608 110439 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 111173 110439 310 324 0 110243 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 444692 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.91 2/78 19889 /proc/meminfo: memFree=1315128/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=500392 CPUtime=342.2 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 125692 0 0 0 34123 97 0 0 25 0 1 0 259827176 512401408 124354 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550907 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 125098 124354 310 324 0 124168 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 500392 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.91 2/78 19889 /proc/meminfo: memFree=1241144/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=575068 CPUtime=402.19 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 144358 0 0 0 40109 110 0 0 25 0 1 0 259827176 588869632 143020 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 143767 143020 310 324 0 142837 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 575068 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.91 2/78 19889 /proc/meminfo: memFree=1170616/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=644572 CPUtime=462.17 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 161758 0 0 0 46097 120 0 0 25 0 1 0 259827176 660041728 160420 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551377 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 161143 160420 310 324 0 160213 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 644572 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.91 2/78 19889 /proc/meminfo: memFree=1113656/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=701900 CPUtime=522.16 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 176089 0 0 0 52084 132 0 0 25 0 1 0 259827176 718745600 174751 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 175475 174751 310 324 0 174545 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 701900 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.91 2/78 19889 /proc/meminfo: memFree=1063224/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=751656 CPUtime=582.14 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 188502 0 0 0 58076 138 0 0 25 0 1 0 259827176 769695744 187164 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 187914 187164 310 324 0 186984 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 751656 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.91 2/78 19889 /proc/meminfo: memFree=1016248/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=798200 CPUtime=642.13 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 200156 0 0 0 64066 147 0 0 25 0 1 0 259827176 817356800 198818 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 199550 198818 310 324 0 198620 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 798200 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.91 2/78 19889 /proc/meminfo: memFree=770616/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=1043660 CPUtime=942.04 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 261516 0 0 0 94019 185 0 0 25 0 1 0 259827176 1068707840 260178 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 260915 260178 310 324 0 259985 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 1043660 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 19889 /proc/meminfo: memFree=732664/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=1081344 CPUtime=1002.04 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 270943 0 0 0 100011 193 0 0 25 0 1 0 259827176 1107296256 269605 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 270336 269605 310 324 0 269406 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 1081344 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 19889 /proc/meminfo: memFree=691704/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=1122536 CPUtime=1062.02 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 281224 0 0 0 106003 199 0 0 25 0 1 0 259827176 1149476864 279886 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 280634 279886 310 324 0 279704 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1122536 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 19889 /proc/meminfo: memFree=637624/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=1176408 CPUtime=1122.01 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 294692 0 0 0 111995 206 0 0 25 0 1 0 259827176 1204641792 293354 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 294102 293354 310 324 0 293172 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 1176408 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 19889 /proc/meminfo: memFree=593848/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=1220384 CPUtime=1181.99 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 305700 0 0 0 117987 212 0 0 25 0 1 0 259827176 1249673216 304362 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 305096 304362 310 324 0 304166 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 1220384 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 19889 /proc/meminfo: memFree=558776/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=1254584 CPUtime=1241.97 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 314252 0 0 0 123979 218 0 0 25 0 1 0 259827176 1284694016 312914 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 313646 312914 310 324 0 312716 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 1254584 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 19889 /proc/meminfo: memFree=530104/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=1283004 CPUtime=1301.96 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 321357 0 0 0 129971 225 0 0 25 0 1 0 259827176 1313796096 320019 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 320751 320019 310 324 0 319821 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1283004 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 19891 /proc/meminfo: memFree=503544/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=1309612 CPUtime=1361.95 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 328002 0 0 0 135963 232 0 0 25 0 1 0 259827176 1341042688 326664 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 327403 326664 310 324 0 326473 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1309612 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.91 2/78 19891 /proc/meminfo: memFree=475448/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=1337432 CPUtime=1421.94 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 334964 0 0 0 141955 239 0 0 25 0 1 0 259827176 1369530368 333626 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 334358 333626 310 324 0 333428 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1337432 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 19891 /proc/meminfo: memFree=456312/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=1356596 CPUtime=1481.91 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 339744 0 0 0 147949 242 0 0 25 0 1 0 259827176 1389154304 338406 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 339149 338406 310 324 0 338219 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1356596 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 19891 /proc/meminfo: memFree=435128/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=1377616 CPUtime=1541.9 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 344999 0 0 0 153944 246 0 0 25 0 1 0 259827176 1410678784 343661 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 344404 343661 310 324 0 343474 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1377616 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 19891 /proc/meminfo: memFree=391672/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=1421560 CPUtime=1601.88 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 355982 0 0 0 159933 255 0 0 25 0 1 0 259827176 1455677440 354644 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 355390 354644 310 324 0 354460 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1421560 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 19891 /proc/meminfo: memFree=342520/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=1470168 CPUtime=1661.87 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 368134 0 0 0 165920 267 0 0 25 0 1 0 259827176 1505452032 366796 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 367542 366796 310 324 0 366612 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1470168 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 19891 /proc/meminfo: memFree=302328/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=1510500 CPUtime=1721.85 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 378223 0 0 0 171909 276 0 0 25 0 1 0 259827176 1546752000 376885 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 377625 376885 310 324 0 376695 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1510500 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 19891 /proc/meminfo: memFree=268024/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=1544396 CPUtime=1781.84 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 386703 0 0 0 177900 284 0 0 25 0 1 0 259827176 1581461504 385365 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 386099 385365 310 324 0 385169 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1544396 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.91 2/78 19891 /proc/meminfo: memFree=256120/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=1556060 CPUtime=1800.05 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194304 389628 0 0 0 179718 287 0 0 25 0 1 0 259827176 1593405440 388290 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 389015 388290 310 324 0 388085 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1556060 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 0.98 0.91 2/79 19892 /proc/meminfo: memFree=838576/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=0 CPUtime=1800.15 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194308 389632 0 0 0 179718 297 0 0 25 0 1 0 259827176 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.91 2/79 19892 /proc/meminfo: memFree=838576/2055920 swapFree=4148808/4192956 [pid=19888] ppid=19886 vsize=0 CPUtime=1800.24 /proc/19888/stat : 19888 (bsolo3.0.17) R 19886 19888 19108 0 -1 4194308 389632 0 0 0 179718 306 0 0 25 0 1 0 259827176 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/19888/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.76 CPU time (s): 1800.3 CPU user time (s): 1797.18 CPU system time (s): 3.12152 CPU usage (%): 99.9747 Max. virtual memory (cumulated for all children) (KiB): 1556060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.18 system time used= 3.12153 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 389632 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= 12 involuntary context switches= 1672 runsolver used 1.35079 second user time and 3.9434 second system time The end
Begin job on node14 on Wed May 2 15:18:14 UTC 2007 IDJOB= 453141 IDBENCH= 48110 IDSOLVER= 199 FILE ID= node14/453141-1178119094 PBS_JOBID= 4751012 Free space on /tmp= 66557 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453141-1178119094/instance-453141-1178119094.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-453141-1178119094 -o ROOT/results/node14/solver-453141-1178119094 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453141-1178119094/instance-453141-1178119094.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 0c93b84d697c3c1b68cbcf423dabc710 RANDOM SEED= 50148981 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node14.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.227 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.227 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1812888 kB Buffers: 95016 kB Cached: 62336 kB SwapCached: 11220 kB Active: 76200 kB Inactive: 107948 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1812888 kB SwapTotal: 4192956 kB SwapFree: 4148808 kB Dirty: 7116 kB Writeback: 0 kB Mapped: 32432 kB Slab: 44408 kB Committed_AS: 9220492 kB PageTables: 1792 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66557 MiB End job on node14 on Wed May 2 15:48:17 UTC 2007