Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 7 | 1800.29 | 1800.97 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_2.opb |
MD5SUM | 1e64c526f9351931db225cdff75c2df5 |
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 | 70.5713 |
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 | 46 |
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) | 3074 |
Sum of products size (including duplicates) | 6148 |
Number of different products | 3074 |
Sum of products size | 6148 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.04 c ...done 0.00/0.04 c #vars=3174 #constraints=6249 hasObjective=yes 0.03/0.08 c res. mode=mod 0.03/0.08 c VSIDS like heuristics 0.03/0.08 c complete search running 0.03/0.09 c nbDecision=89 #constraints=6249 0.03/0.09 c linear search for optimum 0.03/0.09 o 11 0.03/0.09 c nbDecision=90 #constraints=6251 0.03/0.09 o 10 0.03/0.09 c nbDecision=93 #constraints=6253 0.03/0.09 o 9 0.39/0.45 c restart after 401 decisions 0.39/0.50 c nbDecision=500 #constraints=6522 0.99/1.03 c restart after 801 decisions 1.29/1.35 c nbDecision=1000 #constraints=6869 1.39/1.47 c nbDecision=1045 #constraints=6900 1.39/1.47 o 8 2.79/2.84 c nbDecision=1500 #constraints=7292 3.19/3.29 c restart after 1601 decisions 4.88/4.97 c nbDecision=2000 #constraints=7666 7.69/7.79 c nbDecision=2500 #constraints=8093 9.49/9.58 c nbDecision=2786 #constraints=8325 9.49/9.58 o 7 11.18/11.23 c nbDecision=3000 #constraints=8499 13.09/13.15 c restart after 3201 decisions 15.59/15.64 c nbDecision=3500 #constraints=8881 19.48/19.57 c nbDecision=4000 #constraints=9263 24.58/24.60 c nbDecision=4500 #constraints=9665 30.28/30.33 c nbDecision=5000 #constraints=10058 36.88/36.96 c nbDecision=5500 #constraints=10459 44.17/44.21 c nbDecision=6000 #constraints=10851 51.47/51.52 c restart after 6401 decisions 52.77/52.84 c nbDecision=6500 #constraints=11246 62.57/62.64 c nbDecision=7000 #constraints=11693 72.56/72.61 c nbDecision=7500 #constraints=12146 82.86/82.91 c nbDecision=8000 #constraints=12572 93.55/93.61 c nbDecision=8500 #constraints=12998 106.25/106.38 c nbDecision=9000 #constraints=13428 119.34/119.47 c nbDecision=9500 #constraints=13868 132.34/132.49 c nbDecision=10000 #constraints=14294 143.24/143.38 c nbDecision=10500 #constraints=14640 157.53/157.69 c nbDecision=11000 #constraints=15023 173.33/173.45 c nbDecision=11500 #constraints=15443 190.23/190.35 c nbDecision=12000 #constraints=15884 208.21/208.38 c nbDecision=12500 #constraints=16286 215.01/215.16 c restart after 12801 decisions 220.50/220.68 c nbDecision=13000 #constraints=16648 233.01/233.16 c nbDecision=13500 #constraints=17058 247.80/247.91 c nbDecision=14000 #constraints=17472 263.99/264.20 c nbDecision=14500 #constraints=17906 281.18/281.34 c nbDecision=15000 #constraints=18332 303.37/303.52 c nbDecision=15500 #constraints=18774 325.37/325.55 c nbDecision=16000 #constraints=19228 348.57/348.71 c nbDecision=16500 #constraints=19665 369.35/369.60 c nbDecision=17000 #constraints=20105 389.74/389.91 c nbDecision=17500 #constraints=20504 414.73/414.91 c nbDecision=18000 #constraints=20932 435.43/435.68 c nbDecision=18500 #constraints=21343 451.93/452.18 c nbDecision=19000 #constraints=21770 469.52/469.71 c nbDecision=19500 #constraints=22198 486.21/486.43 c nbDecision=20000 #constraints=22584 504.39/504.68 c nbDecision=20500 #constraints=22968 523.89/524.13 c nbDecision=21000 #constraints=23345 543.58/543.84 c nbDecision=21500 #constraints=23716 567.48/567.75 c nbDecision=22000 #constraints=24130 594.07/594.33 c nbDecision=22500 #constraints=24565 620.35/620.67 c nbDecision=23000 #constraints=24992 648.65/648.93 c nbDecision=23500 #constraints=25430 679.03/679.32 c nbDecision=24000 #constraints=25875 705.42/705.72 c nbDecision=24500 #constraints=26304 734.71/735.08 c nbDecision=25000 #constraints=26709 768.70/769.02 c nbDecision=25500 #constraints=27138 777.19/777.58 c restart after 25601 decisions 799.49/799.86 c nbDecision=26000 #constraints=27504 828.98/829.32 c nbDecision=26500 #constraints=27903 864.06/864.43 c nbDecision=27000 #constraints=28293 902.65/903.01 c nbDecision=27500 #constraints=28713 936.23/936.69 c nbDecision=28000 #constraints=29166 966.23/966.64 c nbDecision=28500 #constraints=29562 1008.70/1009.17 c nbDecision=29000 #constraints=30004 1049.49/1049.97 c nbDecision=29500 #constraints=30454 1091.17/1091.62 c nbDecision=30000 #constraints=30884 1128.56/1129.09 c nbDecision=30500 #constraints=31301 1168.85/1169.39 c nbDecision=31000 #constraints=31711 1218.33/1218.89 c nbDecision=31500 #constraints=32172 1263.11/1263.61 c nbDecision=32000 #constraints=32582 1309.29/1309.85 c nbDecision=32500 #constraints=32984 1357.48/1358.04 c nbDecision=33000 #constraints=33374 1401.86/1402.43 c nbDecision=33500 #constraints=33767 1441.74/1442.38 c nbDecision=34000 #constraints=34174 1493.03/1493.63 c nbDecision=34500 #constraints=34607 1539.60/1540.22 c nbDecision=35000 #constraints=35000 1579.49/1580.16 c nbDecision=35500 #constraints=35399 1617.98/1618.64 c nbDecision=36000 #constraints=35823 1662.76/1663.48 c nbDecision=36500 #constraints=36256 1714.94/1715.66 c nbDecision=37000 #constraints=36703 1768.03/1768.79 c nbDecision=37500 #constraints=37144 1800.02/1800.71 Received signal 15 1800.21/1800.91 1800.21/1800.91 s SATISFIABLE 1800.21/1800.91 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.21/1800.91 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.21/1800.91 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.21/1800.91 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.21/1800.91 v -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 1800.21/1800.91 v -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 1800.21/1800.91 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1800.21/1800.91 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1800.21/1800.91 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1800.21/1800.91 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 1800.21/1800.91 v -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 1800.21/1800.91 v -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 x272 -x273 -x274 1800.21/1800.91 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 1800.21/1800.91 v -x296 -x297 x298 x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 1800.21/1800.91 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1800.21/1800.91 v x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1800.21/1800.91 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 1800.21/1800.91 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 x398 x399 x400 1800.21/1800.91 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1800.21/1800.91 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1800.21/1800.91 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 1800.21/1800.91 v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 1800.21/1800.91 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 1800.21/1800.91 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 1800.21/1800.91 v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 x546 -x547 1800.21/1800.91 v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 1800.21/1800.91 v -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 1800.21/1800.91 v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 1800.21/1800.91 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 1800.21/1800.91 v -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 1800.21/1800.91 v -x653 x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 1800.21/1800.91 v -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 1800.21/1800.91 v -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 1800.21/1800.91 v -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 1800.21/1800.91 v -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 1800.21/1800.91 v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 1800.21/1800.91 v -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 -x798 -x799 1800.21/1800.91 v -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 -x820 1800.21/1800.91 v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 1800.21/1800.91 v -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 1800.21/1800.91 v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 -x883 1800.21/1800.91 v -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 1800.21/1800.91 v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 x922 -x923 -x924 -x925 1800.21/1800.91 v -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 1800.21/1800.91 v -x947 -x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 1800.21/1800.91 v -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 1800.21/1800.91 v -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 1800.21/1800.91 v -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 1800.21/1800.91 v -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 1800.21/1800.91 v -x1043 -x1044 -x1045 -x1046 x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 1800.21/1800.91 v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 1800.21/1800.91 v x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 1800.21/1800.91 v -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 1800.21/1800.91 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 1800.21/1800.91 v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 1800.21/1800.91 v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 -x1152 -x1153 -x1154 -x1155 x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 1800.21/1800.91 v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 1800.21/1800.91 v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 1800.21/1800.91 v -x1197 -x1198 -x1199 -x1200 x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 1800.21/1800.91 v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227 -x1228 -x1229 -x1230 1800.21/1800.91 v -x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 1800.21/1800.91 v -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 x1262 -x1263 -x1264 -x1265 1800.21/1800.91 v -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 1800.21/1800.91 v -x1283 x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 1800.21/1800.91 v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 1800.21/1800.91 v -x1317 -x1318 -x1319 x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 1800.21/1800.91 v -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 1800.21/1800.91 v -x1351 -x1352 -x1353 x1354 -x1355 -x1356 x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 1800.21/1800.91 v -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1381 x1382 -x1383 -x1384 -x1385 -x1386 1800.21/1800.91 v -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 1800.21/1800.91 v -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 1800.21/1800.91 v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 1800.21/1800.91 v -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 x1454 1800.21/1800.91 v -x1455 -x1456 -x1457 x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 1800.21/1800.91 v -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 1800.21/1800.91 v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 1800.21/1800.91 v -x1508 x1509 -x1510 -x1511 x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 1800.21/1800.91 v -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 1800.21/1800.91 v -x1543 x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 1800.21/1800.91 v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 1800.21/1800.91 v -x1578 -x1579 -x1580 -x1581 -x1582 x1583 -x1584 x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 1800.21/1800.91 v -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 -x1612 1800.21/1800.91 v -x1613 -x1614 -x1615 x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 1800.21/1800.91 v -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 x1641 -x1642 -x1643 x1644 x1645 -x1646 -x1647 1800.21/1800.91 v -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 1800.21/1800.91 v -x1665 -x1666 -x1667 -x1668 -x1669 x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x1680 -x1681 -x1682 1800.21/1800.91 v -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 1800.21/1800.91 v -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 x1707 -x1708 -x1709 x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 1800.21/1800.91 v -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x1734 1800.21/1800.91 v -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 1800.21/1800.91 v -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 1800.21/1800.91 v -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 1800.21/1800.91 v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x1800 x1801 -x1802 -x1803 1800.21/1800.91 v -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 1800.21/1800.91 v -x1821 -x1822 -x1823 -x1824 -x1825 x1826 -x1827 -x1828 -x1829 x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1800.21/1800.91 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 -x1851 -x1852 -x1853 -x1854 x1855 -x1856 1800.21/1800.91 v -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 1800.21/1800.91 v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 x1888 -x1889 -x1890 1800.21/1800.91 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 x1907 1800.21/1800.91 v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 x1922 -x1923 -x1924 1800.21/1800.91 v x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 1800.21/1800.91 v -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 1800.21/1800.91 v -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 1800.21/1800.91 v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 1800.21/1800.91 v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 x2007 -x2008 -x2009 -x2010 1800.21/1800.91 v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 1800.21/1800.91 v -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 x2038 -x2039 -x2040 -x2041 -x2042 x2043 -x2044 -x2045 1800.21/1800.91 v -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 1800.21/1800.91 v -x2063 -x2064 x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 1800.21/1800.91 v -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 1800.21/1800.91 v -x2097 x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 1800.21/1800.91 v -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 x2121 -x2122 -x2123 x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 1800.21/1800.91 v -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 1800.21/1800.91 v -x2149 -x2150 x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 1800.21/1800.91 v -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 x2181 -x2182 1800.21/1800.91 v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 x2199 1800.21/1800.91 v -x2200 -x2201 -x2202 x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 1800.21/1800.91 v -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 x2233 1800.21/1800.91 v -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 1800.21/1800.91 v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 1800.21/1800.91 v -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 1800.21/1800.91 v -x2285 -x2286 -x2287 -x2288 x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 1800.21/1800.91 v -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 1800.21/1800.91 v x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 1800.21/1800.91 v -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 1800.21/1800.91 v -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 1800.21/1800.91 v -x2370 -x2371 -x2372 -x2373 -x2374 x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 1800.21/1800.91 v -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 x2399 -x2400 -x2401 -x2402 -x2403 1800.21/1800.91 v -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 1800.21/1800.91 v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 x2427 -x2428 -x2429 x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 1800.21/1800.91 v -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 1800.21/1800.91 v -x2456 -x2457 x2458 -x2459 x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 1800.21/1800.91 v -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 x2486 -x2487 -x2488 -x2489 -x2490 1800.21/1800.91 v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 1800.21/1800.91 v -x2508 -x2509 -x2510 -x2511 -x2512 x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 1800.21/1800.91 v -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 x2541 1800.21/1800.91 v -x2542 -x2543 x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 1800.21/1800.91 v -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 1800.21/1800.91 v -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 1800.21/1800.91 v -x2593 x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 1800.21/1800.91 v -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 1800.21/1800.91 v -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 1800.21/1800.91 v -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 1800.21/1800.91 v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 x2676 -x2677 1800.21/1800.91 v x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 1800.21/1800.91 v -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 1800.21/1800.91 v -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 1800.21/1800.91 v -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 1800.21/1800.91 v -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 x2756 -x2757 x2758 x2759 -x2760 -x2761 x2762 -x2763 1800.21/1800.91 v -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 1800.21/1800.91 v -x2781 -x2782 -x2783 -x2784 x2785 -x2786 x2787 -x2788 x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 1800.21/1800.91 v -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 x2811 x2812 -x2813 -x2814 -x2815 -x2816 1800.21/1800.91 v -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 1800.21/1800.91 v -x2834 -x2835 x2836 x2837 -x2838 -x2839 x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 1800.21/1800.91 v -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 x2862 x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 1800.21/1800.91 v -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 1800.21/1800.91 v -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 1800.21/1800.91 v -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 x2915 -x2916 -x2917 -x2918 x2919 -x2920 -x2921 1800.21/1800.91 v -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 1800.21/1800.91 v -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 1800.21/1800.91 v -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 1800.21/1800.91 v -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 1800.21/1800.91 v -x2990 -x2991 -x2992 -x2993 x2994 x2995 -x2996 x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 1800.21/1800.91 v -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 x3020 -x3021 -x3022 -x3023 -x3024 1800.21/1800.91 v -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 1800.21/1800.91 v -x3042 -x3043 -x3044 x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 1800.21/1800.91 v -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 x3071 -x3072 -x3073 -x3074 -x3075 1800.21/1800.91 v -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 1800.21/1800.91 v x3093 -x3094 x3095 x3096 x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 1800.21/1800.91 v -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 1800.21/1800.91 v -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 1800.21/1800.91 v x3145 x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 1800.21/1800.91 v -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 x3171 x3172 x3173 -x3174 1800.21/1800.91 1800.21/1800.91 c user time= 1799.72 s 1800.21/1800.91 c system time= 0.506922 s 1800.21/1800.91 c wall clock time=1800.91
OK 7
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/453830-1178158833/instance-453830-1178158833.opb mv /tmp/evaluation/453830-1178158833/instance-453830-1178158833.opb.tmp /tmp/evaluation/453830-1178158833/instance-453830-1178158833.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-453830-1178158833 -o ROOT/results/node20/solver-453830-1178158833 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453830-1178158833/instance-453830-1178158833.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17329 /proc/meminfo: memFree=1554608/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=1468 CPUtime=0 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 263800619 1503232 164 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 367 165 130 317 0 46 0 [startup+0.0430379 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17329 /proc/meminfo: memFree=1554608/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=3056 CPUtime=0.03 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 561 0 0 0 3 0 0 0 18 0 1 0 263800619 3129344 544 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 764 547 136 317 0 443 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3056 [startup+0.101049 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17329 /proc/meminfo: memFree=1554608/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=4068 CPUtime=0.09 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 870 0 0 0 9 0 0 0 18 0 1 0 263800619 4165632 810 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 1017 810 170 317 0 696 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4068 [startup+0.301089 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17329 /proc/meminfo: memFree=1554608/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=5124 CPUtime=0.29 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 1147 0 0 0 29 0 0 0 19 0 1 0 263800619 5246976 1087 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 1281 1087 170 317 0 960 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5124 [startup+0.701169 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17329 /proc/meminfo: memFree=1554608/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=7016 CPUtime=0.68 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 1606 0 0 0 68 0 0 0 22 0 1 0 263800619 7184384 1546 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 1754 1546 170 317 0 1433 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 7016 [startup+1.50133 s] /proc/loadavg: 0.92 0.98 0.99 2/78 17330 /proc/meminfo: memFree=1548008/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=9256 CPUtime=1.49 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 2156 0 0 0 148 1 0 0 25 0 1 0 263800619 9478144 2096 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716193 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 2314 2096 170 317 0 1993 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9256 [startup+3.10165 s] /proc/loadavg: 0.92 0.98 0.99 2/78 17330 /proc/meminfo: memFree=1545000/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=12952 CPUtime=3.09 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 3090 0 0 0 308 1 0 0 25 0 1 0 263800619 13262848 3030 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 3238 3030 170 317 0 2917 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12952 [startup+6.30129 s] /proc/loadavg: 0.93 0.98 0.99 2/78 17330 /proc/meminfo: memFree=1539368/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=18272 CPUtime=6.29 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 4381 0 0 0 627 2 0 0 25 0 1 0 263800619 18710528 4321 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 4568 4321 170 317 0 4247 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18272 [startup+12.7016 s] /proc/loadavg: 0.93 0.98 0.99 2/78 17330 /proc/meminfo: memFree=1531112/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=25864 CPUtime=12.69 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 6251 0 0 0 1266 3 0 0 25 0 1 0 263800619 26484736 6191 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604197 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 6466 6191 170 317 0 6145 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25864 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/78 17330 /proc/meminfo: memFree=1520936/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=35572 CPUtime=25.47 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 8677 0 0 0 2544 3 0 0 25 0 1 0 263800619 36425728 8617 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 8893 8617 170 317 0 8572 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 35572 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/78 17330 /proc/meminfo: memFree=1508072/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=48608 CPUtime=51.07 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 11885 0 0 0 5101 6 0 0 25 0 1 0 263800619 49774592 11825 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 12152 11825 170 317 0 11831 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 48608 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 17330 /proc/meminfo: memFree=1487848/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=69556 CPUtime=102.26 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 16949 0 0 0 10217 9 0 0 25 0 1 0 263800619 71225344 16804 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 17389 16804 170 317 0 17068 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 69556 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17330 /proc/meminfo: memFree=1471848/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=85984 CPUtime=162.22 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 21004 0 0 0 16212 10 0 0 25 0 1 0 263800619 88047616 20859 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 21496 20859 170 317 0 21175 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 85984 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17330 /proc/meminfo: memFree=1457064/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=101448 CPUtime=222.2 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 24614 0 0 0 22208 12 0 0 25 0 1 0 263800619 103882752 24469 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 25362 24469 170 317 0 25041 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 101448 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17330 /proc/meminfo: memFree=1443368/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=115112 CPUtime=282.18 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 28046 0 0 0 28203 15 0 0 25 0 1 0 263800619 117874688 27901 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 28778 27901 170 317 0 28457 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 115112 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 3/78 17330 /proc/meminfo: memFree=1430568/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=128180 CPUtime=342.16 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 31218 0 0 0 34198 18 0 0 25 0 1 0 263800619 131256320 31073 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 32045 31073 170 317 0 31724 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 128180 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17330 /proc/meminfo: memFree=1420328/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=138720 CPUtime=402.14 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 33792 0 0 0 40195 19 0 0 25 0 1 0 263800619 142049280 33647 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 34680 33647 170 317 0 34359 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 138720 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17330 /proc/meminfo: memFree=1408936/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=150456 CPUtime=462.11 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 36628 0 0 0 46190 21 0 0 25 0 1 0 263800619 154066944 36483 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 37614 36483 170 317 0 37293 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 150456 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17330 /proc/meminfo: memFree=1397736/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=162172 CPUtime=522.09 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 39461 0 0 0 52185 24 0 0 25 0 1 0 263800619 166064128 39316 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 40543 39316 170 317 0 40222 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 162172 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17330 /proc/meminfo: memFree=1388968/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=171396 CPUtime=582.07 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 41619 0 0 0 58180 27 0 0 25 0 1 0 263800619 175509504 41474 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 42849 41474 170 317 0 42528 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 171396 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17330 /proc/meminfo: memFree=1380200/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=180376 CPUtime=642.05 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 43949 0 0 0 64177 28 0 0 25 0 1 0 263800619 184705024 43634 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 45094 43635 170 317 0 44773 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 180376 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17330 /proc/meminfo: memFree=1344488/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=216208 CPUtime=941.94 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 52860 0 0 0 94158 36 0 0 25 0 1 0 263800619 221396992 52545 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 54052 52545 170 317 0 53731 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 216208 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17330 /proc/meminfo: memFree=1337320/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=223636 CPUtime=1001.91 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 54660 0 0 0 100155 36 0 0 25 0 1 0 263800619 229003264 54345 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 55909 54345 170 317 0 55588 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 223636 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17330 /proc/meminfo: memFree=1330472/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=231488 CPUtime=1061.89 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 56376 0 0 0 106151 38 0 0 25 0 1 0 263800619 237043712 56061 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 57872 56061 170 317 0 57551 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 231488 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17330 /proc/meminfo: memFree=1323304/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=239476 CPUtime=1121.87 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 58139 0 0 0 112148 39 0 0 25 0 1 0 263800619 245223424 57824 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 59869 57824 170 317 0 59548 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 239476 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17330 /proc/meminfo: memFree=1317096/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=246408 CPUtime=1181.85 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 59702 0 0 0 118144 41 0 0 25 0 1 0 263800619 252321792 59387 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 61602 59387 170 317 0 61281 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 246408 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17330 /proc/meminfo: memFree=1311464/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=251712 CPUtime=1241.82 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 61083 0 0 0 124140 42 0 0 25 0 1 0 263800619 257753088 60768 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563957 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 62928 60768 170 317 0 62607 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 251712 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17332 /proc/meminfo: memFree=1306600/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=256204 CPUtime=1301.8 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 62309 0 0 0 130137 43 0 0 25 0 1 0 263800619 262352896 61961 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 64051 61961 170 317 0 63730 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 256204 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17332 /proc/meminfo: memFree=1302184/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=260832 CPUtime=1361.77 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 63426 0 0 0 136133 44 0 0 25 0 1 0 263800619 267091968 63078 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 65208 63078 170 317 0 64887 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 260832 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17332 /proc/meminfo: memFree=1296616/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=267708 CPUtime=1421.76 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 64796 0 0 0 142131 45 0 0 25 0 1 0 263800619 274132992 64448 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 66927 64448 170 317 0 66606 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 267708 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17332 /proc/meminfo: memFree=1291816/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=272740 CPUtime=1481.73 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 65995 0 0 0 148127 46 0 0 25 0 1 0 263800619 279285760 65647 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 68185 65647 170 317 0 67864 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 272740 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17332 /proc/meminfo: memFree=1287656/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=276772 CPUtime=1541.7 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 67021 0 0 0 154124 46 0 0 25 0 1 0 263800619 283414528 66673 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 69193 66673 170 317 0 68872 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 276772 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17332 /proc/meminfo: memFree=1282600/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=281604 CPUtime=1601.68 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 68287 0 0 0 160121 47 0 0 25 0 1 0 263800619 288362496 67939 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 70401 67939 170 317 0 70080 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 281604 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17332 /proc/meminfo: memFree=1276584/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=289152 CPUtime=1661.66 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 69793 0 0 0 166118 48 0 0 25 0 1 0 263800619 296091648 69445 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 72288 69445 170 317 0 71967 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 289152 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17332 /proc/meminfo: memFree=1270376/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=296120 CPUtime=1721.63 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 71326 0 0 0 172114 49 0 0 25 0 1 0 263800619 303226880 70978 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 74030 70978 170 317 0 73709 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 296120 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17332 /proc/meminfo: memFree=1266216/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=300168 CPUtime=1781.62 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 72364 0 0 0 178112 50 0 0 25 0 1 0 263800619 307372032 72016 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 75042 72016 170 317 0 74721 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 300168 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17332 /proc/meminfo: memFree=1265064/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=301384 CPUtime=1800.02 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 72654 0 0 0 179952 50 0 0 25 0 1 0 263800619 308617216 72306 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 75346 72306 170 317 0 75025 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 301384 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: 0.99 0.98 0.99 2/78 17332 /proc/meminfo: memFree=1265064/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=301512 CPUtime=1800.11 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 72672 0 0 0 179961 50 0 0 25 0 1 0 263800619 308748288 72324 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 75378 72324 170 317 0 75057 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 301512 [startup+1800.9 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17332 /proc/meminfo: memFree=1265064/2055920 swapFree=4154924/4192956 [pid=17329] ppid=17327 vsize=301512 CPUtime=1800.21 /proc/17329/stat : 17329 (oree) R 17327 17329 14200 0 -1 4194304 72672 0 0 0 179971 50 0 0 25 0 1 0 263800619 308748288 72324 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17329/statm: 75378 72324 170 317 0 75057 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 301512 Child status: 0 Real time (s): 1800.97 CPU time (s): 1800.29 CPU user time (s): 1799.73 CPU system time (s): 0.556915 CPU usage (%): 99.9619 Max. virtual memory (cumulated for all children) (KiB): 301512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.73 system time used= 0.556915 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 72688 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= 2926 runsolver used 1.39579 second user time and 4.15237 second system time The end
Begin job on node20 on Thu May 3 02:20:33 UTC 2007 IDJOB= 453830 IDBENCH= 48156 IDSOLVER= 172 FILE ID= node20/453830-1178158833 PBS_JOBID= 4751076 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_2.opb COMMAND LINE= oree /tmp/evaluation/453830-1178158833/instance-453830-1178158833.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node20/convwatcher-453830-1178158833 -o ROOT/results/node20/conversion-453830-1178158833 -C 600 -M 1800 /tmp/evaluation/453830-1178158833/substituteSizeProductKeyword /tmp/evaluation/453830-1178158833/instance-453830-1178158833.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-453830-1178158833 -o ROOT/results/node20/solver-453830-1178158833 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453830-1178158833/instance-453830-1178158833.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 1e64c526f9351931db225cdff75c2df5 RANDOM SEED= 486198765 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.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.265 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.265 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: 1555016 kB Buffers: 138704 kB Cached: 223636 kB SwapCached: 16896 kB Active: 94508 kB Inactive: 292372 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1555016 kB SwapTotal: 4192956 kB SwapFree: 4154924 kB Dirty: 1440 kB Writeback: 0 kB Mapped: 30976 kB Slab: 99588 kB Committed_AS: 6529464 kB PageTables: 1748 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 node20 on Thu May 3 02:50:36 UTC 2007