Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -53803800 | 1800.48 | 1800.86 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-harp2.opb |
MD5SUM | a22cdb58cc05b8a325a786916e6a7ab8 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -66737705 |
Best CPU time to get the best result obtained on this benchmark | 1800.39 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -66737705 |
Optimality of the best value was proved | NO |
Number of variables | 2993 |
Total number of constraints | 112 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 73 |
Number of constraints which are nor clauses,nor cardinality constraints | 39 |
Minimum length of a constraint | 41 |
Maximum length of a constraint | 73 |
Number of terms in the objective function | 2993 |
Biggest coefficient in the objective function | 17006200 |
Number of bits for the biggest coefficient in the objective function | 25 |
Sum of the numbers in the objective function | 4415092451 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 4208540000 |
Number of bits of the biggest number in a constraint | 32 |
Biggest sum of numbers in a constraint | 46909379837 |
Number of bits of the biggest sum of numbers | 36 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.03 c ...done 0.00/0.03 c #vars=2993 #constraints=186 hasObjective=yes 0.00/0.05 c res. mode=mod 0.00/0.05 c VSIDS like heuristics 0.00/0.05 c complete search running 0.09/0.10 c nbDecision=180 #constraints=206 0.09/0.10 c linear search for optimum 0.09/0.10 o -51623686 0.09/0.12 c nbDecision=181 #constraints=208 0.09/0.12 o -51918932 0.09/0.15 c nbDecision=182 #constraints=210 0.09/0.15 o -52061219 0.19/0.20 c nbDecision=190 #constraints=213 0.19/0.20 o -52548785 0.19/0.22 c nbDecision=191 #constraints=215 0.19/0.22 o -52844031 0.19/0.25 c nbDecision=195 #constraints=217 0.19/0.25 o -52986318 0.29/0.37 c nbDecision=204 #constraints=222 0.29/0.37 o -53079973 0.39/0.42 c nbDecision=204 #constraints=225 0.39/0.42 o -53128183 7.49/7.53 c nbDecision=339 #constraints=361 7.49/7.53 o -53128184 8.19/8.25 c nbDecision=379 #constraints=378 8.19/8.25 o -53174911 8.29/8.33 c nbDecision=381 #constraints=381 8.29/8.33 o -53198384 8.39/8.47 c nbDecision=391 #constraints=385 8.39/8.48 o -53223121 8.59/8.69 c restart after 401 decisions 8.70/8.74 c nbDecision=500 #constraints=390 8.89/8.94 c nbDecision=561 #constraints=394 8.89/8.94 o -53223834 9.49/9.57 c nbDecision=573 #constraints=404 9.49/9.57 o -53264713 9.49/9.60 c nbDecision=577 #constraints=406 9.49/9.60 o -53407000 10.99/11.02 c nbDecision=658 #constraints=429 10.99/11.02 o -53501080 10.99/11.04 c nbDecision=658 #constraints=431 10.99/11.04 o -53581018 13.88/13.99 c restart after 801 decisions 14.30/14.36 c nbDecision=967 #constraints=483 14.30/14.36 o -53594735 14.30/14.38 c nbDecision=967 #constraints=485 14.30/14.38 o -53674673 15.29/15.33 c nbDecision=1000 #constraints=502 15.89/15.90 c nbDecision=1037 #constraints=513 15.89/15.90 o -53700348 16.09/16.12 c nbDecision=1039 #constraints=518 16.09/16.12 o -53708149 26.69/26.71 c nbDecision=1500 #constraints=673 28.88/28.92 c restart after 1601 decisions 35.49/35.50 c nbDecision=2000 #constraints=786 48.28/48.31 c nbDecision=2500 #constraints=941 62.17/62.22 c nbDecision=3000 #constraints=1103 68.18/68.22 c restart after 3201 decisions 73.08/73.19 c nbDecision=3500 #constraints=1215 88.98/89.07 c nbDecision=4000 #constraints=1379 105.57/105.69 c nbDecision=4500 #constraints=1536 122.56/122.69 c nbDecision=5000 #constraints=1688 141.16/141.24 c nbDecision=5500 #constraints=1848 161.06/161.16 c nbDecision=6000 #constraints=2010 177.85/177.97 c restart after 6401 decisions 179.05/179.14 c nbDecision=6500 #constraints=2143 198.95/199.04 c nbDecision=7000 #constraints=2281 222.15/222.23 c nbDecision=7500 #constraints=2443 246.35/246.46 c nbDecision=8000 #constraints=2608 271.23/271.34 c nbDecision=8500 #constraints=2766 297.53/297.68 c nbDecision=9000 #constraints=2930 324.42/324.58 c nbDecision=9500 #constraints=3088 353.42/353.55 c nbDecision=10000 #constraints=3253 382.01/382.18 c nbDecision=10500 #constraints=3410 398.61/398.74 c nbDecision=10763 #constraints=3502 398.61/398.74 o -53708150 415.11/415.20 c nbDecision=11000 #constraints=3602 436.10/436.24 c nbDecision=11254 #constraints=3730 436.10/436.24 o -53769611 437.30/437.43 c nbDecision=11265 #constraints=3742 437.30/437.43 o -53793084 444.49/444.66 c nbDecision=11356 #constraints=3790 444.49/444.66 o -53795286 445.19/445.32 c nbDecision=11366 #constraints=3796 445.19/445.32 o -53803087 455.59/455.78 c nbDecision=11500 #constraints=3854 459.49/459.64 c nbDecision=11532 #constraints=3887 459.49/459.64 o -53803800 495.08/495.27 c nbDecision=12000 #constraints=4061 571.66/571.87 c nbDecision=12500 #constraints=4375 604.87/605.02 c restart after 12801 decisions 624.36/624.59 c nbDecision=13000 #constraints=4558 693.85/694.06 c nbDecision=13500 #constraints=4816 772.62/772.82 c nbDecision=14000 #constraints=5151 846.71/846.94 c nbDecision=14500 #constraints=5415 912.49/912.75 c nbDecision=15000 #constraints=5652 977.38/977.69 c nbDecision=15500 #constraints=5878 1043.37/1043.61 c nbDecision=16000 #constraints=6100 1112.35/1112.67 c nbDecision=16500 #constraints=6325 1182.34/1182.70 c nbDecision=17000 #constraints=6542 1247.63/1247.99 c nbDecision=17500 #constraints=6731 1309.91/1310.28 c nbDecision=18000 #constraints=6896 1376.99/1377.34 c nbDecision=18500 #constraints=7072 1442.68/1443.07 c nbDecision=19000 #constraints=7247 1512.66/1513.08 c nbDecision=19500 #constraints=7430 1580.95/1581.36 c nbDecision=20000 #constraints=7605 1654.63/1655.07 c nbDecision=20500 #constraints=7794 1735.52/1735.91 c nbDecision=21000 #constraints=8032 1800.01/1800.40 Received signal 15 1800.31/1800.70 1800.31/1800.70 s SATISFIABLE 1800.31/1800.70 v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.31/1800.70 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.31/1800.70 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 x77 -x78 -x79 -x80 1800.31/1800.70 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1800.31/1800.70 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.31/1800.70 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.31/1800.70 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 1800.31/1800.70 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.31/1800.70 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.31/1800.70 v x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 1800.31/1800.70 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.31/1800.70 v -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 1800.31/1800.70 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.31/1800.70 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.31/1800.70 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.31/1800.70 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 1800.31/1800.70 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.31/1800.70 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 1800.31/1800.70 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.31/1800.70 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.31/1800.70 v x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.31/1800.70 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.31/1800.70 v -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.31/1800.70 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.31/1800.70 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.31/1800.70 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.31/1800.70 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.31/1800.70 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.31/1800.70 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.31/1800.70 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.31/1800.70 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 1800.31/1800.70 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.31/1800.70 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.31/1800.70 v -x714 x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.31/1800.70 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.31/1800.70 v -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.31/1800.70 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.31/1800.70 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.31/1800.70 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.31/1800.70 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1800.31/1800.70 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1800.31/1800.70 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 x897 -x898 -x899 -x900 -x901 -x902 1800.31/1800.70 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.31/1800.70 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943 -x944 1800.31/1800.70 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1800.31/1800.70 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.31/1800.70 v x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1800.31/1800.70 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.31/1800.70 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1800.31/1800.70 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1800.31/1800.70 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1800.31/1800.70 v -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1800.31/1800.70 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 1800.31/1800.70 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.31/1800.70 v x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1800.31/1800.70 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1800.31/1800.70 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1800.31/1800.70 v -x1177 -x1178 -x1179 x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1800.31/1800.70 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 1800.31/1800.70 v -x1211 -x1212 -x1213 -x1214 -x1215 x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 1800.31/1800.70 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1800.31/1800.70 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 1800.31/1800.70 v x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 1800.31/1800.70 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 1800.31/1800.70 v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 1800.31/1800.70 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 1800.31/1800.70 v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 1800.31/1800.70 v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 1800.31/1800.70 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 1800.31/1800.70 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 1800.31/1800.70 v x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 1800.31/1800.70 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 1800.31/1800.70 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 x1443 -x1444 -x1445 -x1446 -x1447 -x1448 1800.31/1800.70 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 1800.31/1800.70 v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 1800.31/1800.70 v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 1800.31/1800.70 v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 1800.31/1800.70 v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 1800.31/1800.70 v x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 1800.31/1800.70 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 1800.31/1800.70 v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 x1581 -x1582 -x1583 -x1584 1800.31/1800.70 v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 1800.31/1800.70 v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 1800.31/1800.70 v -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 1800.31/1800.70 v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 1800.31/1800.70 v -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 1800.31/1800.70 v -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 1800.31/1800.70 v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 1800.31/1800.70 v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 x1716 x1717 -x1718 -x1719 -x1720 -x1721 1800.31/1800.70 v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 1800.31/1800.70 v -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 1800.31/1800.70 v -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 1800.31/1800.70 v -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 1800.31/1800.70 v -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 1800.31/1800.70 v -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 1800.31/1800.70 v -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 1800.31/1800.70 v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 -x1851 -x1852 x1853 -x1854 -x1855 -x1856 -x1857 -x1858 1800.31/1800.70 v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 1800.31/1800.70 v -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 1800.31/1800.70 v -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 1800.31/1800.70 v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 1800.31/1800.70 v -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 1800.31/1800.70 v x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 1800.31/1800.70 v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 1800.31/1800.70 v -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1989 -x1990 -x1991 -x1992 -x1993 -x1994 1800.31/1800.70 v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 1800.31/1800.70 v -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 1800.31/1800.70 v -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 1800.31/1800.70 v -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 x2057 -x2058 -x2059 -x2060 -x2061 -x2062 1800.31/1800.70 v -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 1800.31/1800.70 v -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 1800.31/1800.70 v -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 1800.31/1800.70 v -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 1800.31/1800.70 v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 1800.31/1800.70 v -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 1800.31/1800.70 v -x2165 -x2166 -x2167 -x2168 -x2169 x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 1800.31/1800.70 v -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 1800.31/1800.70 v -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 1800.31/1800.70 v -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 1800.31/1800.70 v -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 1800.31/1800.70 v x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 1800.31/1800.70 v -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 1800.31/1800.70 v -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 x2296 -x2297 -x2298 -x2299 -x2300 1800.31/1800.70 v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 1800.31/1800.70 v -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 1800.31/1800.70 v -x2335 -x2336 -x2337 -x2338 -x2339 x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 1800.31/1800.70 v -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 1800.31/1800.70 v -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383 -x2384 -x2385 1800.31/1800.70 v -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 1800.31/1800.70 v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 1800.31/1800.70 v -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 x2431 -x2432 -x2433 -x2434 -x2435 -x2436 1800.31/1800.70 v -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 1800.31/1800.70 v -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 1800.31/1800.70 v -x2471 -x2472 -x2473 -x2474 -x2475 x2476 -x2477 x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 1800.31/1800.70 v -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 1800.31/1800.70 v -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 1800.31/1800.70 v x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 1800.31/1800.70 v -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 1800.31/1800.70 v -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 x2569 -x2570 -x2571 -x2572 -x2573 1800.31/1800.70 v -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 1800.31/1800.70 v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 1800.31/1800.70 v -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 1800.31/1800.70 v -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 1800.31/1800.70 v -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 x2657 -x2658 1800.31/1800.70 v -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 1800.31/1800.70 v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 1800.31/1800.70 v -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 x2702 -x2703 -x2704 x2705 -x2706 -x2707 -x2708 -x2709 -x2710 1800.31/1800.70 v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 1800.31/1800.70 v -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 1800.31/1800.70 v -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 1800.31/1800.70 v -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 x2773 -x2774 -x2775 -x2776 -x2777 -x2778 1800.31/1800.70 v -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 1800.31/1800.70 v -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 1800.31/1800.70 v -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 1800.31/1800.70 v -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 1800.31/1800.70 v -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 1800.31/1800.70 v -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 1800.31/1800.70 v -x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 1800.31/1800.70 v -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 1800.31/1800.70 v -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 x2931 1800.31/1800.70 v -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 1800.31/1800.70 v -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 1800.31/1800.70 v -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 x2977 -x2978 -x2979 -x2980 -x2981 -x2982 1800.31/1800.70 v -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 1800.31/1800.70 1800.31/1800.70 c user time= 1799.14 s 1800.31/1800.70 c system time= 1.18582 s 1800.31/1800.70 c wall clock time=1800.71
OK -53803800
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node29/watcher-357373-1176996059 -o ROOT/results/node29/solver-357373-1176996059 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357373-1176996059/instance-357373-1176996059.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.94 0.98 0.99 3/77 1047 /proc/meminfo: memFree=1019784/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=1468 CPUtime=0 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 176 0 0 0 0 0 0 0 18 0 1 0 147521678 1503232 158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 367 159 126 317 0 46 0 [startup+0.095272 s] /proc/loadavg: 0.94 0.98 0.99 3/77 1047 /proc/meminfo: memFree=1019784/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=2416 CPUtime=0.09 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 417 0 0 0 9 0 0 0 18 0 1 0 147521678 2473984 399 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 604 399 139 317 0 283 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2416 [startup+0.102272 s] /proc/loadavg: 0.94 0.98 0.99 3/77 1047 /proc/meminfo: memFree=1019784/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=2552 CPUtime=0.09 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 455 0 0 0 9 0 0 0 18 0 1 0 147521678 2613248 437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 638 437 139 317 0 317 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2552 [startup+0.301285 s] /proc/loadavg: 0.94 0.98 0.99 3/77 1047 /proc/meminfo: memFree=1019784/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=4528 CPUtime=0.29 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 937 0 0 0 29 0 0 0 20 0 1 0 147521678 4636672 901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710875 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 1132 901 170 317 0 811 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4528 [startup+0.702309 s] /proc/loadavg: 0.94 0.98 0.99 3/77 1047 /proc/meminfo: memFree=1019784/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=6032 CPUtime=0.69 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 1339 0 0 0 69 0 0 0 24 0 1 0 147521678 6176768 1251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713793 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 1508 1251 170 317 0 1187 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6032 [startup+1.50136 s] /proc/loadavg: 0.94 0.98 0.99 2/78 1048 /proc/meminfo: memFree=1014784/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=8400 CPUtime=1.49 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 1883 0 0 0 149 0 0 0 25 0 1 0 147521678 8601600 1756 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271361 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 2100 1756 170 317 0 1779 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8400 [startup+3.10146 s] /proc/loadavg: 0.94 0.98 0.99 2/78 1048 /proc/meminfo: memFree=1012160/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=12784 CPUtime=3.09 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 2911 0 0 0 308 1 0 0 25 0 1 0 147521678 13090816 2745 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 3196 2745 170 317 0 2875 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12784 [startup+6.30166 s] /proc/loadavg: 0.94 0.98 0.99 2/78 1048 /proc/meminfo: memFree=1004800/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=22220 CPUtime=6.29 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 5127 0 0 0 627 2 0 0 25 0 1 0 147521678 22753280 4852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 5555 4852 170 317 0 5234 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22220 [startup+12.7011 s] /proc/loadavg: 0.95 0.98 0.99 2/78 1048 /proc/meminfo: memFree=989512/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=41204 CPUtime=12.69 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 9714 0 0 0 1265 4 0 0 25 0 1 0 147521678 42192896 9105 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 10301 9105 170 317 0 9980 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41204 [startup+25.5018 s] /proc/loadavg: 0.96 0.98 0.99 2/78 1048 /proc/meminfo: memFree=965768/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=62392 CPUtime=25.48 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 14593 0 0 0 2542 6 0 0 25 0 1 0 147521678 63889408 13653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 15598 13653 170 317 0 15277 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 62392 [startup+51.1014 s] /proc/loadavg: 0.97 0.98 0.99 2/78 1048 /proc/meminfo: memFree=924936/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=108608 CPUtime=51.08 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 26088 0 0 0 5097 11 0 0 25 0 1 0 147521678 111214592 23969 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593512 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 27152 23969 170 317 0 26831 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 108608 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1048 /proc/meminfo: memFree=855624/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=187208 CPUtime=102.28 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 44562 0 0 0 10210 18 0 0 25 0 1 0 147521678 191700992 41061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 46802 41061 170 317 0 46481 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 187208 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1048 /proc/meminfo: memFree=804488/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=244520 CPUtime=162.26 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 58928 0 0 0 16202 24 0 0 25 0 1 0 147521678 250388480 53913 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714006 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 61130 53913 170 317 0 60809 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 244520 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1048 /proc/meminfo: memFree=735816/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=330936 CPUtime=222.24 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 76819 0 0 0 22193 31 0 0 25 0 1 0 147521678 338878464 70935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 82734 70935 170 317 0 82413 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 330936 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1048 /proc/meminfo: memFree=694152/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=375016 CPUtime=282.23 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 87651 0 0 0 28186 37 0 0 25 0 1 0 147521678 384016384 81460 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271355 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 93754 81460 170 317 0 93433 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 375016 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1048 /proc/meminfo: memFree=655112/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=414796 CPUtime=342.22 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 97578 0 0 0 34179 43 0 0 25 0 1 0 147521678 424751104 91066 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 103699 91066 170 317 0 103378 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 414796 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1048 /proc/meminfo: memFree=619464/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=451640 CPUtime=402.2 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 106973 0 0 0 40172 48 0 0 25 0 1 0 147521678 462479360 100074 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272619 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 112910 100074 170 317 0 112589 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 451640 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1048 /proc/meminfo: memFree=580360/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=493764 CPUtime=462.19 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 117214 0 0 0 46166 53 0 0 25 0 1 0 147521678 505614336 109729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 123441 109729 170 317 0 123120 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 493764 [startup+522.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1048 /proc/meminfo: memFree=554888/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=523568 CPUtime=522.18 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 124388 0 0 0 52162 56 0 0 25 0 1 0 147521678 536133632 116130 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 130892 116130 170 317 0 130571 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 523568 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1048 /proc/meminfo: memFree=486344/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=628560 CPUtime=582.16 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 141761 0 0 0 58153 63 0 0 25 0 1 0 147521678 643645440 133145 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 157140 133145 170 317 0 156819 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 628560 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1048 /proc/meminfo: memFree=463304/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=653184 CPUtime=642.15 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 147882 0 0 0 64149 66 0 0 25 0 1 0 147521678 668860416 138874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 163296 138874 170 317 0 162975 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 653184 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1048 /proc/meminfo: memFree=343432/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=779868 CPUtime=942.09 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 180499 0 0 0 94129 80 0 0 25 0 1 0 147521678 798584832 168858 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278989 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 194967 168858 170 317 0 194646 0 Current children cumulated CPU time (s) 942.09 Current children cumulated vsize (KiB) 779868 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1050 /proc/meminfo: memFree=320904/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=803116 CPUtime=1002.07 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 186477 0 0 0 100124 83 0 0 25 0 1 0 147521678 822390784 174434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596755 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 200779 174434 170 317 0 200458 0 Current children cumulated CPU time (s) 1002.07 Current children cumulated vsize (KiB) 803116 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1050 /proc/meminfo: memFree=299464/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=825536 CPUtime=1062.07 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 192230 0 0 0 106120 87 0 0 25 0 1 0 147521678 845348864 179853 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 206384 179853 170 317 0 206063 0 Current children cumulated CPU time (s) 1062.07 Current children cumulated vsize (KiB) 825536 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 3/78 1050 /proc/meminfo: memFree=278600/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=847404 CPUtime=1122.05 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 197683 0 0 0 112116 89 0 0 25 0 1 0 147521678 867741696 184992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 211851 184992 170 317 0 211530 0 Current children cumulated CPU time (s) 1122.05 Current children cumulated vsize (KiB) 847404 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1050 /proc/meminfo: memFree=258632/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=867924 CPUtime=1182.04 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 202982 0 0 0 118112 92 0 0 25 0 1 0 147521678 888754176 190017 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 216981 190017 170 317 0 216660 0 Current children cumulated CPU time (s) 1182.04 Current children cumulated vsize (KiB) 867924 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1050 /proc/meminfo: memFree=239688/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=887672 CPUtime=1242.02 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 208070 0 0 0 124108 94 0 0 25 0 1 0 147521678 908976128 194764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 221918 194764 170 317 0 221597 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 887672 [startup+1302.3 s] /proc/loadavg: 1.03 1.00 0.99 2/78 1050 /proc/meminfo: memFree=222600/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=905304 CPUtime=1302.01 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 212493 0 0 0 130105 96 0 0 25 0 1 0 147521678 927031296 198931 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541588 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 226326 198932 170 317 0 226005 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 905304 [startup+1362.3 s] /proc/loadavg: 1.01 1.00 0.99 2/78 1050 /proc/meminfo: memFree=204808/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=923180 CPUtime=1362 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 217336 0 0 0 136101 99 0 0 25 0 1 0 147521678 945336320 203452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604218 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 230795 203452 170 317 0 230474 0 Current children cumulated CPU time (s) 1362 Current children cumulated vsize (KiB) 923180 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 1050 /proc/meminfo: memFree=187144/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=940932 CPUtime=1421.99 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 221976 0 0 0 142097 102 0 0 25 0 1 0 147521678 963514368 207795 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 235233 207795 170 317 0 234912 0 Current children cumulated CPU time (s) 1421.99 Current children cumulated vsize (KiB) 940932 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 1050 /proc/meminfo: memFree=170248/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=958548 CPUtime=1481.97 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 226449 0 0 0 148092 105 0 0 25 0 1 0 147521678 981553152 212064 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 239637 212064 170 317 0 239316 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 958548 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 1050 /proc/meminfo: memFree=152648/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=976316 CPUtime=1541.96 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 231002 0 0 0 154089 107 0 0 25 0 1 0 147521678 999747584 216447 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 244079 216447 170 317 0 243758 0 Current children cumulated CPU time (s) 1541.96 Current children cumulated vsize (KiB) 976316 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 1050 /proc/meminfo: memFree=136072/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=993236 CPUtime=1601.95 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 235345 0 0 0 160085 110 0 0 25 0 1 0 147521678 1017073664 220616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 248309 220616 170 317 0 247988 0 Current children cumulated CPU time (s) 1601.95 Current children cumulated vsize (KiB) 993236 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 1050 /proc/meminfo: memFree=118664/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=1011448 CPUtime=1661.94 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 239766 0 0 0 166081 113 0 0 25 0 1 0 147521678 1035722752 224879 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 252862 224879 170 317 0 252541 0 Current children cumulated CPU time (s) 1661.94 Current children cumulated vsize (KiB) 1011448 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 1050 /proc/meminfo: memFree=102280/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=1029944 CPUtime=1721.92 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 243966 0 0 0 172077 115 0 0 25 0 1 0 147521678 1054662656 228986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 257486 228986 170 317 0 257165 0 Current children cumulated CPU time (s) 1721.92 Current children cumulated vsize (KiB) 1029944 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 1050 /proc/meminfo: memFree=86408/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=1048052 CPUtime=1781.91 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 248182 0 0 0 178074 117 0 0 25 0 1 0 147521678 1073205248 232939 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272619 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 262013 232939 170 317 0 261692 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 1048052 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.00 1.00 0.99 2/78 1050 /proc/meminfo: memFree=81928/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=1052916 CPUtime=1800.01 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 249387 0 0 0 179883 118 0 0 25 0 1 0 147521678 1078185984 234017 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 263229 234017 170 317 0 262908 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1052916 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.99 2/79 1051 /proc/meminfo: memFree=81728/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=1053268 CPUtime=1800.21 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194304 249447 0 0 0 179903 118 0 0 25 0 1 0 147521678 1078546432 234077 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541635 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 263317 234077 170 317 0 262996 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 1053268 [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.99 2/79 1051 /proc/meminfo: memFree=81728/2055920 swapFree=4141972/4192956 [pid=1047] ppid=1045 vsize=0 CPUtime=1800.41 /proc/1047/stat : 1047 (oree) R 1045 1047 376 0 -1 4194308 249463 0 0 0 179914 127 0 0 25 0 1 0 147521678 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1047/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.86 CPU time (s): 1800.48 CPU user time (s): 1799.14 CPU system time (s): 1.3338 CPU usage (%): 99.9785 Max. virtual memory (cumulated for all children) (KiB): 1053268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.14 system time used= 1.3338 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 249463 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= 35954 runsolver used 2.0027 second user time and 4.48932 second system time The end
Begin job on node29 on Thu Apr 19 15:20:59 UTC 2007 IDJOB= 357373 IDBENCH= 2493 IDSOLVER= 172 FILE ID= node29/357373-1176996059 PBS_JOBID= 4630456 Free space on /tmp= 66467 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-harp2.opb COMMAND LINE= oree /tmp/evaluation/357373-1176996059/instance-357373-1176996059.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-357373-1176996059 -o ROOT/results/node29/solver-357373-1176996059 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357373-1176996059/instance-357373-1176996059.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= a22cdb58cc05b8a325a786916e6a7ab8 RANDOM SEED= 232988166 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node29.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.224 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.224 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: 1020192 kB Buffers: 49268 kB Cached: 891484 kB SwapCached: 15872 kB Active: 379676 kB Inactive: 588904 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1020192 kB SwapTotal: 4192956 kB SwapFree: 4141972 kB Dirty: 1428 kB Writeback: 0 kB Mapped: 30052 kB Slab: 52560 kB Committed_AS: 2097112 kB PageTables: 1872 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= 66467 MiB End job on node29 on Thu Apr 19 15:51:02 UTC 2007