Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 20 | 1800.13 | 1800.8 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10a.opb |
MD5SUM | 1a5dd226c84aa8cc751cd6025cf57c5b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 20 |
Best CPU time to get the best result obtained on this benchmark | 8.97263 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 20 |
Optimality of the best value was proved | YES |
Number of variables | 3100 |
Total number of constraints | 120 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 120 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 300 |
Number of terms in the objective function | 3100 |
Biggest coefficient in the objective function | 4599 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 526310 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 526310 |
Number of bits of the biggest sum of numbers | 20 |
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=3100 #constraints=141 hasObjective=yes 0.00/0.07 c res. mode=mod 0.00/0.07 c VSIDS like heuristics 0.00/0.07 c complete search running 0.00/0.08 c restart after 401 decisions 0.00/0.09 c nbDecision=500 #constraints=141 0.09/0.09 c restart after 801 decisions 0.09/0.10 c nbDecision=1000 #constraints=141 0.09/0.11 c nbDecision=1500 #constraints=141 0.09/0.11 c restart after 1601 decisions 0.09/0.12 c nbDecision=2000 #constraints=141 0.09/0.13 c nbDecision=2420 #constraints=141 0.09/0.13 c linear search for optimum 0.09/0.13 o 20 0.19/0.25 c nbDecision=2500 #constraints=233 1.09/1.20 c nbDecision=3000 #constraints=746 1.59/1.69 c restart after 3201 decisions 1.69/1.73 c nbDecision=3500 #constraints=935 1.99/2.03 c nbDecision=4000 #constraints=1027 3.89/3.97 c nbDecision=4500 #constraints=1532 6.79/6.85 c nbDecision=5000 #constraints=2027 11.09/11.11 c nbDecision=5500 #constraints=2543 16.49/16.53 c nbDecision=6000 #constraints=3028 22.09/22.18 c restart after 6401 decisions 22.39/22.43 c nbDecision=6500 #constraints=3431 22.59/22.62 c nbDecision=7000 #constraints=3431 29.38/29.48 c nbDecision=7500 #constraints=3835 39.28/39.39 c nbDecision=8000 #constraints=4340 50.67/50.78 c nbDecision=8500 #constraints=4835 63.77/63.87 c nbDecision=9000 #constraints=5337 77.87/77.99 c nbDecision=9500 #constraints=5823 94.06/94.18 c nbDecision=10000 #constraints=6334 111.95/112.09 c nbDecision=10500 #constraints=6848 130.05/130.19 c nbDecision=11000 #constraints=7331 150.74/150.85 c nbDecision=11500 #constraints=7850 171.44/171.52 c nbDecision=12000 #constraints=8332 194.13/194.30 c nbDecision=12500 #constraints=8839 208.23/208.37 c restart after 12801 decisions 209.13/209.22 c nbDecision=13000 #constraints=9138 210.43/210.53 c nbDecision=13500 #constraints=9151 235.11/235.22 c nbDecision=14000 #constraints=9655 260.20/260.30 c nbDecision=14500 #constraints=10139 289.30/289.40 c nbDecision=15000 #constraints=10657 318.80/319.00 c nbDecision=15500 #constraints=11167 348.17/348.37 c nbDecision=16000 #constraints=11648 381.07/381.25 c nbDecision=16500 #constraints=12151 414.66/414.89 c nbDecision=17000 #constraints=12660 448.65/448.82 c nbDecision=17500 #constraints=13156 485.43/485.69 c nbDecision=18000 #constraints=13659 522.92/523.19 c nbDecision=18500 #constraints=14168 559.62/559.83 c nbDecision=19000 #constraints=14650 601.50/601.76 c nbDecision=19500 #constraints=15167 639.99/640.28 c nbDecision=20000 #constraints=15629 684.97/685.21 c nbDecision=20500 #constraints=16119 732.15/732.43 c nbDecision=21000 #constraints=16626 782.03/782.31 c nbDecision=21500 #constraints=17145 829.62/829.94 c nbDecision=22000 #constraints=17627 881.81/882.11 c nbDecision=22500 #constraints=18142 932.59/932.99 c nbDecision=23000 #constraints=18628 987.07/987.43 c nbDecision=23500 #constraints=19139 1041.15/1041.57 c nbDecision=24000 #constraints=19629 1097.74/1098.16 c nbDecision=24500 #constraints=20136 1157.52/1157.98 c nbDecision=25000 #constraints=20655 1211.31/1211.79 c nbDecision=25500 #constraints=21137 1223.50/1223.99 c restart after 25601 decisions 1225.80/1226.27 c nbDecision=26000 #constraints=21247 1249.59/1250.03 c nbDecision=26500 #constraints=21449 1307.97/1308.46 c nbDecision=27000 #constraints=21960 1365.28/1365.83 c nbDecision=27500 #constraints=22459 1424.95/1425.51 c nbDecision=28000 #constraints=22957 1485.93/1486.53 c nbDecision=28500 #constraints=23461 1545.51/1546.15 c nbDecision=29000 #constraints=23945 1611.89/1612.59 c nbDecision=29500 #constraints=24465 1676.97/1677.60 c nbDecision=30000 #constraints=24977 1739.95/1740.64 c nbDecision=30500 #constraints=25453 1800.03/1800.70 Received signal 15 1800.03/1800.71 1800.03/1800.71 s SATISFIABLE 1800.03/1800.71 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.03/1800.71 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.03/1800.71 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.03/1800.71 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.03/1800.71 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.03/1800.71 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.03/1800.71 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.03/1800.71 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.03/1800.71 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.03/1800.71 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.03/1800.71 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.03/1800.71 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.03/1800.71 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.03/1800.71 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.03/1800.71 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.03/1800.71 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.03/1800.71 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.03/1800.71 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.03/1800.71 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.03/1800.71 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.03/1800.71 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.03/1800.71 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.03/1800.71 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.03/1800.71 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.03/1800.71 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.03/1800.71 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.03/1800.71 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.03/1800.71 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.03/1800.71 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.03/1800.71 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.03/1800.71 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.03/1800.71 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.03/1800.71 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.03/1800.71 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.03/1800.71 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.03/1800.71 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.03/1800.71 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.03/1800.71 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.03/1800.71 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.03/1800.71 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1800.03/1800.71 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1800.03/1800.71 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1800.03/1800.71 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.03/1800.71 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 x944 1800.03/1800.71 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1800.03/1800.71 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.03/1800.71 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1800.03/1800.71 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1800.03/1800.71 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1800.03/1800.71 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1800.03/1800.71 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1800.03/1800.71 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1800.03/1800.71 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1800.03/1800.71 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1800.03/1800.71 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1800.03/1800.71 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1800.03/1800.71 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1800.03/1800.71 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1800.03/1800.71 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1800.03/1800.71 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1800.03/1800.71 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 1800.03/1800.71 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1800.03/1800.71 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1800.03/1800.71 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1800.03/1800.71 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 1800.03/1800.71 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 1800.03/1800.71 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 1800.03/1800.71 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 1800.03/1800.71 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1800.03/1800.71 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1800.03/1800.71 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 1800.03/1800.71 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1800.03/1800.71 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1800.03/1800.71 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 1800.03/1800.71 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 1800.03/1800.71 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 1800.03/1800.71 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 x1514 -x1515 1800.03/1800.71 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1800.03/1800.71 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1800.03/1800.71 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1800.03/1800.71 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 1800.03/1800.71 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1800.03/1800.71 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1800.03/1800.71 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 1800.03/1800.71 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 1800.03/1800.71 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 1800.03/1800.71 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 1800.03/1800.71 v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 1800.03/1800.71 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1800.03/1800.71 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 1800.03/1800.71 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 1800.03/1800.71 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1800.03/1800.71 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 1800.03/1800.71 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 1800.03/1800.71 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 1800.03/1800.71 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1800.03/1800.71 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 1800.03/1800.71 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1800.03/1800.71 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 1800.03/1800.71 v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1800.03/1800.71 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 1800.03/1800.71 v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 1800.03/1800.71 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 1800.03/1800.71 v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 1800.03/1800.71 v -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 1800.03/1800.71 v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 1800.03/1800.71 v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 1800.03/1800.71 v -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 1800.03/1800.71 v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 1800.03/1800.71 v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 1800.03/1800.71 v -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 1800.03/1800.71 v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 1800.03/1800.71 v -x2111 -x2112 -x2113 -x2114 x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 1800.03/1800.71 v -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 1800.03/1800.71 v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 1800.03/1800.71 v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 1800.03/1800.71 v -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 1800.03/1800.71 v -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 1800.03/1800.71 v -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 1800.03/1800.71 v -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 1800.03/1800.71 v -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 1800.03/1800.71 v -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 1800.03/1800.71 v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 1800.03/1800.71 v -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 1800.03/1800.71 v -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 1800.03/1800.71 v -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 1800.03/1800.71 v -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 1800.03/1800.71 v -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 1800.03/1800.71 v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 1800.03/1800.71 v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 x2413 -x2414 -x2415 -x2416 1800.03/1800.71 v -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 1800.03/1800.71 v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 1800.03/1800.71 v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 1800.03/1800.71 v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 1800.03/1800.71 v -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 1800.03/1800.71 v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 1800.03/1800.71 v -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 1800.03/1800.71 v -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 1800.03/1800.71 v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 1800.03/1800.71 v -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 1800.03/1800.71 v -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 1800.03/1800.71 v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 1800.03/1800.71 v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 1800.03/1800.71 v -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 1800.03/1800.71 v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 1800.03/1800.71 v -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 1800.03/1800.71 v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 1800.03/1800.71 v -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 1800.03/1800.71 v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 1800.03/1800.71 v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 1800.03/1800.71 v -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 1800.03/1800.71 v -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 1800.03/1800.71 v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 1800.03/1800.71 v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 1800.03/1800.71 v -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 1800.03/1800.71 v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 1800.03/1800.71 v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 1800.03/1800.71 v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 1800.03/1800.71 v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 1800.03/1800.71 v -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 1800.03/1800.71 v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 1800.03/1800.71 v -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 1800.03/1800.71 v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 1800.03/1800.71 v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 1800.03/1800.71 v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 1800.03/1800.71 v x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 1800.03/1800.71 v -x3030 -x3031 x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 x3042 -x3043 -x3044 -x3045 x3046 -x3047 1800.03/1800.71 v -x3048 -x3049 -x3050 x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 x3061 -x3062 -x3063 -x3064 -x3065 1800.03/1800.71 v -x3066 -x3067 -x3068 -x3069 -x3070 x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 x3081 -x3082 -x3083 1800.03/1800.71 v -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 1800.03/1800.71 1800.03/1800.71 c user time= 1799.26 s 1800.03/1800.71 c system time= 0.78788 s 1800.03/1800.71 c wall clock time=1800.72
OK 20
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node39/watcher-362356-1176845928 -o ROOT/results/node39/solver-362356-1176845928 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362356-1176845928/instance-362356-1176845928.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 19768 /proc/meminfo: memFree=1888960/2055920 swapFree=4114748/4192956 [pid=19768] ppid=19766 vsize=1620 CPUtime=0 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132504820 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 405 175 126 317 0 84 0 [startup+0.098203 s] /proc/loadavg: 1.00 1.00 1.00 3/77 19768 /proc/meminfo: memFree=1888960/2055920 swapFree=4114748/4192956 [pid=19768] ppid=19766 vsize=2560 CPUtime=0.09 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 472 0 0 0 9 0 0 0 18 0 1 0 132504820 2621440 454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 640 454 138 317 0 319 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2560 [startup+0.101204 s] /proc/loadavg: 1.00 1.00 1.00 3/77 19768 /proc/meminfo: memFree=1888960/2055920 swapFree=4114748/4192956 [pid=19768] ppid=19766 vsize=2560 CPUtime=0.09 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 472 0 0 0 9 0 0 0 18 0 1 0 132504820 2621440 454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 640 454 138 317 0 319 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2560 [startup+0.301237 s] /proc/loadavg: 1.00 1.00 1.00 3/77 19768 /proc/meminfo: memFree=1888960/2055920 swapFree=4114748/4192956 [pid=19768] ppid=19766 vsize=4952 CPUtime=0.29 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 1079 0 0 0 29 0 0 0 19 0 1 0 132504820 5070848 1061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 1238 1063 170 317 0 917 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4952 [startup+0.701305 s] /proc/loadavg: 1.00 1.00 1.00 3/77 19768 /proc/meminfo: memFree=1888960/2055920 swapFree=4114748/4192956 [pid=19768] ppid=19766 vsize=9628 CPUtime=0.69 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 2215 0 0 0 68 1 0 0 22 0 1 0 132504820 9859072 2197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 2407 2197 170 317 0 2086 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9628 [startup+1.50244 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19769 /proc/meminfo: memFree=1877304/2055920 swapFree=4114748/4192956 [pid=19768] ppid=19766 vsize=16368 CPUtime=1.5 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 3887 0 0 0 148 2 0 0 25 0 1 0 132504820 16760832 3869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712538 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 4092 3869 170 317 0 3771 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 16368 [startup+3.10171 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19769 /proc/meminfo: memFree=1871032/2055920 swapFree=4114748/4192956 [pid=19768] ppid=19766 vsize=26052 CPUtime=3.09 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 6199 0 0 0 306 3 0 0 25 0 1 0 132504820 26677248 6181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 6513 6181 170 317 0 6192 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26052 [startup+6.30125 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19769 /proc/meminfo: memFree=1857080/2055920 swapFree=4114748/4192956 [pid=19768] ppid=19766 vsize=35732 CPUtime=6.29 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 8682 0 0 0 625 4 0 0 25 0 1 0 132504820 36589568 8664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 8933 8664 170 317 0 8612 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35732 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19769 /proc/meminfo: memFree=1840760/2055920 swapFree=4114812/4192956 [pid=19768] ppid=19766 vsize=52188 CPUtime=12.68 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 12405 0 0 0 1262 6 0 0 25 0 1 0 132504820 53440512 12387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718334 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 13047 12387 170 317 0 12726 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 52188 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19769 /proc/meminfo: memFree=1824504/2055920 swapFree=4114812/4192956 [pid=19768] ppid=19766 vsize=66708 CPUtime=25.48 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 16305 0 0 0 2540 8 0 0 25 0 1 0 132504820 68308992 16287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718554 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 16677 16287 170 317 0 16356 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 66708 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19769 /proc/meminfo: memFree=1799992/2055920 swapFree=4114812/4192956 [pid=19768] ppid=19766 vsize=95340 CPUtime=51.07 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 22441 0 0 0 5095 12 0 0 25 0 1 0 132504820 97628160 22423 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 23835 22423 170 317 0 23514 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 95340 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19769 /proc/meminfo: memFree=1771576/2055920 swapFree=4114812/4192956 [pid=19768] ppid=19766 vsize=122036 CPUtime=102.26 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 29443 0 0 0 10210 16 0 0 25 0 1 0 132504820 124964864 29425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 30509 29425 170 317 0 30188 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 122036 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19769 /proc/meminfo: memFree=1745272/2055920 swapFree=4114876/4192956 [pid=19768] ppid=19766 vsize=147028 CPUtime=162.24 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 36048 0 0 0 16204 20 0 0 25 0 1 0 132504820 150556672 36030 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 36757 36030 170 317 0 36436 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 147028 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19769 /proc/meminfo: memFree=1715384/2055920 swapFree=4114876/4192956 [pid=19768] ppid=19766 vsize=185444 CPUtime=222.22 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 43483 0 0 0 22198 24 0 0 25 0 1 0 132504820 189894656 43407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 46361 43407 170 317 0 46040 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 185444 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19769 /proc/meminfo: memFree=1696888/2055920 swapFree=4114876/4192956 [pid=19768] ppid=19766 vsize=203744 CPUtime=282.2 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 48152 0 0 0 28193 27 0 0 25 0 1 0 132504820 208633856 48076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 50936 48076 170 317 0 50615 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 203744 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19769 /proc/meminfo: memFree=1680120/2055920 swapFree=4114940/4192956 [pid=19768] ppid=19766 vsize=219516 CPUtime=342.18 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 52287 0 0 0 34189 29 0 0 25 0 1 0 132504820 224784384 52211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 54879 52211 170 317 0 54558 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 219516 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19769 /proc/meminfo: memFree=1664952/2055920 swapFree=4114940/4192956 [pid=19768] ppid=19766 vsize=233888 CPUtime=402.16 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 56092 0 0 0 40184 32 0 0 25 0 1 0 132504820 239501312 56016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712565 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 58472 56016 170 317 0 58151 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 233888 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19769 /proc/meminfo: memFree=1651128/2055920 swapFree=4115004/4192956 [pid=19768] ppid=19766 vsize=247268 CPUtime=462.14 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 59536 0 0 0 46179 35 0 0 25 0 1 0 132504820 253202432 59460 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 61817 59460 170 317 0 61496 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 247268 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19769 /proc/meminfo: memFree=1637624/2055920 swapFree=4115004/4192956 [pid=19768] ppid=19766 vsize=259760 CPUtime=522.12 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 62941 0 0 0 52174 38 0 0 25 0 1 0 132504820 265994240 62865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 64940 62865 170 317 0 64619 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 259760 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19769 /proc/meminfo: memFree=1623544/2055920 swapFree=4115004/4192956 [pid=19768] ppid=19766 vsize=273732 CPUtime=582.1 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 66430 0 0 0 58170 40 0 0 25 0 1 0 132504820 280301568 66354 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 68433 66354 170 317 0 68112 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 273732 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19769 /proc/meminfo: memFree=1611192/2055920 swapFree=4115068/4192956 [pid=19768] ppid=19766 vsize=284732 CPUtime=642.09 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 69478 0 0 0 64167 42 0 0 25 0 1 0 132504820 291565568 69402 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 71183 69402 170 317 0 70862 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 284732 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19769 /proc/meminfo: memFree=1560760/2055920 swapFree=4115132/4192956 [pid=19768] ppid=19766 vsize=359024 CPUtime=882.01 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 86968 0 0 0 88149 52 0 0 25 0 1 0 132504820 367640576 81960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 89756 81962 170 317 0 89435 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 359024 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19769 /proc/meminfo: memFree=1551096/2055920 swapFree=4115196/4192956 [pid=19768] ppid=19766 vsize=368416 CPUtime=941.99 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 89561 0 0 0 94145 54 0 0 25 0 1 0 132504820 377257984 84421 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 92104 84421 170 317 0 91783 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 368416 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19769 /proc/meminfo: memFree=1541432/2055920 swapFree=4115196/4192956 [pid=19768] ppid=19766 vsize=377260 CPUtime=1001.97 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 91982 0 0 0 100141 56 0 0 25 0 1 0 132504820 386314240 86809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 94315 86809 170 317 0 93994 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 377260 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19769 /proc/meminfo: memFree=1532088/2055920 swapFree=4115260/4192956 [pid=19768] ppid=19766 vsize=386160 CPUtime=1061.95 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 94443 0 0 0 106138 57 0 0 25 0 1 0 132504820 395427840 89138 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 96540 89138 170 317 0 96219 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 386160 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19769 /proc/meminfo: memFree=1523192/2055920 swapFree=4115260/4192956 [pid=19768] ppid=19766 vsize=394332 CPUtime=1121.93 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 96691 0 0 0 112135 58 0 0 25 0 1 0 132504820 403795968 91353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 98583 91353 170 317 0 98262 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 394332 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19769 /proc/meminfo: memFree=1514360/2055920 swapFree=4115260/4192956 [pid=19768] ppid=19766 vsize=402884 CPUtime=1181.91 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 99046 0 0 0 118130 61 0 0 25 0 1 0 132504820 412553216 93576 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 100721 93576 170 317 0 100400 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 402884 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19769 /proc/meminfo: memFree=1505464/2055920 swapFree=4115328/4192956 [pid=19768] ppid=19766 vsize=410920 CPUtime=1241.89 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 101284 0 0 0 124126 63 0 0 25 0 1 0 132504820 420782080 95748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 102730 95748 170 317 0 102409 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 410920 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19769 /proc/meminfo: memFree=1496568/2055920 swapFree=4115328/4192956 [pid=19768] ppid=19766 vsize=419092 CPUtime=1301.87 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 103562 0 0 0 130123 64 0 0 25 0 1 0 132504820 429150208 97960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 104773 97960 170 317 0 104452 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 419092 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 19925 /proc/meminfo: memFree=1486400/2055920 swapFree=4115392/4192956 [pid=19768] ppid=19766 vsize=427576 CPUtime=1361.79 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 105842 0 0 0 136112 67 0 0 25 0 1 0 132504820 437837824 100174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 106894 100174 170 317 0 106573 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 427576 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19967 /proc/meminfo: memFree=1478840/2055920 swapFree=4115392/4192956 [pid=19768] ppid=19766 vsize=435380 CPUtime=1421.75 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 108032 0 0 0 142106 69 0 0 25 0 1 0 132504820 445829120 102331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 108845 102331 170 317 0 108524 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 435380 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19967 /proc/meminfo: memFree=1470520/2055920 swapFree=4115456/4192956 [pid=19768] ppid=19766 vsize=443284 CPUtime=1481.73 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 110232 0 0 0 148103 70 0 0 25 0 1 0 132504820 453922816 104432 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 110821 104432 170 317 0 110500 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 443284 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19967 /proc/meminfo: memFree=1462072/2055920 swapFree=4115456/4192956 [pid=19768] ppid=19766 vsize=451052 CPUtime=1541.71 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 112346 0 0 0 154100 71 0 0 25 0 1 0 132504820 461877248 106513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 112763 106513 170 317 0 112442 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 451052 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19967 /proc/meminfo: memFree=1453944/2055920 swapFree=4115456/4192956 [pid=19768] ppid=19766 vsize=458544 CPUtime=1601.69 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 114463 0 0 0 160096 73 0 0 25 0 1 0 132504820 469549056 108531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 114636 108531 170 317 0 114315 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 458544 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19967 /proc/meminfo: memFree=1446008/2055920 swapFree=4115520/4192956 [pid=19768] ppid=19766 vsize=465680 CPUtime=1661.67 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 116453 0 0 0 166093 74 0 0 25 0 1 0 132504820 476856320 110521 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 116420 110521 170 317 0 116099 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 465680 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19967 /proc/meminfo: memFree=1438136/2055920 swapFree=4115520/4192956 [pid=19768] ppid=19766 vsize=472812 CPUtime=1721.65 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 118469 0 0 0 172089 76 0 0 25 0 1 0 132504820 484159488 112504 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 118203 112504 170 317 0 117882 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 472812 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19967 /proc/meminfo: memFree=1430392/2055920 swapFree=4115584/4192956 [pid=19768] ppid=19766 vsize=479800 CPUtime=1781.63 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 120430 0 0 0 178085 78 0 0 25 0 1 0 132504820 491315200 114432 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 119950 114432 170 317 0 119629 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 479800 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19967 /proc/meminfo: memFree=1428472/2055920 swapFree=4115584/4192956 [pid=19768] ppid=19766 vsize=481696 CPUtime=1800.03 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 120914 0 0 0 179925 78 0 0 25 0 1 0 132504820 493256704 114916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 120424 114916 170 317 0 120103 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 481696 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19967 /proc/meminfo: memFree=1428472/2055920 swapFree=4115584/4192956 [pid=19768] ppid=19766 vsize=481696 CPUtime=1800.03 /proc/19768/stat : 19768 (oree) R 19766 19768 18767 0 -1 4194304 120914 0 0 0 179925 78 0 0 25 0 1 0 132504820 493256704 114916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19768/statm: 120424 114916 170 317 0 120103 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 481696 Child status: 0 Real time (s): 1800.8 CPU time (s): 1800.13 CPU user time (s): 1799.27 CPU system time (s): 0.867868 CPU usage (%): 99.963 Max. virtual memory (cumulated for all children) (KiB): 481696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.27 system time used= 0.867868 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 120930 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= 4810 runsolver used 2.03669 second user time and 4.52031 second system time The end
Begin job on node39 on Tue Apr 17 21:38:48 UTC 2007 IDJOB= 362356 IDBENCH= 1553 IDSOLVER= 172 FILE ID= node39/362356-1176845928 PBS_JOBID= 4590153 Free space on /tmp= 66482 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10a.opb COMMAND LINE= oree /tmp/evaluation/362356-1176845928/instance-362356-1176845928.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-362356-1176845928 -o ROOT/results/node39/solver-362356-1176845928 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362356-1176845928/instance-362356-1176845928.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 1a5dd226c84aa8cc751cd6025cf57c5b RANDOM SEED= 685940179 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node39.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.256 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.256 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: 1889432 kB Buffers: 32228 kB Cached: 68132 kB SwapCached: 23468 kB Active: 84424 kB Inactive: 49444 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1889432 kB SwapTotal: 4192956 kB SwapFree: 4114748 kB Dirty: 1528 kB Writeback: 0 kB Mapped: 30488 kB Slab: 17960 kB Committed_AS: 1753080 kB PageTables: 2012 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= 66482 MiB End job on node39 on Tue Apr 17 22:08:51 UTC 2007