Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 34 | 1800.35 | 1800.25 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_4.opb |
MD5SUM | b738c7950af6b3d63e331a14bc641dc9 |
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 | 25 |
Best CPU time to get the best result obtained on this benchmark | 1800.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 200 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 22 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
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) | 2524 |
Sum of products size (including duplicates) | 5048 |
Number of different products | 2524 |
Sum of products size | 5048 |
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.03 c ...done 0.00/0.03 c #vars=2724 #constraints=5249 hasObjective=yes 0.03/0.06 c res. mode=mod 0.03/0.06 c VSIDS like heuristics 0.03/0.06 c complete search running 0.03/0.07 c nbDecision=165 #constraints=5249 0.03/0.07 c linear search for optimum 0.03/0.07 o 35 0.19/0.20 c restart after 401 decisions 0.19/0.21 c nbDecision=500 #constraints=5386 0.29/0.38 c restart after 801 decisions 0.39/0.43 c nbDecision=1000 #constraints=5554 0.79/0.89 c nbDecision=1500 #constraints=5856 0.99/1.02 c restart after 1601 decisions 1.40/1.43 c nbDecision=2000 #constraints=6095 2.29/2.40 c nbDecision=2500 #constraints=6480 3.79/3.84 c nbDecision=3000 #constraints=6872 4.50/4.58 c restart after 3201 decisions 5.19/5.25 c nbDecision=3500 #constraints=7143 7.39/7.41 c nbDecision=4000 #constraints=7517 9.99/10.04 c nbDecision=4500 #constraints=7871 13.39/13.41 c nbDecision=5000 #constraints=8268 17.20/17.23 c nbDecision=5500 #constraints=8633 21.20/21.25 c nbDecision=6000 #constraints=9068 25.30/25.39 c restart after 6401 decisions 25.69/25.70 c nbDecision=6500 #constraints=9432 30.20/30.26 c nbDecision=7000 #constraints=9782 35.69/35.74 c nbDecision=7500 #constraints=10144 38.59/38.66 c nbDecision=7761 #constraints=10302 38.59/38.66 o 34 41.29/41.31 c nbDecision=8000 #constraints=10450 46.70/46.71 c nbDecision=8500 #constraints=10728 52.00/52.04 c nbDecision=9000 #constraints=11012 57.79/57.83 c nbDecision=9500 #constraints=11295 63.60/63.69 c nbDecision=10000 #constraints=11547 69.89/69.90 c nbDecision=10500 #constraints=11821 75.99/76.04 c nbDecision=11000 #constraints=12078 82.80/82.87 c nbDecision=11500 #constraints=12384 89.50/89.59 c nbDecision=12000 #constraints=12669 97.10/97.12 c nbDecision=12500 #constraints=12943 102.00/102.09 c restart after 12801 decisions 103.60/103.69 c nbDecision=13000 #constraints=13140 111.80/111.85 c nbDecision=13500 #constraints=13444 121.90/121.92 c nbDecision=14000 #constraints=13804 131.60/131.60 c nbDecision=14500 #constraints=14106 142.00/142.08 c nbDecision=15000 #constraints=14504 153.00/153.06 c nbDecision=15500 #constraints=14865 164.30/164.36 c nbDecision=16000 #constraints=15194 173.00/173.01 c nbDecision=16500 #constraints=15425 181.61/181.68 c nbDecision=17000 #constraints=15674 190.71/190.77 c nbDecision=17500 #constraints=15917 200.60/200.68 c nbDecision=18000 #constraints=16193 211.21/211.28 c nbDecision=18500 #constraints=16451 221.91/221.96 c nbDecision=19000 #constraints=16765 233.00/233.07 c nbDecision=19500 #constraints=17071 244.21/244.21 c nbDecision=20000 #constraints=17345 256.41/256.41 c nbDecision=20500 #constraints=17626 271.01/271.08 c nbDecision=21000 #constraints=18025 285.01/285.08 c nbDecision=21500 #constraints=18353 299.70/299.79 c nbDecision=22000 #constraints=18705 314.01/314.03 c nbDecision=22500 #constraints=19015 328.21/328.24 c nbDecision=23000 #constraints=19293 340.01/340.06 c nbDecision=23500 #constraints=19530 352.01/352.01 c nbDecision=24000 #constraints=19761 365.12/365.10 c nbDecision=24500 #constraints=20023 378.21/378.29 c nbDecision=25000 #constraints=20276 393.32/393.34 c nbDecision=25500 #constraints=20555 396.12/396.12 c restart after 25601 decisions 405.52/405.57 c nbDecision=26000 #constraints=20729 422.61/422.63 c nbDecision=26500 #constraints=21083 438.72/438.77 c nbDecision=27000 #constraints=21383 456.22/456.21 c nbDecision=27500 #constraints=21658 469.92/469.94 c nbDecision=28000 #constraints=21880 483.93/483.97 c nbDecision=28500 #constraints=22137 499.52/499.57 c nbDecision=29000 #constraints=22409 515.23/515.24 c nbDecision=29500 #constraints=22663 539.02/539.06 c nbDecision=30000 #constraints=23057 562.92/562.99 c nbDecision=30500 #constraints=23444 586.02/586.08 c nbDecision=31000 #constraints=23814 611.73/611.70 c nbDecision=31500 #constraints=24179 638.23/638.21 c nbDecision=32000 #constraints=24552 662.13/662.14 c nbDecision=32500 #constraints=24944 691.73/691.71 c nbDecision=33000 #constraints=25336 714.83/714.89 c nbDecision=33500 #constraints=25661 739.24/739.26 c nbDecision=34000 #constraints=25989 763.53/763.58 c nbDecision=34500 #constraints=26337 786.84/786.81 c nbDecision=35000 #constraints=26632 814.84/814.87 c nbDecision=35500 #constraints=26990 843.65/843.63 c nbDecision=36000 #constraints=27344 867.95/867.90 c nbDecision=36500 #constraints=27684 897.55/897.56 c nbDecision=37000 #constraints=28066 927.55/927.50 c nbDecision=37500 #constraints=28417 954.15/954.15 c nbDecision=38000 #constraints=28708 983.75/983.70 c nbDecision=38500 #constraints=29058 1017.45/1017.50 c nbDecision=39000 #constraints=29431 1047.56/1047.57 c nbDecision=39500 #constraints=29801 1081.45/1081.41 c nbDecision=40000 #constraints=30159 1115.06/1115.05 c nbDecision=40500 #constraints=30499 1142.05/1142.03 c nbDecision=41000 #constraints=30780 1170.37/1170.34 c nbDecision=41500 #constraints=31072 1201.16/1201.17 c nbDecision=42000 #constraints=31425 1235.77/1235.76 c nbDecision=42500 #constraints=31774 1265.56/1265.59 c nbDecision=43000 #constraints=32120 1297.56/1297.54 c nbDecision=43500 #constraints=32490 1331.08/1331.07 c nbDecision=44000 #constraints=32839 1367.97/1367.93 c nbDecision=44500 #constraints=33186 1402.07/1402.05 c nbDecision=45000 #constraints=33569 1438.98/1438.91 c nbDecision=45500 #constraints=33912 1474.98/1475.00 c nbDecision=46000 #constraints=34219 1506.48/1506.42 c nbDecision=46500 #constraints=34520 1541.38/1541.33 c nbDecision=47000 #constraints=34859 1574.48/1574.47 c nbDecision=47500 #constraints=35189 1614.09/1614.00 c nbDecision=48000 #constraints=35548 1649.29/1649.20 c nbDecision=48500 #constraints=35850 1685.89/1685.82 c nbDecision=49000 #constraints=36160 1726.49/1726.42 c nbDecision=49500 #constraints=36459 1760.30/1760.27 c nbDecision=50000 #constraints=36749 1794.79/1794.75 c nbDecision=50500 #constraints=37080 1800.10/1800.00 Received signal 15 1800.29/1800.20 1800.29/1800.20 s SATISFIABLE 1800.29/1800.20 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 1800.29/1800.20 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.29/1800.20 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1800.29/1800.20 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1800.29/1800.20 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 1800.29/1800.20 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 1800.29/1800.20 v x148 x149 -x150 -x151 x152 -x153 x154 -x155 x156 x157 x158 -x159 x160 -x161 x162 -x163 -x164 -x165 x166 -x167 x168 x169 -x170 1800.29/1800.20 v -x171 x172 x173 x174 x175 -x176 x177 x178 x179 -x180 -x181 -x182 -x183 -x184 x185 x186 x187 -x188 x189 x190 -x191 -x192 x193 1800.29/1800.20 v x194 x195 x196 -x197 x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 1800.29/1800.20 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 x231 x232 -x233 x234 -x235 -x236 1800.29/1800.20 v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 1800.29/1800.20 v -x258 -x259 -x260 x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 1800.29/1800.20 v x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 x299 -x300 1800.29/1800.20 v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 x315 -x316 -x317 x318 x319 -x320 -x321 1800.29/1800.20 v -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 1800.29/1800.20 v -x343 x344 x345 -x346 -x347 x348 -x349 -x350 x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 1800.29/1800.20 v -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 x385 1800.29/1800.20 v -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 1800.29/1800.20 v -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 x422 -x423 -x424 x425 -x426 -x427 1800.29/1800.20 v -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 1800.29/1800.20 v x449 -x450 x451 -x452 x453 x454 -x455 -x456 -x457 x458 x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 1800.29/1800.20 v -x471 x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 x484 -x485 x486 x487 -x488 -x489 -x490 -x491 -x492 1800.29/1800.20 v x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 1800.29/1800.20 v -x514 -x515 x516 x517 x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 1800.29/1800.20 v x536 -x537 -x538 x539 -x540 x541 -x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 1800.29/1800.20 v -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 x573 -x574 -x575 -x576 -x577 1800.29/1800.20 v -x578 x579 -x580 -x581 -x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 1800.29/1800.20 v -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 1800.29/1800.20 v x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 x632 -x633 -x634 x635 -x636 -x637 x638 -x639 -x640 -x641 1800.29/1800.20 v -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 1800.29/1800.20 v -x663 -x664 -x665 x666 x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 1800.29/1800.20 v -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 1800.29/1800.20 v -x705 -x706 x707 x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 x720 -x721 x722 -x723 -x724 -x725 -x726 1800.29/1800.20 v -x727 x728 -x729 -x730 -x731 x732 x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 1800.29/1800.20 v x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 1800.29/1800.20 v -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 x790 1800.29/1800.20 v -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 x807 x808 -x809 -x810 -x811 1800.29/1800.20 v -x812 -x813 -x814 x815 -x816 -x817 x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 x831 -x832 1800.29/1800.20 v -x833 x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 1800.29/1800.20 v -x854 -x855 -x856 -x857 -x858 x859 -x860 -x861 -x862 -x863 -x864 x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 1800.29/1800.20 v -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 1800.29/1800.20 v x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 1800.29/1800.20 v -x917 -x918 -x919 -x920 -x921 -x922 -x923 x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 1800.29/1800.20 v -x938 -x939 -x940 -x941 -x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 1800.29/1800.20 v -x959 -x960 -x961 -x962 x963 x964 -x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 x976 -x977 -x978 x979 -x980 1800.29/1800.20 v -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 x989 x990 x991 x992 -x993 x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 1800.29/1800.20 v -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 1800.29/1800.20 v x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 1800.29/1800.20 v -x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 x1054 -x1055 1800.29/1800.20 v -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 1800.29/1800.20 v -x1073 -x1074 x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 x1090 1800.29/1800.20 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 1800.29/1800.20 v -x1109 -x1110 -x1111 x1112 -x1113 -x1114 x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1800.29/1800.20 v -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 1800.29/1800.20 v -x1145 -x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 x1162 1800.29/1800.20 v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 1800.29/1800.20 v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 x1192 x1193 -x1194 -x1195 -x1196 -x1197 1800.29/1800.20 v x1198 -x1199 -x1200 x1201 x1202 -x1203 -x1204 x1205 x1206 x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 1800.29/1800.20 v x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 1800.29/1800.20 v x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 1800.29/1800.20 v -x1251 -x1252 -x1253 x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 1800.29/1800.20 v -x1269 -x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 x1284 -x1285 -x1286 1800.29/1800.20 v -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 1800.29/1800.20 v -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 -x1312 -x1313 -x1314 x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 1800.29/1800.20 v x1323 x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 -x1339 -x1340 1800.29/1800.20 v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 -x1349 x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 1800.29/1800.20 v -x1359 -x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 1800.29/1800.20 v -x1376 x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 1800.29/1800.20 v x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 x1406 -x1407 -x1408 -x1409 -x1410 -x1411 1800.29/1800.20 v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 x1426 -x1427 -x1428 -x1429 1800.29/1800.20 v x1430 x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 x1440 -x1441 -x1442 x1443 -x1444 -x1445 -x1446 -x1447 1800.29/1800.20 v -x1448 -x1449 -x1450 -x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 1800.29/1800.20 v -x1465 -x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x1480 x1481 -x1482 1800.29/1800.20 v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 x1491 x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 x1499 x1500 1800.29/1800.20 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 1800.29/1800.20 v -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 1800.29/1800.20 v -x1536 x1537 -x1538 -x1539 x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 x1552 -x1553 1800.29/1800.20 v -x1554 -x1555 -x1556 -x1557 x1558 x1559 -x1560 -x1561 -x1562 -x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 1800.29/1800.20 v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 1800.29/1800.20 v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 x1598 -x1599 x1600 -x1601 -x1602 x1603 -x1604 -x1605 -x1606 1800.29/1800.20 v -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 1800.29/1800.20 v x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641 1800.29/1800.20 v -x1642 -x1643 -x1644 x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 x1657 -x1658 -x1659 1800.29/1800.20 v -x1660 x1661 -x1662 x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 1800.29/1800.20 v -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 -x1686 x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 1800.29/1800.20 v -x1696 -x1697 -x1698 x1699 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 x1709 -x1710 -x1711 x1712 -x1713 1800.29/1800.20 v -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 1800.29/1800.20 v -x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 -x1748 -x1749 1800.29/1800.20 v -x1750 -x1751 -x1752 -x1753 x1754 -x1755 x1756 -x1757 x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 1800.29/1800.20 v x1768 -x1769 x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 1800.29/1800.20 v -x1786 -x1787 -x1788 x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 -x1800 -x1801 -x1802 -x1803 1800.29/1800.20 v -x1804 -x1805 -x1806 -x1807 -x1808 x1809 -x1810 x1811 x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 1800.29/1800.20 v -x1822 -x1823 x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 x1834 x1835 -x1836 -x1837 -x1838 -x1839 1800.29/1800.20 v -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 1800.29/1800.20 v -x1857 -x1858 -x1859 x1860 -x1861 -x1862 -x1863 -x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 1800.29/1800.20 v -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 1800.29/1800.20 v x1892 -x1893 x1894 x1895 x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 1800.29/1800.20 v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 -x1922 -x1923 -x1924 -x1925 -x1926 1800.29/1800.20 v -x1927 -x1928 -x1929 -x1930 x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 -x1942 -x1943 -x1944 1800.29/1800.20 v -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 1800.29/1800.20 v x1962 x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 x1974 x1975 x1976 -x1977 -x1978 -x1979 1800.29/1800.20 v -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 1800.29/1800.20 v -x1997 x1998 -x1999 x2000 x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 -x2012 -x2013 -x2014 1800.29/1800.20 v -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 x2024 x2025 x2026 x2027 -x2028 -x2029 -x2030 -x2031 -x2032 1800.29/1800.20 v -x2033 -x2034 x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 x2048 -x2049 -x2050 1800.29/1800.20 v -x2051 -x2052 -x2053 -x2054 x2055 x2056 x2057 -x2058 -x2059 -x2060 -x2061 x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 1800.29/1800.20 v -x2069 -x2070 -x2071 -x2072 x2073 x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 1800.29/1800.20 v -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 x2103 -x2104 1800.29/1800.20 v x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 x2114 x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 1800.29/1800.20 v -x2123 -x2124 -x2125 -x2126 x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 x2140 1800.29/1800.20 v x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 1800.29/1800.20 v -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 x2172 -x2173 -x2174 -x2175 1800.29/1800.20 v -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 1800.29/1800.20 v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 1800.29/1800.20 v -x2210 -x2211 x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 1800.29/1800.20 v -x2227 -x2228 -x2229 -x2230 -x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 1800.29/1800.20 v -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 -x2258 -x2259 -x2260 1800.29/1800.20 v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 1800.29/1800.20 v -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 1800.29/1800.20 v -x2295 -x2296 -x2297 x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 1800.29/1800.20 v -x2312 -x2313 -x2314 -x2315 -x2316 x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 1800.29/1800.20 v -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 1800.29/1800.20 v -x2346 -x2347 x2348 x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 x2360 -x2361 -x2362 -x2363 1800.29/1800.20 v -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 x2379 x2380 -x2381 1800.29/1800.20 v -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 1800.29/1800.20 v -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 x2411 -x2412 -x2413 -x2414 -x2415 1800.29/1800.20 v -x2416 -x2417 x2418 x2419 x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 1800.29/1800.20 v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 1800.29/1800.20 v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 1800.29/1800.20 v -x2468 -x2469 x2470 -x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 1800.29/1800.20 v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 1800.29/1800.20 v -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 1800.29/1800.20 v -x2520 -x2521 -x2522 -x2523 x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 x2532 -x2533 -x2534 -x2535 x2536 -x2537 1800.29/1800.20 v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 1800.29/1800.20 v -x2555 -x2556 x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 1800.29/1800.20 v -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 1800.29/1800.20 v -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596 -x2597 x2598 x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 1800.29/1800.20 v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 1800.29/1800.20 v -x2624 -x2625 -x2626 -x2627 -x2628 x2629 -x2630 x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 x2641 1800.29/1800.20 v -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 1800.29/1800.20 v -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 1800.29/1800.20 v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 x2689 -x2690 x2691 -x2692 -x2693 1800.29/1800.20 v -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 1800.29/1800.20 v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 x2724 1800.29/1800.21 1800.29/1800.21 c user time= 1799.89 s 1800.29/1800.21 c system time= 0.428934 s 1800.29/1800.21 c wall clock time=1800.21
OK 34
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/453680-1178148253/instance-453680-1178148253.opb mv /tmp/evaluation/453680-1178148253/instance-453680-1178148253.opb.tmp /tmp/evaluation/453680-1178148253/instance-453680-1178148253.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node16/watcher-453680-1178148253 -o ROOT/results/node16/solver-453680-1178148253 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453680-1178148253/instance-453680-1178148253.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: 0.92 0.99 0.99 3/77 2305 /proc/meminfo: memFree=1811632/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=1468 CPUtime=0 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 262742919 1503232 165 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 367 166 130 317 0 46 0 [startup+0.0412279 s] /proc/loadavg: 0.92 0.99 0.99 3/77 2305 /proc/meminfo: memFree=1811632/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=3212 CPUtime=0.03 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 616 0 0 0 3 0 0 0 18 0 1 0 262742919 3289088 599 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 803 599 137 317 0 482 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3212 [startup+0.102215 s] /proc/loadavg: 0.92 0.99 0.99 3/77 2305 /proc/meminfo: memFree=1811632/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=3620 CPUtime=0.09 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 764 0 0 0 9 0 0 0 18 0 1 0 262742919 3706880 711 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135272608 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 905 711 170 317 0 584 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3620 [startup+0.302173 s] /proc/loadavg: 0.92 0.99 0.99 3/77 2305 /proc/meminfo: memFree=1811632/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=4540 CPUtime=0.29 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 995 0 0 0 29 0 0 0 19 0 1 0 262742919 4648960 942 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 1135 942 170 317 0 814 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4540 [startup+0.702089 s] /proc/loadavg: 0.92 0.99 0.99 3/77 2305 /proc/meminfo: memFree=1811632/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=5984 CPUtime=0.69 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 1354 0 0 0 69 0 0 0 23 0 1 0 262742919 6127616 1301 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 1496 1301 170 317 0 1175 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5984 [startup+1.50192 s] /proc/loadavg: 0.92 0.99 0.99 2/78 2306 /proc/meminfo: memFree=1806056/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=7960 CPUtime=1.5 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 1843 0 0 0 149 1 0 0 25 0 1 0 262742919 8151040 1790 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 1990 1790 170 317 0 1669 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 7960 [startup+3.10158 s] /proc/loadavg: 0.92 0.99 0.99 2/78 2306 /proc/meminfo: memFree=1803624/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=11008 CPUtime=3.09 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 2602 0 0 0 308 1 0 0 25 0 1 0 262742919 11272192 2549 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 2752 2549 170 317 0 2431 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11008 [startup+6.30191 s] /proc/loadavg: 0.93 0.99 0.99 2/78 2306 /proc/meminfo: memFree=1799400/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=14616 CPUtime=6.29 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 3463 0 0 0 627 2 0 0 25 0 1 0 262742919 14966784 3410 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 3654 3410 170 317 0 3333 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14616 [startup+12.7016 s] /proc/loadavg: 0.93 0.99 0.99 2/78 2306 /proc/meminfo: memFree=1794672/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=18572 CPUtime=12.69 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 4473 0 0 0 1267 2 0 0 25 0 1 0 262742919 19017728 4420 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 4643 4420 170 317 0 4322 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18572 [startup+25.5019 s] /proc/loadavg: 0.95 0.99 0.99 2/78 2306 /proc/meminfo: memFree=1788272/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=25388 CPUtime=25.49 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 6047 0 0 0 2546 3 0 0 25 0 1 0 262742919 25997312 5994 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 6347 5994 170 317 0 6026 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 25388 [startup+51.1015 s] /proc/loadavg: 0.96 0.99 0.99 2/78 2306 /proc/meminfo: memFree=1780592/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=33284 CPUtime=51.1 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 8034 0 0 0 5105 5 0 0 25 0 1 0 262742919 34082816 7909 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 8321 7909 170 317 0 8000 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 33284 [startup+102.306 s] /proc/loadavg: 0.98 0.99 0.99 2/78 2306 /proc/meminfo: memFree=1769968/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=43764 CPUtime=102.3 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 10658 0 0 0 10223 7 0 0 25 0 1 0 262742919 44814336 10533 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 10941 10533 170 317 0 10620 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 43764 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 2306 /proc/meminfo: memFree=1760368/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=54296 CPUtime=162.3 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 13068 0 0 0 16220 10 0 0 25 0 1 0 262742919 55599104 12943 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 13574 12943 170 317 0 13253 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 54296 [startup+222.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 2306 /proc/meminfo: memFree=1752560/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=62044 CPUtime=222.31 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 14991 0 0 0 22219 12 0 0 25 0 1 0 262742919 63533056 14866 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 15511 14866 170 317 0 15190 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 62044 [startup+282.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 2306 /proc/meminfo: memFree=1745008/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=69996 CPUtime=282.31 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 16882 0 0 0 28217 14 0 0 25 0 1 0 262742919 71675904 16757 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712503 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 17499 16757 170 317 0 17178 0 Current children cumulated CPU time (s) 282.31 Current children cumulated vsize (KiB) 69996 [startup+342.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 2306 /proc/meminfo: memFree=1738736/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=76532 CPUtime=342.31 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 18449 0 0 0 34216 15 0 0 25 0 1 0 262742919 78368768 18324 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 19133 18324 170 317 0 18812 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 76532 [startup+402.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 2306 /proc/meminfo: memFree=1733296/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=82940 CPUtime=402.32 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 20108 0 0 0 40215 17 0 0 25 0 1 0 262742919 84930560 19841 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 20735 19841 170 317 0 20414 0 Current children cumulated CPU time (s) 402.32 Current children cumulated vsize (KiB) 82940 [startup+462.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 2306 /proc/meminfo: memFree=1727856/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=89620 CPUtime=462.32 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 21684 0 0 0 46214 18 0 0 25 0 1 0 262742919 91770880 21021 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 22405 21021 170 317 0 22084 0 Current children cumulated CPU time (s) 462.32 Current children cumulated vsize (KiB) 89620 [startup+522.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 2306 /proc/meminfo: memFree=1722992/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=94008 CPUtime=522.33 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 22904 0 0 0 52213 20 0 0 25 0 1 0 262742919 96264192 22241 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 23502 22241 170 317 0 23181 0 Current children cumulated CPU time (s) 522.33 Current children cumulated vsize (KiB) 94008 [startup+582.303 s] /proc/loadavg: 0.99 0.99 0.99 2/78 2306 /proc/meminfo: memFree=1717424/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=99628 CPUtime=582.32 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 24278 0 0 0 58211 21 0 0 25 0 1 0 262742919 102019072 23615 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 24907 23615 170 317 0 24586 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 99628 [startup+642.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 2308 /proc/meminfo: memFree=1712752/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=104252 CPUtime=642.34 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 25413 0 0 0 64210 24 0 0 25 0 1 0 262742919 106754048 24750 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 26063 24750 170 317 0 25742 0 Current children cumulated CPU time (s) 642.34 Current children cumulated vsize (KiB) 104252 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 2308 /proc/meminfo: memFree=1695408/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=122932 CPUtime=882.34 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 29935 0 0 0 88206 28 0 0 25 0 1 0 262742919 125882368 29074 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 30733 29074 170 317 0 30412 0 Current children cumulated CPU time (s) 882.34 Current children cumulated vsize (KiB) 122932 [startup+942.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 2308 /proc/meminfo: memFree=1691888/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=126392 CPUtime=942.35 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 30811 0 0 0 94206 29 0 0 25 0 1 0 262742919 129425408 29950 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135272552 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 31598 29950 170 317 0 31277 0 Current children cumulated CPU time (s) 942.35 Current children cumulated vsize (KiB) 126392 [startup+1002.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 2308 /proc/meminfo: memFree=1688432/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=129872 CPUtime=1002.35 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 31703 0 0 0 100205 30 0 0 25 0 1 0 262742919 132988928 30809 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 32468 30809 170 317 0 32147 0 Current children cumulated CPU time (s) 1002.35 Current children cumulated vsize (KiB) 129872 [startup+1062.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 2308 /proc/meminfo: memFree=1684720/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=133820 CPUtime=1062.35 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 32646 0 0 0 106204 31 0 0 25 0 1 0 262742919 137031680 31752 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 33455 31752 170 317 0 33134 0 Current children cumulated CPU time (s) 1062.35 Current children cumulated vsize (KiB) 133820 [startup+1122.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 2308 /proc/meminfo: memFree=1681520/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=136864 CPUtime=1122.36 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 33437 0 0 0 112204 32 0 0 25 0 1 0 262742919 140148736 32543 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 34216 32543 170 317 0 33895 0 Current children cumulated CPU time (s) 1122.36 Current children cumulated vsize (KiB) 136864 [startup+1182.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 2308 /proc/meminfo: memFree=1678704/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=139548 CPUtime=1182.36 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 34160 0 0 0 118203 33 0 0 25 0 1 0 262742919 142897152 33266 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563441 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 34887 33266 170 317 0 34566 0 Current children cumulated CPU time (s) 1182.36 Current children cumulated vsize (KiB) 139548 [startup+1242.3 s] /proc/loadavg: 1.07 1.00 1.00 2/78 2308 /proc/meminfo: memFree=1675568/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=142976 CPUtime=1242.36 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 34935 0 0 0 124202 34 0 0 25 0 1 0 262742919 146407424 34041 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712504 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 35744 34041 170 317 0 35423 0 Current children cumulated CPU time (s) 1242.36 Current children cumulated vsize (KiB) 142976 [startup+1302.3 s] /proc/loadavg: 1.02 1.00 1.00 2/78 2308 /proc/meminfo: memFree=1671728/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=147068 CPUtime=1302.37 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 35851 0 0 0 130202 35 0 0 25 0 1 0 262742919 150597632 34957 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 36767 34957 170 317 0 36446 0 Current children cumulated CPU time (s) 1302.37 Current children cumulated vsize (KiB) 147068 [startup+1362.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 2308 /proc/meminfo: memFree=1668848/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=150040 CPUtime=1362.37 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 36615 0 0 0 136201 36 0 0 25 0 1 0 262742919 153640960 35688 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 37510 35688 170 317 0 37189 0 Current children cumulated CPU time (s) 1362.37 Current children cumulated vsize (KiB) 150040 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2308 /proc/meminfo: memFree=1665776/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=153104 CPUtime=1422.38 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 37466 0 0 0 142201 37 0 0 25 0 1 0 262742919 156778496 36440 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 38276 36440 170 317 0 37955 0 Current children cumulated CPU time (s) 1422.38 Current children cumulated vsize (KiB) 153104 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2308 /proc/meminfo: memFree=1663280/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=155612 CPUtime=1482.38 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 38127 0 0 0 148200 38 0 0 25 0 1 0 262742919 159346688 37068 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 38903 37068 170 317 0 38582 0 Current children cumulated CPU time (s) 1482.38 Current children cumulated vsize (KiB) 155612 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2308 /proc/meminfo: memFree=1660208/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=158500 CPUtime=1542.38 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 38889 0 0 0 154199 39 0 0 25 0 1 0 262742919 162304000 37830 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 39625 37830 170 317 0 39304 0 Current children cumulated CPU time (s) 1542.38 Current children cumulated vsize (KiB) 158500 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2308 /proc/meminfo: memFree=1657200/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=161292 CPUtime=1602.39 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 39682 0 0 0 160199 40 0 0 25 0 1 0 262742919 165163008 38590 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 40323 38590 170 317 0 40002 0 Current children cumulated CPU time (s) 1602.39 Current children cumulated vsize (KiB) 161292 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 2308 /proc/meminfo: memFree=1654640/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=163524 CPUtime=1662.39 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 40313 0 0 0 166199 40 0 0 25 0 1 0 262742919 167448576 39221 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 40881 39221 170 317 0 40560 0 Current children cumulated CPU time (s) 1662.39 Current children cumulated vsize (KiB) 163524 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2308 /proc/meminfo: memFree=1652592/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=165612 CPUtime=1722.39 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 40823 0 0 0 172198 41 0 0 25 0 1 0 262742919 169586688 39731 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 41403 39731 170 317 0 41082 0 Current children cumulated CPU time (s) 1722.39 Current children cumulated vsize (KiB) 165612 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2308 /proc/meminfo: memFree=1649968/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=167980 CPUtime=1782.4 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 41475 0 0 0 178198 42 0 0 25 0 1 0 262742919 172011520 40383 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 41995 40383 170 317 0 41674 0 Current children cumulated CPU time (s) 1782.4 Current children cumulated vsize (KiB) 167980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2308 /proc/meminfo: memFree=1649072/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=168660 CPUtime=1800.1 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 41684 0 0 0 179968 42 0 0 25 0 1 0 262742919 172707840 40592 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 42165 40592 170 317 0 41844 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 168660 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.2 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2308 /proc/meminfo: memFree=1649072/2055920 swapFree=4148560/4192956 [pid=2305] ppid=2303 vsize=168660 CPUtime=1800.29 /proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 41685 0 0 0 179987 42 0 0 25 0 1 0 262742919 172707840 40593 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2305/statm: 42165 40593 170 317 0 41844 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 168660 Child status: 0 Real time (s): 1800.25 CPU time (s): 1800.35 CPU user time (s): 1799.89 CPU system time (s): 0.45793 CPU usage (%): 100.006 Max. virtual memory (cumulated for all children) (KiB): 168660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.89 system time used= 0.45793 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41701 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= 1113 runsolver used 1.64575 second user time and 4.53931 second system time The end
Begin job on node16 on Wed May 2 23:24:13 UTC 2007 IDJOB= 453680 IDBENCH= 48146 IDSOLVER= 172 FILE ID= node16/453680-1178148253 PBS_JOBID= 4751069 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/mds/normalized-mds_200_10_4.opb COMMAND LINE= oree /tmp/evaluation/453680-1178148253/instance-453680-1178148253.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node16/convwatcher-453680-1178148253 -o ROOT/results/node16/conversion-453680-1178148253 -C 600 -M 1800 /tmp/evaluation/453680-1178148253/substituteSizeProductKeyword /tmp/evaluation/453680-1178148253/instance-453680-1178148253.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-453680-1178148253 -o ROOT/results/node16/solver-453680-1178148253 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453680-1178148253/instance-453680-1178148253.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= b738c7950af6b3d63e331a14bc641dc9 RANDOM SEED= 193350535 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node16.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.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1812040 kB Buffers: 87768 kB Cached: 75856 kB SwapCached: 12496 kB Active: 107896 kB Inactive: 84948 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1812040 kB SwapTotal: 4192956 kB SwapFree: 4148560 kB Dirty: 1440 kB Writeback: 0 kB Mapped: 32632 kB Slab: 36536 kB Committed_AS: 13937380 kB PageTables: 1844 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 node16 on Wed May 2 23:54:15 UTC 2007