Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 84 | 1800.28 | 1800.94 |
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.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/453381-1178133786/instance-453381-1178133786.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.19 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.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 32592 64184 222144 3 159960 200415 0 0 2.88 2.79/2.88 c Switching off LPR mode. 2.89/2.92 o 999 2.919 2.89/2.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.97 c 0 32592 64185 223144 3 159963 201082 1 0 2.94 2.89/2.97 o 998 2.974 2.99/3.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.04 c 0 32592 64186 224144 3 159967 202082 2 0 2.99 2.99/3.04 o 997 3.039 3.09/3.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.11 c 0 32592 64187 225144 3 159972 203082 3 0 3.06 3.09/3.11 o 996 3.109 3.09/3.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.18 c 0 32592 64188 226144 3 159978 204082 4 0 3.13 3.09/3.18 o 995 3.179 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.20 3.19/3.24 o 994 3.24 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.26 3.29/3.31 o 993 3.311 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.33 3.29/3.38 o 992 3.382 3.39/3.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.44 c 0 32592 64192 230144 3 160012 208082 8 0 3.40 3.39/3.44 o 991 3.444 3.49/3.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.51 c 0 32592 64193 231144 3 160023 209082 9 0 3.46 3.49/3.51 o 990 3.514 3.49/3.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.58 c 0 32592 64194 232144 3 160035 210082 10 0 3.53 3.49/3.58 o 989 3.584 3.59/3.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.65 c 0 32592 64195 233144 3 160048 211082 11 0 3.60 3.59/3.65 o 988 3.649 3.69/3.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.72 c 0 32592 64196 234144 3 160062 212082 12 0 3.67 3.69/3.72 o 987 3.717 3.69/3.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.79 c 0 32592 64197 235144 3 160077 213082 13 0 3.73 3.69/3.79 o 986 3.787 3.79/3.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.85 c 0 32592 64198 236144 3 160093 214082 14 0 3.81 3.79/3.85 o 985 3.848 3.89/3.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.92 c 0 32592 64199 237144 3 160110 215082 15 0 3.87 3.89/3.92 o 984 3.918 3.89/3.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.98 c 0 32592 64200 238144 3 160128 216082 16 0 3.94 3.89/3.98 o 983 3.976 3.99/4.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.04 c 0 32592 64201 239144 3 160147 217082 17 0 4.00 3.99/4.04 o 982 4.039 4.09/4.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.11 c 0 32592 64202 240144 3 160167 218082 18 0 4.06 4.09/4.11 o 981 4.109 4.09/4.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.17 c 0 32592 64203 241144 3 160188 219082 19 0 4.13 4.09/4.17 o 980 4.171 4.19/4.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.23 c 0 32592 64204 242144 3 160210 220082 20 0 4.19 4.19/4.23 o 979 4.229 4.29/4.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.30 c 0 32592 64205 243144 3 160233 221082 21 0 4.25 4.29/4.30 o 978 4.298 4.29/4.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.36 c 0 32592 64206 244144 3 160257 222082 22 0 4.32 4.29/4.36 o 977 4.364 4.39/4.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.39/4.43 c 0 32592 64207 245144 3 160282 223082 23 0 4.38 4.39/4.43 o 976 4.427 4.39/4.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.39/4.50 c 0 32592 64208 246144 3 160308 224082 24 0 4.45 4.39/4.50 o 975 4.496 4.49/4.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.57 c 0 32592 64209 247144 3 160335 225082 25 0 4.51 4.49/4.57 o 974 4.566 4.59/4.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.64 c 0 32592 64210 248144 3 160363 226082 26 0 4.58 4.59/4.64 o 973 4.636 4.69/4.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.70 c 0 32592 64211 249144 3 160392 227082 27 0 4.66 4.69/4.70 o 972 4.702 4.69/4.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.77 c 0 32592 64212 250144 3 160422 228082 28 0 4.72 4.69/4.77 o 971 4.772 4.79/4.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.84 c 0 32592 64213 251144 3 160453 229082 29 0 4.79 4.79/4.84 o 970 4.841 4.89/4.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.90 c 0 32592 64214 252144 3 160485 230082 30 0 4.86 4.89/4.90 o 969 4.899 4.89/4.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.96 c 0 32592 64215 253144 3 160518 231082 31 0 4.92 4.89/4.96 o 968 4.962 4.99/5.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.03 c 0 32592 64216 254144 3 160552 232082 32 0 4.98 4.99/5.03 o 967 5.032 4.99/5.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.09 c 0 32592 64217 255144 3 160587 233082 33 0 5.05 4.99/5.09 o 965 5.092 5.09/5.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.17 c 1 32592 64219 257111 4 160626 233082 35 0 5.11 5.09/5.17 o 86 5.171 5.19/5.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.19/5.25 c 1 32592 64220 258111 4 161542 233082 36 0 5.20 5.19/5.25 o 85 5.255 5.29/5.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.36 c 1 32592 64221 259111 4 162459 233082 37 0 5.28 5.29/5.36 o 84 5.363 1800.03/1800.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.03/1800.71 c 45 32592 64266 267616 4 163465 233082 82 8 5.39 1800.03/1800.71 c 147 32592 64368 285964 4 163669 256391 184 26 5.52 1800.03/1800.71 c 397 32592 64618 337213 5 164169 282031 434 68 5.77 1800.03/1800.71 c 873 32592 65094 411746 6 165121 310235 910 143 6.10 1800.03/1800.71 c 1688 32592 65909 561312 8 166751 341259 1725 253 6.65 1800.03/1800.71 c 3009 32592 67230 805745 11 169393 375385 3046 401 7.50 1800.03/1800.71 c 5091 32592 69312 1270122 18 173557 412924 5128 568 8.95 1800.03/1800.71 c 8314 32592 72535 1909476 26 180003 454217 8351 715 11.61 1800.03/1800.71 c 13250 32592 77471 2813937 36 189875 499639 13287 850 15.57 1800.03/1800.71 c 20756 32592 84977 4314530 50 204887 549603 20793 921 22.53 1800.03/1800.71 c 32117 32592 96338 6736969 69 227609 604564 32154 857 37.45 1800.03/1800.71 c 49262 32592 113483 10727887 94 261899 665021 49299 790 62.32 1800.03/1800.71 c 75081 32592 139302 16443445 118 313537 731524 75118 655 114.45 1800.03/1800.71 c 113913 32592 178134 24488980 137 391201 804677 113950 560 203.38 1800.03/1800.71 c 172266 32592 236487 38693220 163 507907 885145 172303 425 405.16 1800.03/1800.71 c 259899 32592 324120 58212629 179 683173 973660 259936 335 774.10 1800.03/1800.71 c 391451 32592 455672 91531428 200 946277 500000 391488 253 1541.54 1800.03/1800.71 c Caught signal: 15 1800.03/1800.71 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 1800.03/1800.71 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 1800.03/1800.71 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 1800.03/1800.71 v -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 1800.03/1800.71 v -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 1800.03/1800.71 v -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 1800.03/1800.71 v -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 1800.03/1800.71 v -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 1800.03/1800.71 v -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 1800.03/1800.71 v -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 1800.03/1800.71 v -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 1800.03/1800.71 v -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 1800.03/1800.71 v -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 1800.03/1800.71 v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 1800.03/1800.71 v -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 1800.03/1800.71 v -x343 -x344 -x345 -x346 -x347 x348 -x349 x350 x351 x352 x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 1800.03/1800.71 v -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 x383 -x384 -x385 1800.03/1800.71 v -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 1800.03/1800.71 v -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 1800.03/1800.71 v -x428 x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 1800.03/1800.71 v -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 1800.03/1800.71 v -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 1800.03/1800.71 v -x491 -x492 -x493 -x494 x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 1800.03/1800.71 v -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 1800.03/1800.71 v -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 1800.03/1800.71 v -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 1800.03/1800.71 v -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 x594 x595 1800.03/1800.71 v x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 1800.03/1800.71 v -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 1800.03/1800.71 v -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 1800.03/1800.71 v -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 1800.03/1800.71 v -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 1800.03/1800.71 v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 1800.03/1800.71 v -x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 x735 -x736 x737 x738 -x739 -x740 x741 -x742 -x743 1800.03/1800.71 v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 1800.03/1800.71 v -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 1800.03/1800.71 v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 1800.03/1800.71 v x807 -x808 x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 1800.03/1800.71 v -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 1800.03/1800.71 v -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 1800.03/1800.71 v -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 1800.03/1800.71 v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 1800.03/1800.71 v -x912 -x913 -x914 -x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 1800.03/1800.71 v -x933 -x934 x935 x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 1800.03/1800.71 v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 1800.03/1800.71 v -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 1800.03/1800.71 v x996 -x997 -x998 -x999 -x1000 1800.03/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.71 c 53 439180 163428 901513 503401 107336833 439217 243 1800.05 1800.03/1800.71 c Objective: 84 1800.03/1800.71 s SATISFIABLE 1800.03/1800.71 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/node10/watcher-453381-1178133786 -o ROOT/results/node10/solver-453381-1178133786 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453381-1178133786/instance-453381-1178133786.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 14556 /proc/meminfo: memFree=1778424/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=12184 CPUtime=0 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 289416087 12476416 333 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 3046 334 279 324 0 2004 0 [startup+0.082996 s] /proc/loadavg: 0.92 0.98 0.99 3/77 14556 /proc/meminfo: memFree=1778424/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=8592 CPUtime=0.07 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 1461 0 0 0 7 0 0 0 18 0 1 0 289416087 8798208 1431 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 2148 1431 336 324 0 1106 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 8592 [startup+0.102 s] /proc/loadavg: 0.92 0.98 0.99 3/77 14556 /proc/meminfo: memFree=1778424/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=9556 CPUtime=0.09 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 1723 0 0 0 9 0 0 0 18 0 1 0 289416087 9785344 1693 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 2389 1694 348 324 0 1347 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9556 [startup+0.301043 s] /proc/loadavg: 0.92 0.98 0.99 3/77 14556 /proc/meminfo: memFree=1778424/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=20396 CPUtime=0.29 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 4534 0 0 0 27 2 0 0 19 0 1 0 289416087 20885504 4352 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 5099 4352 304 324 0 4169 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20396 [startup+0.701128 s] /proc/loadavg: 0.92 0.98 0.99 3/77 14556 /proc/meminfo: memFree=1778424/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=20396 CPUtime=0.69 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 4534 0 0 0 67 2 0 0 22 0 1 0 289416087 20885504 4352 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 5099 4352 304 324 0 4169 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20396 [startup+1.5013 s] /proc/loadavg: 0.92 0.98 0.99 2/78 14557 /proc/meminfo: memFree=1762224/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=20396 CPUtime=1.49 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 4534 0 0 0 146 3 0 0 25 0 1 0 289416087 20885504 4352 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 5099 4352 304 324 0 4169 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20396 [startup+3.10165 s] /proc/loadavg: 0.93 0.98 0.99 3/78 14557 /proc/meminfo: memFree=1762032/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=21292 CPUtime=3.09 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 5906 0 0 0 300 9 0 0 25 0 1 0 289416087 21803008 4570 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 5323 4570 309 324 0 4393 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21292 [startup+6.30133 s] /proc/loadavg: 0.93 0.98 0.99 2/78 14557 /proc/meminfo: memFree=1760432/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=24404 CPUtime=6.28 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 6706 0 0 0 619 9 0 0 25 0 1 0 289416087 24989696 5370 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550576 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 6101 5370 310 324 0 5171 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 24404 [startup+12.7027 s] /proc/loadavg: 0.94 0.98 0.99 2/78 14557 /proc/meminfo: memFree=1737136/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=47900 CPUtime=12.69 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 12557 0 0 0 1256 13 0 0 25 0 1 0 289416087 49049600 11221 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9338721 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 11975 11221 310 324 0 11045 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 47900 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.99 2/78 14557 /proc/meminfo: memFree=1698288/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=84608 CPUtime=25.48 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 21752 0 0 0 2531 17 0 0 25 0 1 0 289416087 86638592 20416 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 21152 20416 310 324 0 20222 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 84608 [startup+51.102 s] /proc/loadavg: 0.96 0.98 0.99 2/78 14557 /proc/meminfo: memFree=1640112/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=143236 CPUtime=51.07 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 36393 0 0 0 5080 27 0 0 25 0 1 0 289416087 146673664 35057 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9339378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 35809 35057 310 324 0 34879 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 143236 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 3/78 14557 /proc/meminfo: memFree=1559472/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=222568 CPUtime=102.26 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 56238 0 0 0 10183 43 0 0 25 0 1 0 289416087 227909632 54902 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 55642 54902 310 324 0 54712 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 222568 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14557 /proc/meminfo: memFree=1473008/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=309452 CPUtime=162.23 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 77966 0 0 0 16164 59 0 0 25 0 1 0 289416087 316878848 76630 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 77363 76630 310 324 0 76433 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 309452 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14557 /proc/meminfo: memFree=1401840/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=379996 CPUtime=222.21 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 95598 0 0 0 22149 72 0 0 25 0 1 0 289416087 389115904 94262 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 94999 94262 310 324 0 94069 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 379996 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14557 /proc/meminfo: memFree=1329712/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=452528 CPUtime=282.19 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 113723 0 0 0 28133 86 0 0 25 0 1 0 289416087 463388672 112387 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 113132 112387 310 324 0 112202 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 452528 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14557 /proc/meminfo: memFree=1285232/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=496148 CPUtime=342.17 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 124630 0 0 0 34122 95 0 0 25 0 1 0 289416087 508055552 123294 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 124037 123294 310 324 0 123107 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 496148 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14557 /proc/meminfo: memFree=1252848/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=528708 CPUtime=402.14 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 132788 0 0 0 40111 103 0 0 25 0 1 0 289416087 541396992 131452 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 132177 131452 310 324 0 131247 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 528708 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14557 /proc/meminfo: memFree=1192112/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=589200 CPUtime=462.11 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 147893 0 0 0 46096 115 0 0 25 0 1 0 289416087 603340800 146557 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 147300 146557 310 324 0 146370 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 589200 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14557 /proc/meminfo: memFree=1146352/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=635040 CPUtime=522.09 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 159371 0 0 0 52084 125 0 0 25 0 1 0 289416087 650280960 158035 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 158760 158035 310 324 0 157830 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 635040 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14557 /proc/meminfo: memFree=1095408/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=685588 CPUtime=582.08 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 172003 0 0 0 58074 134 0 0 25 0 1 0 289416087 702042112 170667 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 171397 170667 310 324 0 170467 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 685588 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14557 /proc/meminfo: memFree=1054704/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=725844 CPUtime=642.05 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 182068 0 0 0 64063 142 0 0 25 0 1 0 289416087 743264256 180732 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 181461 180732 310 324 0 180531 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 725844 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14559 /proc/meminfo: memFree=834544/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=947700 CPUtime=941.94 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 237514 0 0 0 94011 183 0 0 25 0 1 0 289416087 970444800 236178 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 236925 236178 310 324 0 235995 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 947700 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14559 /proc/meminfo: memFree=790000/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=989828 CPUtime=1001.93 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 248056 0 0 0 100003 190 0 0 25 0 1 0 289416087 1013583872 246720 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 247457 246720 310 324 0 246527 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 989828 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14559 /proc/meminfo: memFree=754608/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=1025720 CPUtime=1061.9 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 257045 0 0 0 105995 195 0 0 25 0 1 0 289416087 1050337280 255709 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 256430 255709 310 324 0 255500 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 1025720 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14559 /proc/meminfo: memFree=723312/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=1056364 CPUtime=1121.88 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 264692 0 0 0 111984 204 0 0 25 0 1 0 289416087 1081716736 263356 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 264091 263356 310 324 0 263161 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 1056364 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14559 /proc/meminfo: memFree=700016/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=1079884 CPUtime=1181.85 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 270563 0 0 0 117976 209 0 0 25 0 1 0 289416087 1105801216 269227 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 269971 269227 310 324 0 269041 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 1079884 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14559 /proc/meminfo: memFree=675248/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=1104220 CPUtime=1241.83 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 276646 0 0 0 123969 214 0 0 25 0 1 0 289416087 1130721280 275310 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 276055 275310 310 324 0 275125 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 1104220 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14559 /proc/meminfo: memFree=649008/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=1130152 CPUtime=1301.81 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 283129 0 0 0 129961 220 0 0 25 0 1 0 289416087 1157275648 281793 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 282538 281793 310 324 0 281608 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 1130152 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14559 /proc/meminfo: memFree=622960/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=1156392 CPUtime=1361.79 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 289682 0 0 0 135954 225 0 0 25 0 1 0 289416087 1184145408 288346 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 289098 288346 310 324 0 288168 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 1156392 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14559 /proc/meminfo: memFree=598960/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=1180108 CPUtime=1421.77 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 295611 0 0 0 141947 230 0 0 25 0 1 0 289416087 1208430592 294275 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550904 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 295027 294275 310 324 0 294097 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 1180108 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14559 /proc/meminfo: memFree=571760/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=1207528 CPUtime=1481.75 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 302476 0 0 0 147939 236 0 0 25 0 1 0 289416087 1236508672 301140 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 301882 301140 310 324 0 300952 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 1207528 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14559 /proc/meminfo: memFree=551856/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=1227056 CPUtime=1541.72 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 307352 0 0 0 153931 241 0 0 25 0 1 0 289416087 1256505344 306016 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 306764 306016 310 324 0 305834 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 1227056 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14559 /proc/meminfo: memFree=490288/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=1289028 CPUtime=1601.7 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 322859 0 0 0 159918 252 0 0 25 0 1 0 289416087 1319964672 321523 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 322257 321523 310 324 0 321327 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 1289028 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14559 /proc/meminfo: memFree=443888/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=1334828 CPUtime=1661.68 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 334311 0 0 0 165907 261 0 0 25 0 1 0 289416087 1366863872 332975 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 333707 332975 310 324 0 332777 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 1334828 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14559 /proc/meminfo: memFree=398256/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=1380680 CPUtime=1721.66 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 345783 0 0 0 171897 269 0 0 25 0 1 0 289416087 1413816320 344447 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 345170 344447 310 324 0 344240 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 1380680 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14559 /proc/meminfo: memFree=353840/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=1424684 CPUtime=1781.64 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 356767 0 0 0 177888 276 0 0 25 0 1 0 289416087 1458876416 355431 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 356171 355431 310 324 0 355241 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 1424684 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14559 /proc/meminfo: memFree=345008/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=1433332 CPUtime=1800.03 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194304 358922 0 0 0 179726 277 0 0 25 0 1 0 289416087 1467731968 357586 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 358333 357586 310 324 0 357403 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1433332 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14559 /proc/meminfo: memFree=345008/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=0 CPUtime=1800.14 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194308 358926 0 0 0 179727 287 0 0 25 0 1 0 289416087 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 [startup+1800.9 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14559 /proc/meminfo: memFree=345008/2055920 swapFree=4145576/4192956 [pid=14556] ppid=14554 vsize=0 CPUtime=1800.23 /proc/14556/stat : 14556 (bsolo3.0.17) R 14554 14556 13419 0 -1 4194308 358926 0 0 0 179727 296 0 0 25 0 1 0 289416087 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/14556/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.94 CPU time (s): 1800.28 CPU user time (s): 1797.27 CPU system time (s): 3.00654 CPU usage (%): 99.9631 Max. virtual memory (cumulated for all children) (KiB): 1433332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.27 system time used= 3.00654 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 358926 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= 1700 runsolver used 1.44078 second user time and 3.84741 second system time The end
Begin job on node10 on Wed May 2 19:23:06 UTC 2007 IDJOB= 453381 IDBENCH= 48126 IDSOLVER= 199 FILE ID= node10/453381-1178133786 PBS_JOBID= 4751045 Free space on /tmp= 66558 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_4.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453381-1178133786/instance-453381-1178133786.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-453381-1178133786 -o ROOT/results/node10/solver-453381-1178133786 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453381-1178133786/instance-453381-1178133786.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= b02c0aa46abe377e9678cb0b7b4280ae RANDOM SEED= 527759790 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.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.259 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.259 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: 1778896 kB Buffers: 109448 kB Cached: 77884 kB SwapCached: 15988 kB Active: 101516 kB Inactive: 116408 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1778896 kB SwapTotal: 4192956 kB SwapFree: 4145576 kB Dirty: 7044 kB Writeback: 0 kB Mapped: 33328 kB Slab: 44712 kB Committed_AS: 4968280 kB PageTables: 1716 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 node10 on Wed May 2 19:53:09 UTC 2007