Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 28 | 1800.03 | 1800.53 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_002_area_delay.opb |
MD5SUM | d6135de924aeb400fc0f7d1c419e5860 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 24 |
Best CPU time to get the best result obtained on this benchmark | 58.7721 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | YES |
Number of variables | 6080 |
Total number of constraints | 18113 |
Number of constraints which are clauses | 18113 |
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 | 1 |
Maximum length of a constraint | 125 |
Number of terms in the objective function | 2975 |
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 | 2975 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 2975 |
Number of bits of the biggest sum of numbers | 12 |
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 Parsing PB file... 0.49/0.54 c Converting 17626 PB-constraints to clauses... 0.49/0.54 c -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp 0.49/0.55 c -- Detecting intervals from adjacent constraints: ######### 0.49/0.56 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 0.49/0.59 c ---[16207]---> BDD-cost: 1 0.49/0.59 c ---[16025]---> BDD-cost: 1 0.49/0.59 c ---[15269]---> BDD-cost: 1 0.49/0.59 c ---[15051]---> BDD-cost: 1 0.49/0.60 c ---[14914]---> BDD-cost: 1 0.49/0.60 c ---[14863]---> BDD-cost: 1 0.49/0.60 c ---[14846]---> BDD-cost: 1 0.49/0.60 c ---[14841]---> BDD-cost: 1 0.49/0.60 c ---[14839]---> BDD-cost: 1 0.59/0.60 c ==================================[MINISAT+]================================== 0.59/0.60 c | Conflicts | Original | Learnt | Progress | 0.59/0.60 c | | Clauses Literals | Max Clauses Literals LPC | | 0.59/0.60 c ============================================================================== 0.59/0.60 c | 0 | 15634 37659 | 5211 0 0 nan | 0.000 % | 0.59/0.60 c ============================================================================== 0.59/0.60 c [1mFound solution: 32[0m 0.59/0.60 o 32 0.59/0.63 c ---[ 0]---> Adder-cost: 4964 maxlim: 2456 bits: 12/12 4.68/4.76 c ==================================[MINISAT+]================================== 4.68/4.76 c | Conflicts | Original | Learnt | Progress | 4.68/4.76 c | | Clauses Literals | Max Clauses Literals LPC | | 4.68/4.76 c ============================================================================== 4.68/4.76 c | 11 | 50299 161461 | 16766 11 90 8.2 | 0.000 % | 4.78/4.82 c | 111 | 50091 160735 | 18442 80 480 6.0 | 9.170 % | 4.78/4.87 c | 261 | 49886 160028 | 20286 195 737 3.8 | 9.486 % | 4.88/4.95 c | 486 | 49827 159829 | 22315 413 1571 3.8 | 9.586 % | 4.98/5.09 c | 823 | 49759 159601 | 24547 742 2837 3.8 | 9.703 % | 5.18/5.28 c | 1330 | 49750 159572 | 27001 1248 6495 5.2 | 9.721 % | 5.49/5.50 c | 2090 | 49750 159572 | 29701 2008 25731 12.8 | 9.721 % | 5.79/5.84 c | 3229 | 49750 159572 | 32672 3147 112519 35.8 | 9.721 % | 6.19/6.30 c | 4937 | 49750 159572 | 35939 4855 283032 58.3 | 9.721 % | 6.99/7.08 c | 7499 | 49750 159572 | 39533 7417 523782 70.6 | 9.721 % | 8.18/8.20 c | 11345 | 49750 159572 | 43486 11263 1012182 89.9 | 9.721 % | 10.09/10.13 c | 17111 | 49750 159572 | 47835 17029 1563365 91.8 | 9.721 % | 15.08/15.12 c | 25760 | 49750 159572 | 52618 25678 2994569 116.6 | 9.721 % | 25.38/25.49 c | 38734 | 49750 159572 | 57880 38652 5206084 134.7 | 9.721 % | 45.37/45.49 c | 58195 | 49750 159572 | 63668 58113 7971669 137.2 | 9.721 % | 73.27/73.33 c | 87387 | 49750 159572 | 70035 37373 4370898 117.0 | 9.721 % | 126.05/126.16 c | 131176 | 49750 159572 | 77039 26533 2911816 109.7 | 9.721 % | 152.75/152.84 c ============================================================================== 152.75/152.84 c [1mFound solution: 30[0m 152.75/152.84 o 30 152.75/152.87 c ---[ 0]---> Adder-cost: 0 maxlim: 2458 bits: 12/12 157.15/157.26 c ==================================[MINISAT+]================================== 157.15/157.26 c | Conflicts | Original | Learnt | Progress | 157.15/157.26 c | | Clauses Literals | Max Clauses Literals LPC | | 157.15/157.26 c ============================================================================== 157.15/157.26 c | 158353 | 49754 159591 | 16584 53710 7348425 136.8 | 9.721 % | 157.45/157.57 c | 158453 | 49754 159591 | 18242 16203 1999833 123.4 | 9.738 % | 157.65/157.72 c | 158603 | 49754 159591 | 20066 16353 2000563 122.3 | 9.738 % | 157.85/157.96 c | 158828 | 49754 159591 | 22073 16578 2001651 120.7 | 9.738 % | 158.14/158.21 c | 159166 | 49754 159591 | 24280 16916 2003588 118.4 | 9.738 % | 158.35/158.46 c | 159674 | 49754 159591 | 26708 17424 2016817 115.7 | 9.738 % | 158.74/158.86 c | 160434 | 49754 159591 | 29379 18184 2093634 115.1 | 9.738 % | 159.35/159.49 c | 161573 | 49754 159591 | 32317 19323 2197266 113.7 | 9.738 % | 160.14/160.21 c | 163284 | 49754 159591 | 35549 21034 2376418 113.0 | 9.738 % | 161.34/161.41 c | 165846 | 49754 159591 | 39104 23596 2687911 113.9 | 9.738 % | 162.65/162.77 c | 169690 | 49754 159591 | 43014 27440 2937142 107.0 | 9.738 % | 166.54/166.62 c | 175456 | 49754 159591 | 47316 33206 3690524 111.1 | 9.738 % | 173.24/173.35 c | 184109 | 49754 159591 | 52047 41859 4893859 116.9 | 9.738 % | 187.83/187.95 c | 197087 | 49754 159591 | 57252 16387 2005916 122.4 | 9.738 % | 203.43/203.51 c | 216554 | 49754 159591 | 62977 35854 4658293 129.9 | 9.738 % | 240.73/240.88 c | 245748 | 49754 159591 | 69275 17933 1685271 94.0 | 9.738 % | 290.61/290.74 c | 289537 | 49754 159591 | 76203 61722 6976377 113.0 | 9.738 % | 337.79/337.90 c ============================================================================== 337.79/337.90 c [1mFound solution: 29[0m 337.79/337.90 o 29 337.79/337.94 c ---[ 0]---> Adder-cost: 0 maxlim: 2459 bits: 12/12 342.19/342.39 c ==================================[MINISAT+]================================== 342.19/342.39 c | Conflicts | Original | Learnt | Progress | 342.19/342.39 c | | Clauses Literals | Max Clauses Literals LPC | | 342.19/342.39 c ============================================================================== 342.19/342.39 c | 325168 | 49755 159596 | 16585 36995 4013048 108.5 | 9.738 % | 342.39/342.56 c | 325268 | 49755 159596 | 18243 15383 1471768 95.7 | 9.746 % | 342.49/342.66 c | 325418 | 49755 159596 | 20067 15533 1473064 94.8 | 9.746 % | 342.59/342.73 c | 325643 | 49755 159596 | 22074 15758 1483029 94.1 | 9.746 % | 342.79/342.94 c | 325980 | 49755 159596 | 24282 16095 1508654 93.7 | 9.746 % | 342.99/343.18 c | 326487 | 49755 159596 | 26710 16602 1564387 94.2 | 9.746 % | 343.39/343.53 c | 327248 | 49755 159596 | 29381 17363 1643819 94.7 | 9.746 % | 343.89/344.05 c | 328387 | 49755 159596 | 32319 18502 1786155 96.5 | 9.746 % | 344.69/344.88 c | 330096 | 49746 159565 | 35551 20204 1963944 97.2 | 9.755 % | 345.99/346.12 c | 332658 | 49746 159565 | 39106 22766 2264432 99.5 | 9.755 % | 348.09/348.24 c | 336503 | 49746 159565 | 43017 26611 2810525 105.6 | 9.755 % | 352.10/352.26 c | 342270 | 49746 159565 | 47318 32378 3626525 112.0 | 9.755 % | 359.19/359.34 c | 350922 | 49746 159565 | 52050 41030 4755594 115.9 | 9.755 % | 374.89/375.09 c | 363896 | 49746 159565 | 57255 16068 1784175 111.0 | 9.755 % | 394.08/394.22 c | 383357 | 49746 159565 | 62981 35529 4608225 129.7 | 9.755 % | 434.47/434.65 c | 412550 | 49746 159565 | 69279 64722 8093674 125.1 | 9.755 % | 480.26/480.46 c | 456340 | 49746 159565 | 76207 55429 5970762 107.7 | 9.755 % | 510.05/510.22 c ============================================================================== 510.05/510.22 c [1mFound solution: 28[0m 510.05/510.22 o 28 510.05/510.26 c ---[ 0]---> Adder-cost: 0 maxlim: 2460 bits: 12/12 514.65/514.87 c ==================================[MINISAT+]================================== 514.65/514.87 c | Conflicts | Original | Learnt | Progress | 514.65/514.87 c | | Clauses Literals | Max Clauses Literals LPC | | 514.65/514.87 c ============================================================================== 514.65/514.87 c | 476600 | 49749 159578 | 16583 75689 8896137 117.5 | 9.755 % | 515.25/515.43 c | 476700 | 49749 159578 | 18241 17375 1851606 106.6 | 9.763 % | 515.25/515.49 c | 476850 | 49749 159578 | 20065 17525 1863269 106.3 | 9.763 % | 515.45/515.61 c | 477076 | 49749 159578 | 22071 17751 1887027 106.3 | 9.763 % | 515.55/515.78 c | 477416 | 49749 159578 | 24279 18091 1920524 106.2 | 9.763 % | 515.85/516.01 c | 477922 | 49749 159578 | 26707 18597 1968608 105.9 | 9.763 % | 516.15/516.32 c | 478681 | 49749 159578 | 29377 19356 2048452 105.8 | 9.763 % | 516.75/516.98 c | 479820 | 49749 159578 | 32315 20495 2175831 106.2 | 9.763 % | 517.95/518.16 c | 481529 | 49749 159578 | 35547 22204 2376434 107.0 | 9.763 % | 520.05/520.21 c | 484091 | 49749 159578 | 39101 24766 2668797 107.8 | 9.763 % | 523.45/523.64 c | 487935 | 49749 159578 | 43012 28610 3032536 106.0 | 9.763 % | 528.54/528.79 c | 493702 | 49749 159578 | 47313 34377 3616577 105.2 | 9.763 % | 536.94/537.12 c | 502357 | 49749 159578 | 52044 43032 4616103 107.3 | 9.763 % | 555.03/555.27 c | 515331 | 49749 159578 | 57249 17052 2005476 117.6 | 9.763 % | 569.53/569.80 c | 534794 | 49749 159578 | 62973 36515 4388058 120.2 | 9.763 % | 605.72/605.92 c | 563986 | 49749 159578 | 69271 17016 1626608 95.6 | 9.763 % | 650.41/650.62 c | 607775 | 49749 159578 | 76198 60805 8125290 133.6 | 9.763 % | 743.68/743.98 c | 673462 | 49749 159578 | 83818 64737 9442282 145.9 | 9.763 % | 913.44/913.78 c | 771993 | 49749 159578 | 92200 30196 3075778 101.9 | 9.763 % | 1173.17/1173.57 c | 919782 | 49749 159578 | 101420 34061 2964954 87.0 | 9.763 % | 1571.37/1571.85 c | 1141469 | 49749 159578 | 111562 90872 10288500 113.2 | 9.763 % | 1800.01/1800.50 c 1800.01/1800.50 c *** TERMINATED *** 1800.01/1800.50 s SATISFIABLE 1800.01/1800.50 v -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 x216 -x218 -x220 -x222 -x224 -x226 -x228 x229 -x231 1800.01/1800.50 v -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 1800.01/1800.50 v -x275 -x277 -x279 -x281 -x283 -x285 x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 1800.01/1800.50 v -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 1800.01/1800.50 v -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 1800.01/1800.50 v -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 1800.01/1800.50 v -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 1800.01/1800.50 v -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 1800.01/1800.50 v -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 1800.01/1800.50 v -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 1800.01/1800.50 v -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 1800.01/1800.50 v -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 1800.01/1800.50 v -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 1800.01/1800.50 v -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 1800.01/1800.50 v -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 1800.01/1800.50 v -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 1800.01/1800.50 v -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 1800.01/1800.50 v -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 1800.01/1800.50 v -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x975 -x977 -x979 -x981 -x983 -x985 1800.01/1800.50 v -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 1800.01/1800.50 v -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 1800.01/1800.50 v -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 1800.01/1800.50 v -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 1800.01/1800.50 v -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 1800.01/1800.50 v -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 1800.01/1800.50 v -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 1800.01/1800.50 v -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 1800.01/1800.50 v -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 1800.01/1800.50 v -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 1800.01/1800.50 v -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 1800.01/1800.50 v -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 1800.01/1800.50 v -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 1800.01/1800.50 v -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 1800.01/1800.50 v -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 1800.01/1800.50 v -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 1800.01/1800.50 v -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 1800.01/1800.50 v -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 1800.01/1800.50 v -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 1800.01/1800.50 v -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 1800.01/1800.50 v -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 1800.01/1800.50 v -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 1800.01/1800.50 v -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 1800.01/1800.50 v -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1796 -x1798 -x1800 1800.01/1800.50 v -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 1800.01/1800.50 v -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 1800.01/1800.50 v -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 1800.01/1800.50 v -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 1800.01/1800.50 v -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 1800.01/1800.50 v -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 1800.01/1800.50 v -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2029 -x2031 -x2033 -x2035 -x2037 1800.01/1800.50 v -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 1800.01/1800.50 v -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2087 -x2089 -x2091 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 1800.01/1800.50 v -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 1800.01/1800.50 v -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 1800.01/1800.50 v -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 1800.01/1800.50 v -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2236 1800.01/1800.50 v -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2253 -x2255 -x2257 -x2259 -x2261 -x2262 -x2264 -x2266 -x2268 1800.01/1800.50 v -x2270 -x2272 -x2274 -x2276 -x2278 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 x2291 -x2293 -x2295 -x2297 -x2299 -x2301 1800.01/1800.50 v -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 1800.01/1800.50 v -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 1800.01/1800.50 v -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 1800.01/1800.50 v -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 1800.01/1800.50 v -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 1800.01/1800.50 v -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 1800.01/1800.50 v -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 1800.01/1800.50 v -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 1800.01/1800.50 v -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 1800.01/1800.50 v -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 1800.01/1800.50 v -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 1800.01/1800.50 v -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 1800.01/1800.50 v -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 1800.01/1800.50 v -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 1800.01/1800.50 v -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 1800.01/1800.50 v -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 1800.01/1800.50 v -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 1800.01/1800.50 v -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 1800.01/1800.50 v -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 1800.01/1800.50 v -x2945 -x2947 -x2949 -x2951 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 1800.01/1800.50 v -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 1800.01/1800.50 v -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 1800.01/1800.50 v -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 1800.01/1800.50 v -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 1800.01/1800.50 v -x3113 -x3115 -x3117 -x3119 -x3121 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 1800.01/1800.50 v -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 1800.01/1800.50 v -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 1800.01/1800.50 v -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 1800.01/1800.50 v -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 1800.01/1800.50 v -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 1800.01/1800.50 v -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 1800.01/1800.50 v -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 x3375 -x3377 x3379 -x3381 -x3383 1800.01/1800.50 v -x3385 -x3387 -x3388 -x3390 -x3392 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 1800.01/1800.50 v -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 1800.01/1800.50 v -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 1800.01/1800.50 v -x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 x3517 1800.01/1800.50 v -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3550 1800.01/1800.50 v -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 1800.01/1800.50 v -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 1800.01/1800.50 v -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3643 -x3645 -x3647 -x3649 -x3651 1800.01/1800.50 v -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 1800.01/1800.50 v -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 1800.01/1800.50 v -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 1800.01/1800.50 v -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3783 -x3785 1800.01/1800.50 v -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 1800.01/1800.50 v -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 1800.01/1800.50 v -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 1800.01/1800.50 v -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3920 1800.01/1800.50 v -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 1800.01/1800.50 v -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 x3984 -x3986 -x3988 1800.01/1800.50 v -x3990 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 -x4021 1800.01/1800.50 v -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 1800.01/1800.50 v -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 -x4081 -x4083 -x4085 -x4086 -x4088 1800.01/1800.50 v -x4090 -x4092 -x4094 -x4096 x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 1800.01/1800.50 v -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144 -x4146 -x4148 -x4150 -x4152 -x4153 -x4155 1800.01/1800.50 v -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 1800.01/1800.50 v -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 -x4219 -x4221 -x4223 1800.01/1800.50 v -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 1800.01/1800.50 v -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 1800.01/1800.50 v -x4293 -x4295 -x4297 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 1800.01/1800.50 v -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 1800.01/1800.50 v -x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x4386 -x4388 -x4390 -x4391 1800.01/1800.50 v -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4419 -x4421 -x4423 -x4425 1800.01/1800.50 v -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4443 -x4445 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 1800.01/1800.50 v -x4460 -x4462 -x4464 -x4466 -x4468 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 1800.01/1800.50 v -x4493 -x4495 -x4497 -x4499 -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 -x4519 -x4521 -x4523 -x4525 1800.01/1800.50 v -x4527 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 -x4557 -x4559 1800.01/1800.50 v -x4561 -x4563 -x4565 -x4567 -x4569 -x4570 -x4572 -x4574 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 -x4590 -x4592 1800.01/1800.50 v -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 1800.01/1800.50 v -x4628 -x4630 -x4632 -x4634 -x4636 -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 1800.01/1800.50 v -x4662 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4693 1800.01/1800.50 v -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x4707 -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 1800.01/1800.50 v -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4759 -x4761 1800.01/1800.50 v -x4763 -x4765 -x4767 -x4769 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 1800.01/1800.50 v -x4797 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 1800.01/1800.50 v -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 -x4842 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -x4858 -x4860 -x4862 1800.01/1800.50 v -x4864 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -x4877 -x4879 -x4881 -x4883 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 1800.01/1800.50 v -x4897 -x4899 x4901 -x4903 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 1800.01/1800.50 v -x4931 -x4933 -x4935 -x4937 -x4939 -x4941 -x4943 -x4945 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 -x4961 -x4963 1800.01/1800.50 v -x4965 -x4967 -x4969 -x4971 -x4973 -x4975 -x4976 -x4978 -x4980 x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 1800.01/1800.50 v -x4998 -x5000 -x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030 1800.01/1800.50 v -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 1800.01/1800.50 v -x5066 -x5068 -x5070 -x5072 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 1800.01/1800.50 v -x5100 -x5102 -x5104 -x5106 -x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x5130 -x5132 1800.01/1800.50 v -x5134 -x5136 -x5138 -x5140 -x5142 -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5165 1800.01/1800.50 v -x5167 -x5169 -x5171 -x5173 -x5175 -x5177 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x5197 -x5199 1800.01/1800.50 v -x5201 -x5203 -x5204 -x5206 -x5208 -x5210 -x5212 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5226 -x5227 -x5229 -x5231 1800.01/1800.50 v -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x5249 -x5251 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 1800.01/1800.50 v -x5266 -x5268 -x5270 -x5272 -x5274 -x5276 -x5278 -x5280 -x5282 -x5284 -x5286 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 1800.01/1800.50 v -x5299 -x5301 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x5315 -x5317 -x5319 -x5321 -x5323 -x5325 -x5327 -x5329 -x5331 1800.01/1800.50 v -x5333 -x5335 -x5337 -x5339 -x5341 -x5343 -x5345 -x5347 -x5349 -x5351 -x5353 -x5355 -x5357 -x5359 -x5361 -x5363 x5365 1800.01/1800.50 v -x5367 -x5369 -x5371 -x5373 -x5375 -x5377 -x5379 -x5381 -x5383 -x5385 -x5387 -x5389 -x5391 -x5393 -x5394 -x5396 -x5398 1800.01/1800.50 v -x5400 -x5402 -x5404 -x5406 -x5408 -x5410 x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5426 -x5428 -x5430 -x5432 1800.01/1800.50 v -x5434 -x5436 -x5438 -x5440 -x5442 -x5444 -x5446 -x5448 -x5450 -x5452 -x5454 -x5456 -x5458 -x5460 -x5462 -x5464 -x5466 1800.01/1800.50 v -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x5500 1800.01/1800.50 v -x5502 -x5504 -x5506 -x5508 -x5510 -x5512 -x5514 -x5516 -x5518 -x5520 -x5522 -x5524 -x5526 -x5528 -x5530 -x5532 -x5534 1800.01/1800.50 v -x5536 -x5538 -x5540 -x5542 -x5544 -x5546 -x5548 -x5550 -x5552 -x5554 -x5556 -x5558 -x5560 -x5562 -x5564 -x5566 -x5567 1800.01/1800.50 v -x5569 -x5571 -x5573 -x5575 -x5577 -x5579 -x5581 -x5583 -x5585 -x5587 -x5589 -x5591 -x5593 x5595 -x5597 -x5599 -x5601 1800.01/1800.50 v -x5603 -x5605 -x5607 -x5609 -x5611 -x5613 -x5615 -x5617 -x5619 -x5621 -x5623 -x5625 -x5627 -x5629 -x5631 -x5633 -x5634 1800.01/1800.50 v -x5636 -x5638 -x5640 -x5642 -x5644 -x5646 -x5648 -x5650 -x5652 -x5654 -x5656 -x5658 -x5659 -x5661 -x5663 -x5665 -x5667 1800.01/1800.50 v -x5669 x5671 -x5673 -x5675 -x5677 -x5679 -x5681 -x5682 -x5684 -x5686 -x5688 -x5690 -x5692 -x5694 -x5696 -x5698 -x5700 1800.01/1800.50 v -x5702 -x5704 -x5706 -x5708 -x5710 -x5712 -x5714 -x5716 -x5718 -x5720 -x5722 -x5724 x5726 -x5728 -x5730 -x5732 -x5734 1800.01/1800.50 v -x5736 -x5737 -x5739 -x5741 -x5743 -x5745 x5746 -x5748 -x5750 -x5752 -x5754 -x5756 -x5758 -x5760 -x5762 -x5764 -x5766 1800.01/1800.50 v -x5768 -x5770 -x5772 -x5774 -x5776 -x5778 -x5780 -x5782 -x5784 -x5786 -x5788 -x5790 -x5792 -x5793 -x5795 -x5797 -x5799 1800.01/1800.50 v -x5801 -x5803 -x5805 -x5807 x5809 -x5811 -x5813 -x5815 -x5817 -x5819 -x5821 -x5823 -x5825 -x5827 -x5829 -x5831 -x5833 1800.01/1800.50 v -x5835 -x5837 -x5839 -x5841 -x5843 -x5845 -x5847 -x5849 -x5851 -x5853 -x5855 -x5857 -x5859 -x5861 -x5863 -x5865 -x5867 1800.01/1800.50 v -x5869 -x5871 -x5873 -x5875 -x5877 -x5879 -x5881 -x5883 -x5885 -x5887 -x5889 -x5891 -x5893 -x5895 -x5897 -x5899 -x5901 1800.01/1800.50 v -x5903 -x5905 -x5907 -x5909 -x5911 -x5913 -x5915 -x5917 -x5919 -x5921 -x5923 -x5925 -x5927 -x5929 -x5931 -x5933 -x5935 1800.01/1800.50 v -x5937 -x5939 -x5941 -x5943 -x5945 -x5947 -x5949 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x5963 x5964 -x5966 -x5968 1800.01/1800.50 v -x5970 -x5972 -x5974 -x5976 -x5978 -x5980 -x5982 -x5984 -x5986 -x5988 -x5990 -x5992 -x5994 -x5996 -x5998 x6000 -x6002 1800.01/1800.50 v -x6004 -x6006 -x6008 -x6010 -x6012 -x6014 -x6016 -x6018 -x6020 -x6022 -x6024 -x6026 -x6028 x6030 -x6032 -x6034 -x6036 1800.01/1800.50 v -x6038 -x6040 -x6042 -x6044 -x6046 -x6048 -x6049 -x6051 -x6053 -x6055 -x6057 -x6059 -x6061 -x6063 -x6065 -x6067 -x6069 1800.01/1800.50 v -x6071 -x6073 -x6074 -x6076 -x6078 x6079 x6080 -x191 -x193 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 x215 1800.01/1800.50 v -x217 -x219 -x221 -x223 -x225 -x227 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x1 -x252 -x254 -x256 1800.01/1800.50 v -x258 -x260 -x262 -x264 -x2 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 x286 -x288 -x290 -x292 -x3 -x294 -x296 1800.01/1800.50 v -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 1800.01/1800.50 v -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 1800.01/1800.50 v -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 1800.01/1800.50 v -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 1800.01/1800.50 v -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 1800.01/1800.50 v -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 x546 -x548 1800.01/1800.50 v -x4 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 1800.01/1800.50 v -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x631 1800.01/1800.50 v -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 1800.01/1800.50 v -x5 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 1800.01/1800.50 v -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 1800.01/1800.50 v -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 1800.01/1800.50 v -x799 -x6 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 1800.01/1800.50 v -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x7 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 1800.01/1800.50 v -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 1800.01/1800.50 v -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 1800.01/1800.50 v -x963 -x965 -x967 -x969 -x971 -x973 -x976 -x978 -x980 -x982 -x984 -x986 -x8 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 1800.01/1800.50 v -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 1800.01/1800.50 v -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x9 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 1800.01/1800.50 v -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 1800.01/1800.50 v -x1106 -x1108 -x1110 -x10 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 1800.01/1800.50 v -x1140 -x11 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 1800.01/1800.50 v -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 1800.01/1800.50 v -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 1800.01/1800.50 v -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x12 -x1268 -x1270 -x1272 -x1274 1800.01/1800.50 v -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 1800.01/1800.50 v -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x13 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 1800.01/1800.50 v -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 1800.01/1800.50 v -x1378 -x1381 -x1383 -x1385 -x1387 -x1389 -x14 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 1800.01/1800.50 v -x1413 -x1415 -x1417 -x1419 -x15 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 1800.01/1800.50 v -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 1800.01/1800.50 v -x1481 -x16 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x17 1800.01/1800.50 v -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x18 -x1543 -x1545 1800.01/1800.50 v -x1548 -x1550 -x1552 -x1554 -x19 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 1800.01/1800.50 v -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 1800.01/1800.50 v -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 1800.01/1800.50 v -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x20 -x1682 1800.01/1800.50 v -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 1800.01/1800.50 v -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x21 -x1744 -x1746 -x1748 -x1750 1800.01/1800.50 v -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 1800.01/1800.50 v -x1786 -x1788 -x1790 -x1792 -x1794 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 x1815 -x1817 -x1819 1800.01/1800.50 v -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 1800.01/1800.50 v -x1855 -x1857 -x1859 -x1861 -x1863 -x22 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 1800.01/1800.50 v -x1889 -x1891 -x1893 -x23 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 1800.01/1800.50 v -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 1800.01/1800.50 v -x24 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x25 -x1987 1800.01/1800.50 v -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x26 -x2017 -x2019 -x2021 1800.01/1800.50 v -x2023 -x2025 -x2027 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x27 -x2046 -x2048 -x2050 -x2052 -x2055 -x2057 1800.01/1800.50 v -x28 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2088 -x2090 -x2093 1800.01/1800.50 v -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x29 -x2119 -x2121 -x2123 -x2125 -x2127 1800.01/1800.50 v -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 x2153 -x2155 -x2157 -x2159 -x2161 1800.01/1800.50 v -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x30 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 1800.01/1800.50 v -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x31 -x2209 -x2211 -x2213 -x2215 -x2217 -x2220 -x32 -x2222 -x2224 -x2226 -x2228 1800.01/1800.50 v -x2230 -x2232 -x2234 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x33 -x2251 -x2254 -x2256 -x2258 -x2260 -x34 -x2263 1800.01/1800.50 v -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x35 -x2277 -x2280 -x2282 -x2284 -x2286 -x2288 x2290 -x2292 -x2294 -x36 -x2296 1800.01/1800.50 v -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 1800.01/1800.50 v -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 1800.01/1800.50 v -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 1800.01/1800.50 v -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x37 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 1800.01/1800.50 v -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 1800.01/1800.50 v -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x38 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 1800.01/1800.50 v -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 1800.01/1800.50 v -x2537 -x2539 -x2541 -x2543 -x39 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 1800.01/1800.50 v -x2571 -x40 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 1800.01/1800.50 v -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x41 -x2635 -x2637 -x2639 1800.01/1800.50 v -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x42 -x2665 -x2667 -x2669 -x2671 -x2673 1800.01/1800.50 v -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x43 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 1800.01/1800.50 v -x44 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 1800.01/1800.50 v -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x45 -x2771 -x2773 -x2775 1800.01/1800.50 v -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x46 -x2801 -x2803 -x2805 -x2807 -x2809 1800.01/1800.50 v -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x47 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 1800.01/1800.50 v -x48 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x49 -x2875 1800.01/1800.50 v -x2877 -x2879 -x2881 -x2883 -x2885 -x50 -x2887 -x2890 -x2892 -x2894 -x2896 -x2898 -x51 -x2900 -x2902 -x2904 -x2906 -x2908 1800.01/1800.50 v -x2910 -x2912 -x52 -x2914 -x2916 -x2918 -x53 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 1800.01/1800.50 v -x2942 -x2944 -x2946 -x2948 -x2950 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 1800.01/1800.50 v -x2977 -x2979 -x54 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x55 1800.01/1800.50 v -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x56 -x3040 -x3042 1800.01/1800.50 v -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x57 -x3070 -x3072 -x3074 -x3076 1800.01/1800.50 v -x3078 -x3080 -x3082 -x58 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 1800.01/1800.50 v -x3112 -x59 -x3114 -x3116 -x3118 -x3120 -x3123 -x3125 -x60 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x61 -x3141 1800.01/1800.50 v -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 x62 -x3155 x3157 -x3159 -x63 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 1800.01/1800.50 v -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x64 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x65 -x3205 1800.01/1800.50 v -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x66 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x67 -x3233 -x3235 -x3237 1800.01/1800.50 v -x68 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x69 -x3253 -x3255 -x3257 -x70 -x3259 -x3261 -x3263 -x71 -x3265 -x3267 1800.01/1800.50 v -x72 -x3270 -x73 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x74 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 x3298 1800.01/1800.50 v -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x75 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 1800.01/1800.50 v -x3334 -x76 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x3366 1800.01/1800.50 v -x3368 -x3370 -x3372 -x3374 -x3376 x3378 -x3380 -x3382 -x3384 -x3386 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 1800.01/1800.50 v -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x77 -x3427 -x3429 -x3431 -x3433 -x3435 1800.01/1800.50 v -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x78 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 1800.01/1800.50 v -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x79 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x80 -x3497 -x3499 -x3501 1800.01/1800.50 v -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 1800.01/1800.50 v -x3538 -x81 -x3540 -x3542 -x3544 -x3546 -x3548 -x3551 -x82 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x83 -x3567 1800.01/1800.50 v -x3569 -x3571 -x84 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x85 -x3587 -x3589 -x3591 -x86 -x3593 -x3595 -x3597 1800.01/1800.50 v -x3599 -x3601 -x3603 -x3605 -x87 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 1800.01/1800.50 v -x3633 -x3635 -x88 -x3637 -x3639 -x3641 -x3644 -x3646 -x3648 -x89 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x90 1800.01/1800.50 v -x3664 -x3666 -x91 -x3668 -x3670 -x3672 -x92 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x93 -x3688 -x3690 -x3692 1800.01/1800.50 v -x94 -x3694 -x3696 -x95 -x3699 -x96 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 1800.01/1800.50 v -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 1800.01/1800.50 v -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3784 -x3786 -x3788 -x3790 -x3792 1800.01/1800.50 v -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x97 -x3826 1800.01/1800.50 v -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 1800.01/1800.50 v -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x98 -x3888 -x3890 -x3892 -x3894 1800.01/1800.50 v -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3921 -x3923 -x3925 -x3927 -x3929 1800.01/1800.50 v -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x99 -x3949 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x3963 1800.01/1800.50 v -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 1800.01/1800.50 v -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 1800.01/1800.50 v -x4034 -x4036 -x4038 -x100 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 1800.01/1800.50 v -x4066 -x4068 -x101 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x4084 -x4087 -x4089 -x4091 -x4093 -x4095 x4097 x102 1800.01/1800.50 v -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x103 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 1800.01/1800.50 v -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 1800.01/1800.50 v -x4166 -x4168 -x4170 -x4172 -x104 -x4174 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 1800.01/1800.50 v -x4198 -x4200 -x4202 -x105 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 1800.01/1800.50 v -x4230 -x4232 -x106 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x107 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 1800.01/1800.50 v -x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x108 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x109 -x4292 1800.01/1800.50 v -x4294 -x4296 -x4299 -x4301 -x4303 -x110 -x4305 -x4307 -x4309 -x111 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 1800.01/1800.50 v -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4351 -x4353 -x4355 -x4357 -x4359 1800.01/1800.50 v -x4361 -x4363 -x4365 -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4392 -x4394 1800.01/1800.50 v -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 1800.01/1800.50 v -x4430 -x4432 -x4434 -x112 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4461 1800.01/1800.50 v -x4463 -x4465 -x4467 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x113 -x4494 1800.01/1800.50 v -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 1800.01/1800.50 v -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x4544 -x4546 -x4548 -x4550 -x4552 -x4554 -x114 -x4556 -x4558 -x4560 1800.01/1800.50 v -x4562 -x4564 -x4566 -x4568 -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x115 -x4585 -x4587 -x4589 -x4591 -x4593 1800.01/1800.50 v -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 1800.01/1800.50 v -x4629 -x4631 -x4633 -x4635 -x4637 -x4639 -x4641 -x4643 -x4645 -x116 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 1800.01/1800.50 v -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x117 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691 1800.01/1800.50 v -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x118 -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x119 -x4720 -x4722 -x4724 1800.01/1800.50 v -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x4756 -x4758 1800.01/1800.50 v -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 -x120 -x4782 -x4784 -x4786 -x4788 -x4790 1800.01/1800.50 v -x4792 -x4794 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806 -x4808 -x4810 -x121 -x4812 -x4815 -x4817 -x4819 -x4821 -x4823 1800.01/1800.50 v -x4825 -x4827 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x122 -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x123 -x4855 1800.01/1800.50 v -x4857 -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x4871 -x4873 -x4875 -x4878 -x4880 -x4882 -x124 -x4884 -x4886 -x4888 1800.01/1800.50 v -x4890 -x4892 -x4894 -x4896 -x4898 x4900 -x4902 -x4904 -x4906 -x4908 -x4910 -x125 -x4912 -x4914 -x4916 -x126 -x4918 -x4920 1800.01/1800.50 v -x4922 -x4924 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 1800.01/1800.50 v -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4970 -x4972 -x4974 -x4977 -x4979 x4981 -x4983 -x4985 -x4987 -x4989 1800.01/1800.50 v -x4991 -x4993 -x4995 -x4997 -x4999 -x5001 -x5003 -x5005 -x5007 -x127 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 1800.01/1800.50 v -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 -x128 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x129 -x5053 1800.01/1800.50 v -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x5069 -x5071 -x5073 -x5075 -x5077 -x5079 -x5081 -x130 -x5083 -x5085 1800.01/1800.50 v -x5087 -x5089 -x5091 -x5093 -x5095 -x131 -x5097 -x5099 -x5101 -x5103 -x5105 -x5107 -x5109 -x132 -x5111 -x5113 -x5115 -x133 1800.01/1800.50 v -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x134 -x5147 1800.01/1800.50 v -x5149 -x5151 -x5153 -x5155 -x5157 -x5159 -x135 -x5161 -x5163 -x5166 -x5168 -x5170 -x5172 -x136 -x5174 -x5176 -x5178 -x137 1800.01/1800.50 v -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x138 -x5194 -x5196 -x5198 -x139 -x5200 -x5202 -x140 -x5205 -x141 -x5207 1800.01/1800.50 v -x5209 -x5211 -x5213 -x5215 -x5217 -x5219 -x5221 -x5223 -x5225 -x5228 -x5230 -x5232 -x5234 -x5236 -x5238 -x5240 -x5242 1800.01/1800.50 v -x5244 -x5246 -x5248 -x5250 -x5253 -x5255 -x5257 -x5259 -x5261 -x5263 -x5265 -x142 -x5267 -x5269 -x5271 -x5273 -x5275 1800.01/1800.50 v -x5277 -x5279 -x5281 -x5283 -x5285 -x5288 -x5290 -x5292 -x5294 -x143 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 1800.01/1800.50 v -x5310 -x5312 -x5314 -x5316 -x5318 -x5320 -x5322 -x5324 -x144 -x5326 -x5328 -x5330 -x5332 -x5334 -x5336 -x5338 -x5340 1800.01/1800.50 v -x5342 -x5344 -x5346 -x5348 -x5350 -x5352 -x5354 -x5356 -x5358 -x5360 -x5362 x5364 -x5366 -x5368 -x145 -x5370 -x5372 -x5374 1800.01/1800.50 v -x5376 -x5378 -x5380 -x5382 -x146 -x5384 -x5386 -x5388 -x5390 -x5392 -x5395 -x147 -x5397 -x5399 -x5401 -x5403 -x5405 -x5407 1800.01/1800.50 v -x5409 x5411 -x5413 -x5415 -x5417 -x5419 -x5421 -x5423 -x5425 -x5427 -x5429 -x5431 -x5433 -x5435 -x5437 -x5439 -x5441 1800.01/1800.50 v -x5443 -x5445 -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x148 -x5465 -x5467 -x5469 -x5471 -x5473 1800.01/1800.50 v -x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x149 -x5493 -x5495 -x5497 -x5499 -x5501 -x5503 -x5505 1800.01/1800.50 v -x5507 -x5509 -x5511 -x5513 -x5515 -x5517 -x5519 -x5521 -x150 -x5523 -x5525 -x5527 -x5529 -x5531 -x5533 -x5535 -x151 -x5537 1800.01/1800.50 v -x5539 -x5541 -x5543 -x5545 -x5547 -x5549 -x5551 -x5553 -x5555 -x5557 -x5559 -x5561 -x5563 -x5565 -x152 -x5568 -x5570 1800.01/1800.50 v -x5572 -x5574 -x5576 -x153 -x5578 -x5580 -x5582 -x5584 -x5586 -x5588 -x5590 x154 -x5592 x5594 -x5596 -x155 -x5598 -x5600 1800.01/1800.50 v -x5602 -x5604 -x5606 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x5626 -x156 -x5628 -x5630 -x5632 1800.01/1800.50 v -x5635 -x5637 -x5639 -x157 -x5641 -x5643 -x5645 -x5647 -x5649 -x5651 -x5653 -x158 -x5655 -x5657 -x159 -x5660 -x5662 -x5664 1800.01/1800.50 v -x5666 -x5668 x5670 -x5672 -x5674 -x5676 -x160 -x5678 -x5680 -x161 -x5683 -x162 -x5685 -x5687 -x5689 -x5691 -x5693 -x5695 1800.01/1800.50 v -x5697 -x5699 -x5701 -x5703 -x5705 -x5707 -x5709 -x5711 -x5713 -x5715 -x5717 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 1800.01/1800.50 v -x5731 -x5733 -x5735 -x5738 -x5740 -x5742 -x5744 -x5747 -x5749 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x5763 -x5765 1800.01/1800.50 v -x5767 -x163 -x5769 -x5771 -x5773 -x5775 -x5777 -x5779 -x5781 -x5783 -x5785 -x5787 -x5789 -x5791 -x5794 -x5796 -x5798 1800.01/1800.50 v -x5800 -x5802 -x5804 -x5806 x5808 -x5810 -x164 -x5812 -x5814 -x5816 -x5818 -x5820 -x5822 -x5824 -x5826 -x5828 -x5830 -x5832 1800.01/1800.50 v -x5834 -x5836 -x5838 -x5840 -x165 -x5842 -x5844 -x5846 -x5848 -x5850 -x5852 -x5854 -x166 -x5856 -x5858 -x5860 -x5862 -x5864 1800.01/1800.50 v -x5866 -x5868 -x167 -x5870 -x5872 -x5874 -x168 -x5876 -x5878 -x5880 -x5882 -x5884 -x5886 -x5888 -x5890 -x5892 -x5894 -x5896 1800.01/1800.50 v -x5898 -x5900 -x5902 -x5904 -x169 -x5906 -x5908 -x5910 -x5912 -x5914 -x5916 -x5918 -x170 -x5920 -x5922 -x5924 -x5926 -x5928 1800.01/1800.50 v -x5930 -x5932 -x171 -x5934 -x5936 -x5938 -x172 -x5940 -x5942 -x5944 -x5946 -x5948 -x5950 -x5952 -x173 -x5954 -x5956 -x5958 1800.01/1800.50 v -x174 -x5960 -x5962 x175 -x5965 -x176 -x5967 -x5969 -x5971 -x5973 -x5975 -x5977 -x5979 -x5981 -x5983 -x5985 -x5987 -x5989 1800.01/1800.50 v -x5991 x177 -x5993 -x5995 -x5997 x5999 -x6001 -x6003 -x6005 -x178 -x6007 -x6009 -x6011 -x6013 -x6015 -x6017 -x6019 -x179 1800.01/1800.50 v -x6021 -x6023 -x6025 x180 -x6027 x6029 -x6031 -x6033 -x6035 -x6037 -x6039 -x181 -x6041 -x6043 -x182 -x6045 -x6047 -x183 1800.01/1800.50 v -x6050 -x184 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x185 -x6064 -x6066 -x6068 -x186 -x6070 -x6072 -x187 -x6075 -x188 1800.01/1800.50 v -x6077 x189 x190
OK 28
/tmp/evaluation/372771-1177133192/instance-372771-1177133192.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node26/watcher-372771-1177133192 -o ROOT/results/node26/solver-372771-1177133192 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372771-1177133192/minisat+ /tmp/evaluation/372771-1177133192/instance-372771-1177133192.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: 1.00 1.01 1.00 3/77 11050 /proc/meminfo: memFree=1679176/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=1048 CPUtime=0 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 103 0 0 0 0 0 0 0 19 0 1 0 161236049 1073152 88 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005778 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 262 90 67 215 0 44 0 [startup+0.0531699 s] /proc/loadavg: 1.00 1.01 1.00 3/77 11050 /proc/meminfo: memFree=1679176/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=2136 CPUtime=0.04 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 360 0 0 0 4 0 0 0 19 0 1 0 161236049 2187264 345 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134569953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 534 345 74 215 0 316 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2136 [startup+0.101174 s] /proc/loadavg: 1.00 1.01 1.00 3/77 11050 /proc/meminfo: memFree=1679176/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=2644 CPUtime=0.09 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 504 0 0 0 9 0 0 0 19 0 1 0 161236049 2707456 489 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 661 489 74 215 0 443 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2644 [startup+0.301191 s] /proc/loadavg: 1.00 1.01 1.00 3/77 11050 /proc/meminfo: memFree=1679176/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=4476 CPUtime=0.29 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 937 0 0 0 29 0 0 0 21 0 1 0 161236049 4583424 922 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 1119 922 74 215 0 901 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4476 [startup+0.701228 s] /proc/loadavg: 1.00 1.01 1.00 3/77 11050 /proc/meminfo: memFree=1679176/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=7896 CPUtime=0.68 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 1868 0 0 0 67 1 0 0 18 0 1 0 161236049 8085504 1817 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012124 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 1974 1817 104 215 0 1756 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 7896 [startup+1.5013 s] /proc/loadavg: 1.00 1.01 1.00 2/78 11051 /proc/meminfo: memFree=1672128/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=7896 CPUtime=1.48 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 1873 0 0 0 147 1 0 0 25 0 1 0 161236049 8085504 1822 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 1974 1822 104 215 0 1756 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 7896 [startup+3.10145 s] /proc/loadavg: 1.00 1.01 1.00 2/78 11051 /proc/meminfo: memFree=1672000/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=8028 CPUtime=3.09 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 1902 0 0 0 307 2 0 0 25 0 1 0 161236049 8220672 1851 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012117 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 2007 1851 104 215 0 1789 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8028 [startup+6.30175 s] /proc/loadavg: 1.00 1.01 1.00 2/78 11051 /proc/meminfo: memFree=1665600/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=15992 CPUtime=6.29 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 4153 0 0 0 626 3 0 0 25 0 1 0 161236049 16375808 3714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031374 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 3998 3714 123 215 0 3780 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15992 [startup+12.7013 s] /proc/loadavg: 1.00 1.01 1.00 2/78 11051 /proc/meminfo: memFree=1656064/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=25016 CPUtime=12.69 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 6416 0 0 0 1264 5 0 0 25 0 1 0 161236049 25616384 5977 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 6254 5977 123 215 0 6036 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25016 [startup+25.5015 s] /proc/loadavg: 1.00 1.01 1.00 2/78 11051 /proc/meminfo: memFree=1643456/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=37136 CPUtime=25.48 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 9460 0 0 0 2541 7 0 0 25 0 1 0 161236049 38027264 9021 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 9284 9021 123 215 0 9066 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 37136 [startup+51.1019 s] /proc/loadavg: 1.00 1.01 1.00 2/78 11051 /proc/meminfo: memFree=1628672/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=51912 CPUtime=51.07 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 13119 0 0 0 5096 11 0 0 25 0 1 0 161236049 53157888 12680 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 12978 12680 123 215 0 12760 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 51912 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11051 /proc/meminfo: memFree=1626368/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=53996 CPUtime=102.27 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 13633 0 0 0 10214 13 0 0 25 0 1 0 161236049 55291904 13194 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 13499 13194 123 215 0 13281 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 53996 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11051 /proc/meminfo: memFree=1623296/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=56768 CPUtime=162.24 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 14685 0 0 0 16210 14 0 0 25 0 1 0 161236049 58130432 13908 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 14192 13908 123 215 0 13974 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 56768 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11051 /proc/meminfo: memFree=1623296/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=56768 CPUtime=222.23 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 14685 0 0 0 22208 15 0 0 25 0 1 0 161236049 58130432 13908 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574135 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 14192 13908 123 215 0 13974 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 56768 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11051 /proc/meminfo: memFree=1623296/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=56768 CPUtime=282.21 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 14685 0 0 0 28206 15 0 0 25 0 1 0 161236049 58130432 13908 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 14192 13908 123 215 0 13974 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 56768 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11051 /proc/meminfo: memFree=1619392/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=60824 CPUtime=342.19 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 15681 0 0 0 34203 16 0 0 25 0 1 0 161236049 62283776 14904 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134550356 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 15206 14904 123 215 0 14988 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 60824 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11051 /proc/meminfo: memFree=1619456/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=60740 CPUtime=402.18 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 15681 0 0 0 40201 17 0 0 25 0 1 0 161236049 62197760 14895 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 15185 14895 123 215 0 14967 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 60740 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11051 /proc/meminfo: memFree=1619136/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=61176 CPUtime=462.16 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 15761 0 0 0 46199 17 0 0 25 0 1 0 161236049 62644224 14975 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 15294 14975 123 215 0 15076 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 61176 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11051 /proc/meminfo: memFree=1617920/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=62096 CPUtime=522.15 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 16066 0 0 0 52196 19 0 0 25 0 1 0 161236049 63586304 15217 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 15524 15217 123 215 0 15306 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 62096 [startup+582.301 s] /proc/loadavg: 1.05 1.01 1.00 2/78 11051 /proc/meminfo: memFree=1617984/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=62096 CPUtime=582.13 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 16066 0 0 0 58193 20 0 0 25 0 1 0 161236049 63586304 15217 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 15524 15217 123 215 0 15306 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 62096 [startup+642.302 s] /proc/loadavg: 1.07 1.02 1.00 2/78 11051 /proc/meminfo: memFree=1617856/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=62396 CPUtime=642.12 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 16120 0 0 0 64192 20 0 0 25 0 1 0 161236049 63893504 15271 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 15599 15271 123 215 0 15381 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 62396 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.02 1.00 2/78 11053 /proc/meminfo: memFree=1601280/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=79232 CPUtime=882.05 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 20272 0 0 0 88179 26 0 0 25 0 1 0 161236049 81133568 19423 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 19808 19423 123 215 0 19590 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 79232 [startup+942.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 11053 /proc/meminfo: memFree=1601216/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=79444 CPUtime=942.04 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 20299 0 0 0 94177 27 0 0 25 0 1 0 161236049 81350656 19450 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 19861 19450 123 215 0 19643 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 79444 [startup+1002.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 11053 /proc/meminfo: memFree=1600768/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=79800 CPUtime=1002.01 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 20393 0 0 0 100174 27 0 0 25 0 1 0 161236049 81715200 19544 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 19950 19544 123 215 0 19732 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 79800 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11053 /proc/meminfo: memFree=1600448/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=80316 CPUtime=1062 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 20479 0 0 0 106172 28 0 0 25 0 1 0 161236049 82243584 19630 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 20079 19630 123 215 0 19861 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 80316 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11053 /proc/meminfo: memFree=1600320/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=80496 CPUtime=1121.98 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 20503 0 0 0 112170 28 0 0 25 0 1 0 161236049 82427904 19654 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 20124 19654 123 215 0 19906 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 80496 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11053 /proc/meminfo: memFree=1600256/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=80496 CPUtime=1181.97 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 20522 0 0 0 118168 29 0 0 25 0 1 0 161236049 82427904 19673 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576114 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 20124 19673 123 215 0 19906 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 80496 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11053 /proc/meminfo: memFree=1600192/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=80708 CPUtime=1241.95 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 20547 0 0 0 124166 29 0 0 25 0 1 0 161236049 82644992 19698 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 20177 19698 123 215 0 19959 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 80708 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11053 /proc/meminfo: memFree=1599744/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=81136 CPUtime=1301.94 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 20646 0 0 0 130164 30 0 0 25 0 1 0 161236049 83083264 19797 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 20284 19797 123 215 0 20066 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 81136 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11053 /proc/meminfo: memFree=1599552/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=81300 CPUtime=1361.92 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 20686 0 0 0 136162 30 0 0 25 0 1 0 161236049 83251200 19837 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 20325 19837 123 215 0 20107 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 81300 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11053 /proc/meminfo: memFree=1599424/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=81512 CPUtime=1421.91 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 20745 0 0 0 142160 31 0 0 25 0 1 0 161236049 83468288 19896 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 20378 19896 123 215 0 20160 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 81512 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11053 /proc/meminfo: memFree=1599360/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=81512 CPUtime=1481.89 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 20748 0 0 0 148157 32 0 0 25 0 1 0 161236049 83468288 19899 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 20378 19899 123 215 0 20160 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 81512 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11053 /proc/meminfo: memFree=1599232/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=81672 CPUtime=1541.87 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 20794 0 0 0 154155 32 0 0 25 0 1 0 161236049 83632128 19945 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576727 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 20418 19945 123 215 0 20200 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 81672 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11053 /proc/meminfo: memFree=1596160/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=84944 CPUtime=1601.86 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 21600 0 0 0 160152 34 0 0 25 0 1 0 161236049 86982656 20751 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 21236 20751 123 215 0 21018 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 84944 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11053 /proc/meminfo: memFree=1587968/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=93012 CPUtime=1661.84 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 23598 0 0 0 166148 36 0 0 25 0 1 0 161236049 95244288 22749 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 23253 22749 123 215 0 23035 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 93012 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11053 /proc/meminfo: memFree=1587968/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=93012 CPUtime=1721.82 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 23600 0 0 0 172145 37 0 0 25 0 1 0 161236049 95244288 22751 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 23253 22751 123 215 0 23035 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 93012 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11053 /proc/meminfo: memFree=1587968/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=93012 CPUtime=1781.8 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 23600 0 0 0 178143 37 0 0 25 0 1 0 161236049 95244288 22751 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 23253 22751 123 215 0 23035 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 93012 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11053 /proc/meminfo: memFree=1588032/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=93012 CPUtime=1800.01 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 23600 0 0 0 179963 38 0 0 25 0 1 0 161236049 95244288 22751 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 23253 22751 123 215 0 23035 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 93012 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11053 /proc/meminfo: memFree=1588032/2055920 swapFree=4170216/4192956 [pid=11050] ppid=11048 vsize=93012 CPUtime=1800.01 /proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 23600 0 0 0 179963 38 0 0 25 0 1 0 161236049 95244288 22751 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11050/statm: 23253 22751 123 215 0 23035 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 93012 Child status: 10 Real time (s): 1800.53 CPU time (s): 1800.03 CPU user time (s): 1799.63 CPU system time (s): 0.398939 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 93012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.63 system time used= 0.398939 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23602 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= 97 involuntary context switches= 38310 runsolver used 2.21666 second user time and 4.18736 second system time The end
Begin job on node26 on Sat Apr 21 05:26:32 UTC 2007 IDJOB= 372771 IDBENCH= 24996 IDSOLVER= 156 FILE ID= node26/372771-1177133192 PBS_JOBID= 4648766 Free space on /tmp= 66434 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_002_area_delay.opb COMMAND LINE= /tmp/evaluation/372771-1177133192/minisat+ /tmp/evaluation/372771-1177133192/instance-372771-1177133192.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node26/convwatcher-372771-1177133192 -o ROOT/results/node26/conversion-372771-1177133192 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372771-1177133192/instance-372771-1177133192.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-372771-1177133192 -o ROOT/results/node26/solver-372771-1177133192 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372771-1177133192/minisat+ /tmp/evaluation/372771-1177133192/instance-372771-1177133192.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= d6135de924aeb400fc0f7d1c419e5860 RANDOM SEED= 282480577 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node26.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.213 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.213 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: 1679584 kB Buffers: 39208 kB Cached: 249996 kB SwapCached: 2992 kB Active: 140804 kB Inactive: 171228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1679584 kB SwapTotal: 4192956 kB SwapFree: 4170216 kB Dirty: 2864 kB Writeback: 0 kB Mapped: 30336 kB Slab: 49964 kB Committed_AS: 1129284 kB PageTables: 1716 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= 66434 MiB End job on node26 on Sat Apr 21 05:56:35 UTC 2007