Trace number 433144

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
bsolo 3.0.17SAT (TO)8545583 1800.26 1800.86

General information on the benchmark

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

Verifier Data (download as text)

OK	8545583

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node15/watcher-433144-1177955488 -o ROOT/results/node15/solver-433144-1177955488 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433144-1177955488/instance-433144-1177955488.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.78 0.94 0.92 3/77 29763
/proc/meminfo: memFree=1752096/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=12000 CPUtime=0
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 243466463 12288000 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 3000 334 279 324 0 2004 0

[startup+0.0535331 s]
/proc/loadavg: 0.78 0.94 0.92 3/77 29763
/proc/meminfo: memFree=1752096/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=5504 CPUtime=0.04
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 825 0 0 0 4 0 0 0 18 0 1 0 243466463 5636096 729 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 1376 729 303 324 0 446 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5504

[startup+0.101538 s]
/proc/loadavg: 0.78 0.94 0.92 3/77 29763
/proc/meminfo: memFree=1752096/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=5676 CPUtime=0.09
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 896 0 0 0 9 0 0 0 18 0 1 0 243466463 5812224 772 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 1419 772 305 324 0 489 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5676

[startup+0.301556 s]
/proc/loadavg: 0.78 0.94 0.92 3/77 29763
/proc/meminfo: memFree=1752096/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=7092 CPUtime=0.29
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 1260 0 0 0 28 1 0 0 19 0 1 0 243466463 7262208 1128 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 1773 1128 310 324 0 843 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7092

[startup+0.701594 s]
/proc/loadavg: 0.78 0.94 0.92 3/77 29763
/proc/meminfo: memFree=1752096/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=9276 CPUtime=0.69
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 1810 0 0 0 68 1 0 0 22 0 1 0 243466463 9498624 1678 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 2319 1678 311 324 0 1389 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9276

[startup+1.50167 s]
/proc/loadavg: 0.78 0.94 0.92 2/78 29764
/proc/meminfo: memFree=1744408/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=14256 CPUtime=1.49
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 3061 0 0 0 147 2 0 0 25 0 1 0 243466463 14598144 2929 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 3564 2929 311 324 0 2634 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14256

[startup+3.10181 s]
/proc/loadavg: 0.78 0.94 0.92 2/78 29764
/proc/meminfo: memFree=1737304/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=24380 CPUtime=3.09
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 5591 0 0 0 305 4 0 0 25 0 1 0 243466463 24965120 5459 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 6095 5459 311 324 0 5165 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24380

[startup+6.30211 s]
/proc/loadavg: 0.80 0.94 0.92 2/78 29764
/proc/meminfo: memFree=1718104/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=41208 CPUtime=6.29
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 9797 0 0 0 624 5 0 0 25 0 1 0 243466463 42196992 9665 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 10302 9665 311 324 0 9372 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41208

[startup+12.7017 s]
/proc/loadavg: 0.81 0.94 0.92 2/78 29764
/proc/meminfo: memFree=1688152/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=69980 CPUtime=12.68
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 17004 0 0 0 1260 8 0 0 25 0 1 0 243466463 71659520 16872 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 17495 16872 311 324 0 16565 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 69980

[startup+25.5019 s]
/proc/loadavg: 0.85 0.95 0.92 2/78 29764
/proc/meminfo: memFree=1645208/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=110772 CPUtime=25.48
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 27194 0 0 0 2535 13 0 0 25 0 1 0 243466463 113430528 27062 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572673 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 27693 27062 311 324 0 26763 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 110772

[startup+51.1012 s]
/proc/loadavg: 0.90 0.95 0.92 2/78 29764
/proc/meminfo: memFree=1587160/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=169204 CPUtime=51.08
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 41796 0 0 0 5087 21 0 0 25 0 1 0 243466463 173264896 41664 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7954149 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 42301 41664 311 324 0 41371 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 169204

[startup+102.306 s]
/proc/loadavg: 0.96 0.95 0.92 2/78 29764
/proc/meminfo: memFree=1458392/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=296904 CPUtime=102.27
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 73738 0 0 0 10188 39 0 0 25 0 1 0 243466463 304029696 73606 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551703 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 74226 73606 311 324 0 73296 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 296904

[startup+162.301 s]
/proc/loadavg: 0.98 0.96 0.92 2/78 29764
/proc/meminfo: memFree=1372440/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=383036 CPUtime=162.25
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 95254 0 0 0 16171 54 0 0 25 0 1 0 243466463 392228864 95122 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 95759 95122 311 324 0 94829 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 383036

[startup+222.302 s]
/proc/loadavg: 0.99 0.96 0.92 2/78 29764
/proc/meminfo: memFree=1257880/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=497016 CPUtime=222.23
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 123762 0 0 0 22152 71 0 0 25 0 1 0 243466463 508944384 123630 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 124254 123630 311 324 0 123324 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 497016

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29764
/proc/meminfo: memFree=1145368/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=610156 CPUtime=282.21
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 152032 0 0 0 28134 87 0 0 25 0 1 0 243466463 624799744 151900 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 152539 151900 311 324 0 151609 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 610156

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29764
/proc/meminfo: memFree=1076184/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=678412 CPUtime=342.2
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 169092 0 0 0 34120 100 0 0 25 0 1 0 243466463 694693888 168960 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 169603 168960 311 324 0 168673 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 678412

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29764
/proc/meminfo: memFree=1023000/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=731848 CPUtime=402.18
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 182472 0 0 0 40107 111 0 0 25 0 1 0 243466463 749412352 182340 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 182962 182340 311 324 0 182032 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 731848

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29764
/proc/meminfo: memFree=967128/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=787452 CPUtime=462.16
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 196354 0 0 0 46095 121 0 0 25 0 1 0 243466463 806350848 196222 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550670 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 196863 196222 311 324 0 195933 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 787452

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29764
/proc/meminfo: memFree=881176/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=874244 CPUtime=522.15
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 218076 0 0 0 52080 135 0 0 25 0 1 0 243466463 895225856 217944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 218561 217944 311 324 0 217631 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 874244

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/84 29838
/proc/meminfo: memFree=793192/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=959852 CPUtime=582.09
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 239464 0 0 0 58059 150 0 0 25 0 1 0 243466463 982888448 239332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 239963 239332 311 324 0 239033 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 959852

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29962
/proc/meminfo: memFree=724952/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=1028416 CPUtime=642.02
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 256622 0 0 0 64039 163 0 0 25 0 1 0 243466463 1053097984 256490 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 257104 256490 311 324 0 256174 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 1028416


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29962
/proc/meminfo: memFree=453208/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=1299904 CPUtime=881.94
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 324489 0 0 0 87988 206 0 0 25 0 1 0 243466463 1331101696 324357 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 324976 324357 311 324 0 324046 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 1299904

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29962
/proc/meminfo: memFree=351256/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=1402548 CPUtime=941.93
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 350153 0 0 0 93970 223 0 0 25 0 1 0 243466463 1436209152 350021 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 350637 350021 311 324 0 349707 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 1402548

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29962
/proc/meminfo: memFree=264280/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=1488948 CPUtime=1001.91
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 371735 0 0 0 99956 235 0 0 25 0 1 0 243466463 1524682752 371603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 372237 371603 311 324 0 371307 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 1488948

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29962
/proc/meminfo: memFree=189720/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=1562496 CPUtime=1061.9
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 105944 246 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 390624 390001 311 324 0 389694 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 1562496

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29962
/proc/meminfo: memFree=189720/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=1562496 CPUtime=1121.88
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 111942 246 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7942296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 390624 390001 311 324 0 389694 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 1562496

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29962
/proc/meminfo: memFree=189784/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=1562496 CPUtime=1181.87
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 117940 247 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550863 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 390624 390001 311 324 0 389694 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 1562496

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29962
/proc/meminfo: memFree=189848/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=1562496 CPUtime=1241.85
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 123938 247 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 390624 390001 311 324 0 389694 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1562496

[startup+1302.3 s]
/proc/loadavg: 1.07 1.00 0.93 2/78 29962
/proc/meminfo: memFree=189848/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=1562496 CPUtime=1301.84
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 129936 248 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7954149 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 390624 390001 311 324 0 389694 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1562496

[startup+1362.3 s]
/proc/loadavg: 1.03 1.00 0.93 2/78 29962
/proc/meminfo: memFree=189912/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=1562496 CPUtime=1361.82
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 135934 248 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 390624 390001 311 324 0 389694 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1562496

[startup+1422.31 s]
/proc/loadavg: 1.01 1.00 0.93 2/78 29962
/proc/meminfo: memFree=189912/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=1562496 CPUtime=1421.8
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 141932 248 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 390624 390001 311 324 0 389694 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1562496

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 29962
/proc/meminfo: memFree=189912/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=1562496 CPUtime=1481.79
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 147930 249 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 390624 390001 311 324 0 389694 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1562496

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 29962
/proc/meminfo: memFree=189976/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=1562496 CPUtime=1541.77
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 153928 249 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 390624 390001 311 324 0 389694 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1562496

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 29962
/proc/meminfo: memFree=189976/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=1562496 CPUtime=1601.76
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 159926 250 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 390624 390001 311 324 0 389694 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1562496

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 29962
/proc/meminfo: memFree=190040/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=1562496 CPUtime=1661.74
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 165924 250 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 390624 390001 311 324 0 389694 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1562496

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 29962
/proc/meminfo: memFree=190040/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=1562496 CPUtime=1721.72
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 171921 251 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 390624 390001 311 324 0 389694 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1562496

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 29962
/proc/meminfo: memFree=189976/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=1562496 CPUtime=1781.7
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 177919 251 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 390624 390001 311 324 0 389694 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 1562496



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 29962
/proc/meminfo: memFree=189976/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=1562496 CPUtime=1800.01
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 179749 252 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 390624 390001 311 324 0 389694 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1562496

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 29962
/proc/meminfo: memFree=189976/2055920 swapFree=4169108/4192956
[pid=29763] ppid=29761 vsize=0 CPUtime=1800.2
/proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194308 390349 0 0 0 179750 270 0 0 25 0 1 0 243466463 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/29763/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.86
CPU time (s): 1800.26
CPU user time (s): 1797.5
CPU system time (s): 2.76058
CPU usage (%): 99.967
Max. virtual memory (cumulated for all children) (KiB): 1563344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.5
system time used= 2.76058
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 390349
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= 13
involuntary context switches= 3215

runsolver used 1.35679 second user time and 3.90341 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Mon Apr 30 17:51:28 UTC 2007

IDJOB= 433144
IDBENCH= 2296
IDSOLVER= 199
FILE ID= node15/433144-1177955488

PBS_JOBID= 4727712

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran13x13.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433144-1177955488/instance-433144-1177955488.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-433144-1177955488 -o ROOT/results/node15/solver-433144-1177955488 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433144-1177955488/instance-433144-1177955488.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  f6afca2947f6ff68bd855d0ea2ea59a9

RANDOM SEED= 464462931

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node15.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.227
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1752504 kB
Buffers:         36076 kB
Cached:         178648 kB
SwapCached:       2264 kB
Active:          81836 kB
Inactive:       155308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1752504 kB
SwapTotal:     4192956 kB
SwapFree:      4169108 kB
Dirty:            6972 kB
Writeback:           0 kB
Mapped:          29968 kB
Slab:            51708 kB
Committed_AS:  7199592 kB
PageTables:       1868 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= 66558 MiB

End job on node15 on Mon Apr 30 18:21:31 UTC 2007