Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (MO) | -18 | 953.405 | 953.793 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_60_4.opb |
MD5SUM | d34b8195c337caa741dffbe26b4db95e |
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 | -44 |
Best CPU time to get the best result obtained on this benchmark | 1800.27 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -44 |
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) | 74916 |
Sum of products size (including duplicates) | 149832 |
Number of different products | 37458 |
Sum of products size | 74916 |
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/455586-1178046087/instance-455586-1178046087.opb 0.00/0.00 c File size is 986475 bytes. 0.69/0.71 c Highest Coefficient sum: 1000 0.69/0.71 c Parsing was ok!! 0.69/0.71 c Total parsing time: 0.712 s 0.79/0.84 c Var: 75916 Constr: 151334 75416/1002/74916 Lit: 527412 Watch. Lit: 451498 0.79/0.84 c Obj. Vars: 500 (0.658623 % of total variables) 179.78/179.99 c Pre-processing Time: 179.877 s 179.88/180.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.88/180.00 c 0 75916 151334 527412 3 451498 500000 0 0 179.88 179.88/180.00 c Switching off LPR mode. 179.88/180.08 o -1 179.966 180.08/180.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.08/180.21 c 0 75916 151335 527912 3 451501 500000 1 0 180.00 180.08/180.21 o -2 180.101 180.18/180.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.18/180.35 c 0 75916 151336 528412 3 451505 500000 2 0 180.14 180.18/180.35 o -3 180.239 180.28/180.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.28/180.49 c 0 75916 151337 528912 3 451510 500000 3 0 180.28 180.28/180.49 o -4 180.379 180.47/180.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.47/180.63 c 0 75916 151338 529412 3 451516 500000 4 0 180.42 180.47/180.63 o -5 180.522 180.57/180.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.57/180.78 c 0 75916 151339 529912 3 451523 500000 5 0 180.56 180.57/180.78 o -6 180.666 180.77/180.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.77/180.92 c 0 75916 151340 530412 3 451531 500000 6 0 180.71 180.77/180.92 o -7 180.812 180.87/181.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.87/181.07 c 0 75916 151341 530912 3 451540 500000 7 0 180.85 180.87/181.07 o -8 180.959 181.07/181.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.07/181.22 c 0 75916 151342 531412 3 451550 500000 8 0 181.00 181.07/181.22 o -9 181.106 181.17/181.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.17/181.37 c 0 75916 151343 531912 3 451561 500000 9 0 181.15 181.17/181.37 o -10 181.254 181.38/181.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.38/181.51 c 0 75916 151344 532412 3 451573 500000 10 0 181.29 181.38/181.51 o -11 181.402 181.47/181.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.47/181.66 c 0 75916 151345 532912 3 451586 500000 11 0 181.44 181.47/181.66 o -12 181.552 181.67/181.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.67/181.81 c 0 75916 151346 533412 3 451600 500000 12 0 181.59 181.67/181.81 o -13 181.702 181.77/181.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.77/181.96 c 0 75916 151347 533912 3 451615 500000 13 0 181.74 181.77/181.96 o -14 181.852 181.97/182.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.97/182.12 c 0 75916 151348 534412 3 451631 500000 14 0 181.90 181.97/182.12 o -15 182.003 182.07/182.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 182.07/182.27 c 0 75916 151349 534912 3 451648 500000 15 0 182.05 182.07/182.27 o -16 182.155 182.27/182.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 182.27/182.42 c 0 75916 151350 535412 3 451666 500000 16 0 182.20 182.27/182.42 o -17 182.306 182.67/182.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 182.67/182.85 c 0 75916 151351 535912 3 451685 500000 17 0 182.35 182.67/182.85 o -18 182.739 953.11/953.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 953.11/953.50 c 2 75916 151354 536418 3 451709 500000 20 0 182.78 953.11/953.50 c 102 75916 151454 590905 3 451909 550001 120 0 183.35 953.11/953.50 c 352 75916 151704 723160 4 452409 605002 370 1 184.55 953.11/953.50 c 827 75916 152179 1070617 7 453359 665503 845 4 188.62 953.11/953.50 c 1640 75916 152992 1721816 11 454985 732054 1658 8 191.76 953.11/953.50 c 2960 75916 154312 2408592 15 457625 805260 2978 15 196.14 953.11/953.50 c 5041 75916 156393 3458486 22 461787 885787 5059 25 200.91 953.11/953.50 c 8264 75916 159616 5182233 32 468233 974366 8282 38 213.43 953.11/953.50 c 13200 75916 164552 7800521 47 478105 500000 13218 56 233.14 953.11/953.50 c 20706 75916 172058 11582862 67 493117 550001 20724 85 241.73 953.11/953.50 c 32067 75916 183419 17371632 94 515839 605002 32085 122 262.36 953.11/953.50 c 49211 75916 200563 26381823 131 550127 665503 49229 156 313.96 953.11/953.50 c 75030 75916 226382 39937150 176 601765 732054 75048 192 388.76 953.11/953.50 c 113862 75916 265214 60137817 226 679429 805260 113880 227 501.20 953.11/953.50 c 172214 75916 323566 89740144 277 796133 885787 172232 263 653.00 953.11/953.50 c 259846 75916 411198 134864624 327 971397 974366 259864 282 921.41 953.11/953.50 c Caught signal: 15 953.11/953.50 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 953.11/953.50 v -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 953.11/953.50 v -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 953.11/953.50 v -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 953.11/953.50 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 953.11/953.50 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 953.11/953.50 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 953.11/953.50 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 953.11/953.50 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 953.11/953.50 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 953.11/953.50 v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 953.11/953.50 v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 953.11/953.50 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 953.11/953.50 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 953.11/953.50 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 953.11/953.50 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 953.11/953.50 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 953.11/953.50 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 953.11/953.50 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 953.11/953.50 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 953.11/953.50 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 953.11/953.50 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 953.11/953.50 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x802 -x584 -x775 -x827 -x864 -x538 -x526 953.11/953.50 v -x529 -x886 -x545 -x955 -x715 -x965 -x904 -x915 -x903 -x942 -x902 -x650 -x718 -x605 -x969 -x780 -x574 -x719 -x823 -x883 -x721 953.11/953.50 v -x821 -x631 -x874 -x905 -x757 -x700 -x620 -x795 -x725 -x984 -x962 -x880 -x777 -x676 -x845 -x532 -x943 -x599 -x973 -x844 -x748 953.11/953.50 v -x690 -x948 -x568 -x822 -x873 -x787 -x996 -x755 -x507 -x817 -x738 -x502 -x509 -x518 -x539 -x553 -x558 -x588 -x596 -x603 -x615 953.11/953.50 v -x625 -x626 -x638 -x641 -x642 -x651 -x660 -x678 -x699 -x708 -x720 -x759 -x773 -x779 -x803 -x816 -x848 -x852 -x916 -x926 -x501 953.11/953.50 v x732 -x573 x994 -x932 -x692 x640 -x508 -x527 -x970 x907 -x591 -x997 -x974 -x939 x701 x947 -x634 x800 x988 -x933 -x868 x661 953.11/953.50 v -x806 -x506 -x657 -x912 -x825 -x595 -x749 -x847 -x878 -x940 x986 -x967 -x707 -x742 -x703 -x879 -x513 -x627 -x853 -x897 -x865 953.11/953.50 v -x717 -x521 -x980 -x765 -x697 -x981 -x712 -x503 -x515 -x535 -x547 -x551 -x560 -x563 -x576 -x589 -x590 -x597 -x600 -x612 -x618 953.11/953.50 v -x652 -x653 -x665 -x666 -x682 -x685 -x695 -x714 -x727 -x731 -x752 -x756 -x776 -x831 x854 -x876 -x982 -x998 -x945 -x885 -x664 953.11/953.50 v -x826 -x963 -x884 -x927 -x556 -x771 -x983 -x635 -x910 -x987 -x557 -x537 -x810 -x724 -x869 -x921 -x849 -x578 -x601 -x655 -x505 953.11/953.50 v -x639 -x577 -x860 -x519 -x770 -x679 -x587 -x979 -x896 -x730 -x674 -x663 -x520 -x543 -x559 -x562 -x572 -x609 -x616 -x643 -x659 953.11/953.50 v -x698 -x710 -x750 -x753 -x772 -x811 -x832 -x863 -x891 -x900 -x929 -x975 -x977 -x866 -x741 -x819 -x614 -x758 x530 -x794 -x711 953.11/953.50 v x922 -x813 -x843 x985 -x781 -x815 -x528 -x768 -x702 -x769 -x956 -x566 -x555 -x976 -x696 -x888 -x871 -x890 -x855 -x670 -x959 953.11/953.50 v x669 -x549 -x579 -x681 -x602 -x511 -x514 -x517 -x565 -x575 -x580 -x593 -x611 -x637 -x716 -x734 -x788 -x809 -x835 -x934 -x953 953.11/953.50 v -x966 -x504 -x739 -x841 -x668 -x928 -x585 -x531 -x622 -x892 -x949 x989 -x525 -x899 -x693 -x887 -x632 -x991 -x542 -x606 -x836 953.11/953.50 v -x554 -x824 -x540 -x510 -x552 -x567 -x569 -x594 -x617 -x628 -x723 -x729 -x754 -x760 -x762 -x764 -x790 -x814 -x820 -x828 -x870 953.11/953.50 v -x906 -x917 -x952 -x833 -x604 -x968 -x704 -x957 -x851 -x840 -x792 -x747 -x786 -x850 -x534 -x581 -x630 -x592 -x548 -x935 -x544 953.11/953.50 v -x918 -x766 -x706 -x713 -x746 -x785 -x791 -x898 -x972 -x978 -x889 -x856 -x610 -x837 -x877 -x924 -x673 -x858 -x516 -x675 -x561 953.11/953.50 v -x550 -x523 -x672 -x512 -x536 -x570 -x629 -x636 -x646 -x647 -x654 -x656 -x658 -x662 -x671 -x684 -x733 -x761 -x763 -x784 -x834 953.11/953.50 v -x881 -x909 -x751 -x958 -x872 -x805 -x621 -x782 -x624 -x911 -x960 -x954 -x796 -x936 -x882 -x533 -x667 -x680 -x689 -x743 -x783 953.11/953.50 v -x857 -x930 -x1000 -x522 -x677 -x607 -x582 -x709 -x687 -x644 -x862 -x838 -x546 -x645 -x649 -x740 -x774 x999 -x686 -x789 -x722 953.11/953.50 v -x951 -x895 -x925 -x541 -x524 -x598 -x613 -x623 -x797 -x801 -x807 -x919 -x964 -x648 -x908 -x861 -x920 -x941 -x728 -x931 -x736 953.11/953.50 v -x691 -x726 -x990 -x745 -x995 -x808 -x839 -x944 -x688 -x705 -x961 -x846 -x938 -x799 -x793 -x586 -x804 -x992 -x619 -x859 -x767 953.11/953.50 v -x798 -x564 -x914 -x683 -x950 -x744 -x913 -x583 -x901 -x893 x993 -x633 -x735 -x694 -x875 -x737 -x946 -x937 -x608 -x812 -x829 953.11/953.50 v -x842 -x571 -x923 -x830 -x818 -x894 -x971 -x778 -x867 953.11/953.51 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 953.11/953.51 c 33 269502 469 1459008 420854 139698762 269520 282 953.12 953.11/953.51 c Objective: -18 953.11/953.51 s SATISFIABLE 953.11/953.51 c Total time: 953.121 s
OK -18
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-455586-1178046087 -o ROOT/results/node20/solver-455586-1178046087 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455586-1178046087/instance-455586-1178046087.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.97 0.99 3/83 19322 /proc/meminfo: memFree=1723288/2055920 swapFree=4154876/4192956 [pid=19322] ppid=19320 vsize=12700 CPUtime=0 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 252526069 13004800 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 3175 334 279 324 0 2004 0 [startup+0.042236 s] /proc/loadavg: 0.91 0.97 0.99 3/83 19322 /proc/meminfo: memFree=1723288/2055920 swapFree=4154876/4192956 [pid=19322] ppid=19320 vsize=6264 CPUtime=0.03 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 710 0 0 0 3 0 0 0 18 0 1 0 252526069 6414336 680 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 1566 680 302 324 0 395 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 6264 [startup+0.101235 s] /proc/loadavg: 0.91 0.97 0.99 3/83 19322 /proc/meminfo: memFree=1723288/2055920 swapFree=4154876/4192956 [pid=19322] ppid=19320 vsize=8348 CPUtime=0.09 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 1256 0 0 0 9 0 0 0 18 0 1 0 252526069 8548352 1226 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 2087 1226 323 324 0 916 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8348 [startup+0.301275 s] /proc/loadavg: 0.91 0.97 0.99 3/83 19322 /proc/meminfo: memFree=1723288/2055920 swapFree=4154876/4192956 [pid=19322] ppid=19320 vsize=14800 CPUtime=0.29 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 2982 0 0 0 28 1 0 0 19 0 1 0 252526069 15155200 2912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 3700 2912 389 324 0 2529 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14800 [startup+0.701355 s] /proc/loadavg: 0.91 0.97 0.99 3/83 19322 /proc/meminfo: memFree=1723288/2055920 swapFree=4154876/4192956 [pid=19322] ppid=19320 vsize=27400 CPUtime=0.69 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 6406 0 0 0 67 2 0 0 23 0 1 0 252526069 28057600 6208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 6850 6209 522 324 0 5679 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27400 [startup+1.50152 s] /proc/loadavg: 0.91 0.97 0.99 2/84 19323 /proc/meminfo: memFree=1683600/2055920 swapFree=4154876/4192956 [pid=19322] ppid=19320 vsize=44976 CPUtime=1.49 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 10790 0 0 0 144 5 0 0 25 0 1 0 252526069 46055424 10351 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134567662 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 11244 10351 305 324 0 10314 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 44976 [startup+3.10184 s] /proc/loadavg: 0.91 0.97 0.99 2/84 19341 /proc/meminfo: memFree=1682704/2055920 swapFree=4154876/4192956 [pid=19322] ppid=19320 vsize=44976 CPUtime=3.08 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 10790 0 0 0 303 5 0 0 25 0 1 0 252526069 46055424 10351 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7736436 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 11244 10351 305 324 0 10314 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 44976 [startup+6.30148 s] /proc/loadavg: 0.92 0.97 0.99 2/84 19349 /proc/meminfo: memFree=1682640/2055920 swapFree=4154876/4192956 [pid=19322] ppid=19320 vsize=44976 CPUtime=6.28 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 10795 0 0 0 623 5 0 0 25 0 1 0 252526069 46055424 10356 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134567330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 11244 10356 305 324 0 10314 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 44976 [startup+12.7018 s] /proc/loadavg: 0.93 0.97 0.99 2/84 19353 /proc/meminfo: memFree=1682640/2055920 swapFree=4154876/4192956 [pid=19322] ppid=19320 vsize=44976 CPUtime=12.66 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 10803 0 0 0 1261 5 0 0 25 0 1 0 252526069 46055424 10364 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551970 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 11244 10364 305 324 0 10314 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 44976 [startup+25.5013 s] /proc/loadavg: 0.94 0.97 0.99 2/84 19361 /proc/meminfo: memFree=1682704/2055920 swapFree=4154876/4192956 [pid=19322] ppid=19320 vsize=44976 CPUtime=25.45 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 10807 0 0 0 2540 5 0 0 25 0 1 0 252526069 46055424 10368 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 11244 10368 305 324 0 10314 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 44976 [startup+51.1015 s] /proc/loadavg: 0.96 0.97 0.99 2/78 19383 /proc/meminfo: memFree=1683840/2055920 swapFree=4154876/4192956 [pid=19322] ppid=19320 vsize=45108 CPUtime=51.03 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 10811 0 0 0 5097 6 0 0 25 0 1 0 252526069 46190592 10372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8052823 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 11277 10372 305 324 0 10347 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 45108 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.99 2/78 19383 /proc/meminfo: memFree=1683904/2055920 swapFree=4154876/4192956 [pid=19322] ppid=19320 vsize=45108 CPUtime=102.21 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 10811 0 0 0 10215 6 0 0 25 0 1 0 252526069 46190592 10372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8048729 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 11277 10372 305 324 0 10347 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 45108 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19383 /proc/meminfo: memFree=1683904/2055920 swapFree=4154876/4192956 [pid=19322] ppid=19320 vsize=45108 CPUtime=162.18 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 10814 0 0 0 16211 7 0 0 25 0 1 0 252526069 46190592 10375 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8048709 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 11277 10375 305 324 0 10347 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 45108 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19383 /proc/meminfo: memFree=1608320/2055920 swapFree=4154876/4192956 [pid=19322] ppid=19320 vsize=120044 CPUtime=222.16 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 29849 0 0 0 22199 17 0 0 25 0 1 0 252526069 122925056 29261 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 30011 29261 311 324 0 29081 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 120044 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19383 /proc/meminfo: memFree=1419328/2055920 swapFree=4154876/4192956 [pid=19322] ppid=19320 vsize=311648 CPUtime=282.14 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 77746 0 0 0 28175 39 0 0 25 0 1 0 252526069 319127552 77158 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 77912 77158 311 324 0 76982 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 311648 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19383 /proc/meminfo: memFree=1289920/2055920 swapFree=4154876/4192956 [pid=19322] ppid=19320 vsize=438096 CPUtime=342.12 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 109353 0 0 0 34156 56 0 0 25 0 1 0 252526069 448610304 108765 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 109524 108765 311 324 0 108594 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 438096 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19383 /proc/meminfo: memFree=1147904/2055920 swapFree=4154876/4192956 [pid=19322] ppid=19320 vsize=582264 CPUtime=402.1 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 145405 0 0 0 40133 77 0 0 25 0 1 0 252526069 596238336 144817 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8052264 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 145566 144817 311 324 0 144636 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 582264 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19383 /proc/meminfo: memFree=1016128/2055920 swapFree=4154876/4192956 [pid=19322] ppid=19320 vsize=712272 CPUtime=462.07 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 177897 0 0 0 46113 94 0 0 25 0 1 0 252526069 729366528 177309 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8052220 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 178068 177309 311 324 0 177138 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 712272 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19383 /proc/meminfo: memFree=836544/2055920 swapFree=4154876/4192956 [pid=19322] ppid=19320 vsize=894176 CPUtime=522.06 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 223379 0 0 0 52082 124 0 0 25 0 1 0 252526069 915636224 222791 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 223544 222791 311 324 0 222614 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 894176 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19383 /proc/meminfo: memFree=649536/2055920 swapFree=4154876/4192956 [pid=19322] ppid=19320 vsize=1078352 CPUtime=582.04 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 269432 0 0 0 58052 152 0 0 25 0 1 0 252526069 1104232448 268844 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 269588 268844 311 324 0 268658 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 1078352 [startup+642.303 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19383 /proc/meminfo: memFree=546624/2055920 swapFree=4154876/4192956 [pid=19322] ppid=19320 vsize=1179716 CPUtime=642.02 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 294775 0 0 0 64032 170 0 0 25 0 1 0 252526069 1208029184 294187 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 294929 294189 311 324 0 293999 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 1179716 [startup+702.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19383 /proc/meminfo: memFree=440512/2055920 swapFree=4154876/4192956 [pid=19322] ppid=19320 vsize=1287044 CPUtime=702 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 321596 0 0 0 70011 189 0 0 25 0 1 0 252526069 1317933056 321008 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 321761 321008 311 324 0 320831 0 Current children cumulated CPU time (s) 702 Current children cumulated vsize (KiB) 1287044 [startup+762.306 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19383 /proc/meminfo: memFree=324992/2055920 swapFree=4154876/4192956 [pid=19322] ppid=19320 vsize=1401128 CPUtime=761.97 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 350134 0 0 0 75989 208 0 0 25 0 1 0 252526069 1434755072 349546 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 350282 349546 311 324 0 349352 0 Current children cumulated CPU time (s) 761.97 Current children cumulated vsize (KiB) 1401128 [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19383 /proc/meminfo: memFree=178944/2055920 swapFree=4154876/4192956 [pid=19322] ppid=19320 vsize=1549008 CPUtime=821.95 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 387106 0 0 0 81963 232 0 0 25 0 1 0 252526069 1586184192 386518 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 387252 386518 311 324 0 386322 0 Current children cumulated CPU time (s) 821.95 Current children cumulated vsize (KiB) 1549008 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19383 /proc/meminfo: memFree=27904/2055920 swapFree=4154876/4192956 [pid=19322] ppid=19320 vsize=1697992 CPUtime=881.93 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 424328 0 0 0 87934 259 0 0 25 0 1 0 252526069 1738743808 423740 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 424498 423740 311 324 0 423568 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 1697992 [startup+942.301 s] /proc/loadavg: 1.04 0.99 0.99 2/78 19383 /proc/meminfo: memFree=15936/2055920 swapFree=4154868/4192956 [pid=19322] ppid=19320 vsize=1822012 CPUtime=941.91 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 455336 0 0 0 93910 281 0 0 25 0 1 0 252526069 1865740288 454748 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 455503 454748 311 324 0 454573 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 1822012 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+953.501 s] /proc/loadavg: 1.03 0.99 0.99 2/78 19383 /proc/meminfo: memFree=14912/2055920 swapFree=4154868/4192956 [pid=19322] ppid=19320 vsize=1843204 CPUtime=953.11 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 460638 0 0 0 95027 284 0 0 25 0 1 0 252526069 1887440896 460050 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 460801 460050 311 324 0 459871 0 Current children cumulated CPU time (s) 953.11 Current children cumulated vsize (KiB) 1843204 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+953.605 s] /proc/loadavg: 1.03 0.99 0.99 2/79 19384 /proc/meminfo: memFree=630904/2055920 swapFree=4154868/4192956 [pid=19322] ppid=19320 vsize=0 CPUtime=953.22 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194308 460642 0 0 0 95028 294 0 0 25 0 1 0 252526069 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 953.22 Current children cumulated vsize (KiB) 0 [startup+953.705 s] /proc/loadavg: 1.03 0.99 0.99 2/79 19384 /proc/meminfo: memFree=630904/2055920 swapFree=4154868/4192956 [pid=19322] ppid=19320 vsize=0 CPUtime=953.31 /proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194308 460642 0 0 0 95028 303 0 0 25 0 1 0 252526069 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/19322/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 953.31 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 953.793 CPU time (s): 953.405 CPU user time (s): 950.283 CPU system time (s): 3.12252 CPU usage (%): 99.9593 Max. virtual memory (cumulated for all children) (KiB): 1843204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 950.283 system time used= 3.12252 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460642 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= 19744 runsolver used 0.823874 second user time and 2.09768 second system time The end
Begin job on node20 on Tue May 1 19:01:27 UTC 2007 IDJOB= 455586 IDBENCH= 48273 IDSOLVER= 199 FILE ID= node20/455586-1178046087 PBS_JOBID= 4728447 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_4.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455586-1178046087/instance-455586-1178046087.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-455586-1178046087 -o ROOT/results/node20/solver-455586-1178046087 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455586-1178046087/instance-455586-1178046087.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= d34b8195c337caa741dffbe26b4db95e RANDOM SEED= 343987778 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.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.265 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.265 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: 1723640 kB Buffers: 104256 kB Cached: 129808 kB SwapCached: 16448 kB Active: 182052 kB Inactive: 82812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1723640 kB SwapTotal: 4192956 kB SwapFree: 4154876 kB Dirty: 7640 kB Writeback: 0 kB Mapped: 36408 kB Slab: 52516 kB Committed_AS: 5464924 kB PageTables: 1992 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 node20 on Tue May 1 19:17:23 UTC 2007