Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 3 | 1798.01 | 1798.59 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=37-P1=223-P2=197-P3=97-P4=11-P5=157-P6=97-P7=127-P8=79-P9=11-B.opb |
MD5SUM | cdc1e49bcf2e6b6913c93a683c821b72 |
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 | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.834872 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 216 |
Total number of constraints | 19 |
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 | 19 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 576 |
Sum of products size (including duplicates) | 1152 |
Number of different products | 576 |
Sum of products size | 1152 |
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: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2670583-1276702869.opb 0.00/0.00 c File size is 43525 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.007 s 0.00/0.00 c Var: 792 Constr: 1180 576/0/604 Lit: 4960 Watch. Lit: 3044 0.00/0.00 c Obj. Vars: 8 (1.0101 % of total variables) 0.01/0.01 c Pre-processing Time: 0.015 s 0.01/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.01 c 0 792 1180 4960 4 4260 6656 0 0 0.01 0.01/0.01 c Switching off lower bounding mode. 1425.63/1426.11 c 103 792 1381 13599 9 4753 7322 201 2710 0.04 1425.63/1426.11 c 253 792 1637 28280 17 5221 8055 457 3162 0.08 1425.63/1426.11 c 479 792 2039 53919 26 6083 8861 859 3373 0.14 1425.63/1426.11 c 818 792 2626 87134 33 7395 9748 1446 3338 0.24 1425.63/1426.11 c 1327 792 3520 140086 39 9413 10723 2340 3129 0.42 1425.63/1426.11 c 2090 792 4976 220653 44 12846 11796 3796 3064 0.68 1425.63/1426.11 c 3236 792 7187 328351 45 18519 12976 6007 2558 1.26 1425.63/1426.11 c 4958 792 10506 491680 46 26784 14274 9326 1758 2.82 1425.63/1426.11 c 7542 792 8318 374086 44 21168 15702 7138 1144 6.59 1425.63/1426.11 c 11421 792 15745 780945 49 39173 17273 14565 1197 9.54 1425.63/1426.11 c 17243 792 18025 927187 51 44161 19001 16845 1107 15.56 1425.63/1426.11 c 25984 792 14907 809600 54 37328 20902 13727 1037 25.04 1425.63/1426.11 c 39094 792 18378 948909 51 45713 22993 17198 1006 38.83 1425.63/1426.11 c 58764 792 19009 1138289 59 45148 25293 17829 1003 58.57 1425.63/1426.11 c 88274 792 23612 1215251 51 58683 27823 22432 801 110.09 1425.63/1426.11 c 132545 792 20503 1147818 55 49806 30606 19323 629 210.45 1425.63/1426.11 c 198955 792 21102 1206199 57 53295 33667 19922 535 371.34 1425.63/1426.11 c 298575 791 20482 1252817 61 46863 37034 19302 491 607.38 1425.63/1426.11 c 448011 790 35422 2516138 71 87010 40738 34242 456 981.05 1425.63/1426.11 o 97 1444.42/1444.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1444.42/1444.99 c 600411 787 36927 2011831 54 90057 6672 35747 421 1425.65 1444.42/1444.99 c 600511 777 4723 208452 44 12463 7340 3543 421 1426.25 1444.42/1444.99 c 600762 777 5197 238106 45 13659 8075 4017 421 1426.33 1444.42/1444.99 c 601238 777 6100 286799 47 16084 8883 4920 421 1426.50 1444.42/1444.99 c 602051 777 7642 365776 47 20331 9772 6462 421 1426.93 1444.42/1444.99 c 603372 777 10185 494158 48 27488 10750 9005 422 1427.74 1444.42/1444.99 c 605454 777 8568 399523 46 23493 11826 7388 423 1429.98 1444.42/1444.99 c 608678 777 8527 401604 47 22955 13009 7347 424 1434.35 1444.42/1444.99 c 613615 777 10760 530904 49 27823 14310 9580 425 1441.49 1444.42/1444.99 o 17 1555.89/1556.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1555.89/1556.40 c 618604 777 12097 617671 51 30976 6670 10917 428 1444.52 1555.89/1556.40 c 618705 767 4715 209555 44 12607 7338 3535 428 1444.63 1555.89/1556.40 c 618956 767 5189 237276 45 13911 8072 4009 428 1444.71 1555.89/1556.40 c 619433 767 6062 288557 47 16163 8880 4882 428 1444.90 1555.89/1556.40 c 620247 767 7615 370327 48 20453 9769 6435 429 1445.38 1555.89/1556.40 c 621567 767 10041 503077 50 26581 10746 8861 429 1446.59 1555.89/1556.40 c 623649 767 8342 404820 48 21868 11821 7162 430 1449.09 1555.89/1556.40 c 626874 767 8015 383909 47 20505 13004 6835 431 1453.99 1555.89/1556.40 c 631810 767 10654 505314 47 28834 14305 9474 433 1459.12 1555.89/1556.40 c 639317 767 9696 458299 47 25877 15736 8516 434 1470.30 1555.89/1556.40 c 650678 757 13060 704920 53 31379 17310 11880 438 1484.70 1555.89/1556.40 c 667822 757 18201 954841 52 45348 19042 17021 442 1509.23 1555.89/1556.41 c 693642 757 15136 928011 61 37918 20947 13956 448 1547.43 1555.89/1556.41 o 5 1786.82/1787.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1786.82/1787.42 c 701655 757 19288 1063876 55 50658 6666 18108 450 1555.90 1786.82/1787.42 c 701755 748 4726 240924 50 12470 7333 3546 450 1556.31 1786.82/1787.42 c 702005 748 5213 268127 51 13718 8067 4033 451 1556.40 1786.82/1787.42 c 702481 748 6111 327089 53 16115 8874 4931 451 1556.63 1786.82/1787.42 c 703294 748 7616 409077 53 20011 9762 6436 451 1557.09 1786.82/1787.42 c 704615 748 10202 567505 55 26689 10739 9022 452 1557.62 1786.82/1787.42 c 706697 748 8327 420743 50 20771 11813 7147 453 1558.81 1786.82/1787.42 c 709920 748 7974 425099 53 20110 12995 6794 454 1561.28 1786.82/1787.42 c 714857 748 9988 501745 50 24903 14295 8808 455 1569.24 1786.82/1787.42 c 722364 748 8675 412321 47 22469 15725 7495 456 1582.79 1786.82/1787.42 c 733727 737 12254 611981 49 31445 17298 11074 459 1596.62 1786.82/1787.42 c 750871 737 17171 910537 53 43803 19028 15991 461 1625.32 1786.82/1787.42 c 776691 736 15090 859760 56 38400 20931 13910 467 1660.34 1786.82/1787.42 c 815524 735 12308 579564 47 33847 23025 11128 470 1734.35 1786.82/1787.42 o 3 1797.92/1798.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.58 c 845180 735 15704 912780 58 37773 6662 14524 473 1786.85 1797.92/1798.58 c 845280 735 4717 234133 49 12170 7329 3537 473 1787.03 1797.92/1798.58 c 845530 714 5152 259586 50 13303 8062 3972 473 1787.10 1797.92/1798.58 c 846006 714 6078 315627 51 15690 8869 4898 473 1787.29 1797.92/1798.58 c 846819 714 7670 400237 52 20095 9756 6490 473 1787.62 1797.92/1798.58 c 848140 714 10044 533019 53 26252 10732 8864 474 1788.50 1797.92/1798.58 c 850221 714 8435 399454 47 23054 11806 7255 474 1790.12 1797.92/1798.58 c 853444 714 7829 383531 48 19902 12987 6649 475 1794.50 1797.92/1798.58 c Resources Exceeded 1797.92/1798.58 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 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 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 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 x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 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 x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 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 x105 -x106 -x107 x108 -x109 x110 -x111 -x112 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 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 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 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 x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 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 x129 -x130 -x131 -x132 -x133 x134 -x135 x136 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 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 -x725 x726 -x727 x728 x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 x201 -x202 -x203 -x204 x205 -x206 x207 -x208 x729 -x730 -x731 -x732 -x733 x734 -x735 -x736 x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 x790 -x791 -x792 x209 -x210 -x211 x212 x213 -x214 -x215 -x216 1797.92/1798.58 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.58 c 63 856118 11910 903332 12718 642940 11538 476 1798.00 1797.92/1798.58 c Objective: 3 1797.92/1798.58 s SATISFIABLE 1797.92/1798.58 c Total time: 1798 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670583-1276702869/watcher-2670583-1276702869 -o /tmp/evaluation-result-2670583-1276702869/solver-2670583-1276702869 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670583-1276702869.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.00 1.00 0.97 3/106 17280 /proc/meminfo: memFree=1763052/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=10968 CPUtime=0 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 341 0 0 0 0 0 0 0 18 0 1 0 11577831 11231232 259 1992294400 134512640 137138936 4292316544 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 2742 259 176 642 0 2087 0 [startup+0.017412 s] /proc/loadavg: 1.00 1.00 0.97 3/106 17280 /proc/meminfo: memFree=1763052/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=11188 CPUtime=0.01 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 428 0 0 0 1 0 0 0 18 0 1 0 11577831 11456512 335 1992294400 134512640 137138936 4292316544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 2797 335 185 642 0 2153 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11188 [startup+0.101426 s] /proc/loadavg: 1.00 1.00 0.97 3/106 17280 /proc/meminfo: memFree=1763052/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=11556 CPUtime=0.09 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 530 0 0 0 9 0 0 0 18 0 1 0 11577831 11833344 437 1992294400 134512640 137138936 4292316544 18446744073709551615 134551192 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 2889 437 192 642 0 2245 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11556 [startup+0.301458 s] /proc/loadavg: 1.00 1.00 0.97 3/106 17280 /proc/meminfo: memFree=1763052/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=12448 CPUtime=0.29 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 771 0 0 0 29 0 0 0 18 0 1 0 11577831 12746752 678 1992294400 134512640 137138936 4292316544 18446744073709551615 134575765 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 3112 678 192 642 0 2468 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12448 [startup+0.701526 s] /proc/loadavg: 1.00 1.00 0.97 3/106 17280 /proc/meminfo: memFree=1763052/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=14256 CPUtime=0.69 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 1230 0 0 0 68 1 0 0 18 0 1 0 11577831 14598144 1137 1992294400 134512640 137138936 4292316544 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 3564 1137 192 642 0 2920 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14256 [startup+1.50066 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17281 /proc/meminfo: memFree=1758580/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=16420 CPUtime=1.49 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 1760 0 0 0 147 2 0 0 19 0 1 0 11577831 16814080 1667 1992294400 134512640 137138936 4292316544 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 4105 1667 192 642 0 3461 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16420 [startup+3.10092 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17281 /proc/meminfo: memFree=1756100/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=18740 CPUtime=3.09 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 2333 0 0 0 307 2 0 0 23 0 1 0 11577831 19189760 2240 1992294400 134512640 137138936 4292316544 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 4685 2240 192 642 0 4041 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18740 [startup+6.30146 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17281 /proc/meminfo: memFree=1752380/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=22200 CPUtime=6.29 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 3206 0 0 0 625 4 0 0 25 0 1 0 11577831 22732800 3113 1992294400 134512640 137138936 4292316544 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 5550 3113 192 642 0 4906 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22200 [startup+12.7005 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17281 /proc/meminfo: memFree=1748536/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=25072 CPUtime=12.69 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 3922 0 0 0 1263 6 0 0 25 0 1 0 11577831 25673728 3829 1992294400 134512640 137138936 4292316544 18446744073709551615 136504102 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 6268 3829 192 642 0 5624 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25072 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17281 /proc/meminfo: memFree=1745684/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=28028 CPUtime=25.48 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 4663 0 0 0 2539 9 0 0 25 0 1 0 11577831 28700672 4570 1992294400 134512640 137138936 4292316544 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 7007 4570 192 642 0 6363 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28028 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17283 /proc/meminfo: memFree=1741096/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=32496 CPUtime=51.08 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 5784 0 0 0 5092 16 0 0 25 0 1 0 11577831 33275904 5691 1992294400 134512640 137138936 4292316544 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 8124 5691 192 642 0 7480 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 32496 [startup+102.308 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17283 /proc/meminfo: memFree=1738740/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=34768 CPUtime=102.27 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 6354 0 0 0 10201 26 0 0 25 0 1 0 11577831 35602432 6261 1992294400 134512640 137138936 4292316544 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 8692 6261 192 642 0 8048 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 34768 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17285 /proc/meminfo: memFree=1737128/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=36416 CPUtime=162.24 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 6768 0 0 0 16187 37 0 0 25 0 1 0 11577831 37289984 6675 1992294400 134512640 137138936 4292316544 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 9104 6675 192 642 0 8460 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 36416 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 17287 /proc/meminfo: memFree=1734772/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=38720 CPUtime=222.22 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 7347 0 0 0 22176 46 0 0 25 0 1 0 11577831 39649280 7254 1992294400 134512640 137138936 4292316544 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 9680 7254 192 642 0 9036 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 38720 [startup+282.301 s] /proc/loadavg: 1.08 1.02 0.98 2/107 17289 /proc/meminfo: memFree=1734648/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=38776 CPUtime=282.21 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 7361 0 0 0 28166 55 0 0 25 0 1 0 11577831 39706624 7268 1992294400 134512640 137138936 4292316544 18446744073709551615 134573720 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 9694 7268 192 642 0 9050 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 38776 [startup+342.3 s] /proc/loadavg: 1.03 1.01 0.98 2/107 17289 /proc/meminfo: memFree=1734648/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=38776 CPUtime=342.18 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 7361 0 0 0 34154 64 0 0 25 0 1 0 11577831 39706624 7268 1992294400 134512640 137138936 4292316544 18446744073709551615 136521055 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 9694 7268 192 642 0 9050 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 38776 [startup+402.301 s] /proc/loadavg: 1.01 1.00 0.98 2/107 17291 /proc/meminfo: memFree=1732788/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=40576 CPUtime=402.16 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 7847 0 0 0 40143 73 0 0 25 0 1 0 11577831 41549824 7720 1992294400 134512640 137138936 4292316544 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 10144 7720 192 642 0 9500 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 40576 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 17293 /proc/meminfo: memFree=1732664/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=40828 CPUtime=462.14 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 7878 0 0 0 46132 82 0 0 25 0 1 0 11577831 41807872 7751 1992294400 134512640 137138936 4292316544 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 10207 7751 192 642 0 9563 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 40828 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 17295 /proc/meminfo: memFree=1732664/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=40828 CPUtime=522.12 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 7878 0 0 0 52120 92 0 0 25 0 1 0 11577831 41807872 7751 1992294400 134512640 137138936 4292316544 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 10207 7751 192 642 0 9563 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 40828 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 17297 /proc/meminfo: memFree=1729688/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=43768 CPUtime=582.1 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 8613 0 0 0 58108 102 0 0 25 0 1 0 11577831 44818432 8486 1992294400 134512640 137138936 4292316544 18446744073709551615 136504091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 10942 8486 192 642 0 10298 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 43768 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 17297 /proc/meminfo: memFree=1726836/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=46620 CPUtime=642.1 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 9363 0 0 0 64094 116 0 0 25 0 1 0 11577831 47738880 9199 1992294400 134512640 137138936 4292316544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 11655 9199 192 642 0 11011 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 46620 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1718900/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=54256 CPUtime=1061.95 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 11323 0 0 0 106016 179 0 0 25 0 1 0 11577831 55558144 11108 1992294400 134512640 137138936 4292316544 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 13564 11108 192 642 0 12920 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 54256 [startup+1122.3 s] /proc/loadavg: 1.05 1.04 1.00 2/107 17311 /proc/meminfo: memFree=1718900/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=54256 CPUtime=1121.93 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 11323 0 0 0 112007 186 0 0 25 0 1 0 11577831 55558144 11108 1992294400 134512640 137138936 4292316544 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 13564 11108 192 642 0 12920 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 54256 [startup+1182.3 s] /proc/loadavg: 1.02 1.03 1.00 2/107 17313 /proc/meminfo: memFree=1718900/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=54256 CPUtime=1181.92 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 11323 0 0 0 117999 193 0 0 25 0 1 0 11577831 55558144 11108 1992294400 134512640 137138936 4292316544 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 13564 11108 192 642 0 12920 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 54256 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 17322 /proc/meminfo: memFree=1717784/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=54256 CPUtime=1241.88 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 11323 0 0 0 123989 199 0 0 25 0 1 0 11577831 55558144 11108 1992294400 134512640 137138936 4292316544 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 13564 11108 192 642 0 12920 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 54256 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 17324 /proc/meminfo: memFree=1717784/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=54256 CPUtime=1301.87 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 11323 0 0 0 129979 208 0 0 25 0 1 0 11577831 55558144 11108 1992294400 134512640 137138936 4292316544 18446744073709551615 134573720 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 13564 11108 192 642 0 12920 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 54256 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 17326 /proc/meminfo: memFree=1717784/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=54256 CPUtime=1361.85 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 11323 0 0 0 135971 214 0 0 25 0 1 0 11577831 55558144 11108 1992294400 134512640 137138936 4292316544 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 13564 11108 192 642 0 12920 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 54256 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17328 /proc/meminfo: memFree=1717784/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=54256 CPUtime=1421.84 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 11323 0 0 0 141962 222 0 0 25 0 1 0 11577831 55558144 11108 1992294400 134512640 137138936 4292316544 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 13564 11108 192 642 0 12920 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 54256 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17330 /proc/meminfo: memFree=1717784/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=54256 CPUtime=1481.81 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 11323 0 0 0 147945 236 0 0 25 0 1 0 11577831 55558144 11108 1992294400 134512640 137138936 4292316544 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 13564 11108 192 642 0 12920 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 54256 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17330 /proc/meminfo: memFree=1717908/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=54256 CPUtime=1541.79 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 11323 0 0 0 153930 249 0 0 25 0 1 0 11577831 55558144 11108 1992294400 134512640 137138936 4292316544 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 13564 11108 192 642 0 12920 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 54256 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17332 /proc/meminfo: memFree=1717908/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=54056 CPUtime=1601.78 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 11323 0 0 0 159917 261 0 0 25 0 1 0 11577831 55353344 11090 1992294400 134512640 137138936 4292316544 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 13514 11090 192 642 0 12870 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 54056 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17334 /proc/meminfo: memFree=1717908/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=54056 CPUtime=1661.75 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 11323 0 0 0 165905 270 0 0 25 0 1 0 11577831 55353344 11090 1992294400 134512640 137138936 4292316544 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 13514 11090 192 642 0 12870 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 54056 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17336 /proc/meminfo: memFree=1717908/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=54056 CPUtime=1721.74 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 11323 0 0 0 171893 281 0 0 25 0 1 0 11577831 55353344 11090 1992294400 134512640 137138936 4292316544 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 13514 11090 192 642 0 12870 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 54056 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17338 /proc/meminfo: memFree=1718280/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=53564 CPUtime=1781.71 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 11323 0 0 0 177881 290 0 0 25 0 1 0 11577831 54849536 10967 1992294400 134512640 137138936 4292316544 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 13391 10967 192 642 0 12747 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 53564 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 17338 /proc/meminfo: memFree=1718280/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=53564 CPUtime=1791.32 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 11323 0 0 0 178839 293 0 0 25 0 1 0 11577831 54849536 10967 1992294400 134512640 137138936 4292316544 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 13391 10967 192 642 0 12747 0 Current children cumulated CPU time (s) 1791.32 Current children cumulated vsize (KiB) 53564 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17338 /proc/meminfo: memFree=1718280/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=53564 CPUtime=1794.52 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 11323 0 0 0 179158 294 0 0 25 0 1 0 11577831 54849536 10967 1992294400 134512640 137138936 4292316544 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 13391 10967 192 642 0 12747 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (KiB) 53564 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17338 /proc/meminfo: memFree=1718280/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=53564 CPUtime=1796.11 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 11323 0 0 0 179317 294 0 0 25 0 1 0 11577831 54849536 10967 1992294400 134512640 137138936 4292316544 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 13391 10967 192 642 0 12747 0 Current children cumulated CPU time (s) 1796.11 Current children cumulated vsize (KiB) 53564 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17338 /proc/meminfo: memFree=1718280/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=53564 CPUtime=1796.91 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 11323 0 0 0 179397 294 0 0 25 0 1 0 11577831 54849536 10967 1992294400 134512640 137138936 4292316544 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 13391 10967 192 642 0 12747 0 Current children cumulated CPU time (s) 1796.91 Current children cumulated vsize (KiB) 53564 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17338 /proc/meminfo: memFree=1718280/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=53564 CPUtime=1797.71 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 11323 0 0 0 179477 294 0 0 25 0 1 0 11577831 54849536 10967 1992294400 134512640 137138936 4292316544 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 13391 10967 192 642 0 12747 0 Current children cumulated CPU time (s) 1797.71 Current children cumulated vsize (KiB) 53564 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17338 /proc/meminfo: memFree=1718280/2059040 swapFree=4168596/4192956 [pid=17280] ppid=17278 vsize=53564 CPUtime=1797.92 /proc/17280/stat : 17280 (bsolo_pb10) R 17278 17280 16884 0 -1 4202496 11323 0 0 0 179498 294 0 0 25 0 1 0 11577831 54849536 10967 1992294400 134512640 137138936 4292316544 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17280/statm: 13391 10967 192 642 0 12747 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 53564 Child status: 0 Real time (s): 1798.59 CPU time (s): 1798.01 CPU user time (s): 1795.06 CPU system time (s): 2.95155 CPU usage (%): 99.9677 Max. virtual memory (cumulated for all children) (KiB): 54256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.06 system time used= 2.95155 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11324 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= 2954 runsolver used 2.83957 second user time and 8.62069 second system time The end
Begin job on node055 at 2010-06-16 17:41:09 IDJOB=2670583 IDBENCH=48008 IDSOLVER=1162 FILE ID=node055/2670583-1276702869 PBS_JOBID= 11174090 Free space on /tmp= 62480 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=37-P1=223-P2=197-P3=97-P4=11-P5=157-P6=97-P7=127-P8=79-P9=11-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670583-1276702869/watcher-2670583-1276702869 -o /tmp/evaluation-result-2670583-1276702869/solver-2670583-1276702869 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670583-1276702869.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cdc1e49bcf2e6b6913c93a683c821b72 RANDOM SEED=909992215 node055.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.258 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.51 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.258 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1764076 kB Buffers: 74016 kB Cached: 117520 kB SwapCached: 1504 kB Active: 97116 kB Inactive: 131080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1764076 kB SwapTotal: 4192956 kB SwapFree: 4168596 kB Dirty: 4064 kB Writeback: 12 kB AnonPages: 35044 kB Mapped: 15108 kB Slab: 44960 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181356 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-2670583-1276702869.opb Free space on /tmp at the end= 62476 MiB End job on node055 at 2010-06-16 18:11:08