Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 133599232 | 1800.44 | 1800.88 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-bal8x12.opb |
MD5SUM | a6e8ee977a9ad5045237a2abc87084b8 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 100429824 |
Best CPU time to get the best result obtained on this benchmark | 1800.37 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 72779466 |
Optimality of the best value was proved | NO |
Number of variables | 2976 |
Total number of constraints | 116 |
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 | 116 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 360 |
Number of terms in the objective function | 2976 |
Biggest coefficient in the objective function | 412316860416 |
Number of bits for the biggest coefficient in the objective function | 39 |
Sum of the numbers in the objective function | 35253236940736 |
Number of bits of the sum of numbers in the objective function | 46 |
Biggest number in a constraint | 412316860416 |
Number of bits of the biggest number in a constraint | 39 |
Biggest sum of numbers in a constraint | 35253236940736 |
Number of bits of the biggest sum of numbers | 46 |
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.03/0.04 c ...done 0.03/0.04 c #vars=2976 #constraints=137 hasObjective=yes 0.03/0.07 c res. mode=mod 0.03/0.07 c VSIDS like heuristics 0.03/0.07 c complete search running 0.03/0.09 c restart after 401 decisions 0.03/0.09 c nbDecision=500 #constraints=139 0.09/0.10 c restart after 801 decisions 0.09/0.11 c nbDecision=1000 #constraints=139 0.29/0.33 c nbDecision=1500 #constraints=204 1.19/1.25 c restart after 1601 decisions 1.19/1.27 c nbDecision=2000 #constraints=300 4.08/4.17 c nbDecision=2500 #constraints=553 10.39/10.41 c nbDecision=3000 #constraints=1020 12.99/13.10 c restart after 3201 decisions 13.09/13.19 c nbDecision=3500 #constraints=1210 15.49/15.57 c nbDecision=4000 #constraints=1358 23.69/23.73 c nbDecision=4500 #constraints=1828 32.89/32.94 c nbDecision=5000 #constraints=2304 43.18/43.28 c nbDecision=5500 #constraints=2781 55.07/55.10 c nbDecision=6000 #constraints=3272 66.08/66.15 c restart after 6401 decisions 66.78/66.82 c nbDecision=6500 #constraints=3661 67.18/67.25 c nbDecision=7000 #constraints=3661 80.67/80.75 c nbDecision=7500 #constraints=4114 96.06/96.15 c nbDecision=8000 #constraints=4603 114.46/114.59 c nbDecision=8500 #constraints=5096 135.05/135.18 c nbDecision=9000 #constraints=5598 155.85/155.94 c nbDecision=9500 #constraints=6084 177.45/177.52 c nbDecision=10000 #constraints=6574 198.74/198.81 c nbDecision=10500 #constraints=7063 229.04/229.18 c nbDecision=11000 #constraints=7562 260.73/260.89 c nbDecision=11500 #constraints=8062 289.42/289.53 c nbDecision=12000 #constraints=8553 319.61/319.71 c nbDecision=12500 #constraints=9050 337.01/337.14 c restart after 12801 decisions 338.90/339.09 c nbDecision=13000 #constraints=9354 344.50/344.61 c nbDecision=13500 #constraints=9418 373.60/373.71 c nbDecision=14000 #constraints=9908 402.40/402.54 c nbDecision=14500 #constraints=10378 432.69/432.88 c nbDecision=15000 #constraints=10811 465.58/465.71 c nbDecision=15500 #constraints=11270 465.58/465.71 c nbDecision=15621 #constraints=11270 465.58/465.71 c linear search for optimum 465.58/465.71 o 133599232 473.38/473.57 c nbDecision=16000 #constraints=11655 487.18/487.32 c nbDecision=16500 #constraints=12158 503.97/504.19 c nbDecision=17000 #constraints=12659 523.37/523.55 c nbDecision=17500 #constraints=13159 547.56/547.75 c nbDecision=18000 #constraints=13657 566.76/566.90 c nbDecision=18500 #constraints=14128 578.95/579.15 c nbDecision=19000 #constraints=14636 592.95/593.16 c nbDecision=19500 #constraints=15134 608.44/608.68 c nbDecision=20000 #constraints=15629 626.04/626.27 c nbDecision=20500 #constraints=16134 645.13/645.30 c nbDecision=21000 #constraints=16636 667.63/667.88 c nbDecision=21500 #constraints=17136 692.72/692.93 c nbDecision=22000 #constraints=17634 719.52/719.77 c nbDecision=22500 #constraints=18137 751.02/751.24 c nbDecision=23000 #constraints=18631 786.90/787.19 c nbDecision=23500 #constraints=19132 825.19/825.43 c nbDecision=24000 #constraints=19633 866.38/866.67 c nbDecision=24500 #constraints=20137 915.27/915.51 c nbDecision=25000 #constraints=20635 964.56/964.81 c nbDecision=25500 #constraints=21138 974.85/975.10 c restart after 25601 decisions 980.15/980.43 c nbDecision=26000 #constraints=21241 1002.15/1002.46 c nbDecision=26500 #constraints=21434 1057.13/1057.43 c nbDecision=27000 #constraints=21938 1111.52/1111.84 c nbDecision=27500 #constraints=22433 1174.61/1174.92 c nbDecision=28000 #constraints=22930 1245.99/1246.35 c nbDecision=28500 #constraints=23431 1316.87/1317.20 c nbDecision=29000 #constraints=23935 1391.25/1391.61 c nbDecision=29500 #constraints=24429 1468.14/1468.53 c nbDecision=30000 #constraints=24933 1545.91/1546.32 c nbDecision=30500 #constraints=25429 1625.79/1626.25 c nbDecision=31000 #constraints=25938 1711.38/1711.81 c nbDecision=31500 #constraints=26436 1800.06/1800.50 Received signal 15 1800.26/1800.70 1800.26/1800.70 s SATISFIABLE 1800.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/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.26/1800.70 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1800.26/1800.70 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1800.26/1800.70 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1800.26/1800.70 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1800.26/1800.70 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1800.26/1800.70 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1800.26/1800.70 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1800.26/1800.70 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1800.26/1800.70 v x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1800.26/1800.70 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1800.26/1800.70 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1800.26/1800.70 v -x1177 -x1178 -x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1800.26/1800.70 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 1800.26/1800.70 v x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 1800.26/1800.70 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 x1243 -x1244 -x1245 1800.26/1800.70 v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 1800.26/1800.70 v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 1800.26/1800.70 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 1800.26/1800.70 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 1800.26/1800.70 v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1800.26/1800.70 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1800.26/1800.70 v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 1800.26/1800.70 v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 1800.26/1800.70 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1800.26/1800.70 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 1800.26/1800.70 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1800.26/1800.70 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1800.26/1800.70 v -x1450 x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 1800.26/1800.70 v -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 -x1484 1800.26/1800.70 v x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 1800.26/1800.70 v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 1800.26/1800.70 v -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 1800.26/1800.70 v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 1800.26/1800.70 v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 1800.26/1800.70 v -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 1800.26/1800.70 v -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 1800.26/1800.70 v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 1800.26/1800.70 v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 1800.26/1800.70 v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 1800.26/1800.70 v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 1800.26/1800.70 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 1800.26/1800.70 v -x1689 -x1690 -x1691 x1692 x1693 x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 1800.26/1800.70 v -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 1800.26/1800.70 v -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 1800.26/1800.70 v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 1800.26/1800.70 v -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 1800.26/1800.70 v -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 x1783 -x1784 x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 1800.26/1800.70 v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 1800.26/1800.70 v -x1810 x1811 x1812 x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 1800.26/1800.70 v -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 1800.26/1800.70 v -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 1800.26/1800.70 v -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 1800.26/1800.70 v -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 1800.26/1800.70 v -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 1800.26/1800.70 v -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 1800.26/1800.70 v -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 1800.26/1800.70 v -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 1800.26/1800.70 v -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 1800.26/1800.70 v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 1800.26/1800.70 v -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 1800.26/1800.70 v -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 1800.26/1800.70 v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 1800.26/1800.70 v -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 1800.26/1800.70 v -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 1800.26/1800.70 v -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 1800.26/1800.70 v -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 1800.26/1800.70 v -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 1800.26/1800.70 v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 x2142 -x2143 x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 1800.26/1800.70 v -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 1800.26/1800.70 v -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 1800.26/1800.70 v -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 1800.26/1800.70 v -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 1800.26/1800.70 v -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 1800.26/1800.70 v -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 1800.26/1800.70 v -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 1800.26/1800.70 v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 1800.26/1800.70 v -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 1800.26/1800.70 v -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 1800.26/1800.70 v -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 1800.26/1800.70 v -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 x2351 -x2352 -x2353 -x2354 -x2355 1800.26/1800.70 v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 1800.26/1800.70 v -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 1800.26/1800.70 v -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 1800.26/1800.70 v -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 1800.26/1800.70 v -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 1800.26/1800.70 v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 1800.26/1800.70 v -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 1800.26/1800.70 v -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 1800.26/1800.70 v -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 x2503 -x2504 x2505 -x2506 -x2507 -x2508 -x2509 1800.26/1800.70 v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 1800.26/1800.70 v -x2527 -x2528 -x2529 -x2530 x2531 -x2532 x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 1800.26/1800.70 v -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 1800.26/1800.70 v -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 1800.26/1800.70 v -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 1800.26/1800.70 v -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 1800.26/1800.70 v -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 1800.26/1800.70 v -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 1800.26/1800.70 v -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 1800.26/1800.70 v -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 1800.26/1800.70 v -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 1800.26/1800.70 v -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 1800.26/1800.70 v -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 1800.26/1800.70 v -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 1800.26/1800.70 v -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 1800.26/1800.70 v -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 1800.26/1800.70 v -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 1800.26/1800.70 v -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 1800.26/1800.70 v -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 1800.26/1800.70 v -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 1800.26/1800.70 v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 1800.26/1800.70 v -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 1800.26/1800.70 v -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 x2895 -x2896 x2897 -x2898 -x2899 -x2900 -x2901 -x2902 1800.26/1800.70 v -x2903 -x2904 -x2905 -x2906 x2907 x2908 x2909 x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 x2918 x2919 x2920 1800.26/1800.70 v x2921 x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 x2929 x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 x2937 -x2938 1800.26/1800.70 v -x2939 x2940 x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 x2952 -x2953 -x2954 -x2955 -x2956 1800.26/1800.70 v -x2957 -x2958 x2959 -x2960 -x2961 -x2962 -x2963 x2964 x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 1800.26/1800.70 v -x2975 -x2976 1800.26/1800.70 1800.26/1800.70 c user time= 1799.09 s 1800.26/1800.70 c system time= 1.18282 s 1800.26/1800.70 c wall clock time=1800.71
OK 133599232
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node68/watcher-357247-1176992355 -o ROOT/results/node68/solver-357247-1176992355 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357247-1176992355/instance-357247-1176992355.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.99 0.98 0.93 3/64 23079 /proc/meminfo: memFree=1411312/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=1468 CPUtime=0 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 175225030 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 367 161 127 317 0 46 0 [startup+0.037903 s] /proc/loadavg: 0.99 0.98 0.93 3/64 23079 /proc/meminfo: memFree=1411312/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=2016 CPUtime=0.03 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 319 0 0 0 3 0 0 0 18 0 1 0 175225030 2064384 301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 504 301 131 317 0 183 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2016 [startup+0.101908 s] /proc/loadavg: 0.99 0.98 0.93 3/64 23079 /proc/meminfo: memFree=1411312/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=2572 CPUtime=0.09 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 459 0 0 0 9 0 0 0 18 0 1 0 175225030 2633728 441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 643 441 139 317 0 322 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2572 [startup+0.301925 s] /proc/loadavg: 0.99 0.98 0.93 3/64 23079 /proc/meminfo: memFree=1411312/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=3632 CPUtime=0.29 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 714 0 0 0 29 0 0 0 19 0 1 0 175225030 3719168 696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270588 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 908 696 139 317 0 587 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3632 [startup+0.701961 s] /proc/loadavg: 0.99 0.98 0.93 3/64 23079 /proc/meminfo: memFree=1411312/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=5280 CPUtime=0.69 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 1136 0 0 0 69 0 0 0 24 0 1 0 175225030 5406720 1118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 1320 1118 139 317 0 999 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5280 [startup+1.50103 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23080 /proc/meminfo: memFree=1406184/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=7988 CPUtime=1.49 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 1772 0 0 0 149 0 0 0 25 0 1 0 175225030 8179712 1754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 1997 1754 139 317 0 1676 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7988 [startup+3.10118 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23080 /proc/meminfo: memFree=1402408/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=13432 CPUtime=3.09 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 3133 0 0 0 309 0 0 0 25 0 1 0 175225030 13754368 3115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 3358 3115 170 317 0 3037 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13432 [startup+6.30247 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23080 /proc/meminfo: memFree=1393448/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=23040 CPUtime=6.29 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 5411 0 0 0 628 1 0 0 25 0 1 0 175225030 23592960 5393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541595 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 5760 5393 170 317 0 5439 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23040 [startup+12.701 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23080 /proc/meminfo: memFree=1377008/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=37928 CPUtime=12.69 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 9011 0 0 0 1266 3 0 0 25 0 1 0 175225030 38838272 8993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 9482 8993 170 317 0 9161 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37928 [startup+25.5012 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23080 /proc/meminfo: memFree=1349560/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=65360 CPUtime=25.49 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 15634 0 0 0 2543 6 0 0 25 0 1 0 175225030 66928640 15616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284166 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 16340 15616 170 317 0 16019 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 65360 [startup+51.1015 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23080 /proc/meminfo: memFree=1306424/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=111304 CPUtime=51.07 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 26432 0 0 0 5095 12 0 0 25 0 1 0 175225030 113975296 26414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 27826 26414 170 317 0 27505 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 111304 [startup+102.304 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23080 /proc/meminfo: memFree=1244088/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=182084 CPUtime=102.27 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 41832 0 0 0 10206 21 0 0 25 0 1 0 175225030 186454016 41814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 45521 41814 170 317 0 45200 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 182084 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23080 /proc/meminfo: memFree=1200440/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=223948 CPUtime=162.25 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 52811 0 0 0 16199 26 0 0 25 0 1 0 175225030 229322752 52793 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 55987 52793 170 317 0 55666 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 223948 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23080 /proc/meminfo: memFree=1161464/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=260544 CPUtime=222.23 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 62433 0 0 0 22192 31 0 0 25 0 1 0 175225030 266797056 62415 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277176 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 65136 62415 170 317 0 64815 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 260544 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23080 /proc/meminfo: memFree=1122616/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=310276 CPUtime=282.22 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 72251 0 0 0 28186 36 0 0 25 0 1 0 175225030 317722624 72175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 77569 72175 170 317 0 77248 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 310276 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23080 /proc/meminfo: memFree=1082424/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=361008 CPUtime=342.2 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 82217 0 0 0 34180 40 0 0 25 0 1 0 175225030 369672192 82141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 90252 82141 170 317 0 89931 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 361008 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23080 /proc/meminfo: memFree=1052216/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=390128 CPUtime=402.2 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 89806 0 0 0 40176 44 0 0 25 0 1 0 175225030 399491072 89730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 97532 89730 170 317 0 97211 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 390128 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23080 /proc/meminfo: memFree=1025656/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=414988 CPUtime=462.17 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 96387 0 0 0 46170 47 0 0 25 0 1 0 175225030 424947712 96311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 103747 96311 170 317 0 103426 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 414988 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23080 /proc/meminfo: memFree=929400/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=526452 CPUtime=522.16 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 120629 0 0 0 52157 59 0 0 25 0 1 0 175225030 539086848 120553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 131613 120553 170 317 0 131292 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 526452 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23080 /proc/meminfo: memFree=859320/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=606512 CPUtime=582.15 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 137916 0 0 0 58149 66 0 0 25 0 1 0 175225030 621068288 137840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 151628 137840 170 317 0 151307 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 606512 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23080 /proc/meminfo: memFree=811832/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=655424 CPUtime=642.14 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 149668 0 0 0 64143 71 0 0 25 0 1 0 175225030 671154176 149592 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 163856 149592 170 317 0 163535 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 655424 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23080 /proc/meminfo: memFree=657976/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=827032 CPUtime=942.06 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 189403 0 0 0 94117 89 0 0 25 0 1 0 175225030 846880768 188058 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 206758 188058 170 317 0 206437 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 827032 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23080 /proc/meminfo: memFree=637560/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=850520 CPUtime=1002.05 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 194480 0 0 0 100112 93 0 0 25 0 1 0 175225030 870932480 193102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716120 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 212630 193102 170 317 0 212309 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 850520 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23080 /proc/meminfo: memFree=609912/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=887448 CPUtime=1062.04 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 201396 0 0 0 106107 97 0 0 25 0 1 0 175225030 908746752 200018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 221862 200018 170 317 0 221541 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 887448 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23080 /proc/meminfo: memFree=587512/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=914424 CPUtime=1122.02 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 206926 0 0 0 112103 99 0 0 25 0 1 0 175225030 936370176 205548 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 228606 205548 170 317 0 228285 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 914424 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23080 /proc/meminfo: memFree=571704/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=930476 CPUtime=1182 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 210937 0 0 0 118099 101 0 0 25 0 1 0 175225030 952807424 209559 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 232619 209559 170 317 0 232298 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 930476 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23082 /proc/meminfo: memFree=555576/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=946980 CPUtime=1241.99 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 214887 0 0 0 124096 103 0 0 25 0 1 0 175225030 969707520 213509 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 236745 213509 170 317 0 236424 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 946980 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23082 /proc/meminfo: memFree=539128/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=963876 CPUtime=1301.98 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 218979 0 0 0 130093 105 0 0 25 0 1 0 175225030 987009024 217601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 240969 217601 170 317 0 240648 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 963876 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23082 /proc/meminfo: memFree=522744/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=984416 CPUtime=1361.96 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 223611 0 0 0 136089 107 0 0 25 0 1 0 175225030 1008041984 221705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 246104 221705 170 317 0 245783 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 984416 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23082 /proc/meminfo: memFree=507704/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=1003024 CPUtime=1421.95 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 227869 0 0 0 142086 109 0 0 25 0 1 0 175225030 1027096576 225435 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 250756 225435 170 317 0 250435 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1003024 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23082 /proc/meminfo: memFree=493304/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=1017588 CPUtime=1481.93 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 231466 0 0 0 148083 110 0 0 25 0 1 0 175225030 1042010112 229032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 254397 229032 170 317 0 254076 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1017588 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23082 /proc/meminfo: memFree=479224/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=1031884 CPUtime=1541.91 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 234987 0 0 0 154079 112 0 0 25 0 1 0 175225030 1056649216 232553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 257971 232553 170 317 0 257650 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1031884 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23082 /proc/meminfo: memFree=465336/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=1046268 CPUtime=1601.9 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 238480 0 0 0 160076 114 0 0 25 0 1 0 175225030 1071378432 236046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271347 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 261567 236046 170 317 0 261246 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1046268 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23082 /proc/meminfo: memFree=453880/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=1057876 CPUtime=1661.89 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 241300 0 0 0 166074 115 0 0 25 0 1 0 175225030 1083265024 238866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 264469 238866 170 317 0 264148 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1057876 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23082 /proc/meminfo: memFree=436280/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=1083124 CPUtime=1721.87 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 245716 0 0 0 172070 117 0 0 25 0 1 0 175225030 1109118976 243282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 270781 243282 170 317 0 270460 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1083124 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23082 /proc/meminfo: memFree=427448/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=1091316 CPUtime=1781.85 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 247879 0 0 0 178068 117 0 0 25 0 1 0 175225030 1117507584 245445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 272829 245445 170 317 0 272508 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1091316 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.93 2/65 23082 /proc/meminfo: memFree=424504/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=1093624 CPUtime=1800.06 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 248601 0 0 0 179888 118 0 0 25 0 1 0 175225030 1119870976 246167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 273406 246167 170 317 0 273085 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1093624 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 0.98 0.93 2/66 23083 /proc/meminfo: memFree=424496/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=1093624 CPUtime=1800.16 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 248611 0 0 0 179898 118 0 0 25 0 1 0 175225030 1119870976 246177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718554 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 273406 246177 170 317 0 273085 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 1093624 [startup+1800.8 s] /proc/loadavg: 0.99 0.98 0.93 2/66 23083 /proc/meminfo: memFree=424496/2055920 swapFree=4181952/4192956 [pid=23079] ppid=23077 vsize=0 CPUtime=1800.35 /proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194308 248628 0 0 0 179909 126 0 0 25 0 1 0 175225030 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23079/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.35 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.88 CPU time (s): 1800.44 CPU user time (s): 1799.09 CPU system time (s): 1.3418 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (KiB): 1093624 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.09 system time used= 1.3418 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 248628 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= 2320 runsolver used 1.23081 second user time and 3.70544 second system time The end
Begin job on node68 on Thu Apr 19 14:19:15 UTC 2007 IDJOB= 357247 IDBENCH= 2309 IDSOLVER= 172 FILE ID= node68/357247-1176992355 PBS_JOBID= 4630417 Free space on /tmp= 66326 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-bal8x12.opb COMMAND LINE= oree /tmp/evaluation/357247-1176992355/instance-357247-1176992355.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-357247-1176992355 -o ROOT/results/node68/solver-357247-1176992355 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357247-1176992355/instance-357247-1176992355.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= a6e8ee977a9ad5045237a2abc87084b8 RANDOM SEED= 178683778 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node68.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.216 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.216 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: 1411720 kB Buffers: 29448 kB Cached: 541772 kB SwapCached: 4740 kB Active: 78796 kB Inactive: 504056 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1411720 kB SwapTotal: 4192956 kB SwapFree: 4181952 kB Dirty: 1452 kB Writeback: 0 kB Mapped: 15736 kB Slab: 47388 kB Committed_AS: 2744756 kB PageTables: 1380 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= 66326 MiB End job on node68 on Thu Apr 19 14:49:18 UTC 2007