Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 7 | 1800.32 | 1800.93 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_1.opb |
MD5SUM | aa10899bd7f711370f6ef9f1251ce7f2 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 61.3037 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
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 | 100 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 44 |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 3038 |
Sum of products size (including duplicates) | 6076 |
Number of different products | 3038 |
Sum of products size | 6076 |
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.02/0.04 c ...done 0.02/0.04 c #vars=3138 #constraints=6177 hasObjective=yes 0.02/0.08 c res. mode=mod 0.02/0.08 c VSIDS like heuristics 0.02/0.08 c complete search running 0.02/0.08 c nbDecision=92 #constraints=6177 0.02/0.08 c linear search for optimum 0.02/0.08 o 8 0.49/0.58 c restart after 401 decisions 0.59/0.64 c nbDecision=500 #constraints=6494 1.29/1.36 c restart after 801 decisions 1.59/1.69 c nbDecision=1000 #constraints=6883 3.29/3.36 c nbDecision=1500 #constraints=7335 3.39/3.41 c nbDecision=1512 #constraints=7343 3.39/3.41 o 7 3.79/3.84 c restart after 1601 decisions 5.28/5.30 c nbDecision=2000 #constraints=7666 7.89/7.91 c nbDecision=2500 #constraints=8044 11.59/11.62 c nbDecision=3000 #constraints=8457 13.19/13.20 c restart after 3201 decisions 15.09/15.14 c nbDecision=3500 #constraints=8802 20.18/20.25 c nbDecision=4000 #constraints=9217 25.29/25.31 c nbDecision=4500 #constraints=9625 32.48/32.59 c nbDecision=5000 #constraints=10072 38.98/39.06 c nbDecision=5500 #constraints=10526 45.98/46.08 c nbDecision=6000 #constraints=10937 53.18/53.20 c restart after 6401 decisions 54.48/54.56 c nbDecision=6500 #constraints=11293 63.27/63.37 c nbDecision=7000 #constraints=11730 74.07/74.12 c nbDecision=7500 #constraints=12185 83.66/83.79 c nbDecision=8000 #constraints=12621 94.57/94.67 c nbDecision=8500 #constraints=13048 107.67/107.78 c nbDecision=9000 #constraints=13490 122.45/122.59 c nbDecision=9500 #constraints=13955 139.05/139.17 c nbDecision=10000 #constraints=14420 151.45/151.51 c nbDecision=10500 #constraints=14870 164.04/164.18 c nbDecision=11000 #constraints=15277 179.84/179.91 c nbDecision=11500 #constraints=15704 196.63/196.79 c nbDecision=12000 #constraints=16140 213.23/213.30 c nbDecision=12500 #constraints=16568 225.22/225.32 c restart after 12801 decisions 231.52/231.61 c nbDecision=13000 #constraints=16934 252.52/252.61 c nbDecision=13500 #constraints=17381 273.11/273.22 c nbDecision=14000 #constraints=17816 297.00/297.15 c nbDecision=14500 #constraints=18266 315.80/315.91 c nbDecision=15000 #constraints=18677 336.00/336.11 c nbDecision=15500 #constraints=19086 360.10/360.27 c nbDecision=16000 #constraints=19500 384.38/384.55 c nbDecision=16500 #constraints=19940 407.27/407.45 c nbDecision=17000 #constraints=20360 433.17/433.36 c nbDecision=17500 #constraints=20798 460.26/460.42 c nbDecision=18000 #constraints=21223 490.76/490.91 c nbDecision=18500 #constraints=21690 518.05/518.27 c nbDecision=19000 #constraints=22120 550.53/550.76 c nbDecision=19500 #constraints=22547 582.13/582.39 c nbDecision=20000 #constraints=22994 610.22/610.42 c nbDecision=20500 #constraints=23402 643.11/643.36 c nbDecision=21000 #constraints=23845 677.70/677.91 c nbDecision=21500 #constraints=24306 709.49/709.71 c nbDecision=22000 #constraints=24735 743.39/743.62 c nbDecision=22500 #constraints=25179 784.27/784.50 c nbDecision=23000 #constraints=25633 818.47/818.76 c nbDecision=23500 #constraints=26077 858.20/858.54 c nbDecision=24000 #constraints=26521 903.63/904.08 c nbDecision=24500 #constraints=26971 948.52/948.95 c nbDecision=25000 #constraints=27416 996.21/996.67 c nbDecision=25500 #constraints=27855 1005.71/1006.18 c restart after 25601 decisions 1040.10/1040.59 c nbDecision=26000 #constraints=28220 1075.09/1075.54 c nbDecision=26500 #constraints=28621 1117.88/1118.37 c nbDecision=27000 #constraints=29063 1158.66/1159.12 c nbDecision=27500 #constraints=29482 1200.65/1201.13 c nbDecision=28000 #constraints=29897 1243.44/1243.97 c nbDecision=28500 #constraints=30318 1289.53/1290.02 c nbDecision=29000 #constraints=30762 1335.52/1336.08 c nbDecision=29500 #constraints=31185 1387.09/1387.63 c nbDecision=30000 #constraints=31626 1434.78/1435.38 c nbDecision=30500 #constraints=32035 1487.87/1488.48 c nbDecision=31000 #constraints=32460 1544.75/1545.37 c nbDecision=31500 #constraints=32884 1607.44/1608.09 c nbDecision=32000 #constraints=33363 1672.02/1672.61 c nbDecision=32500 #constraints=33830 1727.90/1728.57 c nbDecision=33000 #constraints=34269 1767.80/1768.41 c nbDecision=33500 #constraints=34664 1800.09/1800.71 Received signal 15 1800.19/1800.86 1800.19/1800.86 s SATISFIABLE 1800.19/1800.86 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.19/1800.86 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.19/1800.86 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.19/1800.86 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 -x105 -x106 1800.19/1800.86 v x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1800.19/1800.86 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1800.19/1800.86 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 1800.19/1800.86 v -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1800.19/1800.86 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1800.19/1800.86 v -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 1800.19/1800.86 v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 1800.19/1800.86 v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1800.19/1800.86 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1800.19/1800.86 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 1800.19/1800.86 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1800.19/1800.86 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1800.19/1800.86 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 1800.19/1800.86 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1800.19/1800.86 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 1800.19/1800.86 v x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1800.19/1800.86 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 1800.19/1800.86 v -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 1800.19/1800.86 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 1800.19/1800.86 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 1800.19/1800.86 v x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 x546 -x547 1800.19/1800.86 v -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 1800.19/1800.86 v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 1800.19/1800.86 v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 1800.19/1800.86 v -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 1800.19/1800.86 v -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 1800.19/1800.86 v x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 1800.19/1800.86 v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 1800.19/1800.86 v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 1800.19/1800.86 v x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 1800.19/1800.86 v -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 1800.19/1800.86 v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 1800.19/1800.86 v -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 1800.19/1800.86 v -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 x818 -x819 -x820 1800.19/1800.86 v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 1800.19/1800.86 v -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 1800.19/1800.86 v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 1800.19/1800.86 v -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 x900 -x901 -x902 -x903 -x904 1800.19/1800.86 v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 x919 -x920 -x921 -x922 -x923 -x924 -x925 1800.19/1800.86 v -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 x941 -x942 x943 -x944 -x945 -x946 1800.19/1800.86 v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 x957 -x958 x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 1800.19/1800.86 v -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 1800.19/1800.86 v -x989 -x990 -x991 -x992 -x993 x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 1800.19/1800.86 v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 1800.19/1800.86 v -x1025 -x1026 -x1027 -x1028 -x1029 x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 1800.19/1800.86 v -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 1800.19/1800.86 v -x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 1800.19/1800.86 v -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 x1093 1800.19/1800.86 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 1800.19/1800.86 v -x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 1800.19/1800.86 v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 1800.19/1800.86 v x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 x1162 -x1163 1800.19/1800.86 v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 1800.19/1800.86 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 1800.19/1800.86 v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 1800.19/1800.86 v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 x1228 -x1229 -x1230 x1231 -x1232 1800.19/1800.86 v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 1800.19/1800.86 v -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 1800.19/1800.86 v -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 1800.19/1800.86 v -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 x1296 -x1297 -x1298 -x1299 x1300 -x1301 1800.19/1800.86 v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 1800.19/1800.86 v -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x1330 -x1331 -x1332 -x1333 -x1334 -x1335 1800.19/1800.86 v -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 1800.19/1800.86 v -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 1800.19/1800.86 v -x1371 -x1372 x1373 -x1374 -x1375 -x1376 -x1377 -x1378 x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 1800.19/1800.86 v -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 x1396 -x1397 x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 1800.19/1800.86 v -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 1800.19/1800.86 v -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 1800.19/1800.86 v -x1441 -x1442 x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 1800.19/1800.86 v -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 1800.19/1800.86 v -x1475 -x1476 x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 1800.19/1800.86 v -x1492 x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 1800.19/1800.86 v -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 x1524 -x1525 1800.19/1800.86 v -x1526 -x1527 x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 x1540 -x1541 -x1542 -x1543 1800.19/1800.86 v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 1800.19/1800.86 v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 x1570 x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 1800.19/1800.86 v -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 1800.19/1800.86 v -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 1800.19/1800.86 v -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 x1626 -x1627 -x1628 -x1629 -x1630 1800.19/1800.86 v -x1631 -x1632 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 1800.19/1800.86 v -x1648 -x1649 -x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 1800.19/1800.86 v -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 1800.19/1800.86 v -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 1800.19/1800.86 v -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 x1713 -x1714 -x1715 1800.19/1800.86 v -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 1800.19/1800.86 v -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 x1740 -x1741 -x1742 x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 1800.19/1800.86 v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 1800.19/1800.86 v -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 1800.19/1800.86 v -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 1800.19/1800.86 v -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 1800.19/1800.86 v -x1819 -x1820 -x1821 -x1822 x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 1800.19/1800.86 v -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 1800.19/1800.86 v -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 1800.19/1800.86 v -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 x1880 x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 1800.19/1800.86 v -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 1800.19/1800.86 v -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 1800.19/1800.86 v -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 1800.19/1800.86 v -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 1800.19/1800.86 v -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 x1972 x1973 -x1974 1800.19/1800.86 v -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 1800.19/1800.86 v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 x2005 x2006 -x2007 x2008 -x2009 1800.19/1800.86 v -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 1800.19/1800.86 v -x2027 -x2028 x2029 x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 1800.19/1800.86 v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 x2060 -x2061 1800.19/1800.86 v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 1800.19/1800.86 v -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 1800.19/1800.86 v x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 1800.19/1800.86 v x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 1800.19/1800.86 v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 1800.19/1800.86 v -x2148 -x2149 -x2150 -x2151 x2152 x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 1800.19/1800.86 v -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 1800.19/1800.86 v x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 1800.19/1800.86 v -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 x2208 -x2209 -x2210 -x2211 -x2212 x2213 -x2214 -x2215 -x2216 -x2217 1800.19/1800.86 v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 x2232 x2233 -x2234 x2235 1800.19/1800.86 v -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 1800.19/1800.86 v -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 x2265 x2266 x2267 -x2268 -x2269 -x2270 1800.19/1800.86 v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 1800.19/1800.86 v -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 x2298 x2299 x2300 -x2301 -x2302 -x2303 -x2304 -x2305 1800.19/1800.86 v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 1800.19/1800.86 v -x2323 x2324 x2325 -x2326 -x2327 -x2328 -x2329 x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 1800.19/1800.86 v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 x2354 -x2355 -x2356 -x2357 1800.19/1800.86 v -x2358 x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 1800.19/1800.86 v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 1800.19/1800.86 v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 1800.19/1800.86 v -x2409 -x2410 x2411 x2412 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 1800.19/1800.86 v -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 x2440 -x2441 -x2442 -x2443 1800.19/1800.86 v -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 1800.19/1800.86 v -x2461 -x2462 -x2463 x2464 -x2465 -x2466 x2467 x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 1800.19/1800.86 v -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 x2489 -x2490 x2491 -x2492 -x2493 -x2494 -x2495 -x2496 1800.19/1800.86 v -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 1800.19/1800.86 v -x2514 x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 1800.19/1800.86 v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 x2545 -x2546 -x2547 1800.19/1800.86 v -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 1800.19/1800.86 v -x2565 -x2566 -x2567 x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 1800.19/1800.86 v -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 1800.19/1800.86 v -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 1800.19/1800.86 v -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 1800.19/1800.86 v -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 x2646 x2647 -x2648 -x2649 -x2650 1800.19/1800.86 v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 1800.19/1800.86 v -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 x2674 x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 1800.19/1800.86 v -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 x2700 -x2701 -x2702 1800.19/1800.86 v -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 1800.19/1800.86 v -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 1800.19/1800.86 v -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 1800.19/1800.86 v -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 1800.19/1800.86 v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 1800.19/1800.86 v -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 1800.19/1800.86 v -x2805 x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 1800.19/1800.86 v -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 x2832 -x2833 x2834 -x2835 -x2836 -x2837 -x2838 -x2839 1800.19/1800.86 v -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 x2856 1800.19/1800.86 v -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 1800.19/1800.86 v -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 x2883 x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 1800.19/1800.86 v -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 1800.19/1800.86 v x2909 -x2910 x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 1800.19/1800.86 v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 1800.19/1800.86 v -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 1800.19/1800.86 v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 1800.19/1800.86 v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 x2984 -x2985 -x2986 x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 1800.19/1800.86 v -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 1800.19/1800.86 v -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 1800.19/1800.86 v -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 1800.19/1800.86 v -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 x3059 x3060 -x3061 x3062 x3063 -x3064 1800.19/1800.86 v -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 1800.19/1800.86 v -x3082 -x3083 -x3084 -x3085 -x3086 x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 1800.19/1800.86 v -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 x3113 -x3114 -x3115 1800.19/1800.86 v -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 1800.19/1800.86 v -x3133 -x3134 -x3135 -x3136 -x3137 x3138 1800.19/1800.86 1800.19/1800.86 c user time= 1799.73 s 1800.19/1800.86 c system time= 0.535918 s 1800.19/1800.86 c wall clock time=1800.87
OK 7
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/453155-1178120820/instance-453155-1178120820.opb mv /tmp/evaluation/453155-1178120820/instance-453155-1178120820.opb.tmp /tmp/evaluation/453155-1178120820/instance-453155-1178120820.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-453155-1178120820 -o ROOT/results/node12/solver-453155-1178120820 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453155-1178120820/instance-453155-1178120820.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: 1.04 1.10 1.03 3/77 6119 /proc/meminfo: memFree=1759904/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=1468 CPUtime=0 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 288119386 1503232 165 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 367 165 130 317 0 46 0 [startup+0.0238239 s] /proc/loadavg: 1.04 1.10 1.03 3/77 6119 /proc/meminfo: memFree=1759904/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=2132 CPUtime=0.02 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 336 0 0 0 2 0 0 0 18 0 1 0 288119386 2183168 319 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 533 319 132 317 0 212 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2132 [startup+0.101832 s] /proc/loadavg: 1.04 1.10 1.03 3/77 6119 /proc/meminfo: memFree=1759904/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=4044 CPUtime=0.09 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 863 0 0 0 9 0 0 0 18 0 1 0 288119386 4141056 803 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135279015 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 1011 803 170 317 0 690 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4044 [startup+0.301852 s] /proc/loadavg: 1.04 1.10 1.03 3/77 6119 /proc/meminfo: memFree=1759904/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=5252 CPUtime=0.29 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 1157 0 0 0 29 0 0 0 19 0 1 0 288119386 5378048 1097 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 1313 1097 170 317 0 992 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5252 [startup+0.701893 s] /proc/loadavg: 1.04 1.10 1.03 3/77 6119 /proc/meminfo: memFree=1759904/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=7124 CPUtime=0.69 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 1614 0 0 0 69 0 0 0 22 0 1 0 288119386 7294976 1554 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 1781 1554 170 317 0 1460 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7124 [startup+1.50197 s] /proc/loadavg: 1.04 1.10 1.03 2/78 6120 /proc/meminfo: memFree=1753048/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=10024 CPUtime=1.49 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 2328 0 0 0 149 0 0 0 25 0 1 0 288119386 10264576 2268 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 2506 2268 170 317 0 2185 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10024 [startup+3.10113 s] /proc/loadavg: 1.04 1.10 1.03 2/78 6120 /proc/meminfo: memFree=1749336/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=14776 CPUtime=3.09 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 3510 0 0 0 308 1 0 0 25 0 1 0 288119386 15130624 3450 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 3694 3450 170 317 0 3373 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14776 [startup+6.30145 s] /proc/loadavg: 1.04 1.09 1.02 2/78 6120 /proc/meminfo: memFree=1742744/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=20060 CPUtime=6.28 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 4837 0 0 0 627 1 0 0 25 0 1 0 288119386 20541440 4777 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710858 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 5015 4777 170 317 0 4694 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 20060 [startup+12.7011 s] /proc/loadavg: 1.03 1.09 1.02 2/78 6120 /proc/meminfo: memFree=1734616/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=27564 CPUtime=12.68 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 6687 0 0 0 1266 2 0 0 25 0 1 0 288119386 28225536 6627 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 6891 6627 170 317 0 6570 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 27564 [startup+25.5014 s] /proc/loadavg: 1.02 1.09 1.02 2/78 6120 /proc/meminfo: memFree=1722520/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=39516 CPUtime=25.48 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 9595 0 0 0 2544 4 0 0 25 0 1 0 288119386 40464384 9535 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 9879 9535 170 317 0 9558 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39516 [startup+51.1019 s] /proc/loadavg: 1.02 1.08 1.02 2/78 6120 /proc/meminfo: memFree=1707352/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=54628 CPUtime=51.08 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 13372 0 0 0 5102 6 0 0 25 0 1 0 288119386 55939072 13312 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 13657 13312 170 317 0 13336 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 54628 [startup+102.305 s] /proc/loadavg: 1.00 1.06 1.02 2/78 6120 /proc/meminfo: memFree=1683672/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=79456 CPUtime=102.26 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 19315 0 0 0 10217 9 0 0 25 0 1 0 288119386 81362944 19170 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 19864 19170 170 317 0 19543 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 79456 [startup+162.301 s] /proc/loadavg: 1.00 1.05 1.01 2/78 6120 /proc/meminfo: memFree=1661912/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=101232 CPUtime=162.24 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 24785 0 0 0 16212 12 0 0 25 0 1 0 288119386 103661568 24640 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 25308 24640 170 317 0 24987 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 101232 [startup+222.301 s] /proc/loadavg: 1.00 1.04 1.00 2/78 6120 /proc/meminfo: memFree=1644888/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=119748 CPUtime=222.23 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 28999 0 0 0 22208 15 0 0 25 0 1 0 288119386 122621952 28854 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134593543 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 29937 28854 170 317 0 29616 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 119748 [startup+282.301 s] /proc/loadavg: 1.00 1.03 1.00 2/78 6120 /proc/meminfo: memFree=1631128/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=134032 CPUtime=282.21 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 32435 0 0 0 28204 17 0 0 25 0 1 0 288119386 137248768 32290 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 33508 32290 170 317 0 33187 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 134032 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.00 2/78 6120 /proc/meminfo: memFree=1618840/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=146280 CPUtime=342.2 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 35442 0 0 0 34200 20 0 0 25 0 1 0 288119386 149790720 35297 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 36570 35297 170 317 0 36249 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 146280 [startup+402.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 6120 /proc/meminfo: memFree=1608536/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=158096 CPUtime=402.18 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 38095 0 0 0 40196 22 0 0 25 0 1 0 288119386 161890304 37950 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 39524 37950 170 317 0 39203 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 158096 [startup+462.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 6120 /proc/meminfo: memFree=1599000/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=167452 CPUtime=462.16 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 40407 0 0 0 46192 24 0 0 25 0 1 0 288119386 171470848 40262 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 41863 40262 170 317 0 41542 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 167452 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6120 /proc/meminfo: memFree=1590104/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=176636 CPUtime=522.15 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 42630 0 0 0 52189 26 0 0 25 0 1 0 288119386 180875264 42485 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 44159 42485 170 317 0 43838 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 176636 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6120 /proc/meminfo: memFree=1581912/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=185056 CPUtime=582.13 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 44686 0 0 0 58186 27 0 0 25 0 1 0 288119386 189497344 44541 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 46264 44541 170 317 0 45943 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 185056 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6120 /proc/meminfo: memFree=1572696/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=194644 CPUtime=642.12 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 46950 0 0 0 64183 29 0 0 25 0 1 0 288119386 199315456 46805 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 48661 46805 170 317 0 48340 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 194644 ################ # More data... # ################ [startup+942.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6318 /proc/meminfo: memFree=1536152/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=232572 CPUtime=941.93 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 56218 0 0 0 94156 37 0 0 25 0 1 0 288119386 238153728 55904 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 58143 55904 170 317 0 57822 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 232572 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6318 /proc/meminfo: memFree=1530648/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=237588 CPUtime=1001.91 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 57556 0 0 0 100153 38 0 0 25 0 1 0 288119386 243290112 57242 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 59397 57242 170 317 0 59076 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 237588 [startup+1062.3 s] /proc/loadavg: 1.07 1.02 1.00 2/78 6318 /proc/meminfo: memFree=1524952/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=243692 CPUtime=1061.89 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 59035 0 0 0 106150 39 0 0 25 0 1 0 288119386 249540608 58721 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710960 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 60923 58721 170 317 0 60602 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 243692 [startup+1122.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 6318 /proc/meminfo: memFree=1518168/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=250412 CPUtime=1121.88 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 60703 0 0 0 112148 40 0 0 25 0 1 0 288119386 256421888 60389 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 62603 60389 170 317 0 62282 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 250412 [startup+1182.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 6318 /proc/meminfo: memFree=1511960/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=257088 CPUtime=1181.86 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 62277 0 0 0 118145 41 0 0 25 0 1 0 288119386 263258112 61963 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712497 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 64272 61963 170 317 0 63951 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 257088 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6318 /proc/meminfo: memFree=1505944/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=263356 CPUtime=1241.84 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 63741 0 0 0 124142 42 0 0 25 0 1 0 288119386 269676544 63427 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 65839 63427 170 317 0 65518 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 263356 [startup+1302.3 s] /proc/loadavg: 1.04 1.01 1.00 2/78 6318 /proc/meminfo: memFree=1499544/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=269456 CPUtime=1301.83 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 65330 0 0 0 130140 43 0 0 25 0 1 0 288119386 275922944 65016 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 67364 65016 170 317 0 67043 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 269456 [startup+1362.3 s] /proc/loadavg: 1.01 1.01 1.00 3/78 6318 /proc/meminfo: memFree=1493208/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=276032 CPUtime=1361.81 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 66916 0 0 0 136136 45 0 0 25 0 1 0 288119386 282656768 66602 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 69008 66602 170 317 0 68687 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 276032 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 3/78 6318 /proc/meminfo: memFree=1486168/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=284784 CPUtime=1421.79 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 68648 0 0 0 142133 46 0 0 25 0 1 0 288119386 291618816 68334 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 71196 68334 170 317 0 70875 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 284784 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6318 /proc/meminfo: memFree=1481688/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=289104 CPUtime=1481.78 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 69756 0 0 0 148131 47 0 0 25 0 1 0 288119386 296042496 69442 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 72276 69442 170 317 0 71955 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 289104 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6318 /proc/meminfo: memFree=1477080/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=294096 CPUtime=1541.75 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 70941 0 0 0 154127 48 0 0 25 0 1 0 288119386 301154304 70594 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 73524 70594 170 317 0 73203 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 294096 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6318 /proc/meminfo: memFree=1470552/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=301272 CPUtime=1601.74 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 72600 0 0 0 160125 49 0 0 25 0 1 0 288119386 308502528 72253 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 75318 72253 170 317 0 74997 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 301272 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6318 /proc/meminfo: memFree=1464920/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=306640 CPUtime=1661.72 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 73965 0 0 0 166122 50 0 0 25 0 1 0 288119386 313999360 73618 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 76660 73618 170 317 0 76339 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 306640 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 6318 /proc/meminfo: memFree=1460120/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=311188 CPUtime=1721.71 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 75170 0 0 0 172119 52 0 0 25 0 1 0 288119386 318656512 74823 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 77797 74823 170 317 0 77476 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 311188 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 6318 /proc/meminfo: memFree=1453848/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=319064 CPUtime=1781.69 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 76722 0 0 0 178116 53 0 0 25 0 1 0 288119386 326721536 76375 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 79766 76375 170 317 0 79445 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 319064 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6318 /proc/meminfo: memFree=1452184/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=320680 CPUtime=1800.09 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 77140 0 0 0 179956 53 0 0 25 0 1 0 288119386 328376320 76793 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 80170 76793 170 317 0 79849 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 320680 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6318 /proc/meminfo: memFree=1452184/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=320680 CPUtime=1800.19 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194304 77140 0 0 0 179966 53 0 0 25 0 1 0 288119386 328376320 76793 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 80170 76793 170 317 0 79849 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 320680 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6318 /proc/meminfo: memFree=1452184/2055920 swapFree=4160052/4192956 [pid=6119] ppid=6117 vsize=0 CPUtime=1800.29 /proc/6119/stat : 6119 (oree) R 6117 6119 5157 0 -1 4194308 77156 0 0 0 179973 56 0 0 25 0 1 0 288119386 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6119/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.93 CPU time (s): 1800.32 CPU user time (s): 1799.73 CPU system time (s): 0.58791 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (KiB): 320680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.73 system time used= 0.58791 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 77156 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= 3632 runsolver used 1.38879 second user time and 3.99139 second system time The end
Begin job on node12 on Wed May 2 15:47:00 UTC 2007 IDJOB= 453155 IDBENCH= 48111 IDSOLVER= 172 FILE ID= node12/453155-1178120820 PBS_JOBID= 4751014 Free space on /tmp= 66563 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_1.opb COMMAND LINE= oree /tmp/evaluation/453155-1178120820/instance-453155-1178120820.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node12/convwatcher-453155-1178120820 -o ROOT/results/node12/conversion-453155-1178120820 -C 600 -M 1800 /tmp/evaluation/453155-1178120820/substituteSizeProductKeyword /tmp/evaluation/453155-1178120820/instance-453155-1178120820.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-453155-1178120820 -o ROOT/results/node12/solver-453155-1178120820 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453155-1178120820/instance-453155-1178120820.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= aa10899bd7f711370f6ef9f1251ce7f2 RANDOM SEED= 528505731 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.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.239 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.239 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: 1760376 kB Buffers: 96780 kB Cached: 102784 kB SwapCached: 11848 kB Active: 112648 kB Inactive: 113236 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1760376 kB SwapTotal: 4192956 kB SwapFree: 4160052 kB Dirty: 1368 kB Writeback: 0 kB Mapped: 33008 kB Slab: 55172 kB Committed_AS: 10618120 kB PageTables: 1796 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= 66563 MiB End job on node12 on Wed May 2 16:17:03 UTC 2007