Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 20827136 | 1800.31 | 1800.83 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x10c.opb |
MD5SUM | 76c0eb5e4f8bf9449c4bca06a067ffea |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 15325184 |
Best CPU time to get the best result obtained on this benchmark | 1800.35 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 15325184 |
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 | 515495338528 |
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 | 515495338528 |
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.04/0.08 c res. mode=mod 0.04/0.08 c VSIDS like heuristics 0.04/0.08 c complete search running 0.04/0.09 c restart after 401 decisions 0.04/0.09 c nbDecision=500 #constraints=141 0.09/0.10 c restart after 801 decisions 0.09/0.11 c nbDecision=1000 #constraints=141 0.09/0.12 c nbDecision=1500 #constraints=142 0.09/0.12 c nbDecision=1597 #constraints=142 0.09/0.12 c linear search for optimum 0.09/0.12 o 21838848 0.09/0.19 c restart after 1601 decisions 0.19/0.20 c nbDecision=2000 #constraints=151 1.89/1.97 c nbDecision=2500 #constraints=337 8.88/8.96 c nbDecision=3000 #constraints=843 9.19/9.29 c nbDecision=3027 #constraints=862 9.19/9.29 o 21033984 11.49/11.57 c restart after 3201 decisions 11.59/11.68 c nbDecision=3500 #constraints=1044 13.19/13.24 c nbDecision=4000 #constraints=1144 22.59/22.62 c nbDecision=4500 #constraints=1643 35.38/35.47 c nbDecision=5000 #constraints=2141 52.98/53.10 c nbDecision=5500 #constraints=2640 72.67/72.71 c nbDecision=6000 #constraints=3146 93.67/93.78 c restart after 6401 decisions 94.47/94.56 c nbDecision=6500 #constraints=3543 94.96/95.03 c nbDecision=7000 #constraints=3543 96.56/96.67 c nbDecision=7137 #constraints=3575 96.56/96.67 o 20827136 120.45/120.57 c nbDecision=7500 #constraints=3943 157.25/157.33 c nbDecision=8000 #constraints=4447 196.74/196.88 c nbDecision=8500 #constraints=4946 237.62/237.78 c nbDecision=9000 #constraints=5449 272.72/272.88 c nbDecision=9500 #constraints=5946 310.40/310.53 c nbDecision=10000 #constraints=6450 360.99/361.12 c nbDecision=10500 #constraints=6950 406.67/406.82 c nbDecision=11000 #constraints=7449 452.26/452.45 c nbDecision=11500 #constraints=7944 502.64/502.80 c nbDecision=12000 #constraints=8450 576.52/576.72 c nbDecision=12500 #constraints=8949 611.82/612.05 c restart after 12801 decisions 614.21/614.48 c nbDecision=13000 #constraints=9249 616.61/616.82 c nbDecision=13500 #constraints=9252 681.50/681.74 c nbDecision=14000 #constraints=9750 747.48/747.73 c nbDecision=14500 #constraints=10255 815.56/815.88 c nbDecision=15000 #constraints=10752 883.23/883.58 c nbDecision=15500 #constraints=11251 952.11/952.44 c nbDecision=16000 #constraints=11754 1032.40/1032.74 c nbDecision=16500 #constraints=12255 1127.26/1127.63 c nbDecision=17000 #constraints=12752 1214.05/1214.46 c nbDecision=17500 #constraints=13255 1305.22/1305.65 c nbDecision=18000 #constraints=13756 1401.08/1401.56 c nbDecision=18500 #constraints=14251 1473.57/1474.00 c nbDecision=19000 #constraints=14754 1568.93/1569.47 c nbDecision=19500 #constraints=15254 1688.90/1689.47 c nbDecision=20000 #constraints=15754 1797.36/1798.00 c nbDecision=20500 #constraints=16256 1800.07/1800.60 Received signal 15 1800.07/1800.70 1800.07/1800.70 s SATISFIABLE 1800.07/1800.70 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.07/1800.70 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.07/1800.70 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.07/1800.70 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.07/1800.70 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.07/1800.70 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.07/1800.70 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.07/1800.70 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.07/1800.70 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.07/1800.70 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.07/1800.70 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.07/1800.70 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.07/1800.70 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.07/1800.70 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 1800.07/1800.70 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.07/1800.70 v -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.07/1800.70 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.07/1800.70 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.07/1800.70 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.07/1800.70 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.07/1800.70 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.07/1800.70 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.07/1800.70 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.07/1800.70 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.07/1800.70 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.07/1800.70 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.07/1800.70 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.07/1800.70 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.07/1800.70 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.07/1800.70 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 1800.07/1800.70 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.07/1800.70 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.07/1800.70 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.07/1800.70 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.07/1800.70 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.07/1800.70 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.07/1800.70 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.07/1800.70 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.07/1800.70 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.07/1800.70 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1800.07/1800.70 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1800.07/1800.70 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1800.07/1800.70 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.07/1800.70 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943 x944 1800.07/1800.70 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1800.07/1800.70 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.07/1800.70 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1800.07/1800.70 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.07/1800.70 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1800.07/1800.70 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1800.07/1800.70 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1800.07/1800.70 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1800.07/1800.70 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 1800.07/1800.70 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.07/1800.70 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1800.07/1800.70 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1800.07/1800.70 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1800.07/1800.70 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1800.07/1800.70 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 1800.07/1800.70 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 1800.07/1800.70 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 1800.07/1800.70 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 1800.07/1800.70 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 1800.07/1800.70 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 1800.07/1800.70 v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 1800.07/1800.70 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 1800.07/1800.70 v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 1800.07/1800.70 v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 1800.07/1800.70 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 1800.07/1800.70 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 1800.07/1800.70 v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 1800.07/1800.70 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 1800.07/1800.70 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 1800.07/1800.70 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 1800.07/1800.70 v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 1800.07/1800.70 v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 1800.07/1800.70 v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 1800.07/1800.70 v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 1800.07/1800.70 v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 1800.07/1800.70 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 1800.07/1800.70 v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 1800.07/1800.70 v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 1800.07/1800.70 v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 1800.07/1800.70 v -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 1800.07/1800.70 v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 1800.07/1800.70 v -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 1800.07/1800.70 v -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 1800.07/1800.70 v -x1687 -x1688 -x1689 -x1690 x1691 x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 1800.07/1800.70 v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 1800.07/1800.70 v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 1800.07/1800.70 v -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 1800.07/1800.70 v -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 1800.07/1800.70 v -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 1800.07/1800.70 v -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 1800.07/1800.70 v -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 1800.07/1800.70 v -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 1800.07/1800.70 v -x1841 -x1842 x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 1800.07/1800.70 v -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 x1871 x1872 -x1873 -x1874 -x1875 1800.07/1800.70 v -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 1800.07/1800.70 v -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 1800.07/1800.70 v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 1800.07/1800.70 v -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 1800.07/1800.70 v -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 1800.07/1800.70 v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 1800.07/1800.70 v -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 1800.07/1800.70 v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 1800.07/1800.70 v -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 1800.07/1800.70 v -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 1800.07/1800.70 v -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 1800.07/1800.70 v -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 1800.07/1800.70 v -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 1800.07/1800.70 v -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 1800.07/1800.70 v -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 1800.07/1800.70 v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 x2142 x2143 -x2144 -x2145 -x2146 -x2147 -x2148 1800.07/1800.70 v -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 1800.07/1800.70 v -x2166 -x2167 -x2168 -x2169 -x2170 x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 1800.07/1800.70 v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 1800.07/1800.70 v -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 1800.07/1800.70 v -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 1800.07/1800.70 v -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 1800.07/1800.70 v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 1800.07/1800.70 v -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 1800.07/1800.70 v -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 1800.07/1800.70 v -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 1800.07/1800.70 v -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 1800.07/1800.70 v -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 1800.07/1800.70 v -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 1800.07/1800.70 v -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 1800.07/1800.70 v -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 1800.07/1800.70 v -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 1800.07/1800.70 v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 1800.07/1800.70 v -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 1800.07/1800.70 v -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 1800.07/1800.70 v x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 1800.07/1800.70 v -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 x2501 -x2502 -x2503 -x2504 -x2505 -x2506 1800.07/1800.70 v -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 1800.07/1800.70 v -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 1800.07/1800.70 v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 1800.07/1800.70 v -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 1800.07/1800.70 v -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 1800.07/1800.70 v -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 1800.07/1800.70 v -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 1800.07/1800.70 v -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 1800.07/1800.70 v -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 1800.07/1800.70 v -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 1800.07/1800.70 v -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 1800.07/1800.70 v -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 1800.07/1800.70 v -x2711 x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 1800.07/1800.70 v -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 x2741 -x2742 x2743 x2744 -x2745 1800.07/1800.70 v -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 1800.07/1800.70 v -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 1800.07/1800.70 v -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 1800.07/1800.70 v -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 1800.07/1800.70 v -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 1800.07/1800.70 v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 1800.07/1800.70 v -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 1800.07/1800.70 v -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 1800.07/1800.70 v -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 1800.07/1800.70 v -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 1800.07/1800.70 v -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 1800.07/1800.70 v -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 1800.07/1800.70 v -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 1800.07/1800.70 v -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 1800.07/1800.70 v -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 1800.07/1800.70 v -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 x3011 x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 1800.07/1800.70 v -x3019 -x3020 -x3021 x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 x3032 -x3033 x3034 -x3035 -x3036 1800.07/1800.70 v -x3037 -x3038 -x3039 -x3040 -x3041 x3042 x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 x3052 -x3053 -x3054 1800.07/1800.70 v -x3055 -x3056 x3057 -x3058 -x3059 -x3060 x3061 x3062 x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 x3072 1800.07/1800.70 v x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 x3081 -x3082 x3083 x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 1800.07/1800.70 v x3091 x3092 x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 1800.07/1800.70 1800.07/1800.70 c user time= 1799.16 s 1800.07/1800.70 c system time= 1.02084 s 1800.07/1800.70 c wall clock time=1800.7
OK 20827136
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node9/watcher-357229-1176991809 -o ROOT/results/node9/solver-357229-1176991809 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357229-1176991809/instance-357229-1176991809.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.91 0.95 0.90 3/77 24284 /proc/meminfo: memFree=1895832/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=1468 CPUtime=0 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 175218448 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715187 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 367 161 127 317 0 46 0 [startup+0.0444629 s] /proc/loadavg: 0.91 0.95 0.90 3/77 24284 /proc/meminfo: memFree=1895832/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=2428 CPUtime=0.04 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 386 0 0 0 4 0 0 0 18 0 1 0 175218448 2486272 368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 607 371 136 317 0 286 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2428 [startup+0.101469 s] /proc/loadavg: 0.91 0.95 0.90 3/77 24284 /proc/meminfo: memFree=1895832/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=2688 CPUtime=0.09 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 473 0 0 0 9 0 0 0 18 0 1 0 175218448 2752512 455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 672 455 138 317 0 351 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2688 [startup+0.301492 s] /proc/loadavg: 0.91 0.95 0.90 3/77 24284 /proc/meminfo: memFree=1895832/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=3860 CPUtime=0.29 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 777 0 0 0 29 0 0 0 19 0 1 0 175218448 3952640 759 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279024 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 965 759 170 317 0 644 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3860 [startup+0.701538 s] /proc/loadavg: 0.91 0.95 0.90 3/77 24284 /proc/meminfo: memFree=1895832/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=6344 CPUtime=0.69 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 1318 0 0 0 69 0 0 0 22 0 1 0 175218448 6496256 1300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134590773 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 1586 1300 170 317 0 1265 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6344 [startup+1.50163 s] /proc/loadavg: 0.91 0.95 0.90 2/78 24285 /proc/meminfo: memFree=1889360/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=11576 CPUtime=1.49 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 2490 0 0 0 149 0 0 0 25 0 1 0 175218448 11853824 2472 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134558575 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 2894 2472 170 317 0 2573 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11576 [startup+3.10181 s] /proc/loadavg: 0.91 0.95 0.90 2/78 24285 /proc/meminfo: memFree=1883984/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=19932 CPUtime=3.09 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 4357 0 0 0 308 1 0 0 25 0 1 0 175218448 20410368 4339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272652 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 4983 4339 170 317 0 4662 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19932 [startup+6.30117 s] /proc/loadavg: 0.92 0.95 0.90 2/78 24285 /proc/meminfo: memFree=1871248/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=34916 CPUtime=6.29 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 7691 0 0 0 627 2 0 0 25 0 1 0 175218448 35753984 7673 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 8729 7673 170 317 0 8408 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34916 [startup+12.7019 s] /proc/loadavg: 0.93 0.95 0.90 2/78 24285 /proc/meminfo: memFree=1851088/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=52960 CPUtime=12.69 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 11696 0 0 0 1264 5 0 0 25 0 1 0 175218448 54231040 11678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277226 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 13240 11678 170 317 0 12919 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52960 [startup+25.5023 s] /proc/loadavg: 0.94 0.96 0.91 2/78 24285 /proc/meminfo: memFree=1816976/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=88112 CPUtime=25.49 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 19871 0 0 0 2539 10 0 0 25 0 1 0 175218448 90226688 19853 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 22028 19853 170 317 0 21707 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 88112 [startup+51.1022 s] /proc/loadavg: 0.96 0.96 0.91 2/78 24285 /proc/meminfo: memFree=1774096/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=139636 CPUtime=51.08 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 30665 0 0 0 5093 15 0 0 25 0 1 0 175218448 142987264 30647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 34909 30647 170 317 0 34588 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 139636 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.91 2/78 24285 /proc/meminfo: memFree=1724112/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=191852 CPUtime=102.26 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 42941 0 0 0 10205 21 0 0 25 0 1 0 175218448 196456448 42923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 47963 42923 170 317 0 47642 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 191852 [startup+162.303 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24285 /proc/meminfo: memFree=1678608/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=252176 CPUtime=162.25 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 54345 0 0 0 16197 28 0 0 25 0 1 0 175218448 258228224 54327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 63044 54327 170 317 0 62723 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 252176 [startup+222.303 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24285 /proc/meminfo: memFree=1642640/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=291344 CPUtime=222.23 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 63229 0 0 0 22191 32 0 0 25 0 1 0 175218448 298336256 63211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 72836 63211 170 317 0 72515 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 291344 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24285 /proc/meminfo: memFree=1614096/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=318656 CPUtime=282.21 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 70425 0 0 0 28186 35 0 0 25 0 1 0 175218448 326303744 70407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 79664 70407 170 317 0 79343 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 318656 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24285 /proc/meminfo: memFree=1584592/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=349704 CPUtime=342.19 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 77719 0 0 0 34180 39 0 0 25 0 1 0 175218448 358096896 77701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 87426 77701 170 317 0 87105 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 349704 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24285 /proc/meminfo: memFree=1559824/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=373828 CPUtime=402.17 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 83994 0 0 0 40175 42 0 0 25 0 1 0 175218448 382799872 83976 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 93457 83976 170 317 0 93136 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 373828 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24285 /proc/meminfo: memFree=1531216/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=403860 CPUtime=462.16 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 91017 0 0 0 46170 46 0 0 25 0 1 0 175218448 413552640 90999 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 100965 90999 170 317 0 100644 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 403860 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24285 /proc/meminfo: memFree=1496464/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=453148 CPUtime=522.14 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 99801 0 0 0 52163 51 0 0 25 0 1 0 175218448 464023552 99725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 113287 99725 170 317 0 112966 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 453148 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24285 /proc/meminfo: memFree=1479056/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=472100 CPUtime=582.12 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 104107 0 0 0 58160 52 0 0 25 0 1 0 175218448 483430400 104031 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710964 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 118025 104031 170 317 0 117704 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 472100 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24285 /proc/meminfo: memFree=1448272/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=513892 CPUtime=642.11 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 111728 0 0 0 64154 57 0 0 25 0 1 0 175218448 526225408 111652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 128473 111652 170 317 0 128152 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 513892 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24285 /proc/meminfo: memFree=1371664/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=599884 CPUtime=882.03 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 130817 0 0 0 88136 67 0 0 25 0 1 0 175218448 614281216 130741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 149971 130741 170 317 0 149650 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 599884 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24285 /proc/meminfo: memFree=1352400/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=620168 CPUtime=942.02 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 135675 0 0 0 94132 70 0 0 25 0 1 0 175218448 635052032 135599 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 155042 135599 170 317 0 154721 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 620168 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24285 /proc/meminfo: memFree=1332432/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=641936 CPUtime=1002 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 140657 0 0 0 100128 72 0 0 25 0 1 0 175218448 657342464 140581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 160484 140581 170 317 0 160163 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 641936 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24285 /proc/meminfo: memFree=1321104/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=654904 CPUtime=1061.99 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 143479 0 0 0 106125 74 0 0 25 0 1 0 175218448 670621696 143403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 163726 143403 170 317 0 163405 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 654904 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24285 /proc/meminfo: memFree=1305360/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=670472 CPUtime=1121.97 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 147383 0 0 0 112121 76 0 0 25 0 1 0 175218448 686563328 147307 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563494 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 167618 147307 170 317 0 167297 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 670472 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24285 /proc/meminfo: memFree=1289360/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=687908 CPUtime=1181.95 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 151413 0 0 0 118117 78 0 0 25 0 1 0 175218448 704417792 151337 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 171977 151337 170 317 0 171656 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 687908 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24285 /proc/meminfo: memFree=1275088/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=703628 CPUtime=1241.93 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 154912 0 0 0 124113 80 0 0 25 0 1 0 175218448 720515072 154836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 175907 154836 170 317 0 175586 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 703628 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24285 /proc/meminfo: memFree=1262928/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=714496 CPUtime=1301.92 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 157945 0 0 0 130109 83 0 0 25 0 1 0 175218448 731643904 157869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 178624 157869 170 317 0 178303 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 714496 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24287 /proc/meminfo: memFree=1248464/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=732192 CPUtime=1361.9 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 161555 0 0 0 136105 85 0 0 25 0 1 0 175218448 749764608 161479 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 183048 161479 170 317 0 182727 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 732192 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24287 /proc/meminfo: memFree=1232784/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=749028 CPUtime=1421.89 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 165453 0 0 0 142101 88 0 0 25 0 1 0 175218448 767004672 165377 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 187257 165377 170 317 0 186936 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 749028 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24287 /proc/meminfo: memFree=1214800/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=767596 CPUtime=1481.86 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 169964 0 0 0 148095 91 0 0 25 0 1 0 175218448 786018304 169888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 191899 169888 170 317 0 191578 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 767596 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24287 /proc/meminfo: memFree=1200080/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=783384 CPUtime=1541.84 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 173607 0 0 0 154092 92 0 0 25 0 1 0 175218448 802185216 173531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 195846 173531 170 317 0 195525 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 783384 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24287 /proc/meminfo: memFree=1189520/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=795060 CPUtime=1601.82 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 176264 0 0 0 160088 94 0 0 25 0 1 0 175218448 814141440 176188 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563659 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 198765 176188 170 317 0 198444 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 795060 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24287 /proc/meminfo: memFree=1178704/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=806848 CPUtime=1661.81 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 178950 0 0 0 166085 96 0 0 25 0 1 0 175218448 826212352 178874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 201712 178874 170 317 0 201391 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 806848 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24287 /proc/meminfo: memFree=1165776/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=821032 CPUtime=1721.8 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 182195 0 0 0 172081 99 0 0 25 0 1 0 175218448 840736768 182119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 205258 182119 170 317 0 204937 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 821032 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24287 /proc/meminfo: memFree=1153744/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=833524 CPUtime=1781.78 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 185155 0 0 0 178077 101 0 0 25 0 1 0 175218448 853528576 185079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 208381 185079 170 317 0 208060 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 833524 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24287 /proc/meminfo: memFree=1150352/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=836656 CPUtime=1800.07 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194304 185997 0 0 0 179906 101 0 0 25 0 1 0 175218448 856735744 185921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 209164 185921 170 317 0 208843 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 836656 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.91 2/78 24287 /proc/meminfo: memFree=1150352/2055920 swapFree=4152812/4192956 [pid=24284] ppid=24282 vsize=0 CPUtime=1800.27 /proc/24284/stat : 24284 (oree) R 24282 24284 23942 0 -1 4194308 186027 0 0 0 179916 111 0 0 25 0 1 0 175218448 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24284/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.27 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.83 CPU time (s): 1800.31 CPU user time (s): 1799.17 CPU system time (s): 1.14183 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (KiB): 836656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.17 system time used= 1.14183 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 186027 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= 2496 runsolver used 2.10968 second user time and 4.39433 second system time The end
Begin job on node9 on Thu Apr 19 14:10:09 UTC 2007 IDJOB= 357229 IDBENCH= 2290 IDSOLVER= 172 FILE ID= node9/357229-1176991809 PBS_JOBID= 4630444 Free space on /tmp= 66427 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-ran10x10c.opb COMMAND LINE= oree /tmp/evaluation/357229-1176991809/instance-357229-1176991809.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-357229-1176991809 -o ROOT/results/node9/solver-357229-1176991809 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357229-1176991809/instance-357229-1176991809.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 76c0eb5e4f8bf9449c4bca06a067ffea RANDOM SEED= 344210437 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node9.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.221 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.221 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: 1896176 kB Buffers: 21736 kB Cached: 76108 kB SwapCached: 7964 kB Active: 60224 kB Inactive: 60348 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1896176 kB SwapTotal: 4192956 kB SwapFree: 4152812 kB Dirty: 1476 kB Writeback: 0 kB Mapped: 29684 kB Slab: 24616 kB Committed_AS: 6056504 kB PageTables: 1784 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= 66427 MiB End job on node9 on Thu Apr 19 14:40:12 UTC 2007