Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 533484544 | 1800.39 | 1800.92 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-egout.opb |
MD5SUM | 8eddbca1ad45a201e8c2c397b62f33c3 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 471047168 |
Best CPU time to get the best result obtained on this benchmark | 482.969 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 471047168 |
Optimality of the best value was proved | YES |
Number of variables | 1705 |
Total number of constraints | 98 |
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 | 98 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 420 |
Number of terms in the objective function | 1615 |
Biggest coefficient in the objective function | 545997717504 |
Number of bits for the biggest coefficient in the objective function | 39 |
Sum of the numbers in the objective function | 15186728411329 |
Number of bits of the sum of numbers in the objective function | 44 |
Biggest number in a constraint | 545997717504 |
Number of bits of the biggest number in a constraint | 39 |
Biggest sum of numbers in a constraint | 15186728411329 |
Number of bits of the biggest sum of numbers | 44 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.02 c ...done 0.00/0.02 c #vars=1705 #constraints=142 hasObjective=yes 0.00/0.05 c res. mode=mod 0.00/0.05 c VSIDS like heuristics 0.00/0.05 c complete search running 0.00/0.05 c nbDecision=185 #constraints=142 0.00/0.05 c linear search for optimum 0.00/0.05 o 533484544 1.98/2.00 c restart after 401 decisions 1.98/2.02 c nbDecision=500 #constraints=369 4.88/4.94 c restart after 801 decisions 5.50/5.58 c nbDecision=1000 #constraints=661 13.68/13.74 c nbDecision=1500 #constraints=1163 15.79/15.85 c restart after 1601 decisions 21.38/21.40 c nbDecision=2000 #constraints=1511 34.18/34.28 c nbDecision=2500 #constraints=2013 48.17/48.21 c nbDecision=3000 #constraints=2508 53.07/53.17 c restart after 3201 decisions 58.37/58.49 c nbDecision=3500 #constraints=2863 77.27/77.39 c nbDecision=4000 #constraints=3360 96.66/96.80 c nbDecision=4500 #constraints=3862 121.55/121.69 c nbDecision=5000 #constraints=4363 149.94/150.00 c nbDecision=5500 #constraints=4857 171.44/171.53 c nbDecision=6000 #constraints=5362 195.13/195.20 c restart after 6401 decisions 196.53/196.65 c nbDecision=6500 #constraints=5764 229.53/229.70 c nbDecision=7000 #constraints=6212 254.41/254.55 c nbDecision=7500 #constraints=6711 292.50/292.63 c nbDecision=8000 #constraints=7214 321.49/321.66 c nbDecision=8500 #constraints=7707 363.89/364.05 c nbDecision=9000 #constraints=8210 413.27/413.40 c nbDecision=9500 #constraints=8712 457.75/457.99 c nbDecision=10000 #constraints=9212 496.74/496.97 c nbDecision=10500 #constraints=9711 554.52/554.74 c nbDecision=11000 #constraints=10213 598.41/598.64 c nbDecision=11500 #constraints=10710 656.29/656.52 c nbDecision=12000 #constraints=11211 725.57/725.88 c nbDecision=12500 #constraints=11705 748.07/748.33 c restart after 12801 decisions 757.06/757.30 c nbDecision=13000 #constraints=12061 822.05/822.37 c nbDecision=13500 #constraints=12563 872.03/872.36 c nbDecision=14000 #constraints=13056 943.11/943.49 c nbDecision=14500 #constraints=13559 1027.28/1027.64 c nbDecision=15000 #constraints=14061 1091.26/1091.64 c nbDecision=15500 #constraints=14559 1157.85/1158.28 c nbDecision=16000 #constraints=15059 1238.53/1238.99 c nbDecision=16500 #constraints=15562 1308.70/1309.14 c nbDecision=17000 #constraints=16053 1394.98/1395.41 c nbDecision=17500 #constraints=16558 1500.25/1500.78 c nbDecision=18000 #constraints=17061 1564.43/1564.94 c nbDecision=18500 #constraints=17558 1655.30/1655.87 c nbDecision=19000 #constraints=18052 1744.48/1745.02 c nbDecision=19500 #constraints=18558 1800.06/1800.60 Received signal 15 1800.25/1800.82 1800.25/1800.82 s SATISFIABLE 1800.25/1800.82 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.25/1800.82 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.25/1800.82 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1800.25/1800.82 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1800.25/1800.82 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.25/1800.82 v -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.25/1800.82 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.25/1800.82 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.25/1800.82 v -x189 -x190 x191 x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.25/1800.82 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.25/1800.82 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.25/1800.82 v -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.25/1800.82 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.25/1800.82 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.25/1800.82 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.25/1800.82 v -x336 -x337 -x338 -x339 -x340 -x341 x342 x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.25/1800.82 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 x373 x374 -x375 -x376 -x377 1800.25/1800.82 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.25/1800.82 v -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.25/1800.82 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 1800.25/1800.82 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.25/1800.82 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.25/1800.82 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.25/1800.82 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 x524 1800.25/1800.82 v x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.25/1800.82 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.25/1800.82 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.25/1800.82 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.25/1800.82 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.25/1800.82 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 x642 -x643 x644 x645 -x646 -x647 -x648 -x649 -x650 1800.25/1800.82 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 1800.25/1800.82 v x672 -x673 x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.25/1800.82 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 -x703 x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.25/1800.82 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 x732 -x733 x734 1800.25/1800.82 v -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.25/1800.82 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.25/1800.82 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 x792 x793 -x794 -x795 -x796 -x797 1800.25/1800.82 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.25/1800.82 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.25/1800.82 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 x852 x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1800.25/1800.82 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 1800.25/1800.82 v x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1800.25/1800.82 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.25/1800.82 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943 -x944 1800.25/1800.82 v x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1800.25/1800.82 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.25/1800.82 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 x1002 -x1003 -x1004 x1005 -x1006 1800.25/1800.82 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.25/1800.82 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 x1032 x1033 x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 1800.25/1800.82 v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 1800.25/1800.82 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 1800.25/1800.82 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 x1092 x1093 1800.25/1800.82 v x1094 -x1095 -x1096 x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 1800.25/1800.82 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 1800.25/1800.82 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 1800.25/1800.82 v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 1800.25/1800.82 v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 1800.25/1800.82 v -x1180 x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 1800.25/1800.82 v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 1800.25/1800.82 v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 1800.25/1800.82 v -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 1800.25/1800.82 v -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 1800.25/1800.82 v -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 1800.25/1800.82 v -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 1800.25/1800.82 v -x1302 x1303 -x1304 x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 1800.25/1800.82 v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 1800.25/1800.82 v -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 1800.25/1800.82 v -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 1800.25/1800.82 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 1800.25/1800.82 v -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 1800.25/1800.82 v -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 1800.25/1800.82 v -x1422 x1423 -x1424 x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 1800.25/1800.82 v -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 x1451 -x1452 -x1453 x1454 x1455 -x1456 x1457 1800.25/1800.82 v -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 1800.25/1800.82 v -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 1800.25/1800.82 v -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 1800.25/1800.82 v -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 1800.25/1800.82 v -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 x1542 x1543 x1544 1800.25/1800.82 v x1545 -x1546 x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 1800.25/1800.82 v -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 1800.25/1800.82 v -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 1800.25/1800.82 v -x1597 -x1598 -x1599 -x1600 x1601 x1602 -x1603 -x1604 -x1605 x1606 x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 1800.25/1800.82 v -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 1800.25/1800.82 v -x1632 -x1633 x1634 -x1635 x1636 x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 1800.25/1800.82 v -x1650 -x1651 x1652 -x1653 -x1654 x1655 -x1656 x1657 x1658 x1659 x1660 -x1661 x1662 x1663 x1664 x1665 -x1666 x1667 x1668 1800.25/1800.82 v -x1669 x1670 -x1671 x1672 x1673 x1674 x1675 -x1676 x1677 -x1678 x1679 x1680 -x1681 x1682 -x1683 x1684 x1685 -x1686 x1687 1800.25/1800.82 v -x1688 -x1689 x1690 -x1691 x1692 x1693 x1694 -x1695 -x1696 -x1697 x1698 x1699 x1700 -x1701 x1702 -x1703 x1704 x1705 1800.25/1800.82 1800.25/1800.82 c user time= 1799.49 s 1800.25/1800.82 c system time= 0.809876 s 1800.25/1800.82 c wall clock time=1800.83
OK 533484544
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-357359-1176995597 -o ROOT/results/node1/solver-357359-1176995597 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357359-1176995597/instance-357359-1176995597.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.00 0.99 0.91 2/77 5202 /proc/meminfo: memFree=1625664/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=1468 CPUtime=0 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 165 0 0 0 0 0 0 0 20 0 1 0 175597517 1503232 147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 367 149 127 317 0 46 0 [startup+0.0582831 s] /proc/loadavg: 1.00 0.99 0.91 2/77 5202 /proc/meminfo: memFree=1625664/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=2136 CPUtime=0.05 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 386 0 0 0 5 0 0 0 20 0 1 0 175597517 2187264 368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278915 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 534 368 170 317 0 213 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2136 [startup+0.101287 s] /proc/loadavg: 1.00 0.99 0.91 2/77 5202 /proc/meminfo: memFree=1625664/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=2364 CPUtime=0.09 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 425 0 0 0 9 0 0 0 20 0 1 0 175597517 2420736 407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 591 407 170 317 0 270 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2364 [startup+0.301311 s] /proc/loadavg: 1.00 0.99 0.91 2/77 5202 /proc/meminfo: memFree=1625664/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=3272 CPUtime=0.29 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 651 0 0 0 29 0 0 0 21 0 1 0 175597517 3350528 633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 818 633 170 317 0 497 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3272 [startup+0.701358 s] /proc/loadavg: 1.00 0.99 0.91 2/77 5202 /proc/meminfo: memFree=1625664/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=4876 CPUtime=0.69 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 1028 0 0 0 69 0 0 0 25 0 1 0 175597517 4993024 1010 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284176 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 1219 1010 170 317 0 898 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4876 [startup+1.50145 s] /proc/loadavg: 1.00 0.99 0.91 2/78 5203 /proc/meminfo: memFree=1621304/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=8016 CPUtime=1.48 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 1751 0 0 0 148 0 0 0 25 0 1 0 175597517 8208384 1733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270591 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 2004 1733 170 317 0 1683 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 8016 [startup+3.10164 s] /proc/loadavg: 1.00 0.99 0.91 2/78 5203 /proc/meminfo: memFree=1617784/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=13060 CPUtime=3.09 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 2927 0 0 0 308 1 0 0 25 0 1 0 175597517 13373440 2909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 3265 2909 170 317 0 2944 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13060 [startup+6.30201 s] /proc/loadavg: 1.00 0.99 0.91 2/78 5203 /proc/meminfo: memFree=1609976/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=21948 CPUtime=6.29 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 4993 0 0 0 627 2 0 0 25 0 1 0 175597517 22474752 4975 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 5487 4975 170 317 0 5166 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21948 [startup+12.7018 s] /proc/loadavg: 1.00 0.99 0.91 2/78 5203 /proc/meminfo: memFree=1597048/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=32856 CPUtime=12.69 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 7469 0 0 0 1266 3 0 0 25 0 1 0 175597517 33644544 7451 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 8214 7451 170 317 0 7893 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32856 [startup+25.5013 s] /proc/loadavg: 1.00 0.99 0.91 2/78 5203 /proc/meminfo: memFree=1578296/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=52336 CPUtime=25.48 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 11997 0 0 0 2542 6 0 0 25 0 1 0 175597517 53592064 11979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 13084 11979 170 317 0 12763 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52336 [startup+51.1013 s] /proc/loadavg: 1.00 0.99 0.91 2/78 5203 /proc/meminfo: memFree=1548984/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=87176 CPUtime=51.07 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 19374 0 0 0 5099 8 0 0 25 0 1 0 175597517 89268224 19356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 21794 19356 170 317 0 21473 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 87176 [startup+102.305 s] /proc/loadavg: 1.05 1.00 0.92 2/78 5203 /proc/meminfo: memFree=1513208/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=123520 CPUtime=102.26 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 28151 0 0 0 10213 13 0 0 25 0 1 0 175597517 126484480 28133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 30880 28133 170 317 0 30559 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 123520 [startup+162.301 s] /proc/loadavg: 1.02 1.00 0.92 2/78 5203 /proc/meminfo: memFree=1473272/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=173468 CPUtime=162.24 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 38168 0 0 0 16206 18 0 0 25 0 1 0 175597517 177631232 38150 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 43367 38150 170 317 0 43046 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 173468 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5203 /proc/meminfo: memFree=1448568/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=198636 CPUtime=222.22 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 44279 0 0 0 22200 22 0 0 25 0 1 0 175597517 203403264 44261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 49659 44261 170 317 0 49338 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 198636 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5203 /proc/meminfo: memFree=1423032/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=225072 CPUtime=282.21 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 50696 0 0 0 28195 26 0 0 25 0 1 0 175597517 230473728 50678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 56268 50678 170 317 0 55947 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 225072 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5203 /proc/meminfo: memFree=1399736/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=249044 CPUtime=342.19 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 56452 0 0 0 34190 29 0 0 25 0 1 0 175597517 255021056 56434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 62261 56434 170 317 0 61940 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 249044 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5203 /proc/meminfo: memFree=1367480/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=299988 CPUtime=402.17 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 64591 0 0 0 40184 33 0 0 25 0 1 0 175597517 307187712 64515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 74997 64515 170 317 0 74676 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 299988 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5203 /proc/meminfo: memFree=1349944/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=319288 CPUtime=462.16 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 68930 0 0 0 46180 36 0 0 25 0 1 0 175597517 326950912 68854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 79822 68854 170 317 0 79501 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 319288 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5203 /proc/meminfo: memFree=1330872/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=338380 CPUtime=522.13 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 73732 0 0 0 52175 38 0 0 25 0 1 0 175597517 346501120 73656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 84595 73656 170 317 0 84274 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 338380 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5203 /proc/meminfo: memFree=1314936/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=354596 CPUtime=582.12 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 77659 0 0 0 58171 41 0 0 25 0 1 0 175597517 363106304 77583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 88649 77583 170 317 0 88328 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 354596 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5203 /proc/meminfo: memFree=1300152/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=369840 CPUtime=642.1 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 81334 0 0 0 64167 43 0 0 25 0 1 0 175597517 378716160 81258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 92460 81258 170 317 0 92139 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 369840 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5203 /proc/meminfo: memFree=1235128/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=436448 CPUtime=942.01 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 97576 0 0 0 94150 51 0 0 25 0 1 0 175597517 446922752 97500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 109112 97500 170 317 0 108791 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 436448 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5203 /proc/meminfo: memFree=1226232/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=446396 CPUtime=1001.99 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 99771 0 0 0 100147 52 0 0 25 0 1 0 175597517 457109504 99695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 111599 99695 170 317 0 111278 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 446396 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5203 /proc/meminfo: memFree=1214264/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=458648 CPUtime=1061.98 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 102799 0 0 0 106143 55 0 0 25 0 1 0 175597517 469655552 102723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 114662 102723 170 317 0 114341 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 458648 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5203 /proc/meminfo: memFree=1203896/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=468840 CPUtime=1121.96 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 105355 0 0 0 112140 56 0 0 25 0 1 0 175597517 480092160 105279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 117210 105279 170 317 0 116889 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 468840 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5205 /proc/meminfo: memFree=1191224/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=482104 CPUtime=1181.95 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 108535 0 0 0 118137 58 0 0 25 0 1 0 175597517 493674496 108459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 120526 108459 170 317 0 120205 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 482104 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5205 /proc/meminfo: memFree=1181624/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=491528 CPUtime=1241.92 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 110902 0 0 0 124132 60 0 0 25 0 1 0 175597517 503324672 110826 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 122882 110826 170 317 0 122561 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 491528 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5205 /proc/meminfo: memFree=1171064/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=502936 CPUtime=1301.91 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 113511 0 0 0 130129 62 0 0 25 0 1 0 175597517 515006464 113435 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 125734 113435 170 317 0 125413 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 502936 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5205 /proc/meminfo: memFree=1161080/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=513052 CPUtime=1361.89 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 116014 0 0 0 136126 63 0 0 25 0 1 0 175597517 525365248 115938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 128263 115938 170 317 0 127942 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 513052 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5205 /proc/meminfo: memFree=1136184/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=587672 CPUtime=1421.87 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 130853 0 0 0 142118 69 0 0 25 0 1 0 175597517 601776128 122116 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 146918 122116 170 317 0 146597 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 587672 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5205 /proc/meminfo: memFree=1129592/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=595376 CPUtime=1481.85 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 132529 0 0 0 148114 71 0 0 25 0 1 0 175597517 609665024 123759 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 148844 123759 170 317 0 148523 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 595376 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5205 /proc/meminfo: memFree=1116728/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=610580 CPUtime=1541.84 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 136194 0 0 0 154110 74 0 0 25 0 1 0 175597517 625233920 126962 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 152645 126962 170 317 0 152324 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 610580 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5205 /proc/meminfo: memFree=1106616/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=620232 CPUtime=1601.81 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 138760 0 0 0 160106 75 0 0 25 0 1 0 175597517 635117568 129528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 155058 129528 170 317 0 154737 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 620232 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5205 /proc/meminfo: memFree=1096760/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=629220 CPUtime=1661.8 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 141182 0 0 0 166103 77 0 0 25 0 1 0 175597517 644321280 131950 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 157305 131950 170 317 0 156984 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 629220 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5205 /proc/meminfo: memFree=1088568/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=638436 CPUtime=1721.78 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 143262 0 0 0 172100 78 0 0 25 0 1 0 175597517 653758464 134030 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266215 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 159609 134030 170 317 0 159288 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 638436 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5205 /proc/meminfo: memFree=1079608/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=646676 CPUtime=1781.76 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 145508 0 0 0 178096 80 0 0 25 0 1 0 175597517 662196224 136243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 161669 136243 170 317 0 161348 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 646676 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5205 /proc/meminfo: memFree=1077432/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=648872 CPUtime=1800.06 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 146031 0 0 0 179926 80 0 0 25 0 1 0 175597517 664444928 136766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 162218 136766 170 317 0 161897 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 648872 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5205 /proc/meminfo: memFree=1077432/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=648872 CPUtime=1800.25 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194304 146035 0 0 0 179945 80 0 0 25 0 1 0 175597517 664444928 136770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 162218 136770 170 317 0 161897 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 648872 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 0.92 2/78 5205 /proc/meminfo: memFree=1077432/2055920 swapFree=4145780/4192956 [pid=5202] ppid=5200 vsize=0 CPUtime=1800.36 /proc/5202/stat : 5202 (oree) R 5200 5202 4573 0 -1 4194308 146051 0 0 0 179949 87 0 0 25 0 1 0 175597517 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5202/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.36 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.92 CPU time (s): 1800.39 CPU user time (s): 1799.49 CPU system time (s): 0.898863 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (KiB): 648888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.49 system time used= 0.898863 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 146051 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= 7 involuntary context switches= 2016 runsolver used 2.12368 second user time and 4.31534 second system time The end
Begin job on node1 on Thu Apr 19 15:13:17 UTC 2007 IDJOB= 357359 IDBENCH= 2468 IDSOLVER= 172 FILE ID= node1/357359-1176995597 PBS_JOBID= 4630451 Free space on /tmp= 66357 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-egout.opb COMMAND LINE= oree /tmp/evaluation/357359-1176995597/instance-357359-1176995597.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-357359-1176995597 -o ROOT/results/node1/solver-357359-1176995597 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357359-1176995597/instance-357359-1176995597.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 8eddbca1ad45a201e8c2c397b62f33c3 RANDOM SEED= 653234972 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.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.234 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.234 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: 1626072 kB Buffers: 35672 kB Cached: 315012 kB SwapCached: 14340 kB Active: 232488 kB Inactive: 140780 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1626072 kB SwapTotal: 4192956 kB SwapFree: 4145780 kB Dirty: 1404 kB Writeback: 0 kB Mapped: 29472 kB Slab: 42052 kB Committed_AS: 5013012 kB PageTables: 1832 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= 66357 MiB End job on node1 on Thu Apr 19 15:43:20 UTC 2007