Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -11 | 1800.27 | 1801.03 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_60_5.opb |
MD5SUM | 13c8aeb5c21aab422ad1cf9309500df6 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -40 |
Best CPU time to get the best result obtained on this benchmark | 1800.23 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -40 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 75000 |
Sum of products size (including duplicates) | 150000 |
Number of different products | 37500 |
Sum of products size | 75000 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/455115-1178037284/instance-455115-1178037284.opb 0.00/0.00 c File size is 987569 bytes. 0.39/0.46 c Highest Coefficient sum: 1000 0.39/0.46 c Parsing was ok!! 0.39/0.46 c Total parsing time: 0.455 s 0.49/0.58 c Var: 76000 Constr: 151502 75500/1002/75000 Lit: 528000 Watch. Lit: 452002 0.49/0.58 c Obj. Vars: 500 (0.657895 % of total variables) 180.62/180.70 c Pre-processing Time: 180.629 s 180.62/180.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.62/180.71 c 0 76000 151502 528000 3 452002 500000 0 0 180.63 180.62/180.71 c Switching off LPR mode. 180.72/180.84 o -1 180.772 180.92/181.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.92/181.03 c 0 76000 151503 528500 3 452005 500000 1 0 180.81 180.92/181.03 o -2 180.958 181.12/181.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.12/181.21 c 0 76000 151504 529000 3 452009 500000 2 0 180.99 181.12/181.21 o -3 181.146 181.32/181.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.32/181.40 c 0 76000 151505 529500 3 452014 500000 3 0 181.18 181.32/181.40 o -4 181.335 181.43/181.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.43/181.59 c 0 76000 151506 530000 3 452020 500000 4 0 181.37 181.43/181.59 o -5 181.525 181.62/181.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.62/181.78 c 0 76000 151507 530500 3 452027 500000 5 0 181.56 181.62/181.78 o -6 181.715 181.82/181.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.82/181.97 c 0 76000 151508 531000 3 452035 500000 6 0 181.75 181.82/181.97 o -7 181.905 182.02/182.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 182.02/182.16 c 0 76000 151509 531500 3 452044 500000 7 0 181.94 182.02/182.16 o -8 182.095 182.22/182.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 182.22/182.35 c 0 76000 151510 532000 3 452054 500000 8 0 182.13 182.22/182.35 o -9 182.285 182.42/182.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 182.42/182.54 c 0 76000 151511 532500 3 452065 500000 9 0 182.33 182.42/182.54 o -10 182.475 182.62/182.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 182.62/182.79 c 0 76000 151512 533000 3 452077 500000 10 0 182.52 182.62/182.79 o -11 182.718 1799.95/1800.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.95/1800.74 c 4 76000 151517 536098 3 452098 500000 15 0 182.76 1799.95/1800.74 c 104 76000 151617 590633 3 452298 550001 115 0 184.39 1799.95/1800.74 c 354 76000 151867 755775 4 452798 605002 365 1 189.31 1799.95/1800.74 c 829 76000 152342 1058999 6 453748 665503 840 4 197.19 1799.95/1800.74 c 1642 76000 153155 1649324 10 455374 732054 1653 8 204.87 1799.95/1800.74 c 2962 76000 154475 2593819 16 458014 805260 2973 13 213.06 1799.95/1800.74 c 5043 76000 156556 3756801 23 462176 885787 5054 22 227.34 1799.95/1800.74 c 8266 76000 159779 5572378 34 468622 974366 8277 33 249.89 1799.95/1800.74 c 13202 76000 164715 8168206 49 478494 500000 13213 48 273.23 1799.95/1800.74 c 20708 76000 172221 12710654 73 493506 550001 20719 56 364.94 1799.95/1800.74 c 32069 76000 183582 19762424 107 516228 605002 32080 66 482.71 1799.95/1800.74 c 49213 76000 200726 29868813 148 550516 665503 49224 79 619.95 1799.95/1800.75 c 75032 76000 226545 46020013 203 602154 732054 75043 93 803.09 1799.95/1800.75 c 113864 76000 265377 69000472 260 679818 805260 113875 113 1004.13 1799.95/1800.75 c 172216 76000 323729 104724290 323 796522 885787 172227 119 1446.79 1799.95/1800.75 c Resources Exceeded 1799.95/1800.75 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 1799.95/1800.75 v -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 1799.95/1800.75 v -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 1799.95/1800.75 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 1799.95/1800.75 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1799.95/1800.75 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1799.95/1800.75 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1799.95/1800.75 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1799.95/1800.75 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1799.95/1800.75 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 1799.95/1800.75 v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 1799.95/1800.75 v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1799.95/1800.75 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1799.95/1800.75 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 1799.95/1800.75 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1799.95/1800.75 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1799.95/1800.75 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 1799.95/1800.75 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1799.95/1800.75 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1799.95/1800.75 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1799.95/1800.75 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 1799.95/1800.75 v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 1799.95/1800.75 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x676 -x766 -x611 -x573 -x777 1799.95/1800.75 v -x633 -x921 -x650 -x574 -x882 -x527 -x849 -x861 -x699 -x911 -x521 -x727 -x829 -x987 -x915 -x506 -x680 -x874 -x832 -x961 -x884 1799.95/1800.75 v -x553 -x968 -x847 -x728 -x585 -x809 -x800 -x862 -x941 -x572 -x511 -x866 -x954 -x538 -x714 -x666 -x736 -x624 -x608 -x702 -x594 1799.95/1800.75 v -x616 -x723 -x774 -x989 -x554 -x586 -x724 -x928 -x990 -x543 -x717 -x628 -x934 -x507 -x528 -x531 -x536 -x537 -x555 -x565 -x580 1799.95/1800.75 v -x583 -x617 -x620 -x646 -x658 -x672 -x673 -x726 -x781 -x795 -x817 -x821 -x879 -x895 -x901 -x904 -x949 -x972 -x501 x869 x940 1799.95/1800.75 v -x851 -x591 x745 x888 x804 -x762 x975 -x779 -x799 x980 -x664 -x595 -x887 -x653 -x935 x792 -x590 -x659 -x719 -x579 -x844 -x647 1799.95/1800.75 v -x515 -x520 -x807 -x871 -x592 -x551 x610 -x747 -x813 -x937 -x525 -x963 -x870 -x504 -x979 -x897 -x598 -x533 -x508 -x568 x922 1799.95/1800.75 v -x715 -x627 -x514 -x519 -x526 -x529 -x535 -x544 -x547 -x550 -x556 -x559 -x577 x593 -x596 -x603 -x607 -x612 -x625 -x638 -x643 1799.95/1800.75 v -x710 -x754 -x758 -x788 -x830 -x839 -x841 -x856 -x863 -x945 -x997 -x502 -x581 -x552 -x868 -x996 -x938 -x978 -x742 -x602 -x619 1799.95/1800.75 v -x564 -x635 -x622 -x542 -x636 -x956 -x626 -x998 -x545 -x944 -x765 -x570 -x815 -x692 -x716 -x578 -x566 -x867 -x764 -x820 -x516 1799.95/1800.75 v -x751 -x899 -x822 -x886 -x652 -x908 -x569 -x518 -x991 -x926 -x709 -x558 -x639 -x992 -x509 -x560 -x562 -x613 -x618 -x677 -x682 1799.95/1800.75 v -x695 -x705 -x721 -x732 -x740 -x780 -x797 -x798 -x852 -x860 -x890 -x936 -x939 -x999 -x503 -x561 -x857 -x756 -x912 -x651 -x746 1799.95/1800.75 v -x688 -x919 -x787 -x649 -x923 -x534 -x811 -x634 -x806 -x835 -x718 -x981 -x725 -x931 -x920 -x959 -x946 -x914 -x609 -x970 -x917 1799.95/1800.75 v -x540 -x881 -x883 -x505 -x513 -x523 -x539 -x548 -x567 -x575 -x597 -x606 -x637 -x648 -x669 -x704 -x713 -x733 -x738 -x743 -x752 1799.95/1800.75 v -x755 -x767 -x816 -x859 -x872 -x878 -x910 -x933 -x952 -x969 -x953 -x836 -x615 -x589 -x958 -x854 -x768 -x960 -x984 -x864 -x734 1799.95/1800.75 v -x720 -x801 -x778 -x840 -x790 -x696 -x599 -x665 -x965 -x802 -x753 -x532 -x853 -x838 -x803 -x541 -x576 -x630 -x662 -x674 -x687 1799.95/1800.75 v -x691 -x708 -x722 -x730 -x731 -x737 -x791 -x805 -x827 -x846 -x898 -x906 -x913 -x982 -x932 -x826 -x771 -x865 -x983 -x604 -x903 1799.95/1800.75 v -x759 -x786 -x698 -x785 -x966 -x546 -x729 -x642 -x833 -x955 -x962 -x748 -x660 -x769 -x744 -x924 -x512 -x522 -x679 -x685 -x706 1799.95/1800.75 v -x735 -x739 -x950 -x640 -x889 -x760 -x694 -x875 -x977 -x701 -x948 -x700 -x600 -x750 -x834 -x930 -x843 -x749 -x976 -x796 -x916 1799.95/1800.75 v -x582 -x661 -x693 -x712 -x814 -x848 -x892 -x964 -x818 -x763 -x776 -x810 -x877 -x900 -x967 -x683 -x623 -x794 -x563 -x823 -x524 1799.95/1800.75 v -x549 -x584 -x644 -x656 -x670 -x711 -x772 -x891 -x896 -x995 -x668 -x654 -x845 -x880 -x942 -x689 -x605 -x614 -x632 -x783 -x951 1799.95/1800.75 v -x993 -x681 -x907 -x571 -x678 -x985 -x905 -x663 -x667 -x601 -x789 -x690 -x828 -x510 -x909 -x947 -x831 -x971 -x1000 -x587 1799.95/1800.75 v -x837 -x641 -x793 -x988 -x876 -x918 -x943 -x858 -x927 -x894 -x973 -x784 -x557 -x588 -x697 -x703 -x873 -x925 -x741 -x530 -x824 1799.95/1800.75 v -x775 -x850 -x957 -x671 -x655 -x675 -x986 -x621 -x855 -x707 -x994 -x517 -x842 -x686 -x773 -x819 -x825 -x757 -x631 -x812 -x629 1799.95/1800.75 v -x893 -x885 -x974 -x929 -x657 -x808 -x761 -x902 -x782 -x684 -x770 -x645 1799.95/1800.75 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.95/1800.75 c 25 215005 1405 957790 366518 131955159 215016 119 1800.00 1799.95/1800.75 c Objective: -11 1799.95/1800.75 s SATISFIABLE 1799.95/1800.75 c Total time: 1800 s
OK -11
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node46/watcher-455115-1178037284 -o ROOT/results/node46/solver-455115-1178037284 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455115-1178037284/instance-455115-1178037284.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.97 0.99 3/78 14339 /proc/meminfo: memFree=1834816/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=3828 CPUtime=0 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 161 0 0 0 0 0 0 0 18 0 1 0 158411403 3919872 141 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7798892 0 0 4096 0 0 0 0 17 1 0 0 /proc/14339/statm: 957 143 120 324 0 14 0 [startup+0.047657 s] /proc/loadavg: 0.85 0.97 0.99 3/78 14339 /proc/meminfo: memFree=1834816/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=7096 CPUtime=0.04 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 959 0 0 0 4 0 0 0 18 0 1 0 158411403 7266304 928 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8230523 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 1774 928 314 324 0 601 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 7096 [startup+0.101667 s] /proc/loadavg: 0.85 0.97 0.99 3/78 14339 /proc/meminfo: memFree=1834816/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=10052 CPUtime=0.09 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 1711 0 0 0 9 0 0 0 18 0 1 0 158411403 10293248 1680 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8230523 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 2513 1681 343 324 0 1340 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10052 [startup+0.301704 s] /proc/loadavg: 0.85 0.97 0.99 3/78 14339 /proc/meminfo: memFree=1834816/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=19988 CPUtime=0.28 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 4402 0 0 0 27 1 0 0 19 0 1 0 158411403 20467712 4203 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8230523 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 4997 4204 442 324 0 3824 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 19988 [startup+0.701777 s] /proc/loadavg: 0.85 0.97 0.99 3/78 14339 /proc/meminfo: memFree=1834816/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=44400 CPUtime=0.69 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 10628 0 0 0 64 5 0 0 22 0 1 0 158411403 45465600 10187 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 11100 10187 307 324 0 10169 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 44400 [startup+1.50293 s] /proc/loadavg: 0.85 0.97 0.99 2/79 14340 /proc/meminfo: memFree=1794424/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=45060 CPUtime=1.49 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 10799 0 0 0 144 5 0 0 25 0 1 0 158411403 46141440 10358 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8228951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 11265 10358 307 324 0 10334 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 45060 [startup+3.10122 s] /proc/loadavg: 0.85 0.97 0.99 2/79 14340 /proc/meminfo: memFree=1794296/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=45060 CPUtime=3.09 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 10807 0 0 0 304 5 0 0 25 0 1 0 158411403 46141440 10366 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 11265 10366 307 324 0 10334 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45060 [startup+6.30181 s] /proc/loadavg: 0.86 0.97 0.99 2/79 14340 /proc/meminfo: memFree=1794040/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=45060 CPUtime=6.29 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 10807 0 0 0 624 5 0 0 25 0 1 0 158411403 46141440 10366 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8228951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 11265 10366 307 324 0 10334 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 45060 [startup+12.702 s] /proc/loadavg: 0.87 0.97 0.99 2/79 14340 /proc/meminfo: memFree=1794104/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=45060 CPUtime=12.68 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 10820 0 0 0 1263 5 0 0 25 0 1 0 158411403 46141440 10379 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134567857 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 11265 10379 307 324 0 10334 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 45060 [startup+25.5014 s] /proc/loadavg: 0.90 0.97 0.99 2/79 14340 /proc/meminfo: memFree=1794232/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=45060 CPUtime=25.48 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 10821 0 0 0 2543 5 0 0 25 0 1 0 158411403 46141440 10380 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8228951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 11265 10380 307 324 0 10334 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45060 [startup+51.1011 s] /proc/loadavg: 0.93 0.97 0.99 2/79 14340 /proc/meminfo: memFree=1794232/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=45060 CPUtime=51.07 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 10825 0 0 0 5101 6 0 0 25 0 1 0 158411403 46141440 10384 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8228951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 11265 10384 307 324 0 10334 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 45060 [startup+102.306 s] /proc/loadavg: 0.97 0.97 0.99 2/79 14340 /proc/meminfo: memFree=1794296/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=45060 CPUtime=102.25 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 10825 0 0 0 10219 6 0 0 25 0 1 0 158411403 46141440 10384 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8228951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 11265 10384 307 324 0 10334 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 45060 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/79 14340 /proc/meminfo: memFree=1794232/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=45060 CPUtime=162.22 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 10831 0 0 0 16215 7 0 0 25 0 1 0 158411403 46141440 10390 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 11265 10390 307 324 0 10334 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 45060 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/79 14342 /proc/meminfo: memFree=1756920/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=81784 CPUtime=222.21 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 20304 0 0 0 22169 52 0 0 25 0 1 0 158411403 83746816 19714 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572752 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 20446 19714 313 324 0 19515 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 81784 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/79 14342 /proc/meminfo: memFree=1687736/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=151880 CPUtime=282.18 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 37826 0 0 0 28152 66 0 0 25 0 1 0 158411403 155525120 37236 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 37970 37236 313 324 0 37039 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 151880 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/79 14342 /proc/meminfo: memFree=1648952/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=189916 CPUtime=342.16 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 47332 0 0 0 34142 74 0 0 25 0 1 0 158411403 194473984 46742 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 47479 46742 313 324 0 46548 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 189916 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/79 14342 /proc/meminfo: memFree=1612216/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=227304 CPUtime=402.14 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 56689 0 0 0 40134 80 0 0 25 0 1 0 158411403 232759296 56099 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 56826 56099 313 324 0 55895 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 227304 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/79 14342 /proc/meminfo: memFree=1562168/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=276324 CPUtime=462.12 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 68923 0 0 0 46121 91 0 0 25 0 1 0 158411403 282955776 68333 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 69081 68333 313 324 0 68150 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 276324 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/79 14342 /proc/meminfo: memFree=1512184/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=326416 CPUtime=522.1 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 81448 0 0 0 52108 102 0 0 25 0 1 0 158411403 334249984 80858 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 81604 80858 313 324 0 80673 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 326416 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/79 14342 /proc/meminfo: memFree=1453944/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=384316 CPUtime=582.08 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 95940 0 0 0 58095 113 0 0 25 0 1 0 158411403 393539584 95350 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 96079 95350 313 324 0 95148 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 384316 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/79 14342 /proc/meminfo: memFree=1395128/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=442844 CPUtime=642.06 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 110559 0 0 0 64081 125 0 0 25 0 1 0 158411403 453472256 109969 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572807 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 110711 109969 313 324 0 109780 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 442844 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/79 14342 /proc/meminfo: memFree=1086072/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=751528 CPUtime=881.96 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 187722 0 0 0 88012 184 0 0 25 0 1 0 158411403 769564672 187132 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 187882 187132 313 324 0 186951 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 751528 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/79 14342 /proc/meminfo: memFree=977016/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=861936 CPUtime=941.94 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 215345 0 0 0 93988 206 0 0 25 0 1 0 158411403 882622464 214755 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 215484 214755 313 324 0 214553 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 861936 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/79 14342 /proc/meminfo: memFree=910264/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=926988 CPUtime=1001.93 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 231597 0 0 0 99973 220 0 0 25 0 1 0 158411403 949235712 231007 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 231747 231007 313 324 0 230816 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 926988 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/79 14342 /proc/meminfo: memFree=843960/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=995160 CPUtime=1061.9 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 248649 0 0 0 105957 233 0 0 25 0 1 0 158411403 1019043840 248059 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 248790 248059 313 324 0 247859 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 995160 [startup+1122.3 s] /proc/loadavg: 1.05 0.99 0.99 2/79 14342 /proc/meminfo: memFree=781240/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=1055680 CPUtime=1121.88 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 263766 0 0 0 111942 246 0 0 25 0 1 0 158411403 1081016320 263176 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572857 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 263920 263176 313 324 0 262989 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 1055680 [startup+1182.3 s] /proc/loadavg: 1.02 0.99 0.99 2/79 14342 /proc/meminfo: memFree=707448/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=1130156 CPUtime=1181.86 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 282401 0 0 0 117926 260 0 0 25 0 1 0 158411403 1157279744 281811 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 282539 281811 313 324 0 281608 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 1130156 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/79 14342 /proc/meminfo: memFree=653112/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=1183620 CPUtime=1241.84 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 295738 0 0 0 123915 269 0 0 25 0 1 0 158411403 1212026880 295148 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 295905 295148 313 324 0 294974 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 1183620 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/79 14342 /proc/meminfo: memFree=599992/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=1236328 CPUtime=1301.82 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 308919 0 0 0 129904 278 0 0 25 0 1 0 158411403 1265999872 308329 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 309082 308329 313 324 0 308151 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 1236328 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/79 14342 /proc/meminfo: memFree=536760/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=1300436 CPUtime=1361.79 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 324945 0 0 0 135888 291 0 0 25 0 1 0 158411403 1331646464 324355 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 325109 324355 313 324 0 324178 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 1300436 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/79 14342 /proc/meminfo: memFree=473912/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=1362256 CPUtime=1421.77 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 340406 0 0 0 141874 303 0 0 25 0 1 0 158411403 1394950144 339816 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 340564 339816 313 324 0 339633 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 1362256 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/79 14342 /proc/meminfo: memFree=410616/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=1426260 CPUtime=1481.75 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 356403 0 0 0 147861 314 0 0 25 0 1 0 158411403 1460490240 355813 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 356565 355813 313 324 0 355634 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 1426260 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/79 14342 /proc/meminfo: memFree=329016/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=1506976 CPUtime=1541.73 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 376583 0 0 0 153846 327 0 0 25 0 1 0 158411403 1543143424 375993 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 376744 375993 313 324 0 375813 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 1506976 [startup+1602.3 s] /proc/loadavg: 1.04 1.00 1.00 2/85 14480 /proc/meminfo: memFree=271936/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=1562760 CPUtime=1601.65 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 390523 0 0 0 159827 338 0 0 25 0 1 0 158411403 1600266240 389933 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551266 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 390690 389933 313 324 0 389759 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 1562760 [startup+1662.3 s] /proc/loadavg: 1.10 1.03 1.01 2/79 14540 /proc/meminfo: memFree=227768/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=1607812 CPUtime=1661.6 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 401810 0 0 0 165813 347 0 0 25 0 1 0 158411403 1646399488 401220 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 401953 401220 313 324 0 401022 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 1607812 [startup+1722.3 s] /proc/loadavg: 1.07 1.03 1.01 2/79 14540 /proc/meminfo: memFree=170360/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=1665512 CPUtime=1721.58 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 416217 0 0 0 171801 357 0 0 25 0 1 0 158411403 1705484288 415627 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 416378 415627 313 324 0 415447 0 Current children cumulated CPU time (s) 1721.58 Current children cumulated vsize (KiB) 1665512 [startup+1782.3 s] /proc/loadavg: 1.14 1.05 1.01 2/79 14540 /proc/meminfo: memFree=114616/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=1720864 CPUtime=1781.55 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194304 430072 0 0 0 177786 369 0 0 25 0 1 0 158411403 1762164736 429482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 430216 429482 313 324 0 429285 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (KiB) 1720864 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.10 1.05 1.01 2/79 14540 /proc/meminfo: memFree=431800/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=0 CPUtime=1800.05 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194308 434646 0 0 0 179626 379 0 0 17 0 1 0 158411403 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.10 1.05 1.01 2/79 14540 /proc/meminfo: memFree=431800/2055920 swapFree=4159404/4192956 [pid=14339] ppid=14337 vsize=0 CPUtime=1800.24 /proc/14339/stat : 14339 (bsolo3.0.16) R 14337 14339 13531 0 -1 4194308 434646 0 0 0 179626 398 0 0 18 0 1 0 158411403 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14339/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.03 CPU time (s): 1800.27 CPU user time (s): 1796.27 CPU system time (s): 4.00139 CPU usage (%): 99.9576 Max. virtual memory (cumulated for all children) (KiB): 1739024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.27 system time used= 4.00139 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 434646 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= 13 involuntary context switches= 2626 runsolver used 1.69274 second user time and 4.55931 second system time The end
Begin job on node46 on Tue May 1 16:34:44 UTC 2007 IDJOB= 455115 IDBENCH= 48242 IDSOLVER= 163 FILE ID= node46/455115-1178037284 PBS_JOBID= 4728389 Free space on /tmp= 66213 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_5.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455115-1178037284/instance-455115-1178037284.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node46/watcher-455115-1178037284 -o ROOT/results/node46/solver-455115-1178037284 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455115-1178037284/instance-455115-1178037284.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 13c8aeb5c21aab422ad1cf9309500df6 RANDOM SEED= 966952538 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node46.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.268 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 : 5931.00 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.268 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: 1835224 kB Buffers: 60316 kB Cached: 73856 kB SwapCached: 2780 kB Active: 113812 kB Inactive: 47552 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1835224 kB SwapTotal: 4192956 kB SwapFree: 4159404 kB Dirty: 7692 kB Writeback: 0 kB Mapped: 34112 kB Slab: 44712 kB Committed_AS: 4307304 kB PageTables: 1996 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66213 MiB End job on node46 on Tue May 1 17:04:47 UTC 2007