Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -24 | 1800.23 | 1800.73 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_3.opb |
MD5SUM | 1b4456ec5e57b53956abc30521c99789 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -30 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 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 | 45 |
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) | 6216 |
Sum of products size (including duplicates) | 12432 |
Number of different products | 3108 |
Sum of products size | 6216 |
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.03/0.05 c ...done 0.03/0.05 c #vars=3308 #constraints=6617 hasObjective=yes 0.39/0.45 c res. mode=mod 0.39/0.45 c VSIDS like heuristics 0.39/0.45 c complete search running 0.39/0.45 c nbDecision=21 #constraints=6617 0.39/0.45 c linear search for optimum 0.39/0.45 o -21 1.89/1.96 c restart after 401 decisions 2.39/2.40 c nbDecision=500 #constraints=7061 3.79/3.82 c restart after 801 decisions 4.79/4.84 c nbDecision=1000 #constraints=7493 8.09/8.13 c nbDecision=1500 #constraints=7952 8.79/8.86 c restart after 1601 decisions 12.18/12.21 c nbDecision=2000 #constraints=8401 17.28/17.38 c nbDecision=2500 #constraints=8863 23.98/24.06 c nbDecision=3000 #constraints=9314 27.39/27.48 c restart after 3201 decisions 32.58/32.61 c nbDecision=3500 #constraints=9762 40.88/40.92 c nbDecision=4000 #constraints=10188 51.78/51.88 c nbDecision=4500 #constraints=10672 62.77/62.87 c nbDecision=5000 #constraints=11117 74.07/74.19 c nbDecision=5500 #constraints=11542 86.57/86.62 c nbDecision=6000 #constraints=11960 99.06/99.15 c restart after 6401 decisions 103.27/103.37 c nbDecision=6500 #constraints=12418 117.96/118.07 c nbDecision=7000 #constraints=12834 133.45/133.57 c nbDecision=7500 #constraints=13240 148.36/148.47 c nbDecision=7997 #constraints=13607 148.36/148.47 o -22 148.46/148.59 c nbDecision=8000 #constraints=13610 164.85/164.96 c nbDecision=8500 #constraints=13959 167.34/167.47 c nbDecision=8582 #constraints=14015 167.34/167.47 o -23 167.84/167.98 c nbDecision=8602 #constraints=14026 167.84/167.98 o -24 180.74/180.89 c nbDecision=9000 #constraints=14312 194.93/195.04 c nbDecision=9500 #constraints=14610 217.13/217.25 c nbDecision=10000 #constraints=15044 241.13/241.29 c nbDecision=10500 #constraints=15501 267.02/267.10 c nbDecision=11000 #constraints=15998 292.30/292.44 c nbDecision=11500 #constraints=16474 318.60/318.76 c nbDecision=12000 #constraints=16915 341.09/341.25 c nbDecision=12500 #constraints=17309 355.39/355.59 c restart after 12801 decisions 371.29/371.47 c nbDecision=13000 #constraints=17737 409.77/409.94 c nbDecision=13500 #constraints=18235 447.06/447.20 c nbDecision=14000 #constraints=18722 482.46/482.60 c nbDecision=14500 #constraints=19169 517.95/518.15 c nbDecision=15000 #constraints=19614 558.34/558.53 c nbDecision=15500 #constraints=20107 601.82/602.06 c nbDecision=16000 #constraints=20606 643.01/643.28 c nbDecision=16500 #constraints=21101 694.10/694.36 c nbDecision=17000 #constraints=21601 747.18/747.47 c nbDecision=17500 #constraints=22097 796.97/797.27 c nbDecision=18000 #constraints=22570 846.06/846.31 c nbDecision=18500 #constraints=23051 894.84/895.16 c nbDecision=19000 #constraints=23530 944.63/944.97 c nbDecision=19500 #constraints=24018 991.92/992.28 c nbDecision=20000 #constraints=24475 1038.30/1038.62 c nbDecision=20500 #constraints=24922 1091.48/1091.85 c nbDecision=21000 #constraints=25410 1152.27/1152.60 c nbDecision=21500 #constraints=25896 1210.75/1211.19 c nbDecision=22000 #constraints=26378 1270.34/1270.70 c nbDecision=22500 #constraints=26867 1332.02/1332.47 c nbDecision=23000 #constraints=27346 1389.81/1390.29 c nbDecision=23500 #constraints=27775 1454.19/1454.64 c nbDecision=24000 #constraints=28250 1513.47/1513.99 c nbDecision=24500 #constraints=28683 1580.45/1580.97 c nbDecision=25000 #constraints=29171 1648.24/1648.74 c nbDecision=25500 #constraints=29662 1660.83/1661.37 c restart after 25601 decisions 1704.42/1704.97 c nbDecision=26000 #constraints=30025 1746.11/1746.68 c nbDecision=26500 #constraints=30292 1796.59/1797.16 c nbDecision=27000 #constraints=30626 1800.10/1800.60 Received signal 15 1800.10/1800.67 1800.10/1800.67 s SATISFIABLE 1800.10/1800.67 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.10/1800.67 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.10/1800.67 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.10/1800.67 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 1800.10/1800.67 v -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 x122 -x123 -x124 x125 -x126 -x127 1800.10/1800.67 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1800.10/1800.67 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 1800.10/1800.67 v x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 1800.10/1800.67 v x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1800.10/1800.67 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 1800.10/1800.67 v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 1800.10/1800.67 v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1800.10/1800.67 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1800.10/1800.67 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 1800.10/1800.67 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1800.10/1800.67 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1800.10/1800.67 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 1800.10/1800.67 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1800.10/1800.67 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1800.10/1800.67 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1800.10/1800.67 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 1800.10/1800.67 v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 1800.10/1800.67 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 1800.10/1800.67 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 1800.10/1800.67 v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 1800.10/1800.67 v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 1800.10/1800.67 v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 1800.10/1800.67 v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 1800.10/1800.67 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 1800.10/1800.67 v -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 1800.10/1800.67 v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 1800.10/1800.67 v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 1800.10/1800.67 v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 1800.10/1800.67 v -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 1800.10/1800.67 v -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 1800.10/1800.67 v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 1800.10/1800.67 v -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 1800.10/1800.67 v -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 1800.10/1800.67 v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 1800.10/1800.67 v -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 1800.10/1800.67 v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 1800.10/1800.67 v -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 1800.10/1800.67 v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 1800.10/1800.67 v -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 1800.10/1800.67 v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 1800.10/1800.67 v -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 1800.10/1800.67 v -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 1800.10/1800.67 v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 1800.10/1800.67 v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 1800.10/1800.67 v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 1800.10/1800.67 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 1800.10/1800.67 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 1800.10/1800.67 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1800.10/1800.67 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1800.10/1800.67 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 1800.10/1800.67 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 1800.10/1800.67 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 1800.10/1800.67 v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 1800.10/1800.67 v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 1800.10/1800.67 v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 1800.10/1800.67 v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 1800.10/1800.67 v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 1800.10/1800.67 v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 1800.10/1800.67 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 1800.10/1800.67 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 1800.10/1800.67 v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1800.10/1800.67 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1800.10/1800.67 v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 1800.10/1800.67 v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 1800.10/1800.67 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1800.10/1800.67 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 1800.10/1800.67 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1800.10/1800.67 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1800.10/1800.67 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1800.10/1800.67 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 1800.10/1800.67 v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 1800.10/1800.67 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 1800.10/1800.67 v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 1800.10/1800.67 v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 1800.10/1800.67 v -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 1800.10/1800.67 v -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 1800.10/1800.67 v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 1800.10/1800.67 v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 1800.10/1800.67 v -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 1800.10/1800.67 v -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 1800.10/1800.67 v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 1800.10/1800.67 v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 1800.10/1800.67 v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 1800.10/1800.67 v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 1800.10/1800.67 v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 1800.10/1800.67 v -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 1800.10/1800.67 v -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 1800.10/1800.67 v -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 1800.10/1800.67 v -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 1800.10/1800.67 v -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 1800.10/1800.67 v -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 1800.10/1800.67 v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 1800.10/1800.67 v -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 1800.10/1800.67 v -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 1800.10/1800.67 v -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 1800.10/1800.67 v -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 1800.10/1800.67 v -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 1800.10/1800.67 v -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 1800.10/1800.67 v -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 1800.10/1800.67 v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 1800.10/1800.67 v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 1800.10/1800.67 v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 1800.10/1800.67 v -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 1800.10/1800.67 v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 1800.10/1800.67 v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 1800.10/1800.67 v -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 1800.10/1800.67 v -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 1800.10/1800.67 v -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 1800.10/1800.67 v -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 1800.10/1800.67 v -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 1800.10/1800.67 v -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 1800.10/1800.67 v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 1800.10/1800.67 v -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 1800.10/1800.67 v -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 1800.10/1800.67 v -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 1800.10/1800.67 v -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 1800.10/1800.67 v -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 1800.10/1800.67 v -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 1800.10/1800.67 v -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 1800.10/1800.67 v -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 1800.10/1800.67 v -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 1800.10/1800.67 v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 1800.10/1800.67 v -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 1800.10/1800.67 v -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 1800.10/1800.67 v -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 1800.10/1800.67 v -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 1800.10/1800.67 v -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 1800.10/1800.67 v -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 1800.10/1800.67 v -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 1800.10/1800.67 v -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 1800.10/1800.67 v -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 1800.10/1800.67 v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 1800.10/1800.67 v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 1800.10/1800.67 v -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 1800.10/1800.67 v -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 1800.10/1800.67 v -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 1800.10/1800.67 v -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 1800.10/1800.67 v -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 1800.10/1800.67 v -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 1800.10/1800.67 v -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 1800.10/1800.67 v -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 1800.10/1800.67 v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 1800.10/1800.67 v -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 1800.10/1800.67 v -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 1800.10/1800.67 v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 1800.10/1800.67 v -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 1800.10/1800.67 v -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 1800.10/1800.67 v -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 1800.10/1800.67 v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 1800.10/1800.67 v -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 1800.10/1800.67 v -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 1800.10/1800.67 v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 1800.10/1800.67 v -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 1800.10/1800.67 v -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 1800.10/1800.67 v -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 1800.10/1800.67 v -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 1800.10/1800.67 v -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 1800.10/1800.67 v -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 1800.10/1800.67 v -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 1800.10/1800.67 v -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 1800.10/1800.67 v -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 1800.10/1800.67 v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 1800.10/1800.67 v -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 1800.10/1800.67 v -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 1800.10/1800.67 v -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 1800.10/1800.67 v -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 1800.10/1800.67 v -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 1800.10/1800.67 v -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 1800.10/1800.67 v -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 1800.10/1800.67 v -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 1800.10/1800.67 v -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 1800.10/1800.67 v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 1800.10/1800.67 v -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 1800.10/1800.67 v -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 1800.10/1800.67 v -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 1800.10/1800.67 v -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 1800.10/1800.67 v -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 1800.10/1800.67 v -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 1800.10/1800.68 1800.10/1800.68 c user time= 1799.73 s 1800.10/1800.68 c system time= 0.447931 s 1800.10/1800.68 c wall clock time=1800.68
OK -24
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/454670-1178029238/instance-454670-1178029238.opb mv /tmp/evaluation/454670-1178029238/instance-454670-1178029238.opb.tmp /tmp/evaluation/454670-1178029238/instance-454670-1178029238.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-454670-1178029238 -o ROOT/results/node70/solver-454670-1178029238 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454670-1178029238/instance-454670-1178029238.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11361 /proc/meminfo: memFree=1881528/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=1468 CPUtime=0 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 242461131 1503232 168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 367 168 131 317 0 46 0 [startup+0.041049 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11361 /proc/meminfo: memFree=1881528/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=2524 CPUtime=0.03 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 450 0 0 0 3 0 0 0 18 0 1 0 242461131 2584576 433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 631 434 132 317 0 310 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2524 [startup+0.101054 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11361 /proc/meminfo: memFree=1881528/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=4028 CPUtime=0.09 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 836 0 0 0 9 0 0 0 18 0 1 0 242461131 4124672 819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 1007 819 137 317 0 686 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4028 [startup+0.301073 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11361 /proc/meminfo: memFree=1881528/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=4028 CPUtime=0.29 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 836 0 0 0 29 0 0 0 19 0 1 0 242461131 4124672 819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 1007 819 137 317 0 686 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4028 [startup+0.701114 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11361 /proc/meminfo: memFree=1881528/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=5124 CPUtime=0.69 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 1134 0 0 0 69 0 0 0 22 0 1 0 242461131 5246976 1071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 1281 1071 170 317 0 960 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5124 [startup+1.50219 s] /proc/loadavg: 0.92 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1877104/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=7076 CPUtime=1.49 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 1636 0 0 0 149 0 0 0 25 0 1 0 242461131 7245824 1573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 1769 1573 170 317 0 1448 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7076 [startup+3.10135 s] /proc/loadavg: 0.92 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1874608/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=10364 CPUtime=3.09 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 2450 0 0 0 308 1 0 0 25 0 1 0 242461131 10612736 2387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 2591 2387 170 317 0 2270 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10364 [startup+6.30167 s] /proc/loadavg: 0.93 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1869232/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=15812 CPUtime=6.29 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 3710 0 0 0 627 2 0 0 25 0 1 0 242461131 16191488 3647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 3953 3648 170 317 0 3632 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15812 [startup+12.7013 s] /proc/loadavg: 0.93 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1861616/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=21728 CPUtime=12.68 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 5298 0 0 0 1265 3 0 0 25 0 1 0 242461131 22249472 5235 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712475 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 5432 5235 170 317 0 5111 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21728 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1851696/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=31968 CPUtime=25.49 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 7655 0 0 0 2543 6 0 0 25 0 1 0 242461131 32735232 7592 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 7992 7592 170 317 0 7671 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 31968 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1840944/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=42060 CPUtime=51.08 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 10343 0 0 0 5100 8 0 0 25 0 1 0 242461131 43069440 10280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 10515 10280 170 317 0 10194 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 42060 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1822832/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=61132 CPUtime=102.27 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 14823 0 0 0 10215 12 0 0 25 0 1 0 242461131 62599168 14760 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 15283 14760 170 317 0 14962 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 61132 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1809776/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=73984 CPUtime=162.24 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 18200 0 0 0 16210 14 0 0 25 0 1 0 242461131 75759616 18047 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 18496 18047 170 317 0 18175 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 73984 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1795312/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=92632 CPUtime=222.22 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 21779 0 0 0 22206 16 0 0 25 0 1 0 242461131 94855168 21626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 23158 21626 170 317 0 22837 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 92632 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1785584/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=102336 CPUtime=282.21 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 24222 0 0 0 28203 18 0 0 25 0 1 0 242461131 104792064 24069 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 25584 24069 170 317 0 25263 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 102336 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1776496/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=111496 CPUtime=342.19 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 26473 0 0 0 34199 20 0 0 25 0 1 0 242461131 114171904 26320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 27874 26320 170 317 0 27553 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 111496 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1769328/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=118160 CPUtime=402.17 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 28261 0 0 0 40196 21 0 0 25 0 1 0 242461131 120995840 28108 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 29540 28108 170 317 0 29219 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 118160 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1762480/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=124156 CPUtime=462.16 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 29964 0 0 0 46193 23 0 0 25 0 1 0 242461131 127135744 29811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 31039 29811 170 317 0 30718 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 124156 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1756080/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=130612 CPUtime=522.15 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 31571 0 0 0 52190 25 0 0 25 0 1 0 242461131 133746688 31418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 32653 31418 170 317 0 32332 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 130612 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1749872/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=136476 CPUtime=582.13 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 33099 0 0 0 58187 26 0 0 25 0 1 0 242461131 139751424 32946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710952 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 34119 32946 170 317 0 33798 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 136476 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1743536/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=142092 CPUtime=642.11 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 34666 0 0 0 64184 27 0 0 25 0 1 0 242461131 145502208 34513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 35523 34513 170 317 0 35202 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 142092 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1721136/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=175452 CPUtime=882.04 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 42264 0 0 0 88172 32 0 0 25 0 1 0 242461131 179662848 40065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 43863 40065 170 317 0 43542 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 175452 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1716080/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=180512 CPUtime=942.03 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 43708 0 0 0 94170 33 0 0 25 0 1 0 242461131 184844288 41410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 45128 41410 170 317 0 44807 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 180512 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1710512/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=185968 CPUtime=1002.01 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 45210 0 0 0 100167 34 0 0 25 0 1 0 242461131 190431232 42747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 46492 42747 170 317 0 46171 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 185968 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1705392/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=191256 CPUtime=1062 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 46649 0 0 0 106165 35 0 0 25 0 1 0 242461131 195846144 44021 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 47814 44021 170 317 0 47493 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 191256 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1700848/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=195696 CPUtime=1121.98 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 47908 0 0 0 112162 36 0 0 25 0 1 0 242461131 200392704 45148 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 48924 45148 170 317 0 48603 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 195696 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1696432/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=200964 CPUtime=1181.96 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 49273 0 0 0 118159 37 0 0 25 0 1 0 242461131 205787136 46270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 50241 46270 170 317 0 49920 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 200964 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1691824/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=205524 CPUtime=1241.95 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 50503 0 0 0 124157 38 0 0 25 0 1 0 242461131 210456576 47401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 51381 47401 170 317 0 51060 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 205524 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1687600/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=209560 CPUtime=1301.93 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 51618 0 0 0 130155 38 0 0 25 0 1 0 242461131 214589440 48450 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 52390 48450 170 317 0 52069 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 209560 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1683888/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=213084 CPUtime=1361.91 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 52589 0 0 0 136152 39 0 0 25 0 1 0 242461131 218198016 49388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 53271 49388 170 317 0 52950 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 213084 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1679664/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=217500 CPUtime=1421.9 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 53763 0 0 0 142149 41 0 0 25 0 1 0 242461131 222720000 50430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 54375 50430 170 317 0 54054 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 217500 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1675824/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=220756 CPUtime=1481.88 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 54733 0 0 0 148147 41 0 0 25 0 1 0 242461131 226054144 51400 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 55189 51400 170 317 0 54868 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 220756 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1671728/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=224160 CPUtime=1541.87 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 55734 0 0 0 154144 43 0 0 25 0 1 0 242461131 229539840 52401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 56040 52401 170 317 0 55719 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 224160 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1667824/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=227812 CPUtime=1601.85 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 56749 0 0 0 160142 43 0 0 25 0 1 0 242461131 233279488 53383 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 56953 53383 170 317 0 56632 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 227812 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1663856/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=232112 CPUtime=1661.83 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 57943 0 0 0 166139 44 0 0 25 0 1 0 242461131 237682688 54379 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134607705 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 58028 54379 170 317 0 57707 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 232112 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1660592/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=235344 CPUtime=1721.82 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 58838 0 0 0 172138 44 0 0 25 0 1 0 242461131 240992256 55241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 58836 55241 170 317 0 58515 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 235344 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1657008/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=238864 CPUtime=1781.79 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 59743 0 0 0 178135 44 0 0 25 0 1 0 242461131 244596736 56080 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 59716 56080 170 317 0 59395 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 238864 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1655792/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=239900 CPUtime=1800.1 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194304 60066 0 0 0 179966 44 0 0 25 0 1 0 242461131 245657600 56370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 59975 56370 170 317 0 59654 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 239900 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: 0.99 0.98 0.99 2/65 11362 /proc/meminfo: memFree=1655792/2055920 swapFree=4183764/4192956 [pid=11361] ppid=11359 vsize=0 CPUtime=1800.2 /proc/11361/stat : 11361 (oree) R 11359 11361 4891 0 -1 4194308 60094 0 0 0 179974 46 0 0 25 0 1 0 242461131 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11361/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.23 CPU user time (s): 1799.74 CPU system time (s): 0.484926 CPU usage (%): 99.9722 Max. virtual memory (cumulated for all children) (KiB): 239900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.74 system time used= 0.484926 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 60094 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= 3168 runsolver used 1.36279 second user time and 3.56646 second system time The end
Begin job on node70 on Tue May 1 14:20:38 UTC 2007 IDJOB= 454670 IDBENCH= 48212 IDSOLVER= 172 FILE ID= node70/454670-1178029238 PBS_JOBID= 4728334 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_3.opb COMMAND LINE= oree /tmp/evaluation/454670-1178029238/instance-454670-1178029238.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node70/convwatcher-454670-1178029238 -o ROOT/results/node70/conversion-454670-1178029238 -C 600 -M 1800 /tmp/evaluation/454670-1178029238/substituteSizeProductKeyword /tmp/evaluation/454670-1178029238/instance-454670-1178029238.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-454670-1178029238 -o ROOT/results/node70/solver-454670-1178029238 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454670-1178029238/instance-454670-1178029238.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 1b4456ec5e57b53956abc30521c99789 RANDOM SEED= 924398906 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node70.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: 1881872 kB Buffers: 27656 kB Cached: 65748 kB SwapCached: 3020 kB Active: 75756 kB Inactive: 34352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1881872 kB SwapTotal: 4192956 kB SwapFree: 4183764 kB Dirty: 1376 kB Writeback: 0 kB Mapped: 21704 kB Slab: 49952 kB Committed_AS: 5121712 kB PageTables: 1416 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 node70 on Tue May 1 14:50:41 UTC 2007