Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 63 | 1800.03 | 1800.62 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-exam.pi.opb |
MD5SUM | c7b7ba2fb8a9fff5b9677d5bbd1edc0f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 63 |
Best CPU time to get the best result obtained on this benchmark | 171.161 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 63 |
Optimality of the best value was proved | YES |
Number of variables | 4676 |
Total number of constraints | 509 |
Number of constraints which are clauses | 509 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 166 |
Number of terms in the objective function | 4676 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 4676 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4676 |
Number of bits of the biggest sum of numbers | 13 |
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 bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/352786-1176641558/instance-352786-1176641558.opb 0.00/0.00 c File size is 266563 bytes. 0.00/0.05 c Highest Coefficient sum: 4676 0.00/0.05 c Parsing was ok!! 0.00/0.05 c Total parsing time: 0.051 s 0.00/0.05 c Var: 4676 Constr: 509 509/0/0 Lit: 25694 Watch. Lit: 1018 0.00/0.05 c Obj. Vars: 4676 (100 % of total variables) 0.08/0.16 c Formula reductions applied at preprocessing 0.08/0.16 c Pre-processing Time: 0.166 s 0.28/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.28/0.37 c 0 1113 458 23440 51 916 152 0 0 0.17 0.28/0.37 c Initial Lower Bound: 60 0.28/0.37 c Initial Path Cost: 0 0.28/0.37 o 88 0.369 0.99/1.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.05 c 0 1113 459 24553 53 1943 1152 1 0 0.37 0.99/1.05 o 66 1.05 * 2.09/2.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.11 c 0 1113 460 25666 55 2992 2152 2 0 1.05 2.09/2.11 o 64 2.111 * 62.57/62.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.57/62.63 c 0 1113 461 26779 58 4043 3152 3 0 2.11 62.57/62.63 c 100 1113 661 33885 51 4443 3468 203 13 7.17 62.57/62.63 c 350 1113 1161 51705 44 5443 3815 703 20 17.21 62.57/62.63 c 825 1113 2111 92448 43 7343 4197 1653 22 36.20 62.57/62.63 c 1638 1113 3737 165295 44 10595 4617 3279 27 59.54 62.57/62.63 o 63 62.611 * 1799.91/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.91/1800.60 c 1755 1113 3972 175823 44 12115 3152 3514 28 62.61 1799.91/1800.60 c 1855 1113 4172 182883 43 12515 3468 3714 27 68.55 1799.91/1800.60 c 2105 1113 4672 199118 42 13515 3815 4214 26 79.67 1799.91/1800.60 c 2580 1113 5622 234184 41 15415 4197 5164 26 98.46 1799.91/1800.60 c 3393 1113 7248 297148 40 18667 4617 6790 25 133.13 1799.91/1800.60 c 4713 1113 3990 150983 37 9030 5079 3532 24 196.19 1799.91/1800.60 c 6794 1113 8152 301443 36 17354 5587 7694 23 283.56 1799.91/1800.60 c 10017 1113 8166 328757 40 17382 6146 7708 24 415.41 1799.91/1800.60 c 14953 1113 4700 172293 36 10450 6761 4242 25 579.79 1799.91/1800.60 c 22459 1113 5722 227867 39 12494 7438 5264 25 874.26 1799.91/1800.60 c 33820 1113 6476 238928 36 14002 8182 6018 26 1275.48 1799.91/1800.60 c Resources Exceeded 1800.02/1800.60 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 -x29 1800.02/1800.60 v -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 -x55 1800.02/1800.60 v -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 -x81 1800.02/1800.60 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1800.02/1800.60 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.02/1800.60 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.02/1800.60 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.02/1800.60 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.02/1800.60 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.02/1800.60 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.02/1800.60 v -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.02/1800.60 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.02/1800.60 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.02/1800.60 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.02/1800.60 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.02/1800.60 v -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.02/1800.60 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.02/1800.60 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.02/1800.60 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.02/1800.60 v -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.02/1800.60 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.02/1800.60 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.02/1800.60 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.02/1800.60 v -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.02/1800.60 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.02/1800.60 v -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.02/1800.60 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.02/1800.60 v -x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.02/1800.60 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1800.02/1800.60 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.02/1800.60 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.02/1800.60 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.02/1800.60 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 1800.02/1800.60 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 1800.02/1800.60 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1800.02/1800.60 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.02/1800.60 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1800.02/1800.60 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1800.02/1800.60 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1800.02/1800.60 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1800.02/1800.60 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1800.02/1800.60 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1800.02/1800.60 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1800.02/1800.60 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.02/1800.60 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1800.02/1800.60 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1800.02/1800.60 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1800.02/1800.60 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.02/1800.60 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1800.02/1800.60 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1800.02/1800.60 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1800.02/1800.60 v -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 1800.02/1800.60 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1800.02/1800.60 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1800.02/1800.60 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 1800.02/1800.60 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 1800.02/1800.60 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 1800.02/1800.60 v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 1800.02/1800.60 v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 1800.02/1800.60 v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 1800.02/1800.60 v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 1800.02/1800.60 v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 1800.02/1800.60 v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 1800.02/1800.60 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 1800.02/1800.60 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 1800.02/1800.60 v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1800.02/1800.60 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1800.02/1800.60 v x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 1800.02/1800.60 v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 x1378 -x1379 -x1380 -x1381 1800.02/1800.60 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1800.02/1800.60 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 1800.02/1800.60 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1800.02/1800.60 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1800.02/1800.60 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1800.02/1800.60 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 1800.02/1800.60 v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 1800.02/1800.60 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 1800.02/1800.60 v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 1800.02/1800.60 v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 1800.02/1800.60 v -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 1800.02/1800.60 v -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 1800.02/1800.60 v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 1800.02/1800.60 v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 1800.02/1800.60 v -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 1800.02/1800.60 v -x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 1800.02/1800.60 v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 1800.02/1800.60 v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 1800.02/1800.60 v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 1800.02/1800.60 v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 1800.02/1800.60 v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 -x1738 1800.02/1800.60 v -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 1800.02/1800.60 v -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 1800.02/1800.60 v -x1773 -x1774 -x1775 -x1776 x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 1800.02/1800.60 v -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 1800.02/1800.60 v -x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 1800.02/1800.60 v -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 1800.02/1800.60 v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 1800.02/1800.60 v -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 1800.02/1800.60 v -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 1800.02/1800.60 v -x1892 -x1893 -x1894 -x1895 -x1896 x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 1800.02/1800.60 v -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 1800.02/1800.60 v -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 1800.02/1800.60 v -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 1800.02/1800.60 v -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 1800.02/1800.60 v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 1800.02/1800.60 v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 1800.02/1800.60 v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 1800.02/1800.60 v -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 1800.02/1800.60 v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 1800.02/1800.60 v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 1800.02/1800.60 v -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 1800.02/1800.60 v -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 1800.02/1800.60 v -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 1800.02/1800.60 v -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 1800.02/1800.60 v -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 1800.02/1800.60 v -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 1800.02/1800.60 v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 1800.02/1800.60 v -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 x2211 -x2212 -x2213 -x2214 1800.02/1800.60 v -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 1800.02/1800.60 v -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 1800.02/1800.60 v -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 1800.02/1800.60 v -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 1800.02/1800.60 v -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 1800.02/1800.60 v -x2300 -x2301 -x2302 -x2303 -x2304 x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 1800.02/1800.60 v -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 1800.02/1800.60 v -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 1800.02/1800.60 v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 1800.02/1800.60 v -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 1800.02/1800.60 v x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 1800.02/1800.60 v -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 1800.02/1800.60 v -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 1800.02/1800.60 v -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 1800.02/1800.60 v -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 1800.02/1800.60 v -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 1800.02/1800.60 v -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 1800.02/1800.60 v -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 1800.02/1800.60 v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 1800.02/1800.60 v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 x2552 x2553 -x2554 -x2555 1800.02/1800.60 v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 1800.02/1800.60 v -x2573 x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 1800.02/1800.60 v -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 1800.02/1800.60 v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 x2618 -x2619 -x2620 -x2621 -x2622 -x2623 1800.02/1800.60 v -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 1800.02/1800.60 v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 1800.02/1800.60 v -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 1800.02/1800.60 v -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 1800.02/1800.60 v -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 1800.02/1800.60 v -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 1800.02/1800.60 v -x2726 x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 1800.02/1800.60 v -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 1800.02/1800.60 v -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 1800.02/1800.60 v -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 1800.02/1800.60 v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 1800.02/1800.60 v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 1800.02/1800.60 v -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 1800.02/1800.60 v -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 1800.02/1800.60 v -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 1800.02/1800.60 v -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 1800.02/1800.60 v -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 1800.02/1800.60 v -x2913 -x2914 -x2915 x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 1800.02/1800.60 v -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 1800.02/1800.60 v -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 1800.02/1800.60 v -x2964 -x2965 -x2966 x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 1800.02/1800.60 v -x2981 -x2982 -x2983 x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 1800.02/1800.60 v -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 1800.02/1800.60 v -x3015 -x3016 -x3017 -x3018 -x3019 x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 1800.02/1800.60 v -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 1800.02/1800.60 v -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 1800.02/1800.60 v -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 1800.02/1800.60 v -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 1800.02/1800.60 v x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 1800.02/1800.60 v -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 1800.02/1800.60 v -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 1800.02/1800.60 v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 1800.02/1800.60 v -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 1800.02/1800.60 v -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 1800.02/1800.60 v -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 1800.02/1800.60 v -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 1800.02/1800.60 v -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 1800.02/1800.60 v -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 1800.02/1800.60 v -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 1800.02/1800.60 v -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 1800.02/1800.60 v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 1800.02/1800.60 v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 1800.02/1800.60 v -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 1800.02/1800.60 v -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 1800.02/1800.60 v -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 1800.02/1800.60 v -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 1800.02/1800.60 v -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 1800.02/1800.60 v -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 1800.02/1800.60 v -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 x3456 1800.02/1800.60 v -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 1800.02/1800.60 v -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 1800.02/1800.60 v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 1800.02/1800.60 v -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 1800.02/1800.60 v -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 1800.02/1800.60 v -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 1800.02/1800.60 v -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 1800.02/1800.60 v -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 1800.02/1800.60 v -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 1800.02/1800.60 v -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 1800.02/1800.60 v -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 1800.02/1800.60 v -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 1800.02/1800.60 v -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 1800.02/1800.60 v -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 1800.02/1800.60 v -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 1800.02/1800.60 v -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 1800.02/1800.60 v -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 1800.02/1800.60 v -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 1800.02/1800.60 v -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 1800.02/1800.60 v -x3780 x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 1800.02/1800.60 v -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 1800.02/1800.60 v -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 1800.02/1800.60 v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 1800.02/1800.60 v -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 1800.02/1800.60 v -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 1800.02/1800.60 v -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 1800.02/1800.60 v -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 1800.02/1800.60 v -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 1800.02/1800.60 v -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 1800.02/1800.60 v -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 1800.02/1800.60 v -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 1800.02/1800.60 v -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 1800.02/1800.60 v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 1800.02/1800.60 v -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 1800.02/1800.60 v -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 1800.02/1800.60 v -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 1800.02/1800.60 v -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 1800.02/1800.60 v -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 1800.02/1800.60 v -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 1800.02/1800.60 v -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 1800.02/1800.60 v -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 1800.02/1800.60 v -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 1800.02/1800.60 v -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 1800.02/1800.60 v -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 1800.02/1800.60 v x4205 -x4206 x4207 -x4208 -x4209 -x4210 -x4211 -x4212 x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 1800.02/1800.60 v -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 1800.02/1800.60 v -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 1800.02/1800.60 v -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 1800.02/1800.60 v -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 x4286 -x4287 -x4288 -x4289 -x4290 1800.02/1800.60 v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 1800.02/1800.60 v -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 1800.02/1800.60 v -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 1800.02/1800.60 v -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 1800.02/1800.60 v -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 1800.02/1800.60 v -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 1800.02/1800.60 v -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 1800.02/1800.60 v -x4410 -x4411 x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 1800.02/1800.60 v -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 1800.02/1800.60 v -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 1800.02/1800.60 v -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 1800.02/1800.60 v -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 1800.02/1800.60 v -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 1800.02/1800.60 v -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 1800.02/1800.60 v -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 1800.02/1800.60 v -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 1800.02/1800.60 v -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 1800.02/1800.60 v -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 1800.02/1800.60 v -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 1800.02/1800.60 v -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 1800.02/1800.60 v -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 1800.02/1800.60 v -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 1800.02/1800.60 v -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 1800.02/1800.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.60 c 18 45319 4 47553 6374 247366 5916 25 1800.03 1800.02/1800.60 c Objective: 63 1800.02/1800.60 s SATISFIABLE 1800.02/1800.60 c Total time: 1800.03 s
OK 63
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node57/watcher-352786-1176641558 -o ROOT/results/node57/solver-352786-1176641558 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352786-1176641558/instance-352786-1176641558.opb 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.99 3/64 20815 /proc/meminfo: memFree=1670856/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=12000 CPUtime=0 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 105291802 12288000 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 3000 335 281 324 0 2003 0 [startup+0.077169 s] /proc/loadavg: 0.99 0.98 0.99 3/64 20815 /proc/meminfo: memFree=1670856/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=5472 CPUtime=0.06 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 903 0 0 0 6 0 0 0 18 0 1 0 105291802 5603328 718 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 1368 718 306 324 0 437 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5472 [startup+0.10117 s] /proc/loadavg: 0.99 0.98 0.99 3/64 20815 /proc/meminfo: memFree=1670856/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=5472 CPUtime=0.08 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 913 0 0 0 8 0 0 0 18 0 1 0 105291802 5603328 728 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 1368 728 306 324 0 437 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5472 [startup+0.301187 s] /proc/loadavg: 0.99 0.98 0.99 3/64 20815 /proc/meminfo: memFree=1670856/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=6588 CPUtime=0.28 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 8179 0 2 0 25 3 0 0 18 0 1 0 105291802 6746112 949 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135468120 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 1647 956 332 324 0 716 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 6588 [startup+0.701222 s] /proc/loadavg: 0.99 0.98 0.99 3/64 20815 /proc/meminfo: memFree=1670856/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=8220 CPUtime=0.68 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 14287 0 2 0 63 5 0 0 21 0 1 0 105291802 8417280 1226 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134700657 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 2055 1226 392 324 0 1124 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 8220 [startup+1.50129 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20816 /proc/meminfo: memFree=1667008/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=8320 CPUtime=1.49 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 23067 0 2 0 140 9 0 0 25 0 1 0 105291802 8519680 1300 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135227545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 2080 1300 392 324 0 1149 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8320 [startup+3.10143 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20816 /proc/meminfo: memFree=1666624/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=8520 CPUtime=3.09 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 32915 0 2 0 296 13 0 0 25 0 1 0 105291802 8724480 1275 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313599 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 2130 1275 393 324 0 1199 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8520 [startup+6.30171 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20816 /proc/meminfo: memFree=1666184/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=8520 CPUtime=6.29 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 43245 0 2 0 611 18 0 0 25 0 1 0 105291802 8724480 1257 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7829061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 2130 1257 393 324 0 1199 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8520 [startup+12.7013 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20816 /proc/meminfo: memFree=1666248/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=9064 CPUtime=12.69 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 58684 0 2 0 1243 26 0 0 25 0 1 0 105291802 9281536 1354 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313633 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 2266 1354 393 324 0 1335 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9064 [startup+25.5014 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20816 /proc/meminfo: memFree=1665672/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=9388 CPUtime=25.48 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 89043 0 2 0 2507 41 0 0 25 0 1 0 105291802 9613312 1524 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135314372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 2347 1524 393 324 0 1416 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9388 [startup+51.1016 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20816 /proc/meminfo: memFree=1664712/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=10528 CPUtime=51.07 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 135905 0 2 0 5037 70 0 0 25 0 1 0 105291802 10780672 1773 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135326641 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 2632 1773 393 324 0 1701 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 10528 [startup+102.304 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20816 /proc/meminfo: memFree=1662920/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=12404 CPUtime=102.27 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 226989 0 2 0 10105 122 0 0 25 0 1 0 105291802 12701696 2198 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135227452 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 3101 2198 393 324 0 2170 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 12404 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20816 /proc/meminfo: memFree=1661448/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=14212 CPUtime=162.24 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 322058 0 2 0 16047 177 0 0 25 0 1 0 105291802 14553088 2574 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135227829 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 3553 2575 393 324 0 2622 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 14212 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20816 /proc/meminfo: memFree=1661192/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=13852 CPUtime=222.23 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 413486 0 2 0 21992 231 0 0 25 0 1 0 105291802 14184448 2585 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134688012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 3463 2585 393 324 0 2532 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 13852 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20816 /proc/meminfo: memFree=1661128/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=14224 CPUtime=282.21 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 507953 0 2 0 27938 283 0 0 25 0 1 0 105291802 14565376 2604 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135203138 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 3556 2604 393 324 0 2625 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 14224 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20816 /proc/meminfo: memFree=1660552/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=14616 CPUtime=342.2 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 611078 0 2 0 33875 345 0 0 25 0 1 0 105291802 14966784 2708 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134941456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 3654 2708 393 324 0 2723 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 14616 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20816 /proc/meminfo: memFree=1660424/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=14748 CPUtime=402.18 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 698142 0 2 0 39822 396 0 0 25 0 1 0 105291802 15101952 2784 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134694879 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 3687 2784 393 324 0 2756 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 14748 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 20816 /proc/meminfo: memFree=1660360/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=15124 CPUtime=462.16 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 799095 0 2 0 45758 458 0 0 25 0 1 0 105291802 15486976 2785 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134801502 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 3781 2785 393 324 0 2850 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 15124 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/71 20924 /proc/meminfo: memFree=1659088/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=14720 CPUtime=522.1 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 906724 0 2 0 51687 523 0 0 25 0 1 0 105291802 15073280 2781 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135323043 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 3680 2781 393 324 0 2749 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 14720 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21014 /proc/meminfo: memFree=1660104/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=14776 CPUtime=582.04 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 1002557 0 2 0 57623 581 0 0 25 0 1 0 105291802 15130624 2828 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134694892 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 3694 2828 393 324 0 2763 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 14776 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21014 /proc/meminfo: memFree=1660040/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=14952 CPUtime=642.03 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 1099778 0 2 0 63565 638 0 0 25 0 1 0 105291802 15310848 2839 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 3738 2839 393 324 0 2807 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 14952 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21014 /proc/meminfo: memFree=1660168/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=15156 CPUtime=821.97 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 1391237 0 2 0 81384 813 0 0 25 0 1 0 105291802 15519744 2787 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134688004 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 3789 2787 393 324 0 2858 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 15156 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 21014 /proc/meminfo: memFree=1660040/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=15084 CPUtime=881.96 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 1498107 0 2 0 87319 877 0 0 25 0 1 0 105291802 15446016 2822 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135332340 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 3771 2822 393 324 0 2840 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 15084 [startup+942.301 s] /proc/loadavg: 1.06 1.00 1.00 2/65 21014 /proc/meminfo: memFree=1659976/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=15336 CPUtime=941.94 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 1600191 0 2 0 93260 934 0 0 25 0 1 0 105291802 15704064 2839 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134690046 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 3834 2839 393 324 0 2903 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 15336 [startup+1002.3 s] /proc/loadavg: 1.08 1.02 1.00 2/65 21014 /proc/meminfo: memFree=1659400/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=15484 CPUtime=1001.93 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 1710149 0 2 0 99197 996 0 0 25 0 1 0 105291802 15855616 2983 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 3871 2983 393 324 0 2940 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 15484 [startup+1062.3 s] /proc/loadavg: 1.09 1.03 1.00 2/65 21014 /proc/meminfo: memFree=1659400/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=15316 CPUtime=1061.91 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 1819653 0 2 0 105131 1060 0 0 25 0 1 0 105291802 15683584 2972 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7830606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 3940 2974 393 324 0 3009 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 15316 [startup+1122.3 s] /proc/loadavg: 1.03 1.02 1.00 2/65 21014 /proc/meminfo: memFree=1659272/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=15764 CPUtime=1121.9 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 1925356 0 2 0 111064 1126 0 0 25 0 1 0 105291802 16142336 3016 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135316298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 3941 3016 393 324 0 3010 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 15764 [startup+1182.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 21014 /proc/meminfo: memFree=1659080/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=15988 CPUtime=1181.88 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 2023587 0 2 0 117003 1185 0 0 25 0 1 0 105291802 16371712 3036 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134694920 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 3997 3036 393 324 0 3066 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 15988 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 21014 /proc/meminfo: memFree=1659208/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=15792 CPUtime=1241.87 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 2116259 0 2 0 122947 1240 0 0 25 0 1 0 105291802 16171008 3031 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135325595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 3948 3031 393 324 0 3017 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 15792 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21014 /proc/meminfo: memFree=1659144/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=16000 CPUtime=1301.86 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 2207799 0 2 0 128893 1293 0 0 25 0 1 0 105291802 16384000 3018 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134720768 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 4000 3018 393 324 0 3069 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 16000 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21014 /proc/meminfo: memFree=1659016/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=15956 CPUtime=1361.83 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 2301802 0 2 0 134839 1344 0 0 25 0 1 0 105291802 16338944 3035 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134694920 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 3989 3035 393 324 0 3058 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 15956 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21014 /proc/meminfo: memFree=1658952/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=16020 CPUtime=1421.82 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 2394403 0 2 0 140787 1395 0 0 25 0 1 0 105291802 16404480 3068 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134720768 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 4005 3068 393 324 0 3074 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 16020 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21014 /proc/meminfo: memFree=1658952/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=15936 CPUtime=1481.8 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 2484322 0 2 0 146733 1447 0 0 25 0 1 0 105291802 16318464 3055 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134700678 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 3984 3055 393 324 0 3053 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 15936 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21014 /proc/meminfo: memFree=1659080/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=15992 CPUtime=1541.78 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 2576540 0 2 0 152679 1499 0 0 25 0 1 0 105291802 16375808 3043 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 3998 3043 393 324 0 3067 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 15992 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21014 /proc/meminfo: memFree=1659080/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=16140 CPUtime=1601.76 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 2676058 0 2 0 158622 1554 0 0 25 0 1 0 105291802 16527360 3069 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 4035 3069 393 324 0 3104 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 16140 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21014 /proc/meminfo: memFree=1658760/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=16024 CPUtime=1661.75 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 2769880 0 2 0 164563 1612 0 0 25 0 1 0 105291802 16408576 3091 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135331926 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 4006 3091 393 324 0 3075 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 16024 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21014 /proc/meminfo: memFree=1658696/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=14432 CPUtime=1721.73 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 2862492 0 2 0 170508 1665 0 0 25 0 1 0 105291802 14778368 3075 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 3608 3075 393 324 0 2677 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 14432 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21014 /proc/meminfo: memFree=1658760/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=16284 CPUtime=1781.72 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 2954008 0 2 0 176454 1718 0 0 25 0 1 0 105291802 16674816 3110 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135326858 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 4071 3110 393 324 0 3140 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 16284 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21014 /proc/meminfo: memFree=1658760/2055920 swapFree=4187472/4192956 [pid=20815] ppid=20813 vsize=0 CPUtime=1800.02 /proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194308 2981015 0 2 0 178270 1732 0 0 25 0 1 0 105291802 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20815/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.62 CPU time (s): 1800.03 CPU user time (s): 1782.71 CPU system time (s): 17.3224 CPU usage (%): 99.9675 Max. virtual memory (cumulated for all children) (KiB): 16456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.71 system time used= 17.3224 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2981015 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 2966 runsolver used 1.07384 second user time and 3.90641 second system time The end
Begin job on node57 on Sun Apr 15 12:52:38 UTC 2007 IDJOB= 352786 IDBENCH= 2044 IDSOLVER= 163 FILE ID= node57/352786-1176641558 PBS_JOBID= 4559833 Free space on /tmp= 66560 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352786-1176641558/instance-352786-1176641558.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-352786-1176641558 -o ROOT/results/node57/solver-352786-1176641558 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352786-1176641558/instance-352786-1176641558.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= c7b7ba2fb8a9fff5b9677d5bbd1edc0f RANDOM SEED= 797473430 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node57.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.239 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.239 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1671264 kB Buffers: 17208 kB Cached: 245272 kB SwapCached: 2312 kB Active: 38448 kB Inactive: 237084 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1671264 kB SwapTotal: 4192956 kB SwapFree: 4187472 kB Dirty: 4640 kB Writeback: 0 kB Mapped: 20564 kB Slab: 95212 kB Committed_AS: 180796 kB PageTables: 1408 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= 66560 MiB End job on node57 on Sun Apr 15 13:22:41 UTC 2007