Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 26 | 1800.06 | 1800.63 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_009_area_delay.opb |
MD5SUM | 2aa6eb5ee09e1484657dfe3626167241 |
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 | 35.0187 |
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 | 6148 |
Total number of constraints | 19000 |
Number of constraints which are clauses | 19000 |
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 | 127 |
Number of terms in the objective function | 2987 |
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 | 2987 |
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 | 2987 |
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.55 c Converting 18513 PB-constraints to clauses... 0.49/0.55 c -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp 0.49/0.56 c -- Detecting intervals from adjacent constraints: ######### 0.49/0.57 c -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.59/0.61 c ---[17160]---> BDD-cost: 1 0.59/0.61 c ---[16546]---> BDD-cost: 1 0.59/0.61 c ---[16311]---> BDD-cost: 1 0.59/0.61 c ---[15857]---> BDD-cost: 1 0.59/0.61 c ---[15718]---> BDD-cost: 1 0.59/0.61 c ---[15667]---> BDD-cost: 1 0.59/0.61 c ---[15650]---> BDD-cost: 1 0.59/0.61 c ---[15647]---> BDD-cost: 1 0.59/0.61 c ---[15645]---> BDD-cost: 1 0.59/0.61 c ==================================[MINISAT+]================================== 0.59/0.61 c | Conflicts | Original | Learnt | Progress | 0.59/0.61 c | | Clauses Literals | Max Clauses Literals LPC | | 0.59/0.61 c ============================================================================== 0.59/0.61 c | 0 | 16216 39245 | 5405 0 0 nan | 0.000 % | 0.59/0.61 c ============================================================================== 0.59/0.61 c [1mFound solution: 29[0m 0.59/0.61 o 29 0.59/0.64 c ---[ 0]---> Adder-cost: 4990 maxlim: 2471 bits: 12/12 4.79/4.81 c ==================================[MINISAT+]================================== 4.79/4.81 c | Conflicts | Original | Learnt | Progress | 4.79/4.81 c | | Clauses Literals | Max Clauses Literals LPC | | 4.79/4.81 c ============================================================================== 4.79/4.81 c | 11 | 50373 162268 | 16791 10 164 16.4 | 0.000 % | 4.79/4.88 c | 111 | 50097 161295 | 18470 58 342 5.9 | 9.347 % | 4.89/4.94 c | 261 | 49971 160871 | 20317 191 792 4.1 | 9.562 % | 4.99/5.03 c | 486 | 49971 160871 | 22348 416 1586 3.8 | 9.562 % | 5.19/5.23 c | 823 | 49886 160572 | 24583 734 2839 3.9 | 9.679 % | 5.39/5.48 c | 1329 | 49795 160277 | 27042 1224 5298 4.3 | 9.840 % | 5.69/5.75 c | 2088 | 49769 160187 | 29746 1978 20160 10.2 | 9.876 % | 5.99/6.10 c | 3227 | 49769 160187 | 32720 3117 82542 26.5 | 9.876 % | 6.39/6.49 c | 4935 | 49769 160187 | 35992 4825 248905 51.6 | 9.876 % | 7.09/7.14 c | 7497 | 49769 160187 | 39592 7387 460989 62.4 | 9.876 % | 8.39/8.43 c | 11343 | 49695 159931 | 43551 11221 835073 74.4 | 9.993 % | 11.08/11.11 c | 17109 | 49695 159931 | 47906 16987 1495803 88.1 | 9.993 % | 15.78/15.89 c | 25760 | 49672 159852 | 52697 25634 2547074 99.4 | 10.029 % | 24.98/25.07 c | 38734 | 49598 159596 | 57967 38597 4193570 108.7 | 10.145 % | 45.58/45.68 c | 58196 | 49589 159565 | 63763 58053 6769066 116.6 | 10.154 % | 56.68/56.78 c ============================================================================== 56.68/56.78 c [1mFound solution: 28[0m 56.68/56.78 o 28 56.78/56.82 c ---[ 0]---> Adder-cost: 0 maxlim: 2472 bits: 12/12 61.07/61.20 c ==================================[MINISAT+]================================== 61.07/61.20 c | Conflicts | Original | Learnt | Progress | 61.07/61.20 c | | Clauses Literals | Max Clauses Literals LPC | | 61.07/61.20 c ============================================================================== 61.07/61.20 c | 66982 | 49600 159607 | 16533 19282 1853321 96.1 | 10.154 % | 61.18/61.28 c | 67082 | 49600 159607 | 18186 9741 814624 83.6 | 10.160 % | 61.28/61.34 c | 67236 | 49600 159607 | 20004 9895 829382 83.8 | 10.160 % | 61.38/61.43 c | 67461 | 49600 159607 | 22005 10120 848639 83.9 | 10.160 % | 61.48/61.53 c | 67799 | 49600 159607 | 24205 10458 888823 85.0 | 10.160 % | 61.58/61.69 c | 68312 | 49600 159607 | 26626 10971 936516 85.4 | 10.160 % | 61.88/61.93 c | 69071 | 49600 159607 | 29289 11730 995031 84.8 | 10.160 % | 62.18/62.24 c | 70210 | 49600 159607 | 32218 12869 1084128 84.2 | 10.160 % | 62.88/62.96 c | 71921 | 49600 159607 | 35439 14580 1245470 85.4 | 10.160 % | 63.88/63.92 c | 74484 | 49600 159607 | 38983 17143 1524383 88.9 | 10.160 % | 65.38/65.44 c | 78331 | 49600 159607 | 42882 20990 1932488 92.1 | 10.160 % | 68.68/68.73 c | 84099 | 49600 159607 | 47170 26758 2501370 93.5 | 10.160 % | 74.68/74.76 c | 92749 | 49600 159607 | 51887 35408 3232376 91.3 | 10.160 % | 84.58/84.67 c | 105729 | 49600 159607 | 57076 48388 4382844 90.6 | 10.160 % | 100.97/101.04 c | 125192 | 49600 159607 | 62784 25289 1777430 70.3 | 10.160 % | 121.96/122.02 c | 154384 | 49600 159607 | 69062 54481 4061460 74.5 | 10.160 % | 166.05/166.11 c | 198175 | 49600 159607 | 75968 43501 3664688 84.2 | 10.160 % | 222.54/222.68 c ============================================================================== 222.54/222.68 c [1mFound solution: 27[0m 222.54/222.68 o 27 222.64/222.72 c ---[ 0]---> Adder-cost: 0 maxlim: 2473 bits: 12/12 226.93/227.07 c ==================================[MINISAT+]================================== 226.93/227.07 c | Conflicts | Original | Learnt | Progress | 226.93/227.07 c | | Clauses Literals | Max Clauses Literals LPC | | 226.93/227.07 c ============================================================================== 226.93/227.07 c | 246573 | 49601 159614 | 16533 31506 2565941 81.4 | 10.160 % | 227.33/227.42 c | 246673 | 49601 159614 | 18186 15853 1122045 70.8 | 10.168 % | 227.43/227.50 c | 246823 | 49601 159614 | 20004 16003 1123065 70.2 | 10.168 % | 227.54/227.63 c | 247048 | 49601 159614 | 22005 16228 1128125 69.5 | 10.168 % | 227.64/227.75 c | 247385 | 49601 159614 | 24205 16565 1147132 69.3 | 10.168 % | 227.83/227.92 c | 247891 | 49601 159614 | 26626 17071 1173974 68.8 | 10.168 % | 228.03/228.17 c | 248653 | 49345 158726 | 29289 17797 1224749 68.8 | 10.562 % | 228.43/228.59 c | 249794 | 49322 158647 | 32218 18930 1295546 68.4 | 10.598 % | 229.13/229.24 c | 251502 | 49322 158647 | 35439 20638 1423108 69.0 | 10.598 % | 230.33/230.42 c | 254067 | 49322 158647 | 38983 23203 1649235 71.1 | 10.598 % | 232.93/233.03 c | 257918 | 49322 158647 | 42882 27054 1989013 73.5 | 10.598 % | 237.63/237.75 c | 263685 | 49322 158647 | 47170 32821 2485543 75.7 | 10.598 % | 247.03/247.11 c | 272339 | 49322 158647 | 51887 41475 3137437 75.6 | 10.598 % | 260.22/260.32 c | 285315 | 49322 158647 | 57076 15813 1041992 65.9 | 10.598 % | 271.02/271.13 c | 304776 | 49322 158647 | 62784 35274 2815019 79.8 | 10.598 % | 304.11/304.26 c | 333968 | 49322 158647 | 69062 64466 5116381 79.4 | 10.598 % | 351.00/351.20 c | 377760 | 49322 158647 | 75968 55174 4233987 76.7 | 10.598 % | 432.47/432.62 c | 443445 | 49322 158647 | 83565 62677 4526095 72.2 | 10.598 % | 541.85/542.01 c | 541971 | 49322 158647 | 91922 27999 1760027 62.9 | 10.598 % | 724.90/725.11 c | 689764 | 49322 158647 | 101114 27345 1761658 64.4 | 10.598 % | 1001.63/1001.96 c | 911450 | 49322 158647 | 111225 82311 5940912 72.2 | 10.598 % | 1233.57/1233.94 c ============================================================================== 1233.57/1233.94 c [1mFound solution: 26[0m 1233.57/1233.94 o 26 1233.57/1233.98 c ---[ 0]---> Adder-cost: 0 maxlim: 2474 bits: 12/12 1238.17/1238.51 c ==================================[MINISAT+]================================== 1238.17/1238.51 c | Conflicts | Original | Learnt | Progress | 1238.17/1238.51 c | | Clauses Literals | Max Clauses Literals LPC | | 1238.17/1238.51 c ============================================================================== 1238.17/1238.51 c | 1055993 | 49325 158661 | 16441 35595 2586008 72.7 | 10.598 % | 1238.47/1238.83 c | 1056093 | 49325 158661 | 18085 15723 1021755 65.0 | 10.606 % | 1238.57/1238.94 c | 1056244 | 49325 158661 | 19893 15874 1023913 64.5 | 10.606 % | 1238.67/1239.05 c | 1056471 | 49325 158661 | 21882 16101 1036202 64.4 | 10.606 % | 1238.77/1239.20 c | 1056810 | 49325 158661 | 24071 16440 1055898 64.2 | 10.606 % | 1238.97/1239.35 c | 1057318 | 49325 158661 | 26478 16948 1098089 64.8 | 10.606 % | 1239.27/1239.67 c | 1058078 | 49325 158661 | 29126 17708 1154671 65.2 | 10.606 % | 1239.87/1240.25 c | 1059217 | 49325 158661 | 32038 18847 1239115 65.7 | 10.606 % | 1240.57/1240.97 c | 1060925 | 49325 158661 | 35242 20555 1367235 66.5 | 10.606 % | 1241.77/1242.17 c | 1063488 | 49325 158661 | 38767 23118 1547858 67.0 | 10.606 % | 1244.37/1244.76 c | 1067333 | 49325 158661 | 42643 26963 1843627 68.4 | 10.606 % | 1249.37/1249.77 c | 1073099 | 49325 158661 | 46908 32729 2297629 70.2 | 10.606 % | 1260.36/1260.79 c | 1081750 | 49325 158661 | 51598 41380 2994039 72.4 | 10.606 % | 1275.87/1276.25 c | 1094724 | 49325 158661 | 56758 17116 1084339 63.4 | 10.606 % | 1292.06/1292.48 c | 1114187 | 49325 158661 | 62434 36579 2424342 66.3 | 10.606 % | 1329.95/1330.37 c | 1143384 | 49325 158661 | 68678 20726 1185020 57.2 | 10.606 % | 1379.23/1379.68 c | 1187174 | 49325 158661 | 75545 64516 4381492 67.9 | 10.606 % | 1463.92/1464.38 c | 1252860 | 49325 158661 | 83100 70795 4958514 70.0 | 10.606 % | 1600.78/1601.28 c | 1351387 | 49325 158661 | 91410 38927 2513840 64.6 | 10.606 % | 1800.03/1800.61 c 1800.03/1800.61 c *** TERMINATED *** 1800.03/1800.61 s SATISFIABLE 1800.03/1800.61 v -x192 -x194 x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 1800.03/1800.61 v -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 1800.03/1800.61 v -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 1800.03/1800.61 v -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 1800.03/1800.61 v -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 1800.03/1800.61 v -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 1800.03/1800.61 v -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 1800.03/1800.61 v -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 1800.03/1800.61 v -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 1800.03/1800.61 v -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 1800.03/1800.61 v -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 1800.03/1800.61 v -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 1800.03/1800.61 v -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 1800.03/1800.61 v -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 1800.03/1800.61 v -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x807 -x809 -x811 -x813 -x815 -x817 -x819 1800.03/1800.61 v -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 1800.03/1800.61 v -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 1800.03/1800.61 v -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 1800.03/1800.61 v -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 1800.03/1800.61 v -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 1800.03/1800.61 v -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 1800.03/1800.61 v -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 1800.03/1800.61 v -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 1800.03/1800.61 v -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 1800.03/1800.61 v -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 1800.03/1800.61 v -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 1800.03/1800.61 v -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 1800.03/1800.61 v -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1290 -x1292 -x1294 1800.03/1800.61 v -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 x1328 1800.03/1800.61 v -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 1800.03/1800.61 v -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 1800.03/1800.61 v -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 1800.03/1800.61 v -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 1800.03/1800.61 v -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 1800.03/1800.61 v -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 1800.03/1800.61 v -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 1800.03/1800.61 v -x1568 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 1800.03/1800.61 v -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 1800.03/1800.61 v -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 1800.03/1800.61 v -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 1800.03/1800.61 v -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 1800.03/1800.61 v -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 1800.03/1800.61 v -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 1800.03/1800.61 v -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 1800.03/1800.61 v -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1864 -x1866 -x1868 -x1870 1800.03/1800.61 v -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 1800.03/1800.61 v -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 1800.03/1800.61 v -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 1800.03/1800.61 v -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 1800.03/1800.61 v -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 1800.03/1800.61 v -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 1800.03/1800.61 v -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 1800.03/1800.61 v -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 1800.03/1800.61 v -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 1800.03/1800.61 v -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 1800.03/1800.61 v -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 1800.03/1800.61 v -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 1800.03/1800.61 v -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 1800.03/1800.61 v -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 1800.03/1800.61 v -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 1800.03/1800.61 v -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 1800.03/1800.61 v -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 1800.03/1800.61 v -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 1800.03/1800.61 v -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 1800.03/1800.61 v -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 1800.03/1800.61 v -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 1800.03/1800.61 v -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 x2616 1800.03/1800.61 v -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 1800.03/1800.61 v -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 1800.03/1800.61 v -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 1800.03/1800.61 v -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 1800.03/1800.61 v -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 1800.03/1800.61 v -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 x2810 -x2812 -x2814 -x2816 -x2818 -x2820 1800.03/1800.61 v -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 1800.03/1800.61 v -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 1800.03/1800.61 v -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 1800.03/1800.61 v -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 1800.03/1800.61 v -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 1800.03/1800.61 v -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 1800.03/1800.61 v -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 1800.03/1800.61 v -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 1800.03/1800.61 v -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 x3120 -x3122 -x3124 -x3126 1800.03/1800.61 v -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 1800.03/1800.61 v -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 1800.03/1800.61 v -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 1800.03/1800.61 v -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 1800.03/1800.61 v -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 1800.03/1800.61 v -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 1800.03/1800.61 v -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 1800.03/1800.61 v -x3366 -x3368 -x3370 -x3372 -x3374 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 1800.03/1800.61 v -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 1800.03/1800.61 v -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 1800.03/1800.61 v -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 1800.03/1800.61 v -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 1800.03/1800.61 v -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 1800.03/1800.61 v -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 1800.03/1800.61 v -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 1800.03/1800.61 v -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 1800.03/1800.61 v -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 1800.03/1800.61 v -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 1800.03/1800.61 v -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 1800.03/1800.61 v -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 1800.03/1800.61 v -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 1800.03/1800.61 v -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 1800.03/1800.61 v -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 1800.03/1800.61 v -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 1800.03/1800.61 v -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 1800.03/1800.61 v x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 1800.03/1800.61 v -x4010 -x4012 -x4014 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041 1800.03/1800.61 v -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 1800.03/1800.61 v -x4077 -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 1800.03/1800.61 v -x4111 -x4113 -x4115 -x4117 -x4119 x4121 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 1800.03/1800.61 v -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 1800.03/1800.61 v -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 1800.03/1800.61 v -x4213 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 1800.03/1800.61 v -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 1800.03/1800.61 v -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x4311 -x4313 1800.03/1800.61 v -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 1800.03/1800.61 v -x4349 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 1800.03/1800.61 v -x4383 -x4385 -x4387 -x4389 x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 1800.03/1800.61 v -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4443 -x4445 -x4447 -x4449 1800.03/1800.61 v -x4451 -x4453 -x4455 -x4457 -x4459 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x4483 1800.03/1800.61 v -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4499 -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 1800.03/1800.61 v -x4519 -x4521 -x4523 -x4525 -x4527 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 1800.03/1800.61 v -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 -x4569 -x4571 -x4573 x4575 -x4577 -x4579 -x4581 -x4583 -x4585 1800.03/1800.61 v -x4587 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 1800.03/1800.61 v -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4637 x4639 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 1800.03/1800.61 v -x4655 -x4657 -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 1800.03/1800.61 v -x4689 -x4691 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x4707 -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 1800.03/1800.61 v -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 1800.03/1800.61 v -x4757 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 1800.03/1800.61 v -x4791 -x4793 -x4795 -x4797 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 1800.03/1800.61 v -x4825 -x4827 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x4855 -x4857 1800.03/1800.61 v -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x4871 -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x4885 -x4887 -x4889 -x4891 1800.03/1800.61 v -x4893 -x4895 -x4897 -x4899 -x4901 -x4903 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x4919 -x4921 -x4923 -x4925 1800.03/1800.61 v -x4927 -x4929 -x4931 -x4933 -x4935 -x4937 -x4938 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 1800.03/1800.61 v -x4960 -x4962 -x4964 -x4966 -x4968 -x4970 -x4972 -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 1800.03/1800.61 v -x4994 -x4996 -x4998 -x5000 -x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 1800.03/1800.61 v -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 1800.03/1800.61 v -x5062 -x5064 -x5066 -x5068 -x5070 -x5072 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093 1800.03/1800.61 v -x5095 -x5097 -x5099 -x5101 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 1800.03/1800.61 v -x5129 -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x5151 -x5153 -x5155 -x5157 -x5159 -x5161 1800.03/1800.61 v -x5163 -x5165 -x5167 -x5169 -x5171 -x5173 -x5175 -x5177 -x5178 -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x5194 1800.03/1800.61 v -x5196 -x5198 -x5200 x5202 -x5204 -x5206 -x5208 -x5210 -x5212 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5226 -x5228 1800.03/1800.61 v -x5230 -x5232 -x5234 -x5236 -x5238 -x5240 -x5242 -x5244 -x5246 -x5248 -x5250 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 1800.03/1800.61 v -x5264 -x5266 -x5268 -x5270 -x5272 -x5274 -x5276 -x5278 -x5280 -x5281 -x5283 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 1800.03/1800.61 v -x5297 -x5299 -x5301 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x5315 -x5317 -x5319 -x5321 -x5323 -x5325 -x5327 -x5329 1800.03/1800.61 v -x5331 -x5333 -x5335 -x5337 -x5339 -x5341 -x5343 -x5345 -x5347 -x5349 -x5351 -x5353 -x5355 -x5357 -x5359 -x5361 -x5363 1800.03/1800.61 v -x5365 -x5367 -x5369 -x5371 -x5373 -x5375 -x5377 -x5379 -x5381 -x5383 -x5385 -x5387 -x5389 -x5391 -x5393 -x5395 -x5397 1800.03/1800.61 v -x5399 -x5401 -x5403 -x5405 -x5407 -x5409 -x5411 -x5413 -x5415 -x5417 -x5419 -x5421 -x5423 -x5425 -x5427 -x5429 -x5431 1800.03/1800.61 v -x5433 -x5435 -x5437 -x5439 -x5441 -x5443 -x5445 -x5447 -x5449 -x5451 x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x5465 1800.03/1800.61 v -x5467 -x5469 -x5471 -x5473 -x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5494 -x5496 -x5498 1800.03/1800.61 v -x5500 -x5502 -x5504 -x5506 -x5508 -x5510 -x5512 -x5514 -x5516 -x5518 -x5520 -x5522 -x5524 -x5526 -x5528 -x5530 -x5532 1800.03/1800.61 v -x5534 -x5536 -x5538 -x5540 -x5542 -x5544 -x5546 -x5548 -x5550 -x5552 -x5554 -x5556 -x5558 -x5560 -x5562 -x5564 -x5566 1800.03/1800.61 v -x5568 -x5570 -x5572 -x5574 -x5576 -x5578 -x5580 -x5582 -x5584 x5586 -x5588 -x5590 -x5592 -x5594 -x5596 -x5598 -x5600 1800.03/1800.61 v -x5602 -x5604 -x5606 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x5626 -x5628 -x5630 -x5632 -x5634 1800.03/1800.61 v -x5636 -x5638 -x5640 -x5642 -x5644 -x5646 -x5648 -x5650 -x5652 -x5654 -x5656 -x5658 -x5660 -x5662 -x5664 -x5666 -x5668 1800.03/1800.61 v -x5670 -x5672 -x5674 -x5676 -x5678 -x5680 -x5682 -x5684 -x5686 -x5688 -x5690 -x5692 -x5694 -x5696 -x5698 -x5700 -x5702 1800.03/1800.61 v -x5704 -x5706 -x5708 -x5710 -x5712 -x5714 -x5716 -x5718 -x5720 -x5722 -x5724 -x5726 -x5728 -x5730 -x5732 -x5734 -x5736 1800.03/1800.61 v x5738 -x5740 -x5742 -x5744 -x5746 -x5748 -x5750 -x5752 -x5754 -x5756 -x5758 -x5760 -x5762 -x5764 -x5766 -x5768 -x5770 1800.03/1800.61 v -x5772 -x5774 -x5776 -x5777 -x5779 -x5781 -x5783 -x5785 -x5787 -x5789 -x5791 -x5793 -x5794 -x5796 -x5798 -x5800 -x5802 1800.03/1800.61 v -x5804 -x5806 -x5808 -x5810 -x5812 -x5814 -x5816 -x5818 -x5820 -x5822 -x5824 -x5826 -x5828 -x5830 -x5832 -x5834 -x5836 1800.03/1800.61 v -x5838 -x5840 -x5842 -x5844 -x5846 -x5848 -x5850 -x5852 -x5854 -x5856 -x5858 -x5860 -x5862 -x5864 -x5866 -x5868 -x5870 1800.03/1800.61 v x5872 -x5874 -x5876 -x5878 -x5880 -x5882 -x5884 -x5886 -x5888 -x5890 -x5892 -x5894 -x5896 -x5898 -x5900 -x5902 x5904 -x5906 1800.03/1800.61 v -x5908 -x5910 -x5912 -x5914 -x5916 -x5918 -x5920 -x5922 -x5924 -x5926 -x5928 -x5930 -x5932 -x5934 -x5936 -x5938 -x5940 1800.03/1800.61 v -x5942 -x5944 -x5946 -x5948 -x5950 -x5952 -x5954 -x5956 -x5958 -x5960 -x5962 -x5964 -x5966 -x5968 -x5970 -x5972 -x5974 1800.03/1800.61 v -x5976 -x5978 -x5980 -x5982 -x5984 -x5986 -x5988 -x5990 -x5992 -x5994 -x5996 -x5998 -x6000 -x6002 -x6004 -x6006 -x6008 1800.03/1800.61 v -x6010 x6012 -x6014 -x6016 -x6018 x6020 -x6022 -x6024 x6026 x6028 -x6030 -x6032 -x6034 -x6036 -x6038 -x6040 -x6042 -x6044 1800.03/1800.61 v -x6046 -x6048 -x6050 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x6064 -x6066 -x6068 -x6070 -x6072 -x6074 -x6076 -x6078 1800.03/1800.61 v -x6080 -x6082 -x6084 -x6086 x6088 -x6090 -x6092 -x6094 -x6096 -x6098 -x6100 -x6102 -x6104 -x6106 -x6108 -x6110 -x6112 1800.03/1800.61 v -x6114 -x6116 -x6118 -x6120 -x6122 -x6124 -x6126 -x6128 -x6130 -x6132 -x6134 -x6136 -x6138 -x6140 x6142 -x6144 x6146 x6148 1800.03/1800.61 v -x191 -x193 x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 1800.03/1800.61 v -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 1800.03/1800.61 v -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 1800.03/1800.61 v -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 1800.03/1800.61 v -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 1800.03/1800.61 v -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 1800.03/1800.61 v -x443 -x445 -x1 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 1800.03/1800.61 v -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 1800.03/1800.61 v -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 1800.03/1800.61 v -x567 -x569 -x571 -x2 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 1800.03/1800.61 v -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 1800.03/1800.61 v -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 1800.03/1800.61 v -x691 -x693 -x695 -x697 -x3 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 1800.03/1800.61 v -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x4 -x761 -x763 -x765 -x767 -x769 1800.03/1800.61 v -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x808 -x810 -x812 1800.03/1800.61 v -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 1800.03/1800.61 v -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x5 -x886 -x888 -x890 -x892 -x894 1800.03/1800.61 v -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 1800.03/1800.61 v -x938 -x940 -x942 -x944 -x946 -x6 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 1800.03/1800.61 v -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x7 -x1010 -x1012 -x1014 1800.03/1800.61 v -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x8 -x1040 -x1042 -x1044 -x1046 -x1048 1800.03/1800.61 v -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 1800.03/1800.61 v -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 1800.03/1800.61 v -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 1800.03/1800.61 v -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x9 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 1800.03/1800.61 v -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 1800.03/1800.61 v -x1220 -x1222 -x1224 -x1226 -x10 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 1800.03/1800.61 v -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 1800.03/1800.61 v -x1288 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 1800.03/1800.61 v -x1323 -x1325 x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x11 -x1351 -x1353 -x1355 1800.03/1800.61 v -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x12 -x1381 -x1383 -x1385 -x1387 -x1389 1800.03/1800.61 v -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 1800.03/1800.61 v -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x13 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 1800.03/1800.61 v -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x14 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 1800.03/1800.61 v -x1493 -x1495 -x1497 -x1499 -x1501 -x15 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 1800.03/1800.61 v -x1527 -x1529 -x1531 -x16 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x17 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 1800.03/1800.61 v -x1559 -x1561 -x1563 -x1565 -x1567 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 1800.03/1800.61 v -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 1800.03/1800.61 v -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 1800.03/1800.61 v -x1662 -x1664 -x1666 -x1668 -x18 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 1800.03/1800.61 v -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 1800.03/1800.61 v -x1730 -x19 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 1800.03/1800.61 v -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x20 -x1794 -x1796 1800.03/1800.61 v -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x21 -x1824 -x1826 -x1828 -x1830 1800.03/1800.61 v -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1865 1800.03/1800.61 v -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x22 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 1800.03/1800.61 v -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x23 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 1800.03/1800.61 v -x1935 -x1937 -x1939 -x1941 -x1943 -x24 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x25 -x1959 -x1961 -x1963 -x1965 1800.03/1800.61 v -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 1800.03/1800.61 v -x2001 -x2003 -x2005 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x26 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 1800.03/1800.61 v -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x27 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 1800.03/1800.61 v -x2070 -x2072 -x2074 -x2076 -x2078 -x28 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 1800.03/1800.61 v -x2104 -x2106 -x2108 -x29 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x30 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 1800.03/1800.61 v -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x31 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x32 1800.03/1800.61 v -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x33 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x34 -x2196 -x2198 1800.03/1800.61 v -x2200 -x35 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 1800.03/1800.61 v -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 1800.03/1800.61 v -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2299 -x2301 1800.03/1800.61 v -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x36 -x2327 -x2329 -x2331 -x2333 -x2335 1800.03/1800.61 v -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 1800.03/1800.61 v -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x37 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 1800.03/1800.61 v -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 1800.03/1800.61 v -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x38 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 1800.03/1800.61 v -x2473 -x2475 -x2477 -x2479 -x39 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 1800.03/1800.61 v -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 1800.03/1800.61 v -x2541 -x40 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x41 1800.03/1800.61 v -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x42 -x2603 -x2605 1800.03/1800.61 v -x2607 -x2609 -x2611 -x2613 x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 1800.03/1800.61 v -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 1800.03/1800.61 v -x2675 -x2677 -x43 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 1800.03/1800.61 v -x44 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x45 -x2739 1800.03/1800.61 v -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x46 -x2769 -x2771 -x2773 1800.03/1800.61 v -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 1800.03/1800.61 v x2809 -x2811 -x47 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x48 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 1800.03/1800.61 v -x49 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x50 -x2855 -x2857 -x2859 -x51 -x2861 -x2863 -x2865 -x2867 -x2869 1800.03/1800.61 v -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 1800.03/1800.61 v -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x52 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 1800.03/1800.61 v -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x53 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 1800.03/1800.61 v -x2973 -x2975 -x2977 -x2979 -x2981 -x54 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x55 -x2997 -x2999 -x3001 -x3003 1800.03/1800.61 v -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x56 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 1800.03/1800.61 v -x3039 -x57 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x58 -x3053 -x3055 -x3057 -x59 -x3059 -x3061 -x3063 -x3065 -x3067 1800.03/1800.61 v -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x60 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 1800.03/1800.61 v -x61 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x62 -x3131 -x3133 1800.03/1800.61 v -x3135 -x63 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x64 -x3151 -x3153 -x3155 -x65 -x3157 -x3159 -x3161 -x66 -x3163 1800.03/1800.61 v -x3165 -x3167 -x67 -x3169 -x68 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 1800.03/1800.61 v -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 1800.03/1800.61 v -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 1800.03/1800.61 v -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x69 -x3297 1800.03/1800.61 v -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 1800.03/1800.61 v -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x70 -x3359 -x3361 -x3363 -x3365 1800.03/1800.61 v -x3367 -x3369 -x3371 -x3373 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -x3398 -x3400 1800.03/1800.61 v -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x71 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 1800.03/1800.61 v -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x72 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 1800.03/1800.61 v -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 1800.03/1800.61 v -x3504 -x3506 -x3508 -x3510 -x73 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 1800.03/1800.61 v -x3538 -x3540 -x74 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 1800.03/1800.61 v -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 1800.03/1800.61 v -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3623 -x3625 -x3627 -x3629 -x75 -x3631 -x3633 -x3635 -x3637 -x3639 1800.03/1800.61 v -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x76 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 1800.03/1800.61 v -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x77 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x78 -x3705 1800.03/1800.61 v -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 1800.03/1800.61 v -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x79 -x3767 -x3769 -x3771 -x3773 1800.03/1800.61 v -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x80 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 1800.03/1800.61 v -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x81 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 1800.03/1800.61 v -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x82 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x83 -x3871 -x3873 1800.03/1800.61 v -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x84 -x3901 -x3903 -x3905 -x3907 1800.03/1800.61 v -x3909 -x3911 -x3913 -x85 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x86 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 1800.03/1800.61 v -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x87 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 1800.03/1800.61 v x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x88 -x3987 -x3989 -x3991 -x89 -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 1800.03/1800.61 v -x4007 -x4009 -x4011 -x4013 -x4016 -x4018 -x4020 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 1800.03/1800.61 v -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x90 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 1800.03/1800.61 v -x4076 -x4078 -x4080 -x4082 -x91 -x4084 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 1800.03/1800.61 v -x4110 -x4112 -x4114 -x4116 -x4118 x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 1800.03/1800.61 v -x92 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x93 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 1800.03/1800.61 v -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x94 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x95 -x4202 -x4204 -x4206 1800.03/1800.61 v -x4208 -x4210 -x4212 -x4214 -x96 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 -x4240 1800.03/1800.61 v -x4242 -x4244 -x97 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 x4264 -x4266 -x4268 -x4270 -x4272 -x98 1800.03/1800.61 v -x4274 -x4276 -x4278 -x99 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 1800.03/1800.61 v -x4308 -x100 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x101 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x102 1800.03/1800.61 v -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x103 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x104 -x4366 -x4368 1800.03/1800.61 v -x4370 -x105 -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x106 -x4386 -x4388 x4390 -x4392 -x4394 -x107 -x4396 -x4398 1800.03/1800.61 v -x4400 -x4402 -x4404 -x4406 -x4408 -x108 -x4410 -x4412 -x4414 -x109 -x4416 -x4418 -x4420 -x110 -x4422 -x111 -x4424 -x4426 1800.03/1800.61 v -x4428 -x4430 -x4432 -x4434 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4460 1800.03/1800.61 v -x4462 -x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x112 -x4486 -x4488 -x4490 -x4492 1800.03/1800.61 v -x4494 -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x113 -x4516 -x4518 -x4520 -x4522 -x4524 1800.03/1800.61 v -x4526 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x4544 -x114 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 1800.03/1800.61 v -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 x4574 x115 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 -x116 1800.03/1800.61 v -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x117 -x4620 1800.03/1800.61 v -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 x4638 -x4640 -x4642 -x4644 -x4646 -x118 -x4648 -x4650 -x4652 -x4654 1800.03/1800.61 v -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x119 -x4678 -x4680 -x4682 -x4684 -x4686 1800.03/1800.61 v -x4688 -x4690 -x120 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x121 -x4706 -x4708 -x4710 -x122 -x4712 -x4714 -x4716 1800.03/1800.61 v -x4718 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x123 -x4742 -x4744 -x4746 -x4748 1800.03/1800.61 v -x4750 -x4752 -x4754 -x124 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x125 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 1800.03/1800.61 v -x4782 -x126 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x127 -x4798 -x4800 -x4802 -x128 -x4804 -x4806 -x4808 -x4810 1800.03/1800.61 v -x4812 -x4814 -x4816 -x129 -x4818 -x4820 -x4822 -x130 -x4824 -x4826 -x4828 -x131 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 1800.03/1800.61 v -x4842 -x132 -x4844 -x4846 -x4848 -x133 -x4850 -x4852 -x4854 -x134 -x4856 -x135 -x4858 -x4860 -x4862 -x4864 -x4866 -x4868 1800.03/1800.61 v -x4870 -x4872 -x4874 -x4876 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x4896 -x4898 -x4900 -x4902 1800.03/1800.61 v -x4904 -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 1800.03/1800.61 v -x4939 -x4941 -x4943 -x4945 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x4969 -x4971 1800.03/1800.61 v -x4973 -x4975 -x136 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 -x5001 -x5003 1800.03/1800.61 v -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 1800.03/1800.61 v -x137 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x5069 1800.03/1800.61 v -x5071 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x138 -x5100 -x5102 1800.03/1800.61 v -x5104 -x5106 -x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x139 -x5130 -x5132 -x5134 1800.03/1800.61 v -x5136 -x5138 -x5140 -x5142 -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 1800.03/1800.61 v -x5170 -x5172 -x5174 -x5176 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x5197 -x5199 x5201 -x5203 1800.03/1800.61 v -x5205 -x5207 -x5209 -x5211 -x5213 -x5215 -x5217 -x140 -x5219 -x5221 -x5223 -x5225 -x5227 -x5229 -x5231 -x5233 -x5235 1800.03/1800.61 v -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x141 -x5249 -x5251 -x5253 -x5255 -x5257 -x5259 -x5261 -x142 -x5263 -x5265 -x5267 1800.03/1800.61 v -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x5282 -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 1800.03/1800.61 v -x5304 -x5306 -x5308 -x5310 -x5312 -x5314 -x5316 -x5318 -x5320 -x5322 -x143 -x5324 -x5326 -x5328 -x5330 -x5332 -x5334 1800.03/1800.61 v -x5336 -x5338 -x5340 -x5342 -x5344 -x5346 -x5348 -x5350 -x5352 -x144 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 1800.03/1800.61 v -x5368 -x5370 -x5372 -x5374 -x5376 -x5378 -x5380 -x5382 -x145 -x5384 -x5386 -x5388 -x5390 -x5392 -x5394 -x5396 -x146 -x5398 1800.03/1800.61 v -x5400 -x5402 -x5404 -x5406 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5426 -x147 -x5428 -x5430 1800.03/1800.61 v -x5432 -x5434 -x5436 -x5438 -x5440 x148 -x5442 -x5444 -x5446 -x5448 -x5450 x5452 -x5454 -x149 -x5456 -x5458 -x5460 -x150 1800.03/1800.61 v -x5462 -x5464 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5495 1800.03/1800.61 v -x5497 -x5499 -x5501 -x5503 -x5505 -x5507 -x5509 -x5511 -x5513 -x5515 -x5517 -x5519 -x5521 -x151 -x5523 -x5525 -x5527 1800.03/1800.61 v -x5529 -x5531 -x5533 -x5535 -x5537 -x5539 -x5541 -x5543 -x5545 -x5547 -x5549 -x152 -x5551 -x5553 -x5555 -x5557 -x5559 1800.03/1800.61 v -x5561 -x5563 -x5565 -x5567 -x5569 -x5571 -x5573 -x5575 -x5577 -x5579 -x5581 -x5583 x5585 -x5587 -x5589 -x5591 -x5593 1800.03/1800.61 v -x153 -x5595 -x5597 -x5599 -x5601 -x5603 -x5605 -x5607 -x5609 -x5611 -x5613 -x5615 -x5617 -x5619 -x5621 -x5623 -x154 -x5625 1800.03/1800.61 v -x5627 -x5629 -x5631 -x5633 -x5635 -x155 -x5637 -x5639 -x5641 -x5643 -x5645 -x5647 -x5649 -x156 -x5651 -x5653 -x5655 -x157 1800.03/1800.61 v -x5657 -x5659 -x5661 -x5663 -x5665 -x5667 -x5669 -x5671 -x5673 -x5675 -x5677 -x5679 -x5681 -x5683 -x5685 -x158 -x5687 1800.03/1800.61 v -x5689 -x5691 -x5693 -x5695 -x5697 -x5699 -x159 -x5701 -x5703 -x5705 -x5707 -x5709 -x5711 -x5713 -x160 -x5715 -x5717 -x161 1800.03/1800.61 v -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x162 -x5733 -x5735 x5737 -x5739 -x5741 -x5743 -x163 -x5745 -x164 -x5747 1800.03/1800.61 v -x5749 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x5763 -x5765 -x5767 -x5769 -x5771 -x5773 -x5775 -x5778 -x5780 -x5782 1800.03/1800.61 v -x5784 -x5786 -x5788 -x5790 -x5792 -x5795 -x5797 -x5799 -x165 -x5801 -x5803 -x5805 -x5807 -x5809 -x5811 -x5813 -x5815 1800.03/1800.61 v -x5817 -x5819 -x5821 -x5823 -x5825 -x5827 -x5829 -x166 -x5831 -x5833 -x5835 -x5837 -x5839 -x5841 -x5843 -x5845 -x5847 1800.03/1800.61 v -x5849 -x5851 -x5853 -x5855 -x5857 -x5859 x167 -x5861 -x5863 -x5865 -x5867 -x5869 x5871 -x5873 -x168 -x5875 -x5877 -x5879 1800.03/1800.61 v -x5881 -x5883 -x5885 -x5887 -x5889 -x5891 -x5893 -x5895 -x5897 -x5899 -x5901 x5903 -x5905 -x5907 -x5909 -x5911 -x5913 1800.03/1800.61 v -x5915 -x5917 -x169 -x5919 -x5921 -x5923 -x5925 -x5927 -x5929 -x5931 -x170 -x5933 -x5935 -x5937 -x171 -x5939 -x5941 -x5943 1800.03/1800.61 v -x5945 -x5947 -x5949 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x5963 -x5965 -x5967 -x172 -x5969 -x5971 -x5973 -x5975 1800.03/1800.61 v -x5977 -x5979 -x5981 -x173 -x5983 -x5985 -x5987 -x5989 -x5991 -x5993 -x5995 -x174 -x5997 -x5999 -x6001 -x6003 -x6005 -x6007 1800.03/1800.61 v -x6009 x6011 -x6013 -x6015 -x6017 x6019 -x6021 -x6023 x6025 x6027 x175 -x6029 -x176 -x6031 -x6033 -x6035 -x6037 -x6039 1800.03/1800.61 v -x6041 -x6043 -x6045 -x6047 -x6049 -x6051 -x6053 -x6055 -x177 -x6057 -x6059 -x6061 -x6063 -x6065 -x6067 -x6069 -x178 -x6071 1800.03/1800.61 v -x6073 -x6075 -x6077 -x6079 -x6081 -x6083 x179 -x6085 x6087 -x6089 -x180 -x6091 -x6093 -x6095 -x6097 -x6099 -x6101 -x6103 1800.03/1800.61 v -x181 -x6105 -x6107 -x182 -x6109 -x6111 -x6113 -x183 -x6115 -x184 -x6117 -x6119 -x6121 -x6123 -x6125 -x6127 -x185 -x6129 1800.03/1800.61 v -x6131 -x6133 -x186 -x6135 -x6137 -x6139 -x187 x6141 -x6143 x6145 x188 x6147 x189 x190
OK 26
/tmp/evaluation/372701-1177122765/instance-372701-1177122765.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node34/watcher-372701-1177122765 -o ROOT/results/node34/solver-372701-1177122765 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372701-1177122765/minisat+ /tmp/evaluation/372701-1177122765/instance-372701-1177122765.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.00 1.00 3/77 11711 /proc/meminfo: memFree=1812144/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=1352 CPUtime=0 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 160191970 1384448 172 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 338 172 67 215 0 120 0 [startup+0.00714389 s] /proc/loadavg: 1.00 1.00 1.00 3/77 11711 /proc/meminfo: memFree=1812144/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=1712 CPUtime=0 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 245 0 0 0 0 0 0 0 18 0 1 0 160191970 1753088 230 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 428 230 68 215 0 210 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1712 [startup+0.102151 s] /proc/loadavg: 1.00 1.00 1.00 3/77 11711 /proc/meminfo: memFree=1812144/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=2896 CPUtime=0.09 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 528 0 0 0 9 0 0 0 18 0 1 0 160191970 2965504 513 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134570107 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 724 513 74 215 0 506 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2896 [startup+0.301166 s] /proc/loadavg: 1.00 1.00 1.00 3/77 11711 /proc/meminfo: memFree=1812144/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=4480 CPUtime=0.29 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 951 0 0 0 29 0 0 0 20 0 1 0 160191970 4587520 936 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 1120 936 74 215 0 902 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4480 [startup+0.702199 s] /proc/loadavg: 1.00 1.00 1.00 3/77 11711 /proc/meminfo: memFree=1812144/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=8348 CPUtime=0.7 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 1943 0 0 0 68 2 0 0 18 0 1 0 160191970 8548352 1891 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134809814 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 2087 1891 104 215 0 1869 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 8348 [startup+1.50126 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11712 /proc/meminfo: memFree=1804904/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=8348 CPUtime=1.49 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 1943 0 0 0 147 2 0 0 25 0 1 0 160191970 8548352 1891 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134648487 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 2087 1891 104 215 0 1869 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8348 [startup+3.10139 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11712 /proc/meminfo: memFree=1804776/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=8348 CPUtime=3.09 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 1954 0 0 0 307 2 0 0 25 0 1 0 160191970 8548352 1902 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012072 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 2087 1902 104 215 0 1869 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8348 [startup+6.30164 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11712 /proc/meminfo: memFree=1798568/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=15548 CPUtime=6.29 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 4006 0 0 0 626 3 0 0 25 0 1 0 160191970 15921152 3621 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 3887 3621 123 215 0 3669 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15548 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11712 /proc/meminfo: memFree=1790888/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=23316 CPUtime=12.69 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 5918 0 0 0 1265 4 0 0 25 0 1 0 160191970 23875584 5533 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 5829 5533 123 215 0 5611 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23316 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11712 /proc/meminfo: memFree=1779816/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=33720 CPUtime=25.48 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 8548 0 0 0 2542 6 0 0 25 0 1 0 160191970 34529280 8163 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 8430 8163 123 215 0 8212 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33720 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11712 /proc/meminfo: memFree=1766184/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=47572 CPUtime=51.08 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 11961 0 0 0 5096 12 0 0 25 0 1 0 160191970 48713728 11576 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 11893 11576 123 215 0 11675 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 47572 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11712 /proc/meminfo: memFree=1762600/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=50756 CPUtime=102.27 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 13114 0 0 0 10214 13 0 0 25 0 1 0 160191970 51974144 12391 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 12689 12391 123 215 0 12471 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 50756 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11712 /proc/meminfo: memFree=1762600/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=50756 CPUtime=162.25 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 13120 0 0 0 16212 13 0 0 25 0 1 0 160191970 51974144 12397 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134587610 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 12689 12397 123 215 0 12471 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 50756 [startup+222.302 s] /proc/loadavg: 1.04 1.01 1.00 2/78 11712 /proc/meminfo: memFree=1762344/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=51208 CPUtime=222.24 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 13213 0 0 0 22210 14 0 0 25 0 1 0 160191970 52436992 12490 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 12802 12490 123 215 0 12584 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 51208 [startup+282.302 s] /proc/loadavg: 1.16 1.05 1.01 2/78 11712 /proc/meminfo: memFree=1762216/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=51208 CPUtime=282.22 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 13239 0 0 0 28208 14 0 0 25 0 1 0 160191970 52436992 12508 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 12802 12508 123 215 0 12584 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 51208 [startup+342.301 s] /proc/loadavg: 1.06 1.04 1.01 2/78 11714 /proc/meminfo: memFree=1761768/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=51784 CPUtime=342.2 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 13347 0 0 0 34205 15 0 0 25 0 1 0 160191970 53026816 12616 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 12946 12616 123 215 0 12728 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 51784 [startup+402.301 s] /proc/loadavg: 1.02 1.03 1.00 2/78 11714 /proc/meminfo: memFree=1761320/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=52212 CPUtime=402.18 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 13470 0 0 0 40203 15 0 0 25 0 1 0 160191970 53465088 12739 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580765 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 13053 12739 123 215 0 12835 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 52212 [startup+462.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 11714 /proc/meminfo: memFree=1760488/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=53024 CPUtime=462.17 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 13665 0 0 0 46201 16 0 0 25 0 1 0 160191970 54296576 12934 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 13256 12934 123 215 0 13038 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 53024 [startup+522.303 s] /proc/loadavg: 1.00 1.02 1.00 2/78 11714 /proc/meminfo: memFree=1759976/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=53792 CPUtime=522.16 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 13818 0 0 0 52200 16 0 0 25 0 1 0 160191970 55083008 13087 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 13448 13087 123 215 0 13230 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 53792 [startup+582.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 11714 /proc/meminfo: memFree=1759656/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=53956 CPUtime=582.14 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 13883 0 0 0 58197 17 0 0 25 0 1 0 160191970 55250944 13152 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 13489 13152 123 215 0 13271 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 53956 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11714 /proc/meminfo: memFree=1756008/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=57952 CPUtime=642.13 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 14784 0 0 0 64195 18 0 0 25 0 1 0 160191970 59342848 14053 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 14488 14053 123 215 0 14270 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 57952 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11714 /proc/meminfo: memFree=1754408/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=59716 CPUtime=822.08 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 15195 0 0 0 82188 20 0 0 25 0 1 0 160191970 61149184 14464 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 14929 14464 123 215 0 14711 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 59716 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11714 /proc/meminfo: memFree=1754088/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=60076 CPUtime=882.06 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 15268 0 0 0 88186 20 0 0 25 0 1 0 160191970 61517824 14537 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 15019 14537 123 215 0 14801 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 60076 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11714 /proc/meminfo: memFree=1753512/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=60756 CPUtime=942.05 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 15408 0 0 0 94184 21 0 0 25 0 1 0 160191970 62214144 14677 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 15189 14677 123 215 0 14971 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 60756 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11714 /proc/meminfo: memFree=1753000/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=61544 CPUtime=1002.03 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 15550 0 0 0 100182 21 0 0 25 0 1 0 160191970 63021056 14819 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 15386 14819 123 215 0 15168 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 61544 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11714 /proc/meminfo: memFree=1749224/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=65344 CPUtime=1062.02 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 16509 0 0 0 106179 23 0 0 25 0 1 0 160191970 66912256 15778 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 16336 15778 123 215 0 16118 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 65344 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11714 /proc/meminfo: memFree=1748200/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=66232 CPUtime=1122 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 16734 0 0 0 112176 24 0 0 25 0 1 0 160191970 67821568 16003 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 16558 16003 123 215 0 16340 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 66232 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11714 /proc/meminfo: memFree=1748008/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=66412 CPUtime=1181.99 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 16772 0 0 0 118175 24 0 0 25 0 1 0 160191970 68005888 16041 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 16603 16041 123 215 0 16385 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 66412 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11714 /proc/meminfo: memFree=1747112/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=67296 CPUtime=1241.97 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 17012 0 0 0 124172 25 0 0 25 0 1 0 160191970 68911104 16281 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 16824 16281 123 215 0 16606 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 67296 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11714 /proc/meminfo: memFree=1747048/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=67296 CPUtime=1301.96 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 17012 0 0 0 130170 26 0 0 25 0 1 0 160191970 68911104 16281 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 16824 16281 123 215 0 16606 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 67296 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11714 /proc/meminfo: memFree=1747048/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=67296 CPUtime=1361.94 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 17013 0 0 0 136168 26 0 0 25 0 1 0 160191970 68911104 16282 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 16824 16282 123 215 0 16606 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 67296 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11714 /proc/meminfo: memFree=1747112/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=67296 CPUtime=1421.92 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 17018 0 0 0 142166 26 0 0 25 0 1 0 160191970 68911104 16287 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 16824 16287 123 215 0 16606 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 67296 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11714 /proc/meminfo: memFree=1747048/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=67296 CPUtime=1481.91 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 17026 0 0 0 148164 27 0 0 25 0 1 0 160191970 68911104 16295 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 16824 16295 123 215 0 16606 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 67296 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11714 /proc/meminfo: memFree=1746664/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=67788 CPUtime=1541.89 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 17121 0 0 0 154162 27 0 0 25 0 1 0 160191970 69414912 16390 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 16947 16390 123 215 0 16729 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 67788 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11714 /proc/meminfo: memFree=1746664/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=67788 CPUtime=1601.88 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 17130 0 0 0 160160 28 0 0 25 0 1 0 160191970 69414912 16399 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576138 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 16947 16399 123 215 0 16729 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 67788 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11714 /proc/meminfo: memFree=1746600/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=67788 CPUtime=1661.86 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 17130 0 0 0 166158 28 0 0 25 0 1 0 160191970 69414912 16399 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 16947 16399 123 215 0 16729 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 67788 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 11852 /proc/meminfo: memFree=1745272/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=67788 CPUtime=1721.78 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 17130 0 0 0 172148 30 0 0 25 0 1 0 160191970 69414912 16399 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 16947 16399 123 215 0 16729 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 67788 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11912 /proc/meminfo: memFree=1746344/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=68032 CPUtime=1781.73 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 17173 0 0 0 178143 30 0 0 25 0 1 0 160191970 69664768 16442 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 17008 16442 123 215 0 16790 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 68032 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11912 /proc/meminfo: memFree=1746344/2055920 swapFree=4159644/4192956 [pid=11711] ppid=11709 vsize=68032 CPUtime=1800.03 /proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 17173 0 0 0 179973 30 0 0 25 0 1 0 160191970 69664768 16442 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11711/statm: 17008 16442 123 215 0 16790 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 68032 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.63 CPU time (s): 1800.06 CPU user time (s): 1799.74 CPU system time (s): 0.319951 CPU usage (%): 99.9684 Max. virtual memory (cumulated for all children) (KiB): 68032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.74 system time used= 0.319951 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17175 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= 141 involuntary context switches= 7063 runsolver used 2.06169 second user time and 4.52531 second system time The end
Begin job on node34 on Sat Apr 21 02:32:45 UTC 2007 IDJOB= 372701 IDBENCH= 24991 IDSOLVER= 156 FILE ID= node34/372701-1177122765 PBS_JOBID= 4640478 Free space on /tmp= 66410 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_009_area_delay.opb COMMAND LINE= /tmp/evaluation/372701-1177122765/minisat+ /tmp/evaluation/372701-1177122765/instance-372701-1177122765.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node34/convwatcher-372701-1177122765 -o ROOT/results/node34/conversion-372701-1177122765 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372701-1177122765/instance-372701-1177122765.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-372701-1177122765 -o ROOT/results/node34/solver-372701-1177122765 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372701-1177122765/minisat+ /tmp/evaluation/372701-1177122765/instance-372701-1177122765.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 2aa6eb5ee09e1484657dfe3626167241 RANDOM SEED= 482598563 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node34.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.236 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.236 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: 1812616 kB Buffers: 45080 kB Cached: 110912 kB SwapCached: 2788 kB Active: 140036 kB Inactive: 40292 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1812616 kB SwapTotal: 4192956 kB SwapFree: 4159644 kB Dirty: 2884 kB Writeback: 0 kB Mapped: 31372 kB Slab: 48376 kB Committed_AS: 1534132 kB PageTables: 1980 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= 66410 MiB End job on node34 on Sat Apr 21 03:02:48 UTC 2007