Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | -26 | 1798 | 1798.61 |
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 | 6.21106 |
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.1 - 13/04/2009 : 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 Learning Strategy: Clause Learning 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 HOME/instance-1878238-1245204274.opb 0.00/0.00 c File size is 49316 bytes. 0.00/0.00 c Highest Coefficient sum: 100 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.006 s 0.00/0.00 c Var: 724 Constr: 1448 724/100/624 Lit: 6240 Watch. Lit: 4368 0.00/0.00 c Obj. Vars: 100 (13.8122 % of total variables) 0.00/0.01 c Pre-processing Time: 0.012 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.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 6 100 632 2539 4 1305 941 8 461 0.01 0.00/0.03 c 106 100 732 10080 13 1505 1036 108 5300 0.02 0.00/0.03 o -22 0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.07 c 230 100 857 19555 22 1777 974 233 7419 0.03 0.00/0.07 c 330 100 957 27009 28 1977 1072 333 8461 0.04 0.00/0.07 c 580 100 1207 45654 37 2477 1180 583 9062 0.06 0.00/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 9132 0.07 0.19/0.21 c 722 100 1350 56245 41 2786 1108 726 9256 0.08 0.19/0.21 c 972 100 1600 74608 46 3286 1219 976 9257 0.10 0.19/0.21 c 1448 100 2076 109480 52 4238 1341 1452 8517 0.17 0.19/0.21 o -24 93.26/93.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 93.26/93.40 c 1782 100 2411 134216 55 4932 1041 1787 8405 0.21 93.26/93.40 c 1882 100 1246 47480 38 2516 1146 622 8327 0.23 93.26/93.40 c 2132 100 1496 65563 43 3016 1261 872 8460 0.25 93.26/93.40 c 2608 100 1972 99982 50 3968 1388 1348 8495 0.31 93.26/93.40 c 3421 100 1386 56797 40 2796 1527 762 8068 0.42 93.26/93.40 c 4741 100 2706 152048 56 5436 1680 2082 8132 0.58 93.26/93.40 c 6823 100 1708 79732 46 3440 1849 1084 7320 0.93 93.26/93.40 c 10046 100 1677 76762 45 3378 2034 1053 6631 1.51 93.26/93.40 c 14983 100 3185 186302 58 6394 2238 2561 6065 2.47 93.26/93.40 c 22490 100 3422 203285 59 6868 2462 2798 5566 4.04 93.26/93.40 c 33852 100 3221 188146 58 6466 2709 2597 5359 6.32 93.26/93.40 c 50997 100 1980 99239 50 3984 2980 1356 4792 10.64 93.26/93.40 c 76817 100 3774 226965 60 7572 3279 3150 4447 17.27 93.26/93.40 c 115651 100 2939 167397 56 5902 3607 2315 4166 27.75 93.26/93.40 c 174003 100 3797 230420 60 7618 3968 3173 3851 45.17 93.26/93.40 c 261636 100 3043 175717 57 6110 4365 2419 3492 74.91 93.26/93.40 o -25 367.37/367.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 367.37/367.59 c 310083 100 5466 348192 63 10981 1074 4842 3320 93.37 367.37/367.59 c 310183 100 1262 46781 37 2549 1182 638 3320 93.43 367.37/367.59 c 310434 100 1513 64680 42 3051 1301 889 3321 93.45 367.37/367.59 c 310909 100 1988 98499 49 4001 1432 1364 3324 93.52 367.37/367.59 c 311723 100 1400 57063 40 2825 1576 776 3329 93.63 367.37/367.59 c 313043 100 2720 151163 55 5465 1734 2096 3337 93.79 367.37/367.59 c 315124 100 1661 75379 45 3347 1908 1037 3348 94.11 367.37/367.59 c 318347 100 1581 69604 44 3187 2099 957 3361 94.69 367.37/367.59 c 323284 100 3026 171653 56 6077 2309 2402 3380 95.64 367.37/367.59 c 330791 100 3146 180684 57 6317 2540 2522 3403 97.19 367.37/367.59 c 342153 100 2750 152305 55 5525 2795 2126 3434 99.62 367.37/367.59 c 359297 100 3163 181934 57 6351 3075 2539 3480 103.22 367.37/367.59 c 385116 100 2191 112109 51 4407 3383 1567 3511 109.67 367.37/367.59 c 423949 100 2897 163007 56 5819 3722 2273 3531 120.06 367.37/367.59 c 482301 100 2486 133587 53 4997 4095 1862 3528 136.70 367.37/367.59 c 569933 100 5193 325713 62 10411 4505 4569 3474 164.04 367.37/367.59 c 701486 100 4238 259016 61 8501 4956 3614 3320 211.28 367.37/367.59 c 898918 100 5165 323324 62 10355 5452 4541 3186 282.14 367.37/367.59 o -26 1797.99/1798.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.99/1798.60 c 1113940 100 4908 306115 62 9867 1107 4284 3031 367.47 1797.99/1798.60 c 1114040 100 1279 48289 37 2584 1218 655 3031 367.51 1797.99/1798.60 c 1114291 100 1530 65973 43 3086 1340 906 3031 367.54 1797.99/1798.60 c 1114766 100 2005 99326 49 4036 1475 1381 3032 367.58 1797.99/1798.60 c 1115580 100 1399 56047 40 2824 1623 775 3033 367.72 1797.99/1798.60 c 1116901 100 2720 148751 54 5466 1786 2096 3035 367.91 1797.99/1798.60 c 1118983 100 1630 72022 44 3286 1965 1006 3038 368.24 1797.99/1798.60 c 1122206 100 3181 181163 56 6388 2162 2557 3042 368.79 1797.99/1798.60 c 1127142 100 2795 152856 54 5616 2379 2171 3048 369.70 1797.99/1798.60 c 1134648 100 2768 151491 54 5562 2617 2144 3057 371.16 1797.99/1798.60 c 1146009 100 2118 105542 49 4262 2879 1494 3065 373.78 1797.99/1798.60 c 1163154 100 2200 111900 50 4426 3167 1576 3081 377.49 1797.99/1798.60 c 1188973 100 2996 166861 55 6018 3484 2372 3097 383.86 1797.99/1798.60 c 1227806 100 2887 159236 55 5800 3833 2263 3115 394.15 1797.99/1798.60 c 1286158 100 3895 229694 58 7816 4217 3271 3126 411.33 1797.99/1798.60 c 1373790 100 4745 289732 61 9516 4639 4121 3128 439.11 1797.99/1798.60 c 1505343 100 3938 233148 59 7902 5103 3314 3122 482.06 1797.99/1798.60 c 1702775 100 3710 217866 58 7446 5614 3086 3066 555.28 1797.99/1798.60 c 1999028 100 6267 395472 63 12560 6176 5643 2965 674.01 1797.99/1798.60 c 2443511 100 5166 319273 61 10358 6794 4542 2794 874.44 1797.99/1798.60 c 3110338 100 6018 378044 62 12062 7474 5394 2561 1214.10 1797.99/1798.60 c 4110684 100 6579 416595 63 13184 8222 5955 2373 1731.65 1797.99/1798.60 c Resources Exceeded 1797.99/1798.60 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.99/1798.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.60 c 66 4221556 232832 4491319 7043 449586 6419 2347 1798.00 1797.99/1798.60 c Objective: -26 1797.99/1798.60 s SATISFIABLE 1797.99/1798.60 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-1878238-1245204274/watcher-1878238-1245204274 -o /tmp/evaluation-result-1878238-1245204274/solver-1878238-1245204274 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878238-1245204274.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: 1.02 1.04 1.01 3/64 9356 /proc/meminfo: memFree=1777408/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=10760 CPUtime=0 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 254 0 0 0 0 0 0 0 18 0 1 0 188026707 11018240 238 1992294400 134512640 137136520 4294956256 18446744073709551615 134517511 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 2690 238 175 640 0 2033 0 [startup+0.0978299 s] /proc/loadavg: 1.02 1.04 1.01 3/64 9356 /proc/meminfo: memFree=1777408/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=11728 CPUtime=0.09 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 551 0 0 0 9 0 0 0 18 0 1 0 188026707 12009472 522 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 2932 523 197 640 0 2288 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11728 [startup+0.101831 s] /proc/loadavg: 1.02 1.04 1.01 3/64 9356 /proc/meminfo: memFree=1777408/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=11856 CPUtime=0.09 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 561 0 0 0 9 0 0 0 18 0 1 0 188026707 12140544 532 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 2964 532 197 640 0 2320 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11856 [startup+0.301861 s] /proc/loadavg: 1.02 1.04 1.01 3/64 9356 /proc/meminfo: memFree=1777408/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=12736 CPUtime=0.29 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 788 0 0 0 29 0 0 0 19 0 1 0 188026707 13041664 759 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 3184 759 197 640 0 2540 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12736 [startup+0.701922 s] /proc/loadavg: 1.02 1.04 1.01 3/64 9356 /proc/meminfo: memFree=1777408/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=13240 CPUtime=0.69 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 932 0 0 0 69 0 0 0 22 0 1 0 188026707 13557760 903 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 3310 903 197 640 0 2666 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13240 [startup+1.50105 s] /proc/loadavg: 1.02 1.04 1.01 2/65 9357 /proc/meminfo: memFree=1774584/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=13488 CPUtime=1.49 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 977 0 0 0 148 1 0 0 25 0 1 0 188026707 13811712 948 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 3372 948 197 640 0 2728 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13488 [startup+3.10129 s] /proc/loadavg: 1.02 1.04 1.01 2/65 9357 /proc/meminfo: memFree=1774072/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=13860 CPUtime=3.09 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 1076 0 0 0 307 2 0 0 25 0 1 0 188026707 14192640 1047 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 3465 1047 197 640 0 2821 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13860 [startup+6.30178 s] /proc/loadavg: 1.02 1.03 1.01 2/65 9357 /proc/meminfo: memFree=1773432/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=14108 CPUtime=6.29 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 1134 0 0 0 626 3 0 0 25 0 1 0 188026707 14446592 1105 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 3527 1105 197 640 0 2883 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14108 [startup+12.7018 s] /proc/loadavg: 1.02 1.03 1.01 2/65 9357 /proc/meminfo: memFree=1772928/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=14608 CPUtime=12.68 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 1269 0 0 0 1263 5 0 0 25 0 1 0 188026707 14958592 1240 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 3652 1240 197 640 0 3008 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14608 [startup+25.5017 s] /proc/loadavg: 1.02 1.03 1.00 2/65 9357 /proc/meminfo: memFree=1772608/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=14972 CPUtime=25.48 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 1347 0 0 0 2537 11 0 0 25 0 1 0 188026707 15331328 1318 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 3743 1318 197 640 0 3099 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14972 [startup+51.1016 s] /proc/loadavg: 1.01 1.03 1.00 2/65 9357 /proc/meminfo: memFree=1771968/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=15600 CPUtime=51.08 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 1525 0 0 0 5087 21 0 0 25 0 1 0 188026707 15974400 1496 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 3900 1496 197 640 0 3256 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 15600 [startup+102.305 s] /proc/loadavg: 1.00 1.02 1.00 2/65 9357 /proc/meminfo: memFree=1771520/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=16040 CPUtime=102.25 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 1629 0 0 0 10189 36 0 0 25 0 1 0 188026707 16424960 1600 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4010 1600 197 640 0 3366 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 16040 [startup+162.303 s] /proc/loadavg: 1.00 1.02 1.00 2/65 9357 /proc/meminfo: memFree=1771528/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=15896 CPUtime=162.24 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 1629 0 0 0 16169 55 0 0 25 0 1 0 188026707 16277504 1573 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 3974 1573 197 640 0 3330 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 15896 [startup+222.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 9357 /proc/meminfo: memFree=1771016/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=16632 CPUtime=222.21 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 1793 0 0 0 22150 71 0 0 25 0 1 0 188026707 17031168 1737 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4158 1737 197 640 0 3514 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 16632 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9357 /proc/meminfo: memFree=1770952/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=16628 CPUtime=282.2 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 1794 0 0 0 28131 89 0 0 25 0 1 0 188026707 17027072 1738 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4157 1738 197 640 0 3513 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 16628 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9357 /proc/meminfo: memFree=1770440/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=17124 CPUtime=342.17 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 1920 0 0 0 34111 106 0 0 25 0 1 0 188026707 17534976 1864 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4281 1864 197 640 0 3637 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 17124 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9357 /proc/meminfo: memFree=1770376/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=17076 CPUtime=402.16 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 1920 0 0 0 40088 128 0 0 25 0 1 0 188026707 17485824 1864 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4269 1864 197 640 0 3625 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 17076 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9357 /proc/meminfo: memFree=1770440/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=16940 CPUtime=462.14 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 1920 0 0 0 46067 147 0 0 25 0 1 0 188026707 17346560 1834 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4235 1834 197 640 0 3591 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 16940 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9357 /proc/meminfo: memFree=1770440/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=16892 CPUtime=522.12 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 1920 0 0 0 52047 165 0 0 25 0 1 0 188026707 17297408 1822 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4223 1822 197 640 0 3579 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 16892 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9357 /proc/meminfo: memFree=1770312/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=17244 CPUtime=582.1 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 1985 0 0 0 58031 179 0 0 25 0 1 0 188026707 17657856 1887 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4311 1887 197 640 0 3667 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 17244 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9357 /proc/meminfo: memFree=1770312/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=17228 CPUtime=642.08 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 1985 0 0 0 64013 195 0 0 25 0 1 0 188026707 17641472 1887 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4307 1887 197 640 0 3663 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 17228 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1769096/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=18364 CPUtime=1121.91 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 2285 0 0 0 111886 305 0 0 25 0 1 0 188026707 18804736 2187 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4591 2187 197 640 0 3947 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 18364 [startup+1182.3 s] /proc/loadavg: 1.09 1.03 1.00 2/65 9357 /proc/meminfo: memFree=1769096/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=18364 CPUtime=1181.89 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 2285 0 0 0 117872 317 0 0 25 0 1 0 188026707 18804736 2187 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4591 2187 197 640 0 3947 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 18364 [startup+1242.3 s] /proc/loadavg: 1.03 1.02 1.00 2/65 9357 /proc/meminfo: memFree=1768264/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=19100 CPUtime=1241.88 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 2456 0 0 0 123855 333 0 0 25 0 1 0 188026707 19558400 2358 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4775 2358 197 640 0 4131 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 19100 [startup+1302.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 9357 /proc/meminfo: memFree=1768328/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=19100 CPUtime=1301.86 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 2456 0 0 0 129840 346 0 0 25 0 1 0 188026707 19558400 2358 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4775 2358 197 640 0 4131 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 19100 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 9357 /proc/meminfo: memFree=1768328/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=19100 CPUtime=1361.83 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 2456 0 0 0 135822 361 0 0 25 0 1 0 188026707 19558400 2358 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4775 2358 197 640 0 4131 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 19100 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9357 /proc/meminfo: memFree=1768264/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=19088 CPUtime=1421.82 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 2456 0 0 0 141807 375 0 0 25 0 1 0 188026707 19546112 2358 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4772 2358 197 640 0 4128 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 19088 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 3/65 9357 /proc/meminfo: memFree=1768264/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=19088 CPUtime=1481.8 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 2456 0 0 0 147793 387 0 0 25 0 1 0 188026707 19546112 2358 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4772 2358 197 640 0 4128 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 19088 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9357 /proc/meminfo: memFree=1768200/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=19088 CPUtime=1541.77 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 2456 0 0 0 153777 400 0 0 25 0 1 0 188026707 19546112 2358 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4772 2358 197 640 0 4128 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 19088 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9357 /proc/meminfo: memFree=1768200/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=19088 CPUtime=1601.75 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 2456 0 0 0 159761 414 0 0 25 0 1 0 188026707 19546112 2358 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4772 2358 197 640 0 4128 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 19088 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9357 /proc/meminfo: memFree=1768200/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=19088 CPUtime=1661.73 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 2456 0 0 0 165746 427 0 0 25 0 1 0 188026707 19546112 2358 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4772 2358 197 640 0 4128 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 19088 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9357 /proc/meminfo: memFree=1768136/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=19088 CPUtime=1721.72 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 2456 0 0 0 171731 441 0 0 25 0 1 0 188026707 19546112 2358 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4772 2358 197 640 0 4128 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 19088 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9357 /proc/meminfo: memFree=1767368/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=19840 CPUtime=1781.69 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 2643 0 0 0 177715 454 0 0 25 0 1 0 188026707 20316160 2545 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4960 2545 197 640 0 4316 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 19840 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9357 /proc/meminfo: memFree=1767368/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=19840 CPUtime=1791.29 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 2643 0 0 0 178673 456 0 0 25 0 1 0 188026707 20316160 2545 1992294400 134512640 137136520 4294956256 18446744073709551615 134543878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4960 2545 197 640 0 4316 0 Current children cumulated CPU time (s) 1791.29 Current children cumulated vsize (KiB) 19840 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9357 /proc/meminfo: memFree=1767368/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=19840 CPUtime=1794.5 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 2643 0 0 0 178993 457 0 0 25 0 1 0 188026707 20316160 2545 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4960 2545 197 640 0 4316 0 Current children cumulated CPU time (s) 1794.5 Current children cumulated vsize (KiB) 19840 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9357 /proc/meminfo: memFree=1767368/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=19840 CPUtime=1796.09 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 2643 0 0 0 179152 457 0 0 25 0 1 0 188026707 20316160 2545 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4960 2545 197 640 0 4316 0 Current children cumulated CPU time (s) 1796.09 Current children cumulated vsize (KiB) 19840 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9357 /proc/meminfo: memFree=1767368/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=19840 CPUtime=1796.89 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 2643 0 0 0 179232 457 0 0 25 0 1 0 188026707 20316160 2545 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4960 2545 197 640 0 4316 0 Current children cumulated CPU time (s) 1796.89 Current children cumulated vsize (KiB) 19840 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9357 /proc/meminfo: memFree=1767368/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=19840 CPUtime=1797.69 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 2643 0 0 0 179312 457 0 0 25 0 1 0 188026707 20316160 2545 1992294400 134512640 137136520 4294956256 18446744073709551615 136502027 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4960 2545 197 640 0 4316 0 Current children cumulated CPU time (s) 1797.69 Current children cumulated vsize (KiB) 19840 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9357 /proc/meminfo: memFree=1767368/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=19840 CPUtime=1797.89 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 2643 0 0 0 179332 457 0 0 25 0 1 0 188026707 20316160 2545 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4960 2545 197 640 0 4316 0 Current children cumulated CPU time (s) 1797.89 Current children cumulated vsize (KiB) 19840 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9357 /proc/meminfo: memFree=1767368/2055920 swapFree=4191900/4192956 [pid=9356] ppid=9354 vsize=19840 CPUtime=1797.99 /proc/9356/stat : 9356 (bsolo) R 9354 9356 8497 0 -1 4194304 2643 0 0 0 179342 457 0 0 25 0 1 0 188026707 20316160 2545 1992294400 134512640 137136520 4294956256 18446744073709551615 134544192 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9356/statm: 4960 2545 197 640 0 4316 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 19840 Child status: 0 Real time (s): 1798.61 CPU time (s): 1798 CPU user time (s): 1793.42 CPU system time (s): 4.5793 CPU usage (%): 99.9665 Max. virtual memory (cumulated for all children) (KiB): 19840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.42 system time used= 4.5793 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2645 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= 2 involuntary context switches= 2143 runsolver used 1.61775 second user time and 3.38348 second system time The end
Begin job on node34 at 2009-06-17 04:04:34 IDJOB=1878238 IDBENCH=48218 IDSOLVER=700 FILE ID=node34/1878238-1245204274 PBS_JOBID= 9368338 Free space on /tmp= 66252 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_1.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878238-1245204274/watcher-1878238-1245204274 -o /tmp/evaluation-result-1878238-1245204274/solver-1878238-1245204274 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878238-1245204274.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fac2f381943513d71e556a5764721ca3 RANDOM SEED=930677576 node34.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.263 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.263 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: 1777888 kB Buffers: 48000 kB Cached: 137788 kB SwapCached: 260 kB Active: 34896 kB Inactive: 164156 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1777888 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3956 kB Writeback: 0 kB Mapped: 21816 kB Slab: 64956 kB Committed_AS: 186392 kB PageTables: 1384 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878238-1245204274.opb Free space on /tmp at the end= 66248 MiB End job on node34 at 2009-06-17 04:34:33