Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -43 | 1800.5 | 1801.33 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb |
MD5SUM | 2295cbab79cf702b6a93f1d0b8bae876 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -58 |
Best CPU time to get the best result obtained on this benchmark | 1800.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -58 |
Optimality of the best value was proved | NO |
Number of variables | 1534 |
Total number of constraints | 125982 |
Number of constraints which are clauses | 125982 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1534 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1534 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1534 |
Number of bits of the biggest sum of numbers | 11 |
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.79/0.88 c ...done 0.79/0.88 c #vars=1534 #constraints=125983 hasObjective=yes 1.49/1.53 c res. mode=mod 1.49/1.53 c VSIDS like heuristics 1.49/1.53 c complete search running 1.59/1.61 c nbDecision=41 #constraints=125983 1.59/1.61 c linear search for optimum 1.59/1.61 o -41 1.79/1.87 c nbDecision=68 #constraints=125999 1.79/1.87 o -42 2.39/2.40 c nbDecision=112 #constraints=126035 2.39/2.40 o -43 6.89/6.99 c restart after 401 decisions 8.19/8.28 c nbDecision=500 #constraints=126352 13.19/13.28 c restart after 801 decisions 17.08/17.13 c nbDecision=1000 #constraints=126746 27.78/27.88 c nbDecision=1500 #constraints=127216 29.78/29.85 c restart after 1601 decisions 38.97/39.08 c nbDecision=2000 #constraints=127635 51.35/51.43 c nbDecision=2500 #constraints=128098 64.22/64.35 c nbDecision=3000 #constraints=128498 69.99/70.11 c restart after 3201 decisions 82.47/82.67 c nbDecision=3500 #constraints=128903 102.64/102.80 c nbDecision=4000 #constraints=129383 121.63/121.87 c nbDecision=4500 #constraints=129832 142.52/142.77 c nbDecision=5000 #constraints=130272 169.32/169.51 c nbDecision=5500 #constraints=130688 198.31/198.56 c nbDecision=6000 #constraints=131112 220.39/220.67 c restart after 6401 decisions 234.29/234.60 c nbDecision=6500 #constraints=131498 261.78/262.01 c nbDecision=7000 #constraints=131830 290.87/291.12 c nbDecision=7500 #constraints=132172 321.86/322.19 c nbDecision=8000 #constraints=132531 351.75/352.09 c nbDecision=8500 #constraints=132858 380.93/381.25 c nbDecision=9000 #constraints=133196 413.02/413.40 c nbDecision=9500 #constraints=133577 446.51/446.81 c nbDecision=10000 #constraints=133933 477.99/478.40 c nbDecision=10500 #constraints=134264 510.78/511.16 c nbDecision=11000 #constraints=134598 548.48/548.90 c nbDecision=11500 #constraints=134946 594.45/594.80 c nbDecision=12000 #constraints=135278 639.53/639.92 c nbDecision=12500 #constraints=135652 662.93/663.33 c restart after 12801 decisions 699.60/700.03 c nbDecision=13000 #constraints=136013 756.49/756.90 c nbDecision=13500 #constraints=136455 813.67/814.15 c nbDecision=14000 #constraints=136860 866.25/866.75 c nbDecision=14500 #constraints=137288 909.43/909.90 c nbDecision=15000 #constraints=137607 956.11/956.61 c nbDecision=15500 #constraints=137983 1003.88/1004.45 c nbDecision=16000 #constraints=138348 1055.27/1055.88 c nbDecision=16500 #constraints=138728 1104.15/1104.77 c nbDecision=17000 #constraints=139076 1166.13/1166.74 c nbDecision=17500 #constraints=139511 1228.41/1229.09 c nbDecision=18000 #constraints=139960 1292.08/1292.78 c nbDecision=18500 #constraints=140433 1363.85/1364.53 c nbDecision=19000 #constraints=140824 1432.83/1433.58 c nbDecision=19500 #constraints=141196 1511.59/1512.34 c nbDecision=20000 #constraints=141629 1590.56/1591.36 c nbDecision=20500 #constraints=142036 1669.33/1670.19 c nbDecision=21000 #constraints=142446 1746.00/1746.88 c nbDecision=21500 #constraints=142857 1800.09/1800.90 Received signal 15 1800.18/1801.07 1800.18/1801.07 s SATISFIABLE 1800.18/1801.07 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.18/1801.07 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.18/1801.07 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.18/1801.07 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.18/1801.07 v -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.18/1801.07 v -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.18/1801.07 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.18/1801.07 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 1800.18/1801.07 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 1800.18/1801.07 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.18/1801.07 v -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.18/1801.07 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.18/1801.07 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 1800.18/1801.07 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.18/1801.07 v -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.18/1801.07 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.18/1801.07 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.18/1801.07 v -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.18/1801.07 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 1800.18/1801.07 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.18/1801.07 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.18/1801.07 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.18/1801.07 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.18/1801.07 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.18/1801.07 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.18/1801.07 v -x546 -x547 -x548 -x549 -x550 -x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.18/1801.07 v -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.18/1801.07 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.18/1801.07 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 -x626 -x627 -x628 -x629 1800.18/1801.07 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.18/1801.07 v -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.18/1801.07 v -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.18/1801.07 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.18/1801.07 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.18/1801.07 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.18/1801.07 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.18/1801.07 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.18/1801.07 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.18/1801.07 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.18/1801.07 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x860 1800.18/1801.07 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1800.18/1801.07 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1800.18/1801.07 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.18/1801.07 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1800.18/1801.07 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1800.18/1801.07 v -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.18/1801.07 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1800.18/1801.07 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1800.18/1801.07 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 1800.18/1801.07 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 1800.18/1801.07 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 x1071 -x1072 -x1073 1800.18/1801.07 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1800.18/1801.07 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 1800.18/1801.07 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1800.18/1801.07 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1800.18/1801.07 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1800.18/1801.07 v -x1159 -x1160 -x1161 -x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1800.18/1801.07 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1800.18/1801.07 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1800.18/1801.07 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 1800.18/1801.07 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1800.18/1801.07 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1800.18/1801.07 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1800.18/1801.07 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1800.18/1801.07 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 1800.18/1801.07 v -x1312 -x1313 -x1314 -x1315 -x1316 x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 1800.18/1801.07 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 1800.18/1801.07 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 1800.18/1801.07 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1800.18/1801.07 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1800.18/1801.07 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 1800.18/1801.07 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1800.18/1801.07 v -x1431 x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1800.18/1801.07 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 1800.18/1801.07 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 1800.18/1801.07 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 1800.18/1801.07 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 1800.18/1801.07 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1800.18/1801.07 v -x1533 -x1534 1800.18/1801.07 1800.18/1801.07 c user time= 1798.74 s 1800.18/1801.07 c system time= 1.52377 s 1800.18/1801.07 c wall clock time=1801.07
OK -43
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-357210-1176991217 -o ROOT/results/node13/solver-357210-1176991217 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357210-1176991217/instance-357210-1176991217.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 10777 /proc/meminfo: memFree=1674936/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=1468 CPUtime=0 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 147039532 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134599952 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 367 164 130 317 0 46 0 [startup+0.00897296 s] /proc/loadavg: 0.92 0.98 0.99 3/77 10777 /proc/meminfo: memFree=1674936/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=1600 CPUtime=0 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 203 0 0 0 0 0 0 0 18 0 1 0 147039532 1638400 185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 400 186 130 317 0 79 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1600 [startup+0.101993 s] /proc/loadavg: 0.92 0.98 0.99 3/77 10777 /proc/meminfo: memFree=1674936/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=3644 CPUtime=0.09 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 718 0 0 0 9 0 0 0 18 0 1 0 147039532 3731456 700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 911 700 130 317 0 590 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3644 [startup+0.302035 s] /proc/loadavg: 0.92 0.98 0.99 3/77 10777 /proc/meminfo: memFree=1674936/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=8128 CPUtime=0.29 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 1837 0 0 0 29 0 0 0 19 0 1 0 147039532 8323072 1786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 2032 1786 130 317 0 1711 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8128 [startup+0.701121 s] /proc/loadavg: 0.92 0.98 0.99 3/77 10777 /proc/meminfo: memFree=1674936/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=16832 CPUtime=0.69 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 4077 0 0 0 68 1 0 0 22 0 1 0 147039532 17235968 3961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 4208 3962 130 317 0 3887 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16832 [startup+1.50129 s] /proc/loadavg: 0.92 0.98 0.99 2/78 10778 /proc/meminfo: memFree=1647984/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=30740 CPUtime=1.49 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 7581 0 0 0 146 3 0 0 25 0 1 0 147039532 31477760 7465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 7685 7465 137 317 0 7364 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30740 [startup+3.10163 s] /proc/loadavg: 0.92 0.98 0.99 2/78 10778 /proc/meminfo: memFree=1640816/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=42084 CPUtime=3.09 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 10421 0 0 0 305 4 0 0 25 0 1 0 147039532 43094016 9443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 10521 9443 170 317 0 10200 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 42084 [startup+6.30131 s] /proc/loadavg: 0.93 0.98 0.99 2/78 10778 /proc/meminfo: memFree=1628208/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=57752 CPUtime=6.29 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 14221 0 0 0 623 6 0 0 25 0 1 0 147039532 59138048 13243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284242 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 14438 13243 170 317 0 14117 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 57752 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.99 2/78 10778 /proc/meminfo: memFree=1600176/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=82840 CPUtime=12.69 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 20205 0 0 0 1261 8 0 0 25 0 1 0 147039532 84828160 19227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562768 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 20710 19227 170 317 0 20389 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 82840 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/78 10778 /proc/meminfo: memFree=1559344/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=126896 CPUtime=25.48 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 30121 0 0 0 2535 13 0 0 25 0 1 0 147039532 129941504 29143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 31724 29143 170 317 0 31403 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 126896 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/84 10850 /proc/meminfo: memFree=1484408/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=210344 CPUtime=51.05 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 48650 0 0 0 5083 22 0 0 25 0 1 0 147039532 215392256 47672 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 52586 47672 170 317 0 52265 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 210344 [startup+102.307 s] /proc/loadavg: 0.98 0.98 0.99 2/78 10976 /proc/meminfo: memFree=1400744/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=290076 CPUtime=102.15 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 69472 0 0 0 10184 31 0 0 25 0 1 0 147039532 297037824 68494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 72519 68494 170 317 0 72198 0 Current children cumulated CPU time (s) 102.15 Current children cumulated vsize (KiB) 290076 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10976 /proc/meminfo: memFree=1300016/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=410812 CPUtime=162.12 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 94746 0 0 0 16171 41 0 0 25 0 1 0 147039532 420671488 93768 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 102703 93768 170 317 0 102382 0 Current children cumulated CPU time (s) 162.12 Current children cumulated vsize (KiB) 410812 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10976 /proc/meminfo: memFree=1242672/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=464984 CPUtime=222.09 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 108986 0 0 0 22163 46 0 0 25 0 1 0 147039532 476143616 107879 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 116246 107879 170 317 0 115925 0 Current children cumulated CPU time (s) 222.09 Current children cumulated vsize (KiB) 464984 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10976 /proc/meminfo: memFree=1203312/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=503004 CPUtime=282.07 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 118961 0 0 0 28155 52 0 0 25 0 1 0 147039532 515076096 117854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 125751 117854 170 317 0 125430 0 Current children cumulated CPU time (s) 282.07 Current children cumulated vsize (KiB) 503004 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10976 /proc/meminfo: memFree=1158128/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=545960 CPUtime=342.05 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 130161 0 0 0 34148 57 0 0 25 0 1 0 147039532 559063040 129054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713833 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 136490 129054 170 317 0 136169 0 Current children cumulated CPU time (s) 342.05 Current children cumulated vsize (KiB) 545960 [startup+402.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10976 /proc/meminfo: memFree=1113968/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=589060 CPUtime=402.03 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 141285 0 0 0 40140 63 0 0 25 0 1 0 147039532 603197440 140178 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541595 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 147265 140178 170 317 0 146944 0 Current children cumulated CPU time (s) 402.03 Current children cumulated vsize (KiB) 589060 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10976 /proc/meminfo: memFree=1075184/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=628820 CPUtime=462 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 150909 0 0 0 46132 68 0 0 25 0 1 0 147039532 643911680 149802 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 157205 149802 170 317 0 156884 0 Current children cumulated CPU time (s) 462 Current children cumulated vsize (KiB) 628820 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10976 /proc/meminfo: memFree=991088/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=758760 CPUtime=521.98 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 171924 0 0 0 52122 76 0 0 25 0 1 0 147039532 776970240 170817 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604138 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 189690 170817 170 317 0 189369 0 Current children cumulated CPU time (s) 521.98 Current children cumulated vsize (KiB) 758760 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10976 /proc/meminfo: memFree=962608/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=789056 CPUtime=581.95 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 178929 0 0 0 58115 80 0 0 25 0 1 0 147039532 807993344 177822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564037 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 197264 177822 170 317 0 196943 0 Current children cumulated CPU time (s) 581.95 Current children cumulated vsize (KiB) 789056 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10976 /proc/meminfo: memFree=930608/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=820480 CPUtime=641.93 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 186882 0 0 0 64110 83 0 0 25 0 1 0 147039532 840171520 185775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 205120 185775 170 317 0 204799 0 Current children cumulated CPU time (s) 641.93 Current children cumulated vsize (KiB) 820480 ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10976 /proc/meminfo: memFree=756400/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=985864 CPUtime=1001.79 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 230378 0 0 0 100075 104 0 0 25 0 1 0 147039532 1009524736 229271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710858 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 246466 229271 170 317 0 246145 0 Current children cumulated CPU time (s) 1001.79 Current children cumulated vsize (KiB) 985864 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10976 /proc/meminfo: memFree=730032/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=1014244 CPUtime=1061.77 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 237012 0 0 0 106070 107 0 0 25 0 1 0 147039532 1038585856 235905 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 253561 235905 170 317 0 253240 0 Current children cumulated CPU time (s) 1061.77 Current children cumulated vsize (KiB) 1014244 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10976 /proc/meminfo: memFree=702128/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=1040112 CPUtime=1121.75 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 243934 0 0 0 112065 110 0 0 25 0 1 0 147039532 1065074688 242827 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 260028 242827 170 317 0 259707 0 Current children cumulated CPU time (s) 1121.75 Current children cumulated vsize (KiB) 1040112 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10976 /proc/meminfo: memFree=673904/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=1066496 CPUtime=1181.72 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 251027 0 0 0 118059 113 0 0 25 0 1 0 147039532 1092091904 249920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 266624 249920 170 317 0 266303 0 Current children cumulated CPU time (s) 1181.72 Current children cumulated vsize (KiB) 1066496 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10976 /proc/meminfo: memFree=645808/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=1092680 CPUtime=1241.7 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 257987 0 0 0 124054 116 0 0 25 0 1 0 147039532 1118904320 256880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712495 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 273170 256880 170 317 0 272849 0 Current children cumulated CPU time (s) 1241.7 Current children cumulated vsize (KiB) 1092680 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10976 /proc/meminfo: memFree=616368/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=1120004 CPUtime=1301.68 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 265275 0 0 0 130048 120 0 0 25 0 1 0 147039532 1146884096 264168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 280001 264168 170 317 0 279680 0 Current children cumulated CPU time (s) 1301.68 Current children cumulated vsize (KiB) 1120004 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10976 /proc/meminfo: memFree=598320/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=1138588 CPUtime=1361.65 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 269824 0 0 0 136043 122 0 0 25 0 1 0 147039532 1165914112 268717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 284647 268717 170 317 0 284326 0 Current children cumulated CPU time (s) 1361.65 Current children cumulated vsize (KiB) 1138588 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10976 /proc/meminfo: memFree=576432/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=1158128 CPUtime=1421.63 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 275237 0 0 0 142039 124 0 0 25 0 1 0 147039532 1185923072 274130 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 289532 274130 170 317 0 289211 0 Current children cumulated CPU time (s) 1421.63 Current children cumulated vsize (KiB) 1158128 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 3/78 10976 /proc/meminfo: memFree=552624/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=1180020 CPUtime=1481.6 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 281234 0 0 0 148034 126 0 0 25 0 1 0 147039532 1208340480 280127 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 295005 280127 170 317 0 294684 0 Current children cumulated CPU time (s) 1481.6 Current children cumulated vsize (KiB) 1180020 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10976 /proc/meminfo: memFree=534128/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=1198924 CPUtime=1541.58 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 285815 0 0 0 154029 129 0 0 25 0 1 0 147039532 1227698176 284708 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 299731 284708 170 317 0 299410 0 Current children cumulated CPU time (s) 1541.58 Current children cumulated vsize (KiB) 1198924 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10976 /proc/meminfo: memFree=513520/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=1217580 CPUtime=1601.56 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 291048 0 0 0 160025 131 0 0 25 0 1 0 147039532 1246801920 289941 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718322 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 304395 289941 170 317 0 304074 0 Current children cumulated CPU time (s) 1601.56 Current children cumulated vsize (KiB) 1217580 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10976 /proc/meminfo: memFree=447600/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=1415968 CPUtime=1661.53 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 330770 0 0 0 166008 145 0 0 25 0 1 0 147039532 1449951232 306167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 353992 306167 170 317 0 353671 0 Current children cumulated CPU time (s) 1661.53 Current children cumulated vsize (KiB) 1415968 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10976 /proc/meminfo: memFree=430896/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=1435488 CPUtime=1721.51 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 335466 0 0 0 172003 148 0 0 25 0 1 0 147039532 1469939712 310401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 358872 310401 170 317 0 358551 0 Current children cumulated CPU time (s) 1721.51 Current children cumulated vsize (KiB) 1435488 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10976 /proc/meminfo: memFree=407344/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=1455880 CPUtime=1781.48 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 341368 0 0 0 177997 151 0 0 25 0 1 0 147039532 1490821120 316270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 363970 316270 170 317 0 363649 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (KiB) 1455880 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10976 /proc/meminfo: memFree=400880/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=1462748 CPUtime=1800.09 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 343032 0 0 0 179857 152 0 0 25 0 1 0 147039532 1497853952 317835 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 365687 317835 170 317 0 365366 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1462748 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.01 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10976 /proc/meminfo: memFree=400880/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=1462748 CPUtime=1800.18 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194304 343046 0 0 0 179866 152 0 0 25 0 1 0 147039532 1497853952 317849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 365687 317849 170 317 0 365366 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 1462748 [startup+1801.2 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10976 /proc/meminfo: memFree=400880/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=0 CPUtime=1800.38 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194308 343062 0 0 0 179876 162 0 0 25 0 1 0 147039532 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.38 Current children cumulated vsize (KiB) 0 [startup+1801.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10976 /proc/meminfo: memFree=400880/2055920 swapFree=4159420/4192956 [pid=10777] ppid=10775 vsize=0 CPUtime=1800.48 /proc/10777/stat : 10777 (oree) R 10775 10777 10675 0 -1 4194308 343062 0 0 0 179876 172 0 0 25 0 1 0 147039532 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10777/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.33 CPU time (s): 1800.5 CPU user time (s): 1798.77 CPU system time (s): 1.72974 CPU usage (%): 99.954 Max. virtual memory (cumulated for all children) (KiB): 1462748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.77 system time used= 1.72974 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 343062 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= 2703 runsolver used 1.9897 second user time and 4.5693 second system time The end
Begin job on node13 on Thu Apr 19 14:00:17 UTC 2007 IDJOB= 357210 IDBENCH= 2269 IDSOLVER= 172 FILE ID= node13/357210-1176991217 PBS_JOBID= 4630468 Free space on /tmp= 66317 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb COMMAND LINE= oree /tmp/evaluation/357210-1176991217/instance-357210-1176991217.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-357210-1176991217 -o ROOT/results/node13/solver-357210-1176991217 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357210-1176991217/instance-357210-1176991217.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 2295cbab79cf702b6a93f1d0b8bae876 RANDOM SEED= 675545299 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.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.259 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.259 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: 1675408 kB Buffers: 36776 kB Cached: 278928 kB SwapCached: 12736 kB Active: 72204 kB Inactive: 266636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1675408 kB SwapTotal: 4192956 kB SwapFree: 4159420 kB Dirty: 4376 kB Writeback: 0 kB Mapped: 30052 kB Slab: 27056 kB Committed_AS: 6648256 kB PageTables: 1872 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= 66317 MiB End job on node13 on Thu Apr 19 14:30:20 UTC 2007