Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 3143680 | 1800.69 | 1801.14 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb |
MD5SUM | 3aa00837dd74901ce1879f04fea91920 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1751040 |
Best CPU time to get the best result obtained on this benchmark | 1800.38 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1751040 |
Optimality of the best value was proved | NO |
Number of variables | 3100 |
Total number of constraints | 120 |
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 | 120 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 300 |
Number of terms in the objective function | 3100 |
Biggest coefficient in the objective function | 4831838208 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 550843571711 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 4831838208 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 550843571711 |
Number of bits of the biggest sum of numbers | 40 |
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.04 c ...done 0.00/0.04 c #vars=3100 #constraints=141 hasObjective=yes 0.05/0.08 c res. mode=mod 0.05/0.08 c VSIDS like heuristics 0.05/0.08 c complete search running 0.05/0.09 c restart after 401 decisions 0.05/0.09 c nbDecision=500 #constraints=141 0.09/0.10 c restart after 801 decisions 0.09/0.11 c nbDecision=1000 #constraints=141 0.19/0.23 c nbDecision=1500 #constraints=152 0.19/0.23 c restart after 1601 decisions 0.19/0.24 c nbDecision=2000 #constraints=152 0.19/0.25 c nbDecision=2470 #constraints=152 0.19/0.25 c linear search for optimum 0.19/0.25 o 3143680 0.39/0.46 c nbDecision=2500 #constraints=178 5.29/5.30 c nbDecision=3000 #constraints=681 8.19/8.27 c restart after 3201 decisions 8.29/8.36 c nbDecision=3500 #constraints=890 8.59/8.65 c nbDecision=4000 #constraints=903 17.08/17.11 c nbDecision=4500 #constraints=1404 28.39/28.44 c nbDecision=5000 #constraints=1906 41.78/41.86 c nbDecision=5500 #constraints=2399 59.97/60.04 c nbDecision=6000 #constraints=2900 77.98/78.06 c restart after 6401 decisions 78.77/78.82 c nbDecision=6500 #constraints=3309 79.08/79.16 c nbDecision=7000 #constraints=3309 92.17/92.25 c nbDecision=7500 #constraints=3623 117.16/117.28 c nbDecision=8000 #constraints=4124 146.35/146.44 c nbDecision=8500 #constraints=4627 178.15/178.23 c nbDecision=9000 #constraints=5126 222.34/222.41 c nbDecision=9500 #constraints=5631 281.43/281.56 c nbDecision=10000 #constraints=6130 345.80/345.90 c nbDecision=10500 #constraints=6632 418.89/419.08 c nbDecision=11000 #constraints=7133 501.37/501.56 c nbDecision=11500 #constraints=7637 584.34/584.57 c nbDecision=12000 #constraints=8134 679.63/679.87 c nbDecision=12500 #constraints=8638 745.81/746.09 c restart after 12801 decisions 748.31/748.50 c nbDecision=13000 #constraints=8933 749.71/749.95 c nbDecision=13500 #constraints=8933 824.79/825.07 c nbDecision=14000 #constraints=9358 917.86/918.11 c nbDecision=14500 #constraints=9853 1027.24/1027.56 c nbDecision=15000 #constraints=10361 1148.80/1149.19 c nbDecision=15500 #constraints=10863 1265.48/1265.88 c nbDecision=16000 #constraints=11356 1365.75/1366.15 c nbDecision=16500 #constraints=11860 1488.23/1488.61 c nbDecision=17000 #constraints=12363 1630.38/1630.87 c nbDecision=17500 #constraints=12861 1782.44/1783.00 c nbDecision=18000 #constraints=13364 1800.05/1800.50 Received signal 15 1800.55/1801.02 1800.55/1801.02 s SATISFIABLE 1800.55/1801.02 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.55/1801.02 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.55/1801.02 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.55/1801.02 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.55/1801.02 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.55/1801.02 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.55/1801.02 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.55/1801.02 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.55/1801.02 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.55/1801.02 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.55/1801.02 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.55/1801.02 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.55/1801.02 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.55/1801.02 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.55/1801.02 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.55/1801.02 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.55/1801.02 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.55/1801.02 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.55/1801.02 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.55/1801.02 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.55/1801.02 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.55/1801.02 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.55/1801.02 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.55/1801.02 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.55/1801.02 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.55/1801.02 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.55/1801.02 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.55/1801.02 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.55/1801.02 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.55/1801.02 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.55/1801.02 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 1800.55/1801.02 v x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.55/1801.02 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.55/1801.02 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.55/1801.02 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.55/1801.02 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.55/1801.02 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.55/1801.02 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.55/1801.02 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.55/1801.02 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1800.55/1801.02 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1800.55/1801.02 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1800.55/1801.02 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.55/1801.02 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1800.55/1801.02 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1800.55/1801.02 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.55/1801.02 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1800.55/1801.02 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.55/1801.02 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1800.55/1801.02 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1800.55/1801.02 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1800.55/1801.02 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1800.55/1801.02 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 1800.55/1801.02 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.55/1801.02 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1800.55/1801.02 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1800.55/1801.02 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1800.55/1801.02 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1800.55/1801.02 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 1800.55/1801.02 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 1800.55/1801.02 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1800.55/1801.02 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 1800.55/1801.02 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 1800.55/1801.02 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 1800.55/1801.02 v -x1296 -x1297 -x1298 -x1299 -x1300 x1301 x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 1800.55/1801.02 v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1800.55/1801.02 v x1331 -x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 1800.55/1801.02 v -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 1800.55/1801.02 v -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 1800.55/1801.02 v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 1800.55/1801.02 v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 1800.55/1801.02 v -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 1800.55/1801.02 v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 1800.55/1801.02 v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 1800.55/1801.02 v -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 1800.55/1801.02 v -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 1800.55/1801.02 v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 x1514 -x1515 -x1516 -x1517 -x1518 1800.55/1801.02 v -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 1800.55/1801.02 v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 1800.55/1801.02 v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 1800.55/1801.02 v -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 1800.55/1801.02 v -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x1601 x1602 -x1603 -x1604 1800.55/1801.02 v -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 1800.55/1801.02 v -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 1800.55/1801.02 v -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 1800.55/1801.02 v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 1800.55/1801.02 v -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 1800.55/1801.02 v -x1690 x1691 x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 1800.55/1801.02 v -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 1800.55/1801.02 v -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 1800.55/1801.02 v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 1800.55/1801.02 v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 1800.55/1801.02 v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 1800.55/1801.02 v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 1800.55/1801.02 v -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 1800.55/1801.02 v -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843 1800.55/1801.02 v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 1800.55/1801.02 v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 1800.55/1801.02 v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 1800.55/1801.02 v -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 1800.55/1801.02 v -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 1800.55/1801.02 v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 1800.55/1801.02 v -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 1800.55/1801.02 v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 1800.55/1801.02 v -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 1800.55/1801.02 v -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 1800.55/1801.02 v -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 1800.55/1801.02 v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 1800.55/1801.02 v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 1800.55/1801.02 v -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 1800.55/1801.02 v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 1800.55/1801.02 v -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 x2115 1800.55/1801.02 v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 1800.55/1801.02 v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 1800.55/1801.02 v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 1800.55/1801.02 v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 1800.55/1801.02 v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 1800.55/1801.02 v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 1800.55/1801.02 v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 1800.55/1801.02 v -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 1800.55/1801.02 v -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 1800.55/1801.02 v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 1800.55/1801.02 v -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 1800.55/1801.02 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 1800.55/1801.02 v -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 1800.55/1801.02 v -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 1800.55/1801.02 v -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 1800.55/1801.02 v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 1800.55/1801.02 v -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 1800.55/1801.02 v -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 1800.55/1801.02 v -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 1800.55/1801.02 v -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 1800.55/1801.02 v -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 1800.55/1801.02 v x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 1800.55/1801.02 v -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 x2501 -x2502 -x2503 -x2504 -x2505 -x2506 1800.55/1801.02 v -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 1800.55/1801.02 v -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 1800.55/1801.02 v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 1800.55/1801.02 v -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 1800.55/1801.02 v -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 1800.55/1801.02 v -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 1800.55/1801.02 v -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 1800.55/1801.02 v -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 1800.55/1801.02 v -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 1800.55/1801.02 v -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 1800.55/1801.02 v -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 1800.55/1801.02 v -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 1800.55/1801.02 v -x2711 -x2712 x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 1800.55/1801.02 v -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 x2744 1800.55/1801.02 v -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 1800.55/1801.02 v -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 1800.55/1801.02 v -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 1800.55/1801.02 v -x2796 -x2797 -x2798 -x2799 -x2800 x2801 x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 1800.55/1801.02 v -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 1800.55/1801.02 v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 1800.55/1801.02 v -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 1800.55/1801.02 v -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 1800.55/1801.02 v -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 1800.55/1801.02 v -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 1800.55/1801.02 v -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 1800.55/1801.02 v -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 1800.55/1801.02 v -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 1800.55/1801.02 v -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 1800.55/1801.02 v -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 1800.55/1801.02 v -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 x3012 -x3013 -x3014 -x3015 -x3016 -x3017 1800.55/1801.02 v -x3018 -x3019 -x3020 -x3021 -x3022 x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 x3033 x3034 -x3035 1800.55/1801.02 v -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 x3044 x3045 -x3046 -x3047 -x3048 -x3049 -x3050 x3051 -x3052 -x3053 1800.55/1801.02 v x3054 -x3055 -x3056 x3057 -x3058 -x3059 -x3060 x3061 x3062 x3063 -x3064 -x3065 -x3066 -x3067 x3068 -x3069 -x3070 x3071 1800.55/1801.02 v -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 x3083 x3084 x3085 -x3086 -x3087 -x3088 -x3089 1800.55/1801.02 v -x3090 x3091 x3092 -x3093 x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 1800.55/1801.02 1800.55/1801.02 c user time= 1799.75 s 1800.55/1801.02 c system time= 0.833873 s 1800.55/1801.02 c wall clock time=1801.03
OK 3143680
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-357230-1176991827 -o ROOT/results/node4/solver-357230-1176991827 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357230-1176991827/instance-357230-1176991827.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/77 9924 /proc/meminfo: memFree=1713944/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=1468 CPUtime=0 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 175220443 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 367 162 127 317 0 46 0 [startup+0.057998 s] /proc/loadavg: 0.92 0.98 0.99 3/77 9924 /proc/meminfo: memFree=1713944/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=2560 CPUtime=0.05 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 445 0 0 0 5 0 0 0 18 0 1 0 175220443 2621440 427 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 640 427 137 317 0 319 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2560 [startup+0.103002 s] /proc/loadavg: 0.92 0.98 0.99 3/77 9924 /proc/meminfo: memFree=1713944/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=2692 CPUtime=0.09 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 473 0 0 0 9 0 0 0 18 0 1 0 175220443 2756608 455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 673 455 138 317 0 352 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2692 [startup+0.30302 s] /proc/loadavg: 0.92 0.98 0.99 3/77 9924 /proc/meminfo: memFree=1713944/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=3320 CPUtime=0.29 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 670 0 0 0 29 0 0 0 19 0 1 0 175220443 3399680 652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278952 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 830 652 170 317 0 509 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3320 [startup+0.702057 s] /proc/loadavg: 0.92 0.98 0.99 3/77 9924 /proc/meminfo: memFree=1713944/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=6024 CPUtime=0.69 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 1271 0 0 0 69 0 0 0 23 0 1 0 175220443 6168576 1253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718023 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 1506 1253 170 317 0 1185 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6024 [startup+1.50113 s] /proc/loadavg: 0.92 0.98 0.99 2/78 9925 /proc/meminfo: memFree=1707792/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=11692 CPUtime=1.49 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 2520 0 0 0 148 1 0 0 25 0 1 0 175220443 11972608 2502 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 2923 2502 170 317 0 2602 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11692 [startup+3.10129 s] /proc/loadavg: 0.92 0.98 0.99 2/78 9925 /proc/meminfo: memFree=1701456/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=20944 CPUtime=3.09 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 4565 0 0 0 307 2 0 0 25 0 1 0 175220443 21446656 4547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533253 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 5236 4547 170 317 0 4915 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20944 [startup+6.30159 s] /proc/loadavg: 0.93 0.98 0.99 2/78 9925 /proc/meminfo: memFree=1684688/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=37340 CPUtime=6.29 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 8150 0 0 0 626 3 0 0 25 0 1 0 175220443 38236160 8132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134546645 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 9335 8132 170 317 0 9014 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37340 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/78 9925 /proc/meminfo: memFree=1664144/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=60128 CPUtime=12.68 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 13117 0 0 0 1263 5 0 0 25 0 1 0 175220443 61571072 13099 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 15032 13099 170 317 0 14711 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 60128 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/78 9925 /proc/meminfo: memFree=1628304/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=98624 CPUtime=25.48 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 21600 0 0 0 2539 9 0 0 25 0 1 0 175220443 100990976 21582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 24656 21582 170 317 0 24335 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 98624 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/78 9925 /proc/meminfo: memFree=1583056/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=152336 CPUtime=51.08 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 32920 0 0 0 5095 13 0 0 25 0 1 0 175220443 155992064 32902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 38084 32902 170 317 0 37763 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 152336 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 9925 /proc/meminfo: memFree=1519632/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=221420 CPUtime=102.27 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 48568 0 0 0 10206 21 0 0 25 0 1 0 175220443 226734080 48550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 55355 48550 170 317 0 55034 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 221420 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9925 /proc/meminfo: memFree=1456976/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=299652 CPUtime=162.25 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 64295 0 0 0 16196 29 0 0 25 0 1 0 175220443 306843648 64277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 74913 64277 170 317 0 74592 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 299652 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9925 /proc/meminfo: memFree=1414992/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=348928 CPUtime=222.24 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 74679 0 0 0 22191 33 0 0 25 0 1 0 175220443 357302272 74661 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 87232 74661 170 317 0 86911 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 348928 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 3/78 9925 /proc/meminfo: memFree=1395408/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=367684 CPUtime=282.23 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 79554 0 0 0 28187 36 0 0 25 0 1 0 175220443 376508416 79536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 91921 79536 170 317 0 91600 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 367684 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9925 /proc/meminfo: memFree=1377168/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=385164 CPUtime=342.21 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 84099 0 0 0 34183 38 0 0 25 0 1 0 175220443 394407936 84081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 96291 84081 170 317 0 95970 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 385164 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9925 /proc/meminfo: memFree=1361360/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=401424 CPUtime=402.19 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 88057 0 0 0 40178 41 0 0 25 0 1 0 175220443 411058176 88039 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 100356 88039 170 317 0 100035 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 401424 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9925 /proc/meminfo: memFree=1340816/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=425436 CPUtime=462.17 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 93184 0 0 0 46174 43 0 0 25 0 1 0 175220443 435646464 93166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 106359 93166 170 317 0 106038 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 425436 [startup+522.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9925 /proc/meminfo: memFree=1327056/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=440896 CPUtime=522.16 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 96660 0 0 0 52171 45 0 0 25 0 1 0 175220443 451477504 96642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 110224 96642 170 317 0 109903 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 440896 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9925 /proc/meminfo: memFree=1311504/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=456476 CPUtime=582.14 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 100528 0 0 0 58167 47 0 0 25 0 1 0 175220443 467431424 100510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 114119 100510 170 317 0 113798 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 456476 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9925 /proc/meminfo: memFree=1293712/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=478788 CPUtime=642.13 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 104974 0 0 0 64164 49 0 0 25 0 1 0 175220443 490278912 104898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 119697 104898 170 317 0 119376 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 478788 ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9925 /proc/meminfo: memFree=1202256/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=592224 CPUtime=1002.04 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 127772 0 0 0 100144 60 0 0 25 0 1 0 175220443 606437376 127696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 148056 127696 170 317 0 147735 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 592224 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9925 /proc/meminfo: memFree=1188560/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=607648 CPUtime=1062.03 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 131205 0 0 0 106140 63 0 0 25 0 1 0 175220443 622231552 131129 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 151912 131129 170 317 0 151591 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 607648 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9925 /proc/meminfo: memFree=1177680/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=619524 CPUtime=1122.01 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 133917 0 0 0 112137 64 0 0 25 0 1 0 175220443 634392576 133841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 154881 133841 170 317 0 154560 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 619524 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9925 /proc/meminfo: memFree=1166736/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=631380 CPUtime=1182 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 136647 0 0 0 118134 66 0 0 25 0 1 0 175220443 646533120 136571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 157845 136571 170 317 0 157524 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 631380 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9925 /proc/meminfo: memFree=1148688/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=658912 CPUtime=1241.98 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 141135 0 0 0 124130 68 0 0 25 0 1 0 175220443 674725888 141059 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 164728 141059 170 317 0 164407 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 658912 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9927 /proc/meminfo: memFree=1134224/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=673764 CPUtime=1301.97 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 144704 0 0 0 130127 70 0 0 25 0 1 0 175220443 689934336 144628 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 168441 144628 170 317 0 168120 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 673764 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9927 /proc/meminfo: memFree=1122576/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=685804 CPUtime=1361.95 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 147663 0 0 0 136124 71 0 0 25 0 1 0 175220443 702263296 147587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 171451 147587 170 317 0 171130 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 685804 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9927 /proc/meminfo: memFree=1111440/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=697392 CPUtime=1421.94 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 150397 0 0 0 142121 73 0 0 25 0 1 0 175220443 714129408 150321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284215 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 174348 150321 170 317 0 174027 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 697392 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9927 /proc/meminfo: memFree=1101392/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=708128 CPUtime=1481.92 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 152956 0 0 0 148118 74 0 0 25 0 1 0 175220443 725123072 152880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 177032 152880 170 317 0 176711 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 708128 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9927 /proc/meminfo: memFree=1091024/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=718824 CPUtime=1541.91 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 155539 0 0 0 154114 77 0 0 25 0 1 0 175220443 736075776 155463 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 179706 155463 170 317 0 179385 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 718824 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9927 /proc/meminfo: memFree=1082256/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=728684 CPUtime=1601.89 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 157727 0 0 0 160111 78 0 0 25 0 1 0 175220443 746172416 157651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 182171 157651 170 317 0 181850 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 728684 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9927 /proc/meminfo: memFree=1072784/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=738816 CPUtime=1661.88 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 160076 0 0 0 166109 79 0 0 25 0 1 0 175220443 756547584 160000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 184704 160000 170 317 0 184383 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 738816 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9927 /proc/meminfo: memFree=1064016/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=748800 CPUtime=1721.87 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 162286 0 0 0 172106 81 0 0 25 0 1 0 175220443 766771200 162210 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 187200 162210 170 317 0 186879 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 748800 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9927 /proc/meminfo: memFree=1050768/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=765796 CPUtime=1781.85 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 165562 0 0 0 178103 82 0 0 25 0 1 0 175220443 784175104 165486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 191449 165486 170 317 0 191128 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 765796 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 3/78 9927 /proc/meminfo: memFree=1048144/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=768772 CPUtime=1800.05 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 166208 0 0 0 179922 83 0 0 25 0 1 0 175220443 787222528 166132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713910 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 192193 166132 170 317 0 191872 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 768772 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 0.98 0.99 2/79 9928 /proc/meminfo: memFree=1048136/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=768772 CPUtime=1800.15 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 166208 0 0 0 179932 83 0 0 25 0 1 0 175220443 787222528 166132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 192193 166132 170 317 0 191872 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 768772 [startup+1801 s] /proc/loadavg: 0.99 0.98 0.99 2/79 9928 /proc/meminfo: memFree=1048136/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=768772 CPUtime=1800.55 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 166220 0 0 0 179972 83 0 0 25 0 1 0 175220443 787222528 166144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 192193 166144 170 317 0 191872 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (KiB) 768772 [startup+1801.1 s] /proc/loadavg: 0.99 0.98 0.99 2/79 9928 /proc/meminfo: memFree=1048136/2055920 swapFree=4153812/4192956 [pid=9924] ppid=9922 vsize=0 CPUtime=1800.64 /proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194308 166237 0 0 0 179974 90 0 0 25 0 1 0 175220443 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9924/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.14 CPU time (s): 1800.69 CPU user time (s): 1799.75 CPU system time (s): 0.942856 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 768772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.75 system time used= 0.942856 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 166237 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= 5183 runsolver used 2.14467 second user time and 4.21036 second system time The end
Begin job on node4 on Thu Apr 19 14:10:27 UTC 2007 IDJOB= 357230 IDBENCH= 2291 IDSOLVER= 172 FILE ID= node4/357230-1176991827 PBS_JOBID= 4630445 Free space on /tmp= 66473 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb COMMAND LINE= oree /tmp/evaluation/357230-1176991827/instance-357230-1176991827.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-357230-1176991827 -o ROOT/results/node4/solver-357230-1176991827 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357230-1176991827/instance-357230-1176991827.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 3aa00837dd74901ce1879f04fea91920 RANDOM SEED= 790535676 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node4.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1714416 kB Buffers: 36844 kB Cached: 223060 kB SwapCached: 2236 kB Active: 69696 kB Inactive: 212908 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1714416 kB SwapTotal: 4192956 kB SwapFree: 4153812 kB Dirty: 1544 kB Writeback: 0 kB Mapped: 30276 kB Slab: 44452 kB Committed_AS: 5290072 kB PageTables: 1816 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= 66473 MiB End job on node4 on Thu Apr 19 14:40:30 UTC 2007