Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -24 | 1800.2 | 1800.75 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_2.opb |
MD5SUM | 4a1dc018d8373d1119ec5a7a226f506e |
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 | -29 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -29 |
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 | 25 |
Maximum length of a constraint | 44 |
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) | 6220 |
Sum of products size (including duplicates) | 12440 |
Number of different products | 3110 |
Sum of products size | 6220 |
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.04/0.05 c ...done 0.04/0.05 c #vars=3310 #constraints=6621 hasObjective=yes 0.39/0.46 c res. mode=mod 0.39/0.46 c VSIDS like heuristics 0.39/0.46 c complete search running 0.39/0.47 c nbDecision=20 #constraints=6621 0.39/0.47 c linear search for optimum 0.39/0.47 o -20 2.39/2.43 c restart after 401 decisions 2.99/3.01 c nbDecision=500 #constraints=7000 4.79/4.86 c restart after 801 decisions 5.89/5.92 c nbDecision=1000 #constraints=7365 8.69/8.70 c nbDecision=1500 #constraints=7671 9.28/9.35 c restart after 1601 decisions 12.99/13.01 c nbDecision=2000 #constraints=8073 17.89/17.97 c nbDecision=2500 #constraints=8483 24.09/24.17 c nbDecision=3000 #constraints=8897 26.98/27.01 c restart after 3201 decisions 31.89/31.93 c nbDecision=3500 #constraints=9270 34.38/34.42 c nbDecision=3663 #constraints=9372 34.38/34.42 o -21 40.08/40.12 c nbDecision=4000 #constraints=9615 49.28/49.34 c nbDecision=4500 #constraints=9953 49.48/49.55 c nbDecision=4513 #constraints=9961 49.48/49.55 o -22 58.07/58.18 c nbDecision=5000 #constraints=10292 70.17/70.20 c nbDecision=5500 #constraints=10684 83.17/83.27 c nbDecision=6000 #constraints=11091 94.47/94.50 c restart after 6401 decisions 98.26/98.33 c nbDecision=6500 #constraints=11524 111.57/111.64 c nbDecision=6888 #constraints=11866 111.57/111.64 o -23 114.76/114.82 c nbDecision=7000 #constraints=11946 130.26/130.33 c nbDecision=7500 #constraints=12333 148.76/148.83 c nbDecision=8000 #constraints=12767 164.85/164.98 c nbDecision=8500 #constraints=13145 177.05/177.11 c nbDecision=8884 #constraints=13446 177.05/177.11 o -24 180.14/180.29 c nbDecision=9000 #constraints=13529 202.84/202.91 c nbDecision=9500 #constraints=13990 227.23/227.33 c nbDecision=10000 #constraints=14467 250.63/250.75 c nbDecision=10500 #constraints=14917 271.93/272.00 c nbDecision=11000 #constraints=15326 297.31/297.46 c nbDecision=11500 #constraints=15779 324.51/324.70 c nbDecision=12000 #constraints=16240 354.00/354.14 c nbDecision=12500 #constraints=16719 372.90/373.00 c restart after 12801 decisions 388.59/388.75 c nbDecision=13000 #constraints=17192 422.39/422.50 c nbDecision=13500 #constraints=17636 455.88/456.08 c nbDecision=14000 #constraints=18059 493.67/493.87 c nbDecision=14500 #constraints=18497 533.56/533.75 c nbDecision=15000 #constraints=18978 573.85/574.06 c nbDecision=15500 #constraints=19442 613.14/613.30 c nbDecision=16000 #constraints=19890 652.23/652.47 c nbDecision=16500 #constraints=20303 686.22/686.46 c nbDecision=17000 #constraints=20657 724.31/724.60 c nbDecision=17500 #constraints=21041 767.99/768.24 c nbDecision=18000 #constraints=21475 802.19/802.40 c nbDecision=18500 #constraints=21822 842.48/842.75 c nbDecision=19000 #constraints=22219 889.46/889.71 c nbDecision=19500 #constraints=22666 927.85/928.10 c nbDecision=20000 #constraints=23038 980.04/980.37 c nbDecision=20500 #constraints=23506 1033.83/1034.16 c nbDecision=21000 #constraints=23970 1082.22/1082.57 c nbDecision=21500 #constraints=24385 1133.91/1134.24 c nbDecision=22000 #constraints=24792 1194.79/1195.19 c nbDecision=22500 #constraints=25256 1241.48/1241.85 c nbDecision=23000 #constraints=25655 1293.27/1293.63 c nbDecision=23500 #constraints=26093 1347.75/1348.14 c nbDecision=24000 #constraints=26526 1401.44/1401.86 c nbDecision=24500 #constraints=26949 1450.33/1450.78 c nbDecision=25000 #constraints=27333 1499.61/1500.01 c nbDecision=25500 #constraints=27721 1508.11/1508.58 c restart after 25601 decisions 1560.99/1561.43 c nbDecision=26000 #constraints=28162 1626.58/1627.01 c nbDecision=26500 #constraints=28633 1691.26/1691.71 c nbDecision=27000 #constraints=29090 1751.85/1752.32 c nbDecision=27500 #constraints=29525 1800.05/1800.61 Received signal 15 1800.05/1800.70 1800.05/1800.70 s SATISFIABLE 1800.05/1800.70 v -x1 -x2 x3 x4 -x5 -x6 x7 x8 -x9 -x10 x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 1800.05/1800.70 v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 1800.05/1800.70 v -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 1800.05/1800.70 v -x83 -x84 x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 x107 1800.05/1800.70 v x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 1800.05/1800.70 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1800.05/1800.70 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1800.05/1800.70 v -x171 -x172 -x173 x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 1800.05/1800.70 v -x192 -x193 x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 1800.05/1800.70 v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 1800.05/1800.70 v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 1800.05/1800.70 v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 1800.05/1800.70 v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 1800.05/1800.70 v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 1800.05/1800.70 v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 1800.05/1800.70 v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 1800.05/1800.70 v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 1800.05/1800.70 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 1800.05/1800.70 v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 1800.05/1800.70 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 1800.05/1800.70 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 1800.05/1800.70 v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 1800.05/1800.70 v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 1800.05/1800.70 v -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 1800.05/1800.70 v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 1800.05/1800.70 v -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 1800.05/1800.70 v -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 1800.05/1800.70 v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 1800.05/1800.70 v -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 1800.05/1800.70 v -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 1800.05/1800.70 v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 1800.05/1800.70 v -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 1800.05/1800.70 v -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 1800.05/1800.70 v -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 1800.05/1800.70 v -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 1800.05/1800.70 v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 1800.05/1800.70 v -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 1800.05/1800.70 v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 1800.05/1800.70 v -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 1800.05/1800.70 v -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 1800.05/1800.70 v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 1800.05/1800.70 v -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 1800.05/1800.70 v -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 1800.05/1800.70 v -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 1800.05/1800.70 v -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 1800.05/1800.70 v -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 1800.05/1800.70 v -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 1800.05/1800.70 v -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 1800.05/1800.70 v -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 1800.05/1800.70 v -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 1800.05/1800.70 v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 1800.05/1800.70 v -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 1800.05/1800.70 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 1800.05/1800.70 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 1800.05/1800.70 v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 1800.05/1800.70 v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 1800.05/1800.70 v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 1800.05/1800.70 v -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 1800.05/1800.70 v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 1800.05/1800.70 v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 1800.05/1800.70 v -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 1800.05/1800.70 v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 1800.05/1800.70 v -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 1800.05/1800.70 v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 1800.05/1800.70 v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 1800.05/1800.70 v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 1800.05/1800.70 v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 1800.05/1800.70 v -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 1800.05/1800.70 v -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 1800.05/1800.70 v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 1800.05/1800.70 v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 1800.05/1800.70 v -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 1800.05/1800.70 v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 1800.05/1800.70 v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 1800.05/1800.70 v -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 1800.05/1800.70 v -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 1800.05/1800.70 v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 1800.05/1800.70 v -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 1800.05/1800.70 v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 1800.05/1800.70 v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 1800.05/1800.70 v -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 1800.05/1800.70 v -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 1800.05/1800.70 v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 1800.05/1800.70 v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 1800.05/1800.70 v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 1800.05/1800.70 v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 1800.05/1800.70 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 1800.05/1800.70 v -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 1800.05/1800.70 v -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 1800.05/1800.70 v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 1800.05/1800.70 v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 1800.05/1800.70 v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 1800.05/1800.70 v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 1800.05/1800.70 v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 1800.05/1800.70 v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 1800.05/1800.70 v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 1800.05/1800.70 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 1800.05/1800.70 v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 1800.05/1800.70 v -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 1800.05/1800.70 v -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 1800.05/1800.70 v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 1800.05/1800.70 v -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 1800.05/1800.70 v -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 1800.05/1800.70 v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 1800.05/1800.70 v -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 1800.05/1800.70 v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 1800.05/1800.70 v -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 1800.05/1800.70 v -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 1800.05/1800.70 v -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 1800.05/1800.70 v -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 1800.05/1800.70 v -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 1800.05/1800.70 v -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 1800.05/1800.70 v -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 1800.05/1800.70 v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 1800.05/1800.70 v -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 1800.05/1800.70 v -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 1800.05/1800.70 v -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 1800.05/1800.70 v -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 1800.05/1800.70 v -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 1800.05/1800.70 v -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 1800.05/1800.70 v -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 1800.05/1800.70 v -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 1800.05/1800.70 v -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 1800.05/1800.70 v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 1800.05/1800.70 v -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 1800.05/1800.70 v -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 1800.05/1800.70 v -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 1800.05/1800.70 v -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 1800.05/1800.70 v -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 1800.05/1800.70 v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 1800.05/1800.70 v -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 1800.05/1800.70 v -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 1800.05/1800.70 v -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 1800.05/1800.70 v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 1800.05/1800.70 v -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 1800.05/1800.70 v -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 1800.05/1800.70 v -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 1800.05/1800.70 v -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 1800.05/1800.70 v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 1800.05/1800.70 v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 1800.05/1800.70 v -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 1800.05/1800.70 v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 1800.05/1800.70 v -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 1800.05/1800.70 v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 1800.05/1800.70 v -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 1800.05/1800.70 v -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 1800.05/1800.70 v -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 1800.05/1800.70 v -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 1800.05/1800.70 v -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 1800.05/1800.70 v -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 1800.05/1800.70 v -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 1800.05/1800.70 v -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 1800.05/1800.70 v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 1800.05/1800.70 v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 1800.05/1800.70 v -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 1800.05/1800.70 v -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 1800.05/1800.70 v -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 1800.05/1800.70 v -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 1800.05/1800.70 v -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 1800.05/1800.70 v -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 1800.05/1800.70 v -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 1800.05/1800.70 v -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 1800.05/1800.70 v -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 1800.05/1800.70 v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 1800.05/1800.70 v -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 1800.05/1800.70 v -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 1800.05/1800.70 v -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 1800.05/1800.70 v -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 1800.05/1800.70 v -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 1800.05/1800.70 v -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 1800.05/1800.70 v -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 1800.05/1800.70 v -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 1800.05/1800.70 v -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 1800.05/1800.70 v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 1800.05/1800.70 v -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 1800.05/1800.70 v -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 1800.05/1800.70 v -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 1800.05/1800.70 v -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 1800.05/1800.70 v -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 1800.05/1800.70 v -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 1800.05/1800.70 v -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 1800.05/1800.70 v -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 1800.05/1800.70 v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 1800.05/1800.70 1800.05/1800.70 c user time= 1799.55 s 1800.05/1800.70 c system time= 0.603908 s 1800.05/1800.70 c wall clock time=1800.71
OK -24
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/454445-1178026302/instance-454445-1178026302.opb mv /tmp/evaluation/454445-1178026302/instance-454445-1178026302.opb.tmp /tmp/evaluation/454445-1178026302/instance-454445-1178026302.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node45/watcher-454445-1178026302 -o ROOT/results/node45/solver-454445-1178026302 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454445-1178026302/instance-454445-1178026302.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.15 1.13 1.11 3/77 21217 /proc/meminfo: memFree=1754432/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=1468 CPUtime=0 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 157475914 1503232 170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 367 171 131 317 0 46 0 [startup+0.0441701 s] /proc/loadavg: 1.15 1.13 1.11 3/77 21217 /proc/meminfo: memFree=1754432/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=2656 CPUtime=0.04 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 482 0 0 0 4 0 0 0 18 0 1 0 157475914 2719744 465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 664 465 132 317 0 343 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2656 [startup+0.101175 s] /proc/loadavg: 1.15 1.13 1.11 3/77 21217 /proc/meminfo: memFree=1754432/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=4028 CPUtime=0.09 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 837 0 0 0 9 0 0 0 18 0 1 0 157475914 4124672 820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 1007 820 137 317 0 686 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4028 [startup+0.301196 s] /proc/loadavg: 1.15 1.13 1.11 3/77 21217 /proc/meminfo: memFree=1754432/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=4028 CPUtime=0.29 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 837 0 0 0 29 0 0 0 19 0 1 0 157475914 4124672 820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 1007 820 137 317 0 686 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4028 [startup+0.701236 s] /proc/loadavg: 1.15 1.13 1.11 3/77 21217 /proc/meminfo: memFree=1754432/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=4864 CPUtime=0.69 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 1073 0 0 0 69 0 0 0 22 0 1 0 157475914 4980736 1010 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 1216 1010 170 317 0 895 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4864 [startup+1.50132 s] /proc/loadavg: 1.15 1.13 1.11 2/78 21218 /proc/meminfo: memFree=1750584/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=6024 CPUtime=1.49 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 1369 0 0 0 149 0 0 0 25 0 1 0 157475914 6168576 1306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 1506 1306 170 317 0 1185 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6024 [startup+3.10148 s] /proc/loadavg: 1.14 1.13 1.10 2/78 21218 /proc/meminfo: memFree=1748664/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=8232 CPUtime=3.09 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 1917 0 0 0 309 0 0 0 25 0 1 0 157475914 8429568 1854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 2058 1854 170 317 0 1737 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8232 [startup+6.30181 s] /proc/loadavg: 1.14 1.13 1.10 2/78 21218 /proc/meminfo: memFree=1744512/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=12176 CPUtime=6.29 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 2890 0 0 0 628 1 0 0 25 0 1 0 157475914 12468224 2827 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 3044 2827 170 317 0 2723 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12176 [startup+12.7015 s] /proc/loadavg: 1.12 1.13 1.10 2/78 21218 /proc/meminfo: memFree=1737968/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=18388 CPUtime=12.69 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 4445 0 0 0 1267 2 0 0 25 0 1 0 157475914 18829312 4382 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 4597 4382 170 317 0 4276 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18388 [startup+25.5018 s] /proc/loadavg: 1.10 1.12 1.10 2/78 21218 /proc/meminfo: memFree=1728432/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=28420 CPUtime=25.49 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 6734 0 0 0 2545 4 0 0 25 0 1 0 157475914 29102080 6671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 7105 6671 170 317 0 6784 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 28420 [startup+51.1014 s] /proc/loadavg: 1.07 1.11 1.10 2/78 21218 /proc/meminfo: memFree=1719344/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=37156 CPUtime=51.08 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 9053 0 0 0 5102 6 0 0 25 0 1 0 157475914 38047744 8990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 9289 8990 170 317 0 8968 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 37156 [startup+102.306 s] /proc/loadavg: 1.02 1.09 1.09 2/78 21218 /proc/meminfo: memFree=1703536/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=54684 CPUtime=102.27 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 12959 0 0 0 10217 10 0 0 25 0 1 0 157475914 55996416 12896 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272900 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 13671 12896 170 317 0 13350 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 54684 [startup+162.302 s] /proc/loadavg: 1.01 1.07 1.08 2/78 21218 /proc/meminfo: memFree=1690544/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=67332 CPUtime=162.25 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 16259 0 0 0 16212 13 0 0 25 0 1 0 157475914 68947968 16106 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 16833 16106 170 317 0 16512 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 67332 [startup+222.302 s] /proc/loadavg: 1.00 1.06 1.08 2/78 21218 /proc/meminfo: memFree=1679344/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=77424 CPUtime=222.24 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 19054 0 0 0 22208 16 0 0 25 0 1 0 157475914 79282176 18901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 19356 18901 170 317 0 19035 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 77424 [startup+282.302 s] /proc/loadavg: 1.00 1.04 1.07 2/78 21218 /proc/meminfo: memFree=1666288/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=95008 CPUtime=282.22 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 22319 0 0 0 28204 18 0 0 25 0 1 0 157475914 97288192 22166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 23752 22166 170 317 0 23431 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 95008 [startup+342.302 s] /proc/loadavg: 1.00 1.03 1.06 2/78 21218 /proc/meminfo: memFree=1657264/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=104608 CPUtime=342.21 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 24561 0 0 0 34200 21 0 0 25 0 1 0 157475914 107118592 24408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 26152 24408 170 317 0 25831 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 104608 [startup+402.301 s] /proc/loadavg: 1.00 1.03 1.06 2/78 21218 /proc/meminfo: memFree=1649904/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=111820 CPUtime=402.19 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 26403 0 0 0 40196 23 0 0 25 0 1 0 157475914 114503680 26250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 27955 26250 170 317 0 27634 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 111820 [startup+462.301 s] /proc/loadavg: 1.00 1.02 1.05 2/78 21218 /proc/meminfo: memFree=1643248/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=118056 CPUtime=462.17 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 28045 0 0 0 46192 25 0 0 25 0 1 0 157475914 120889344 27892 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 29514 27892 170 317 0 29193 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 118056 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.05 2/78 21218 /proc/meminfo: memFree=1637232/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=123936 CPUtime=522.16 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 29564 0 0 0 52189 27 0 0 25 0 1 0 157475914 126910464 29411 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 30984 29411 170 317 0 30663 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 123936 [startup+582.301 s] /proc/loadavg: 1.00 1.01 1.04 2/78 21218 /proc/meminfo: memFree=1630832/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=130120 CPUtime=582.14 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 31141 0 0 0 58186 28 0 0 25 0 1 0 157475914 133242880 30988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 32530 30988 170 317 0 32209 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 130120 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.04 2/78 21218 /proc/meminfo: memFree=1625136/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=135412 CPUtime=642.13 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 32564 0 0 0 64183 30 0 0 25 0 1 0 157475914 138661888 32411 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 33853 32411 170 317 0 33532 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 135412 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.01 2/78 21218 /proc/meminfo: memFree=1604016/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=154624 CPUtime=882.06 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 37840 0 0 0 88169 37 0 0 25 0 1 0 157475914 158334976 37687 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 38656 37687 170 317 0 38335 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 154624 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.01 2/78 21218 /proc/meminfo: memFree=1596912/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=171288 CPUtime=942.05 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 41364 0 0 0 94166 39 0 0 25 0 1 0 157475914 175398912 39462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271308 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 42822 39462 170 317 0 42501 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 171288 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21218 /proc/meminfo: memFree=1592176/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=175852 CPUtime=1002.04 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 42646 0 0 0 100164 40 0 0 25 0 1 0 157475914 180072448 40645 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 43963 40645 170 317 0 43642 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 175852 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21218 /proc/meminfo: memFree=1587696/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=181164 CPUtime=1062.02 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 44072 0 0 0 106160 42 0 0 25 0 1 0 157475914 185511936 41774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 45291 41774 170 317 0 44970 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 181164 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21218 /proc/meminfo: memFree=1583152/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=186240 CPUtime=1122.01 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 45378 0 0 0 112157 44 0 0 25 0 1 0 157475914 190709760 42882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 46560 42882 170 317 0 46239 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 186240 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21218 /proc/meminfo: memFree=1578992/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=190632 CPUtime=1181.99 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 46620 0 0 0 118154 45 0 0 25 0 1 0 157475914 195207168 43926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 47658 43926 170 317 0 47337 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 190632 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21218 /proc/meminfo: memFree=1574448/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=195280 CPUtime=1241.97 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 47908 0 0 0 124151 46 0 0 25 0 1 0 157475914 199966720 45049 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 48820 45049 170 317 0 48499 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 195280 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21218 /proc/meminfo: memFree=1569776/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=200796 CPUtime=1301.97 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 49439 0 0 0 130149 48 0 0 25 0 1 0 157475914 205615104 46204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 50199 46204 170 317 0 49878 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 200796 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21218 /proc/meminfo: memFree=1565552/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=205472 CPUtime=1361.94 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 50684 0 0 0 136145 49 0 0 25 0 1 0 157475914 210403328 47284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 51368 47284 170 317 0 51047 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 205472 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21218 /proc/meminfo: memFree=1561136/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=209744 CPUtime=1421.93 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 51916 0 0 0 142142 51 0 0 25 0 1 0 157475914 214777856 48351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 52436 48351 170 317 0 52115 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 209744 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21218 /proc/meminfo: memFree=1557232/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=214416 CPUtime=1481.91 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 53190 0 0 0 148139 52 0 0 25 0 1 0 157475914 219561984 49361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 53604 49361 170 317 0 53283 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 214416 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21218 /proc/meminfo: memFree=1553328/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=218164 CPUtime=1541.9 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 54250 0 0 0 154136 54 0 0 25 0 1 0 157475914 223399936 50322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 54541 50322 170 317 0 54220 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 218164 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21218 /proc/meminfo: memFree=1549360/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=221712 CPUtime=1601.88 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 55309 0 0 0 160133 55 0 0 25 0 1 0 157475914 227033088 51315 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 55428 51315 170 317 0 55107 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 221712 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21218 /proc/meminfo: memFree=1545392/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=225232 CPUtime=1661.87 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 56323 0 0 0 166130 57 0 0 25 0 1 0 157475914 230637568 52329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 56308 52329 170 317 0 55987 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 225232 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21218 /proc/meminfo: memFree=1541680/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=229376 CPUtime=1721.86 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 57355 0 0 0 172128 58 0 0 25 0 1 0 157475914 234881024 53262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 57344 53262 170 317 0 57023 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 229376 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 21356 /proc/meminfo: memFree=1536376/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=232644 CPUtime=1781.77 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 58326 0 0 0 178117 60 0 0 25 0 1 0 157475914 238227456 54200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 58161 54200 170 317 0 57840 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 232644 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/84 21390 /proc/meminfo: memFree=1535288/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=233684 CPUtime=1800.05 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 58601 0 0 0 179945 60 0 0 25 0 1 0 157475914 239292416 54475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 58421 54475 170 317 0 58100 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 233684 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/84 21390 /proc/meminfo: memFree=1535288/2055920 swapFree=4157780/4192956 [pid=21217] ppid=21215 vsize=233684 CPUtime=1800.15 /proc/21217/stat : 21217 (oree) R 21215 21217 12545 0 -1 4194304 58621 0 0 0 179955 60 0 0 25 0 1 0 157475914 239292416 54495 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284166 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21217/statm: 58421 54495 186 317 0 58100 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 233684 Child status: 0 Real time (s): 1800.75 CPU time (s): 1800.2 CPU user time (s): 1799.56 CPU system time (s): 0.639902 CPU usage (%): 99.9694 Max. virtual memory (cumulated for all children) (KiB): 233684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.56 system time used= 0.639902 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58621 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= 2449 runsolver used 1.51377 second user time and 4.14537 second system time The end
Begin job on node45 on Tue May 1 13:31:43 UTC 2007 IDJOB= 454445 IDBENCH= 48197 IDSOLVER= 172 FILE ID= node45/454445-1178026302 PBS_JOBID= 4728329 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_25_2.opb COMMAND LINE= oree /tmp/evaluation/454445-1178026302/instance-454445-1178026302.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node45/convwatcher-454445-1178026302 -o ROOT/results/node45/conversion-454445-1178026302 -C 600 -M 1800 /tmp/evaluation/454445-1178026302/substituteSizeProductKeyword /tmp/evaluation/454445-1178026302/instance-454445-1178026302.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-454445-1178026302 -o ROOT/results/node45/solver-454445-1178026302 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454445-1178026302/instance-454445-1178026302.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 4a1dc018d8373d1119ec5a7a226f506e RANDOM SEED= 500175059 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node45.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 : 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.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: 1754776 kB Buffers: 81124 kB Cached: 129576 kB SwapCached: 14176 kB Active: 111508 kB Inactive: 127676 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1754776 kB SwapTotal: 4192956 kB SwapFree: 4157780 kB Dirty: 1500 kB Writeback: 0 kB Mapped: 34068 kB Slab: 47388 kB Committed_AS: 2263304 kB PageTables: 1752 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 node45 on Tue May 1 14:01:46 UTC 2007