Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | SAT | 720.115 | 720.34 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin12.opb |
MD5SUM | 8ef9ab9b1b524024010be24ca1127d40 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 2.29265 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 4356 |
Total number of constraints | 600 |
Number of constraints which are clauses | 264 |
Number of constraints which are cardinality constraints (but not clauses) | 336 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 66 |
Maximum length of a constraint | 121 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 123 |
Number of bits of the biggest sum of numbers | 7 |
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.06/0.09 c ...done 0.06/0.09 c #vars=4356 #constraints=600 hasObjective=no 0.09/0.11 c res. mode=mod 0.09/0.11 c VSIDS like heuristics 0.09/0.11 c complete search running 0.59/0.61 c restart after 401 decisions 0.69/0.76 c nbDecision=500 #constraints=988 1.49/1.54 c restart after 801 decisions 2.10/2.18 c nbDecision=1000 #constraints=1371 4.89/4.95 c nbDecision=1500 #constraints=1779 5.69/5.79 c restart after 1601 decisions 7.69/7.77 c nbDecision=2000 #constraints=2161 11.09/11.19 c nbDecision=2500 #constraints=2595 14.99/15.07 c nbDecision=3000 #constraints=2950 17.89/17.91 c restart after 3201 decisions 20.38/20.46 c nbDecision=3500 #constraints=3306 27.19/27.26 c nbDecision=4000 #constraints=3716 35.28/35.37 c nbDecision=4500 #constraints=4123 46.58/46.61 c nbDecision=5000 #constraints=4545 58.18/58.29 c nbDecision=5500 #constraints=4945 68.57/68.62 c nbDecision=6000 #constraints=5350 77.47/77.51 c restart after 6401 decisions 81.07/81.18 c nbDecision=6500 #constraints=5682 96.77/96.82 c nbDecision=7000 #constraints=6077 116.56/116.69 c nbDecision=7500 #constraints=6476 137.65/137.71 c nbDecision=8000 #constraints=6850 158.75/158.85 c nbDecision=8500 #constraints=7249 183.73/183.88 c nbDecision=9000 #constraints=7648 211.42/211.51 c nbDecision=9500 #constraints=8025 240.32/240.48 c nbDecision=10000 #constraints=8421 271.20/271.35 c nbDecision=10500 #constraints=8822 307.20/307.33 c nbDecision=11000 #constraints=9228 338.99/339.19 c nbDecision=11500 #constraints=9639 376.47/376.67 c nbDecision=12000 #constraints=10067 418.37/418.52 c nbDecision=12500 #constraints=10494 445.85/446.02 c restart after 12801 decisions 461.85/462.08 c nbDecision=13000 #constraints=10855 495.74/495.93 c nbDecision=13500 #constraints=11267 531.13/531.39 c nbDecision=14000 #constraints=11626 567.42/567.64 c nbDecision=14500 #constraints=11938 603.41/603.60 c nbDecision=15000 #constraints=12319 642.39/642.65 c nbDecision=15500 #constraints=12684 681.98/682.23 c nbDecision=16000 #constraints=13069 719.96/720.28 c nbDecision=16485 #constraints=13469 719.96/720.28 719.96/720.28 s SATISFIABLE 719.96/720.28 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 719.96/720.28 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 719.96/720.28 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 719.96/720.28 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 719.96/720.28 v -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 719.96/720.28 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 719.96/720.28 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 719.96/720.28 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 719.96/720.28 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 719.96/720.28 v -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 719.96/720.28 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 719.96/720.28 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 719.96/720.28 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 719.96/720.28 v -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 719.96/720.28 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 719.96/720.28 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 719.96/720.28 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 719.96/720.28 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 719.96/720.28 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 719.96/720.28 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 719.96/720.28 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 719.96/720.28 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 719.96/720.28 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 719.96/720.28 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 719.96/720.28 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 719.96/720.28 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 719.96/720.28 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 719.96/720.28 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 719.96/720.28 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 719.96/720.28 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 719.96/720.28 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 719.96/720.28 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 719.96/720.28 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 719.96/720.28 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 719.96/720.28 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 719.96/720.28 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 719.96/720.28 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 719.96/720.28 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 719.96/720.28 v -x819 -x820 -x821 -x822 -x823 x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 719.96/720.28 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 719.96/720.28 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 719.96/720.28 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 719.96/720.28 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 719.96/720.28 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 719.96/720.28 v -x945 -x946 x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 719.96/720.28 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 719.96/720.28 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 719.96/720.28 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 719.96/720.28 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 719.96/720.28 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 719.96/720.28 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 719.96/720.28 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 719.96/720.28 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 719.96/720.28 v -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 719.96/720.28 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 719.96/720.28 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 719.96/720.28 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 719.96/720.28 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 719.96/720.28 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 719.96/720.28 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 719.96/720.28 v x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 719.96/720.28 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 719.96/720.28 v x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 719.96/720.28 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 719.96/720.28 v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 719.96/720.28 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 719.96/720.28 v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 719.96/720.28 v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 719.96/720.28 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 x1380 719.96/720.28 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 719.96/720.28 v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 719.96/720.28 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 719.96/720.28 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 719.96/720.28 v -x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 719.96/720.28 v -x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 719.96/720.28 v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 719.96/720.28 v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 719.96/720.28 v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 719.96/720.28 v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 719.96/720.28 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 719.96/720.28 v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 719.96/720.28 v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 719.96/720.28 v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 719.96/720.28 v -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 -x1634 -x1635 719.96/720.28 v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 719.96/720.28 v -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 719.96/720.28 v -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 719.96/720.28 v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 719.96/720.28 v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 719.96/720.28 v -x1721 -x1722 -x1723 -x1724 -x1725 x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 719.96/720.28 v -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 719.96/720.28 v -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 719.96/720.28 v -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 719.96/720.28 v -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 719.96/720.28 v -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 719.96/720.28 v -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 719.96/720.28 v -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 719.96/720.28 v -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 719.96/720.28 v -x1874 -x1875 x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 719.96/720.28 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 719.96/720.28 v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 719.96/720.28 v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 719.96/720.28 v -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 719.96/720.28 v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 719.96/720.28 v -x1976 x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 719.96/720.28 v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 719.96/720.28 v -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 719.96/720.28 v -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 719.96/720.28 v -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 719.96/720.28 v -x2061 -x2062 x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 719.96/720.28 v -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 719.96/720.28 v -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 719.96/720.28 v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 719.96/720.28 v -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 719.96/720.28 v -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 719.96/720.28 v -x2163 -x2164 x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 719.96/720.28 v -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 719.96/720.28 v -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 719.96/720.28 v -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 719.96/720.28 v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 719.96/720.28 v -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 719.96/720.28 v -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 719.96/720.28 v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 719.96/720.28 v -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 719.96/720.28 v -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 719.96/720.28 v -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 719.96/720.28 v -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 719.96/720.28 v -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 719.96/720.28 v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 719.96/720.28 v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 719.96/720.28 v -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 719.96/720.28 v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 719.96/720.28 v -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 x2468 719.96/720.28 v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 719.96/720.28 v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 719.96/720.28 v -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 719.96/720.28 v -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 719.96/720.28 v -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 719.96/720.28 v -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 719.96/720.28 v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 719.96/720.28 v -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 719.96/720.28 v -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620 -x2621 719.96/720.28 v -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 719.96/720.28 v -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 719.96/720.28 v -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 719.96/720.28 v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 719.96/720.28 v -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 719.96/720.28 v -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 719.96/720.28 v -x2724 x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 719.96/720.28 v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 719.96/720.28 v -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 719.96/720.28 v -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 719.96/720.28 v -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 719.96/720.28 v -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 719.96/720.28 v -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 719.96/720.28 v -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 719.96/720.28 v -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 x2875 -x2876 719.96/720.28 v -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 719.96/720.28 v -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 719.96/720.28 v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 719.96/720.28 v -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 719.96/720.28 v -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 719.96/720.28 v -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 719.96/720.28 v -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 719.96/720.28 v -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 719.96/720.28 v -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 x3028 -x3029 719.96/720.28 v -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 719.96/720.28 v -x3047 -x3048 -x3049 x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 719.96/720.28 v -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 719.96/720.28 v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 719.96/720.28 v -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 719.96/720.28 v -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 719.96/720.28 v -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 719.96/720.28 v -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 719.96/720.28 v -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 x3177 -x3178 -x3179 -x3180 -x3181 -x3182 719.96/720.28 v -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 719.96/720.28 v -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 719.96/720.28 v -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 719.96/720.28 v -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 719.96/720.28 v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 719.96/720.28 v -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 x3282 -x3283 -x3284 719.96/720.28 v -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 719.96/720.28 v -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 719.96/720.28 v -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 719.96/720.28 v -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 719.96/720.28 v -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 719.96/720.28 v -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 719.96/720.28 v -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 719.96/720.28 v -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 719.96/720.28 v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 719.96/720.28 v -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 719.96/720.28 v -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 719.96/720.28 v -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 719.96/720.28 v -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 719.96/720.28 v -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 719.96/720.28 v -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 719.96/720.28 v -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 719.96/720.28 v x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 719.96/720.28 v -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 719.96/720.28 v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 719.96/720.28 v -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 719.96/720.28 v -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 719.96/720.28 v -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 x3655 -x3656 -x3657 -x3658 719.96/720.28 v -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 719.96/720.28 v -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 719.96/720.28 v -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 719.96/720.28 v -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 719.96/720.28 v -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 719.96/720.28 v -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 x3757 -x3758 -x3759 -x3760 719.96/720.28 v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 719.96/720.28 v -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 719.96/720.28 v -x3795 -x3796 -x3797 -x3798 -x3799 x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 719.96/720.28 v -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 719.96/720.28 v -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 719.96/720.28 v -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 719.96/720.28 v -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 719.96/720.28 v -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 719.96/720.28 v -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 719.96/720.28 v -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 719.96/720.28 v -x3931 -x3932 x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 719.96/720.28 v -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 719.96/720.28 v -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 x3981 719.96/720.28 v -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 719.96/720.28 v -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 719.96/720.28 v -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 719.96/720.28 v -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 719.96/720.28 v -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 719.96/720.28 v -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 x4080 -x4081 -x4082 -x4083 719.96/720.28 v -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 719.96/720.28 v -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 719.96/720.28 v -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 x4133 -x4134 719.96/720.28 v -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 719.96/720.28 v -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 719.96/720.28 v -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 719.96/720.28 v -x4186 x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 719.96/720.28 v -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 719.96/720.28 v -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 719.96/720.28 v -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 719.96/720.28 v -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 719.96/720.28 v -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 719.96/720.28 v -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 719.96/720.28 v -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 719.96/720.28 v -x4322 -x4323 -x4324 x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 719.96/720.28 v -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 719.96/720.28 v -x4356 719.96/720.28 719.96/720.28 c user time= 719.768 s 719.96/720.28 c system time= 0.299954 s 719.96/720.28 c wall clock time=720.288
OK 0
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node22/watcher-357576-1176834414 -o ROOT/results/node22/solver-357576-1176834414 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357576-1176834414/instance-357576-1176834414.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 23280 /proc/meminfo: memFree=1846072/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=1468 CPUtime=0 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 131359105 1503232 168 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 367 168 131 317 0 46 0 [startup+0.0731921 s] /proc/loadavg: 1.00 1.00 1.00 3/77 23280 /proc/meminfo: memFree=1846072/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=3052 CPUtime=0.06 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 581 0 0 0 6 0 0 0 18 0 1 0 131359105 3125248 563 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 763 563 131 317 0 442 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3052 [startup+0.101197 s] /proc/loadavg: 1.00 1.00 1.00 3/77 23280 /proc/meminfo: memFree=1846072/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=4016 CPUtime=0.09 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 821 0 0 0 9 0 0 0 18 0 1 0 131359105 4112384 803 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 1004 803 137 317 0 683 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4016 [startup+0.301227 s] /proc/loadavg: 1.00 1.00 1.00 3/77 23280 /proc/meminfo: memFree=1846072/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=5328 CPUtime=0.29 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 1151 0 0 0 29 0 0 0 19 0 1 0 131359105 5455872 1133 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134533544 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 1332 1133 139 317 0 1011 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5328 [startup+0.701289 s] /proc/loadavg: 1.00 1.00 1.00 3/77 23280 /proc/meminfo: memFree=1846072/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=6916 CPUtime=0.69 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 1534 0 0 0 69 0 0 0 23 0 1 0 131359105 7081984 1516 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 1729 1516 139 317 0 1408 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6916 [startup+1.50242 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23281 /proc/meminfo: memFree=1839216/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=10276 CPUtime=1.49 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 2369 0 0 0 149 0 0 0 25 0 1 0 131359105 10522624 2351 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135272675 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 2569 2351 139 317 0 2248 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10276 [startup+3.10166 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23281 /proc/meminfo: memFree=1835248/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=14928 CPUtime=3.09 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 3516 0 0 0 308 1 0 0 25 0 1 0 131359105 15286272 3498 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 3732 3498 139 317 0 3411 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14928 [startup+6.30114 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23281 /proc/meminfo: memFree=1826992/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=21956 CPUtime=6.29 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 5200 0 0 0 627 2 0 0 25 0 1 0 131359105 22482944 5182 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715798 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 5489 5182 139 317 0 5168 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21956 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23281 /proc/meminfo: memFree=1816112/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=32388 CPUtime=12.69 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 7743 0 0 0 1266 3 0 0 25 0 1 0 131359105 33165312 7725 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 8097 7725 139 317 0 7776 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32388 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23281 /proc/meminfo: memFree=1801648/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=46952 CPUtime=25.48 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 11252 0 0 0 2544 4 0 0 25 0 1 0 131359105 48078848 11234 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134603962 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 11738 11234 139 317 0 11417 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 46952 [startup+51.102 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23281 /proc/meminfo: memFree=1773872/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=76408 CPUtime=51.07 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 18192 0 0 0 5100 7 0 0 25 0 1 0 131359105 78241792 18162 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 19102 18162 139 317 0 18781 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 76408 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23281 /proc/meminfo: memFree=1746480/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=104816 CPUtime=102.27 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 24987 0 0 0 10216 11 0 0 25 0 1 0 131359105 107331584 24957 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134541595 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 26204 24957 139 317 0 25883 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 104816 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23281 /proc/meminfo: memFree=1723952/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=128236 CPUtime=162.24 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 30595 0 0 0 16211 13 0 0 25 0 1 0 131359105 131313664 30565 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 32059 30565 139 317 0 31738 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 128236 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23281 /proc/meminfo: memFree=1705904/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=146996 CPUtime=222.22 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 35074 0 0 0 22207 15 0 0 25 0 1 0 131359105 150523904 35044 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 36749 35044 139 317 0 36428 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 146996 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23281 /proc/meminfo: memFree=1685680/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=168476 CPUtime=282.21 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 40124 0 0 0 28204 17 0 0 25 0 1 0 131359105 172519424 40037 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 42119 40037 139 317 0 41798 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 168476 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23281 /proc/meminfo: memFree=1670768/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=184384 CPUtime=342.19 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 43871 0 0 0 34200 19 0 0 25 0 1 0 131359105 188809216 43784 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 46096 43784 139 317 0 45775 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 184384 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23281 /proc/meminfo: memFree=1655728/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=200408 CPUtime=402.17 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 47650 0 0 0 40196 21 0 0 25 0 1 0 131359105 205217792 47563 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 50102 47563 139 317 0 49781 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 200408 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23281 /proc/meminfo: memFree=1642096/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=214464 CPUtime=462.15 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 50983 0 0 0 46192 23 0 0 25 0 1 0 131359105 219611136 50896 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 53616 50896 139 317 0 53295 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 214464 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23281 /proc/meminfo: memFree=1630960/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=226196 CPUtime=522.14 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 53772 0 0 0 52189 25 0 0 25 0 1 0 131359105 231624704 53685 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 56549 53685 139 317 0 56228 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 226196 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23281 /proc/meminfo: memFree=1622256/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=235368 CPUtime=582.11 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 55954 0 0 0 58185 26 0 0 25 0 1 0 131359105 241016832 55867 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 58842 55867 139 317 0 58521 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 235368 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23283 /proc/meminfo: memFree=1613296/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=244688 CPUtime=642.1 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 58122 0 0 0 64182 28 0 0 25 0 1 0 131359105 250560512 58035 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 61172 58035 139 317 0 60851 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 244688 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23283 /proc/meminfo: memFree=1600944/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=258052 CPUtime=702.08 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 61234 0 0 0 70179 29 0 0 25 0 1 0 131359105 264245248 61147 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 64513 61147 139 317 0 64192 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 258052 Solver just ended. Dumping a history of the last processes samples [startup+703.902 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23283 /proc/meminfo: memFree=1600304/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=258660 CPUtime=703.68 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 61351 0 0 0 70339 29 0 0 25 0 1 0 131359105 264867840 61264 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 64665 61264 139 317 0 64344 0 Current children cumulated CPU time (s) 703.68 Current children cumulated vsize (KiB) 258660 [startup+710.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23283 /proc/meminfo: memFree=1598768/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=260428 CPUtime=710.07 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 61756 0 0 0 70978 29 0 0 25 0 1 0 131359105 266678272 61669 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563461 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 65107 61669 139 317 0 64786 0 Current children cumulated CPU time (s) 710.07 Current children cumulated vsize (KiB) 260428 [startup+716.702 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23283 /proc/meminfo: memFree=1596848/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=262632 CPUtime=716.47 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 62281 0 0 0 71618 29 0 0 25 0 1 0 131359105 268935168 62194 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 65658 62194 139 317 0 65337 0 Current children cumulated CPU time (s) 716.47 Current children cumulated vsize (KiB) 262632 [startup+718.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23283 /proc/meminfo: memFree=1595888/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=263344 CPUtime=718.07 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 62460 0 0 0 71778 29 0 0 25 0 1 0 131359105 269664256 62373 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 65836 62373 139 317 0 65515 0 Current children cumulated CPU time (s) 718.07 Current children cumulated vsize (KiB) 263344 [startup+719.102 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23283 /proc/meminfo: memFree=1595888/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=263344 CPUtime=718.87 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 62469 0 0 0 71858 29 0 0 25 0 1 0 131359105 269664256 62382 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 65836 62382 139 317 0 65515 0 Current children cumulated CPU time (s) 718.87 Current children cumulated vsize (KiB) 263344 [startup+719.901 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23283 /proc/meminfo: memFree=1595824/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=263628 CPUtime=719.66 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194304 62530 0 0 0 71937 29 0 0 25 0 1 0 131359105 269955072 62443 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712485 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 65907 62443 139 317 0 65586 0 Current children cumulated CPU time (s) 719.66 Current children cumulated vsize (KiB) 263628 [startup+720.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23283 /proc/meminfo: memFree=1595824/2055920 swapFree=4168624/4192956 [pid=23280] ppid=23278 vsize=0 CPUtime=720.07 /proc/23280/stat : 23280 (oree) R 23278 23280 22747 0 -1 4194308 62546 0 0 0 71977 30 0 0 25 0 1 0 131359105 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23280/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 720.07 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 720.34 CPU time (s): 720.115 CPU user time (s): 719.774 CPU system time (s): 0.341948 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 263628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 719.774 system time used= 0.341948 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 62546 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= 1347 runsolver used 0.857869 second user time and 1.71674 second system time The end
Begin job on node22 on Tue Apr 17 18:26:54 UTC 2007 IDJOB= 357576 IDBENCH= 1151 IDSOLVER= 172 FILE ID= node22/357576-1176834414 PBS_JOBID= 4586401 Free space on /tmp= 66530 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin12.opb COMMAND LINE= oree /tmp/evaluation/357576-1176834414/instance-357576-1176834414.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-357576-1176834414 -o ROOT/results/node22/solver-357576-1176834414 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357576-1176834414/instance-357576-1176834414.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 8ef9ab9b1b524024010be24ca1127d40 RANDOM SEED= 531672993 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node22.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1846416 kB Buffers: 31884 kB Cached: 85284 kB SwapCached: 2308 kB Active: 60208 kB Inactive: 89328 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1846416 kB SwapTotal: 4192956 kB SwapFree: 4168624 kB Dirty: 1752 kB Writeback: 0 kB Mapped: 40184 kB Slab: 45544 kB Committed_AS: 1726004 kB PageTables: 1708 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= 66530 MiB End job on node22 on Tue Apr 17 18:38:55 UTC 2007