Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -41 | 1800.23 | 1800.68 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_4.opb |
MD5SUM | 69a7dda5c80f9dda65f29fb6eb76eed7 |
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 | -53 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -53 |
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 | 10 |
Maximum length of a constraint | 21 |
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 | 1262 |
Sum of products size | 2524 |
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.01/0.02 c ...done 0.01/0.02 c #vars=1462 #constraints=2925 hasObjective=yes 0.10/0.10 c res. mode=mod 0.10/0.10 c VSIDS like heuristics 0.10/0.10 c complete search running 0.10/0.10 c nbDecision=40 #constraints=2925 0.10/0.10 c linear search for optimum 0.10/0.10 o -40 0.10/0.11 c nbDecision=46 #constraints=2927 0.10/0.11 o -41 0.49/0.56 c restart after 401 decisions 0.69/0.70 c nbDecision=500 #constraints=3163 1.19/1.21 c restart after 801 decisions 1.49/1.59 c nbDecision=1000 #constraints=3486 2.69/2.77 c nbDecision=1500 #constraints=3856 3.10/3.11 c restart after 1601 decisions 4.19/4.23 c nbDecision=2000 #constraints=4189 6.20/6.23 c nbDecision=2500 #constraints=4581 8.39/8.45 c nbDecision=3000 #constraints=4961 9.29/9.39 c restart after 3201 decisions 11.29/11.36 c nbDecision=3500 #constraints=5303 15.19/15.23 c nbDecision=4000 #constraints=5723 19.79/19.90 c nbDecision=4500 #constraints=6177 24.29/24.32 c nbDecision=5000 #constraints=6579 30.88/30.93 c nbDecision=5500 #constraints=7041 36.68/36.77 c nbDecision=6000 #constraints=7432 42.38/42.40 c restart after 6401 decisions 44.08/44.18 c nbDecision=6500 #constraints=7814 51.78/51.81 c nbDecision=7000 #constraints=8113 59.78/59.87 c nbDecision=7500 #constraints=8397 68.38/68.44 c nbDecision=8000 #constraints=8690 78.37/78.48 c nbDecision=8500 #constraints=9046 87.27/87.34 c nbDecision=9000 #constraints=9356 95.77/95.87 c nbDecision=9500 #constraints=9611 105.06/105.14 c nbDecision=10000 #constraints=9889 114.16/114.27 c nbDecision=10500 #constraints=10165 124.27/124.34 c nbDecision=11000 #constraints=10447 136.76/136.80 c nbDecision=11500 #constraints=10876 150.96/151.06 c nbDecision=12000 #constraints=11300 166.06/166.13 c nbDecision=12500 #constraints=11728 173.65/173.79 c restart after 12801 decisions 181.35/181.45 c nbDecision=13000 #constraints=12070 196.64/196.76 c nbDecision=13500 #constraints=12457 214.14/214.29 c nbDecision=14000 #constraints=12845 231.53/231.62 c nbDecision=14500 #constraints=13233 251.73/251.83 c nbDecision=15000 #constraints=13679 271.32/271.47 c nbDecision=15500 #constraints=14082 286.72/286.85 c nbDecision=16000 #constraints=14405 304.62/304.79 c nbDecision=16500 #constraints=14763 322.71/322.89 c nbDecision=17000 #constraints=15133 341.01/341.12 c nbDecision=17500 #constraints=15486 358.50/358.70 c nbDecision=18000 #constraints=15811 379.40/379.60 c nbDecision=18500 #constraints=16172 401.70/401.81 c nbDecision=19000 #constraints=16551 426.18/426.30 c nbDecision=19500 #constraints=16972 449.08/449.28 c nbDecision=20000 #constraints=17385 471.18/471.36 c nbDecision=20500 #constraints=17770 499.17/499.32 c nbDecision=21000 #constraints=18217 520.86/521.00 c nbDecision=21500 #constraints=18566 546.96/547.14 c nbDecision=22000 #constraints=18987 570.55/570.70 c nbDecision=22500 #constraints=19376 598.74/598.92 c nbDecision=23000 #constraints=19774 628.73/628.98 c nbDecision=23500 #constraints=20173 652.93/653.13 c nbDecision=24000 #constraints=20486 676.72/676.99 c nbDecision=24500 #constraints=20812 708.82/709.09 c nbDecision=25000 #constraints=21221 741.80/742.10 c nbDecision=25500 #constraints=21612 750.21/750.40 c restart after 25601 decisions 781.00/781.21 c nbDecision=26000 #constraints=22037 811.99/812.25 c nbDecision=26500 #constraints=22420 845.58/845.86 c nbDecision=27000 #constraints=22827 883.87/884.14 c nbDecision=27500 #constraints=23290 925.56/925.83 c nbDecision=28000 #constraints=23766 968.05/968.37 c nbDecision=28500 #constraints=24245 1011.34/1011.67 c nbDecision=29000 #constraints=24725 1053.93/1054.25 c nbDecision=29500 #constraints=25206 1094.82/1095.10 c nbDecision=30000 #constraints=25658 1133.11/1133.46 c nbDecision=30500 #constraints=26083 1173.90/1174.26 c nbDecision=31000 #constraints=26523 1217.79/1218.16 c nbDecision=31500 #constraints=26989 1263.48/1263.81 c nbDecision=32000 #constraints=27470 1310.67/1311.04 c nbDecision=32500 #constraints=27951 1353.86/1354.24 c nbDecision=33000 #constraints=28406 1400.85/1401.29 c nbDecision=33500 #constraints=28855 1447.13/1447.53 c nbDecision=34000 #constraints=29283 1486.32/1486.73 c nbDecision=34500 #constraints=29651 1539.31/1539.76 c nbDecision=35000 #constraints=30115 1587.20/1587.67 c nbDecision=35500 #constraints=30533 1631.49/1631.93 c nbDecision=36000 #constraints=30940 1674.47/1674.97 c nbDecision=36500 #constraints=31326 1702.07/1702.58 c nbDecision=37000 #constraints=31603 1752.06/1752.50 c nbDecision=37500 #constraints=32029 1800.05/1800.50 Received signal 15 1800.15/1800.62 c nbDecision=38000 #constraints=32443 1800.15/1800.62 1800.15/1800.62 s SATISFIABLE 1800.15/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 1800.15/1800.62 v x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 x45 x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 x54 x55 -x56 -x57 -x58 -x59 1800.15/1800.62 v -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 -x85 1800.15/1800.62 v -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 1800.15/1800.62 v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 1800.15/1800.62 v -x131 -x132 -x133 -x134 x135 x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 1800.15/1800.62 v -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 1800.15/1800.62 v -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 x192 -x193 x194 -x195 1800.15/1800.62 v -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 1800.15/1800.62 v -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 1800.15/1800.62 v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 1800.15/1800.62 v -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 1800.15/1800.62 v -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 1800.15/1800.62 v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 1800.15/1800.62 v -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 1800.15/1800.62 v -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 1800.15/1800.62 v -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 1800.15/1800.62 v -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 1800.15/1800.62 v -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 1800.15/1800.62 v -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 1800.15/1800.62 v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 1800.15/1800.62 v -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 1800.15/1800.62 v -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 1800.15/1800.62 v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 1800.15/1800.62 v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 1800.15/1800.62 v -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 1800.15/1800.62 v -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 1800.15/1800.62 v -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 1800.15/1800.62 v -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 1800.15/1800.62 v -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 1800.15/1800.62 v -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 1800.15/1800.62 v -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 1800.15/1800.62 v -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 1800.15/1800.62 v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 1800.15/1800.62 v -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 1800.15/1800.62 v -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 1800.15/1800.62 v -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 1800.15/1800.62 v -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 1800.15/1800.62 v -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 1800.15/1800.62 v -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 1800.15/1800.62 v -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 1800.15/1800.62 v -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 1800.15/1800.62 v -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 1800.15/1800.62 v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 1800.15/1800.62 v -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 1800.15/1800.62 v -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 1800.15/1800.62 v -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 1800.15/1800.62 v -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 1800.15/1800.62 v -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 1800.15/1800.62 v -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 1800.15/1800.62 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 1800.15/1800.62 v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 1800.15/1800.62 v -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 1800.15/1800.62 v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 1800.15/1800.62 v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 1800.15/1800.62 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1800.15/1800.62 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 1800.15/1800.62 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 1800.15/1800.62 v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 1800.15/1800.62 v -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 1800.15/1800.62 v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 1800.15/1800.62 v -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 1800.15/1800.62 v -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 1800.15/1800.62 v -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 1800.15/1800.62 v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 1800.15/1800.62 v -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 1800.15/1800.62 v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 1800.15/1800.62 v -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 1800.15/1800.62 v -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 1800.15/1800.62 v -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 1800.15/1800.62 v -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 1800.15/1800.62 v -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 1800.15/1800.62 v -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 1800.15/1800.62 v -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 1800.15/1800.62 1800.15/1800.62 c user time= 1799.54 s 1800.15/1800.62 c system time= 0.635903 s 1800.15/1800.62 c wall clock time=1800.62
OK -41
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/454685-1178029564/instance-454685-1178029564.opb mv /tmp/evaluation/454685-1178029564/instance-454685-1178029564.opb.tmp /tmp/evaluation/454685-1178029564/instance-454685-1178029564.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-454685-1178029564 -o ROOT/results/node4/solver-454685-1178029564 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454685-1178029564/instance-454685-1178029564.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.91 0.97 0.99 3/77 29635 /proc/meminfo: memFree=1796184/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=1468 CPUtime=0 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 278994119 1503232 168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 367 168 131 317 0 46 0 [startup+0.019356 s] /proc/loadavg: 0.91 0.97 0.99 3/77 29635 /proc/meminfo: memFree=1796184/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=1996 CPUtime=0.01 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 295 0 0 0 1 0 0 0 18 0 1 0 278994119 2043904 278 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746922 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 499 278 132 317 0 178 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1996 [startup+0.102363 s] /proc/loadavg: 0.91 0.97 0.99 3/77 29635 /proc/meminfo: memFree=1796184/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=2528 CPUtime=0.1 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 464 0 0 0 10 0 0 0 18 0 1 0 278994119 2588672 447 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712543 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 632 447 137 317 0 311 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2528 [startup+0.302391 s] /proc/loadavg: 0.91 0.97 0.99 3/77 29635 /proc/meminfo: memFree=1796184/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=3480 CPUtime=0.3 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 705 0 0 0 30 0 0 0 20 0 1 0 278994119 3563520 688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 870 688 170 317 0 549 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 3480 [startup+0.70142 s] /proc/loadavg: 0.91 0.97 0.99 3/77 29635 /proc/meminfo: memFree=1796184/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=4788 CPUtime=0.69 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 1033 0 0 0 69 0 0 0 24 0 1 0 278994119 4902912 1016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 1197 1016 170 317 0 876 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4788 [startup+1.5015 s] /proc/loadavg: 0.91 0.97 0.99 2/78 29636 /proc/meminfo: memFree=1791568/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=7808 CPUtime=1.49 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 1789 0 0 0 149 0 0 0 25 0 1 0 278994119 7995392 1772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593338 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 1952 1772 170 317 0 1631 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7808 [startup+3.10165 s] /proc/loadavg: 0.91 0.97 0.99 2/78 29636 /proc/meminfo: memFree=1787920/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=12264 CPUtime=3.1 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 2860 0 0 0 309 1 0 0 25 0 1 0 278994119 12558336 2843 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 3066 2843 170 317 0 2745 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 12264 [startup+6.30196 s] /proc/loadavg: 0.92 0.97 0.99 2/78 29636 /proc/meminfo: memFree=1780880/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=17704 CPUtime=6.29 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 4257 0 0 0 627 2 0 0 25 0 1 0 278994119 18128896 4240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 4426 4240 170 317 0 4105 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17704 [startup+12.7016 s] /proc/loadavg: 0.93 0.97 0.99 2/78 29636 /proc/meminfo: memFree=1772176/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=26560 CPUtime=12.69 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 6289 0 0 0 1266 3 0 0 25 0 1 0 278994119 27197440 6272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 6640 6272 170 317 0 6319 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26560 [startup+25.5028 s] /proc/loadavg: 0.94 0.97 0.99 2/78 29636 /proc/meminfo: memFree=1761808/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=35896 CPUtime=25.48 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 8783 0 0 0 2543 5 0 0 25 0 1 0 278994119 36757504 8726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 8974 8726 170 317 0 8653 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 35896 [startup+51.1012 s] /proc/loadavg: 0.96 0.97 0.99 2/78 29636 /proc/meminfo: memFree=1748304/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=50992 CPUtime=51.08 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 12145 0 0 0 5100 8 0 0 25 0 1 0 278994119 52215808 12088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 12748 12088 170 317 0 12427 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 50992 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.99 2/78 29636 /proc/meminfo: memFree=1733712/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=64708 CPUtime=102.27 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 15749 0 0 0 10216 11 0 0 25 0 1 0 278994119 66260992 15692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 16177 15692 170 317 0 15856 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 64708 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29636 /proc/meminfo: memFree=1715920/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=86380 CPUtime=162.26 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 20363 0 0 0 16211 15 0 0 25 0 1 0 278994119 88453120 20228 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 21595 20228 170 317 0 21274 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 86380 [startup+222.303 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29636 /proc/meminfo: memFree=1704080/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=97572 CPUtime=222.24 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 23205 0 0 0 22207 17 0 0 25 0 1 0 278994119 99913728 23070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 24393 23070 170 317 0 24072 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 97572 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29636 /proc/meminfo: memFree=1693520/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=107964 CPUtime=282.22 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 25857 0 0 0 28203 19 0 0 25 0 1 0 278994119 110555136 25722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 26991 25722 170 317 0 26670 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 107964 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29636 /proc/meminfo: memFree=1683600/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=118036 CPUtime=342.21 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 28315 0 0 0 34199 22 0 0 25 0 1 0 278994119 120868864 28180 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 29509 28180 170 317 0 29188 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 118036 [startup+402.303 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29636 /proc/meminfo: memFree=1675024/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=126156 CPUtime=402.2 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 30477 0 0 0 40196 24 0 0 25 0 1 0 278994119 129183744 30342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 31539 30342 170 317 0 31218 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 126156 [startup+462.303 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29638 /proc/meminfo: memFree=1666064/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=134360 CPUtime=462.17 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 32668 0 0 0 46192 25 0 0 25 0 1 0 278994119 137584640 32533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 33590 32533 170 317 0 33269 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 134360 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29638 /proc/meminfo: memFree=1658128/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=141648 CPUtime=522.16 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 34648 0 0 0 52189 27 0 0 25 0 1 0 278994119 145047552 34513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 35412 34513 170 317 0 35091 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 141648 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29638 /proc/meminfo: memFree=1647312/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=163444 CPUtime=582.15 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 39411 0 0 0 58185 30 0 0 25 0 1 0 278994119 167366656 37197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 40861 37197 170 317 0 40540 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 163444 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29638 /proc/meminfo: memFree=1640272/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=169840 CPUtime=642.14 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 41245 0 0 0 64182 32 0 0 25 0 1 0 278994119 173916160 38932 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 42460 38932 170 317 0 42139 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 169840 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29638 /proc/meminfo: memFree=1615696/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=194244 CPUtime=882.07 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 47895 0 0 0 88169 38 0 0 25 0 1 0 278994119 198905856 45063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 48561 45063 170 317 0 48240 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 194244 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29638 /proc/meminfo: memFree=1609872/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=200056 CPUtime=942.06 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 49497 0 0 0 94166 40 0 0 25 0 1 0 278994119 204857344 46533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 50014 46533 170 317 0 49693 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 200056 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29638 /proc/meminfo: memFree=1604176/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=205428 CPUtime=1002.04 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 50973 0 0 0 100162 42 0 0 25 0 1 0 278994119 210358272 47943 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 51357 47943 170 317 0 51036 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 205428 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29638 /proc/meminfo: memFree=1598480/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=210720 CPUtime=1062.03 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 52439 0 0 0 106159 44 0 0 25 0 1 0 278994119 215777280 49376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 52680 49376 170 317 0 52359 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 210720 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29638 /proc/meminfo: memFree=1592592/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=215928 CPUtime=1122.01 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 53962 0 0 0 112156 45 0 0 25 0 1 0 278994119 221110272 50833 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 53982 50833 170 317 0 53661 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 215928 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29638 /proc/meminfo: memFree=1587280/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=220812 CPUtime=1182 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 55326 0 0 0 118153 47 0 0 25 0 1 0 278994119 226111488 52164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 55203 52164 170 317 0 54882 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 220812 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29638 /proc/meminfo: memFree=1581904/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=226168 CPUtime=1241.98 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 56759 0 0 0 124150 48 0 0 25 0 1 0 278994119 231596032 53498 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 56542 53498 170 317 0 56221 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 226168 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29638 /proc/meminfo: memFree=1576720/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=230844 CPUtime=1301.97 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 58041 0 0 0 130147 50 0 0 25 0 1 0 278994119 236384256 54780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 57711 54780 170 317 0 57390 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 230844 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29638 /proc/meminfo: memFree=1571536/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=235768 CPUtime=1361.95 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 59355 0 0 0 136143 52 0 0 25 0 1 0 278994119 241426432 56094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 58942 56094 170 317 0 58621 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 235768 [startup+1422.31 s] /proc/loadavg: 1.07 0.99 0.99 2/78 29638 /proc/meminfo: memFree=1566352/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=239908 CPUtime=1421.94 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 60624 0 0 0 142141 53 0 0 25 0 1 0 278994119 245665792 57363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 59977 57363 170 317 0 59656 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 239908 [startup+1482.3 s] /proc/loadavg: 1.09 1.00 1.00 2/78 29638 /proc/meminfo: memFree=1561744/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=244308 CPUtime=1481.92 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 61826 0 0 0 148137 55 0 0 25 0 1 0 278994119 250171392 58532 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 61077 58532 170 317 0 60756 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 244308 [startup+1542.3 s] /proc/loadavg: 1.09 1.02 1.00 2/78 29638 /proc/meminfo: memFree=1557264/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=248456 CPUtime=1541.91 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 63007 0 0 0 154134 57 0 0 25 0 1 0 278994119 254418944 59647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 62114 59647 170 317 0 61793 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 248456 [startup+1602.3 s] /proc/loadavg: 1.09 1.03 1.00 2/78 29638 /proc/meminfo: memFree=1552848/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=252588 CPUtime=1601.89 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 64177 0 0 0 160131 58 0 0 25 0 1 0 278994119 258650112 60751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 63147 60751 170 317 0 62826 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 252588 [startup+1662.3 s] /proc/loadavg: 1.03 1.02 1.00 2/78 29638 /proc/meminfo: memFree=1548176/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=256832 CPUtime=1661.88 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 65409 0 0 0 166128 60 0 0 25 0 1 0 278994119 262995968 61917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 64208 61917 170 317 0 63887 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 256832 [startup+1722.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 29638 /proc/meminfo: memFree=1543568/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=261120 CPUtime=1721.86 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 66609 0 0 0 172125 61 0 0 25 0 1 0 278994119 267386880 63084 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 65280 63084 170 317 0 64959 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 261120 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 29638 /proc/meminfo: memFree=1539152/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=265148 CPUtime=1781.85 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 67739 0 0 0 178122 63 0 0 25 0 1 0 278994119 271511552 64181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 66287 64181 170 317 0 65966 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 265148 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.01 1.00 2/78 29638 /proc/meminfo: memFree=1537872/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=266196 CPUtime=1800.05 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 68037 0 0 0 179942 63 0 0 25 0 1 0 278994119 272584704 64479 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 66549 64479 170 317 0 66228 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 266196 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.01 1.00 3/79 29639 /proc/meminfo: memFree=1537864/2055920 swapFree=4141168/4192956 [pid=29635] ppid=29633 vsize=266196 CPUtime=1800.15 /proc/29635/stat : 29635 (oree) R 29633 29635 12435 0 -1 4194304 68039 0 0 0 179952 63 0 0 25 0 1 0 278994119 272584704 64481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29635/statm: 66549 64481 170 317 0 66228 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 266196 Child status: 0 Real time (s): 1800.68 CPU time (s): 1800.23 CPU user time (s): 1799.55 CPU system time (s): 0.677896 CPU usage (%): 99.975 Max. virtual memory (cumulated for all children) (KiB): 266196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.55 system time used= 0.677896 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68055 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= 36565 runsolver used 1.38479 second user time and 4.07738 second system time The end
Begin job on node4 on Tue May 1 14:26:04 UTC 2007 IDJOB= 454685 IDBENCH= 48213 IDSOLVER= 172 FILE ID= node4/454685-1178029564 PBS_JOBID= 4728362 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/mis/normalized-mis_200_10_4.opb COMMAND LINE= oree /tmp/evaluation/454685-1178029564/instance-454685-1178029564.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node4/convwatcher-454685-1178029564 -o ROOT/results/node4/conversion-454685-1178029564 -C 600 -M 1800 /tmp/evaluation/454685-1178029564/substituteSizeProductKeyword /tmp/evaluation/454685-1178029564/instance-454685-1178029564.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-454685-1178029564 -o ROOT/results/node4/solver-454685-1178029564 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454685-1178029564/instance-454685-1178029564.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 69a7dda5c80f9dda65f29fb6eb76eed7 RANDOM SEED= 369019881 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node4.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.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 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: 1796528 kB Buffers: 65572 kB Cached: 104248 kB SwapCached: 15004 kB Active: 129664 kB Inactive: 66752 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1796528 kB SwapTotal: 4192956 kB SwapFree: 4141168 kB Dirty: 1428 kB Writeback: 0 kB Mapped: 32916 kB Slab: 48352 kB Committed_AS: 8500772 kB PageTables: 1828 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 node4 on Tue May 1 14:56:06 UTC 2007