Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 5553152 | 1800.77 | 1801.46 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x10b.opb |
MD5SUM | b5587ac28cf407bbfa21e21c74984478 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3806208 |
Best CPU time to get the best result obtained on this benchmark | 1800.31 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3581952 |
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 | 511129031204 |
Number of bits of the sum of numbers in the objective function | 39 |
Biggest number in a constraint | 4831838208 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 511129031204 |
Number of bits of the biggest sum of numbers | 39 |
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.07/0.08 c res. mode=mod 0.07/0.08 c VSIDS like heuristics 0.07/0.08 c complete search running 0.07/0.09 c restart after 401 decisions 0.09/0.10 c nbDecision=500 #constraints=142 0.09/0.10 c restart after 801 decisions 0.09/0.11 c nbDecision=1000 #constraints=142 1.49/1.59 c nbDecision=1500 #constraints=287 1.59/1.62 c restart after 1601 decisions 1.59/1.64 c nbDecision=2000 #constraints=298 1.59/1.65 c nbDecision=2456 #constraints=299 1.59/1.65 c linear search for optimum 1.59/1.65 o 5990400 1.59/1.67 c nbDecision=2467 #constraints=301 1.59/1.67 o 5969920 1.79/1.85 c nbDecision=2500 #constraints=340 2.79/2.82 c nbDecision=2627 #constraints=452 2.79/2.82 o 5772288 6.19/6.28 c nbDecision=3000 #constraints=819 8.99/9.02 c restart after 3201 decisions 9.09/9.10 c nbDecision=3500 #constraints=1028 9.39/9.48 c nbDecision=4000 #constraints=1056 17.08/17.19 c nbDecision=4500 #constraints=1556 27.48/27.56 c nbDecision=5000 #constraints=2059 40.58/40.60 c nbDecision=5500 #constraints=2557 59.77/59.84 c nbDecision=6000 #constraints=3059 76.07/76.14 c restart after 6401 decisions 76.77/76.82 c nbDecision=6500 #constraints=3461 77.07/77.15 c nbDecision=7000 #constraints=3461 93.95/94.03 c nbDecision=7500 #constraints=3785 123.74/123.85 c nbDecision=8000 #constraints=4292 153.23/153.32 c nbDecision=8500 #constraints=4785 186.72/186.86 c nbDecision=9000 #constraints=5291 229.50/229.62 c nbDecision=9500 #constraints=5791 273.28/273.44 c nbDecision=10000 #constraints=6289 308.77/308.90 c nbDecision=10352 #constraints=6651 308.77/308.90 o 5755904 309.17/309.33 c nbDecision=10375 #constraints=6653 309.17/309.33 o 5745664 311.68/311.87 c nbDecision=10500 #constraints=6788 340.46/340.64 c nbDecision=11000 #constraints=7295 380.84/381.02 c nbDecision=11500 #constraints=7795 430.42/430.66 c nbDecision=12000 #constraints=8294 493.80/494.01 c nbDecision=12500 #constraints=8791 525.60/525.89 c restart after 12801 decisions 528.19/528.46 c nbDecision=13000 #constraints=9101 529.69/529.97 c nbDecision=13500 #constraints=9101 584.67/584.96 c nbDecision=14000 #constraints=9532 612.16/612.42 c nbDecision=14218 #constraints=9729 612.16/612.42 o 5553152 671.34/671.63 c nbDecision=14500 #constraints=10020 777.40/777.75 c nbDecision=15000 #constraints=10519 890.55/890.90 c nbDecision=15500 #constraints=11021 998.71/999.17 c nbDecision=16000 #constraints=11520 1103.37/1103.86 c nbDecision=16500 #constraints=12019 1217.53/1218.00 c nbDecision=17000 #constraints=12516 1331.89/1332.49 c nbDecision=17500 #constraints=13020 1444.44/1445.06 c nbDecision=18000 #constraints=13517 1564.79/1565.47 c nbDecision=18500 #constraints=14016 1682.45/1683.16 c nbDecision=19000 #constraints=14518 1791.40/1792.18 c nbDecision=19500 #constraints=15018 1800.01/1800.71 Received signal 15 1800.61/1801.33 1800.61/1801.33 s SATISFIABLE 1800.61/1801.33 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.61/1801.33 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.61/1801.33 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.61/1801.33 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.61/1801.33 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.61/1801.33 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.61/1801.33 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.61/1801.33 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.61/1801.33 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.61/1801.33 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.61/1801.33 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.61/1801.33 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.61/1801.33 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.61/1801.33 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.61/1801.33 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.61/1801.33 v -x336 -x337 -x338 -x339 -x340 x341 x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.61/1801.33 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.61/1801.33 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.61/1801.33 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.61/1801.33 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.61/1801.33 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.61/1801.33 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.61/1801.33 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.61/1801.33 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.61/1801.33 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.61/1801.33 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.61/1801.33 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.61/1801.33 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.61/1801.33 v -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.61/1801.33 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.61/1801.33 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.61/1801.33 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.61/1801.33 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.61/1801.33 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.61/1801.33 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.61/1801.33 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.61/1801.33 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.61/1801.33 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.61/1801.33 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.61/1801.33 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1800.61/1801.33 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1800.61/1801.33 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1800.61/1801.33 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.61/1801.33 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1800.61/1801.33 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1800.61/1801.33 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.61/1801.33 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1800.61/1801.33 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.61/1801.33 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1800.61/1801.33 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1800.61/1801.33 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1800.61/1801.33 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1800.61/1801.33 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 1800.61/1801.33 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.61/1801.33 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1800.61/1801.33 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1800.61/1801.33 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1800.61/1801.33 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1800.61/1801.33 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 1800.61/1801.33 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 1800.61/1801.33 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1800.61/1801.33 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 1800.61/1801.33 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 1800.61/1801.33 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 1800.61/1801.33 v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 1800.61/1801.33 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 1800.61/1801.33 v -x1330 x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 1800.61/1801.33 v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 1800.61/1801.33 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 1800.61/1801.33 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 1800.61/1801.33 v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 1800.61/1801.33 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 1800.61/1801.33 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 1800.61/1801.33 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 1800.61/1801.33 v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 1800.61/1801.33 v -x1483 x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 1800.61/1801.33 v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 1800.61/1801.33 v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 1800.61/1801.33 v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 1800.61/1801.33 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 1800.61/1801.33 v -x1568 -x1569 -x1570 -x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 1800.61/1801.33 v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x1601 1800.61/1801.33 v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 1800.61/1801.33 v -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 -x1634 -x1635 1800.61/1801.33 v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 1800.61/1801.33 v -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 1800.61/1801.33 v -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 1800.61/1801.33 v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 1800.61/1801.33 v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 1800.61/1801.33 v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 1800.61/1801.33 v -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 1800.61/1801.33 v -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 1800.61/1801.33 v -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 1800.61/1801.33 v -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 1800.61/1801.33 v -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 1800.61/1801.33 v -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 1800.61/1801.33 v -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 1800.61/1801.33 v -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 1800.61/1801.33 v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 1800.61/1801.33 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 1800.61/1801.33 v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 1800.61/1801.33 v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 1800.61/1801.33 v -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 1800.61/1801.33 v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 1800.61/1801.33 v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 1800.61/1801.33 v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 1800.61/1801.33 v -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 1800.61/1801.33 v -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 1800.61/1801.33 v -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 1800.61/1801.33 v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 1800.61/1801.33 v -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 1800.61/1801.33 v -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 1800.61/1801.33 v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 1800.61/1801.33 v -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 1800.61/1801.33 v -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 1800.61/1801.33 v -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 1800.61/1801.33 v -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 1800.61/1801.33 v -x2197 -x2198 -x2199 -x2200 x2201 x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 1800.61/1801.33 v -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 1800.61/1801.33 v -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 1800.61/1801.33 v -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 1800.61/1801.33 v -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 1800.61/1801.33 v -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 1800.61/1801.33 v -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 1800.61/1801.33 v -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 1800.61/1801.33 v -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 1800.61/1801.33 v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 1800.61/1801.33 v -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 1800.61/1801.33 v -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 1800.61/1801.33 v -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 1800.61/1801.33 v -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 1800.61/1801.33 v -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 1800.61/1801.33 v -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 1800.61/1801.33 v -x2470 -x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 1800.61/1801.33 v -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 x2501 -x2502 -x2503 1800.61/1801.33 v -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 1800.61/1801.33 v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 1800.61/1801.33 v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 1800.61/1801.33 v -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 1800.61/1801.33 v -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 1800.61/1801.33 v -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 1800.61/1801.33 v -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 1800.61/1801.33 v -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 1800.61/1801.33 v -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 1800.61/1801.33 v -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 1800.61/1801.33 v -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 1800.61/1801.33 v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 1800.61/1801.33 v -x2708 -x2709 -x2710 x2711 x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 1800.61/1801.33 v -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 x2742 1800.61/1801.33 v x2743 x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 1800.61/1801.33 v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 x2772 x2773 -x2774 -x2775 -x2776 -x2777 -x2778 1800.61/1801.33 v -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 1800.61/1801.33 v -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 1800.61/1801.33 v -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 1800.61/1801.33 v -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 1800.61/1801.33 v -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 1800.61/1801.33 v -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 1800.61/1801.33 v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 1800.61/1801.33 v -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 1800.61/1801.33 v -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 1800.61/1801.33 v -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 1800.61/1801.33 v -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 1800.61/1801.33 v -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 1800.61/1801.33 v -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 1800.61/1801.33 v -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 x3012 -x3013 -x3014 -x3015 -x3016 1800.61/1801.33 v -x3017 -x3018 -x3019 -x3020 x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 x3031 -x3032 -x3033 x3034 1800.61/1801.33 v x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 x3043 -x3044 x3045 -x3046 -x3047 -x3048 -x3049 x3050 -x3051 -x3052 1800.61/1801.33 v x3053 x3054 x3055 -x3056 -x3057 -x3058 -x3059 -x3060 x3061 -x3062 -x3063 x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 1800.61/1801.33 v -x3071 -x3072 -x3073 x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 x3081 -x3082 x3083 x3084 -x3085 -x3086 -x3087 -x3088 1800.61/1801.33 v -x3089 -x3090 x3091 x3092 x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 1800.61/1801.33 1800.61/1801.33 c user time= 1799.78 s 1800.61/1801.33 c system time= 0.861868 s 1800.61/1801.33 c wall clock time=1801.33
OK 5553152
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node33/watcher-357219-1176991640 -o ROOT/results/node33/solver-357219-1176991640 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357219-1176991640/instance-357219-1176991640.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.97 0.96 3/77 2957 /proc/meminfo: memFree=1756160/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=1468 CPUtime=0 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 147079549 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 367 162 127 317 0 46 0 [startup+0.0802019 s] /proc/loadavg: 0.92 0.97 0.96 3/77 2957 /proc/meminfo: memFree=1756160/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=2560 CPUtime=0.07 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 471 0 0 0 7 0 0 0 18 0 1 0 147079549 2621440 453 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 640 453 137 317 0 319 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2560 [startup+0.101206 s] /proc/loadavg: 0.92 0.97 0.96 3/77 2957 /proc/meminfo: memFree=1756160/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=2692 CPUtime=0.09 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 483 0 0 0 9 0 0 0 18 0 1 0 147079549 2756608 465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 673 465 139 317 0 352 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2692 [startup+0.301247 s] /proc/loadavg: 0.92 0.97 0.96 3/77 2957 /proc/meminfo: memFree=1756160/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=3088 CPUtime=0.29 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 633 0 0 0 29 0 0 0 19 0 1 0 147079549 3162112 615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 806 616 170 317 0 485 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3088 [startup+0.701328 s] /proc/loadavg: 0.92 0.97 0.96 3/77 2957 /proc/meminfo: memFree=1756160/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=4204 CPUtime=0.69 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 865 0 0 0 69 0 0 0 22 0 1 0 147079549 4304896 847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 1051 847 170 317 0 730 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4204 [startup+1.50149 s] /proc/loadavg: 0.92 0.97 0.96 2/78 2958 /proc/meminfo: memFree=1752568/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=6628 CPUtime=1.49 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 1439 0 0 0 149 0 0 0 25 0 1 0 147079549 6787072 1421 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 1657 1421 170 317 0 1336 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6628 [startup+3.10182 s] /proc/loadavg: 0.92 0.97 0.96 2/78 2958 /proc/meminfo: memFree=1748152/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=13740 CPUtime=3.09 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 3127 0 0 0 308 1 0 0 25 0 1 0 147079549 14069760 3109 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 3435 3109 170 317 0 3114 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13740 [startup+6.30148 s] /proc/loadavg: 0.93 0.97 0.96 2/78 2958 /proc/meminfo: memFree=1732920/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=29656 CPUtime=6.29 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 6690 0 0 0 626 3 0 0 25 0 1 0 147079549 30367744 6672 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540904 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 7414 6672 170 317 0 7093 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29656 [startup+12.7018 s] /proc/loadavg: 0.93 0.97 0.96 2/78 2958 /proc/meminfo: memFree=1709368/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=54920 CPUtime=12.68 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 12270 0 0 0 1264 4 0 0 25 0 1 0 147079549 56238080 12252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 13730 12252 170 317 0 13409 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 54920 [startup+25.5014 s] /proc/loadavg: 0.95 0.97 0.96 2/78 2958 /proc/meminfo: memFree=1674552/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=92372 CPUtime=25.49 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 20612 0 0 0 2541 8 0 0 25 0 1 0 147079549 94588928 20594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270593 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 23093 20594 170 317 0 22772 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 92372 [startup+51.1017 s] /proc/loadavg: 0.96 0.97 0.96 2/78 2958 /proc/meminfo: memFree=1629688/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=144948 CPUtime=51.07 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 31792 0 0 0 5095 12 0 0 25 0 1 0 147079549 148426752 31774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 36237 31774 170 317 0 35916 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 144948 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.96 2/78 2958 /proc/meminfo: memFree=1572408/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=208580 CPUtime=102.26 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 45978 0 0 0 10209 17 0 0 25 0 1 0 147079549 213585920 45960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270603 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 52145 45960 170 317 0 51824 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 208580 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 2958 /proc/meminfo: memFree=1517752/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=276380 CPUtime=162.23 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 59764 0 0 0 16198 25 0 0 25 0 1 0 147079549 283013120 59746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 69095 59746 170 317 0 68774 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 276380 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 2958 /proc/meminfo: memFree=1475832/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=323996 CPUtime=222.2 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 70047 0 0 0 22191 29 0 0 25 0 1 0 147079549 331771904 70029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 80999 70029 170 317 0 80678 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 323996 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 2958 /proc/meminfo: memFree=1442680/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=360344 CPUtime=282.18 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 78381 0 0 0 28185 33 0 0 25 0 1 0 147079549 368992256 78363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604226 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 90086 78363 170 317 0 89765 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 360344 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 2958 /proc/meminfo: memFree=1402232/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=405288 CPUtime=342.16 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 88401 0 0 0 34177 39 0 0 25 0 1 0 147079549 415014912 88383 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 101322 88383 170 317 0 101001 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 405288 [startup+402.303 s] /proc/loadavg: 0.99 0.97 0.96 2/78 2958 /proc/meminfo: memFree=1372344/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=436904 CPUtime=402.14 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 95917 0 0 0 40172 42 0 0 25 0 1 0 147079549 447389696 95899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 109226 95899 170 317 0 108905 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 436904 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 2958 /proc/meminfo: memFree=1346424/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=469088 CPUtime=462.11 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 102430 0 0 0 46167 44 0 0 25 0 1 0 147079549 480346112 102354 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 117272 102354 170 317 0 116951 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 469088 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 2958 /proc/meminfo: memFree=1308344/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=524936 CPUtime=522.09 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 112000 0 0 0 52161 48 0 0 25 0 1 0 147079549 537534464 111924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 131234 111924 170 317 0 130913 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 524936 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 2958 /proc/meminfo: memFree=1288888/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=546208 CPUtime=582.07 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 116753 0 0 0 58156 51 0 0 25 0 1 0 147079549 559316992 116677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 136552 116677 170 317 0 136231 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 546208 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 2958 /proc/meminfo: memFree=1268600/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=571732 CPUtime=642.05 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 121781 0 0 0 64153 52 0 0 25 0 1 0 147079549 585453568 121705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 142933 121705 170 317 0 142612 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 571732 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 2958 /proc/meminfo: memFree=1206904/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=641776 CPUtime=941.93 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 137195 0 0 0 94132 61 0 0 25 0 1 0 147079549 657178624 137119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715992 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 160444 137119 170 317 0 160123 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 641776 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 2958 /proc/meminfo: memFree=1195832/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=652796 CPUtime=1001.91 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 139947 0 0 0 100129 62 0 0 25 0 1 0 147079549 668463104 139871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 163199 139871 170 317 0 162878 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 652796 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 2958 /proc/meminfo: memFree=1185208/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=663696 CPUtime=1061.88 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 142627 0 0 0 106125 63 0 0 25 0 1 0 147079549 679624704 142551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 165924 142551 170 317 0 165603 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 663696 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 2958 /proc/meminfo: memFree=1173624/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=675296 CPUtime=1121.86 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 145493 0 0 0 112121 65 0 0 25 0 1 0 147079549 691503104 145417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 168824 145417 170 317 0 168503 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 675296 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 2958 /proc/meminfo: memFree=1163128/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=686184 CPUtime=1181.84 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 148112 0 0 0 118117 67 0 0 25 0 1 0 147079549 702652416 148036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 171546 148036 170 317 0 171225 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 686184 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 2958 /proc/meminfo: memFree=1152056/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=697732 CPUtime=1241.82 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 150877 0 0 0 124113 69 0 0 25 0 1 0 147079549 714477568 150801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 174433 150801 170 317 0 174112 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 697732 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 2958 /proc/meminfo: memFree=1140216/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=709680 CPUtime=1301.8 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 153795 0 0 0 130109 71 0 0 25 0 1 0 147079549 726712320 153719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 177420 153719 170 317 0 177099 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 709680 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.97 3/78 2958 /proc/meminfo: memFree=1130360/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=720000 CPUtime=1361.77 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 156265 0 0 0 136105 72 0 0 25 0 1 0 147079549 737280000 156189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 180000 156189 170 317 0 179679 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 720000 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.97 2/78 2958 /proc/meminfo: memFree=1118968/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=731652 CPUtime=1421.75 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 159098 0 0 0 142101 74 0 0 25 0 1 0 147079549 749211648 159022 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 182913 159022 170 317 0 182592 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 731652 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 2958 /proc/meminfo: memFree=1108856/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=742828 CPUtime=1481.72 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 161661 0 0 0 148096 76 0 0 25 0 1 0 147079549 760655872 161585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 185707 161585 170 317 0 185386 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 742828 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 2958 /proc/meminfo: memFree=1094712/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=761932 CPUtime=1541.7 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 165150 0 0 0 154093 77 0 0 25 0 1 0 147079549 780218368 165074 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 190483 165074 170 317 0 190162 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 761932 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 2958 /proc/meminfo: memFree=1073080/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=796864 CPUtime=1601.67 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 170562 0 0 0 160087 80 0 0 25 0 1 0 147079549 815988736 170486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 199216 170486 170 317 0 198895 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 796864 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 2958 /proc/meminfo: memFree=1061688/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=808412 CPUtime=1661.65 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 173393 0 0 0 166083 82 0 0 25 0 1 0 147079549 827813888 173317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 202103 173317 170 317 0 201782 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 808412 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 2958 /proc/meminfo: memFree=1051384/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=818896 CPUtime=1721.64 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 175988 0 0 0 172080 84 0 0 25 0 1 0 147079549 838549504 175912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 204724 175912 170 317 0 204403 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 818896 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 2958 /proc/meminfo: memFree=1039928/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=831064 CPUtime=1781.61 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 178827 0 0 0 178076 85 0 0 25 0 1 0 147079549 851009536 178751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 207766 178751 170 317 0 207445 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 831064 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.97 2/78 2958 /proc/meminfo: memFree=1035960/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=834772 CPUtime=1800.01 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 179804 0 0 0 179915 86 0 0 25 0 1 0 147079549 854806528 179728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 208693 179728 170 317 0 208372 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 834772 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 0.99 0.97 2/78 2958 /proc/meminfo: memFree=1035960/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=834772 CPUtime=1800.31 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 179810 0 0 0 179945 86 0 0 25 0 1 0 147079549 854806528 179734 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718327 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 208693 179734 170 317 0 208372 0 Current children cumulated CPU time (s) 1800.31 Current children cumulated vsize (KiB) 834772 [startup+1801.4 s] /proc/loadavg: 1.00 0.99 0.97 2/78 2958 /proc/meminfo: memFree=1035960/2055920 swapFree=4180512/4192956 [pid=2957] ppid=2955 vsize=0 CPUtime=1800.7 /proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194308 179858 0 0 0 179978 92 0 0 25 0 1 0 147079549 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2957/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.46 CPU time (s): 1800.77 CPU user time (s): 1799.79 CPU system time (s): 0.98185 CPU usage (%): 99.9617 Max. virtual memory (cumulated for all children) (KiB): 834916 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.79 system time used= 0.98185 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 179858 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= 4329 runsolver used 2.05769 second user time and 4.49232 second system time The end
Begin job on node33 on Thu Apr 19 14:07:21 UTC 2007 IDJOB= 357219 IDBENCH= 2280 IDSOLVER= 172 FILE ID= node33/357219-1176991640 PBS_JOBID= 4630415 Free space on /tmp= 66476 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-ran10x10b.opb COMMAND LINE= oree /tmp/evaluation/357219-1176991640/instance-357219-1176991640.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-357219-1176991640 -o ROOT/results/node33/solver-357219-1176991640 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357219-1176991640/instance-357219-1176991640.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= b5587ac28cf407bbfa21e21c74984478 RANDOM SEED= 862699038 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node33.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.272 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.272 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: 1756576 kB Buffers: 35540 kB Cached: 153128 kB SwapCached: 2276 kB Active: 169292 kB Inactive: 76852 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1756576 kB SwapTotal: 4192956 kB SwapFree: 4180512 kB Dirty: 1580 kB Writeback: 0 kB Mapped: 72412 kB Slab: 38472 kB Committed_AS: 1673572 kB PageTables: 1996 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= 66476 MiB End job on node33 on Thu Apr 19 14:37:24 UTC 2007