Trace number 372575

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)27 1800.05 1800.52

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_030_area_delay.opb
MD5SUM55bd571d186b9003e67d2301a4d2bce5
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark26.8039
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables4666
Total number of constraints12693
Number of constraints which are clauses12693
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 constraint63
Number of terms in the objective function 2273
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 2273
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 2273
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.29/0.37	c Converting 12529 PB-constraints to clauses...
0.29/0.37	c   -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.29/0.38	c   -- Detecting intervals from adjacent constraints: #########
0.29/0.38	c   -- Clauses(.)/Splits(s): .............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.39/0.41	c ---[11565]---> BDD-cost:    1
0.39/0.41	c ---[10965]---> BDD-cost:    1
0.39/0.41	c ---[10660]---> BDD-cost:    1
0.39/0.41	c ---[10526]---> BDD-cost:    1
0.39/0.41	c ---[10477]---> BDD-cost:    1
0.39/0.41	c ---[10447]---> BDD-cost:    1
0.39/0.41	c ---[10430]---> BDD-cost:    1
0.39/0.41	c ---[10427]---> BDD-cost:    1
0.39/0.41	c ---[10425]---> BDD-cost:    1
0.39/0.41	c ==================================[MINISAT+]==================================
0.39/0.41	c | Conflicts | Original         | Learnt                           | Progress |
0.39/0.41	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.39/0.41	c ==============================================================================
0.39/0.41	c |         0 |   11935    29020 |    3978       0        0     nan |  0.000 % |
0.39/0.41	c ==============================================================================
0.39/0.41	c Found solution: 31
0.39/0.41	o 31
0.39/0.44	c ---[   0]---> Adder-cost: 4206   maxlim: 2078   bits: 12/12
3.39/3.43	c ==================================[MINISAT+]==================================
3.39/3.43	c | Conflicts | Original         | Learnt                           | Progress |
3.39/3.43	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
3.39/3.43	c ==============================================================================
3.39/3.43	c |         5 |   41292   133881 |   13764       5       73    14.6 |  0.000 % |
3.39/3.44	c |       105 |   41292   133881 |   15140     105      456     4.3 |  3.883 % |
3.39/3.48	c |       255 |   41276   133829 |   16654     253     1063     4.2 |  3.916 % |
3.49/3.56	c |       480 |   41276   133829 |   18319     478     1987     4.2 |  3.916 % |
3.59/3.67	c |       817 |   40996   132863 |   20151     774     3344     4.3 |  4.501 % |
3.69/3.78	c |      1325 |   40837   132324 |   22167    1248    10543     8.4 |  4.828 % |
3.99/4.01	c |      2084 |   40837   132324 |   24383    2007    24451    12.2 |  4.828 % |
4.19/4.20	c |      3223 |   40837   132324 |   26822    3146    64940    20.6 |  4.828 % |
4.59/4.60	c |      4933 |   40837   132324 |   29504    4856   157830    32.5 |  4.828 % |
5.18/5.26	c |      7498 |   40837   132324 |   32454    7421   361542    48.7 |  4.828 % |
6.19/6.30	c |     11342 |   40837   132324 |   35700   11265   711823    63.2 |  4.828 % |
8.48/8.58	c |     17108 |   40837   132324 |   39270   17031  1204126    70.7 |  4.828 % |
13.38/13.42	c |     25758 |   40837   132324 |   43197   25681  2183907    85.0 |  4.828 % |
23.69/23.77	c |     38733 |   40837   132324 |   47517   38656  4070217   105.3 |  4.828 % |
36.68/36.78	c |     58194 |   40837   132324 |   52268   25736  2313613    89.9 |  4.828 % |
61.97/62.02	c |     87388 |   40837   132324 |   57495   17706  2547755   143.9 |  4.828 % |
97.67/97.71	c |    131177 |   40837   132324 |   63245   20429  2695731   132.0 |  4.828 % |
163.25/163.34	c |    196863 |   40837   132324 |   69569   39452  4456810   113.0 |  4.828 % |
279.82/279.96	c |    295389 |   40837   132324 |   76526   28829  2636625    91.5 |  4.828 % |
438.68/438.85	c |    443179 |   40837   132324 |   84179   59885  5140566    85.8 |  4.828 % |
694.31/694.52	c ==============================================================================
694.31/694.52	c Found solution: 30
694.31/694.52	o 30
694.31/694.55	c ---[   0]---> Adder-cost: 0   maxlim: 2079   bits: 12/12
697.50/697.74	c ==================================[MINISAT+]==================================
697.50/697.74	c | Conflicts | Original         | Learnt                           | Progress |
697.50/697.74	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
697.50/697.74	c ==============================================================================
697.50/697.74	c |    610826 |   40509   131148 |   13503   34953  4455771   127.5 |  4.828 % |
697.80/698.01	c |    610927 |   40289   130388 |   14853    8813   758158    86.0 |  5.930 % |
697.80/698.06	c |    611077 |   40289   130388 |   16338    8963   763551    85.2 |  5.930 % |
697.90/698.13	c |    611303 |   40289   130388 |   17972    9189   788816    85.8 |  5.930 % |
698.00/698.23	c |    611640 |   40289   130388 |   19769    9526   818577    85.9 |  5.930 % |
698.21/698.40	c |    612147 |   40289   130388 |   21746   10033   863108    86.0 |  5.930 % |
698.41/698.62	c |    612909 |   40289   130388 |   23921   10795   943618    87.4 |  5.930 % |
698.71/699.00	c |    614050 |   40289   130388 |   26313   11936  1099355    92.1 |  5.930 % |
699.41/699.67	c |    615760 |   40289   130388 |   28944   13646  1282129    94.0 |  5.930 % |
700.41/700.70	c |    618325 |   40289   130388 |   31839   16211  1540613    95.0 |  5.930 % |
702.61/702.89	c |    622169 |   40289   130388 |   35023   20055  1929450    96.2 |  5.930 % |
706.20/706.46	c |    627935 |   40289   130388 |   38525   25821  2654819   102.8 |  5.930 % |
714.31/714.53	c |    636584 |   40289   130388 |   42378   34470  3598865   104.4 |  5.930 % |
727.11/727.38	c |    649558 |   40289   130388 |   46616   20505  1815534    88.5 |  5.930 % |
739.30/739.57	c ==============================================================================
739.30/739.57	c Found solution: 29
739.30/739.57	o 29
739.30/739.60	c ---[   0]---> Adder-cost: 0   maxlim: 2080   bits: 12/12
742.50/742.73	c ==================================[MINISAT+]==================================
742.50/742.73	c | Conflicts | Original         | Learnt                           | Progress |
742.50/742.73	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
742.50/742.73	c ==============================================================================
742.50/742.73	c |    664782 |   40290   130394 |   13430   35729  3564194    99.8 |  5.930 % |
742.70/742.99	c |    664882 |   40290   130394 |   14773    8593   607166    70.7 |  5.941 % |
742.80/743.06	c |    665033 |   40290   130394 |   16250    8744   610035    69.8 |  5.941 % |
742.90/743.14	c |    665259 |   40290   130394 |   17875    8970   623643    69.5 |  5.941 % |
743.00/743.24	c |    665597 |   40290   130394 |   19662    9308   653799    70.2 |  5.941 % |
743.10/743.37	c |    666104 |   40290   130394 |   21629    9815   693136    70.6 |  5.941 % |
743.41/743.63	c |    666867 |   40290   130394 |   23792   10578   770506    72.8 |  5.941 % |
743.70/743.95	c |    668010 |   40290   130394 |   26171   11721   870779    74.3 |  5.941 % |
744.30/744.57	c |    669718 |   40290   130394 |   28788   13429  1027472    76.5 |  5.941 % |
745.30/745.54	c |    672282 |   40290   130394 |   31667   15993  1318797    82.5 |  5.941 % |
747.30/747.52	c |    676131 |   40290   130394 |   34833   19842  1776361    89.5 |  5.941 % |
750.70/750.90	c |    681897 |   40290   130394 |   38317   25608  2514239    98.2 |  5.941 % |
758.70/758.93	c |    690551 |   40290   130394 |   42149   34262  3454212   100.8 |  5.941 % |
772.39/772.68	c |    703525 |   40290   130394 |   46364   20807  1989165    95.6 |  5.941 % |
785.19/785.48	c |    722987 |   40290   130394 |   51000   40269  4327539   107.5 |  5.941 % |
812.08/812.37	c |    752180 |   40290   130394 |   56100   38299  3969453   103.6 |  5.941 % |
863.37/863.66	c |    795971 |   40290   130394 |   61710   43916  4422908   100.7 |  5.941 % |
947.54/947.87	c |    861657 |   40290   130394 |   67881   26209  2384527    91.0 |  5.941 % |
978.34/978.67	c ==============================================================================
978.34/978.67	c Found solution: 28
978.34/978.67	o 28
978.44/978.70	c ---[   0]---> Adder-cost: 0   maxlim: 2081   bits: 12/12
981.73/982.04	c ==================================[MINISAT+]==================================
981.73/982.04	c | Conflicts | Original         | Learnt                           | Progress |
981.73/982.04	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
981.73/982.04	c ==============================================================================
981.73/982.04	c |    890939 |   40291   130399 |   13430   55491  5521882    99.5 |  5.941 % |
982.13/982.44	c |    891039 |   40291   130399 |   14773   10322   731423    70.9 |  5.951 % |
982.23/982.52	c |    891189 |   40291   130399 |   16250   10472   743594    71.0 |  5.951 % |
982.33/982.63	c |    891414 |   40291   130399 |   17875   10697   761359    71.2 |  5.951 % |
982.43/982.78	c |    891751 |   40291   130399 |   19662   11034   790053    71.6 |  5.951 % |
982.63/982.99	c |    892259 |   40291   130399 |   21629   11542   841092    72.9 |  5.951 % |
983.04/983.39	c |    893018 |   40291   130399 |   23792   12301   910498    74.0 |  5.951 % |
983.63/983.96	c |    894159 |   40291   130399 |   26171   13442   998646    74.3 |  5.951 % |
984.53/984.85	c |    895867 |   40291   130399 |   28788   15150  1154998    76.2 |  5.951 % |
986.34/986.63	c |    898429 |   40291   130399 |   31667   17712  1399855    79.0 |  5.951 % |
988.93/989.23	c |    902273 |   40291   130399 |   34833   21556  1826033    84.7 |  5.951 % |
994.23/994.60	c |    908042 |   40291   130399 |   38317   27325  2464240    90.2 |  5.951 % |
1002.43/1002.79	c |    916692 |   40291   130399 |   42149   35975  3431042    95.4 |  5.951 % |
1014.63/1014.96	c |    929668 |   40291   130399 |   46364   24131  2235895    92.7 |  5.951 % |
1038.32/1038.65	c |    949130 |   40291   130399 |   51000   43593  4339483    99.5 |  5.951 % |
1069.61/1069.90	c |    978322 |   40291   130399 |   56100   39818  3915151    98.3 |  5.951 % |
1114.30/1114.66	c |   1022115 |   40291   130399 |   61710   46846  4962098   105.9 |  5.951 % |
1192.58/1192.94	c |   1087801 |   40291   130399 |   67881   29829  2474224    82.9 |  5.951 % |
1253.66/1254.02	c ==============================================================================
1253.66/1254.02	c Found solution: 27
1253.66/1254.02	o 27
1253.66/1254.05	c ---[   0]---> Adder-cost: 0   maxlim: 2082   bits: 12/12
1256.86/1257.24	c ==================================[MINISAT+]==================================
1256.86/1257.24	c | Conflicts | Original         | Learnt                           | Progress |
1256.86/1257.24	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1256.86/1257.24	c ==============================================================================
1256.86/1257.24	c |   1139830 |   40292   130405 |   13430   33240  3074803    92.5 |  5.951 % |
1257.06/1257.46	c |   1139932 |   40292   130405 |   14773    8412   556706    66.2 |  5.962 % |
1257.16/1257.51	c |   1140086 |   40292   130405 |   16250    8566   568622    66.4 |  5.962 % |
1257.16/1257.58	c |   1140313 |   40292   130405 |   17875    8793   591736    67.3 |  5.962 % |
1257.26/1257.68	c |   1140651 |   40292   130405 |   19662    9131   624833    68.4 |  5.962 % |
1257.46/1257.83	c |   1141160 |   40292   130405 |   21629    9640   672828    69.8 |  5.962 % |
1257.66/1258.05	c |   1141919 |   40292   130405 |   23792   10399   740900    71.2 |  5.962 % |
1258.06/1258.45	c |   1143058 |   40292   130405 |   26171   11538   846463    73.4 |  5.962 % |
1258.76/1259.10	c |   1144766 |   40292   130405 |   28788   13246  1028761    77.7 |  5.962 % |
1259.76/1260.19	c |   1147328 |   40292   130405 |   31667   15808  1286044    81.4 |  5.962 % |
1261.96/1262.33	c |   1151173 |   40292   130405 |   34833   19653  1741502    88.6 |  5.962 % |
1265.26/1265.68	c |   1156940 |   40292   130405 |   38317   25420  2375801    93.5 |  5.962 % |
1272.85/1273.26	c |   1165592 |   40292   130405 |   42149   34072  3295722    96.7 |  5.962 % |
1284.15/1284.55	c |   1178567 |   40292   130405 |   46364   19641  1721116    87.6 |  5.962 % |
1299.56/1299.99	c |   1198029 |   40292   130405 |   51000   39103  3727449    95.3 |  5.962 % |
1329.75/1330.19	c |   1227223 |   40292   130405 |   56100   32318  2904189    89.9 |  5.962 % |
1370.54/1370.91	c |   1271012 |   40292   130405 |   61710   35425  3355213    94.7 |  5.962 % |
1442.52/1442.99	c |   1336700 |   40292   130405 |   67881   54471  6068435   111.4 |  5.962 % |
1568.08/1568.50	c |   1435229 |   40292   130405 |   74669   51813  5115779    98.7 |  5.962 % |
1765.73/1766.21	c |   1583018 |   40292   130405 |   82136   31378  2848790    90.8 |  5.962 % |
1800.03/1800.50	c 
1800.03/1800.50	c *** TERMINATED ***
1800.03/1800.50	s SATISFIABLE
1800.03/1800.50	v -x189 -x191 -x193 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229
1800.03/1800.50	v -x231 -x233 x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 x265 -x267 -x269 -x271
1800.03/1800.50	v -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313
1800.03/1800.50	v -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355
1800.03/1800.50	v -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397
1800.03/1800.50	v -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439
1800.03/1800.50	v -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481
1800.03/1800.50	v -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523
1800.03/1800.50	v -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565
1800.03/1800.50	v -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607
1800.03/1800.50	v -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649
1800.03/1800.50	v -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691
1800.03/1800.50	v -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733
1800.03/1800.50	v -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775
1800.03/1800.50	v -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 x813 -x815 -x817
1800.03/1800.50	v -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859
1800.03/1800.50	v -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901
1800.03/1800.50	v -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943
1800.03/1800.50	v -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985
1800.03/1800.50	v -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021
1800.03/1800.50	v -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055
1800.03/1800.50	v -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089
1800.03/1800.50	v -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123
1800.03/1800.50	v -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1156
1800.03/1800.50	v -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190
1800.03/1800.50	v -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224
1800.03/1800.50	v -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258
1800.03/1800.50	v -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292
1800.03/1800.50	v -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326
1800.03/1800.50	v -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359
1800.03/1800.50	v -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1386 -x1388 -x1390 -x1392
1800.03/1800.50	v -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426
1800.03/1800.50	v -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460
1800.03/1800.50	v -x1462 -x1464 -x1466 -x1468 x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494
1800.03/1800.50	v -x1496 -x1498 x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528
1800.03/1800.50	v -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562
1800.03/1800.50	v -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596
1800.03/1800.50	v -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630
1800.03/1800.50	v -x1632 -x1634 -x1636 -x1638 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663
1800.03/1800.50	v -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697
1800.03/1800.50	v -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731
1800.03/1800.50	v -x1733 -x1735 -x1737 -x1739 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764
1800.03/1800.50	v -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798
1800.03/1800.50	v -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832
1800.03/1800.50	v -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866
1800.03/1800.50	v -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900
1800.03/1800.50	v -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 x1930 -x1932 -x1934
1800.03/1800.50	v -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968
1800.03/1800.50	v -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1993 -x1995 -x1997 -x1999 -x2001
1800.03/1800.50	v -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035
1800.03/1800.50	v -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069
1800.03/1800.50	v -x2071 -x2073 -x2075 -x2077 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102
1800.03/1800.50	v -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136
1800.03/1800.50	v -x2138 -x2140 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168
1800.03/1800.50	v -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202
1800.03/1800.50	v -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236
1800.03/1800.50	v -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270
1800.03/1800.50	v -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304
1800.03/1800.50	v -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2334 -x2336
1800.03/1800.50	v -x2338 -x2340 -x2342 -x2344 -x2346 x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370
1800.03/1800.50	v -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403
1800.03/1800.50	v -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437
1800.03/1800.50	v -x2439 -x2441 -x2443 -x2445 x2447 -x2449 -x2451 -x2453 -x2455 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470
1800.03/1800.50	v -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2497 -x2499 -x2501 -x2503
1800.03/1800.50	v -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537
1800.03/1800.50	v -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571
1800.03/1800.50	v -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2598 -x2600 -x2602 -x2604
1800.03/1800.50	v -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638
1800.03/1800.50	v -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2665 -x2667 -x2669 -x2671
1800.03/1800.50	v -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705
1800.03/1800.50	v -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739
1800.03/1800.50	v -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2764 -x2766 -x2768 -x2770 -x2772
1800.03/1800.50	v x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806
1800.03/1800.50	v -x2808 -x2810 -x2812 -x2814 x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839
1800.03/1800.50	v -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872
1800.03/1800.50	v -x2874 -x2876 x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906
1800.03/1800.50	v -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940
1800.03/1800.50	v -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973
1800.03/1800.50	v -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007
1800.03/1800.50	v -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041
1800.03/1800.50	v -x3043 -x3045 -x3047 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074
1800.03/1800.50	v -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108
1800.03/1800.50	v -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142
1800.03/1800.50	v -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175
1800.03/1800.50	v -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209
1800.03/1800.50	v -x3211 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241
1800.03/1800.50	v -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3266 -x3268 -x3270 -x3272 -x3274
1800.03/1800.50	v -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308
1800.03/1800.50	v -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342
1800.03/1800.50	v -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3374
1800.03/1800.50	v -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407
1800.03/1800.50	v -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440
1800.03/1800.50	v -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473
1800.03/1800.50	v -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506
1800.03/1800.50	v -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3537 -x3539
1800.03/1800.50	v -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572
1800.03/1800.50	v -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 x3603 -x3605
1800.03/1800.50	v -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639
1800.03/1800.50	v -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673
1800.03/1800.50	v -x3675 -x3677 -x3679 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706
1800.03/1800.50	v -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740
1800.03/1800.50	v -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774
1800.03/1800.50	v -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3803 -x3805 -x3807
1800.03/1800.50	v -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841
1800.03/1800.50	v -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875
1800.03/1800.50	v -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909
1800.03/1800.50	v -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943
1800.03/1800.50	v -x3945 -x3947 -x3949 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975
1800.03/1800.50	v -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4000 -x4002 -x4004 -x4006 -x4008
1800.03/1800.50	v -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4034 -x4036 -x4038 -x4040
1800.03/1800.50	v -x4042 -x4044 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073
1800.03/1800.50	v -x4075 -x4077 -x4079 -x4081 x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107
1800.03/1800.50	v -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4122 -x4124 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139
1800.03/1800.50	v -x4141 -x4142 -x4144 -x4146 x4148 -x4150 -x4152 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171
1800.03/1800.50	v -x4173 -x4175 -x4177 -x4178 -x4180 -x4182 -x4184 -x4186 x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204
1800.03/1800.50	v -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238
1800.03/1800.50	v -x4240 -x4242 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271
1800.03/1800.50	v -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304
1800.03/1800.50	v -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337
1800.03/1800.50	v -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367 -x4369 -x4371
1800.03/1800.50	v -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405
1800.03/1800.50	v -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439
1800.03/1800.50	v -x4441 -x4442 -x4444 -x4446 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x4460 -x4462 -x4464 -x4466 -x4468 -x4470
1800.03/1800.50	v -x4472 -x4474 -x4476 -x4478 -x4480 x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4498 -x4500 -x4502
1800.03/1800.50	v -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x4529 -x4531 -x4533 -x4535
1800.03/1800.50	v -x4537 -x4539 -x4541 -x4543 -x4545 -x4546 -x4548 -x4550 -x4552 -x4554 x4556 -x4558 -x4559 -x4560 -x4562 -x4564 -x4566
1800.03/1800.50	v -x4568 -x4570 -x4572 -x4574 -x4576 x4578 -x4579 -x4581 -x4583 -x4584 -x4586 x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600
1800.03/1800.50	v -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633
1800.03/1800.50	v -x4635 -x4636 -x4638 -x4640 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 x4660 x4662 -x4664 x4665
1800.03/1800.50	v x4666 -x188 -x190 -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226
1800.03/1800.50	v -x228 -x230 -x232 x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x1 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266
1800.03/1800.50	v -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 x298 -x300 -x302 -x304 -x306 -x308
1800.03/1800.50	v -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350
1800.03/1800.50	v -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392
1800.03/1800.50	v -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x2 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432
1800.03/1800.50	v -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x3 -x470 -x472
1800.03/1800.50	v -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514
1800.03/1800.50	v -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x4 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554
1800.03/1800.50	v -x556 -x558 -x560 -x5 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594
1800.03/1800.50	v -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x6 -x624 -x626 -x628 -x630 -x632 -x634
1800.03/1800.50	v -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x7 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674
1800.03/1800.50	v -x676 -x678 -x680 -x682 -x8 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714
1800.03/1800.50	v -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756
1800.03/1800.50	v -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798
1800.03/1800.50	v -x800 -x802 -x804 -x806 -x808 -x810 x812 -x814 -x816 -x818 -x820 -x822 -x9 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838
1800.03/1800.50	v -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880
1800.03/1800.50	v -x882 -x884 -x10 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920
1800.03/1800.50	v -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x11 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960
1800.03/1800.50	v -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x12 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000
1800.03/1800.50	v -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034
1800.03/1800.50	v -x1036 -x13 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x14
1800.03/1800.50	v -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x15 -x1098 -x1100
1800.03/1800.50	v -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x16 -x1128 -x1130 -x1132 -x1134
1800.03/1800.50	v -x1136 -x1138 -x1140 -x17 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169
1800.03/1800.50	v -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x18 -x1203
1800.03/1800.50	v -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x19 -x1233 -x1235 -x1237
1800.03/1800.50	v -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271
1800.03/1800.50	v -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x20 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305
1800.03/1800.50	v -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x21 -x1325 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340
1800.03/1800.50	v -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x22 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x23 -x1368 -x1370 -x1372
1800.03/1800.50	v -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1387 -x1389 -x1391 -x1393 -x1395 -x24 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407
1800.03/1800.50	v -x1409 -x25 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x26
1800.03/1800.50	v -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x27 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 x28 x1469 -x1471
1800.03/1800.50	v -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 x1499 -x1501 -x1503 -x1505
1800.03/1800.50	v -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x29 -x1537 -x1539
1800.03/1800.50	v -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x30 -x1567 -x1569 -x1571 -x1573
1800.03/1800.50	v -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x31 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607
1800.03/1800.50	v -x1609 -x32 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x33 -x1640
1800.03/1800.50	v -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x34 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x35 -x1668 -x1670 -x1672
1800.03/1800.50	v -x36 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x37 -x1704
1800.03/1800.50	v -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x38 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738
1800.03/1800.50	v -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773
1800.03/1800.50	v -x1775 -x1777 -x39 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807
1800.03/1800.50	v -x40 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x41 -x1839
1800.03/1800.50	v -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x42 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873
1800.03/1800.50	v -x1875 -x1877 -x1879 -x1881 -x43 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x44 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905
1800.03/1800.50	v -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 x45 -x1925 -x1927 x1929 -x1931 -x1933 -x1935 -x1937 -x46
1800.03/1800.50	v -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 x1951 x47 -x1953 -x1955 -x1957 -x48 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969
1800.03/1800.50	v -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004
1800.03/1800.50	v -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x49 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038
1800.03/1800.50	v -x2040 -x2042 -x2044 -x2046 -x2048 -x50 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072
1800.03/1800.50	v -x2074 -x2076 -x51 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x52 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105
1800.03/1800.50	v -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x53 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x54 -x2137
1800.03/1800.50	v -x2139 -x2142 -x2144 -x2146 -x2148 -x55 -x2150 -x2152 -x2154 -x2156 -x2159 -x2161 -x56 -x2163 -x2165 -x2167 -x57 -x2169
1800.03/1800.50	v -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x58 -x2199 -x2201 -x2203
1800.03/1800.50	v -x2205 -x2207 -x2209 -x2211 -x59 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237
1800.03/1800.50	v -x2239 -x2241 -x60 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x61 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269
1800.03/1800.50	v -x62 -x2271 -x2273 -x2275 -x63 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x64 -x2291 -x2293 -x2295 -x2297 -x2299
1800.03/1800.50	v -x2301 -x2303 -x65 -x2305 -x2307 -x2309 -x66 -x2311 -x2313 -x2315 -x2317 -x2320 -x2322 -x67 -x2324 -x2326 -x2328 -x68 -x2330
1800.03/1800.50	v -x2332 -x69 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365
1800.03/1800.50	v -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2390 -x2392 -x2394 -x2396 -x70 -x2398 -x2400
1800.03/1800.50	v -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434
1800.03/1800.50	v -x2436 -x2438 -x2440 -x2442 -x2444 x2446 -x2448 -x2450 -x2452 -x2454 -x71 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469
1800.03/1800.50	v -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x72 -x2487 -x2489 -x2491 -x2493 -x2495 -x2498 -x73 -x2500 -x2502
1800.03/1800.50	v -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536
1800.03/1800.50	v -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x74 -x2562 -x2564 -x2566 -x2568 -x2570
1800.03/1800.50	v -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x75 -x2592 -x2594 -x2596 -x2599 -x2601 -x2603 -x2605
1800.03/1800.50	v -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x76 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639
1800.03/1800.50	v -x2641 -x2643 -x2645 -x2647 -x2649 -x77 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x78 -x2666 -x2668 -x2670 -x2672
1800.03/1800.50	v -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706
1800.03/1800.50	v -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x79 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740
1800.03/1800.50	v -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x80 -x2756 -x2758 -x2760 -x2762 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775
1800.03/1800.50	v -x2777 -x2779 -x2781 -x2783 -x81 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809
1800.03/1800.50	v -x2811 -x2813 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x82 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844
1800.03/1800.50	v -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x83 -x2858 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 x2877 -x2879
1800.03/1800.50	v -x2881 -x2883 -x84 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x85 -x2899 -x2901 -x2903 -x86 -x2905 -x2907 -x2909
1800.03/1800.50	v -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x87 -x2935 -x2937 -x2939 -x2941 -x2943
1800.03/1800.50	v -x2945 -x2947 -x88 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978
1800.03/1800.50	v -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x89 -x3010 -x3012
1800.03/1800.50	v -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x90 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046
1800.03/1800.50	v -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x91 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x92 -x3079
1800.03/1800.50	v -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x93 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113
1800.03/1800.50	v -x3115 -x3117 -x3119 -x3121 -x94 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x95 -x3137 -x3139 -x3141 -x3143 -x3145
1800.03/1800.50	v -x3147 -x3149 -x96 -x3151 -x3153 -x3155 -x97 -x3157 -x3159 -x3161 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178
1800.03/1800.50	v -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3213
1800.03/1800.50	v -x3215 -x98 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x99 -x3246
1800.03/1800.50	v -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3267 -x3269 -x3271 -x3273 -x100 -x3275 -x3277 -x3279
1800.03/1800.50	v -x3281 -x3283 -x3285 -x3287 -x101 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311
1800.03/1800.50	v -x3313 -x3315 -x3317 -x102 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x103 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343
1800.03/1800.50	v -x3345 -x104 -x3347 -x3349 -x3351 -x3353 -x3355 -x3358 -x105 -x3360 -x3362 -x3364 -x106 -x3366 -x3368 -x3370 -x3372 -x3375
1800.03/1800.50	v -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x107 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408
1800.03/1800.50	v -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x108 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x109 -x3437 -x3439 -x3441
1800.03/1800.50	v -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3464 -x110 -x3466 -x3468 -x3470 -x3472 -x3474
1800.03/1800.50	v -x3476 -x3478 -x3480 -x3482 -x3484 -x3487 -x3489 -x3491 -x111 -x3493 -x3495 -x112 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507
1800.03/1800.50	v -x3509 -x113 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x114 -x3525 -x3527 -x3529 -x115 -x3531 -x3533 -x3535 -x3538
1800.03/1800.50	v -x3540 -x3542 -x116 -x3544 -x3546 -x3548 -x117 -x3550 -x3552 -x118 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569
1800.03/1800.50	v -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3604
1800.03/1800.50	v -x3606 -x3608 -x3610 -x3612 -x3614 -x119 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636
1800.03/1800.50	v -x3638 -x3640 -x3642 -x3644 -x120 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668
1800.03/1800.50	v -x3670 -x3672 -x3674 -x121 -x3676 -x3678 -x3681 -x3683 -x3685 -x3687 -x122 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701
1800.03/1800.50	v -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x123 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733
1800.03/1800.50	v -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x124 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x125 -x3763 -x3765
1800.03/1800.50	v -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x126 -x3793 -x3795 -x3797
1800.03/1800.50	v -x3799 -x3801 -x3804 -x127 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830
1800.03/1800.50	v -x3832 -x3834 -x128 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x129 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862
1800.03/1800.50	v -x130 -x3864 -x3866 -x3868 -x131 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894
1800.03/1800.50	v -x3896 -x3898 -x132 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x133 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926
1800.03/1800.50	v -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x134 -x3944 -x3946 -x3948 -x3951 -x3953 -x3955 -x135 -x3957 -x3959
1800.03/1800.50	v -x3961 -x3963 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x136 -x3986 -x3988 -x3990 -x3992
1800.03/1800.50	v -x3994 -x3996 -x3998 -x137 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x138 -x4013 -x4015 -x4017 -x139 -x4019 -x4022 -x4024
1800.03/1800.50	v -x4026 -x4028 -x4030 -x4032 -x4035 -x4037 -x4039 -x4041 -x4043 -x140 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058
1800.03/1800.50	v -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 x4082 -x4084 -x4086 -x4088 -x141 -x4090 -x4092
1800.03/1800.50	v -x4094 -x4096 -x4098 -x4100 -x4102 -x142 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x143 -x4118 -x4120 -x144 -x4123
1800.03/1800.50	v -x4126 -x4128 -x4130 -x4132 -x4134 -x145 -x4136 -x4138 -x4140 -x4143 -x4145 x4147 -x4149 -x4151 -x146 -x4154 -x4156 -x4158
1800.03/1800.50	v -x4160 -x4162 -x4164 -x4166 -x147 -x4168 -x4170 -x4172 -x148 -x4174 -x4176 -x149 -x4179 -x4181 -x4183 -x4185 x4187 -x4189
1800.03/1800.50	v -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x150 -x4211 -x4213 -x4215 -x4217 -x4219 -x4221
1800.03/1800.50	v -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x151 -x4241 -x4244 -x4246 -x4248 -x4250 -x4252 -x152 -x4254
1800.03/1800.50	v -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x153 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4287
1800.03/1800.50	v -x4289 -x4291 -x4293 -x4295 -x154 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x155 -x4311 -x4313 -x4315 -x4318 -x4320
1800.03/1800.50	v -x4322 -x156 -x4324 -x4326 -x4328 -x157 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 x4350 -x4352
1800.03/1800.50	v -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4372 -x158 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384
1800.03/1800.50	v -x159 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x160 -x4400 -x4402 -x4404 -x161 -x4406 -x4408 -x4410 -x4412 -x4414
1800.03/1800.50	v -x4416 -x4418 -x162 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x163 -x4434 -x4436 -x164 -x4438 -x4440 -x4443 -x4445
1800.03/1800.50	v -x4448 -x165 -x4450 -x4452 -x4454 -x166 -x4456 -x4458 -x167 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477
1800.03/1800.50	v -x4479 -x4482 -x4484 -x4486 -x4488 -x4490 -x168 -x4492 -x4494 -x4496 -x4499 -x4501 -x4503 -x169 -x4505 -x4507 -x4509 -x4511
1800.03/1800.50	v -x4513 -x4515 -x4517 -x170 -x4519 -x4521 -x4523 -x4525 -x4527 -x4530 -x171 -x4532 -x4534 -x4536 -x172 -x4538 -x4540 -x4542
1800.03/1800.50	v -x4544 -x4547 -x4549 -x173 -x4551 -x4553 x4555 -x4557 -x4561 -x4563 -x4565 -x4567 -x174 -x4569 -x4571 -x4573 -x4575 x4577
1800.03/1800.50	v -x175 -x4580 -x4582 -x4585 x4587 -x4589 -x4591 -x4593 -x176 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x177 -x4609
1800.03/1800.50	v -x4611 -x4613 -x178 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x179 -x4628 -x4630 -x180 -x4632 -x4634 -x181 -x4637 -x182
1800.03/1800.50	v -x4639 -x4642 -x4644 -x4646 -x4648 -x183 -x4650 -x4652 -x4654 -x184 -x4656 -x4658 x185 x4661 -x4663 x186 x187

Verifier Data (download as text)

OK	27

Conversion Script Data (download as text)

/tmp/evaluation/372575-1177107572/instance-372575-1177107572.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/node65/watcher-372575-1177107572 -o ROOT/results/node65/solver-372575-1177107572 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372575-1177107572/minisat+ /tmp/evaluation/372575-1177107572/instance-372575-1177107572.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.04 1.01 1.00 3/64 22254
/proc/meminfo: memFree=1821896/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=1352 CPUtime=0
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 186746854 1384448 172 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 338 172 67 215 0 120 0

[startup+0.0627899 s]
/proc/loadavg: 1.04 1.01 1.00 3/64 22254
/proc/meminfo: memFree=1821896/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=2240 CPUtime=0.06
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 395 0 0 0 6 0 0 0 18 0 1 0 186746854 2293760 380 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 560 380 74 215 0 342 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2240

[startup+0.101793 s]
/proc/loadavg: 1.04 1.01 1.00 3/64 22254
/proc/meminfo: memFree=1821896/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=2536 CPUtime=0.09
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 465 0 0 0 9 0 0 0 18 0 1 0 186746854 2596864 450 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 634 450 74 215 0 416 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2536

[startup+0.301809 s]
/proc/loadavg: 1.04 1.01 1.00 3/64 22254
/proc/meminfo: memFree=1821896/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=4240 CPUtime=0.29
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 892 0 0 0 29 0 0 0 19 0 1 0 186746854 4341760 877 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 1060 877 74 215 0 842 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4240

[startup+0.701843 s]
/proc/loadavg: 1.04 1.01 1.00 3/64 22254
/proc/meminfo: memFree=1821896/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=6224 CPUtime=0.69
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 1395 0 0 0 67 2 0 0 19 0 1 0 186746854 6373376 1380 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 1556 1380 104 215 0 1338 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6224

[startup+1.50191 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 22255
/proc/meminfo: memFree=1816704/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=6224 CPUtime=1.49
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 1395 0 0 0 147 2 0 0 25 0 1 0 186746854 6373376 1380 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134648433 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 1556 1380 104 215 0 1338 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6224

[startup+3.10104 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 22255
/proc/meminfo: memFree=1816384/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=6588 CPUtime=3.09
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 1484 0 0 0 307 2 0 0 25 0 1 0 186746854 6746112 1469 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134809823 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 1647 1469 104 215 0 1429 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6588

[startup+6.30231 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 22255
/proc/meminfo: memFree=1808704/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=16108 CPUtime=6.29
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 4027 0 0 0 626 3 0 0 25 0 1 0 186746854 16494592 3675 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 4027 3675 123 215 0 3809 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16108

[startup+12.7018 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 22255
/proc/meminfo: memFree=1801920/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=22148 CPUtime=12.68
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 5525 0 0 0 1264 4 0 0 25 0 1 0 186746854 22679552 5173 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580372 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 5537 5173 123 215 0 5319 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22148

[startup+25.5019 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 22255
/proc/meminfo: memFree=1791680/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=31928 CPUtime=25.48
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 7958 0 0 0 2542 6 0 0 25 0 1 0 186746854 32694272 7606 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 7982 7606 123 215 0 7764 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31928

[startup+51.101 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 22255
/proc/meminfo: memFree=1787456/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=36612 CPUtime=51.08
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 9122 0 0 0 5100 8 0 0 25 0 1 0 186746854 37490688 8770 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 9153 8770 123 215 0 8935 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 36612

[startup+102.305 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 22255
/proc/meminfo: memFree=1771584/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=51856 CPUtime=102.27
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 12959 0 0 0 10216 11 0 0 25 0 1 0 186746854 53100544 12607 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134584053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 12964 12607 123 215 0 12746 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 51856

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22255
/proc/meminfo: memFree=1771520/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=51976 CPUtime=162.25
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 12964 0 0 0 16214 11 0 0 25 0 1 0 186746854 53223424 12612 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 12994 12612 123 215 0 12776 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 51976

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22255
/proc/meminfo: memFree=1771520/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=51976 CPUtime=222.24
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 12971 0 0 0 22213 11 0 0 25 0 1 0 186746854 53223424 12619 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 12994 12619 123 215 0 12776 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 51976

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22255
/proc/meminfo: memFree=1771392/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=52120 CPUtime=282.22
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 12988 0 0 0 28211 11 0 0 25 0 1 0 186746854 53370880 12636 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 13030 12636 123 215 0 12812 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 52120

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22255
/proc/meminfo: memFree=1771392/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=52120 CPUtime=342.2
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 13006 0 0 0 34209 11 0 0 25 0 1 0 186746854 53370880 12654 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 13030 12654 123 215 0 12812 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 52120

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22255
/proc/meminfo: memFree=1770560/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=52952 CPUtime=402.18
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 13194 0 0 0 40207 11 0 0 25 0 1 0 186746854 54222848 12842 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 13238 12842 123 215 0 13020 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 52952

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22255
/proc/meminfo: memFree=1769472/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=54284 CPUtime=462.17
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 13521 0 0 0 46206 11 0 0 25 0 1 0 186746854 55586816 13169 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 13571 13169 123 215 0 13353 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 54284

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22255
/proc/meminfo: memFree=1764736/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=58800 CPUtime=522.15
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 14647 0 0 0 52203 12 0 0 25 0 1 0 186746854 60211200 14295 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 14700 14295 123 215 0 14482 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 58800

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22255
/proc/meminfo: memFree=1751296/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=72416 CPUtime=582.13
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18026 0 0 0 58198 15 0 0 25 0 1 0 186746854 74153984 17674 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 18104 17674 123 215 0 17886 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 72416

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22255
/proc/meminfo: memFree=1750400/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=73336 CPUtime=642.13
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18240 0 0 0 64197 16 0 0 25 0 1 0 186746854 75096064 17888 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 18334 17888 123 215 0 18116 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 73336


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22255
/proc/meminfo: memFree=1750208/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=73480 CPUtime=882.06
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18278 0 0 0 88189 17 0 0 25 0 1 0 186746854 75243520 17926 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 18370 17926 123 215 0 18152 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 73480

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22255
/proc/meminfo: memFree=1750208/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=73480 CPUtime=942.04
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18278 0 0 0 94187 17 0 0 25 0 1 0 186746854 75243520 17926 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 18370 17926 123 215 0 18152 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 73480

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22255
/proc/meminfo: memFree=1750144/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=73480 CPUtime=1002.03
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18278 0 0 0 100186 17 0 0 25 0 1 0 186746854 75243520 17926 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 18370 17926 123 215 0 18152 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 73480

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22255
/proc/meminfo: memFree=1750144/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=73480 CPUtime=1062.01
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18279 0 0 0 106184 17 0 0 25 0 1 0 186746854 75243520 17927 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 18370 17927 123 215 0 18152 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 73480

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22255
/proc/meminfo: memFree=1750208/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=73480 CPUtime=1122
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18279 0 0 0 112183 17 0 0 25 0 1 0 186746854 75243520 17927 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 18370 17927 123 215 0 18152 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 73480

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22255
/proc/meminfo: memFree=1750144/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=73480 CPUtime=1181.98
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18282 0 0 0 118181 17 0 0 25 0 1 0 186746854 75243520 17930 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 18370 17930 123 215 0 18152 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 73480

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22257
/proc/meminfo: memFree=1750144/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=73480 CPUtime=1241.96
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18282 0 0 0 124179 17 0 0 25 0 1 0 186746854 75243520 17930 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 18370 17930 123 215 0 18152 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 73480

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22257
/proc/meminfo: memFree=1750080/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=73480 CPUtime=1301.96
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18282 0 0 0 130178 18 0 0 25 0 1 0 186746854 75243520 17930 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 18370 17930 123 215 0 18152 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 73480

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22257
/proc/meminfo: memFree=1750080/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=73480 CPUtime=1361.94
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18282 0 0 0 136176 18 0 0 25 0 1 0 186746854 75243520 17930 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 18370 17930 123 215 0 18152 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 73480

[startup+1422.31 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 22257
/proc/meminfo: memFree=1750080/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=73480 CPUtime=1421.93
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18284 0 0 0 142175 18 0 0 25 0 1 0 186746854 75243520 17932 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 18370 17932 123 215 0 18152 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 73480

[startup+1482.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 22257
/proc/meminfo: memFree=1750016/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=73480 CPUtime=1481.9
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18285 0 0 0 148172 18 0 0 25 0 1 0 186746854 75243520 17933 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 18370 17933 123 215 0 18152 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 73480

[startup+1542.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 22257
/proc/meminfo: memFree=1750080/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=73480 CPUtime=1541.89
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18285 0 0 0 154171 18 0 0 25 0 1 0 186746854 75243520 17933 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 18370 17933 123 215 0 18152 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 73480

[startup+1602.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 22257
/proc/meminfo: memFree=1750016/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=73480 CPUtime=1601.87
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18285 0 0 0 160169 18 0 0 25 0 1 0 186746854 75243520 17933 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 18370 17933 123 215 0 18152 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 73480

[startup+1662.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 22257
/proc/meminfo: memFree=1750016/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=73480 CPUtime=1661.85
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18285 0 0 0 166167 18 0 0 25 0 1 0 186746854 75243520 17933 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134584053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 18370 17933 123 215 0 18152 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 73480

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 22257
/proc/meminfo: memFree=1750016/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=73480 CPUtime=1721.85
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18287 0 0 0 172166 19 0 0 25 0 1 0 186746854 75243520 17935 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 18370 17935 123 215 0 18152 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 73480

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 22257
/proc/meminfo: memFree=1750016/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=73480 CPUtime=1781.83
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18287 0 0 0 178164 19 0 0 25 0 1 0 186746854 75243520 17935 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 18370 17935 123 215 0 18152 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 73480



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22257
/proc/meminfo: memFree=1750016/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=73480 CPUtime=1800.03
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18287 0 0 0 179984 19 0 0 25 0 1 0 186746854 75243520 17935 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134577218 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 18370 17935 123 215 0 18152 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 73480

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/65 22257
/proc/meminfo: memFree=1750016/2055920 swapFree=4184000/4192956
[pid=22254] ppid=22252 vsize=73480 CPUtime=1800.03
/proc/22254/stat : 22254 (minisat+) R 22252 22254 21471 0 -1 4194304 18287 0 0 0 179984 19 0 0 25 0 1 0 186746854 75243520 17935 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134577218 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22254/statm: 18370 17935 123 215 0 18152 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 73480

Child status: 10
Real time (s): 1800.52
CPU time (s): 1800.05
CPU user time (s): 1799.85
CPU system time (s): 0.204968
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 73480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.204968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18289
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= 173
involuntary context switches= 2739

runsolver used 1.21981 second user time and 3.74643 second system time

The end

Launcher Data (download as text)

Begin job on node65 on Fri Apr 20 22:19:32 UTC 2007

IDJOB= 372575
IDBENCH= 24982
IDSOLVER= 156
FILE ID= node65/372575-1177107572

PBS_JOBID= 4640410

Free space on /tmp= 66399 MiB

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

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  55bd571d186b9003e67d2301a4d2bce5

RANDOM SEED= 789890160

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node65.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.245
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.245
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:       1822368 kB
Buffers:         28364 kB
Cached:         153972 kB
SwapCached:       2624 kB
Active:          50444 kB
Inactive:       142376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1822368 kB
SwapTotal:     4192956 kB
SwapFree:      4184000 kB
Dirty:            2700 kB
Writeback:           0 kB
Mapped:          16552 kB
Slab:            26760 kB
Committed_AS:  2373472 kB
PageTables:       1460 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= 66399 MiB

End job on node65 on Fri Apr 20 22:49:35 UTC 2007