Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -15 | 1800.13 | 1800.66 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_4.opb |
MD5SUM | edb32574ecafd14c2d1410b208d85a45 |
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 | -30 |
Best CPU time to get the best result obtained on this benchmark | 1800.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2516 |
Sum of products size (including duplicates) | 5032 |
Number of different products | 1258 |
Sum of products size | 2516 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.02 c ...done 0.00/0.02 c #vars=1458 #constraints=2819 hasObjective=yes 0.00/0.03 c res. mode=mod 0.00/0.03 c VSIDS like heuristics 0.00/0.03 c complete search running 0.09/0.15 c restart after 401 decisions 0.09/0.19 c nbDecision=500 #constraints=3026 0.29/0.33 c restart after 801 decisions 0.39/0.41 c nbDecision=1000 #constraints=3261 0.69/0.71 c nbDecision=1500 #constraints=3548 0.69/0.77 c restart after 1601 decisions 1.00/1.05 c nbDecision=2000 #constraints=3749 1.39/1.45 c nbDecision=2500 #constraints=3920 1.89/1.95 c nbDecision=3000 #constraints=4131 2.09/2.17 c restart after 3201 decisions 2.49/2.58 c nbDecision=3500 #constraints=4302 3.29/3.38 c nbDecision=4000 #constraints=4511 4.29/4.31 c nbDecision=4500 #constraints=4756 5.58/5.60 c nbDecision=5000 #constraints=4929 6.79/6.84 c nbDecision=5500 #constraints=5208 8.29/8.34 c nbDecision=6000 #constraints=5472 9.69/9.78 c restart after 6401 decisions 10.09/10.19 c nbDecision=6500 #constraints=5720 12.49/12.50 c nbDecision=7000 #constraints=5896 14.89/14.96 c nbDecision=7500 #constraints=6061 17.79/17.87 c nbDecision=8000 #constraints=6179 20.18/20.26 c nbDecision=8500 #constraints=6448 23.38/23.41 c nbDecision=9000 #constraints=6615 26.28/26.33 c nbDecision=9500 #constraints=6884 29.88/29.90 c nbDecision=10000 #constraints=7062 32.98/33.07 c nbDecision=10500 #constraints=7345 36.78/36.83 c nbDecision=11000 #constraints=7578 41.07/41.14 c nbDecision=11500 #constraints=7774 45.58/45.61 c nbDecision=12000 #constraints=7985 50.17/50.24 c nbDecision=12500 #constraints=8206 52.97/53.01 c restart after 12801 decisions 54.78/54.88 c nbDecision=13000 #constraints=8426 60.38/60.47 c nbDecision=13500 #constraints=8592 65.37/65.47 c nbDecision=14000 #constraints=8809 70.97/71.03 c nbDecision=14500 #constraints=9035 76.17/76.28 c nbDecision=15000 #constraints=9325 82.07/82.11 c nbDecision=15500 #constraints=9553 88.16/88.21 c nbDecision=16000 #constraints=9807 93.86/93.92 c nbDecision=16500 #constraints=10123 99.76/99.87 c nbDecision=17000 #constraints=10398 107.26/107.34 c nbDecision=17500 #constraints=10637 114.36/114.44 c nbDecision=18000 #constraints=10888 122.25/122.32 c nbDecision=18500 #constraints=11122 130.56/130.60 c nbDecision=19000 #constraints=11395 138.75/138.85 c nbDecision=19500 #constraints=11674 147.15/147.30 c nbDecision=20000 #constraints=11971 155.75/155.87 c nbDecision=20500 #constraints=12253 164.95/165.01 c nbDecision=21000 #constraints=12564 175.84/175.97 c nbDecision=21500 #constraints=12794 186.14/186.29 c nbDecision=22000 #constraints=13057 198.23/198.31 c nbDecision=22500 #constraints=13295 209.53/209.69 c nbDecision=23000 #constraints=13591 221.13/221.25 c nbDecision=23500 #constraints=13886 231.62/231.73 c nbDecision=24000 #constraints=14260 243.32/243.46 c nbDecision=24500 #constraints=14589 255.92/256.07 c nbDecision=25000 #constraints=14930 268.42/268.54 c nbDecision=25500 #constraints=15258 271.11/271.24 c restart after 25601 decisions 281.31/281.45 c nbDecision=26000 #constraints=15609 295.81/295.93 c nbDecision=26500 #constraints=15920 310.11/310.23 c nbDecision=27000 #constraints=16240 324.49/324.70 c nbDecision=27500 #constraints=16622 340.10/340.22 c nbDecision=28000 #constraints=16982 355.09/355.30 c nbDecision=28500 #constraints=17353 371.88/372.06 c nbDecision=29000 #constraints=17721 387.98/388.14 c nbDecision=29500 #constraints=18090 404.68/404.88 c nbDecision=30000 #constraints=18484 422.07/422.20 c nbDecision=30500 #constraints=18866 440.76/440.99 c nbDecision=31000 #constraints=19248 459.05/459.25 c nbDecision=31500 #constraints=19655 477.55/477.72 c nbDecision=32000 #constraints=20057 496.45/496.65 c nbDecision=32500 #constraints=20471 513.94/514.14 c nbDecision=33000 #constraints=20912 533.24/533.42 c nbDecision=33500 #constraints=21318 549.93/550.11 c nbDecision=34000 #constraints=21767 569.63/569.84 c nbDecision=34500 #constraints=22178 591.62/591.82 c nbDecision=35000 #constraints=22594 613.61/613.82 c nbDecision=35500 #constraints=22996 634.11/634.39 c nbDecision=36000 #constraints=23437 653.70/653.98 c nbDecision=36500 #constraints=23891 675.79/676.06 c nbDecision=37000 #constraints=24318 700.49/700.77 c nbDecision=37500 #constraints=24719 725.38/725.64 c nbDecision=38000 #constraints=25112 750.77/751.02 c nbDecision=38500 #constraints=25499 779.57/779.83 c nbDecision=39000 #constraints=25877 803.26/803.58 c nbDecision=39500 #constraints=26309 831.14/831.47 c nbDecision=40000 #constraints=26704 854.84/855.14 c nbDecision=40500 #constraints=27146 879.34/879.63 c nbDecision=41000 #constraints=27592 908.92/909.26 c nbDecision=41500 #constraints=27971 936.11/936.46 c nbDecision=42000 #constraints=28413 965.81/966.17 c nbDecision=42500 #constraints=28847 997.00/997.35 c nbDecision=43000 #constraints=29262 1022.19/1022.56 c nbDecision=43500 #constraints=29715 1051.78/1052.14 c nbDecision=44000 #constraints=30151 1082.97/1083.30 c nbDecision=44500 #constraints=30573 1112.27/1112.60 c nbDecision=45000 #constraints=31035 1136.26/1136.61 c nbDecision=45500 #constraints=31499 1163.95/1164.33 c nbDecision=46000 #constraints=31929 1191.54/1191.96 c nbDecision=46500 #constraints=32380 1221.43/1221.83 c nbDecision=47000 #constraints=32824 1254.12/1254.50 c nbDecision=47500 #constraints=33233 1277.42/1277.81 c nbDecision=47762 #constraints=33402 1277.42/1277.81 c linear search for optimum 1277.42/1277.81 o -15 1292.31/1292.75 c nbDecision=48000 #constraints=33624 1322.30/1322.71 c nbDecision=48500 #constraints=34075 1353.29/1353.78 c nbDecision=49000 #constraints=34501 1386.08/1386.50 c nbDecision=49500 #constraints=34931 1412.47/1412.94 c nbDecision=50000 #constraints=35399 1442.57/1443.03 c nbDecision=50500 #constraints=35855 1474.95/1475.47 c nbDecision=51000 #constraints=36330 1485.96/1486.49 c restart after 51201 decisions 1503.65/1504.12 c nbDecision=51500 #constraints=36794 1536.54/1537.09 c nbDecision=52000 #constraints=37244 1568.93/1569.47 c nbDecision=52500 #constraints=37682 1597.02/1597.55 c nbDecision=53000 #constraints=38140 1627.51/1628.01 c nbDecision=53500 #constraints=38595 1659.80/1660.39 c nbDecision=54000 #constraints=39016 1686.49/1687.06 c nbDecision=54500 #constraints=39496 1719.29/1719.85 c nbDecision=55000 #constraints=39973 1749.07/1749.64 c nbDecision=55500 #constraints=40433 1777.47/1778.02 c nbDecision=56000 #constraints=40892 1800.07/1800.60 Received signal 15 1800.07/1800.62 1800.07/1800.62 s SATISFIABLE 1800.07/1800.62 v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 1800.07/1800.62 v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 1800.07/1800.62 v -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 1800.07/1800.62 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 1800.07/1800.62 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 1800.07/1800.62 v -x130 -x131 -x132 x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 x149 -x150 -x151 1800.07/1800.62 v -x152 -x153 -x154 -x155 -x156 -x157 x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 x172 1800.07/1800.62 v -x173 -x174 x175 -x176 -x177 -x178 x179 -x180 x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 1800.07/1800.62 v -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 1800.07/1800.62 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 1800.07/1800.62 v -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 1800.07/1800.62 v -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 1800.07/1800.62 v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 1800.07/1800.62 v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 1800.07/1800.62 v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 1800.07/1800.62 v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 1800.07/1800.62 v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 1800.07/1800.62 v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 1800.07/1800.62 v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 1800.07/1800.62 v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 1800.07/1800.62 v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 1800.07/1800.62 v -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 1800.07/1800.62 v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 1800.07/1800.62 v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 1800.07/1800.62 v -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 1800.07/1800.62 v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 1800.07/1800.62 v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 1800.07/1800.62 v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x610 -x611 -x612 -x613 -x614 1800.07/1800.62 v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 1800.07/1800.62 v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 1800.07/1800.62 v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 1800.07/1800.62 v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 1800.07/1800.62 v -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 1800.07/1800.62 v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 1800.07/1800.62 v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 1800.07/1800.62 v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 1800.07/1800.62 v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 1800.07/1800.62 v -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 1800.07/1800.62 v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 1800.07/1800.62 v -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 1800.07/1800.62 v -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 1800.07/1800.62 v -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 1800.07/1800.62 v -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 1800.07/1800.62 v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 1800.07/1800.62 v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 1800.07/1800.62 v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 1800.07/1800.62 v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 1800.07/1800.62 v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 1800.07/1800.62 v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 1800.07/1800.62 v -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 1800.07/1800.62 v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1800.07/1800.62 v -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 1800.07/1800.62 v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 1800.07/1800.62 v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 1800.07/1800.62 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 1800.07/1800.62 v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 1800.07/1800.62 v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 1800.07/1800.62 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 1800.07/1800.62 v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 1800.07/1800.62 v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 1800.07/1800.62 v -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 1800.07/1800.62 v -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 1800.07/1800.62 v -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 1800.07/1800.62 v -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 1800.07/1800.62 v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 1800.07/1800.62 v -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 1800.07/1800.62 v -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 1800.07/1800.62 v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 1800.07/1800.62 v -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 1800.07/1800.62 v -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 1800.07/1800.62 v -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 1800.07/1800.62 v -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 1800.07/1800.62 v -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 1800.07/1800.62 v -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 1800.07/1800.62 1800.07/1800.62 c user time= 1799.47 s 1800.07/1800.62 c system time= 0.622905 s 1800.07/1800.62 c wall clock time=1800.62
OK -15
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455600-1178046290/instance-455600-1178046290.opb mv /tmp/evaluation/455600-1178046290/instance-455600-1178046290.opb.tmp /tmp/evaluation/455600-1178046290/instance-455600-1178046290.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-455600-1178046290 -o ROOT/results/node19/solver-455600-1178046290 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455600-1178046290/instance-455600-1178046290.opb mod 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: 1.13 1.08 1.01 3/77 1647 /proc/meminfo: memFree=1827976/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=1468 CPUtime=0 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 252546399 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 367 165 131 317 0 46 0 [startup+0.0798801 s] /proc/loadavg: 1.13 1.08 1.01 3/77 1647 /proc/meminfo: memFree=1827976/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=2944 CPUtime=0.07 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 530 0 0 0 7 0 0 0 18 0 1 0 252546399 3014656 513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 736 513 139 317 0 415 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2944 [startup+0.101881 s] /proc/loadavg: 1.13 1.08 1.01 3/77 1647 /proc/meminfo: memFree=1827976/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=3076 CPUtime=0.09 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 568 0 0 0 9 0 0 0 18 0 1 0 252546399 3149824 551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 769 551 139 317 0 448 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3076 [startup+0.301904 s] /proc/loadavg: 1.13 1.08 1.01 3/77 1647 /proc/meminfo: memFree=1827976/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=4396 CPUtime=0.29 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 892 0 0 0 29 0 0 0 19 0 1 0 252546399 4501504 875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 1099 875 139 317 0 778 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4396 [startup+0.701945 s] /proc/loadavg: 1.13 1.08 1.01 3/77 1647 /proc/meminfo: memFree=1827976/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=6256 CPUtime=0.69 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 1371 0 0 0 68 1 0 0 23 0 1 0 252546399 6406144 1354 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 1564 1354 139 317 0 1243 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6256 [startup+1.50103 s] /proc/loadavg: 1.12 1.08 1.01 2/78 1648 /proc/meminfo: memFree=1822400/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=8708 CPUtime=1.49 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 1986 0 0 0 148 1 0 0 25 0 1 0 252546399 8916992 1969 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 2177 1969 139 317 0 1856 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8708 [startup+3.10221 s] /proc/loadavg: 1.12 1.08 1.01 2/78 1648 /proc/meminfo: memFree=1819584/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=10684 CPUtime=3.09 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 2478 0 0 0 308 1 0 0 25 0 1 0 252546399 10940416 2461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 2671 2461 139 317 0 2350 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10684 [startup+6.30155 s] /proc/loadavg: 1.11 1.07 1.01 2/78 1648 /proc/meminfo: memFree=1816768/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=14800 CPUtime=6.29 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 3355 0 0 0 627 2 0 0 25 0 1 0 252546399 15155200 3338 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 3700 3338 139 317 0 3379 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14800 [startup+12.7012 s] /proc/loadavg: 1.10 1.07 1.01 2/78 1648 /proc/meminfo: memFree=1811456/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=18244 CPUtime=12.69 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 4314 0 0 0 1266 3 0 0 25 0 1 0 252546399 18681856 4260 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 4561 4260 139 317 0 4240 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18244 [startup+25.5016 s] /proc/loadavg: 1.08 1.07 1.01 2/78 1648 /proc/meminfo: memFree=1807680/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=21540 CPUtime=25.48 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 5212 0 0 0 2545 3 0 0 25 0 1 0 252546399 22056960 5158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 5385 5158 139 317 0 5064 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21540 [startup+51.1014 s] /proc/loadavg: 1.05 1.06 1.01 2/78 1648 /proc/meminfo: memFree=1799744/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=30432 CPUtime=51.07 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 7166 0 0 0 5102 5 0 0 25 0 1 0 252546399 31162368 7112 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 7608 7112 139 317 0 7287 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 30432 [startup+102.306 s] /proc/loadavg: 1.02 1.05 1.00 2/78 1648 /proc/meminfo: memFree=1789696/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=39840 CPUtime=102.26 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 9695 0 0 0 10218 8 0 0 25 0 1 0 252546399 40796160 9641 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 9960 9641 139 317 0 9639 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 39840 [startup+162.301 s] /proc/loadavg: 1.01 1.04 1.00 2/78 1648 /proc/meminfo: memFree=1778688/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=53540 CPUtime=162.24 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 12523 0 0 0 16213 11 0 0 25 0 1 0 252546399 54824960 12397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 13385 12397 139 317 0 13064 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 53540 [startup+222.302 s] /proc/loadavg: 1.00 1.03 1.00 2/78 1648 /proc/meminfo: memFree=1771968/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=60036 CPUtime=222.23 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 14200 0 0 0 22210 13 0 0 25 0 1 0 252546399 61476864 14074 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 15009 14074 139 317 0 14688 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 60036 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.00 2/78 1648 /proc/meminfo: memFree=1764032/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=67572 CPUtime=282.21 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 16145 0 0 0 28206 15 0 0 25 0 1 0 252546399 69193728 16019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712543 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 16893 16019 139 317 0 16572 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 67572 [startup+342.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 1648 /proc/meminfo: memFree=1757568/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=73732 CPUtime=342.2 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 17744 0 0 0 34203 17 0 0 25 0 1 0 252546399 75501568 17618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 18433 17618 139 317 0 18112 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 73732 [startup+402.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 1648 /proc/meminfo: memFree=1750912/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=80116 CPUtime=402.17 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 19419 0 0 0 40198 19 0 0 25 0 1 0 252546399 82038784 19293 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 20029 19293 139 317 0 19708 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 80116 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1648 /proc/meminfo: memFree=1742784/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=93676 CPUtime=462.15 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 22381 0 0 0 46193 22 0 0 25 0 1 0 252546399 95924224 21265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716183 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 23419 21265 139 317 0 23098 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 93676 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1648 /proc/meminfo: memFree=1738112/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=99516 CPUtime=522.14 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 23786 0 0 0 52190 24 0 0 25 0 1 0 252546399 101904384 22461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 24879 22461 139 317 0 24558 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 99516 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1648 /proc/meminfo: memFree=1731520/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=106376 CPUtime=582.12 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 25594 0 0 0 58187 25 0 0 25 0 1 0 252546399 108929024 24137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 26594 24137 139 317 0 26273 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 106376 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1648 /proc/meminfo: memFree=1725504/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=111944 CPUtime=642.11 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 27101 0 0 0 64183 28 0 0 25 0 1 0 252546399 114630656 25611 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 27986 25611 139 317 0 27665 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 111944 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1648 /proc/meminfo: memFree=1710720/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=125352 CPUtime=822.05 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 30843 0 0 0 82172 33 0 0 25 0 1 0 252546399 128360448 29122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 31338 29122 139 317 0 31017 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 125352 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1648 /proc/meminfo: memFree=1705280/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=130364 CPUtime=882.03 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 32209 0 0 0 88168 35 0 0 25 0 1 0 252546399 133492736 30455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 32591 30455 139 317 0 32270 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 130364 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1648 /proc/meminfo: memFree=1701184/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=134304 CPUtime=942.01 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 33358 0 0 0 94165 36 0 0 25 0 1 0 252546399 137527296 31472 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 33576 31472 139 317 0 33255 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 134304 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1648 /proc/meminfo: memFree=1696896/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=138364 CPUtime=1001.99 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 34559 0 0 0 100161 38 0 0 25 0 1 0 252546399 141684736 32541 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718322 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 34591 32541 139 317 0 34270 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 138364 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1648 /proc/meminfo: memFree=1692352/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=142756 CPUtime=1061.97 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 35747 0 0 0 106157 40 0 0 25 0 1 0 252546399 146182144 33663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 35689 33663 139 317 0 35368 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 142756 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1648 /proc/meminfo: memFree=1687552/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=148240 CPUtime=1121.96 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 37282 0 0 0 112154 42 0 0 25 0 1 0 252546399 151797760 34868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 37060 34868 139 317 0 36739 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 148240 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1648 /proc/meminfo: memFree=1683136/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=152832 CPUtime=1181.94 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 38604 0 0 0 118150 44 0 0 25 0 1 0 252546399 156499968 36025 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 38208 36025 139 317 0 37887 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 152832 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1648 /proc/meminfo: memFree=1678592/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=157288 CPUtime=1241.93 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 39878 0 0 0 124147 46 0 0 25 0 1 0 252546399 161062912 37101 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 39322 37101 139 317 0 39001 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 157288 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1648 /proc/meminfo: memFree=1675456/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=160176 CPUtime=1301.91 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 40746 0 0 0 130144 47 0 0 25 0 1 0 252546399 164020224 37903 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 40044 37903 170 317 0 39723 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 160176 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1648 /proc/meminfo: memFree=1671360/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=164252 CPUtime=1361.89 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 41869 0 0 0 136140 49 0 0 25 0 1 0 252546399 168194048 38927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 41063 38927 170 317 0 40742 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 164252 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1648 /proc/meminfo: memFree=1666368/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=168984 CPUtime=1421.87 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 43215 0 0 0 142137 50 0 0 25 0 1 0 252546399 173039616 40141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 42246 40141 170 317 0 41925 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 168984 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1648 /proc/meminfo: memFree=1661952/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=180104 CPUtime=1481.86 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 46192 0 0 0 148133 53 0 0 25 0 1 0 252546399 184426496 41232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 45026 41232 170 317 0 44705 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 180104 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1648 /proc/meminfo: memFree=1657600/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=184696 CPUtime=1541.83 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 47534 0 0 0 154129 54 0 0 25 0 1 0 252546399 189128704 42314 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 46174 42314 170 317 0 45853 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 184696 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1648 /proc/meminfo: memFree=1653376/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=190420 CPUtime=1601.82 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 49141 0 0 0 160126 56 0 0 25 0 1 0 252546399 194990080 43401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 47605 43401 170 317 0 47284 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 190420 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1648 /proc/meminfo: memFree=1649152/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=194476 CPUtime=1661.8 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 50321 0 0 0 166123 57 0 0 25 0 1 0 252546399 199143424 44418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 48619 44418 170 317 0 48298 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 194476 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1648 /proc/meminfo: memFree=1644544/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=198676 CPUtime=1721.79 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 51586 0 0 0 172119 60 0 0 25 0 1 0 252546399 203444224 45585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 49669 45585 170 317 0 49348 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 198676 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1648 /proc/meminfo: memFree=1639680/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=203136 CPUtime=1781.77 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 52904 0 0 0 178116 61 0 0 25 0 1 0 252546399 208011264 46773 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 50784 46773 170 317 0 50463 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 203136 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1648 /proc/meminfo: memFree=1638528/2055920 swapFree=4153596/4192956 [pid=1647] ppid=1645 vsize=204192 CPUtime=1800.07 /proc/1647/stat : 1647 (oree) R 1645 1647 32552 0 -1 4194304 53203 0 0 0 179945 62 0 0 25 0 1 0 252546399 209092608 47072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1647/statm: 51048 47072 170 317 0 50727 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 204192 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.66 CPU time (s): 1800.13 CPU user time (s): 1799.48 CPU system time (s): 0.6539 CPU usage (%): 99.9705 Max. virtual memory (cumulated for all children) (KiB): 204192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.48 system time used= 0.6539 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 53219 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= 8 involuntary context switches= 36965 runsolver used 1.3198 second user time and 4.11137 second system time The end
Begin job on node19 on Tue May 1 19:04:50 UTC 2007 IDJOB= 455600 IDBENCH= 48274 IDSOLVER= 172 FILE ID= node19/455600-1178046290 PBS_JOBID= 4728443 Free space on /tmp= 66563 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_4.opb COMMAND LINE= oree /tmp/evaluation/455600-1178046290/instance-455600-1178046290.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node19/convwatcher-455600-1178046290 -o ROOT/results/node19/conversion-455600-1178046290 -C 600 -M 1800 /tmp/evaluation/455600-1178046290/substituteSizeProductKeyword /tmp/evaluation/455600-1178046290/instance-455600-1178046290.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-455600-1178046290 -o ROOT/results/node19/solver-455600-1178046290 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455600-1178046290/instance-455600-1178046290.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= edb32574ecafd14c2d1410b208d85a45 RANDOM SEED= 71798902 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node19.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.213 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.213 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: 1828448 kB Buffers: 72416 kB Cached: 68308 kB SwapCached: 7856 kB Active: 129348 kB Inactive: 39544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1828448 kB SwapTotal: 4192956 kB SwapFree: 4153596 kB Dirty: 1352 kB Writeback: 0 kB Mapped: 34740 kB Slab: 44092 kB Committed_AS: 8038872 kB PageTables: 1796 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= 66563 MiB End job on node19 on Tue May 1 19:34:53 UTC 2007