Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 491516 | 1800.66 | 1801.11 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-sample2.opb |
MD5SUM | f72f6e3cf70b31c2d253740c5b04c4f6 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 384000 |
Best CPU time to get the best result obtained on this benchmark | 7.17691 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 384000 |
Optimality of the best value was proved | YES |
Number of variables | 1296 |
Total number of constraints | 46 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 3 |
Number of constraints which are nor clauses,nor cardinality constraints | 43 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 150 |
Number of terms in the objective function | 729 |
Biggest coefficient in the objective function | 3221225472 |
Number of bits for the biggest coefficient in the objective function | 32 |
Sum of the numbers in the objective function | 70867574718 |
Number of bits of the sum of numbers in the objective function | 37 |
Biggest number in a constraint | 3221225472 |
Number of bits of the biggest number in a constraint | 32 |
Biggest sum of numbers in a constraint | 70867574718 |
Number of bits of the biggest sum of numbers | 37 |
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.01 c ...done 0.00/0.01 c #vars=1296 #constraints=68 hasObjective=yes 0.02/0.02 c res. mode=mod 0.02/0.02 c VSIDS like heuristics 0.02/0.02 c complete search running 0.59/0.65 c restart after 401 decisions 0.79/0.81 c nbDecision=500 #constraints=417 1.79/1.80 c restart after 801 decisions 2.10/2.14 c nbDecision=1000 #constraints=779 3.29/3.39 c nbDecision=1500 #constraints=1239 3.69/3.71 c restart after 1601 decisions 4.39/4.41 c nbDecision=2000 #constraints=1551 5.89/5.97 c nbDecision=2500 #constraints=1963 8.08/8.12 c nbDecision=3000 #constraints=2405 9.18/9.25 c restart after 3201 decisions 10.69/10.75 c nbDecision=3500 #constraints=2790 12.29/12.39 c nbDecision=3691 #constraints=2938 12.29/12.39 c linear search for optimum 12.29/12.39 o 593914 12.39/12.43 c nbDecision=3693 #constraints=2939 12.39/12.43 o 491516 14.19/14.28 c nbDecision=4000 #constraints=3109 18.89/18.92 c nbDecision=4500 #constraints=3424 25.09/25.16 c nbDecision=5000 #constraints=3795 34.69/34.75 c nbDecision=5500 #constraints=4154 49.88/49.96 c nbDecision=6000 #constraints=4576 57.77/57.87 c restart after 6401 decisions 58.68/58.75 c nbDecision=6500 #constraints=4922 65.07/65.14 c nbDecision=7000 #constraints=5304 73.27/73.32 c nbDecision=7500 #constraints=5779 81.67/81.76 c nbDecision=8000 #constraints=6240 92.56/92.65 c nbDecision=8500 #constraints=6718 105.86/105.90 c nbDecision=9000 #constraints=7193 119.66/119.76 c nbDecision=9500 #constraints=7644 131.66/131.79 c nbDecision=10000 #constraints=8121 148.26/148.37 c nbDecision=10500 #constraints=8598 165.35/165.48 c nbDecision=11000 #constraints=9064 184.75/184.86 c nbDecision=11500 #constraints=9523 203.54/203.60 c nbDecision=12000 #constraints=9979 225.13/225.25 c nbDecision=12500 #constraints=10442 237.33/237.47 c restart after 12801 decisions 244.73/244.80 c nbDecision=13000 #constraints=10808 251.73/251.81 c nbDecision=13500 #constraints=10970 259.23/259.38 c nbDecision=14000 #constraints=11183 266.82/266.90 c nbDecision=14500 #constraints=11571 276.33/276.46 c nbDecision=15000 #constraints=11965 285.93/286.08 c nbDecision=15500 #constraints=12336 296.21/296.38 c nbDecision=16000 #constraints=12719 308.51/308.68 c nbDecision=16500 #constraints=13134 320.11/320.23 c nbDecision=17000 #constraints=13523 332.81/332.91 c nbDecision=17500 #constraints=13932 346.21/346.38 c nbDecision=18000 #constraints=14330 358.60/358.76 c nbDecision=18500 #constraints=14733 371.70/371.84 c nbDecision=19000 #constraints=15110 387.70/387.88 c nbDecision=19500 #constraints=15527 400.69/400.84 c nbDecision=20000 #constraints=15915 412.79/412.94 c nbDecision=20500 #constraints=16342 428.19/428.35 c nbDecision=21000 #constraints=16732 444.68/444.87 c nbDecision=21500 #constraints=17107 460.48/460.62 c nbDecision=22000 #constraints=17463 476.27/476.44 c nbDecision=22500 #constraints=17775 491.17/491.39 c nbDecision=23000 #constraints=18174 513.26/513.40 c nbDecision=23500 #constraints=18577 533.96/534.13 c nbDecision=24000 #constraints=18913 551.85/552.06 c nbDecision=24500 #constraints=19201 570.55/570.76 c nbDecision=25000 #constraints=19470 592.14/592.32 c nbDecision=25500 #constraints=19769 594.94/595.14 c restart after 25601 decisions 700.72/700.92 c nbDecision=26000 #constraints=20082 895.47/895.72 c nbDecision=26500 #constraints=20504 1011.24/1011.57 c nbDecision=27000 #constraints=20853 1091.93/1092.22 c nbDecision=27500 #constraints=21108 1236.69/1237.03 c nbDecision=28000 #constraints=21509 1413.94/1414.32 c nbDecision=28500 #constraints=21954 1545.81/1546.27 c nbDecision=29000 #constraints=22435 1664.99/1665.49 c nbDecision=29500 #constraints=22895 1759.86/1760.33 c nbDecision=30000 #constraints=23283 1800.05/1800.50 Received signal 15 1800.54/1801.04 1800.54/1801.04 s SATISFIABLE 1800.54/1801.04 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 -x29 1800.54/1801.04 v -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 -x55 1800.54/1801.04 v -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 -x81 1800.54/1801.04 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1800.54/1801.04 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.54/1801.04 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.54/1801.04 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.54/1801.04 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.54/1801.04 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.54/1801.04 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 x222 x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.54/1801.04 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.54/1801.04 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.54/1801.04 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.54/1801.04 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 x312 x313 x314 -x315 1800.54/1801.04 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.54/1801.04 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.54/1801.04 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 x372 x373 x374 -x375 -x376 -x377 -x378 1800.54/1801.04 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.54/1801.04 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.54/1801.04 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 x432 x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.54/1801.04 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.54/1801.04 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.54/1801.04 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.54/1801.04 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 x522 x523 x524 -x525 1800.54/1801.04 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.54/1801.04 v -x547 -x548 -x549 -x550 x551 x552 x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.54/1801.04 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 1800.54/1801.04 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.54/1801.04 v -x610 -x611 -x612 -x613 -x614 -x615 x616 x617 x618 x619 x620 x621 x622 x623 x624 x625 -x626 -x627 x628 x629 -x630 x631 -x632 1800.54/1801.04 v -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 1800.54/1801.04 v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 1800.54/1801.04 v -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 1800.54/1801.04 v -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 1800.54/1801.04 v -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 1800.54/1801.04 v -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 1800.54/1801.04 v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 1800.54/1801.04 v -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 1800.54/1801.04 v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 1800.54/1801.04 v -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 1800.54/1801.04 v -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 1800.54/1801.04 v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 1800.54/1801.04 v -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 1800.54/1801.04 v -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 1800.54/1801.04 v -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 1800.54/1801.04 v -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 1800.54/1801.04 v -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 1800.54/1801.04 v -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 -x1007 -x1008 1800.54/1801.04 v -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 1800.54/1801.04 v -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 1800.54/1801.04 v -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 1800.54/1801.04 v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 1800.54/1801.04 v -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 1800.54/1801.04 v -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 1800.54/1801.04 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 1800.54/1801.04 v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 1800.54/1801.04 v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 x1157 x1158 x1159 x1160 x1161 x1162 1800.54/1801.04 v x1163 x1164 x1165 -x1166 x1167 x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 1800.54/1801.04 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 x1197 x1198 1800.54/1801.04 v x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 1800.54/1801.04 v -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 x1227 x1228 x1229 -x1230 -x1231 -x1232 -x1233 1800.54/1801.04 v -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 x1247 x1248 x1249 x1250 x1251 1800.54/1801.04 v x1252 x1253 x1254 x1255 -x1256 -x1257 x1258 x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 1800.54/1801.04 v -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 x1283 -x1284 -x1285 x1286 -x1287 1800.54/1801.04 v x1288 -x1289 x1290 -x1291 -x1292 x1293 -x1294 x1295 x1296 1800.54/1801.04 1800.54/1801.04 c user time= 1800.11 s 1800.54/1801.04 c system time= 0.487925 s 1800.54/1801.04 c wall clock time=1801.04
OK 491516
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node52/watcher-365658-1176995783 -o ROOT/results/node52/solver-365658-1176995783 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365658-1176995783/instance-365658-1176995783.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.96 3/64 13836 /proc/meminfo: memFree=1813460/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=1468 CPUtime=0 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 54423372 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 367 161 131 317 0 46 0 [startup+0.025171 s] /proc/loadavg: 0.92 0.98 0.96 3/64 13836 /proc/meminfo: memFree=1813460/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=1864 CPUtime=0.02 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 280 0 0 0 2 0 0 0 18 0 1 0 54423372 1908736 262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134534230 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 466 262 137 317 0 145 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1864 [startup+0.101176 s] /proc/loadavg: 0.92 0.98 0.96 3/64 13836 /proc/meminfo: memFree=1813460/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=2380 CPUtime=0.09 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 438 0 0 0 9 0 0 0 18 0 1 0 54423372 2437120 420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284215 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 595 420 170 317 0 274 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2380 [startup+0.301189 s] /proc/loadavg: 0.92 0.98 0.96 3/64 13836 /proc/meminfo: memFree=1813460/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=3700 CPUtime=0.29 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 773 0 0 0 29 0 0 0 19 0 1 0 54423372 3788800 755 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 925 755 170 317 0 604 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3700 [startup+0.701215 s] /proc/loadavg: 0.92 0.98 0.96 3/64 13836 /proc/meminfo: memFree=1813460/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=5680 CPUtime=0.69 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 1275 0 0 0 69 0 0 0 22 0 1 0 54423372 5816320 1257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 1420 1257 170 317 0 1099 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5680 [startup+1.50127 s] /proc/loadavg: 0.92 0.98 0.96 2/65 13837 /proc/meminfo: memFree=1807692/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=9632 CPUtime=1.49 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 2256 0 0 0 148 1 0 0 25 0 1 0 54423372 9863168 2238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 2408 2238 170 317 0 2087 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9632 [startup+3.10138 s] /proc/loadavg: 0.92 0.98 0.96 2/65 13837 /proc/meminfo: memFree=1803020/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=15828 CPUtime=3.09 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 3789 0 0 0 308 1 0 0 25 0 1 0 54423372 16207872 3771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 3957 3771 170 317 0 3636 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15828 [startup+6.30159 s] /proc/loadavg: 0.93 0.98 0.96 2/65 13837 /proc/meminfo: memFree=1792268/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=24556 CPUtime=6.29 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 5919 0 0 0 626 3 0 0 25 0 1 0 54423372 25145344 5901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 6139 5901 170 317 0 5818 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24556 [startup+12.701 s] /proc/loadavg: 0.93 0.98 0.96 2/65 13837 /proc/meminfo: memFree=1779412/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=35964 CPUtime=12.69 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 8747 0 0 0 1265 4 0 0 25 0 1 0 54423372 36827136 8729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 8991 8729 170 317 0 8670 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 35964 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.96 2/65 13837 /proc/meminfo: memFree=1767380/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=48184 CPUtime=25.49 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 11673 0 0 0 2543 6 0 0 25 0 1 0 54423372 49340416 11655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713792 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 12046 11655 170 317 0 11725 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 48184 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.96 2/65 13837 /proc/meminfo: memFree=1754324/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=61144 CPUtime=51.08 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 14957 0 0 0 5100 8 0 0 25 0 1 0 54423372 62611456 14939 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 15286 14939 170 317 0 14965 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 61144 [startup+102.304 s] /proc/loadavg: 0.98 0.98 0.96 2/65 13837 /proc/meminfo: memFree=1713556/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=101780 CPUtime=102.26 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 25037 0 0 0 10211 15 0 0 25 0 1 0 54423372 104222720 25019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 25445 25019 170 317 0 25124 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 101780 [startup+162.301 s] /proc/loadavg: 1.05 1.00 0.96 2/65 13837 /proc/meminfo: memFree=1679124/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=139336 CPUtime=162.25 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 33745 0 0 0 16205 20 0 0 25 0 1 0 54423372 142680064 33670 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 34834 33670 170 317 0 34513 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 139336 [startup+222.301 s] /proc/loadavg: 1.02 1.00 0.96 2/65 13837 /proc/meminfo: memFree=1654996/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=162504 CPUtime=222.24 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 39697 0 0 0 22201 23 0 0 25 0 1 0 54423372 166404096 39622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 40626 39622 170 317 0 40305 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 162504 [startup+282.301 s] /proc/loadavg: 1.04 1.01 0.97 2/65 13837 /proc/meminfo: memFree=1632212/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=186236 CPUtime=282.22 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 45414 0 0 0 28196 26 0 0 25 0 1 0 54423372 190705664 45339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 46559 45339 170 317 0 46238 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 186236 [startup+342.301 s] /proc/loadavg: 1.01 1.01 0.97 2/65 13837 /proc/meminfo: memFree=1609364/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=208892 CPUtime=342.21 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 51069 0 0 0 34192 29 0 0 25 0 1 0 54423372 213905408 50994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 52223 50994 170 317 0 51902 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 208892 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.97 2/65 13837 /proc/meminfo: memFree=1588308/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=231156 CPUtime=402.19 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 56372 0 0 0 40188 31 0 0 25 0 1 0 54423372 236703744 56297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 57789 56297 170 317 0 57468 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 231156 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.97 2/65 13837 /proc/meminfo: memFree=1570388/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=251552 CPUtime=462.18 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 60882 0 0 0 46184 34 0 0 25 0 1 0 54423372 257589248 60694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 62888 60694 170 317 0 62567 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 251552 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.97 2/65 13837 /proc/meminfo: memFree=1555988/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=266964 CPUtime=522.16 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 64523 0 0 0 52180 36 0 0 25 0 1 0 54423372 273371136 64302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 66741 64302 170 317 0 66420 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 266964 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 13837 /proc/meminfo: memFree=1543892/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=280416 CPUtime=582.15 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 67783 0 0 0 58177 38 0 0 25 0 1 0 54423372 287145984 67331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 70104 67331 170 317 0 69783 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 280416 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 13837 /proc/meminfo: memFree=1539092/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=284912 CPUtime=642.14 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 68948 0 0 0 64175 39 0 0 25 0 1 0 54423372 291749888 68496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 71228 68496 170 317 0 70907 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 284912 ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 13837 /proc/meminfo: memFree=1518996/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=310152 CPUtime=1002.04 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 73968 0 0 0 100163 41 0 0 25 0 1 0 54423372 317595648 73516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 77538 73516 170 317 0 77217 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 310152 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 13837 /proc/meminfo: memFree=1514836/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=314972 CPUtime=1062.03 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 75054 0 0 0 106161 42 0 0 25 0 1 0 54423372 322531328 74569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715674 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 78743 74569 170 317 0 78422 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 314972 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 13837 /proc/meminfo: memFree=1511188/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=318848 CPUtime=1122.01 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 75951 0 0 0 112159 42 0 0 25 0 1 0 54423372 326500352 75466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 79712 75466 170 317 0 79391 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 318848 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 13837 /proc/meminfo: memFree=1508116/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=321752 CPUtime=1182 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 76721 0 0 0 118157 43 0 0 25 0 1 0 54423372 329474048 76236 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 80438 76236 170 317 0 80117 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 321752 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 13837 /proc/meminfo: memFree=1505300/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=324368 CPUtime=1241.98 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 77401 0 0 0 124155 43 0 0 25 0 1 0 54423372 332152832 76916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 81092 76916 170 317 0 80771 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 324368 [startup+1302.3 s] /proc/loadavg: 1.05 1.01 0.97 2/65 13837 /proc/meminfo: memFree=1502612/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=326744 CPUtime=1301.98 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 78053 0 0 0 130154 44 0 0 25 0 1 0 54423372 334585856 77568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 81686 77568 170 317 0 81365 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 326744 [startup+1362.3 s] /proc/loadavg: 1.02 1.01 0.97 2/65 13837 /proc/meminfo: memFree=1499476/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=329864 CPUtime=1361.96 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 78852 0 0 0 136152 44 0 0 25 0 1 0 54423372 337780736 78367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 82466 78367 170 317 0 82145 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 329864 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/65 13837 /proc/meminfo: memFree=1495380/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=335272 CPUtime=1421.94 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 79861 0 0 0 142150 44 0 0 25 0 1 0 54423372 343318528 79376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 83818 79376 170 317 0 83497 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 335272 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 13837 /proc/meminfo: memFree=1491412/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=338980 CPUtime=1481.92 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 80848 0 0 0 148147 45 0 0 25 0 1 0 54423372 347115520 80363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 84745 80363 170 317 0 84424 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 338980 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 13837 /proc/meminfo: memFree=1486804/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=343416 CPUtime=1541.91 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 81997 0 0 0 154145 46 0 0 25 0 1 0 54423372 351657984 81512 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 85854 81512 170 317 0 85533 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 343416 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 13837 /proc/meminfo: memFree=1481876/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=348532 CPUtime=1601.89 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 83255 0 0 0 160143 46 0 0 25 0 1 0 54423372 356896768 82770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 87133 82770 170 317 0 86812 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 348532 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 13837 /proc/meminfo: memFree=1477396/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=352352 CPUtime=1661.88 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 84354 0 0 0 166141 47 0 0 25 0 1 0 54423372 360808448 83869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 88088 83869 170 317 0 87767 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 352352 [startup+1722.3 s] /proc/loadavg: 1.06 1.01 0.98 2/65 13837 /proc/meminfo: memFree=1472660/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=356920 CPUtime=1721.87 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 85553 0 0 0 172139 48 0 0 25 0 1 0 54423372 365486080 85068 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 89230 85068 170 317 0 88909 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 356920 [startup+1782.3 s] /proc/loadavg: 1.18 1.06 1.00 2/65 13837 /proc/meminfo: memFree=1468372/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=360784 CPUtime=1781.85 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 86599 0 0 0 178137 48 0 0 25 0 1 0 54423372 369442816 86114 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 90196 86114 170 317 0 89875 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 360784 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.13 1.05 1.00 2/65 13837 /proc/meminfo: memFree=1467860/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=361168 CPUtime=1800.05 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 86714 0 0 0 179957 48 0 0 25 0 1 0 54423372 369836032 86229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 90292 86229 170 317 0 89971 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 361168 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.13 1.05 1.00 2/66 13838 /proc/meminfo: memFree=1467852/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=361168 CPUtime=1800.15 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 86714 0 0 0 179967 48 0 0 25 0 1 0 54423372 369836032 86229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 90292 86229 170 317 0 89971 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 361168 [startup+1801 s] /proc/loadavg: 1.13 1.05 1.00 2/66 13838 /proc/meminfo: memFree=1467852/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=361168 CPUtime=1800.54 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194304 86714 0 0 0 180006 48 0 0 25 0 1 0 54423372 369836032 86229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 90292 86229 170 317 0 89971 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (KiB) 361168 [startup+1801.1 s] /proc/loadavg: 1.13 1.05 1.00 2/66 13838 /proc/meminfo: memFree=1467852/2055920 swapFree=4182956/4192956 [pid=13836] ppid=13834 vsize=0 CPUtime=1800.65 /proc/13836/stat : 13836 (oree) R 13834 13836 13123 0 -1 4194308 86730 0 0 0 180011 54 0 0 25 0 1 0 54423372 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13836/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.11 CPU time (s): 1800.66 CPU user time (s): 1800.12 CPU system time (s): 0.543917 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 361168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.12 system time used= 0.543917 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 86730 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= 3422 runsolver used 1.16782 second user time and 3.76343 second system time The end
Begin job on node52 on Thu Apr 19 15:16:23 UTC 2007 IDJOB= 365658 IDBENCH= 2473 IDSOLVER= 172 FILE ID= node52/365658-1176995783 PBS_JOBID= 4630454 Free space on /tmp= 66312 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sample2.opb COMMAND LINE= oree /tmp/evaluation/365658-1176995783/instance-365658-1176995783.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-365658-1176995783 -o ROOT/results/node52/solver-365658-1176995783 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365658-1176995783/instance-365658-1176995783.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= f72f6e3cf70b31c2d253740c5b04c4f6 RANDOM SEED= 293576829 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node52.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.236 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.236 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: 1813804 kB Buffers: 11772 kB Cached: 181324 kB SwapCached: 3832 kB Active: 64856 kB Inactive: 137864 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1813804 kB SwapTotal: 4192956 kB SwapFree: 4182956 kB Dirty: 1344 kB Writeback: 0 kB Mapped: 15612 kB Slab: 25296 kB Committed_AS: 1630360 kB PageTables: 1484 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= 66312 MiB End job on node52 on Thu Apr 19 15:46:26 UTC 2007