Trace number 372967

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)15 1800.11 1800.73

General information on the benchmark

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

Verifier Data (download as text)

OK	15

Conversion Script Data (download as text)

/tmp/evaluation/372967-1177151181/instance-372967-1177151181.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/node59/watcher-372967-1177151181 -o ROOT/results/node59/solver-372967-1177151181 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372967-1177151181/minisat+ /tmp/evaluation/372967-1177151181/instance-372967-1177151181.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: 0.93 0.97 0.99 3/64 11792
/proc/meminfo: memFree=1726880/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=1352 CPUtime=0
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 163027691 1384448 172 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 338 172 67 215 0 120 0

[startup+0.0523111 s]
/proc/loadavg: 0.93 0.97 0.99 3/64 11792
/proc/meminfo: memFree=1726880/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=2044 CPUtime=0.04
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 345 0 0 0 4 0 0 0 18 0 1 0 163027691 2093056 330 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 511 330 74 215 0 293 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2044

[startup+0.101319 s]
/proc/loadavg: 0.93 0.97 0.99 3/64 11792
/proc/meminfo: memFree=1726880/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=2488 CPUtime=0.09
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 470 0 0 0 9 0 0 0 18 0 1 0 163027691 2547712 455 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 622 455 74 215 0 404 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2488

[startup+0.301357 s]
/proc/loadavg: 0.93 0.97 0.99 3/64 11792
/proc/meminfo: memFree=1726880/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=4428 CPUtime=0.29
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 928 0 0 0 29 0 0 0 19 0 1 0 163027691 4534272 913 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 1107 913 75 215 0 889 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4428

[startup+0.701434 s]
/proc/loadavg: 0.93 0.97 0.99 3/64 11792
/proc/meminfo: memFree=1726880/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=7380 CPUtime=0.7
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 1731 0 0 0 68 2 0 0 18 0 1 0 163027691 7557120 1683 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134666984 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 1845 1683 104 215 0 1627 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 7380

[startup+1.50158 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 11793
/proc/meminfo: memFree=1720472/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=7380 CPUtime=1.5
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 1731 0 0 0 148 2 0 0 25 0 1 0 163027691 7557120 1683 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005241 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 1845 1683 104 215 0 1627 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 7380

[startup+3.10189 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 11793
/proc/meminfo: memFree=1720344/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=7380 CPUtime=3.1
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 1731 0 0 0 308 2 0 0 25 0 1 0 163027691 7557120 1683 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135003889 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 1845 1683 104 215 0 1627 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 7380

[startup+6.3025 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 11793
/proc/meminfo: memFree=1714016/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=15408 CPUtime=6.29
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 3911 0 0 0 627 2 0 0 25 0 1 0 163027691 15777792 3541 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 3852 3541 123 215 0 3634 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15408

[startup+12.7017 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 11793
/proc/meminfo: memFree=1706160/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=22504 CPUtime=12.69
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 5699 0 0 0 1265 4 0 0 25 0 1 0 163027691 23044096 5329 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 5626 5329 123 215 0 5408 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22504

[startup+25.5012 s]
/proc/loadavg: 0.95 0.97 0.99 2/65 11793
/proc/meminfo: memFree=1698288/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=30192 CPUtime=25.49
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 7599 0 0 0 2543 6 0 0 25 0 1 0 163027691 30916608 7229 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 7548 7229 123 215 0 7330 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30192

[startup+51.102 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 11793
/proc/meminfo: memFree=1687088/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=41384 CPUtime=51.07
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 10411 0 0 0 5098 9 0 0 25 0 1 0 163027691 42377216 10041 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580792 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 10346 10041 123 215 0 10128 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 41384

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 11793
/proc/meminfo: memFree=1684080/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=44240 CPUtime=102.26
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 11135 0 0 0 10216 10 0 0 25 0 1 0 163027691 45301760 10756 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134586325 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 11060 10756 123 215 0 10842 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 44240

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11793
/proc/meminfo: memFree=1683760/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=44548 CPUtime=162.23
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 11192 0 0 0 16213 10 0 0 25 0 1 0 163027691 45617152 10813 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 11137 10813 123 215 0 10919 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 44548

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11793
/proc/meminfo: memFree=1681520/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=46820 CPUtime=222.22
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 11745 0 0 0 22211 11 0 0 25 0 1 0 163027691 47943680 11366 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 11705 11366 123 215 0 11487 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 46820

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11793
/proc/meminfo: memFree=1677488/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=50920 CPUtime=282.2
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 12750 0 0 0 28208 12 0 0 25 0 1 0 163027691 52142080 12371 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 12730 12371 123 215 0 12512 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 50920

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11793
/proc/meminfo: memFree=1674352/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=54120 CPUtime=342.17
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 13531 0 0 0 34204 13 0 0 25 0 1 0 163027691 55418880 13152 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 13530 13152 123 215 0 13312 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 54120

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11793
/proc/meminfo: memFree=1673712/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=54820 CPUtime=402.15
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 13681 0 0 0 40202 13 0 0 25 0 1 0 163027691 56135680 13302 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 13705 13302 123 215 0 13487 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 54820

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11793
/proc/meminfo: memFree=1673648/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=54996 CPUtime=462.13
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 13696 0 0 0 46200 13 0 0 25 0 1 0 163027691 56315904 13317 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 13749 13317 123 215 0 13531 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 54996

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11793
/proc/meminfo: memFree=1673200/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=55316 CPUtime=522.12
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 13802 0 0 0 52198 14 0 0 25 0 1 0 163027691 56643584 13423 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 13829 13423 123 215 0 13611 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 55316

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11793
/proc/meminfo: memFree=1673136/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=55500 CPUtime=582.09
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 13829 0 0 0 58195 14 0 0 25 0 1 0 163027691 56832000 13450 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 13875 13450 123 215 0 13657 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 55500

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11793
/proc/meminfo: memFree=1672816/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=55904 CPUtime=642.08
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 13891 0 0 0 64194 14 0 0 25 0 1 0 163027691 57245696 13512 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 13976 13512 123 215 0 13758 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 55904


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11795
/proc/meminfo: memFree=1665776/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=63168 CPUtime=881.99
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 15640 0 0 0 88183 16 0 0 25 0 1 0 163027691 64684032 15261 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 15792 15261 123 215 0 15574 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 63168

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11795
/proc/meminfo: memFree=1665712/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=63168 CPUtime=941.97
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 15657 0 0 0 94181 16 0 0 25 0 1 0 163027691 64684032 15278 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 15792 15278 123 215 0 15574 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 63168

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11795
/proc/meminfo: memFree=1665456/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=63524 CPUtime=1001.95
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 15709 0 0 0 100179 16 0 0 25 0 1 0 163027691 65048576 15330 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580978 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 15881 15330 123 215 0 15663 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 63524

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11795
/proc/meminfo: memFree=1665200/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=63704 CPUtime=1061.93
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 15763 0 0 0 106177 16 0 0 25 0 1 0 163027691 65232896 15384 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 15926 15384 123 215 0 15708 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 63704

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11795
/proc/meminfo: memFree=1664944/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=64060 CPUtime=1121.91
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 15826 0 0 0 112175 16 0 0 25 0 1 0 163027691 65597440 15447 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 16015 15447 123 215 0 15797 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 64060

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11795
/proc/meminfo: memFree=1664688/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=64224 CPUtime=1181.89
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 15897 0 0 0 118173 16 0 0 25 0 1 0 163027691 65765376 15518 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 16056 15518 123 215 0 15838 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 64224

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11795
/proc/meminfo: memFree=1664688/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=64224 CPUtime=1241.87
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 15897 0 0 0 124171 16 0 0 25 0 1 0 163027691 65765376 15518 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 16056 15518 123 215 0 15838 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 64224

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11795
/proc/meminfo: memFree=1664560/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=64224 CPUtime=1301.85
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 15902 0 0 0 130169 16 0 0 25 0 1 0 163027691 65765376 15523 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 16056 15523 123 215 0 15838 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 64224

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11795
/proc/meminfo: memFree=1664624/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=64224 CPUtime=1361.82
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 15902 0 0 0 136166 16 0 0 25 0 1 0 163027691 65765376 15523 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 16056 15523 123 215 0 15838 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 64224

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11795
/proc/meminfo: memFree=1664624/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=64224 CPUtime=1421.81
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 15902 0 0 0 142165 16 0 0 25 0 1 0 163027691 65765376 15523 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 16056 15523 123 215 0 15838 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 64224

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11795
/proc/meminfo: memFree=1664560/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=64224 CPUtime=1481.78
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 15902 0 0 0 148162 16 0 0 25 0 1 0 163027691 65765376 15523 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 16056 15523 123 215 0 15838 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 64224

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11795
/proc/meminfo: memFree=1664560/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=64224 CPUtime=1541.76
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 15902 0 0 0 154160 16 0 0 25 0 1 0 163027691 65765376 15523 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 16056 15523 123 215 0 15838 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 64224

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11795
/proc/meminfo: memFree=1664304/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=64600 CPUtime=1601.74
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 15959 0 0 0 160158 16 0 0 25 0 1 0 163027691 66150400 15580 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 16150 15580 123 215 0 15932 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 64600

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11795
/proc/meminfo: memFree=1663792/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=65136 CPUtime=1661.72
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 16080 0 0 0 166156 16 0 0 25 0 1 0 163027691 66699264 15701 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 16284 15701 123 215 0 16066 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 65136

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11795
/proc/meminfo: memFree=1663856/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=65136 CPUtime=1721.7
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 16082 0 0 0 172154 16 0 0 25 0 1 0 163027691 66699264 15703 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 16284 15703 123 215 0 16066 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 65136

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11795
/proc/meminfo: memFree=1663792/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=65136 CPUtime=1781.68
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 16084 0 0 0 178152 16 0 0 25 0 1 0 163027691 66699264 15705 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 16284 15705 123 215 0 16066 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 65136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11795
/proc/meminfo: memFree=1663728/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=65136 CPUtime=1800.08
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 16084 0 0 0 179992 16 0 0 25 0 1 0 163027691 66699264 15705 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580886 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 16284 15705 123 215 0 16066 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 65136

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11795
/proc/meminfo: memFree=1663728/2055920 swapFree=4184568/4192956
[pid=11792] ppid=11790 vsize=65136 CPUtime=1800.08
/proc/11792/stat : 11792 (minisat+) R 11790 11792 10772 0 -1 4194304 16084 0 0 0 179992 16 0 0 25 0 1 0 163027691 66699264 15705 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580886 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11792/statm: 16284 15705 123 215 0 16066 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 65136

Child status: 10
Real time (s): 1800.73
CPU time (s): 1800.11
CPU user time (s): 1799.93
CPU system time (s): 0.176973
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (KiB): 65136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.176973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16086
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= 33
involuntary context switches= 2849

runsolver used 1.12683 second user time and 3.83442 second system time

The end

Launcher Data (download as text)

Begin job on node59 on Sat Apr 21 10:26:21 UTC 2007

IDJOB= 372967
IDBENCH= 25010
IDSOLVER= 156
FILE ID= node59/372967-1177151181

PBS_JOBID= 4648859

Free space on /tmp= 66329 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir06_area_delay.opb
COMMAND LINE= /tmp/evaluation/372967-1177151181/minisat+ /tmp/evaluation/372967-1177151181/instance-372967-1177151181.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node59/convwatcher-372967-1177151181 -o ROOT/results/node59/conversion-372967-1177151181 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372967-1177151181/instance-372967-1177151181.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  21fb64899a6dc4867ccfcbb30d44d536

RANDOM SEED= 955697735

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node59.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.268
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.268
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:       1727352 kB
Buffers:         26420 kB
Cached:         232188 kB
SwapCached:       2104 kB
Active:          59460 kB
Inactive:       217556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1727352 kB
SwapTotal:     4192956 kB
SwapFree:      4184568 kB
Dirty:            2872 kB
Writeback:           0 kB
Mapped:          25128 kB
Slab:            37536 kB
Committed_AS:  2983308 kB
PageTables:       1492 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= 66329 MiB

End job on node59 on Sat Apr 21 10:56:24 UTC 2007