Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -11 | 1800.3 | 1800.88 |
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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/455121-1178037555/instance-455121-1178037555.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.457 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) 179.54/179.67 c Pre-processing Time: 179.621 s 179.54/179.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.54/179.68 c 0 76000 151502 528000 3 452002 500000 0 0 179.62 179.54/179.68 c Switching off LPR mode. 179.64/179.76 o -1 179.711 179.84/179.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.84/179.90 c 0 76000 151503 528500 3 452005 500000 1 0 179.75 179.84/179.90 o -2 179.846 179.94/180.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.94/180.04 c 0 76000 151504 529000 3 452009 500000 2 0 179.88 179.94/180.04 o -3 179.984 180.04/180.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.04/180.18 c 0 76000 151505 529500 3 452014 500000 3 0 180.02 180.04/180.18 o -4 180.125 180.24/180.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.24/180.32 c 0 76000 151506 530000 3 452020 500000 4 0 180.16 180.24/180.32 o -5 180.269 180.34/180.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.34/180.47 c 0 76000 151507 530500 3 452027 500000 5 0 180.31 180.34/180.47 o -6 180.414 180.54/180.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.54/180.61 c 0 76000 151508 531000 3 452035 500000 6 0 180.45 180.54/180.61 o -7 180.56 180.64/180.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.64/180.76 c 0 76000 151509 531500 3 452044 500000 7 0 180.60 180.64/180.76 o -8 180.708 180.84/180.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.84/180.91 c 0 76000 151510 532000 3 452054 500000 8 0 180.75 180.84/180.91 o -9 180.856 180.94/181.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.94/181.06 c 0 76000 151511 532500 3 452065 500000 9 0 180.90 180.94/181.06 o -10 181.004 181.14/181.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.14/181.26 c 0 76000 151512 533000 3 452077 500000 10 0 181.04 181.14/181.26 o -11 181.205 1800.02/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.02/1800.60 c 4 76000 151517 536098 3 452098 500000 15 0 181.25 1800.02/1800.60 c 104 76000 151617 590633 3 452298 550001 115 0 182.86 1800.02/1800.60 c 354 76000 151867 755775 4 452798 605002 365 1 187.76 1800.02/1800.60 c 829 76000 152342 1058999 6 453748 665503 840 4 195.63 1800.02/1800.60 c 1642 76000 153155 1649324 10 455374 732054 1653 8 203.29 1800.02/1800.60 c 2962 76000 154475 2593819 16 458014 805260 2973 14 211.42 1800.02/1800.60 c 5043 76000 156556 3756801 23 462176 885787 5054 22 225.68 1800.02/1800.60 c 8266 76000 159779 5572378 34 468622 974366 8277 33 248.19 1800.02/1800.60 c 13202 76000 164715 8168206 49 478494 500000 13213 48 271.49 1800.02/1800.60 c 20708 76000 172221 12710654 73 493506 550001 20719 57 363.02 1800.02/1800.60 c 32069 76000 183582 19762424 107 516228 605002 32080 66 480.52 1800.02/1800.60 c 49213 76000 200726 29868813 148 550516 665503 49224 79 617.44 1800.02/1800.61 c 75032 76000 226545 46020013 203 602154 732054 75043 93 800.34 1800.02/1800.61 c 113864 76000 265377 69000472 260 679818 805260 113875 113 1000.75 1800.02/1800.61 c 172216 76000 323729 104724290 323 796522 885787 172227 119 1441.76 1800.02/1800.61 c Caught signal: 15 1800.02/1800.61 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 1800.02/1800.61 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 1800.02/1800.61 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 1800.02/1800.61 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 1800.02/1800.61 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1800.02/1800.61 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1800.02/1800.61 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1800.02/1800.61 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1800.02/1800.61 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1800.02/1800.61 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 1800.02/1800.61 v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 1800.02/1800.61 v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1800.02/1800.61 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1800.02/1800.61 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 1800.02/1800.61 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1800.02/1800.61 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1800.02/1800.61 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 1800.02/1800.61 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1800.02/1800.61 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1800.02/1800.61 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1800.02/1800.61 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 1800.02/1800.61 v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 1800.02/1800.61 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x676 -x766 -x611 -x573 -x777 1800.02/1800.61 v -x633 -x921 -x650 -x574 -x882 -x527 -x849 -x861 -x699 -x911 -x521 -x727 -x829 -x987 -x915 -x506 -x680 -x874 -x832 -x961 -x884 1800.02/1800.61 v -x553 -x968 -x847 -x728 -x585 -x809 -x800 -x862 -x941 -x572 -x511 -x866 -x954 -x538 -x714 -x666 -x736 -x624 -x608 -x702 -x594 1800.02/1800.61 v -x616 -x723 -x774 -x989 -x554 -x586 -x724 -x928 -x990 -x543 -x717 -x628 -x934 -x507 -x528 -x531 -x536 -x537 -x555 -x565 -x580 1800.02/1800.61 v -x583 -x617 -x620 -x646 -x658 -x672 -x673 -x726 -x781 -x795 -x817 -x821 -x879 -x895 -x901 -x904 -x949 -x972 -x501 x869 x940 1800.02/1800.61 v -x851 -x591 x745 x888 x804 -x762 x975 -x779 -x799 x980 -x664 -x595 -x887 -x653 -x935 x792 -x590 -x659 -x719 -x579 -x844 -x647 1800.02/1800.61 v -x515 -x520 -x807 -x871 -x592 -x551 x610 -x747 -x813 -x937 -x525 -x963 -x870 -x504 -x979 -x897 -x598 -x533 -x508 -x568 x922 1800.02/1800.61 v -x715 -x627 -x514 -x519 -x526 -x529 -x535 -x544 -x547 -x550 -x556 -x559 -x577 x593 -x596 -x603 -x607 -x612 -x625 -x638 -x643 1800.02/1800.61 v -x710 -x754 -x758 -x788 -x830 -x839 -x841 -x856 -x863 -x945 -x997 -x502 -x581 -x552 -x868 -x996 -x938 -x978 -x742 -x602 -x619 1800.02/1800.61 v -x564 -x635 -x622 -x542 -x636 -x956 -x626 -x998 -x545 -x944 -x765 -x570 -x815 -x692 -x716 -x578 -x566 -x867 -x764 -x820 -x516 1800.02/1800.61 v -x751 -x899 -x822 -x886 -x652 -x908 -x569 -x518 -x991 -x926 -x709 -x558 -x639 -x992 -x509 -x560 -x562 -x613 -x618 -x677 -x682 1800.02/1800.61 v -x695 -x705 -x721 -x732 -x740 -x780 -x797 -x798 -x852 -x860 -x890 -x936 -x939 -x999 -x503 -x561 -x857 -x756 -x912 -x651 -x746 1800.02/1800.61 v -x688 -x919 -x787 -x649 -x923 -x534 -x811 -x634 -x806 -x835 -x718 -x981 -x725 -x931 -x920 -x959 -x946 -x914 -x609 -x970 -x917 1800.02/1800.61 v -x540 -x881 -x883 -x505 -x513 -x523 -x539 -x548 -x567 -x575 -x597 -x606 -x637 -x648 -x669 -x704 -x713 -x733 -x738 -x743 -x752 1800.02/1800.61 v -x755 -x767 -x816 -x859 -x872 -x878 -x910 -x933 -x952 -x969 -x953 -x836 -x615 -x589 -x958 -x854 -x768 -x960 -x984 -x864 -x734 1800.02/1800.61 v -x720 -x801 -x778 -x840 -x790 -x696 -x599 -x665 -x965 -x802 -x753 -x532 -x853 -x838 -x803 -x541 -x576 -x630 -x662 -x674 -x687 1800.02/1800.61 v -x691 -x708 -x722 -x730 -x731 -x737 -x791 -x805 -x827 -x846 -x898 -x906 -x913 -x982 -x932 -x826 -x771 -x865 -x983 -x604 -x903 1800.02/1800.61 v -x759 -x786 -x698 -x785 -x966 -x546 -x729 -x642 -x833 -x955 -x962 -x748 -x660 -x769 -x744 -x924 -x512 -x522 -x679 -x685 -x706 1800.02/1800.61 v -x735 -x739 -x950 -x640 -x889 -x760 -x694 -x875 -x977 -x701 -x948 -x700 -x600 -x750 -x834 -x930 -x843 -x749 -x976 -x796 -x916 1800.02/1800.61 v -x582 -x661 -x693 -x712 -x814 -x848 -x892 -x964 -x818 -x763 -x776 -x810 -x877 -x900 -x967 -x683 -x623 -x794 -x563 -x823 -x524 1800.02/1800.61 v -x549 -x584 -x644 -x656 -x670 -x711 -x772 -x891 -x896 -x995 -x668 -x654 -x845 -x880 -x942 -x689 -x605 -x614 -x632 -x783 -x951 1800.02/1800.61 v -x993 -x681 -x907 -x571 -x678 -x985 -x905 -x663 -x667 -x601 -x789 -x690 -x828 -x510 -x909 -x947 -x831 -x971 -x1000 -x587 1800.02/1800.61 v -x837 -x641 -x793 -x988 -x876 -x918 -x943 -x858 -x927 -x894 -x973 -x784 -x557 -x588 -x697 -x703 -x873 -x925 -x741 -x530 -x824 1800.02/1800.61 v -x775 -x850 -x957 -x671 -x655 -x675 -x986 -x621 -x855 -x707 -x994 -x517 -x842 -x686 -x773 -x819 -x825 -x757 -x631 -x812 -x629 1800.02/1800.61 v -x893 -x885 -x974 -x929 -x657 -x808 -x761 -x902 -x782 -x684 -x770 -x645 1800.02/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.61 c 25 215699 1405 958485 367212 132373011 215710 119 1800.03 1800.02/1800.61 c Objective: -11 1800.02/1800.61 s SATISFIABLE 1800.02/1800.61 c Total time: 1800.03 s
OK -11
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-455121-1178037555 -o ROOT/results/node60/solver-455121-1178037555 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455121-1178037555/instance-455121-1178037555.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.91 0.95 0.97 3/64 28954 /proc/meminfo: memFree=1887184/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=12704 CPUtime=0 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 251665515 13008896 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 3176 333 279 324 0 2004 0 [startup+0.069175 s] /proc/loadavg: 0.91 0.95 0.97 3/64 28954 /proc/meminfo: memFree=1887184/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=8536 CPUtime=0.06 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 1296 0 0 0 6 0 0 0 18 0 1 0 251665515 8740864 1266 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134538921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 2134 1266 324 324 0 962 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 8536 [startup+0.101177 s] /proc/loadavg: 0.91 0.95 0.97 3/64 28954 /proc/meminfo: memFree=1887184/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=10052 CPUtime=0.09 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 1719 0 0 0 9 0 0 0 18 0 1 0 251665515 10293248 1689 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 2513 1690 341 324 0 1341 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10052 [startup+0.301195 s] /proc/loadavg: 0.91 0.95 0.97 3/64 28954 /proc/meminfo: memFree=1887184/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=19988 CPUtime=0.29 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 4400 0 0 0 27 2 0 0 19 0 1 0 251665515 20467712 4203 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 4997 4203 441 324 0 3825 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19988 [startup+0.701235 s] /proc/loadavg: 0.91 0.95 0.97 3/64 28954 /proc/meminfo: memFree=1887184/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=44400 CPUtime=0.68 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 10626 0 0 0 64 4 0 0 22 0 1 0 251665515 45465600 10186 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 11100 10186 305 324 0 10170 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 44400 [startup+1.50131 s] /proc/loadavg: 0.91 0.95 0.97 2/65 28955 /proc/meminfo: memFree=1846856/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=45060 CPUtime=1.49 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 10797 0 0 0 144 5 0 0 25 0 1 0 251665515 46141440 10357 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5975781 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 11265 10357 305 324 0 10335 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 45060 [startup+3.10147 s] /proc/loadavg: 0.91 0.95 0.97 2/65 28955 /proc/meminfo: memFree=1846728/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=45060 CPUtime=3.09 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 10805 0 0 0 304 5 0 0 25 0 1 0 251665515 46141440 10365 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5963845 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 11265 10365 305 324 0 10335 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45060 [startup+6.30178 s] /proc/loadavg: 0.92 0.95 0.97 2/65 28955 /proc/meminfo: memFree=1846536/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=45060 CPUtime=6.29 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 10805 0 0 0 624 5 0 0 25 0 1 0 251665515 46141440 10365 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 11265 10365 305 324 0 10335 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 45060 [startup+12.7015 s] /proc/loadavg: 0.93 0.95 0.97 2/65 28955 /proc/meminfo: memFree=1846544/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=45060 CPUtime=12.69 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 10818 0 0 0 1264 5 0 0 25 0 1 0 251665515 46141440 10378 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 11265 10378 305 324 0 10335 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45060 [startup+25.5017 s] /proc/loadavg: 0.94 0.96 0.97 2/65 28955 /proc/meminfo: memFree=1846544/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=45060 CPUtime=25.48 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 10819 0 0 0 2543 5 0 0 25 0 1 0 251665515 46141440 10379 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5963845 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 11265 10379 305 324 0 10335 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45060 [startup+51.1012 s] /proc/loadavg: 0.96 0.96 0.97 2/65 28955 /proc/meminfo: memFree=1846544/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=45060 CPUtime=51.07 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 10823 0 0 0 5102 5 0 0 25 0 1 0 251665515 46141440 10383 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550561 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 11265 10383 305 324 0 10335 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 45060 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.97 2/65 28955 /proc/meminfo: memFree=1846544/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=45060 CPUtime=102.27 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 10823 0 0 0 10221 6 0 0 25 0 1 0 251665515 46141440 10383 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 11265 10383 305 324 0 10335 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 45060 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28957 /proc/meminfo: memFree=1846352/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=45060 CPUtime=162.24 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 10829 0 0 0 16218 6 0 0 25 0 1 0 251665515 46141440 10389 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5963928 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 11265 10389 305 324 0 10335 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 45060 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28957 /proc/meminfo: memFree=1808592/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=82496 CPUtime=222.23 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 20463 0 0 0 22210 13 0 0 25 0 1 0 251665515 84475904 19874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 20624 19874 311 324 0 19694 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 82496 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28957 /proc/meminfo: memFree=1738512/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=152652 CPUtime=282.21 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 37992 0 0 0 28195 26 0 0 25 0 1 0 251665515 156315648 37403 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 38163 37403 311 324 0 37233 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 152652 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28957 /proc/meminfo: memFree=1699216/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=191608 CPUtime=342.19 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 47741 0 0 0 34187 32 0 0 25 0 1 0 251665515 196206592 47152 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 47902 47152 311 324 0 46972 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 191608 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28957 /proc/meminfo: memFree=1663056/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=227860 CPUtime=402.17 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 56810 0 0 0 40180 37 0 0 25 0 1 0 251665515 233328640 56221 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 56965 56221 311 324 0 56035 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 227860 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28957 /proc/meminfo: memFree=1611728/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=278948 CPUtime=462.16 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 69592 0 0 0 46173 43 0 0 25 0 1 0 251665515 285642752 69003 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967713 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 69737 69003 311 324 0 68807 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 278948 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28957 /proc/meminfo: memFree=1562832/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=329300 CPUtime=522.14 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 82155 0 0 0 52163 51 0 0 25 0 1 0 251665515 337203200 81566 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 82325 81566 311 324 0 81395 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 329300 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28957 /proc/meminfo: memFree=1503632/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=386820 CPUtime=582.12 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 96551 0 0 0 58153 59 0 0 25 0 1 0 251665515 396103680 95962 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 96705 95962 311 324 0 95775 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 386820 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28957 /proc/meminfo: memFree=1444688/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=445468 CPUtime=642.11 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 111221 0 0 0 64143 68 0 0 25 0 1 0 251665515 456159232 110632 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 111367 110632 311 324 0 110437 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 445468 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28957 /proc/meminfo: memFree=1133840/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=756008 CPUtime=882.05 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 188857 0 0 0 88089 116 0 0 25 0 1 0 251665515 774152192 188268 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 189002 188268 311 324 0 188072 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 756008 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 28957 /proc/meminfo: memFree=1021840/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=870056 CPUtime=942.02 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 217355 0 0 0 94069 133 0 0 25 0 1 0 251665515 890937344 216766 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571991 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 217514 216766 311 324 0 216584 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 870056 [startup+1002.3 s] /proc/loadavg: 1.04 0.99 0.98 2/65 28957 /proc/meminfo: memFree=960208/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=929012 CPUtime=1002.01 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 232112 0 0 0 100059 142 0 0 25 0 1 0 251665515 951308288 231523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572679 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 232253 231523 311 324 0 231323 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 929012 [startup+1062.3 s] /proc/loadavg: 1.05 1.00 0.98 2/65 28957 /proc/meminfo: memFree=891920/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=997512 CPUtime=1062 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 249213 0 0 0 106049 151 0 0 25 0 1 0 251665515 1021452288 248624 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 249378 248624 311 324 0 248448 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 997512 [startup+1122.3 s] /proc/loadavg: 1.06 1.01 0.99 2/65 28957 /proc/meminfo: memFree=828752/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=1060316 CPUtime=1121.98 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 264919 0 0 0 112036 162 0 0 25 0 1 0 251665515 1085763584 264330 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 265079 264330 311 324 0 264149 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 1060316 [startup+1182.3 s] /proc/loadavg: 1.09 1.03 1.00 2/65 28957 /proc/meminfo: memFree=755728/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=1133496 CPUtime=1181.96 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 283227 0 0 0 118023 173 0 0 25 0 1 0 251665515 1160699904 282638 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 283374 282638 311 324 0 282444 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 1133496 [startup+1242.3 s] /proc/loadavg: 1.03 1.03 1.00 2/65 28957 /proc/meminfo: memFree=702160/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=1186800 CPUtime=1241.94 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 296536 0 0 0 124013 181 0 0 25 0 1 0 251665515 1215283200 295947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 296700 295947 311 324 0 295770 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 1186800 [startup+1302.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 28957 /proc/meminfo: memFree=647632/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=1240828 CPUtime=1301.93 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 310054 0 0 0 130006 187 0 0 25 0 1 0 251665515 1270607872 309465 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 310207 309465 311 324 0 309277 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1240828 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 29155 /proc/meminfo: memFree=584576/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=1303888 CPUtime=1361.83 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 325816 0 0 0 135985 198 0 0 25 0 1 0 251665515 1335181312 325227 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 325972 325227 311 324 0 325042 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1303888 [startup+1422.31 s] /proc/loadavg: 1.00 1.01 1.00 2/65 29155 /proc/meminfo: memFree=519632/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=1368320 CPUtime=1421.82 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 341926 0 0 0 141975 207 0 0 25 0 1 0 251665515 1401159680 341337 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 342080 341337 311 324 0 341150 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 1368320 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29155 /proc/meminfo: memFree=456400/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=1432384 CPUtime=1481.79 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 357956 0 0 0 147963 216 0 0 25 0 1 0 251665515 1466761216 357367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 358096 357367 311 324 0 357166 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 1432384 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29155 /proc/meminfo: memFree=372112/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=1515668 CPUtime=1541.78 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 378761 0 0 0 153949 229 0 0 25 0 1 0 251665515 1552044032 378172 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 378917 378172 311 324 0 377987 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 1515668 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29155 /proc/meminfo: memFree=321680/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=1566076 CPUtime=1601.76 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 391350 0 0 0 159939 237 0 0 25 0 1 0 251665515 1603661824 390761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 391519 390761 311 324 0 390589 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 1566076 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29155 /proc/meminfo: memFree=276304/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=1611256 CPUtime=1661.74 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 402667 0 0 0 165931 243 0 0 25 0 1 0 251665515 1649926144 402078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5963928 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 402814 402078 311 324 0 401884 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 1611256 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29155 /proc/meminfo: memFree=215824/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=1673016 CPUtime=1721.72 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 418084 0 0 0 171920 252 0 0 25 0 1 0 251665515 1713168384 417495 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 418254 417495 311 324 0 417324 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 1673016 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29155 /proc/meminfo: memFree=160592/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=1727092 CPUtime=1781.71 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 431625 0 0 0 177910 261 0 0 25 0 1 0 251665515 1768542208 431036 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 431773 431036 311 324 0 430843 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 1727092 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29155 /proc/meminfo: memFree=142480/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=1744612 CPUtime=1800.02 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194304 435991 0 0 0 179736 266 0 0 25 0 1 0 251665515 1786482688 435402 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 436153 435402 311 324 0 435223 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1744612 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29155 /proc/meminfo: memFree=142480/2055920 swapFree=4183252/4192956 [pid=28954] ppid=28952 vsize=0 CPUtime=1800.2 /proc/28954/stat : 28954 (bsolo3.0.17) R 28952 28954 28579 0 -1 4194308 435995 0 0 0 179736 284 0 0 25 0 1 0 251665515 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/28954/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.88 CPU time (s): 1800.3 CPU user time (s): 1797.37 CPU system time (s): 2.93155 CPU usage (%): 99.9674 Max. virtual memory (cumulated for all children) (KiB): 1744612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.37 system time used= 2.93155 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 435995 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= 12 involuntary context switches= 2678 runsolver used 1.23581 second user time and 3.73843 second system time The end
Begin job on node60 on Tue May 1 16:39:15 UTC 2007 IDJOB= 455121 IDBENCH= 48242 IDSOLVER= 199 FILE ID= node60/455121-1178037555 PBS_JOBID= 4728442 Free space on /tmp= 66557 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_5.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455121-1178037555/instance-455121-1178037555.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-455121-1178037555 -o ROOT/results/node60/solver-455121-1178037555 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455121-1178037555/instance-455121-1178037555.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 13c8aeb5c21aab422ad1cf9309500df6 RANDOM SEED= 709468286 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.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.214 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.214 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: 1887656 kB Buffers: 33396 kB Cached: 65836 kB SwapCached: 3244 kB Active: 70184 kB Inactive: 38676 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1887656 kB SwapTotal: 4192956 kB SwapFree: 4183252 kB Dirty: 7552 kB Writeback: 0 kB Mapped: 15472 kB Slab: 45400 kB Committed_AS: 4307944 kB PageTables: 1464 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= 66557 MiB End job on node60 on Tue May 1 17:09:18 UTC 2007