Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 84 | 1800.25 | 1800.72 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_25_4.opb |
MD5SUM | b02c0aa46abe377e9678cb0b7b4280ae |
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.18 |
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 | 51 |
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) | 31592 |
Sum of products size (including duplicates) | 63184 |
Number of different products | 31592 |
Sum of products size | 63184 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/453375-1178133584/instance-453375-1178133584.opb 0.00/0.00 c File size is 456771 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.188 s 0.19/0.24 c Var: 32592 Constr: 64184 32592/0/31592 Lit: 222144 Watch. Lit: 159960 0.19/0.24 c Obj. Vars: 1000 (3.06824 % of total variables) 2.79/2.86 c Pre-processing Time: 2.855 s 2.79/2.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.86 c 0 32592 64184 222144 3 159960 200415 0 0 2.85 2.79/2.86 c Switching off LPR mode. 2.89/2.90 o 999 2.899 2.89/2.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.96 c 0 32592 64185 223144 3 159963 201082 1 0 2.92 2.89/2.96 o 998 2.956 2.98/3.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.98/3.02 c 0 32592 64186 224144 3 159967 202082 2 0 2.97 2.98/3.02 o 997 3.022 3.08/3.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.08/3.10 c 0 32592 64187 225144 3 159972 203082 3 0 3.04 3.08/3.10 o 996 3.097 3.08/3.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.08/3.17 c 0 32592 64188 226144 3 159978 204082 4 0 3.12 3.08/3.17 o 995 3.171 3.19/3.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.24 c 0 32592 64189 227144 3 159985 205082 5 0 3.19 3.19/3.24 o 994 3.233 3.29/3.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.31 c 0 32592 64190 228144 3 159993 206082 6 0 3.25 3.29/3.31 o 993 3.305 3.29/3.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.38 c 0 32592 64191 229144 3 160002 207082 7 0 3.32 3.29/3.38 o 992 3.376 3.38/3.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.38/3.44 c 0 32592 64192 230144 3 160012 208082 8 0 3.40 3.38/3.44 o 991 3.44 3.48/3.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.48/3.52 c 0 32592 64193 231144 3 160023 209082 9 0 3.46 3.48/3.52 o 990 3.513 3.48/3.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.48/3.59 c 0 32592 64194 232144 3 160035 210082 10 0 3.53 3.48/3.59 o 989 3.584 3.58/3.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.58/3.66 c 0 32592 64195 233144 3 160048 211082 11 0 3.60 3.58/3.66 o 988 3.651 3.69/3.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.73 c 0 32592 64196 234144 3 160062 212082 12 0 3.67 3.69/3.73 o 987 3.722 3.78/3.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.78/3.80 c 0 32592 64197 235144 3 160077 213082 13 0 3.74 3.78/3.80 o 986 3.793 3.78/3.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.78/3.86 c 0 32592 64198 236144 3 160093 214082 14 0 3.81 3.78/3.86 o 985 3.856 3.88/3.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.88/3.93 c 0 32592 64199 237144 3 160110 215082 15 0 3.87 3.88/3.93 o 984 3.928 3.88/3.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.88/3.99 c 0 32592 64200 238144 3 160128 216082 16 0 3.95 3.88/3.99 o 983 3.989 3.98/4.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.98/4.06 c 0 32592 64201 239144 3 160147 217082 17 0 4.01 3.98/4.06 o 982 4.054 4.08/4.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.08/4.13 c 0 32592 64202 240144 3 160167 218082 18 0 4.07 4.08/4.13 o 981 4.126 4.08/4.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.08/4.19 c 0 32592 64203 241144 3 160188 219082 19 0 4.14 4.08/4.19 o 980 4.19 4.19/4.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.26 c 0 32592 64204 242144 3 160210 220082 20 0 4.21 4.19/4.26 o 979 4.251 4.29/4.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.33 c 0 32592 64205 243144 3 160233 221082 21 0 4.27 4.29/4.33 o 978 4.323 4.29/4.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.40 c 0 32592 64206 244144 3 160257 222082 22 0 4.34 4.29/4.40 o 977 4.391 4.39/4.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.39/4.46 c 0 32592 64207 245144 3 160282 223082 23 0 4.41 4.39/4.46 o 976 4.456 4.48/4.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.48/4.53 c 0 32592 64208 246144 3 160308 224082 24 0 4.47 4.48/4.53 o 975 4.528 4.58/4.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.58/4.60 c 0 32592 64209 247144 3 160335 225082 25 0 4.55 4.58/4.60 o 974 4.601 4.58/4.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.58/4.68 c 0 32592 64210 248144 3 160363 226082 26 0 4.62 4.58/4.68 o 973 4.673 4.68/4.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.68/4.75 c 0 32592 64211 249144 3 160392 227082 27 0 4.69 4.68/4.75 o 972 4.742 4.79/4.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.82 c 0 32592 64212 250144 3 160422 228082 28 0 4.76 4.79/4.82 o 971 4.814 4.79/4.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.89 c 0 32592 64213 251144 3 160453 229082 29 0 4.83 4.79/4.89 o 970 4.885 4.88/4.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.88/4.95 c 0 32592 64214 252144 3 160485 230082 30 0 4.90 4.88/4.95 o 969 4.946 4.98/5.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.98/5.02 c 0 32592 64215 253144 3 160518 231082 31 0 4.96 4.98/5.02 o 968 5.011 4.98/5.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.98/5.09 c 0 32592 64216 254144 3 160552 232082 32 0 5.03 4.98/5.09 o 967 5.083 5.09/5.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.15 c 0 32592 64217 255144 3 160587 233082 33 0 5.10 5.09/5.15 o 965 5.146 5.19/5.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.19/5.23 c 1 32592 64219 257111 4 160626 233082 35 0 5.17 5.19/5.23 o 86 5.227 5.29/5.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.32 c 1 32592 64220 258111 4 161542 233082 36 0 5.25 5.29/5.32 o 85 5.312 5.39/5.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.43 c 1 32592 64221 259111 4 162459 233082 37 0 5.34 5.39/5.43 o 84 5.422 1799.92/1800.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.92/1800.47 c 45 32592 64266 267616 4 163465 233082 82 8 5.45 1799.92/1800.47 c 147 32592 64368 285964 4 163669 256391 184 26 5.58 1799.92/1800.47 c 397 32592 64618 337213 5 164169 282031 434 68 5.83 1799.92/1800.47 c 873 32592 65094 411746 6 165121 310235 910 141 6.16 1799.92/1800.47 c 1688 32592 65909 561312 8 166751 341259 1725 251 6.72 1799.92/1800.47 c 3009 32592 67230 805745 11 169393 375385 3046 397 7.57 1799.92/1800.47 c 5091 32592 69312 1270122 18 173557 412924 5128 564 9.02 1799.92/1800.47 c 8314 32592 72535 1909476 26 180003 454217 8351 710 11.71 1799.92/1800.47 c 13250 32592 77471 2813937 36 189875 499639 13287 845 15.67 1799.92/1800.47 c 20756 32592 84977 4314530 50 204887 549603 20793 916 22.65 1799.92/1800.47 c 32117 32592 96338 6736969 69 227609 604564 32154 852 37.66 1799.92/1800.47 c 49262 32592 113483 10727887 94 261899 665021 49299 786 62.61 1799.92/1800.47 c 75081 32592 139302 16443445 118 313537 731524 75118 652 115.03 1799.92/1800.47 c 113913 32592 178134 24488980 137 391201 804677 113950 557 204.23 1799.92/1800.47 c 172266 32592 236487 38693220 163 507907 885145 172303 423 406.81 1799.92/1800.47 c 259899 32592 324120 58212629 179 683173 973660 259936 334 777.08 1799.92/1800.47 c 391451 32592 455672 91531428 200 946277 500000 391488 252 1549.85 1799.92/1800.47 c Resources Exceeded 1799.92/1800.47 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 -x32 1799.92/1800.47 v 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 x61 -x62 1799.92/1800.47 v -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 1799.92/1800.47 v -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 1799.92/1800.47 v -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 1799.92/1800.47 v -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 1799.92/1800.47 v -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 1799.92/1800.47 v -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 1799.92/1800.47 v -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 1799.92/1800.47 v -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 1799.92/1800.47 v -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 1799.92/1800.47 v -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 1799.92/1800.47 v -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 1799.92/1800.47 v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 1799.92/1800.47 v -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 1799.92/1800.47 v -x343 -x344 -x345 -x346 -x347 x348 -x349 x350 x351 x352 x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 1799.92/1800.47 v -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 x383 -x384 -x385 1799.92/1800.47 v -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 1799.92/1800.47 v -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 1799.92/1800.47 v -x428 x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 1799.92/1800.47 v -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 1799.92/1800.47 v -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 1799.92/1800.47 v -x491 -x492 -x493 -x494 x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 1799.92/1800.47 v -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 1799.92/1800.47 v -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 1799.92/1800.47 v -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 1799.92/1800.47 v -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 x594 x595 1799.92/1800.47 v x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 1799.92/1800.47 v -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 1799.92/1800.47 v -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 1799.92/1800.47 v -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 1799.92/1800.47 v -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 1799.92/1800.47 v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 1799.92/1800.47 v -x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 x735 -x736 x737 x738 -x739 -x740 x741 -x742 -x743 1799.92/1800.47 v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 1799.92/1800.47 v -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 1799.92/1800.47 v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 1799.92/1800.47 v x807 -x808 x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 1799.92/1800.47 v -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 1799.92/1800.47 v -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 1799.92/1800.47 v -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 1799.92/1800.47 v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 1799.92/1800.47 v -x912 -x913 -x914 -x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 1799.92/1800.47 v -x933 -x934 x935 x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 1799.92/1800.47 v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 1799.92/1800.47 v -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 1799.92/1800.47 v x996 -x997 -x998 -x999 -x1000 1799.92/1800.47 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.92/1800.47 c 53 437851 163055 899485 502072 107003900 437888 243 1800.01 1799.92/1800.47 c Objective: 84 1799.92/1800.47 s SATISFIABLE 1799.92/1800.47 c Total time: 1800.01 s
OK 84
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node7/watcher-453375-1178133584 -o ROOT/results/node7/solver-453375-1178133584 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453375-1178133584/instance-453375-1178133584.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 13486 /proc/meminfo: memFree=1657960/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=12184 CPUtime=0 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 289396081 12476416 336 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 3046 336 281 324 0 2003 0 [startup+0.052909 s] /proc/loadavg: 0.92 0.98 0.99 3/77 13486 /proc/meminfo: memFree=1657960/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=6984 CPUtime=0.04 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 1051 0 0 0 4 0 0 0 18 0 1 0 289396081 7151616 1021 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 1746 1021 321 324 0 703 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 6984 [startup+0.101913 s] /proc/loadavg: 0.92 0.98 0.99 3/77 13486 /proc/meminfo: memFree=1657960/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=9556 CPUtime=0.09 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 1731 0 0 0 9 0 0 0 18 0 1 0 289396081 9785344 1701 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 2389 1701 351 324 0 1346 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9556 [startup+0.301934 s] /proc/loadavg: 0.92 0.98 0.99 3/77 13486 /proc/meminfo: memFree=1657960/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=20396 CPUtime=0.29 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 4536 0 0 0 27 2 0 0 19 0 1 0 289396081 20885504 4354 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 5099 4354 306 324 0 4168 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20396 [startup+0.701976 s] /proc/loadavg: 0.92 0.98 0.99 3/77 13486 /proc/meminfo: memFree=1657960/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=20396 CPUtime=0.69 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 4536 0 0 0 67 2 0 0 23 0 1 0 289396081 20885504 4354 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 5099 4354 306 324 0 4168 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20396 [startup+1.50106 s] /proc/loadavg: 0.92 0.98 0.99 2/78 13487 /proc/meminfo: memFree=1641632/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=20396 CPUtime=1.49 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 4536 0 0 0 145 4 0 0 25 0 1 0 289396081 20885504 4354 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 5099 4354 306 324 0 4168 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20396 [startup+3.10123 s] /proc/loadavg: 0.92 0.98 0.99 2/78 13487 /proc/meminfo: memFree=1641504/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=21292 CPUtime=3.08 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 5908 0 0 0 297 11 0 0 25 0 1 0 289396081 21803008 4572 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 5323 4572 311 324 0 4392 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 21292 [startup+6.30257 s] /proc/loadavg: 0.93 0.98 0.99 2/78 13487 /proc/meminfo: memFree=1640160/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=24144 CPUtime=6.29 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 6627 0 0 0 612 17 0 0 25 0 1 0 289396081 24723456 5291 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 6036 5291 312 324 0 5105 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24144 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/78 13487 /proc/meminfo: memFree=1617248/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=47512 CPUtime=12.68 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 12478 0 0 0 1246 22 0 0 25 0 1 0 289396081 48652288 11142 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 11878 11142 312 324 0 10947 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 47512 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.99 2/78 13487 /proc/meminfo: memFree=1578336/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=84352 CPUtime=25.48 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 21683 0 0 0 2518 30 0 0 25 0 1 0 289396081 86376448 20347 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 21088 20347 312 324 0 20157 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 84352 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/78 13487 /proc/meminfo: memFree=1520608/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=142600 CPUtime=51.07 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 36260 0 0 0 5063 44 0 0 25 0 1 0 289396081 146022400 34924 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 35650 34924 312 324 0 34719 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 142600 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 13487 /proc/meminfo: memFree=1439968/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=221920 CPUtime=102.27 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 56093 0 0 0 10163 64 0 0 25 0 1 0 289396081 227246080 54757 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 10846277 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 55480 54757 312 324 0 54549 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 221920 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13487 /proc/meminfo: memFree=1353632/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=308664 CPUtime=162.25 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 77782 0 0 0 16142 83 0 0 25 0 1 0 289396081 316071936 76446 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 10851197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 77166 76446 312 324 0 76235 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 308664 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13487 /proc/meminfo: memFree=1283168/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=378696 CPUtime=222.23 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 95286 0 0 0 22124 99 0 0 25 0 1 0 289396081 387784704 93950 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 94674 93950 312 324 0 93743 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 378696 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13487 /proc/meminfo: memFree=1210784/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=451376 CPUtime=282.22 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 113443 0 0 0 28101 121 0 0 25 0 1 0 289396081 462209024 112107 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 112844 112107 312 324 0 111913 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 451376 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13487 /proc/meminfo: memFree=1165792/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=495632 CPUtime=342.2 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 124504 0 0 0 34089 131 0 0 25 0 1 0 289396081 507527168 123168 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 123908 123168 312 324 0 122977 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 495632 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13487 /proc/meminfo: memFree=1133792/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=527924 CPUtime=402.19 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 132570 0 0 0 40079 140 0 0 25 0 1 0 289396081 540594176 131234 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 131981 131234 312 324 0 131050 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 527924 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13487 /proc/meminfo: memFree=1073184/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=588028 CPUtime=462.17 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 147621 0 0 0 46059 158 0 0 25 0 1 0 289396081 602140672 146285 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 147007 146285 312 324 0 146076 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 588028 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13487 /proc/meminfo: memFree=1028320/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=633612 CPUtime=522.15 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 159001 0 0 0 52044 171 0 0 25 0 1 0 289396081 648818688 157665 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 158403 157665 312 324 0 157472 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 633612 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13487 /proc/meminfo: memFree=977824/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=683428 CPUtime=582.13 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 171466 0 0 0 58029 184 0 0 25 0 1 0 289396081 699830272 170130 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 170857 170130 312 324 0 169926 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 683428 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13487 /proc/meminfo: memFree=936288/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=724556 CPUtime=642.13 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 181730 0 0 0 64016 197 0 0 25 0 1 0 289396081 741945344 180394 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 181139 180394 312 324 0 180208 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 724556 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13489 /proc/meminfo: memFree=718816/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=942484 CPUtime=942.04 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 236226 0 0 0 93947 257 0 0 25 0 1 0 289396081 965103616 234890 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 235621 234890 312 324 0 234690 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 942484 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13489 /proc/meminfo: memFree=672608/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=987724 CPUtime=1002.03 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 247533 0 0 0 99935 268 0 0 25 0 1 0 289396081 1011429376 246197 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 246931 246197 312 324 0 246000 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 987724 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13489 /proc/meminfo: memFree=638048/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=1022588 CPUtime=1062.01 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 256238 0 0 0 105925 276 0 0 25 0 1 0 289396081 1047130112 254902 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 10850075 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 255647 254902 312 324 0 254716 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1022588 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13489 /proc/meminfo: memFree=606432/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=1053904 CPUtime=1122 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 264085 0 0 0 111915 285 0 0 25 0 1 0 289396081 1079197696 262749 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 263476 262749 312 324 0 262545 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1053904 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13489 /proc/meminfo: memFree=583392/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=1077164 CPUtime=1181.99 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 269907 0 0 0 117906 293 0 0 25 0 1 0 289396081 1103015936 268571 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 10850454 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 269291 268571 312 324 0 268360 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 1077164 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13489 /proc/meminfo: memFree=558048/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=1102160 CPUtime=1241.97 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 276148 0 0 0 123897 300 0 0 25 0 1 0 289396081 1128611840 274812 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 275540 274812 312 324 0 274609 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 1102160 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13489 /proc/meminfo: memFree=533024/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=1127048 CPUtime=1301.96 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 282350 0 0 0 129888 308 0 0 25 0 1 0 289396081 1154097152 281014 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 281762 281014 312 324 0 280831 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1127048 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13489 /proc/meminfo: memFree=505632/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=1154448 CPUtime=1361.93 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 289211 0 0 0 135879 314 0 0 25 0 1 0 289396081 1182154752 287875 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 288612 287875 312 324 0 287681 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1154448 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13489 /proc/meminfo: memFree=483552/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=1176392 CPUtime=1421.93 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 294711 0 0 0 141873 320 0 0 25 0 1 0 289396081 1204625408 293375 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 294098 293375 312 324 0 293167 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1176392 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13489 /proc/meminfo: memFree=456544/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=1203548 CPUtime=1481.9 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 301501 0 0 0 147863 327 0 0 25 0 1 0 289396081 1232433152 300165 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 300887 300165 312 324 0 299956 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1203548 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13489 /proc/meminfo: memFree=434848/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=1225104 CPUtime=1541.89 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 306873 0 0 0 153855 334 0 0 25 0 1 0 289396081 1254506496 305537 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 306276 305537 312 324 0 305345 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1225104 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13489 /proc/meminfo: memFree=379424/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=1280844 CPUtime=1601.88 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 320827 0 0 0 159842 346 0 0 25 0 1 0 289396081 1311584256 319491 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 320211 319491 312 324 0 319280 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1280844 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13489 /proc/meminfo: memFree=331104/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=1328696 CPUtime=1661.86 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 332766 0 0 0 165828 358 0 0 25 0 1 0 289396081 1360584704 331430 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 332174 331430 312 324 0 331243 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1328696 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13489 /proc/meminfo: memFree=285984/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=1373932 CPUtime=1721.85 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 344087 0 0 0 171817 368 0 0 25 0 1 0 289396081 1406906368 342751 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 343483 342751 312 324 0 342552 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1373932 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13489 /proc/meminfo: memFree=243488/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=1416308 CPUtime=1781.83 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194304 354688 0 0 0 177807 376 0 0 25 0 1 0 289396081 1450299392 353352 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 354077 353352 312 324 0 353146 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1416308 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13489 /proc/meminfo: memFree=369568/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=0 CPUtime=1800.03 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194308 357830 0 0 0 179622 381 0 0 17 0 1 0 289396081 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 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.61 s] /proc/loadavg: 0.99 0.98 0.99 2/79 13490 /proc/meminfo: memFree=979352/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=0 CPUtime=1800.13 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194308 357830 0 0 0 179622 391 0 0 17 0 1 0 289396081 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/79 13490 /proc/meminfo: memFree=979352/2055920 swapFree=4157020/4192956 [pid=13486] ppid=13484 vsize=0 CPUtime=1800.23 /proc/13486/stat : 13486 (bsolo3.0.16) R 13484 13486 12540 0 -1 4194308 357830 0 0 0 179622 401 0 0 18 0 1 0 289396081 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13486/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.25 CPU user time (s): 1796.22 CPU system time (s): 4.02039 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 1428812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.22 system time used= 4.02039 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 357830 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= 13 involuntary context switches= 2001 runsolver used 1.40479 second user time and 3.9524 second system time The end
Begin job on node7 on Wed May 2 19:19:45 UTC 2007 IDJOB= 453375 IDBENCH= 48126 IDSOLVER= 163 FILE ID= node7/453375-1178133584 PBS_JOBID= 4751052 Free space on /tmp= 66558 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_4.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453375-1178133584/instance-453375-1178133584.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-453375-1178133584 -o ROOT/results/node7/solver-453375-1178133584 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453375-1178133584/instance-453375-1178133584.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= b02c0aa46abe377e9678cb0b7b4280ae RANDOM SEED= 924619319 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node7.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.231 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.231 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: 1658368 kB Buffers: 200364 kB Cached: 82876 kB SwapCached: 15756 kB Active: 195680 kB Inactive: 114288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1658368 kB SwapTotal: 4192956 kB SwapFree: 4157020 kB Dirty: 7152 kB Writeback: 0 kB Mapped: 32820 kB Slab: 73032 kB Committed_AS: 14456776 kB PageTables: 1868 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= 66558 MiB End job on node7 on Wed May 2 19:49:47 UTC 2007