Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | -26 | 1798 | 1798.4 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_1.opb |
MD5SUM | fac2f381943513d71e556a5764721ca3 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -26 |
Best CPU time to get the best result obtained on this benchmark | 1688.21 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -26 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
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 | 100 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1248 |
Sum of products size (including duplicates) | 2496 |
Number of different products | 624 |
Sum of products size | 1248 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2671004-1276714229.opb 0.00/0.00 c File size is 49316 bytes. 0.00/0.01 c Highest Coefficient sum: 100 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.009 s 0.00/0.01 c Var: 724 Constr: 1448 724/100/624 Lit: 6240 Watch. Lit: 4368 0.00/0.01 c Obj. Vars: 100 (13.8122 % of total variables) 0.00/0.01 c Pre-processing Time: 0.014 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 100 624 1872 3 1248 207 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 0.00/0.01 o -20 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 100 625 1972 3 1270 907 1 0 0.01 0.00/0.01 o -21 0.01/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.03 c 6 100 632 2539 4 1305 941 8 400 0.01 0.01/0.03 c 106 100 732 10080 13 1505 1036 108 4608 0.02 0.01/0.03 o -22 0.01/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.07 c 230 100 857 19555 22 1777 974 233 6764 0.03 0.01/0.07 c 330 100 957 27009 28 1977 1072 333 7857 0.04 0.01/0.07 c 580 100 1207 45654 37 2477 1180 583 8656 0.07 0.01/0.07 o -23 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 621 100 1249 48810 39 2584 1007 625 8625 0.07 0.19/0.21 c 722 100 1350 56245 41 2786 1108 726 8913 0.08 0.19/0.21 c 972 100 1600 74608 46 3286 1219 976 9000 0.11 0.19/0.21 c 1448 100 2076 109480 52 4238 1341 1452 8321 0.17 0.19/0.21 o -24 92.87/92.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 92.87/92.98 c 1782 100 2411 134216 55 4932 1041 1787 8288 0.21 92.87/92.98 c 1882 100 1246 47480 38 2516 1146 622 8218 0.23 92.87/92.98 c 2132 100 1496 65563 43 3016 1261 872 8328 0.26 92.87/92.98 c 2608 100 1972 99982 50 3968 1388 1348 8385 0.31 92.87/92.98 c 3421 100 1386 56797 40 2796 1527 762 8011 0.43 92.87/92.98 c 4741 100 2706 152048 56 5436 1680 2082 8076 0.59 92.87/92.98 c 6823 100 1708 79732 46 3440 1849 1084 7289 0.94 92.87/92.98 c 10046 100 1677 76762 45 3378 2034 1053 6609 1.52 92.87/92.98 c 14983 100 3185 186302 58 6394 2238 2561 6053 2.48 92.87/92.98 c 22490 100 3422 203285 59 6868 2462 2798 5558 4.05 92.87/92.98 c 33852 100 3221 188146 58 6466 2709 2597 5359 6.32 92.87/92.98 c 50997 100 1980 99239 50 3984 2980 1356 4817 10.59 92.87/92.98 c 76817 100 3774 226965 60 7572 3279 3150 4472 17.17 92.87/92.98 c 115651 100 2939 167397 56 5902 3607 2315 4188 27.61 92.87/92.98 c 174003 100 3797 230420 60 7618 3968 3173 3871 44.94 92.87/92.98 c 261636 100 3043 175717 57 6110 4365 2419 3508 74.58 92.87/92.98 o -25 366.22/366.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 366.22/366.34 c 310083 100 5466 348192 63 10981 1074 4842 3335 92.96 366.22/366.34 c 310183 100 1262 46781 37 2549 1182 638 3334 93.02 366.22/366.34 c 310434 100 1513 64680 42 3051 1301 889 3336 93.04 366.22/366.34 c 310909 100 1988 98499 49 4001 1432 1364 3339 93.11 366.22/366.34 c 311723 100 1400 57063 40 2825 1576 776 3343 93.22 366.22/366.34 c 313043 100 2720 151163 55 5465 1734 2096 3352 93.38 366.22/366.34 c 315124 100 1661 75379 45 3347 1908 1037 3362 93.70 366.22/366.34 c 318347 100 1581 69604 44 3187 2099 957 3376 94.28 366.22/366.34 c 323284 100 3026 171653 56 6077 2309 2402 3394 95.23 366.22/366.34 c 330791 100 3146 180684 57 6317 2540 2522 3417 96.79 366.22/366.34 c 342153 100 2750 152305 55 5525 2795 2126 3448 99.22 366.22/366.34 c 359297 100 3163 181934 57 6351 3075 2539 3493 102.83 366.22/366.34 c 385116 100 2191 112109 51 4407 3383 1567 3523 109.29 366.22/366.34 c 423949 100 2897 163007 56 5819 3722 2273 3541 119.70 366.22/366.34 c 482301 100 2486 133587 53 4997 4095 1862 3540 136.24 366.22/366.34 c 569933 100 5193 325713 62 10411 4505 4569 3486 163.47 366.22/366.34 c 701486 100 4238 259016 61 8501 4956 3614 3331 210.59 366.22/366.34 c 898918 100 5165 323324 62 10355 5452 4541 3195 281.30 366.22/366.34 o -26 1797.90/1798.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.90/1798.39 c 1113940 100 4908 306115 62 9867 1107 4284 3041 366.26 1797.90/1798.39 c 1114040 100 1279 48289 37 2584 1218 655 3041 366.31 1797.90/1798.39 c 1114291 100 1530 65973 43 3086 1340 906 3041 366.33 1797.90/1798.39 c 1114766 100 2005 99326 49 4036 1475 1381 3042 366.38 1797.90/1798.39 c 1115580 100 1399 56047 40 2824 1623 775 3043 366.51 1797.90/1798.39 c 1116901 100 2720 148751 54 5466 1786 2096 3045 366.70 1797.90/1798.39 c 1118983 100 1630 72022 44 3286 1965 1006 3048 367.03 1797.90/1798.39 c 1122206 100 3181 181163 56 6388 2162 2557 3052 367.58 1797.90/1798.39 c 1127142 100 2795 152856 54 5616 2379 2171 3058 368.49 1797.90/1798.39 c 1134648 100 2768 151491 54 5562 2617 2144 3067 369.94 1797.90/1798.39 c 1146009 100 2118 105542 49 4262 2879 1494 3076 372.55 1797.90/1798.39 c 1163154 100 2200 111900 50 4426 3167 1576 3091 376.27 1797.90/1798.39 c 1188973 100 2996 166861 55 6018 3484 2372 3107 382.65 1797.90/1798.39 c 1227806 100 2887 159236 55 5800 3833 2263 3124 392.92 1797.90/1798.39 c 1286158 100 3895 229694 58 7816 4217 3271 3136 410.02 1797.90/1798.39 c 1373790 100 4745 289732 61 9516 4639 4121 3137 437.79 1797.90/1798.39 c 1505343 100 3938 233148 59 7902 5103 3314 3131 480.67 1797.90/1798.39 c 1702775 100 3710 217866 58 7446 5614 3086 3074 553.91 1797.90/1798.39 c 1999028 100 6267 395472 63 12560 6176 5643 2971 672.70 1797.90/1798.39 c 2443511 100 5166 319273 61 10358 6794 4542 2799 872.86 1797.90/1798.39 c 3110338 100 6018 378044 62 12062 7474 5394 2565 1212.17 1797.90/1798.39 c 4110684 100 6579 416595 63 13184 8222 5955 2374 1730.82 1797.90/1798.39 c Resources Exceeded 1797.90/1798.39 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 -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 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 x89 x90 -x91 -x92 x93 -x94 x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 1797.90/1798.39 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.90/1798.39 c 66 4223035 232945 4492926 8522 553271 7898 2348 1798.00 1797.90/1798.39 c Objective: -26 1797.90/1798.39 s SATISFIABLE 1797.90/1798.39 c Total time: 1798 s
OK -26
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671004-1276714229/watcher-2671004-1276714229 -o /tmp/evaluation-result-2671004-1276714229/solver-2671004-1276714229 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671004-1276714229.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 18577 /proc/meminfo: memFree=1854488/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=10848 CPUtime=0 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 338 0 0 0 0 0 0 0 19 0 1 0 12718334 11108352 256 1992294400 134512640 137138936 4293754624 18446744073709551615 136736868 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 2712 256 175 642 0 2055 0 [startup+0.018403 s] /proc/loadavg: 0.92 0.98 0.99 3/106 18577 /proc/meminfo: memFree=1854488/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=11060 CPUtime=0.01 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 426 0 0 0 1 0 0 0 19 0 1 0 12718334 11325440 331 1992294400 134512640 137138936 4293754624 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 2765 331 191 642 0 2121 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11060 [startup+0.101409 s] /proc/loadavg: 0.92 0.98 0.99 3/106 18577 /proc/meminfo: memFree=1854488/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=11804 CPUtime=0.09 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 616 0 0 0 9 0 0 0 20 0 1 0 12718334 12087296 521 1992294400 134512640 137138936 4293754624 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 2951 522 191 642 0 2307 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11804 [startup+0.301421 s] /proc/loadavg: 0.92 0.98 0.99 3/106 18577 /proc/meminfo: memFree=1854488/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=12812 CPUtime=0.29 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 850 0 0 0 29 0 0 0 20 0 1 0 12718334 13119488 755 1992294400 134512640 137138936 4293754624 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 3203 755 191 642 0 2559 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12812 [startup+0.701446 s] /proc/loadavg: 0.92 0.98 0.99 3/106 18577 /proc/meminfo: memFree=1854488/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=13316 CPUtime=0.69 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 994 0 0 0 69 0 0 0 21 0 1 0 12718334 13635584 899 1992294400 134512640 137138936 4293754624 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 3329 899 191 642 0 2685 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13316 [startup+1.5015 s] /proc/loadavg: 0.92 0.98 0.99 2/107 18578 /proc/meminfo: memFree=1852000/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=13564 CPUtime=1.5 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 1039 0 0 0 149 1 0 0 23 0 1 0 12718334 13889536 944 1992294400 134512640 137138936 4293754624 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 3391 944 191 642 0 2747 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 13564 [startup+3.10159 s] /proc/loadavg: 0.92 0.98 0.99 2/107 18578 /proc/meminfo: memFree=1851256/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=13936 CPUtime=3.09 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 1138 0 0 0 307 2 0 0 25 0 1 0 12718334 14270464 1043 1992294400 134512640 137138936 4293754624 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 3484 1043 191 642 0 2840 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13936 [startup+6.30079 s] /proc/loadavg: 0.93 0.98 0.99 3/107 18578 /proc/meminfo: memFree=1850760/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=14184 CPUtime=6.29 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 1196 0 0 0 625 4 0 0 25 0 1 0 12718334 14524416 1101 1992294400 134512640 137138936 4293754624 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 3546 1101 191 642 0 2902 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14184 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 3/107 18578 /proc/meminfo: memFree=1850264/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=14684 CPUtime=12.69 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 1331 0 0 0 1261 8 0 0 25 0 1 0 12718334 15036416 1236 1992294400 134512640 137138936 4293754624 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 3671 1236 191 642 0 3027 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14684 [startup+25.501 s] /proc/loadavg: 0.95 0.98 0.99 2/107 18580 /proc/meminfo: memFree=1850016/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=15048 CPUtime=25.49 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 1409 0 0 0 2535 14 0 0 25 0 1 0 12718334 15409152 1314 1992294400 134512640 137138936 4293754624 18446744073709551615 134542796 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 3762 1314 191 642 0 3118 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15048 [startup+51.1006 s] /proc/loadavg: 0.96 0.98 0.99 2/107 18580 /proc/meminfo: memFree=1849272/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=15676 CPUtime=51.08 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 1587 0 0 0 5083 25 0 0 25 0 1 0 12718334 16052224 1492 1992294400 134512640 137138936 4293754624 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 3919 1492 191 642 0 3275 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 15676 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 18582 /proc/meminfo: memFree=1848776/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=16116 CPUtime=102.28 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 1691 0 0 0 10179 49 0 0 25 0 1 0 12718334 16502784 1596 1992294400 134512640 137138936 4293754624 18446744073709551615 134543953 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4029 1596 191 642 0 3385 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 16116 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 18582 /proc/meminfo: memFree=1848652/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=15972 CPUtime=162.26 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 1691 0 0 0 16152 74 0 0 25 0 1 0 12718334 16355328 1569 1992294400 134512640 137138936 4293754624 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 3993 1569 191 642 0 3349 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 15972 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 18584 /proc/meminfo: memFree=1848032/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=16708 CPUtime=222.25 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 1855 0 0 0 22127 98 0 0 25 0 1 0 12718334 17108992 1733 1992294400 134512640 137138936 4293754624 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4177 1733 191 642 0 3533 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 16708 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 18586 /proc/meminfo: memFree=1848032/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=17200 CPUtime=282.23 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 1975 0 0 0 28103 120 0 0 25 0 1 0 12718334 17612800 1853 1992294400 134512640 137138936 4293754624 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4300 1853 191 642 0 3656 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 17200 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 18588 /proc/meminfo: memFree=1847536/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=17200 CPUtime=342.22 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 1982 0 0 0 34078 144 0 0 25 0 1 0 12718334 17612800 1860 1992294400 134512640 137138936 4293754624 18446744073709551615 136504713 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4300 1860 191 642 0 3656 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 17200 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 18590 /proc/meminfo: memFree=1847412/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=17148 CPUtime=402.2 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 1982 0 0 0 40048 172 0 0 25 0 1 0 12718334 17559552 1860 1992294400 134512640 137138936 4293754624 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4287 1860 191 642 0 3643 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 17148 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 18590 /proc/meminfo: memFree=1847288/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=17012 CPUtime=462.19 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 1982 0 0 0 46019 200 0 0 25 0 1 0 12718334 17420288 1829 1992294400 134512640 137138936 4293754624 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4253 1829 191 642 0 3609 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 17012 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 18592 /proc/meminfo: memFree=1847288/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=16968 CPUtime=522.18 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 1982 0 0 0 51991 227 0 0 25 0 1 0 12718334 17375232 1818 1992294400 134512640 137138936 4293754624 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4242 1818 191 642 0 3598 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 16968 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 18594 /proc/meminfo: memFree=1847164/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=17320 CPUtime=582.17 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 2047 0 0 0 57965 252 0 0 25 0 1 0 12718334 17735680 1883 1992294400 134512640 137138936 4293754624 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4330 1883 191 642 0 3686 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 17320 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 18605 /proc/meminfo: memFree=1846296/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=17304 CPUtime=642.15 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 2047 0 0 0 63942 273 0 0 25 0 1 0 12718334 17719296 1883 1992294400 134512640 137138936 4293754624 18446744073709551615 134542367 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4326 1883 191 642 0 3682 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 17304 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1845676/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=18440 CPUtime=1062.06 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 2347 0 0 0 105782 424 0 0 25 0 1 0 12718334 18882560 2183 1992294400 134512640 137138936 4293754624 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4610 2183 191 642 0 3966 0 Current children cumulated CPU time (s) 1062.06 Current children cumulated vsize (KiB) 18440 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18617 /proc/meminfo: memFree=1845552/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=18440 CPUtime=1122.04 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 2347 0 0 0 111759 445 0 0 25 0 1 0 12718334 18882560 2183 1992294400 134512640 137138936 4293754624 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4610 2183 191 642 0 3966 0 Current children cumulated CPU time (s) 1122.04 Current children cumulated vsize (KiB) 18440 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18619 /proc/meminfo: memFree=1845428/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=18440 CPUtime=1182.03 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 2347 0 0 0 117738 465 0 0 25 0 1 0 12718334 18882560 2183 1992294400 134512640 137138936 4293754624 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4610 2183 191 642 0 3966 0 Current children cumulated CPU time (s) 1182.03 Current children cumulated vsize (KiB) 18440 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18621 /proc/meminfo: memFree=1844808/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=19176 CPUtime=1242.02 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 2518 0 0 0 123717 485 0 0 25 0 1 0 12718334 19636224 2354 1992294400 134512640 137138936 4293754624 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4794 2354 191 642 0 4150 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 19176 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18623 /proc/meminfo: memFree=1844684/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=19176 CPUtime=1302.01 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 2518 0 0 0 129696 505 0 0 25 0 1 0 12718334 19636224 2354 1992294400 134512640 137138936 4293754624 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4794 2354 191 642 0 4150 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 19176 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18623 /proc/meminfo: memFree=1844684/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=19172 CPUtime=1361.99 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 2518 0 0 0 135673 526 0 0 25 0 1 0 12718334 19632128 2354 1992294400 134512640 137138936 4293754624 18446744073709551615 134542458 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4793 2354 191 642 0 4149 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 19172 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18625 /proc/meminfo: memFree=1844560/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=19164 CPUtime=1421.99 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 2518 0 0 0 141653 546 0 0 25 0 1 0 12718334 19623936 2354 1992294400 134512640 137138936 4293754624 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4791 2354 191 642 0 4147 0 Current children cumulated CPU time (s) 1421.99 Current children cumulated vsize (KiB) 19164 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18627 /proc/meminfo: memFree=1844560/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=19164 CPUtime=1481.96 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 2518 0 0 0 147631 565 0 0 25 0 1 0 12718334 19623936 2354 1992294400 134512640 137138936 4293754624 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4791 2354 191 642 0 4147 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 19164 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18629 /proc/meminfo: memFree=1844436/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=19164 CPUtime=1541.95 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 2518 0 0 0 153611 584 0 0 25 0 1 0 12718334 19623936 2354 1992294400 134512640 137138936 4293754624 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4791 2354 191 642 0 4147 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 19164 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18631 /proc/meminfo: memFree=1844436/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=19164 CPUtime=1601.94 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 2518 0 0 0 159590 604 0 0 25 0 1 0 12718334 19623936 2354 1992294400 134512640 137138936 4293754624 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4791 2354 191 642 0 4147 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 19164 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18631 /proc/meminfo: memFree=1844312/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=19164 CPUtime=1661.93 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 2518 0 0 0 165567 626 0 0 25 0 1 0 12718334 19623936 2354 1992294400 134512640 137138936 4293754624 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4791 2354 191 642 0 4147 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 19164 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18633 /proc/meminfo: memFree=1844188/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=19164 CPUtime=1721.91 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 2518 0 0 0 171546 645 0 0 25 0 1 0 12718334 19623936 2354 1992294400 134512640 137138936 4293754624 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4791 2354 191 642 0 4147 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 19164 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18635 /proc/meminfo: memFree=1843692/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=19916 CPUtime=1781.9 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 2705 0 0 0 177524 666 0 0 25 0 1 0 12718334 20393984 2541 1992294400 134512640 137138936 4293754624 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4979 2541 191 642 0 4335 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 19916 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18635 /proc/meminfo: memFree=1843692/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=19916 CPUtime=1791.5 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 2705 0 0 0 178481 669 0 0 25 0 1 0 12718334 20393984 2541 1992294400 134512640 137138936 4293754624 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4979 2541 191 642 0 4335 0 Current children cumulated CPU time (s) 1791.5 Current children cumulated vsize (KiB) 19916 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18635 /proc/meminfo: memFree=1843692/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=19916 CPUtime=1794.7 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 2705 0 0 0 178800 670 0 0 25 0 1 0 12718334 20393984 2541 1992294400 134512640 137138936 4293754624 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4979 2541 191 642 0 4335 0 Current children cumulated CPU time (s) 1794.7 Current children cumulated vsize (KiB) 19916 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18635 /proc/meminfo: memFree=1843692/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=19916 CPUtime=1796.29 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 2705 0 0 0 178959 670 0 0 25 0 1 0 12718334 20393984 2541 1992294400 134512640 137138936 4293754624 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4979 2541 191 642 0 4335 0 Current children cumulated CPU time (s) 1796.29 Current children cumulated vsize (KiB) 19916 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18635 /proc/meminfo: memFree=1843692/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=19916 CPUtime=1797.1 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 2705 0 0 0 179039 671 0 0 25 0 1 0 12718334 20393984 2541 1992294400 134512640 137138936 4293754624 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4979 2541 191 642 0 4335 0 Current children cumulated CPU time (s) 1797.1 Current children cumulated vsize (KiB) 19916 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18635 /proc/meminfo: memFree=1843692/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=19916 CPUtime=1797.5 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 2705 0 0 0 179079 671 0 0 25 0 1 0 12718334 20393984 2541 1992294400 134512640 137138936 4293754624 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4979 2541 191 642 0 4335 0 Current children cumulated CPU time (s) 1797.5 Current children cumulated vsize (KiB) 19916 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18635 /proc/meminfo: memFree=1843692/2059040 swapFree=4139272/4192956 [pid=18577] ppid=18575 vsize=19916 CPUtime=1797.9 /proc/18577/stat : 18577 (bsolo_pb10) R 18575 18577 18544 0 -1 4202496 2705 0 0 0 179119 671 0 0 25 0 1 0 12718334 20393984 2541 1992294400 134512640 137138936 4293754624 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18577/statm: 4979 2541 191 642 0 4335 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (KiB) 19916 Child status: 0 Real time (s): 1798.4 CPU time (s): 1798 CPU user time (s): 1791.29 CPU system time (s): 6.71898 CPU usage (%): 99.9781 Max. virtual memory (cumulated for all children) (KiB): 19916 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.29 system time used= 6.71898 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2706 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= 1 involuntary context switches= 3110 runsolver used 3.11453 second user time and 8.34573 second system time The end
Begin job on node029 at 2010-06-16 20:50:29 IDJOB=2671004 IDBENCH=48218 IDSOLVER=1163 FILE ID=node029/2671004-1276714229 PBS_JOBID= 11174182 Free space on /tmp= 62576 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_1.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671004-1276714229/watcher-2671004-1276714229 -o /tmp/evaluation-result-2671004-1276714229/solver-2671004-1276714229 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671004-1276714229.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fac2f381943513d71e556a5764721ca3 RANDOM SEED=1316075284 node029.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.221 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.44 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.221 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1855388 kB Buffers: 24260 kB Cached: 99468 kB SwapCached: 7080 kB Active: 85348 kB Inactive: 52268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1855388 kB SwapTotal: 4192956 kB SwapFree: 4139272 kB Dirty: 3980 kB Writeback: 0 kB AnonPages: 11596 kB Mapped: 12928 kB Slab: 44244 kB PageTables: 3948 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182128 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671004-1276714229.opb Free space on /tmp at the end= 62572 MiB End job on node029 at 2010-06-16 21:20:28