Trace number 372771

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)28 1800.03 1800.53

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_002_area_delay.opb
MD5SUMd6135de924aeb400fc0f7d1c419e5860
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark58.7721
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables6080
Total number of constraints18113
Number of constraints which are clauses18113
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 constraint1
Maximum length of a constraint125
Number of terms in the objective function 2975
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2975
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2975
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

OK	28

Conversion Script Data (download as text)

/tmp/evaluation/372771-1177133192/instance-372771-1177133192.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node26/watcher-372771-1177133192 -o ROOT/results/node26/solver-372771-1177133192 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372771-1177133192/minisat+ /tmp/evaluation/372771-1177133192/instance-372771-1177133192.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.01 1.00 3/77 11050
/proc/meminfo: memFree=1679176/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=1048 CPUtime=0
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 103 0 0 0 0 0 0 0 19 0 1 0 161236049 1073152 88 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005778 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 262 90 67 215 0 44 0

[startup+0.0531699 s]
/proc/loadavg: 1.00 1.01 1.00 3/77 11050
/proc/meminfo: memFree=1679176/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=2136 CPUtime=0.04
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 360 0 0 0 4 0 0 0 19 0 1 0 161236049 2187264 345 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134569953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 534 345 74 215 0 316 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2136

[startup+0.101174 s]
/proc/loadavg: 1.00 1.01 1.00 3/77 11050
/proc/meminfo: memFree=1679176/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=2644 CPUtime=0.09
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 504 0 0 0 9 0 0 0 19 0 1 0 161236049 2707456 489 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 661 489 74 215 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2644

[startup+0.301191 s]
/proc/loadavg: 1.00 1.01 1.00 3/77 11050
/proc/meminfo: memFree=1679176/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=4476 CPUtime=0.29
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 937 0 0 0 29 0 0 0 21 0 1 0 161236049 4583424 922 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 1119 922 74 215 0 901 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4476

[startup+0.701228 s]
/proc/loadavg: 1.00 1.01 1.00 3/77 11050
/proc/meminfo: memFree=1679176/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=7896 CPUtime=0.68
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 1868 0 0 0 67 1 0 0 18 0 1 0 161236049 8085504 1817 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012124 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 1974 1817 104 215 0 1756 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7896

[startup+1.5013 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 11051
/proc/meminfo: memFree=1672128/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=7896 CPUtime=1.48
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 1873 0 0 0 147 1 0 0 25 0 1 0 161236049 8085504 1822 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 1974 1822 104 215 0 1756 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 7896

[startup+3.10145 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 11051
/proc/meminfo: memFree=1672000/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=8028 CPUtime=3.09
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 1902 0 0 0 307 2 0 0 25 0 1 0 161236049 8220672 1851 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012117 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 2007 1851 104 215 0 1789 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8028

[startup+6.30175 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 11051
/proc/meminfo: memFree=1665600/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=15992 CPUtime=6.29
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 4153 0 0 0 626 3 0 0 25 0 1 0 161236049 16375808 3714 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031374 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 3998 3714 123 215 0 3780 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15992

[startup+12.7013 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 11051
/proc/meminfo: memFree=1656064/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=25016 CPUtime=12.69
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 6416 0 0 0 1264 5 0 0 25 0 1 0 161236049 25616384 5977 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 6254 5977 123 215 0 6036 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25016

[startup+25.5015 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 11051
/proc/meminfo: memFree=1643456/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=37136 CPUtime=25.48
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 9460 0 0 0 2541 7 0 0 25 0 1 0 161236049 38027264 9021 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 9284 9021 123 215 0 9066 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37136

[startup+51.1019 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 11051
/proc/meminfo: memFree=1628672/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=51912 CPUtime=51.07
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 13119 0 0 0 5096 11 0 0 25 0 1 0 161236049 53157888 12680 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 12978 12680 123 215 0 12760 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 51912

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11051
/proc/meminfo: memFree=1626368/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=53996 CPUtime=102.27
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 13633 0 0 0 10214 13 0 0 25 0 1 0 161236049 55291904 13194 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 13499 13194 123 215 0 13281 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 53996

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11051
/proc/meminfo: memFree=1623296/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=56768 CPUtime=162.24
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 14685 0 0 0 16210 14 0 0 25 0 1 0 161236049 58130432 13908 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 14192 13908 123 215 0 13974 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 56768

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11051
/proc/meminfo: memFree=1623296/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=56768 CPUtime=222.23
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 14685 0 0 0 22208 15 0 0 25 0 1 0 161236049 58130432 13908 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574135 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 14192 13908 123 215 0 13974 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 56768

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11051
/proc/meminfo: memFree=1623296/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=56768 CPUtime=282.21
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 14685 0 0 0 28206 15 0 0 25 0 1 0 161236049 58130432 13908 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 14192 13908 123 215 0 13974 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 56768

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11051
/proc/meminfo: memFree=1619392/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=60824 CPUtime=342.19
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 15681 0 0 0 34203 16 0 0 25 0 1 0 161236049 62283776 14904 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134550356 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 15206 14904 123 215 0 14988 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 60824

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11051
/proc/meminfo: memFree=1619456/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=60740 CPUtime=402.18
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 15681 0 0 0 40201 17 0 0 25 0 1 0 161236049 62197760 14895 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 15185 14895 123 215 0 14967 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 60740

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11051
/proc/meminfo: memFree=1619136/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=61176 CPUtime=462.16
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 15761 0 0 0 46199 17 0 0 25 0 1 0 161236049 62644224 14975 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 15294 14975 123 215 0 15076 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 61176

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11051
/proc/meminfo: memFree=1617920/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=62096 CPUtime=522.15
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 16066 0 0 0 52196 19 0 0 25 0 1 0 161236049 63586304 15217 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 15524 15217 123 215 0 15306 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 62096

[startup+582.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 11051
/proc/meminfo: memFree=1617984/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=62096 CPUtime=582.13
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 16066 0 0 0 58193 20 0 0 25 0 1 0 161236049 63586304 15217 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 15524 15217 123 215 0 15306 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 62096

[startup+642.302 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 11051
/proc/meminfo: memFree=1617856/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=62396 CPUtime=642.12
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 16120 0 0 0 64192 20 0 0 25 0 1 0 161236049 63893504 15271 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 15599 15271 123 215 0 15381 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 62396


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 11053
/proc/meminfo: memFree=1601280/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=79232 CPUtime=882.05
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 20272 0 0 0 88179 26 0 0 25 0 1 0 161236049 81133568 19423 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 19808 19423 123 215 0 19590 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 79232

[startup+942.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 11053
/proc/meminfo: memFree=1601216/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=79444 CPUtime=942.04
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 20299 0 0 0 94177 27 0 0 25 0 1 0 161236049 81350656 19450 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 19861 19450 123 215 0 19643 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 79444

[startup+1002.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 11053
/proc/meminfo: memFree=1600768/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=79800 CPUtime=1002.01
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 20393 0 0 0 100174 27 0 0 25 0 1 0 161236049 81715200 19544 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 19950 19544 123 215 0 19732 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 79800

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11053
/proc/meminfo: memFree=1600448/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=80316 CPUtime=1062
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 20479 0 0 0 106172 28 0 0 25 0 1 0 161236049 82243584 19630 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 20079 19630 123 215 0 19861 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 80316

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11053
/proc/meminfo: memFree=1600320/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=80496 CPUtime=1121.98
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 20503 0 0 0 112170 28 0 0 25 0 1 0 161236049 82427904 19654 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 20124 19654 123 215 0 19906 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 80496

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11053
/proc/meminfo: memFree=1600256/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=80496 CPUtime=1181.97
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 20522 0 0 0 118168 29 0 0 25 0 1 0 161236049 82427904 19673 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576114 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 20124 19673 123 215 0 19906 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 80496

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11053
/proc/meminfo: memFree=1600192/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=80708 CPUtime=1241.95
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 20547 0 0 0 124166 29 0 0 25 0 1 0 161236049 82644992 19698 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 20177 19698 123 215 0 19959 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 80708

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11053
/proc/meminfo: memFree=1599744/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=81136 CPUtime=1301.94
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 20646 0 0 0 130164 30 0 0 25 0 1 0 161236049 83083264 19797 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 20284 19797 123 215 0 20066 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 81136

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11053
/proc/meminfo: memFree=1599552/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=81300 CPUtime=1361.92
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 20686 0 0 0 136162 30 0 0 25 0 1 0 161236049 83251200 19837 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 20325 19837 123 215 0 20107 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 81300

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11053
/proc/meminfo: memFree=1599424/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=81512 CPUtime=1421.91
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 20745 0 0 0 142160 31 0 0 25 0 1 0 161236049 83468288 19896 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 20378 19896 123 215 0 20160 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 81512

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11053
/proc/meminfo: memFree=1599360/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=81512 CPUtime=1481.89
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 20748 0 0 0 148157 32 0 0 25 0 1 0 161236049 83468288 19899 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 20378 19899 123 215 0 20160 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 81512

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11053
/proc/meminfo: memFree=1599232/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=81672 CPUtime=1541.87
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 20794 0 0 0 154155 32 0 0 25 0 1 0 161236049 83632128 19945 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576727 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 20418 19945 123 215 0 20200 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 81672

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11053
/proc/meminfo: memFree=1596160/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=84944 CPUtime=1601.86
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 21600 0 0 0 160152 34 0 0 25 0 1 0 161236049 86982656 20751 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 21236 20751 123 215 0 21018 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 84944

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11053
/proc/meminfo: memFree=1587968/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=93012 CPUtime=1661.84
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 23598 0 0 0 166148 36 0 0 25 0 1 0 161236049 95244288 22749 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 23253 22749 123 215 0 23035 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 93012

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11053
/proc/meminfo: memFree=1587968/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=93012 CPUtime=1721.82
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 23600 0 0 0 172145 37 0 0 25 0 1 0 161236049 95244288 22751 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 23253 22751 123 215 0 23035 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 93012

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11053
/proc/meminfo: memFree=1587968/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=93012 CPUtime=1781.8
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 23600 0 0 0 178143 37 0 0 25 0 1 0 161236049 95244288 22751 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 23253 22751 123 215 0 23035 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 93012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11053
/proc/meminfo: memFree=1588032/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=93012 CPUtime=1800.01
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 23600 0 0 0 179963 38 0 0 25 0 1 0 161236049 95244288 22751 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 23253 22751 123 215 0 23035 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 93012

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

Solver just ended. Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11053
/proc/meminfo: memFree=1588032/2055920 swapFree=4170216/4192956
[pid=11050] ppid=11048 vsize=93012 CPUtime=1800.01
/proc/11050/stat : 11050 (minisat+) R 11048 11050 10261 0 -1 4194304 23600 0 0 0 179963 38 0 0 25 0 1 0 161236049 95244288 22751 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11050/statm: 23253 22751 123 215 0 23035 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 93012

Child status: 10
Real time (s): 1800.53
CPU time (s): 1800.03
CPU user time (s): 1799.63
CPU system time (s): 0.398939
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 93012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.398939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23602
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 97
involuntary context switches= 38310

runsolver used 2.21666 second user time and 4.18736 second system time

The end

Launcher Data (download as text)

Begin job on node26 on Sat Apr 21 05:26:32 UTC 2007

IDJOB= 372771
IDBENCH= 24996
IDSOLVER= 156
FILE ID= node26/372771-1177133192

PBS_JOBID= 4648766

Free space on /tmp= 66434 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_002_area_delay.opb
COMMAND LINE= /tmp/evaluation/372771-1177133192/minisat+ /tmp/evaluation/372771-1177133192/instance-372771-1177133192.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node26/convwatcher-372771-1177133192 -o ROOT/results/node26/conversion-372771-1177133192 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372771-1177133192/instance-372771-1177133192.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node26/watcher-372771-1177133192 -o ROOT/results/node26/solver-372771-1177133192 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/372771-1177133192/minisat+ /tmp/evaluation/372771-1177133192/instance-372771-1177133192.opb            

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  d6135de924aeb400fc0f7d1c419e5860

RANDOM SEED= 282480577

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node26.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1679584 kB
Buffers:         39208 kB
Cached:         249996 kB
SwapCached:       2992 kB
Active:         140804 kB
Inactive:       171228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1679584 kB
SwapTotal:     4192956 kB
SwapFree:      4170216 kB
Dirty:            2864 kB
Writeback:           0 kB
Mapped:          30336 kB
Slab:            49964 kB
Committed_AS:  1129284 kB
PageTables:       1716 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66434 MiB

End job on node26 on Sat Apr 21 05:56:35 UTC 2007