Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 84 | 1800.27 | 1800.81 |
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.02 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.02 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.02 c type "bsolo -h" for help 0.00/0.02 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.02 c Time Limit set to 1800 0.00/0.02 c Memory Limit set to 1800 MB 0.00/0.02 c Instance file /tmp/evaluation/453135-1178119072/instance-453135-1178119072.opb 0.00/0.02 c File size is 457459 bytes. 0.17/0.21 c Highest Coefficient sum: 1000 0.17/0.21 c Parsing was ok!! 0.17/0.21 c Total parsing time: 0.189 s 0.17/0.26 c Var: 32640 Constr: 64280 32640/0/31640 Lit: 222480 Watch. Lit: 160200 0.17/0.26 c Obj. Vars: 1000 (3.06373 % of total variables) 2.86/2.92 c Pre-processing Time: 2.897 s 2.86/2.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.86/2.92 c 0 32640 64280 222480 3 160200 200719 0 0 2.90 2.86/2.92 c Switching off LPR mode. 2.86/2.96 o 999 2.941 2.97/3.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.97/3.02 c 0 32640 64281 223480 3 160203 201386 1 0 2.96 2.97/3.02 o 998 3.002 2.97/3.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.97/3.09 c 0 32640 64282 224480 3 160207 202386 2 0 3.02 2.97/3.09 o 997 3.067 3.07/3.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.07/3.15 c 0 32640 64283 225480 3 160212 203386 3 0 3.08 3.07/3.15 o 996 3.133 3.17/3.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.17/3.22 c 0 32640 64284 226480 3 160218 204386 4 0 3.15 3.17/3.22 o 995 3.198 3.17/3.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.17/3.29 c 0 32640 64285 227480 3 160225 205386 5 0 3.22 3.17/3.29 o 994 3.268 3.27/3.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.27/3.36 c 0 32640 64286 228480 3 160233 206386 6 0 3.29 3.27/3.36 o 993 3.335 3.37/3.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.37/3.42 c 0 32640 64287 229480 3 160242 207386 7 0 3.35 3.37/3.42 o 992 3.398 3.37/3.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.37/3.49 c 0 32640 64288 230480 3 160252 208386 8 0 3.42 3.37/3.49 o 991 3.47 3.47/3.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.47/3.56 c 0 32640 64289 231480 3 160263 209386 9 0 3.49 3.47/3.56 o 990 3.536 3.56/3.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.56/3.63 c 0 32640 64290 232480 3 160275 210386 10 0 3.56 3.56/3.63 o 989 3.606 3.66/3.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.66/3.70 c 0 32640 64291 233480 3 160288 211386 11 0 3.62 3.66/3.70 o 988 3.678 3.66/3.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.66/3.77 c 0 32640 64292 234480 3 160302 212386 12 0 3.70 3.66/3.77 o 987 3.752 3.76/3.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.76/3.85 c 0 32640 64293 235480 3 160317 213386 13 0 3.77 3.76/3.85 o 986 3.826 3.87/3.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.87/3.92 c 0 32640 64294 236480 3 160333 214386 14 0 3.85 3.87/3.92 o 985 3.894 3.87/3.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.87/3.98 c 0 32640 64295 237480 3 160350 215386 15 0 3.91 3.87/3.98 o 984 3.963 3.97/4.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.97/4.05 c 0 32640 64296 238480 3 160368 216386 16 0 3.98 3.97/4.05 o 983 4.025 4.06/4.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.06/4.11 c 0 32640 64297 239480 3 160387 217386 17 0 4.04 4.06/4.11 o 982 4.093 4.06/4.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.06/4.18 c 0 32640 64298 240480 3 160407 218386 18 0 4.11 4.06/4.18 o 981 4.163 4.16/4.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.16/4.26 c 0 32640 64299 241480 3 160428 219386 19 0 4.18 4.16/4.26 o 980 4.237 4.27/4.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.27/4.33 c 0 32640 64300 242480 3 160450 220386 20 0 4.26 4.27/4.33 o 979 4.304 4.27/4.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.27/4.40 c 0 32640 64301 243480 3 160473 221386 21 0 4.32 4.27/4.40 o 978 4.377 4.37/4.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.37/4.47 c 0 32640 64302 244480 3 160497 222386 22 0 4.40 4.37/4.47 o 977 4.446 4.46/4.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.46/4.54 c 0 32640 64303 245480 3 160522 223386 23 0 4.46 4.46/4.54 o 976 4.517 4.57/4.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.57/4.61 c 0 32640 64304 246480 3 160548 224386 24 0 4.54 4.57/4.61 o 975 4.586 4.57/4.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.57/4.67 c 0 32640 64305 247480 3 160575 225386 25 0 4.61 4.57/4.67 o 974 4.65 4.67/4.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.67/4.75 c 0 32640 64306 248480 3 160603 226386 26 0 4.67 4.67/4.75 o 973 4.723 4.77/4.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.77/4.82 c 0 32640 64307 249480 3 160632 227386 27 0 4.74 4.77/4.82 o 972 4.791 4.77/4.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.77/4.88 c 0 32640 64308 250480 3 160662 228386 28 0 4.81 4.77/4.88 o 971 4.852 4.86/4.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.86/4.94 c 0 32640 64309 251480 3 160693 229386 29 0 4.87 4.86/4.94 o 970 4.918 4.96/5.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.96/5.00 c 0 32640 64310 252480 3 160725 230386 30 0 4.94 4.96/5.00 o 969 4.978 4.96/5.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.96/5.07 c 0 32640 64311 253480 3 160758 231386 31 0 5.00 4.96/5.07 o 968 5.044 5.07/5.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.07/5.13 c 0 32640 64312 254480 3 160792 232386 32 0 5.06 5.07/5.13 o 967 5.106 5.16/5.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.16/5.21 c 1 32640 64314 256448 3 160829 232386 34 0 5.12 5.16/5.21 o 88 5.184 5.16/5.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.16/5.29 c 1 32640 64315 257448 4 161743 232386 35 0 5.21 5.16/5.29 o 86 5.267 5.26/5.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.26/5.38 c 1 32640 64316 258448 4 162659 232386 36 0 5.29 5.26/5.38 o 85 5.351 5.37/5.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.37/5.48 c 1 32640 64317 259448 4 163576 232386 37 0 5.38 5.37/5.48 o 84 5.454 1799.97/1800.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.97/1800.51 c 40 32640 64357 267211 4 164572 232386 77 7 5.48 1799.97/1800.51 c 141 32640 64458 284795 4 164774 255625 178 25 5.61 1799.97/1800.51 c 392 32640 64709 326783 5 165276 281188 429 67 5.79 1799.97/1800.51 c 868 32640 65185 416026 6 166228 309307 905 141 6.13 1799.97/1800.51 c 1681 32640 65998 570852 8 167854 340238 1718 252 6.67 1799.97/1800.51 c 3002 32640 67319 835667 12 170496 374262 3039 391 7.66 1799.97/1800.51 c 5083 32640 69400 1241769 17 174658 411689 5120 556 9.14 1799.97/1800.51 c 8306 32640 72623 1966779 27 181104 452858 8343 675 12.30 1799.97/1800.51 c 13243 32640 77560 2886908 37 190978 498144 13280 794 16.66 1799.97/1800.51 c 20749 32640 85066 4597710 54 205990 547959 20786 863 24.04 1799.97/1800.51 c 32110 32640 96427 6955113 72 228712 602755 32147 931 34.45 1799.97/1800.51 c 49254 32640 113571 10991767 96 263000 663031 49291 758 64.97 1799.97/1800.51 c 75074 32640 139391 16242786 116 314640 729335 75111 657 114.22 1799.97/1800.52 c 113907 32640 178224 25081446 140 392306 802269 113944 560 203.07 1799.97/1800.52 c 172259 32640 236576 37566179 158 509010 882496 172296 470 366.14 1799.97/1800.52 c 259894 32640 324211 67158773 207 684280 970746 259931 338 768.90 1799.97/1800.52 c 391447 32640 455764 104313034 228 947386 500000 391484 247 1584.41 1799.97/1800.52 c Resources Exceeded 1799.97/1800.52 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 1799.97/1800.52 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 1799.97/1800.52 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 1799.97/1800.52 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 1799.97/1800.52 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 x129 -x130 -x131 1799.97/1800.52 v -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 1799.97/1800.52 v -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 1799.97/1800.52 v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 1799.97/1800.52 v -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 1799.97/1800.52 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 1799.97/1800.52 v -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 1799.97/1800.52 v -x258 -x259 -x260 -x261 x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 1799.97/1800.52 v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 1799.97/1800.52 v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 1799.97/1800.52 v x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 1799.97/1800.52 v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 1799.97/1800.52 v -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 1799.97/1800.52 v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 1799.97/1800.52 v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 1799.97/1800.52 v -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 1799.97/1800.52 v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 1799.97/1800.52 v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 1799.97/1800.52 v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 1799.97/1800.52 v -x510 -x511 -x512 -x513 -x514 x515 -x516 x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 1799.97/1800.52 v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 x549 -x550 -x551 1799.97/1800.52 v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 1799.97/1800.52 v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 1799.97/1800.52 v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 1799.97/1800.52 v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 1799.97/1800.52 v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 1799.97/1800.52 v -x657 -x658 -x659 x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 1799.97/1800.52 v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 1799.97/1800.52 v -x699 -x700 -x701 x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 1799.97/1800.52 v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 1799.97/1800.52 v -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 1799.97/1800.52 v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 1799.97/1800.52 v -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 x798 -x799 x800 -x801 -x802 -x803 1799.97/1800.52 v -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 1799.97/1800.52 v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 1799.97/1800.52 v -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 1799.97/1800.52 v -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 1799.97/1800.52 v -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 x906 -x907 -x908 1799.97/1800.52 v -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 1799.97/1800.52 v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 1799.97/1800.52 v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 x966 -x967 -x968 -x969 -x970 -x971 1799.97/1800.52 v -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 1799.97/1800.52 v -x993 -x994 -x995 x996 -x997 -x998 -x999 -x1000 1799.97/1800.52 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.97/1800.52 c 53 451788 164443 882642 516105 116430687 451825 250 1800.00 1799.97/1800.52 c Objective: 84 1799.97/1800.52 s SATISFIABLE 1799.97/1800.52 c Total time: 1800 s
OK 84
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-453135-1178119072 -o ROOT/results/node1/solver-453135-1178119072 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453135-1178119072/instance-453135-1178119072.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.99 3/77 22556 /proc/meminfo: memFree=942384/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=1408 CPUtime=0 /proc/22556/stat : 22556 (bsolo3.0.16) D 22554 22556 21675 0 -1 4194304 39 0 0 0 0 0 0 0 18 0 1 0 287945019 1441792 25 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 5829412 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/22556/statm: 352 25 20 324 0 2 0 [startup+0.078761 s] /proc/loadavg: 0.92 0.98 0.99 3/77 22556 /proc/meminfo: memFree=942384/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=7284 CPUtime=0.04 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 1125 0 4 0 4 0 0 0 18 0 1 0 287945019 7458816 1099 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 1821 1100 324 324 0 778 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 7284 [startup+0.101763 s] /proc/loadavg: 0.92 0.98 0.99 3/77 22556 /proc/meminfo: memFree=942384/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=8448 CPUtime=0.06 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 1421 0 4 0 6 0 0 0 18 0 1 0 287945019 8650752 1395 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 2112 1396 337 324 0 1069 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 8448 [startup+0.301786 s] /proc/loadavg: 0.92 0.98 0.99 3/77 22556 /proc/meminfo: memFree=942384/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=20412 CPUtime=0.26 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 4537 0 4 0 25 1 0 0 19 0 1 0 287945019 20901888 4359 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 5103 4359 306 324 0 4172 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 20412 [startup+0.701832 s] /proc/loadavg: 0.92 0.98 0.99 3/77 22556 /proc/meminfo: memFree=942384/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=20412 CPUtime=0.66 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 4537 0 4 0 64 2 0 0 23 0 1 0 287945019 20901888 4359 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 5103 4359 306 324 0 4172 0 Current children cumulated CPU time (s) 0.66 Current children cumulated vsize (KiB) 20412 [startup+1.50193 s] /proc/loadavg: 0.93 0.98 0.99 2/78 22557 /proc/meminfo: memFree=925416/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=20412 CPUtime=1.46 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 4537 0 4 0 143 3 0 0 25 0 1 0 287945019 20901888 4359 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 5103 4359 306 324 0 4172 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 20412 [startup+3.10111 s] /proc/loadavg: 0.93 0.98 0.99 2/78 22557 /proc/meminfo: memFree=925288/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=21312 CPUtime=3.07 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 5911 0 4 0 297 10 0 0 25 0 1 0 287945019 21823488 4577 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134576043 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 5328 4577 311 324 0 4397 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 21312 [startup+6.30249 s] /proc/loadavg: 0.93 0.98 0.99 2/78 22557 /proc/meminfo: memFree=923816/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=24280 CPUtime=6.26 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 6649 0 4 0 612 14 0 0 25 0 1 0 287945019 24862720 5315 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 6070 5315 312 324 0 5139 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 24280 [startup+12.7012 s] /proc/loadavg: 0.94 0.98 0.99 2/78 22557 /proc/meminfo: memFree=901864/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=45620 CPUtime=12.66 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 12015 0 4 0 1246 20 0 0 25 0 1 0 287945019 46714880 10681 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 6270756 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 11405 10681 312 324 0 10474 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 45620 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/78 22557 /proc/meminfo: memFree=862056/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=84840 CPUtime=25.46 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 21804 0 4 0 2518 28 0 0 25 0 1 0 287945019 86876160 20470 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 21210 20470 312 324 0 20279 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 84840 [startup+51.1017 s] /proc/loadavg: 0.97 0.98 0.99 2/78 22557 /proc/meminfo: memFree=801640/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=145256 CPUtime=51.05 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 36926 0 4 0 5062 43 0 0 25 0 1 0 287945019 148742144 35592 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 36314 35592 312 324 0 35383 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 145256 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 22557 /proc/meminfo: memFree=726184/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=219412 CPUtime=102.24 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 55464 0 4 0 10160 64 0 0 25 0 1 0 287945019 224677888 54130 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 54853 54130 312 324 0 53922 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 219412 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22557 /proc/meminfo: memFree=637672/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=308544 CPUtime=162.22 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 77721 0 4 0 16134 88 0 0 25 0 1 0 287945019 315949056 76387 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 77136 76387 312 324 0 76205 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 308544 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22557 /proc/meminfo: memFree=563432/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=382056 CPUtime=222.2 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 96099 0 4 0 22112 108 0 0 25 0 1 0 287945019 391225344 94765 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 95514 94765 312 324 0 94583 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 382056 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22557 /proc/meminfo: memFree=502056/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=443540 CPUtime=282.18 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 111479 0 4 0 28092 126 0 0 25 0 1 0 287945019 454184960 110145 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 110885 110145 312 324 0 109954 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 443540 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22557 /proc/meminfo: memFree=446248/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=498844 CPUtime=342.17 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 125323 0 4 0 34075 142 0 0 25 0 1 0 287945019 510816256 123989 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 124711 123989 312 324 0 123780 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 498844 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22557 /proc/meminfo: memFree=373288/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=572608 CPUtime=402.15 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 143756 0 4 0 40055 160 0 0 25 0 1 0 287945019 586350592 142422 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551770 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 143152 142422 312 324 0 142221 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 572608 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22557 /proc/meminfo: memFree=302376/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=642488 CPUtime=462.14 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 161214 0 4 0 46035 179 0 0 25 0 1 0 287945019 657907712 159880 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 160622 159880 312 324 0 159691 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 642488 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22557 /proc/meminfo: memFree=245288/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=699976 CPUtime=522.12 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 175581 0 4 0 52018 194 0 0 25 0 1 0 287945019 716775424 174247 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 174994 174247 312 324 0 174063 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 699976 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22557 /proc/meminfo: memFree=194536/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=750000 CPUtime=582.11 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 188090 0 4 0 58006 205 0 0 25 0 1 0 287945019 768000000 186756 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 187500 186756 312 324 0 186569 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 750000 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22557 /proc/meminfo: memFree=148200/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=795896 CPUtime=642.09 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 199575 0 4 0 63996 213 0 0 25 0 1 0 287945019 814997504 198241 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 198974 198241 312 324 0 198043 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 795896 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22557 /proc/meminfo: memFree=15016/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=998616 CPUtime=882.02 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 250238 0 4 0 87941 261 0 0 25 0 1 0 287945019 1022582784 248904 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 249654 248904 312 324 0 248723 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 998616 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22557 /proc/meminfo: memFree=16296/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=1041012 CPUtime=942.01 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 260849 0 4 0 93928 273 0 0 25 0 1 0 287945019 1065996288 259515 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 260253 259515 312 324 0 259322 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 1041012 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22557 /proc/meminfo: memFree=15848/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=1077508 CPUtime=1001.99 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 269985 0 4 0 99916 283 0 0 25 0 1 0 287945019 1103368192 268651 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 269377 268651 312 324 0 268446 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 1077508 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22559 /proc/meminfo: memFree=15528/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=1117724 CPUtime=1061.97 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 280032 0 4 0 105903 294 0 0 25 0 1 0 287945019 1144549376 278698 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 279431 278698 312 324 0 278500 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 1117724 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22559 /proc/meminfo: memFree=16040/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=1172020 CPUtime=1121.96 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 293601 0 4 0 111893 303 0 0 25 0 1 0 287945019 1200148480 292267 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 6258840 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 293005 292267 312 324 0 292074 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 1172020 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22559 /proc/meminfo: memFree=15592/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=1216552 CPUtime=1181.94 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 304727 0 4 0 117882 312 0 0 25 0 1 0 287945019 1245749248 303393 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 304138 303393 312 324 0 303207 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 1216552 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22559 /proc/meminfo: memFree=15848/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=1251848 CPUtime=1241.93 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 313549 0 4 0 123873 320 0 0 25 0 1 0 287945019 1281892352 312215 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 6262312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 312962 312215 312 324 0 312031 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 1251848 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22559 /proc/meminfo: memFree=15592/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=1280040 CPUtime=1301.91 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 320623 0 4 0 129860 331 0 0 25 0 1 0 287945019 1310760960 319289 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 320010 319289 312 324 0 319079 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1280040 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22559 /proc/meminfo: memFree=16040/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=1306644 CPUtime=1361.9 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 327253 0 4 0 135849 341 0 0 25 0 1 0 287945019 1338003456 325919 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 326661 325919 312 324 0 325730 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1306644 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22559 /proc/meminfo: memFree=16168/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=1334324 CPUtime=1421.89 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 334191 0 4 0 141839 350 0 0 25 0 1 0 287945019 1366347776 332857 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 333581 332857 312 324 0 332650 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1334324 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22559 /proc/meminfo: memFree=15336/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=1354272 CPUtime=1481.87 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 339181 0 4 0 147831 356 0 0 25 0 1 0 287945019 1386774528 337847 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 338568 337847 312 324 0 337637 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1354272 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22559 /proc/meminfo: memFree=15656/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=1375924 CPUtime=1541.84 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 344584 0 4 0 153823 361 0 0 25 0 1 0 287945019 1408946176 343250 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 343981 343250 312 324 0 343050 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1375924 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22559 /proc/meminfo: memFree=14824/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=1415364 CPUtime=1601.83 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 354448 0 4 0 159809 374 0 0 25 0 1 0 287945019 1449332736 353114 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 353841 353114 312 324 0 352910 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1415364 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22559 /proc/meminfo: memFree=15272/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=1464484 CPUtime=1661.81 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 366714 0 4 0 165792 389 0 0 25 0 1 0 287945019 1499631616 365380 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 366121 365380 312 324 0 365190 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1464484 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22559 /proc/meminfo: memFree=14952/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=1504676 CPUtime=1721.8 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 376756 0 4 0 171780 400 0 0 25 0 1 0 287945019 1540788224 375422 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 376169 375422 312 324 0 375238 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1504676 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22559 /proc/meminfo: memFree=16232/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=1540648 CPUtime=1781.78 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194304 385772 0 4 0 177764 414 0 0 25 0 1 0 287945019 1577623552 384438 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 385162 384438 312 324 0 384231 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1540648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22559 /proc/meminfo: memFree=512056/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=0 CPUtime=1800.08 /proc/22556/stat : 22556 (bsolo3.0.16) R 22554 22556 21675 0 -1 4194308 388198 0 4 0 179582 426 0 0 17 0 1 0 287945019 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22556/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22559 /proc/meminfo: memFree=512056/2055920 swapFree=4145736/4192956 [pid=22556] ppid=22554 vsize=0 CPUtime=1800.26 /proc/22556/stat : 22556 (bsolo3.0.16) D 22554 22556 21675 0 -1 4194308 388198 0 4 0 179582 444 0 0 19 0 1 0 287945019 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100051646 0 0 17 1 0 0 /proc/22556/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.81 CPU time (s): 1800.27 CPU user time (s): 1795.83 CPU system time (s): 4.44432 CPU usage (%): 99.9701 Max. virtual memory (cumulated for all children) (KiB): 1550332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.83 system time used= 4.44432 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 388198 page faults= 4 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24 involuntary context switches= 3870 runsolver used 1.53877 second user time and 4.36734 second system time The end
Begin job on node1 on Wed May 2 15:17:52 UTC 2007 IDJOB= 453135 IDBENCH= 48110 IDSOLVER= 163 FILE ID= node1/453135-1178119072 PBS_JOBID= 4751026 Free space on /tmp= 54608 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_1.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453135-1178119072/instance-453135-1178119072.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-453135-1178119072 -o ROOT/results/node1/solver-453135-1178119072 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453135-1178119072/instance-453135-1178119072.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 0c93b84d697c3c1b68cbcf423dabc710 RANDOM SEED= 183144680 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.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.234 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.234 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: 942728 kB Buffers: 31520 kB Cached: 952644 kB SwapCached: 14756 kB Active: 46344 kB Inactive: 967784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 942728 kB SwapTotal: 4192956 kB SwapFree: 4145736 kB Dirty: 7188 kB Writeback: 0 kB Mapped: 35756 kB Slab: 84400 kB Committed_AS: 9397792 kB PageTables: 1848 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= 54608 MiB End job on node1 on Wed May 2 15:47:55 UTC 2007