Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | -11 | 1798.01 | 1798.49 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_1.opb |
MD5SUM | 26861ca996cf8fd2abe5c211e1f47a26 |
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 | -14 |
Best CPU time to get the best result obtained on this benchmark | 1306.65 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -14 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
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) | 1220 |
Sum of products size (including duplicates) | 2440 |
Number of different products | 610 |
Sum of products size | 1220 |
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-1878247-1245205248.opb 0.00/0.00 c File size is 49946 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: 710 Constr: 1372 660/102/610 Lit: 5180 Watch. Lit: 4472 0.00/0.00 c Obj. Vars: 50 (7.04225 % of total variables) 0.09/0.13 c Pre-processing Time: 0.13 s 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 0 710 1372 5180 3 4472 10550 0 0 0.13 0.09/0.13 c Switching off lower bounding mode. 0.09/0.13 o -1 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 0 710 1373 5230 3 4475 10583 1 0 0.13 0.09/0.13 o -2 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 3 710 1377 5444 3 4485 10600 5 22 0.13 0.09/0.14 c 103 710 1477 11434 7 4685 11661 105 725 0.14 0.09/0.14 o -3 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 122 710 1497 12446 8 4728 10617 125 847 0.14 0.19/0.28 c 222 710 1597 20103 12 4928 11679 225 1414 0.16 0.19/0.28 c 473 710 1848 40119 21 5430 12847 476 2543 0.19 0.19/0.28 c 948 710 2323 70549 30 6380 14132 951 4251 0.22 0.19/0.28 c 1761 710 3136 113987 36 8006 15546 1764 6244 0.28 0.19/0.28 o -4 7.98/8.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.98/8.06 c 1796 710 3172 115849 36 8082 10633 1800 6279 0.29 7.98/8.06 c 1897 710 3273 123685 37 8284 11697 1901 6281 0.30 7.98/8.06 c 2147 710 3523 143994 40 8784 12867 2151 6314 0.34 7.98/8.06 c 2622 710 3998 177366 44 9734 14154 2626 6723 0.39 7.98/8.06 c 3435 710 4811 229045 47 11360 15570 3439 7097 0.48 7.98/8.06 c 4757 710 6133 332411 54 14004 17128 4761 6579 0.72 7.98/8.06 c 6838 710 8214 502890 61 18166 18841 6842 5703 1.20 7.98/8.06 c 10062 710 11438 785629 68 24614 20726 10066 4757 2.12 7.98/8.06 c 14998 710 16374 1118269 68 34486 22799 15002 3628 4.13 7.98/8.06 c 22504 710 23880 1750126 73 49498 25079 22508 2820 7.98 7.98/8.06 o -8 9.89/9.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.89/9.97 c 22638 710 24015 1754608 73 49776 10700 22643 2807 8.06 9.89/9.97 c 22738 710 6823 462031 67 15382 11771 5451 2479 9.17 9.89/9.97 c 22988 710 7073 477842 67 15882 12949 5701 2492 9.22 9.89/9.97 c 23463 710 7548 509633 67 16832 14244 6176 2513 9.33 9.89/9.97 c 24276 710 8361 566339 67 18458 15669 6989 2561 9.48 9.89/9.97 c 25596 710 9681 661990 68 21098 17236 8309 2620 9.77 9.89/9.97 o -9 75.17/75.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 75.17/75.26 c 26299 710 10385 713480 68 22515 10717 9013 2638 9.97 75.17/75.26 c 26399 710 10485 720930 68 22715 11789 9113 2641 9.99 75.17/75.26 c 26649 710 10735 738129 68 23215 12968 9363 2647 10.06 75.17/75.26 c 27124 710 11210 771679 68 24165 14265 9838 2658 10.20 75.17/75.26 c 27937 710 12023 827593 68 25791 15692 10651 2687 10.39 75.17/75.26 c 29257 710 13343 927051 69 28431 17262 11971 2719 10.76 75.17/75.26 c 31338 710 15424 1077734 69 32593 18989 14052 2701 11.60 75.17/75.26 c 34561 710 18647 1284888 68 39039 20888 17275 2647 13.06 75.17/75.26 c 39497 710 12496 717763 57 26729 22977 11124 2278 17.34 75.17/75.26 c 47004 710 20003 1147105 57 41743 25275 18631 2308 20.36 75.17/75.26 c 58365 710 16380 937631 57 34497 27803 15008 2070 28.19 75.17/75.26 c 75509 710 16124 920398 57 33985 30584 14752 1956 38.59 75.17/75.26 c 101328 710 21859 1294086 59 45455 33643 20487 1818 55.73 75.17/75.26 o -10 156.35/156.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 156.35/156.45 c 129176 710 26659 1636780 61 55065 10733 25287 1716 75.25 156.35/156.45 c 129276 710 6840 329824 48 15418 11807 5468 1692 76.36 156.35/156.45 c 129526 710 7090 342776 48 15918 12988 5718 1695 76.40 156.35/156.45 c 130001 710 7565 369296 48 16868 14287 6193 1699 76.48 156.35/156.45 c 130814 710 8378 417146 49 18494 15716 7006 1705 76.68 156.35/156.45 c 132134 710 9698 489627 50 21134 17288 8326 1716 76.99 156.35/156.45 c 134215 710 11779 604903 51 25296 19017 10407 1731 77.53 156.35/156.45 c 137439 710 15003 791837 52 31744 20919 13631 1754 78.33 156.35/156.45 c 142375 710 19939 1090223 54 41616 23011 18567 1770 80.40 156.35/156.45 c 149881 710 14602 833181 57 30942 25313 13230 1745 85.85 156.35/156.45 c 161243 710 25964 1643082 63 53666 27845 24592 1754 91.88 156.35/156.45 c 178387 710 25584 1667681 65 52906 30630 24212 1703 104.73 156.35/156.45 c 204206 710 31211 2055064 65 64160 33694 29839 1644 124.21 156.35/156.45 c 243038 710 23758 1593870 67 49254 37064 22386 1567 155.05 156.35/156.45 o -11 1797.92/1798.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.47 c 245398 710 26119 1764464 67 53987 10750 24747 1568 156.41 1797.92/1798.47 c 245498 710 6848 414561 60 15435 11826 5476 1549 158.39 1797.92/1798.47 c 245749 710 7099 431172 60 15937 13009 5727 1551 158.44 1797.92/1798.47 c 246224 710 7574 466487 61 16887 14310 6202 1552 158.55 1797.92/1798.47 c 247037 710 8387 526532 62 18513 15742 7015 1556 158.74 1797.92/1798.47 c 248357 710 9707 620077 63 21153 17317 8335 1561 159.09 1797.92/1798.47 c 250438 710 11788 776247 65 25315 19049 10416 1567 159.79 1797.92/1798.47 c 253661 710 15011 1010616 67 31761 20954 13639 1573 161.21 1797.92/1798.47 c 258597 710 19947 1346489 67 41633 23050 18575 1575 164.18 1797.92/1798.47 c 266103 710 14591 952440 65 30921 25356 13219 1563 170.15 1797.92/1798.47 c 277464 710 25952 1798703 69 53643 27892 24580 1564 177.31 1797.92/1798.47 c 294608 710 25579 1735397 67 52897 30682 24207 1545 190.67 1797.92/1798.47 c 320427 710 31172 1971478 63 64083 33751 29800 1508 212.48 1797.92/1798.47 c 359259 710 23605 1595268 67 48949 37127 22233 1495 240.24 1797.92/1798.47 c 417612 710 28894 1917719 66 59527 40840 27522 1423 293.33 1797.92/1798.47 c 505244 710 26332 1655679 62 54403 44925 24960 1332 379.09 1797.92/1798.47 c 636796 710 21478 1380918 64 44695 49418 20106 1250 509.15 1797.92/1798.47 c 834229 710 26369 1790631 67 54477 54360 24997 1081 771.28 1797.92/1798.47 c 1130481 710 19208 1183277 61 40155 59797 17836 923 1224.49 1797.92/1798.47 c Resources Exceeded 1797.92/1798.47 v -x1 x2 -x3 -x4 -x5 -x6 x7 x8 -x9 -x10 x11 -x12 -x13 -x14 x15 -x16 -x17 x18 x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -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 -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 1797.92/1798.47 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.47 c 70 1496668 1424 1502764 44826 3133242 43454 832 1798.00 1797.92/1798.47 c Objective: -11 1797.92/1798.47 s SATISFIABLE 1797.92/1798.47 c Total time: 1798 s
OK -11
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878247-1245205248/watcher-1878247-1245205248 -o /tmp/evaluation-result-1878247-1245205248/solver-1878247-1245205248 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878247-1245205248.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.85 0.97 0.99 3/64 11439 /proc/meminfo: memFree=1832296/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=10760 CPUtime=0 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 250 0 0 0 0 0 0 0 18 0 1 0 188121979 11018240 234 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 2690 236 175 640 0 2033 0 [startup+0.0348621 s] /proc/loadavg: 0.85 0.97 0.99 3/64 11439 /proc/meminfo: memFree=1832296/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=10984 CPUtime=0.03 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 350 0 0 0 3 0 0 0 18 0 1 0 188121979 11247616 321 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 2746 321 189 640 0 2102 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10984 [startup+0.101869 s] /proc/loadavg: 0.85 0.97 0.99 3/64 11439 /proc/meminfo: memFree=1832296/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=10984 CPUtime=0.09 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 350 0 0 0 9 0 0 0 18 0 1 0 188121979 11247616 321 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 2746 321 189 640 0 2102 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10984 [startup+0.301891 s] /proc/loadavg: 0.85 0.97 0.99 3/64 11439 /proc/meminfo: memFree=1832296/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=12752 CPUtime=0.29 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 786 0 0 0 29 0 0 0 19 0 1 0 188121979 13058048 757 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 3188 757 197 640 0 2544 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12752 [startup+0.701934 s] /proc/loadavg: 0.85 0.97 0.99 3/64 11439 /proc/meminfo: memFree=1832296/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=15512 CPUtime=0.69 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 1489 0 0 0 68 1 0 0 22 0 1 0 188121979 15884288 1460 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 3878 1460 197 640 0 3234 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15512 [startup+1.50202 s] /proc/loadavg: 0.85 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1825568/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=19512 CPUtime=1.49 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 2481 0 0 0 147 2 0 0 25 0 1 0 188121979 19980288 2452 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 4878 2452 197 640 0 4234 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19512 [startup+3.1022 s] /proc/loadavg: 0.85 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1820576/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=24268 CPUtime=3.09 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 3666 0 0 0 307 2 0 0 25 0 1 0 188121979 24850432 3637 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 6067 3637 197 640 0 5423 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24268 [startup+6.30156 s] /proc/loadavg: 0.86 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1812640/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=31796 CPUtime=6.28 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 5558 0 0 0 623 5 0 0 25 0 1 0 188121979 32559104 5529 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 7949 5529 197 640 0 7305 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 31796 [startup+12.7013 s] /proc/loadavg: 0.87 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1806432/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=35916 CPUtime=12.69 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 6601 0 0 0 1261 8 0 0 25 0 1 0 188121979 36777984 6572 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 8979 6572 197 640 0 8335 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 35916 [startup+25.5017 s] /proc/loadavg: 0.90 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1806560/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=35928 CPUtime=25.48 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 6604 0 0 0 2537 11 0 0 25 0 1 0 188121979 36790272 6575 1992294400 134512640 137136520 4294956256 18446744073709551615 134540856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 8982 6575 197 640 0 8338 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 35928 [startup+51.1015 s] /proc/loadavg: 0.93 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1802848/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=39592 CPUtime=51.08 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 7524 0 0 0 5092 16 0 0 25 0 1 0 188121979 40542208 7495 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 9898 7495 197 640 0 9254 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 39592 [startup+102.305 s] /proc/loadavg: 0.97 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1799648/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=42920 CPUtime=102.26 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 8360 0 0 0 10199 27 0 0 25 0 1 0 188121979 43950080 8297 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 10730 8297 197 640 0 10086 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 42920 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1797472/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=45120 CPUtime=162.25 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 8910 0 0 0 16188 37 0 0 25 0 1 0 188121979 46202880 8847 1992294400 134512640 137136520 4294956256 18446744073709551615 136502382 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 11280 8847 197 640 0 10636 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 45120 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1797472/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=45120 CPUtime=222.24 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 8910 0 0 0 22175 49 0 0 25 0 1 0 188121979 46202880 8847 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 11280 8847 197 640 0 10636 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 45120 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1792544/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=49988 CPUtime=282.22 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 10164 0 0 0 28164 58 0 0 25 0 1 0 188121979 51187712 10064 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 12497 10064 197 640 0 11853 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 49988 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1791264/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=51252 CPUtime=342.2 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 10521 0 0 0 34153 67 0 0 25 0 1 0 188121979 52482048 10380 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 12813 10380 197 640 0 12169 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 51252 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1787744/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=54580 CPUtime=402.18 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 11402 0 0 0 40140 78 0 0 25 0 1 0 188121979 55889920 11216 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 13645 11216 197 640 0 13001 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 54580 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1787488/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=55004 CPUtime=462.17 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 11504 0 0 0 46129 88 0 0 25 0 1 0 188121979 56324096 11318 1992294400 134512640 137136520 4294956256 18446744073709551615 134544297 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 13751 11318 197 640 0 13107 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 55004 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1784544/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=57932 CPUtime=522.15 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 12236 0 0 0 52118 97 0 0 25 0 1 0 188121979 59322368 12050 1992294400 134512640 137136520 4294956256 18446744073709551615 134543875 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 14483 12050 197 640 0 13839 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 57932 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1780064/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=62176 CPUtime=582.14 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 13351 0 0 0 58108 106 0 0 25 0 1 0 188121979 63668224 13116 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 15544 13116 197 640 0 14900 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 62176 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1778336/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=64116 CPUtime=642.13 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 13831 0 0 0 64097 116 0 0 25 0 1 0 188121979 65654784 13596 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 16029 13596 197 640 0 15385 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 64116 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1776032/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=66272 CPUtime=1122 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 14424 0 0 0 112017 183 0 0 25 0 1 0 188121979 67862528 14135 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 16568 14135 197 640 0 15924 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 66272 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1776032/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=66272 CPUtime=1181.98 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 14424 0 0 0 118011 187 0 0 25 0 1 0 188121979 67862528 14135 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 16568 14135 197 640 0 15924 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 66272 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1775968/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=66272 CPUtime=1241.96 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 14424 0 0 0 124000 196 0 0 25 0 1 0 188121979 67862528 14135 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 16568 14135 197 640 0 15924 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 66272 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1775904/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=66292 CPUtime=1301.95 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 14429 0 0 0 129991 204 0 0 25 0 1 0 188121979 67883008 14140 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 16573 14140 197 640 0 15929 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 66292 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1774944/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=66952 CPUtime=1361.94 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 14678 0 0 0 135984 210 0 0 25 0 1 0 188121979 68558848 14329 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 16738 14329 197 640 0 16094 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 66952 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1774112/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=68096 CPUtime=1421.92 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 14940 0 0 0 141974 218 0 0 25 0 1 0 188121979 69730304 14591 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 17024 14591 197 640 0 16380 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 68096 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1774112/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=68096 CPUtime=1481.9 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 14940 0 0 0 147966 224 0 0 25 0 1 0 188121979 69730304 14591 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 17024 14591 197 640 0 16380 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 68096 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1771488/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=70672 CPUtime=1541.89 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 15584 0 0 0 153956 233 0 0 25 0 1 0 188121979 72368128 15235 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 17668 15235 197 640 0 17024 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 70672 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1771488/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=70672 CPUtime=1601.87 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 15584 0 0 0 159948 239 0 0 25 0 1 0 188121979 72368128 15235 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 17668 15235 197 640 0 17024 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 70672 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1771488/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=70672 CPUtime=1661.85 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 15584 0 0 0 165937 248 0 0 25 0 1 0 188121979 72368128 15235 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 17668 15235 197 640 0 17024 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 70672 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1771488/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=70672 CPUtime=1721.83 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 15584 0 0 0 171927 256 0 0 25 0 1 0 188121979 72368128 15235 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 17668 15235 197 640 0 17024 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 70672 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1771232/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=70836 CPUtime=1781.82 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 15625 0 0 0 177920 262 0 0 25 0 1 0 188121979 72536064 15276 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 17709 15276 197 640 0 17065 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 70836 Solver just ended. Dumping a history of the last processes samples [startup+1791.9 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1771232/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=70836 CPUtime=1791.42 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 15625 0 0 0 178879 263 0 0 25 0 1 0 188121979 72536064 15276 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 17709 15276 197 640 0 17065 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (KiB) 70836 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1771232/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=70836 CPUtime=1794.62 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 15625 0 0 0 179199 263 0 0 25 0 1 0 188121979 72536064 15276 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 17709 15276 197 640 0 17065 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (KiB) 70836 [startup+1796.7 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1771232/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=70836 CPUtime=1796.22 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 15625 0 0 0 179359 263 0 0 25 0 1 0 188121979 72536064 15276 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 17709 15276 197 640 0 17065 0 Current children cumulated CPU time (s) 1796.22 Current children cumulated vsize (KiB) 70836 [startup+1797.5 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1771232/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=70836 CPUtime=1797.01 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 15625 0 0 0 179438 263 0 0 25 0 1 0 188121979 72536064 15276 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 17709 15276 197 640 0 17065 0 Current children cumulated CPU time (s) 1797.01 Current children cumulated vsize (KiB) 70836 [startup+1797.9 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1771232/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=70836 CPUtime=1797.41 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 15625 0 0 0 179478 263 0 0 25 0 1 0 188121979 72536064 15276 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 17709 15276 197 640 0 17065 0 Current children cumulated CPU time (s) 1797.41 Current children cumulated vsize (KiB) 70836 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1771232/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=70836 CPUtime=1797.81 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 15625 0 0 0 179518 263 0 0 25 0 1 0 188121979 72536064 15276 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 17709 15276 197 640 0 17065 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 70836 [startup+1798.4 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11440 /proc/meminfo: memFree=1771232/2055920 swapFree=4191900/4192956 [pid=11439] ppid=11437 vsize=70836 CPUtime=1797.92 /proc/11439/stat : 11439 (bsolo) R 11437 11439 11394 0 -1 4194304 15625 0 0 0 179529 263 0 0 25 0 1 0 188121979 72536064 15276 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11439/statm: 17709 15276 197 640 0 17065 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 70836 Child status: 0 Real time (s): 1798.49 CPU time (s): 1798.01 CPU user time (s): 1795.36 CPU system time (s): 2.6486 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 70836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.36 system time used= 2.6486 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15627 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= 3 involuntary context switches= 2682 runsolver used 1.20682 second user time and 3.85341 second system time The end
Begin job on node38 at 2009-06-17 04:20:48 IDJOB=1878247 IDBENCH=48227 IDSOLVER=700 FILE ID=node38/1878247-1245205248 PBS_JOBID= 9368385 Free space on /tmp= 66236 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_1.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878247-1245205248/watcher-1878247-1245205248 -o /tmp/evaluation-result-1878247-1245205248/solver-1878247-1245205248 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878247-1245205248.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 26861ca996cf8fd2abe5c211e1f47a26 RANDOM SEED=1568208380 node38.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.232 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.232 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: 1832904 kB Buffers: 45828 kB Cached: 94060 kB SwapCached: 260 kB Active: 52300 kB Inactive: 100776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1832904 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 4080 kB Writeback: 0 kB Mapped: 22368 kB Slab: 55972 kB Committed_AS: 171744 kB PageTables: 1456 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-1878247-1245205248.opb Free space on /tmp at the end= 66232 MiB End job on node38 at 2009-06-17 04:50:47