Trace number 49706

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
minisat+ 1.14SAT (TO)88 1800.78 1801.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.b.opb
MD5SUM0b80319f4195f1e1329c2c4b63b416b0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark45
Best CPU time to get the best result obtained on this benchmark1800.7
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 45
Optimality of the best value was proved NO
Number of variables5203
Total number of constraints19637
Number of constraints which are clauses19637
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint11
Maximum length of a constraint360
Number of terms in the objective function 5203
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 5203
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5203
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Parsing PB file...
10.73	c Converting 19637 PB-constraints to clauses...
10.78	c   -- Unit propagations: (none)
10.78	c   -- Detecting intervals from adjacent constraints: (none)
10.78	c   -- Clauses(.)/Splits(s): .....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
11.01	c ==================================[MINISAT+]==================================
11.01	c | Conflicts | Original         | Learnt                           | Progress |
11.01	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
11.01	c ==============================================================================
11.01	c |         0 |   19637  1117990 |    6545       0        0     nan |  0.000 % |
11.02	c ==============================================================================
11.02	c Found solution: 88
11.02	o 88
11.08	c ---[   0]---> Adder-cost: 10394   maxlim: 5115   bits: 13/13
28.75	c ==================================[MINISAT+]==================================
28.75	c | Conflicts | Original         | Learnt                           | Progress |
28.75	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
28.75	c ==============================================================================
28.75	c |         4 |   92319  1377568 |   30773       4      703   175.8 |  0.000 % |
28.77	c |       104 |   92319  1377568 |   33850     104     1492    14.3 |  0.077 % |
28.85	c |       255 |   92319  1377568 |   37235     255     2782    10.9 |  0.077 % |
29.00	c |       480 |   92309  1377530 |   40958     475     4621     9.7 |  0.083 % |
29.40	c |       817 |   92025  1376557 |   45054     760     7575    10.0 |  0.391 % |
30.12	c |      1323 |   91999  1376467 |   49560    1262    12587    10.0 |  0.417 % |
31.17	c |      2082 |   91983  1376415 |   54516    2018    22650    11.2 |  0.436 % |
32.75	c |      3221 |   91983  1376415 |   59967    3157    37301    11.8 |  0.436 % |
34.82	c |      4929 |   91983  1376415 |   65964    4865    75985    15.6 |  0.436 % |
36.99	c |      7491 |   91960  1376336 |   72561    7423   179735    24.2 |  0.461 % |
41.10	c |     11335 |   91960  1376336 |   79817   11267   449286    39.9 |  0.461 % |
48.18	c |     17101 |   91960  1376336 |   87798   17033   893328    52.4 |  0.461 % |
56.45	c |     25751 |   91960  1376336 |   96578   25683  2447864    95.3 |  0.461 % |
71.08	c |     38725 |   91934  1376246 |  106236   38652  6257874   161.9 |  0.487 % |
104.87	c |     58186 |   91860  1375990 |  116860   58098 19733964   339.7 |  0.570 % |
176.70	c |     87378 |   91851  1375959 |  128546   87285 46001586   527.0 |  0.577 % |
293.65	c |    131177 |   91842  1375928 |  141401  131081 86279185   658.2 |  0.583 % |
355.03	c |    196861 |   91836  1375908 |  155541   77645 18144902   233.7 |  0.590 % |
690.29	c |    295389 |   91836  1375908 |  171095   40335 26446030   655.7 |  0.590 % |
1133.24	c |    443181 |   91836  1375908 |  188204   31412 24942724   794.1 |  0.590 % |
1801.15	c 
1801.18	c *** TERMINATED ***
1801.18	s SATISFIABLE
1801.18	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 x28 x29
1801.18	v x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 x51 -x52 -x53 -x54 -x55
1801.18	v -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81
1801.18	v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105
1801.18	v -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1801.18	v -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1801.18	v -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168
1801.18	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1801.18	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1801.18	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1801.18	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1801.18	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1801.18	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
1801.18	v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1801.18	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1801.18	v -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1801.18	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378
1801.18	v x379 -x380 -x381 x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1801.18	v -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x420
1801.18	v -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1801.18	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1801.18	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 x480 -x481 -x482 -x483
1801.18	v -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 x504
1801.18	v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 x521 -x522 -x523 -x524 -x525
1801.18	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546
1801.18	v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
1801.18	v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588
1801.18	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 x598 -x599 x600 x601 x602 x603 -x604 x605 -x606 -x607 -x608 -x609 -x610
1801.18	v -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631
1801.18	v -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652
1801.18	v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673
1801.18	v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694
1801.18	v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715
1801.18	v -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736
1801.18	v -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757
1801.18	v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778
1801.18	v -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799
1801.18	v -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820
1801.18	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841
1801.18	v -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862
1801.18	v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 -x878 -x879 -x880 -x881 -x882 x883
1801.18	v -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 -x904
1801.18	v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 x924 -x925
1801.18	v -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946
1801.18	v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967
1801.18	v -x968 -x969 -x970 -x971 -x972 x973 -x974 -x975 x976 -x977 -x978 x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988
1801.18	v -x989 x990 -x991 x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007
1801.18	v -x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024
1801.18	v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041
1801.18	v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058
1801.18	v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075
1801.18	v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092
1801.18	v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109
1801.18	v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126
1801.18	v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143
1801.18	v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160
1801.18	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177
1801.18	v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194
1801.18	v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211
1801.18	v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228
1801.18	v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 x1242 x1243 -x1244 -x1245 x1246
1801.18	v -x1247 x1248 x1249 x1250 x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264
1801.18	v -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281
1801.18	v -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298
1801.18	v -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315
1801.18	v -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332
1801.18	v -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349
1801.18	v -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366
1801.18	v -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383
1801.18	v -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
1801.18	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 x1414 -x1415 -x1416 -x1417
1801.18	v x1418 -x1419 -x1420 -x1421 -x1422 x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435
1801.18	v -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452
1801.18	v -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469
1801.18	v -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486
1801.18	v -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503
1801.18	v -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520
1801.18	v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537
1801.18	v -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554
1801.18	v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571
1801.18	v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588
1801.18	v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605
1801.18	v -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622
1801.18	v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639
1801.18	v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656
1801.18	v -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673
1801.18	v -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690
1801.18	v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707
1801.18	v -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724
1801.18	v -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741
1801.18	v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758
1801.18	v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775
1801.18	v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792
1801.18	v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809
1801.18	v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826
1801.18	v -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843
1801.18	v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860
1801.18	v -x1861 -x1862 -x1863 -x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877
1801.18	v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894
1801.18	v -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911
1801.18	v -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928
1801.18	v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945
1801.18	v -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 x1960 -x1961 -x1962
1801.18	v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979
1801.18	v -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996
1801.18	v -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013
1801.18	v -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030
1801.18	v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047
1801.18	v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064
1801.18	v -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081
1801.18	v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098
1801.18	v -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115
1801.18	v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132
1801.18	v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149
1801.18	v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166
1801.18	v -x2167 -x2168 -x2169 x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183
1801.18	v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200
1801.18	v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217
1801.18	v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234
1801.18	v -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251
1801.18	v -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268
1801.18	v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285
1801.18	v -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302
1801.18	v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319
1801.18	v -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336
1801.18	v -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353
1801.18	v -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370
1801.18	v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387
1801.18	v -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404
1801.18	v -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421
1801.18	v -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438
1801.18	v -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455
1801.18	v -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472
1801.18	v -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489
1801.18	v -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506
1801.18	v -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523
1801.18	v -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540
1801.18	v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557
1801.18	v -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574
1801.18	v -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591
1801.18	v -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608
1801.18	v -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625
1801.18	v -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642
1801.18	v -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659
1801.18	v -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676
1801.18	v -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693
1801.18	v -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710
1801.18	v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727
1801.18	v -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744
1801.18	v -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761
1801.18	v -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778
1801.18	v -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795
1801.18	v -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812
1801.18	v -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829
1801.18	v -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846
1801.18	v -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863
1801.18	v -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880
1801.18	v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897
1801.18	v -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914
1801.18	v -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931
1801.18	v -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948
1801.18	v -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965
1801.18	v -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982
1801.18	v -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999
1801.18	v -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016
1801.18	v -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033
1801.18	v -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050
1801.18	v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067
1801.18	v -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084
1801.18	v -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 x3095 -x3096 -x3097 -x3098 -x3099 -x3100 x3101 x3102
1801.18	v x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 x3112 -x3113 -x3114 x3115 x3116 x3117 -x3118 -x3119 -x3120
1801.18	v -x3121 -x3122 x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137
1801.18	v -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154
1801.18	v -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171
1801.18	v -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188
1801.18	v -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205
1801.18	v -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222
1801.18	v -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239
1801.18	v -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256
1801.18	v -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273
1801.18	v -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290
1801.18	v -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307
1801.18	v -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324
1801.18	v -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341
1801.18	v -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358
1801.18	v -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375
1801.18	v -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392
1801.18	v -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409
1801.18	v -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426
1801.18	v -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443
1801.18	v -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460
1801.18	v -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477
1801.18	v -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494
1801.18	v -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511
1801.18	v -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528
1801.18	v -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545
1801.18	v -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562
1801.18	v -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579
1801.18	v -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596
1801.18	v -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613
1801.18	v -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630
1801.18	v -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647
1801.18	v -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664
1801.18	v -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681
1801.18	v -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698
1801.18	v -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715
1801.18	v -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732
1801.18	v -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749
1801.18	v -x3750 -x3751 -x3752 -x3753 -x3754 x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766
1801.18	v -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783
1801.18	v -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800
1801.18	v -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817
1801.18	v -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834
1801.18	v -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851
1801.18	v -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868
1801.18	v -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885
1801.18	v -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902
1801.18	v -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919
1801.18	v -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936
1801.18	v -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953
1801.18	v -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970
1801.18	v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987
1801.18	v -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004
1801.18	v -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021
1801.18	v -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038
1801.18	v -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055
1801.18	v -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072
1801.18	v -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089
1801.18	v -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106
1801.18	v -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123
1801.18	v -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140
1801.18	v -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157
1801.18	v -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174
1801.18	v -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191
1801.18	v -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208
1801.18	v -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225
1801.18	v -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242
1801.18	v -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259
1801.18	v -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276
1801.18	v -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293
1801.18	v -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310
1801.18	v -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327
1801.18	v -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344
1801.18	v -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361
1801.18	v -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378
1801.18	v -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395
1801.18	v -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412
1801.18	v -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429
1801.18	v -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446
1801.18	v -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463
1801.18	v -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480
1801.18	v -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497
1801.18	v -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514
1801.18	v -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531
1801.18	v -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548
1801.18	v -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565
1801.18	v -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582
1801.18	v -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599
1801.18	v -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616
1801.18	v -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633
1801.18	v -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650
1801.18	v -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667
1801.18	v -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684
1801.18	v -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701
1801.18	v -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718
1801.18	v -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735
1801.18	v -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752
1801.18	v -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769
1801.18	v -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786
1801.18	v -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803
1801.18	v -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820
1801.18	v -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837
1801.18	v -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854
1801.18	v -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871
1801.18	v -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888
1801.18	v -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905
1801.18	v -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922
1801.18	v -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939
1801.18	v -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956
1801.18	v -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973
1801.18	v -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990
1801.18	v -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007
1801.18	v -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024
1801.18	v -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041
1801.18	v -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058
1801.18	v -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075
1801.18	v -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092
1801.18	v -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109
1801.18	v -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126
1801.18	v -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143
1801.18	v -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160
1801.18	v -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177
1801.18	v -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194
1801.18	v -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203

Verifier Data (download as text)

OK	88

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node15/watcher-49706-1154095181 -o ROOT/results/node15/solver-49706-1154095181 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node15/49706-1154095181/instance-49706-1154095181.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.04 1.07 1.02 1/64 22175
/proc/meminfo: memFree=1476136/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=1352 CPUtime=0
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 189 0 0 0 0 0 0 0 19 0 1 0 156378919 1384448 173 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134570011 0 0 4096 16386 0 0 0 17 0 0 0
/proc/22175/statm: 338 173 67 215 0 120 0

[startup+10.0022 s]
/proc/loadavg: 1.03 1.07 1.02 2/64 22175
/proc/meminfo: memFree=1407464/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=70076 CPUtime=9.99
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 17331 0 0 0 991 8 0 0 25 0 1 0 156378919 71757824 17315 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 0 0 0
/proc/22175/statm: 17519 17315 74 215 0 17301 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 70076

[startup+20.0082 s]
/proc/loadavg: 1.03 1.06 1.02 2/64 22175
/proc/meminfo: memFree=1395432/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=82280 CPUtime=19.99
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 20372 0 0 0 1986 13 0 0 25 0 1 0 156378919 84254720 20356 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005831 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 20570 20356 103 215 0 20352 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 82280

[startup+30.0139 s]
/proc/loadavg: 1.02 1.06 1.01 2/64 22175
/proc/meminfo: memFree=1384424/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=94140 CPUtime=29.99
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 24559 0 0 0 2983 16 0 0 25 0 1 0 156378919 96399360 23130 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588795 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 23535 23130 123 215 0 23317 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 94140

[startup+40.0198 s]
/proc/loadavg: 1.02 1.06 1.01 2/64 22175
/proc/meminfo: memFree=1384488/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=94140 CPUtime=40
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 24560 0 0 0 3984 16 0 0 25 0 1 0 156378919 96399360 23131 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576151 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 23535 23131 123 215 0 23317 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 94140

[startup+50.0257 s]
/proc/loadavg: 1.02 1.06 1.01 2/64 22175
/proc/meminfo: memFree=1384488/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=94140 CPUtime=50
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 24584 0 0 0 4984 16 0 0 25 0 1 0 156378919 96399360 23155 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 23535 23155 123 215 0 23317 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 94140

[startup+60.0316 s]
/proc/loadavg: 1.01 1.05 1.01 2/64 22175
/proc/meminfo: memFree=1384296/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=94304 CPUtime=60
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 24619 0 0 0 5984 16 0 0 25 0 1 0 156378919 96567296 23190 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 23576 23190 123 215 0 23358 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 94304

[startup+70.0376 s]
/proc/loadavg: 1.01 1.05 1.01 2/64 22175
/proc/meminfo: memFree=1382120/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=96552 CPUtime=70
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 25170 0 0 0 6984 16 0 0 25 0 1 0 156378919 98869248 23741 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 24138 23741 123 215 0 23920 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 96552

[startup+80.0435 s]
/proc/loadavg: 1.01 1.05 1.01 2/70 22201
/proc/meminfo: memFree=1366064/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=111396 CPUtime=80.01
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 28885 0 0 0 7981 20 0 0 25 0 1 0 156378919 114069504 27456 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 27849 27456 123 215 0 27631 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 111396

[startup+90.0504 s]
/proc/loadavg: 1.01 1.05 1.01 2/70 22283
/proc/meminfo: memFree=1349872/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=127488 CPUtime=89.99
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 32897 0 0 0 8973 26 0 0 25 0 1 0 156378919 130547712 31468 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584014 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 31872 31468 123 215 0 31654 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 127488

[startup+100.057 s]
/proc/loadavg: 1.00 1.05 1.01 2/70 22313
/proc/meminfo: memFree=1333040/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=144184 CPUtime=99.98
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 37080 0 0 0 9970 28 0 0 25 0 1 0 156378919 147644416 35651 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 36046 35651 123 215 0 35828 0
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 144184

[startup+110.064 s]
/proc/loadavg: 1.00 1.04 1.01 2/64 22373
/proc/meminfo: memFree=1320872/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=157632 CPUtime=109.97
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 40413 0 0 0 10966 31 0 0 25 0 1 0 156378919 161415168 38984 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575423 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 39408 38984 123 215 0 39190 0
Current children cumulated CPU time (s) 109.97
Current children cumulated vsize (Kb) 157632

[startup+120.07 s]
/proc/loadavg: 1.00 1.04 1.01 2/64 22373
/proc/meminfo: memFree=1308904/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=169528 CPUtime=119.98
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 43402 0 0 0 11965 33 0 0 25 0 1 0 156378919 173596672 41973 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 42382 41973 123 215 0 42164 0
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 169528

[startup+130.076 s]
/proc/loadavg: 1.00 1.04 1.00 2/64 22373
/proc/meminfo: memFree=1292584/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=185764 CPUtime=129.98
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 47480 0 0 0 12962 36 0 0 25 0 1 0 156378919 190222336 46051 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 46441 46051 123 215 0 46223 0
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 185764

[startup+140.082 s]
/proc/loadavg: 1.00 1.04 1.00 2/64 22373
/proc/meminfo: memFree=1276648/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=201756 CPUtime=139.98
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 51461 0 0 0 13960 38 0 0 25 0 1 0 156378919 206598144 50032 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 50439 50032 123 215 0 50221 0
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 201756

[startup+150.088 s]
/proc/loadavg: 1.00 1.04 1.00 2/64 22373
/proc/meminfo: memFree=1260456/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=217868 CPUtime=149.98
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 55488 0 0 0 14957 41 0 0 25 0 1 0 156378919 223096832 54059 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 54467 54059 123 215 0 54249 0
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 217868

[startup+160.094 s]
/proc/loadavg: 1.00 1.03 1.00 2/64 22373
/proc/meminfo: memFree=1245800/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=232480 CPUtime=159.98
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 59151 0 0 0 15955 43 0 0 25 0 1 0 156378919 238059520 57722 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135011021 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 58120 57722 123 215 0 57902 0
Current children cumulated CPU time (s) 159.98
Current children cumulated vsize (Kb) 232480

[startup+170.1 s]
/proc/loadavg: 1.00 1.03 1.00 2/64 22373
/proc/meminfo: memFree=1231528/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=246656 CPUtime=169.99
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 62702 0 0 0 16953 46 0 0 25 0 1 0 156378919 252575744 61273 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 61664 61273 123 215 0 61446 0
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 246656

[startup+180.107 s]
/proc/loadavg: 1.00 1.03 1.00 2/64 22373
/proc/meminfo: memFree=1218792/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=259456 CPUtime=180
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 65892 0 0 0 17951 49 0 0 25 0 1 0 156378919 265682944 64463 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581284 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 64864 64463 123 215 0 64646 0
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 259456

[startup+190.113 s]
/proc/loadavg: 1.00 1.03 1.00 2/64 22373
/proc/meminfo: memFree=1202536/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=275732 CPUtime=189.99
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 69935 0 0 0 18948 51 0 0 25 0 1 0 156378919 282349568 68506 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 68933 68506 123 215 0 68715 0
Current children cumulated CPU time (s) 189.99
Current children cumulated vsize (Kb) 275732

[startup+200.119 s]
/proc/loadavg: 1.00 1.03 1.00 2/64 22373
/proc/meminfo: memFree=1190504/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=287756 CPUtime=200
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 72947 0 0 0 19946 54 0 0 25 0 1 0 156378919 294662144 71518 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 71939 71518 123 215 0 71721 0
Current children cumulated CPU time (s) 200
Current children cumulated vsize (Kb) 287756

[startup+210.125 s]
/proc/loadavg: 1.00 1.03 1.00 2/64 22373

################
# More data... #
################

/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 192251 0 0 0 178023 133 0 0 25 0 1 0 156378919 783241216 190822 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577363 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 191221 190822 123 215 0 191003 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (Kb) 764884

[startup+1783.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 22373
/proc/meminfo: memFree=712232/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=764884 CPUtime=1782.56
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 192251 0 0 0 178123 133 0 0 25 0 1 0 156378919 783241216 190822 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574436 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 191221 190822 123 215 0 191003 0
Current children cumulated CPU time (s) 1782.56
Current children cumulated vsize (Kb) 764884

[startup+1784.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 22373
/proc/meminfo: memFree=712232/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=764884 CPUtime=1783.57
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 192251 0 0 0 178224 133 0 0 25 0 1 0 156378919 783241216 190822 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 191221 190822 123 215 0 191003 0
Current children cumulated CPU time (s) 1783.57
Current children cumulated vsize (Kb) 764884

[startup+1785.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 22373
/proc/meminfo: memFree=712232/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=764884 CPUtime=1784.57
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 192251 0 0 0 178324 133 0 0 25 0 1 0 156378919 783241216 190822 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579629 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 191221 190822 123 215 0 191003 0
Current children cumulated CPU time (s) 1784.57
Current children cumulated vsize (Kb) 764884

[startup+1786.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 22373
/proc/meminfo: memFree=712232/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=764884 CPUtime=1785.58
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 192251 0 0 0 178425 133 0 0 25 0 1 0 156378919 783241216 190822 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574460 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 191221 190822 123 215 0 191003 0
Current children cumulated CPU time (s) 1785.58
Current children cumulated vsize (Kb) 764884

[startup+1787.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 22373
/proc/meminfo: memFree=712232/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=764884 CPUtime=1786.58
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 192251 0 0 0 178525 133 0 0 25 0 1 0 156378919 783241216 190822 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574373 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 191221 190822 123 215 0 191003 0
Current children cumulated CPU time (s) 1786.58
Current children cumulated vsize (Kb) 764884

[startup+1788.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 22373
/proc/meminfo: memFree=712232/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=764884 CPUtime=1787.59
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 192251 0 0 0 178626 133 0 0 25 0 1 0 156378919 783241216 190822 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 191221 190822 123 215 0 191003 0
Current children cumulated CPU time (s) 1787.59
Current children cumulated vsize (Kb) 764884

[startup+1789.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 22373
/proc/meminfo: memFree=712232/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=764884 CPUtime=1788.59
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 192251 0 0 0 178726 133 0 0 25 0 1 0 156378919 783241216 190822 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574293 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 191221 190822 123 215 0 191003 0
Current children cumulated CPU time (s) 1788.59
Current children cumulated vsize (Kb) 764884

[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 22373
/proc/meminfo: memFree=712232/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=764884 CPUtime=1789.59
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 192251 0 0 0 178826 133 0 0 25 0 1 0 156378919 783241216 190822 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574219 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 191221 190822 123 215 0 191003 0
Current children cumulated CPU time (s) 1789.59
Current children cumulated vsize (Kb) 764884

[startup+1791.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 22373
/proc/meminfo: memFree=712232/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=764884 CPUtime=1790.6
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 192251 0 0 0 178927 133 0 0 25 0 1 0 156378919 783241216 190822 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 191221 190822 123 215 0 191003 0
Current children cumulated CPU time (s) 1790.6
Current children cumulated vsize (Kb) 764884

[startup+1792.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 22373
/proc/meminfo: memFree=712232/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=764884 CPUtime=1791.6
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 192251 0 0 0 179027 133 0 0 25 0 1 0 156378919 783241216 190822 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 191221 190822 123 215 0 191003 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (Kb) 764884

[startup+1793.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 22373
/proc/meminfo: memFree=712232/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=764884 CPUtime=1792.61
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 192251 0 0 0 179128 133 0 0 25 0 1 0 156378919 783241216 190822 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 191221 190822 123 215 0 191003 0
Current children cumulated CPU time (s) 1792.61
Current children cumulated vsize (Kb) 764884

[startup+1794.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 22373
/proc/meminfo: memFree=712232/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=764884 CPUtime=1793.61
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 192251 0 0 0 179228 133 0 0 25 0 1 0 156378919 783241216 190822 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006224 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 191221 190822 123 215 0 191003 0
Current children cumulated CPU time (s) 1793.61
Current children cumulated vsize (Kb) 764884

[startup+1795.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 22373
/proc/meminfo: memFree=712232/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=764884 CPUtime=1794.62
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 192251 0 0 0 179329 133 0 0 25 0 1 0 156378919 783241216 190822 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580828 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 191221 190822 123 215 0 191003 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (Kb) 764884

[startup+1796.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 22373
/proc/meminfo: memFree=712232/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=764884 CPUtime=1795.62
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 192251 0 0 0 179429 133 0 0 25 0 1 0 156378919 783241216 190822 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574138 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 191221 190822 123 215 0 191003 0
Current children cumulated CPU time (s) 1795.62
Current children cumulated vsize (Kb) 764884

[startup+1797.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 22373
/proc/meminfo: memFree=712232/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=764884 CPUtime=1796.63
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 192251 0 0 0 179530 133 0 0 25 0 1 0 156378919 783241216 190822 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574561 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 191221 190822 123 215 0 191003 0
Current children cumulated CPU time (s) 1796.63
Current children cumulated vsize (Kb) 764884

[startup+1798.14 s]
/proc/loadavg: 1.08 1.02 1.01 2/64 22373
/proc/meminfo: memFree=712232/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=764884 CPUtime=1797.63
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 192251 0 0 0 179630 133 0 0 25 0 1 0 156378919 783241216 190822 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 191221 190822 123 215 0 191003 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (Kb) 764884

[startup+1799.14 s]
/proc/loadavg: 1.08 1.02 1.01 2/64 22373
/proc/meminfo: memFree=712232/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=764884 CPUtime=1798.64
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 192251 0 0 0 179731 133 0 0 25 0 1 0 156378919 783241216 190822 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588661 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 191221 190822 123 215 0 191003 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (Kb) 764884

[startup+1800.15 s]
/proc/loadavg: 1.08 1.02 1.01 2/64 22373
/proc/meminfo: memFree=712232/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=764884 CPUtime=1799.64
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 192251 0 0 0 179831 133 0 0 25 0 1 0 156378919 783241216 190822 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 191221 190822 123 215 0 191003 0
Current children cumulated CPU time (s) 1799.64
Current children cumulated vsize (Kb) 764884

[startup+1801.15 s]
/proc/loadavg: 1.08 1.02 1.01 2/64 22373
/proc/meminfo: memFree=712232/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=764884 CPUtime=1800.65
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 192251 0 0 0 179932 133 0 0 25 0 1 0 156378919 783241216 190822 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 191221 190822 123 215 0 191003 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (Kb) 764884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.16 s]
/proc/loadavg: 1.08 1.02 1.01 2/64 22373
/proc/meminfo: memFree=712232/2055920 swapFree=4182804/4192956
[pid=22175] ppid=22173 vsize=764884 CPUtime=1800.65
/proc/22175/stat : 22175 (minisat+) R 22173 22175 22126 0 -1 4194304 192251 0 0 0 179932 133 0 0 25 0 1 0 156378919 783241216 190822 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22175/statm: 191221 190822 123 215 0 191003 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (Kb) 764884

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 10
Real time (s): 1801.3
CPU time (s): 1800.78
CPU user time (s): 1799.33
CPU system time (s): 1.44978
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (Kb): 764884
The end

Launcher Data (download as text)

Begin job on node15 on Fri Jul 28 13:59:41 UTC 2006


FILE ID= 49706-1154095181

PBS_JOBID= 885873

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node15/49706-1154095181/instance-49706-1154095181.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-49706-1154095181 -o ROOT/results/node15/solver-49706-1154095181 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node15/49706-1154095181/instance-49706-1154095181.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  0b80319f4195f1e1329c2c4b63b416b0

RANDOM SEED= 775503353

TIMEOUT= 1800 seconds


/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.227
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.227
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:       1476344 kB
Buffers:         25556 kB
Cached:         479368 kB
SwapCached:       3852 kB
Active:          55384 kB
Inactive:       458136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1476344 kB
SwapTotal:     4192956 kB
SwapFree:      4182804 kB
Dirty:             200 kB
Writeback:           0 kB
Mapped:          14512 kB
Slab:            52040 kB
Committed_AS:   719768 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node15 on Fri Jul 28 14:29:43 UTC 2006