Trace number 2698912

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
PB/CT 0.1 fixedOPTIMUM 24.2743 24.2735

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv8.ucl--soft-33-100-0.wbo
MD5SUM95fc93b9bf9d7a2900db6241c7ee4c87
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.039993
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2355
Total number of constraints6744
Number of soft constraints4510
Number of constraints which are clauses6568
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints176
Minimum length of a constraint1
Maximum length of a constraint9
Top cost 227663
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 227662
Biggest number in a constraint 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 62
Number of bits of the biggest sum of numbers6
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 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.03	c constraints 61/115 clauses 2173/4395 units 0
0.00/0.03	c vars 2355
0.29/0.32	c 0.271958 45.7578 18 51449
0.29/0.32	o 2245
0.29/0.36	c 0.294955 46.2812 31 75728
0.29/0.36	o 2207
0.29/0.39	c 0.318951 46.2812 45 97468
0.29/0.39	o 2200
0.39/0.40	c 0.32495 46.2812 48 103598
0.39/0.40	o 2126
0.39/0.43	c 0.338948 46.2812 68 109959
0.39/0.43	o 2112
0.39/0.44	c 0.350946 46.2812 74 119139
0.39/0.44	o 1645
0.39/0.45	c 0.357945 46.2812 80 122141
0.39/0.45	o 1643
0.39/0.49	c 0.379942 46.2812 98 125225
0.39/0.49	o 1642
0.69/0.72	c 0.533918 46.2812 207 136762
0.69/0.72	o 1638
0.69/0.75	c 0.553915 46.2812 219 139655
0.69/0.75	o 1626
0.69/0.77	c 0.568913 46.2812 228 149442
0.69/0.77	o 1551
0.69/0.79	c 0.575912 46.2812 232 159918
0.69/0.79	o 1477
0.79/0.81	c 0.583911 46.2812 238 168412
0.79/0.81	o 1423
0.79/0.86	c 0.613906 46.2812 259 175718
0.79/0.86	o 1401
1.19/1.21	c 0.844871 46.2812 467 183814
1.19/1.21	o 1397
1.19/1.23	c 0.85487 46.2812 484 186416
1.19/1.23	o 1395
1.39/1.42	c 0.91786 46.2812 562 188285
1.39/1.42	o 1394
1.39/1.45	c 0.934857 46.2812 575 193571
1.39/1.45	o 1389
1.39/1.47	c 0.940856 46.2812 585 196598
1.39/1.47	o 1387
1.59/1.63	c 0.999848 46.2812 669 199957
1.59/1.63	o 1386
1.59/1.66	c 1.01484 46.2812 689 206436
1.59/1.66	o 1385
1.59/1.68	c 1.02084 46.2812 692 207139
1.59/1.68	o 1384
1.69/1.71	c 1.03784 46.2812 709 209322
1.69/1.71	o 1383
1.69/1.73	c 1.04984 46.2812 719 216568
1.69/1.73	o 1376
1.69/1.77	c 1.05884 46.2812 734 217788
1.69/1.77	o 1373
1.79/1.86	c 1.09783 46.2812 767 218507
1.79/1.86	o 1372
1.99/2.06	c 1.16982 46.2812 874 223411
1.99/2.06	o 1371
1.99/2.07	c 1.17282 46.2812 875 225836
1.99/2.07	o 1342
1.99/2.08	c 1.17982 46.2812 876 227223
1.99/2.08	o 1329
2.09/2.11	c 1.18682 46.2812 884 228463
2.09/2.11	o 1328
2.09/2.12	c 1.19182 46.2812 889 230353
2.09/2.12	o 1317
2.09/2.14	c 1.19782 46.2812 895 239754
2.09/2.14	o 1285
2.20/2.23	c 1.24581 46.2812 937 242451
2.20/2.23	o 1284
2.20/2.24	c 1.25181 46.2812 938 244866
2.20/2.24	o 1283
2.20/2.25	c 1.25981 46.2812 940 248762
2.20/2.25	o 1277
2.20/2.27	c 1.27281 46.2812 944 250089
2.20/2.27	o 1276
2.20/2.28	c 1.2848 46.2812 952 251804
2.20/2.28	o 1275
2.29/2.30	c 1.2998 46.2812 958 253707
2.29/2.30	o 1269
2.29/2.32	c 1.3128 46.2812 962 255843
2.29/2.32	o 1268
2.29/2.33	c 1.3178 46.2812 964 258277
2.29/2.33	o 1248
2.29/2.36	c 1.3358 46.2812 985 262526
2.29/2.36	o 1235
2.29/2.37	c 1.3388 46.2812 986 267685
2.29/2.37	o 1056
2.29/2.38	c 1.3438 46.2812 990 269742
2.29/2.38	o 1055
2.29/2.39	c 1.3478 46.2812 990 273613
2.29/2.39	o 1035
2.39/2.40	c 1.35379 46.2812 992 276282
2.39/2.40	o 1034
2.39/2.42	c 1.37079 46.2812 997 280410
2.39/2.42	o 1015
2.39/2.46	c 1.39379 46.2812 1011 282352
2.39/2.46	o 1014
2.99/3.02	c 1.74473 46.4102 1286 283982
2.99/3.02	o 1013
3.09/3.11	c 1.79973 46.4102 1311 284748
3.09/3.11	o 1011
3.19/3.29	c 1.91771 46.4102 1389 285975
3.19/3.29	o 1010
3.49/3.58	c 2.09868 46.4102 1536 287510
3.49/3.58	o 1009
3.59/3.60	c 2.10968 46.4102 1546 288683
3.59/3.60	o 1007
3.59/3.62	c 2.12068 46.4102 1552 290218
3.59/3.62	o 1006
3.59/3.63	c 2.13267 46.4102 1556 291184
3.59/3.63	o 1005
3.59/3.65	c 2.14167 46.4102 1558 294293
3.59/3.65	o 991
3.59/3.66	c 2.14867 46.4102 1558 296692
3.59/3.66	o 982
3.59/3.67	c 2.15967 46.4102 1560 298790
3.59/3.67	o 970
3.69/3.71	c 2.18767 46.4102 1581 299577
3.69/3.71	o 967
3.69/3.72	c 2.19567 46.4102 1581 300477
3.69/3.72	o 966
3.69/3.73	c 2.20366 46.4102 1582 301580
3.69/3.73	o 962
3.89/3.91	c 2.31765 46.4102 1684 303713
3.89/3.91	o 959
3.89/3.94	c 2.33365 46.4102 1693 304801
3.89/3.94	o 958
4.19/4.22	c 2.51262 46.4102 1815 306348
4.19/4.22	o 957
4.19/4.24	c 2.52462 46.4102 1819 307776
4.19/4.24	o 950
4.19/4.25	c 2.53062 46.4102 1821 311399
4.19/4.25	o 935
4.19/4.26	c 2.54061 46.4102 1822 313675
4.19/4.26	o 934
4.19/4.27	c 2.55161 46.4102 1824 315125
4.19/4.27	o 929
4.29/4.33	c 2.58761 46.4102 1846 315839
4.29/4.33	o 927
4.29/4.35	c 2.6006 46.4102 1851 316843
4.29/4.35	o 924
4.29/4.37	c 2.6156 46.4102 1857 318383
4.29/4.37	o 921
4.29/4.38	c 2.6246 46.4102 1858 320339
4.29/4.38	o 915
4.29/4.39	c 2.6356 46.4102 1860 323878
4.29/4.39	o 908
4.39/4.40	c 2.6416 46.4102 1861 326880
4.39/4.40	o 907
4.39/4.41	c 2.6486 46.4102 1861 329754
4.39/4.41	o 888
4.39/4.43	c 2.6566 46.4102 1873 331041
4.39/4.43	o 886
4.79/4.81	c 2.90256 46.5391 2058 332683
4.79/4.81	o 885
4.79/4.83	c 2.91856 46.5391 2063 333420
4.79/4.83	o 884
4.79/4.84	c 2.93255 46.5391 2065 335656
4.79/4.84	o 882
4.79/4.87	c 2.94755 46.5391 2071 337166
4.79/4.87	o 875
4.89/4.95	c 3.00054 46.5391 2104 337778
4.89/4.95	o 874
4.89/4.97	c 3.01054 46.5391 2107 338587
4.89/4.97	o 871
4.89/4.98	c 3.01854 46.5391 2107 341743
4.89/4.98	o 867
4.89/4.99	c 3.02154 46.5391 2107 346998
4.89/4.99	o 744
4.99/5.02	c 3.04454 46.5391 2119 349466
4.99/5.02	o 742
4.99/5.05	c 3.06353 46.5391 2133 349933
4.99/5.05	o 741
5.29/5.30	c 3.21851 46.5391 2241 351405
5.29/5.30	o 740
5.29/5.33	c 3.23451 46.5391 2249 352332
5.29/5.33	o 739
5.29/5.35	c 3.24951 46.5391 2255 352897
5.29/5.35	o 738
5.29/5.38	c 3.2695 46.5391 2270 353463
5.29/5.38	o 737
5.40/5.42	c 3.2955 46.5391 2283 354054
5.40/5.42	o 736
5.40/5.44	c 3.3075 46.5391 2288 354503
5.40/5.44	o 735
5.40/5.45	c 3.3165 46.5391 2290 354925
5.40/5.45	o 734
5.40/5.46	c 3.32449 46.5391 2291 356501
5.40/5.46	o 719
5.40/5.47	c 3.33249 46.5391 2291 357427
5.40/5.47	o 709
5.40/5.49	c 3.34349 46.5391 2294 358821
5.40/5.49	o 696
5.49/5.51	c 3.35349 46.5391 2300 361296
5.49/5.51	o 694
5.49/5.52	c 3.36249 46.5391 2302 361782
5.49/5.52	o 693
5.49/5.54	c 3.37149 46.5391 2308 362815
5.49/5.54	o 686
5.49/5.58	c 3.40048 46.5391 2323 364015
5.49/5.58	o 682
5.59/5.68	c 3.47447 46.5391 2391 364552
5.59/5.68	o 680
5.79/5.88	c 3.58245 46.5391 2489 365197
5.79/5.88	o 679
5.89/5.93	c 3.61745 46.5391 2510 365609
5.89/5.93	o 678
5.89/5.95	c 3.63345 46.5391 2520 366723
5.89/5.95	o 674
6.09/6.16	c 3.76243 46.668 2607 367864
6.09/6.16	o 671
6.39/6.50	c 3.97839 46.668 2759 369358
6.39/6.50	o 668
6.49/6.51	c 3.98739 46.668 2764 369873
6.49/6.51	o 667
6.49/6.52	c 3.99639 46.668 2765 370234
6.49/6.52	o 666
6.49/6.55	c 4.01539 46.668 2775 371201
6.49/6.55	o 664
6.59/6.61	c 4.05538 46.668 2795 373556
6.59/6.61	o 663
6.59/6.64	c 4.07438 46.668 2813 374101
6.59/6.64	o 662
6.59/6.69	c 4.09838 46.668 2830 374879
6.59/6.69	o 661
6.69/6.70	c 4.11237 46.668 2835 375613
6.69/6.70	o 660
6.69/6.74	c 4.13437 46.668 2851 376451
6.69/6.74	o 658
6.79/6.80	c 4.17037 46.668 2883 378068
6.79/6.80	o 655
6.99/7.00	c 4.29735 46.668 3003 379510
6.99/7.00	o 649
6.99/7.04	c 4.32134 46.668 3027 380153
6.99/7.04	o 648
7.09/7.10	c 4.36434 46.668 3054 380668
7.09/7.10	o 647
7.09/7.12	c 4.37733 46.668 3061 381465
7.09/7.12	o 646
7.09/7.14	c 4.38733 46.668 3071 382335
7.09/7.14	o 644
7.09/7.15	c 4.39633 46.668 3075 383077
7.09/7.15	o 642
7.09/7.18	c 4.41433 46.668 3091 385548
7.09/7.18	o 638
7.19/7.20	c 4.42733 46.668 3096 386342
7.19/7.20	o 636
7.19/7.22	c 4.44332 46.668 3104 387190
7.19/7.22	o 633
7.39/7.47	c 4.5953 46.668 3237 388355
7.39/7.47	o 632
7.49/7.52	c 4.6183 46.668 3259 388807
7.49/7.52	o 630
7.69/7.74	c 4.75228 46.7969 3370 389957
7.69/7.74	o 628
7.69/7.76	c 4.76228 46.7969 3384 390478
7.69/7.76	o 627
7.69/7.78	c 4.77027 46.7969 3390 391191
7.69/7.78	o 623
7.89/7.99	c 4.84926 46.7969 3469 391875
7.89/7.99	o 622
7.99/8.00	c 4.85526 46.7969 3471 392665
7.99/8.00	o 619
7.99/8.01	c 4.86026 46.7969 3473 393127
7.99/8.01	o 617
7.99/8.03	c 4.86726 46.7969 3479 394984
7.99/8.03	o 610
7.99/8.05	c 4.87226 46.7969 1745 396523
7.99/8.05	o 604
7.99/8.07	c 4.88026 46.7969 1752 397567
7.99/8.07	o 600
8.29/8.30	c 4.96225 46.7969 1857 398207
8.29/8.30	o 599
8.29/8.32	c 4.97024 46.7969 1862 398525
8.29/8.32	o 598
8.29/8.34	c 4.98124 46.7969 1870 399119
8.29/8.34	o 595
8.29/8.37	c 4.99724 46.7969 1880 399403
8.29/8.37	o 594
8.39/8.41	c 5.01324 46.7969 1908 399651
8.39/8.41	o 593
8.49/8.50	c 5.05423 46.7969 1952 399934
8.49/8.50	o 592
8.49/8.57	c 5.08123 46.7969 2000 400591
8.49/8.57	o 590
8.59/8.62	c 5.09722 46.7969 2024 401422
8.59/8.62	o 588
8.59/8.65	c 5.10622 46.7969 2044 402267
8.59/8.65	o 587
8.59/8.67	c 5.11922 46.7969 2050 402850
8.59/8.67	o 586
8.59/8.70	c 5.12822 46.7969 2058 403391
8.59/8.70	o 584
8.70/8.71	c 5.14122 46.7969 2067 404473
8.70/8.71	o 583
8.89/8.99	c 5.2842 46.7969 2175 405856
8.89/8.99	o 579
8.99/9.02	c 5.29319 46.7969 2186 406799
8.99/9.02	o 578
8.99/9.08	c 5.32819 46.7969 2222 407457
8.99/9.08	o 576
9.09/9.17	c 5.38918 46.7969 2254 407723
9.09/9.17	o 575
9.19/9.22	c 5.42417 46.7969 2285 408318
9.19/9.22	o 574
9.19/9.24	c 5.43917 46.7969 2293 408755
9.19/9.24	o 573
9.49/9.51	c 5.60515 46.7969 2402 409686
9.49/9.51	o 572
9.49/9.55	c 5.62415 46.7969 2414 409988
9.49/9.55	o 570
9.49/9.56	c 5.63314 46.7969 2415 410220
9.49/9.56	o 569
9.49/9.57	c 5.64314 46.7969 2418 410531
9.49/9.57	o 568
9.49/9.60	c 5.65814 46.7969 2423 411185
9.49/9.60	o 567
9.59/9.62	c 5.67214 46.7969 2429 412787
9.59/9.62	o 564
9.59/9.64	c 5.68713 46.7969 2443 414087
9.59/9.64	o 562
9.59/9.65	c 5.69513 46.7969 2445 414313
9.59/9.65	o 561
9.59/9.66	c 5.70513 46.7969 2450 414589
9.59/9.66	o 559
9.59/9.68	c 5.71713 46.7969 2455 415046
9.59/9.68	o 558
9.59/9.69	c 5.72813 46.7969 2457 415438
9.59/9.69	o 556
9.69/9.70	c 5.73313 46.7969 2458 415819
9.69/9.70	o 555
9.69/9.71	c 5.74213 46.7969 2459 416231
9.69/9.71	o 553
9.69/9.74	c 5.76012 46.7969 2467 417042
9.69/9.74	o 552
9.69/9.75	c 5.77012 46.7969 2469 417600
9.69/9.75	o 551
9.69/9.79	c 5.79312 46.7969 2480 418109
9.69/9.79	o 550
9.80/9.81	c 5.80312 46.7969 2481 418421
9.80/9.81	o 549
9.80/9.84	c 5.82411 46.7969 2490 418704
9.80/9.84	o 548
9.80/9.85	c 5.83211 46.7969 2491 419326
9.80/9.85	o 542
9.80/9.87	c 5.84111 46.7969 2496 419706
9.80/9.87	o 540
9.80/9.88	c 5.85011 46.7969 2499 420676
9.80/9.88	o 535
9.80/9.90	c 5.85511 46.7969 2506 422100
9.80/9.90	o 534
9.89/9.92	c 5.87011 46.7969 2514 422527
9.89/9.92	o 532
9.89/9.93	c 5.87711 46.7969 2516 423758
9.89/9.93	o 530
9.89/9.94	c 5.88511 46.7969 2517 424486
9.89/9.94	o 529
9.89/9.95	c 5.8921 46.7969 2518 425408
9.89/9.95	o 526
9.99/10.07	c 5.95609 46.7969 2567 425901
9.99/10.07	o 525
9.99/10.08	c 5.96209 46.7969 2569 426153
9.99/10.08	o 524
9.99/10.09	c 5.97109 46.7969 2572 426413
9.99/10.09	o 522
10.09/10.13	c 6.00609 46.7969 2597 426864
10.09/10.13	o 520
10.29/10.35	c 6.14506 46.7969 2685 427677
10.29/10.35	o 515
10.29/10.38	c 6.17006 46.7969 2693 428272
10.29/10.38	o 514
10.39/10.40	c 6.18406 46.7969 2696 429039
10.39/10.40	o 513
10.39/10.42	c 6.20306 46.7969 2704 429905
10.39/10.42	o 512
10.49/10.50	c 6.25205 46.7969 2728 430240
10.49/10.50	o 511
10.49/10.55	c 6.28604 46.7969 2742 431154
10.49/10.55	o 505
10.49/10.57	c 6.30204 46.7969 2748 431777
10.49/10.57	o 504
10.59/10.65	c 6.35203 46.7969 2775 432810
10.59/10.65	o 503
10.59/10.67	c 6.36903 46.7969 2781 433753
10.59/10.67	o 502
10.90/10.91	c 6.52401 46.7969 2886 435099
10.90/10.91	o 501
10.90/10.95	c 6.55 46.7969 2911 435716
10.90/10.95	o 500
10.90/10.98	c 6.569 46.7969 2925 436131
10.90/10.98	o 499
10.90/11.00	c 6.585 46.7969 2932 436903
10.90/11.00	o 498
10.99/11.02	c 6.597 46.7969 2939 437504
10.99/11.02	o 497
10.99/11.03	c 6.60499 46.7969 2943 437751
10.99/11.03	o 496
11.09/11.13	c 6.66499 46.7969 2989 438486
11.09/11.13	o 493
11.09/11.15	c 6.67998 46.7969 3001 438759
11.09/11.15	o 492
11.09/11.16	c 6.68898 46.7969 3004 439020
11.09/11.16	o 491
11.09/11.17	c 6.70298 46.7969 3009 439547
11.09/11.17	o 490
11.09/11.18	c 6.71098 46.7969 3014 439924
11.09/11.18	o 487
11.39/11.45	c 6.88195 46.7969 3130 440736
11.39/11.45	o 486
11.39/11.48	c 6.90395 46.7969 3141 441112
11.39/11.48	o 484
11.49/11.56	c 6.94994 46.7969 3186 441555
11.49/11.56	o 483
11.49/11.59	c 6.97094 46.7969 3201 441910
11.49/11.59	o 482
11.59/11.61	c 6.97994 46.7969 3202 442149
11.59/11.61	o 481
11.59/11.62	c 6.98794 46.7969 3205 442503
11.59/11.62	o 480
11.59/11.63	c 6.99794 46.7969 3207 442748
11.59/11.63	o 479
11.59/11.64	c 7.00693 46.7969 3208 443066
11.59/11.64	o 477
11.69/11.71	c 7.05493 46.7969 3227 443436
11.69/11.71	o 476
11.69/11.74	c 7.07592 46.7969 3253 443885
11.69/11.74	o 475
11.99/12.01	c 7.2379 46.7969 3400 444838
11.99/12.01	o 474
11.99/12.10	c 7.29489 46.7969 3440 445222
11.99/12.10	o 473
12.09/12.12	c 7.31389 46.7969 3450 445533
12.09/12.12	o 472
12.19/12.26	c 7.40487 46.7969 3503 445964
12.19/12.26	o 471
12.29/12.30	c 7.43187 46.7969 3514 446353
12.29/12.30	o 470
12.29/12.33	c 7.45687 46.7969 3527 446692
12.29/12.33	o 469
12.29/12.36	c 7.47486 46.7969 3535 447329
12.29/12.36	o 468
12.39/12.41	c 7.50586 46.7969 3556 447802
12.39/12.41	o 467
12.39/12.45	c 7.53185 46.7969 3571 448274
12.39/12.45	o 462
12.39/12.46	c 7.54285 46.7969 1790 448558
12.39/12.46	o 461
12.39/12.48	c 7.55385 46.7969 1797 449090
12.39/12.48	o 460
12.39/12.49	c 7.56285 46.7969 1807 449458
12.39/12.49	o 459
12.49/12.51	c 7.57185 46.7969 1813 450025
12.49/12.51	o 458
12.49/12.52	c 7.57785 46.7969 1814 450247
12.49/12.52	o 457
12.49/12.54	c 7.59284 46.7969 1822 450524
12.49/12.54	o 456
12.49/12.56	c 7.60384 46.7969 1825 450825
12.49/12.56	o 455
12.49/12.57	c 7.60984 46.7969 1826 451205
12.49/12.57	o 454
12.49/12.58	c 7.61684 46.7969 1826 451572
12.49/12.58	o 452
12.49/12.59	c 7.61984 46.7969 1826 451880
12.49/12.59	o 451
12.59/12.60	c 7.62884 46.7969 1827 452112
12.59/12.60	o 450
12.59/12.63	c 7.64984 46.7969 1838 452445
12.59/12.63	o 447
12.59/12.64	c 7.65684 46.7969 1842 452638
12.59/12.64	o 446
12.79/12.82	c 7.76682 46.7969 1918 453305
12.79/12.82	o 444
12.79/12.83	c 7.77882 46.7969 1920 453844
12.79/12.83	o 440
12.99/13.04	c 7.9148 46.7969 2024 455121
12.99/13.04	o 438
12.99/13.07	c 7.92979 46.7969 2036 455656
12.99/13.07	o 437
12.99/13.08	c 7.93879 46.7969 2037 455934
12.99/13.08	o 436
12.99/13.10	c 7.95079 46.7969 2040 456214
12.99/13.10	o 435
13.10/13.11	c 7.95779 46.7969 2040 456356
13.10/13.11	o 434
13.10/13.12	c 7.96479 46.7969 2040 456477
13.10/13.12	o 433
13.10/13.13	c 7.97279 46.7969 2040 456614
13.10/13.13	o 432
13.10/13.14	c 7.97979 46.7969 2040 456730
13.10/13.14	o 431
13.10/13.15	c 7.98778 46.7969 2042 457325
13.10/13.15	o 428
13.10/13.16	c 7.99378 46.7969 2043 458507
13.10/13.16	o 427
13.10/13.17	c 8.00078 46.7969 2045 459552
13.10/13.17	o 424
13.10/13.18	c 8.00878 46.7969 2047 459892
13.10/13.18	o 422
13.19/13.20	c 8.01978 46.7969 2051 460961
13.19/13.20	o 421
13.19/13.22	c 8.02878 46.7969 2053 461315
13.19/13.22	o 420
13.19/13.23	c 8.03878 46.7969 2054 462627
13.19/13.23	o 418
13.19/13.24	c 8.04778 46.7969 2058 463495
13.19/13.24	o 412
13.19/13.26	c 8.05578 46.7969 2063 463935
13.19/13.26	o 411
13.19/13.28	c 8.06177 46.7969 2065 464753
13.19/13.28	o 408
13.19/13.29	c 8.07477 46.7969 2067 465407
13.19/13.29	o 407
13.39/13.42	c 8.16876 46.7969 2118 465792
13.39/13.42	o 406
13.39/13.47	c 8.20775 46.7969 2139 466075
13.39/13.47	o 405
13.39/13.49	c 8.21575 46.7969 2142 466408
13.39/13.49	o 403
13.49/13.50	c 8.22875 46.7969 2146 466596
13.49/13.50	o 402
13.49/13.53	c 8.24975 46.7969 2161 467015
13.49/13.53	o 401
13.49/13.57	c 8.27474 46.7969 2170 467278
13.49/13.57	o 400
13.59/13.62	c 8.30374 46.7969 2194 467613
13.59/13.62	o 399
13.89/13.94	c 8.49871 46.7969 2344 468314
13.89/13.94	o 398
13.99/14.04	c 8.5637 46.7969 2381 468660
13.99/14.04	o 396
13.99/14.05	c 8.5737 46.7969 2383 468908
13.99/14.05	o 395
13.99/14.06	c 8.5837 46.7969 2386 469206
13.99/14.06	o 394
13.99/14.07	c 8.59269 46.7969 2391 469438
13.99/14.07	o 393
14.09/14.10	c 8.60869 46.7969 2397 469716
14.09/14.10	o 392
14.09/14.11	c 8.61669 46.7969 2399 469892
14.09/14.11	o 391
14.09/14.12	c 8.62469 46.7969 2400 470184
14.09/14.12	o 390
14.09/14.13	c 8.63169 46.7969 2404 470439
14.09/14.13	o 389
14.09/14.14	c 8.64269 46.7969 2408 470612
14.09/14.14	o 388
14.19/14.21	c 8.68668 46.7969 2451 470826
14.19/14.21	o 387
14.19/14.24	c 8.70368 46.7969 2461 471007
14.19/14.24	o 386
14.19/14.27	c 8.72567 46.7969 2474 471280
14.19/14.27	o 385
14.19/14.29	c 8.74367 46.7969 2488 471482
14.19/14.29	o 384
14.30/14.32	c 8.75667 46.7969 2495 471843
14.30/14.32	o 383
14.30/14.36	c 8.77767 46.7969 2512 472941
14.30/14.36	o 382
14.30/14.38	c 8.78866 46.7969 2518 473154
14.30/14.38	o 381
14.30/14.39	c 8.79366 46.7969 2520 473391
14.30/14.39	o 380
14.39/14.41	c 8.80366 46.7969 2523 473772
14.39/14.41	o 378
14.39/14.43	c 8.81466 46.7969 2534 474169
14.39/14.43	o 377
14.39/14.44	c 8.81966 46.7969 2538 474614
14.39/14.44	o 376
14.39/14.48	c 8.83866 46.7969 2549 474923
14.39/14.48	o 375
14.49/14.50	c 8.84965 46.7969 2555 475257
14.49/14.50	o 374
14.49/14.51	c 8.85665 46.7969 2557 475646
14.49/14.51	o 373
14.49/14.54	c 8.86965 46.7969 2565 476047
14.49/14.54	o 370
14.59/14.61	c 8.90565 46.7969 2603 476359
14.59/14.61	o 369
14.59/14.65	c 8.92464 46.7969 2620 476900
14.59/14.65	o 368
14.69/14.75	c 8.97064 46.7969 2734 477629
14.69/14.75	o 366
14.89/14.96	c 9.05262 46.7969 2841 478280
14.89/14.96	o 365
14.89/14.98	c 9.06362 46.7969 2851 478768
14.89/14.98	o 363
14.99/15.01	c 9.07762 46.9258 2859 479084
14.99/15.01	o 362
14.99/15.03	c 9.09062 46.9258 2868 479368
14.99/15.03	o 361
14.99/15.05	c 9.09462 46.9258 2872 479682
14.99/15.05	o 360
14.99/15.06	c 9.10162 46.9258 2876 480120
14.99/15.06	o 358
14.99/15.07	c 9.10562 46.9258 2876 480404
14.99/15.07	o 357
14.99/15.08	c 9.11061 46.9258 2879 480805
14.99/15.08	o 356
15.09/15.10	c 9.12061 46.9258 2882 481582
15.09/15.10	o 353
15.09/15.12	c 9.13161 46.9258 2889 482235
15.09/15.12	o 352
15.09/15.16	c 9.15061 46.9258 2905 482644
15.09/15.16	o 351
15.19/15.21	c 9.16461 46.9258 2933 483202
15.19/15.21	o 348
15.19/15.23	c 9.17361 46.9258 2939 483521
15.19/15.23	o 347
15.19/15.28	c 9.2006 46.9258 2956 483979
15.19/15.28	o 346
15.39/15.49	c 9.31458 46.9258 3054 484402
15.39/15.49	o 345
15.49/15.51	c 9.32658 46.9258 3056 484623
15.49/15.51	o 344
15.49/15.52	c 9.33958 46.9258 3061 484814
15.49/15.52	o 343
15.49/15.58	c 9.38357 46.9258 3092 485166
15.49/15.58	o 342
15.49/15.59	c 9.39157 46.9258 3098 485522
15.49/15.59	o 341
15.59/15.63	c 9.41357 46.9258 3124 485805
15.59/15.63	o 340
15.69/15.73	c 9.47856 46.9258 3182 486232
15.69/15.73	o 339
15.69/15.76	c 9.49856 46.9258 3192 486434
15.69/15.76	o 338
15.69/15.78	c 9.50655 46.9258 3194 486782
15.69/15.78	o 337
15.79/15.81	c 9.52655 46.9258 3209 487057
15.79/15.81	o 336
15.79/15.82	c 9.53155 46.9258 3210 487287
15.79/15.82	o 335
15.79/15.84	c 9.54655 46.9258 3216 487531
15.79/15.84	o 334
15.79/15.85	c 9.55555 46.9258 3220 487828
15.79/15.85	o 333
15.79/15.87	c 9.56755 46.9258 3224 488232
15.79/15.87	o 332
15.89/15.91	c 9.59654 46.9258 3250 488640
15.89/15.91	o 331
15.89/15.93	c 9.60854 46.9258 3252 488847
15.89/15.93	o 330
15.89/15.95	c 9.63153 46.9258 3257 489139
15.89/15.95	o 329
15.89/15.97	c 9.64453 46.9258 3267 489497
15.89/15.97	o 328
15.89/15.99	c 9.65753 46.9258 3272 489852
15.89/15.99	o 326
15.99/16.02	c 9.68553 46.9258 3282 490218
15.99/16.02	o 324
15.99/16.03	c 9.69353 46.9258 3284 490562
15.99/16.03	o 323
16.19/16.24	c 9.81851 46.9258 3382 491675
16.19/16.24	o 322
16.19/16.28	c 9.8515 46.9258 3409 492043
16.19/16.28	o 321
16.29/16.32	c 9.8765 46.9258 3432 492492
16.29/16.32	o 320
16.29/16.37	c 9.91649 46.9258 3468 492722
16.29/16.37	o 319
16.29/16.40	c 9.93049 46.9258 3476 493056
16.29/16.40	o 318
16.40/16.45	c 9.97048 46.9258 3511 493420
16.40/16.45	o 317
16.69/16.71	c 10.1425 47.0547 3616 494045
16.69/16.71	o 315
16.69/16.72	c 10.1505 47.0547 3626 494294
16.69/16.72	o 314
16.69/16.76	c 10.1795 47.0547 3649 494670
16.69/16.76	o 312
16.69/16.78	c 10.1924 47.0547 3655 494852
16.69/16.78	o 311
16.69/16.79	c 10.2054 47.0547 3661 495118
16.69/16.79	o 310
16.79/16.81	c 10.2124 47.0547 3663 495595
16.79/16.81	o 309
16.79/16.84	c 10.2334 47.0547 3676 496055
16.79/16.84	o 308
16.79/16.85	c 10.2424 47.0547 3677 496253
16.79/16.85	o 307
16.79/16.89	c 10.2634 47.0547 3692 496509
16.79/16.89	o 306
16.99/17.02	c 10.3474 47.0547 1915 496784
16.99/17.02	o 305
16.99/17.03	c 10.3544 47.0547 1918 496923
16.99/17.03	o 304
16.99/17.05	c 10.3674 47.0547 1928 497139
16.99/17.05	o 303
16.99/17.08	c 10.3874 47.0547 1936 497331
16.99/17.08	o 302
16.99/17.09	c 10.3994 47.0547 1944 498021
16.99/17.09	o 299
17.09/17.11	c 10.4084 47.0547 1948 498276
17.09/17.11	o 298
17.09/17.12	c 10.4194 47.0547 1953 498677
17.09/17.12	o 297
17.09/17.14	c 10.4334 47.0547 1958 499283
17.09/17.14	o 296
17.09/17.16	c 10.4454 47.0547 1960 499695
17.09/17.16	o 295
17.09/17.17	c 10.4544 47.0547 1964 500166
17.09/17.17	o 294
17.09/17.19	c 10.4664 47.0547 1970 500531
17.09/17.19	o 292
17.19/17.21	c 10.4834 47.0547 1975 500817
17.19/17.21	o 290
17.19/17.22	c 10.4974 47.0547 1978 501249
17.19/17.22	o 289
17.19/17.26	c 10.5194 47.0547 1985 501507
17.19/17.26	o 288
17.29/17.31	c 10.5594 47.0547 2014 501896
17.29/17.31	o 287
17.29/17.35	c 10.5824 47.0547 2034 502416
17.29/17.35	o 286
17.39/17.48	c 10.6674 47.0547 2093 502834
17.39/17.48	o 285
17.49/17.54	c 10.7054 47.0547 2124 502987
17.49/17.54	o 284
17.49/17.56	c 10.7204 47.0547 2133 503304
17.49/17.56	o 283
17.49/17.59	c 10.7374 47.0547 2142 503589
17.49/17.59	o 282
17.60/17.63	c 10.7604 47.0547 2163 503853
17.60/17.63	o 281
17.60/17.64	c 10.7684 47.0547 2167 504066
17.60/17.64	o 280
17.60/17.67	c 10.7864 47.0547 2176 504440
17.60/17.67	o 278
17.60/17.68	c 10.8044 47.0547 2182 504682
17.60/17.69	o 277
17.69/17.70	c 10.8164 47.0547 2184 504803
17.69/17.70	o 276
17.69/17.72	c 10.8294 47.0547 2189 504967
17.69/17.72	o 275
17.69/17.73	c 10.8344 47.0547 2191 505319
17.69/17.73	o 273
17.69/17.74	c 10.8434 47.0547 2193 505605
17.69/17.74	o 271
17.69/17.76	c 10.8543 47.0547 2199 505953
17.69/17.76	o 270
17.69/17.77	c 10.8633 47.0547 2201 506052
17.69/17.77	o 269
17.69/17.78	c 10.8713 47.0547 2203 506203
17.69/17.78	o 268
17.79/17.80	c 10.8873 47.0547 2215 506381
17.79/17.80	o 267
17.99/18.05	c 11.0343 47.0547 2326 507013
17.99/18.05	o 266
17.99/18.08	c 11.0533 47.0547 2333 507458
17.99/18.08	o 264
18.09/18.10	c 11.0673 47.0547 2338 507841
18.09/18.10	o 263
18.09/18.11	c 11.0723 47.0547 2343 507997
18.09/18.11	o 262
18.09/18.12	c 11.0833 47.0547 2348 508394
18.09/18.12	o 259
18.09/18.14	c 11.0953 47.0547 2352 508584
18.09/18.14	o 258
18.09/18.16	c 11.1083 47.0547 2361 508921
18.09/18.16	o 257
18.09/18.17	c 11.1183 47.0547 2365 509131
18.09/18.17	o 256
18.29/18.33	c 11.2273 47.0547 2437 510209
18.29/18.33	o 253
18.39/18.47	c 11.3183 47.0547 2510 510616
18.39/18.47	o 252
18.39/18.49	c 11.3283 47.0547 2513 510809
18.39/18.49	o 251
18.49/18.51	c 11.3433 47.0547 2525 511112
18.49/18.51	o 250
18.49/18.54	c 11.3613 47.0547 2550 511467
18.49/18.54	o 247
18.49/18.56	c 11.3783 47.0547 2557 511720
18.49/18.56	o 246
18.49/18.60	c 11.4003 47.0547 2569 511903
18.49/18.60	o 245
18.60/18.61	c 11.4093 47.0547 2573 512130
18.60/18.61	o 244
18.60/18.63	c 11.4253 47.0547 2579 512389
18.60/18.63	o 243
18.60/18.64	c 11.4343 47.0547 2582 512594
18.60/18.64	o 242
18.60/18.65	c 11.4413 47.0547 2583 512747
18.60/18.65	o 241
18.60/18.66	c 11.4493 47.0547 2588 512922
18.60/18.66	o 240
18.60/18.68	c 11.4633 47.0547 2596 513157
18.60/18.68	o 239
18.60/18.69	c 11.4743 47.0547 2600 513342
18.60/18.69	o 238
18.70/18.73	c 11.5003 47.0547 2628 513571
18.70/18.73	o 237
18.70/18.74	c 11.5092 47.0547 2631 513772
18.70/18.74	o 235
18.70/18.75	c 11.5172 47.0547 2637 514063
18.70/18.75	o 234
18.70/18.77	c 11.5272 47.0547 2644 514302
18.70/18.77	o 233
18.70/18.78	c 11.5332 47.0547 2648 514471
18.70/18.78	o 232
19.09/19.10	c 11.7292 47.0547 2764 515380
19.09/19.10	o 231
19.09/19.16	c 11.7642 47.0547 2792 515995
19.09/19.16	o 230
19.19/19.20	c 11.7982 47.0547 2802 516202
19.19/19.20	o 229
19.19/19.21	c 11.8072 47.0547 2806 516382
19.19/19.21	o 228
19.19/19.24	c 11.8212 47.0547 2819 516735
19.19/19.24	o 227
19.19/19.29	c 11.8662 47.0547 2850 517063
19.19/19.29	o 226
19.29/19.30	c 11.8732 47.0547 2851 517312
19.29/19.30	o 224
19.29/19.32	c 11.8872 47.0547 2886 517600
19.29/19.32	o 223
19.29/19.34	c 11.9022 47.0547 2904 517864
19.29/19.34	o 222
19.49/19.50	c 12.0062 47.0547 2974 518138
19.49/19.50	o 221
19.49/19.53	c 12.0272 47.0547 2999 518426
19.49/19.53	o 220
19.59/19.60	c 12.0702 47.0547 3031 518621
19.59/19.60	o 219
19.59/19.63	c 12.0952 47.0547 3056 518889
19.59/19.63	o 218
19.59/19.66	c 12.1052 47.0547 3074 519123
19.59/19.66	o 217
19.59/19.67	c 12.1152 47.0547 3080 519372
19.59/19.67	o 215
19.59/19.69	c 12.1272 47.0547 3082 519762
19.59/19.69	o 212
19.70/19.73	c 12.1512 47.0547 3088 520023
19.70/19.73	o 211
19.70/19.75	c 12.1701 47.0547 3098 520285
19.70/19.75	o 210
19.70/19.78	c 12.1941 47.0547 3107 520502
19.70/19.78	o 209
19.70/19.80	c 12.2051 47.0547 3114 520801
19.70/19.80	o 207
19.79/19.82	c 12.2171 47.0547 3119 520972
19.79/19.82	o 206
19.79/19.83	c 12.2261 47.0547 3125 521164
19.79/19.83	o 205
19.79/19.87	c 12.2501 47.0547 3136 521471
19.79/19.87	o 203
19.79/19.88	c 12.2621 47.0547 3148 521612
19.79/19.88	o 202
19.99/20.08	c 12.3971 47.0547 3302 522468
19.99/20.08	o 201
20.19/20.23	c 12.5011 47.0547 3394 522934
20.19/20.23	o 200
20.19/20.24	c 12.5131 47.0547 3396 523083
20.19/20.24	o 199
20.19/20.26	c 12.5211 47.0547 3404 523277
20.19/20.26	o 198
20.29/20.39	c 12.6121 47.1836 3511 523969
20.29/20.39	o 197
20.39/20.45	c 12.6591 47.1836 3578 524477
20.39/20.45	o 193
20.39/20.49	c 12.6911 47.1836 3634 524898
20.39/20.49	o 191
20.49/20.55	c 12.7311 47.1836 3658 525527
20.49/20.55	o 190
20.49/20.57	c 12.7431 47.1836 3666 525749
20.49/20.57	o 188
20.59/20.64	c 12.7951 47.1836 3719 526121
20.59/20.64	o 186
20.59/20.67	c 12.8181 47.1836 3733 526314
20.59/20.67	o 185
20.59/20.69	c 12.831 47.1836 3740 526641
20.59/20.69	o 184
20.69/20.72	c 12.856 47.1836 3774 526884
20.69/20.72	o 183
20.80/20.85	c 12.938 47.1836 3852 527247
20.80/20.85	o 182
20.80/20.87	c 12.947 47.1836 1944 527388
20.80/20.87	o 181
21.09/21.12	c 13.026 47.1836 2075 528136
21.09/21.12	o 180
21.09/21.15	c 13.037 47.1836 2083 528245
21.09/21.15	o 179
21.09/21.16	c 13.044 47.1836 2088 528397
21.09/21.16	o 178
21.09/21.18	c 13.058 47.1836 2090 528520
21.09/21.18	o 177
21.09/21.19	c 13.063 47.1836 2095 528818
21.09/21.19	o 176
21.19/21.21	c 13.071 47.1836 2098 529096
21.19/21.21	o 175
21.19/21.24	c 13.086 47.1836 2129 529253
21.19/21.24	o 174
21.19/21.27	c 13.103 47.1836 2166 529502
21.19/21.27	o 173
21.29/21.34	c 13.147 47.1836 2239 529894
21.29/21.34	o 172
21.49/21.58	c 13.223 47.1836 2350 530459
21.49/21.58	o 171
21.59/21.61	c 13.233 47.1836 2362 530604
21.59/21.61	o 170
21.59/21.62	c 13.241 47.1836 2378 530783
21.59/21.62	o 169
21.59/21.64	c 13.249 47.1836 2389 531009
21.59/21.64	o 168
21.59/21.66	c 13.26 47.1836 2395 531311
21.59/21.66	o 166
21.59/21.67	c 13.266 47.1836 2401 531539
21.59/21.67	o 165
21.69/21.74	c 13.301 47.1836 2436 531781
21.69/21.74	o 164
21.69/21.77	c 13.314 47.1836 2446 531901
21.69/21.77	o 163
21.69/21.79	c 13.325 47.1836 2463 532057
21.69/21.79	o 162
21.79/21.81	c 13.335 47.1836 2467 532225
21.79/21.81	o 161
21.79/21.82	c 13.342 47.1836 2467 532372
21.79/21.82	o 160
21.79/21.83	c 13.35 47.1836 2469 532563
21.79/21.83	o 159
21.79/21.84	c 13.358 47.1836 2470 532821
21.79/21.84	o 157
21.79/21.86	c 13.37 47.1836 2473 533002
21.79/21.86	o 156
21.79/21.88	c 13.376 47.1836 2480 533260
21.79/21.88	o 155
21.79/21.90	c 13.389 47.1836 2483 533362
21.79/21.90	o 154
21.90/21.91	c 13.399 47.1836 2486 533501
21.90/21.91	o 153
21.90/21.93	c 13.409 47.1836 2490 533610
21.90/21.93	o 152
22.00/22.03	c 13.469 47.1836 2603 534466
22.00/22.03	o 150
22.00/22.04	c 13.475 47.1836 2605 534913
22.00/22.04	o 149
22.00/22.05	c 13.4849 47.1836 2605 535264
22.00/22.05	o 148
22.00/22.06	c 13.4919 47.1836 2606 535736
22.00/22.06	o 145
22.00/22.07	c 13.4989 47.1836 2607 536341
22.00/22.07	o 142
22.09/22.12	c 13.5269 47.1836 2625 536644
22.09/22.12	o 141
22.09/22.13	c 13.5359 47.1836 2632 536840
22.09/22.13	o 140
22.09/22.14	c 13.5429 47.1836 2641 537014
22.09/22.14	o 139
22.09/22.15	c 13.5469 47.1836 2642 537124
22.09/22.15	o 138
22.09/22.18	c 13.5609 47.1836 2651 537407
22.09/22.18	o 136
22.19/22.26	c 13.6009 47.3125 2715 537843
22.19/22.26	o 135
22.29/22.39	c 13.6789 47.3125 2791 538498
22.29/22.39	o 134
22.39/22.41	c 13.6879 47.6289 2797 538663
22.39/22.41	o 132
22.39/22.47	c 13.7309 47.6289 2862 538958
22.39/22.47	o 131
22.49/22.54	c 13.7739 47.6289 2914 539395
22.49/22.54	o 129
22.49/22.56	c 13.7889 47.6289 2921 539883
22.49/22.56	o 127
22.49/22.59	c 13.8069 47.6289 2931 540046
22.49/22.59	o 126
22.59/22.60	c 13.8169 47.6289 2934 540173
22.59/22.60	o 125
22.59/22.61	c 13.8249 47.6289 2934 540263
22.59/22.61	o 124
22.59/22.62	c 13.8309 47.6289 2935 540396
22.59/22.62	o 123
22.59/22.63	c 13.8369 47.6289 2935 540478
22.59/22.63	o 122
22.59/22.66	c 13.8589 47.6289 2954 540695
22.59/22.66	o 121
22.69/22.71	c 13.8969 47.6289 2982 541044
22.69/22.71	o 120
22.69/22.74	c 13.9159 47.6289 3042 541437
22.69/22.74	o 116
22.69/22.75	c 13.9229 47.6289 3046 541713
22.69/22.75	o 113
22.69/22.77	c 13.9409 47.6289 3078 542051
22.69/22.77	o 112
22.79/22.84	c 13.9849 47.6289 3106 542475
22.79/22.84	o 111
22.79/22.85	c 13.9979 47.6289 3124 542658
22.79/22.85	o 110
22.79/22.86	c 14.0049 47.6289 3124 542782
22.79/22.86	o 109
22.79/22.87	c 14.0109 47.6289 3124 542933
22.79/22.87	o 108
22.79/22.88	c 14.0189 47.6289 3124 543042
22.79/22.88	o 107
22.79/22.89	c 14.0259 47.6289 3124 543136
22.79/22.89	o 106
22.89/22.90	c 14.0339 47.6289 3125 543306
22.89/22.90	o 104
22.89/22.91	c 14.0399 47.6289 3125 543393
22.89/22.91	o 103
22.89/22.92	c 14.0469 47.6289 3128 543525
22.89/22.92	o 102
22.89/22.93	c 14.0529 47.6289 3130 543610
22.89/22.93	o 101
22.89/22.95	c 14.0689 47.6289 3143 543786
22.89/22.95	o 100
22.89/22.97	c 14.0799 47.6289 3147 543931
22.89/22.97	o 99
22.89/22.98	c 14.0899 47.6289 3148 544116
22.89/22.98	o 98
22.89/22.99	c 14.1009 47.6289 3152 544328
22.89/22.99	o 97
23.09/23.13	c 14.2098 47.6289 3103 544873
23.09/23.13	o 96
23.09/23.16	c 14.2238 47.6289 3123 545082
23.09/23.16	o 94
23.09/23.17	c 14.2308 47.6289 3123 545259
23.09/23.17	o 92
23.09/23.18	c 14.2358 47.6289 3123 545384
23.09/23.18	o 90
23.09/23.19	c 14.2428 47.6289 3126 545509
23.09/23.19	o 88
23.19/23.21	c 14.2598 47.6289 3143 545672
23.19/23.21	o 87
23.19/23.24	c 14.2808 47.6289 3161 546060
23.19/23.24	o 86
23.19/23.25	c 14.2948 47.6289 2868 546281
23.19/23.25	o 83
23.19/23.28	c 14.3138 47.6289 2879 546898
23.19/23.28	o 82
23.19/23.29	c 14.3228 47.6289 2887 547179
23.19/23.29	o 81
23.29/23.34	c 14.3558 47.6289 2928 547448
23.29/23.34	o 80
23.29/23.36	c 14.3658 47.6289 2936 547716
23.29/23.36	o 79
23.29/23.37	c 14.3718 47.6289 2734 547871
23.29/23.37	o 77
23.29/23.39	c 14.3828 47.6289 2772 548214
23.29/23.39	o 75
23.39/23.40	c 14.3898 47.6289 2777 548361
23.39/23.40	o 74
23.39/23.43	c 14.4038 47.6289 2790 548594
23.39/23.43	o 73
23.39/23.45	c 14.4098 47.6289 2797 548714
23.39/23.45	o 72
23.39/23.46	c 14.4158 47.6289 2802 548832
23.39/23.46	o 71
23.39/23.47	c 14.4248 47.6289 2809 549010
23.39/23.47	o 70
23.39/23.49	c 14.4388 47.6289 2218 549199
23.39/23.49	o 69
23.50/23.51	c 14.4448 47.6289 2226 549344
23.50/23.51	o 68
23.50/23.51	c 14.4488 47.6289 2227 549409
23.50/23.51	o 67
23.50/23.54	c 14.4648 47.6289 2239 549573
23.50/23.54	o 66
23.50/23.55	c 14.4698 47.6289 2242 549786
23.50/23.55	o 64
23.50/23.56	c 14.4748 47.6289 2246 549903
23.50/23.56	o 63
23.50/23.57	c 14.4818 47.6289 1997 550015
23.50/23.57	o 62
23.50/23.58	c 14.4868 47.6289 2001 550102
23.50/23.58	o 61
23.50/23.58	c 14.4898 47.6289 2003 550208
23.50/23.58	o 60
23.59/23.60	c 14.4998 47.6289 2015 550312
23.59/23.60	o 59
23.59/23.61	c 14.5078 47.6289 2024 550541
23.59/23.61	o 58
23.59/23.62	c 14.5128 47.6289 2037 550698
23.59/23.62	o 57
23.69/23.70	c 14.5548 47.6289 2086 550930
23.69/23.70	o 55
23.69/23.70	c 14.5608 47.6289 1996 550982
23.69/23.70	o 54
23.69/23.71	c 14.5668 47.6289 2001 551035
23.69/23.71	o 53
23.69/23.72	c 14.5708 47.6289 2008 551086
23.69/23.72	o 52
23.69/23.74	c 14.5888 47.6289 2057 551301
23.69/23.74	o 51
23.69/23.75	c 14.5918 47.6289 2057 551367
23.69/23.75	o 50
23.69/23.76	c 14.5958 47.6289 2058 551435
23.69/23.76	o 49
23.69/23.76	c 14.5988 47.6289 2058 551492
23.69/23.76	o 48
23.69/23.77	c 14.6048 47.6289 2059 551557
23.69/23.77	o 47
23.69/23.78	c 14.6078 47.6289 1855 551623
23.69/23.78	o 46
23.69/23.78	c 14.6118 47.6289 1855 551689
23.69/23.78	o 45
23.69/23.79	c 14.6158 47.6289 1855 551755
23.69/23.79	o 44
23.69/23.79	c 14.6208 47.6289 1855 551818
23.69/23.79	o 43
23.79/23.80	c 14.6298 47.6289 1868 551919
23.79/23.80	o 42
23.79/23.81	c 14.6358 47.6289 1872 552111
23.79/23.81	o 40
23.79/23.82	c 14.6408 47.6289 1877 552272
23.79/23.82	o 39
23.79/23.84	c 14.6518 47.6289 1905 552474
23.79/23.84	o 38
23.79/23.85	c 14.6568 47.6289 1757 552612
23.79/23.85	o 37
23.79/23.86	c 14.6618 47.6289 1758 552674
23.79/23.86	o 36
23.79/23.86	c 14.6678 47.6289 1758 552723
23.79/23.86	o 35
23.79/23.87	c 14.6718 47.6289 1759 552789
23.79/23.87	o 34
23.89/23.90	c 14.6948 47.6289 1834 552936
23.89/23.90	o 33
23.89/23.90	c 14.6968 47.6289 1800 553046
23.89/23.90	o 32
23.89/23.91	c 14.7028 47.6289 1801 553165
23.89/23.91	o 31
23.89/23.91	c 14.7078 47.6289 1806 553310
23.89/23.91	o 30
23.89/23.92	c 14.7118 47.6289 1814 553429
23.89/23.92	o 29
23.89/23.93	c 14.7188 47.6289 1818 553670
23.89/23.93	o 27
23.89/23.93	c 14.7218 47.6289 1821 553738
23.89/23.93	o 26
23.89/23.95	c 14.7298 47.6289 1835 553946
23.89/23.95	o 25
23.89/23.96	c 14.7388 47.6289 1848 554077
23.89/23.96	o 24
23.89/23.96	c 14.7408 47.6289 1808 554202
23.89/23.96	o 23
23.89/23.97	c 14.7458 47.6289 1813 554288
23.89/23.97	o 22
23.89/23.98	c 14.7558 47.6289 1845 554433
23.89/23.98	o 20
23.89/23.99	c 14.7598 47.6289 1853 554527
23.89/23.99	o 19
23.99/24.01	c 14.7798 47.6289 1894 554714
23.99/24.01	o 18
23.99/24.02	c 14.7858 47.6289 1848 554844
23.99/24.02	o 17
23.99/24.03	c 14.7908 47.6289 1856 554922
23.99/24.03	o 16
23.99/24.03	c 14.7948 47.6289 1860 554977
23.99/24.03	o 15
23.99/24.05	c 14.8037 47.6289 1873 555102
23.99/24.05	o 14
23.99/24.06	c 14.8227 47.6289 1949 555265
23.99/24.06	o 13
23.99/24.07	c 14.8307 47.6289 1876 555388
23.99/24.07	o 12
23.99/24.08	c 14.8357 47.6289 1890 555505
23.99/24.08	o 11
23.99/24.09	c 14.8477 47.6289 1919 555588
23.99/24.09	o 10
23.99/24.10	c 14.8507 47.6289 1924 555650
23.99/24.10	o 9
24.10/24.15	c 14.8977 47.6289 2059 556025
24.10/24.15	o 8
24.10/24.15	c 14.9017 47.6289 2068 556116
24.10/24.15	o 7
24.10/24.16	c 14.9057 47.6289 2072 556160
24.10/24.16	o 6
24.10/24.16	c 14.9087 47.6289 2074 556204
24.10/24.16	o 5
24.10/24.18	c 14.9247 47.6289 2138 556369
24.10/24.18	o 4
24.10/24.18	c 14.9277 47.6289 1875 556408
24.10/24.18	o 3
24.10/24.19	c 14.9387 47.6289 1914 556529
24.10/24.19	o 2
24.10/24.20	c 14.9397 47.6289 1914 556529
24.10/24.20	s OPTIMUM FOUND
24.10/24.20	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 -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 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 x93 -x94 -x95 x96 x97 x98 x99 -x100 x101 -x102 x103 x104 x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 x116 x117 -x118 -x119 x120 x121 x122 -x123 x124 x125 x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 x136 -x137 x138 -x139 x140 -x141 x142 -x143 -x144 x145 x146 -x147 x148 -x149 x150 x151 x152 x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 x266 x267 x268 x269 x270 x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 x298 x299 x300 x301 -x302 x303 -x304 -x305 x306 x307 x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 x332 x333 x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 x357 x358 x359 -x360 x361 x362 x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 x378 -x379 x380 -x381 x382 -x383 x384 -x385 x386 -x387 x388 -x389 x390 -x391 x392 -x393 x394 -x395 x396 x397 x398 x399 x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 x444 -x445 -x446 x447 x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 x614 x615 x616 x617 x618 x619 x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 x667 x668 x669 x670 x671 x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 x706 x707 x708 x709 x710 -x711 x712 -x713 -x714 -x715 x716 x717 x718 x719 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 x767 x768 x769 x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 x840 x841 x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 x999 x1000 x1001 x1002 x1003 x1004 x1005 x1006 x1007 x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 x1081 x1082 x1083 x1084 x1085 x1086 x1087 x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 x1144 x1145 x1146 x1147 x1148 x1149 x1150 x1151 -x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 x1192 x1193 x1194 x1195 x1196 x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 x1204 x1205 x1206 x1207 x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 x1293 x1294 x1295 x1296 x1297 x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 x1463 x1464 x1465 x1466 -x1467 -x1468 -x1469 x1470 -x1471 -x1472 -x1473 x1474 -x1475 -x1476 x1477 -x1478 -x1479 x1480 x1481 x1482 -x1483 -x1484 -x1485 x1486 -x1487 x1488 x1489 x1490 x1491 x1492 x1493 x1494 x1495 x1496 -x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 x1504 -x1505 x1506 -x1507 x1508 -x1509 x1510 -x1511 x1512 x1513 x1514 x1515 x1516 x1517 x1518 -x1519 x1520 x1521 x1522 -x1523 x1524 -x1525 -x1526 x1527 x1528 x1529 -x1530 -x1531 -x1532 x1533 -x1534 x1535 x1536 x1537 x1538 x1539 x1540 x1541 -x1542 -x1543 -x1544 x1545 x1546 x1547 -x1548 -x1549 x1550 x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 x1565 -x1566 -x1567 -x1568 -x1569 x1570 x1571 x1572 x1573 x1574 -x1575 x1576 -x1577 -x1578 x1579 x1580 x1581 x1582 x1583 x1584 x1585 -x1586 x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 x1614 x1615 x1616 x1617 x1618 x1619 x1620 x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 x1784 x1785 x1786 x1787 -x1788 -x1789 -x1790 -x1791 -x1792 x1793 x1794 x1795 -x1796 x1797 -x1798 x1799 -x1800 x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 x1813 x1814 -x1815 x1816 x1817 -x1818 x1819 x1820 -x1821 x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x1840 x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 x1881 x1882 x1883 -x1884 x1885 -x1886 -x1887 -x1888 -x1889 x1890 x1891 x1892 x1893 x1894 -x1895 -x1896 -x1897 -x1898 x1899 -x1900 -x1901 -x1902 x1903 x1904 x1905 x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 x1913 -x1914 -x1915 x1916 x1917 x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 x1927 -x1928 x1929 x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 x2116 x2117 x2118 x2119 x2120 x2121 -x2122 x2123 x2124 x2125 -x2126 x2127 x2128 x2129 -x2130 -x2131 x2132 -x2133 x2134 -x2135 x2136 -x2137 x2138 -x2139 -x2140 x2141 x2142 x2143 x2144 x2145 -x2146 -x2147 x2148 -x2149 x2150 -x2151 -x2152 x2153 x2154 x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 x2168 x2169 x2170 -x2171 -x2172 x2173 x2174 -x2175 -x2176 x2177 x2178 -x2179 -x2180 x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 -x2200 -x2201 x2202 -x2203 -x2204 -x2205 x2206 -x2207 -x2208 -x2209 x2210 x2211 x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 x2311 -x2312 x2313 -x2314 x2315 -x2316 x2317 -x2318 -x2319 -x2320 x2321 -x2322 -x2323 x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 x2331 -x2332 x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 -x2342 -x2343 -x2344 x2345 -x2346 x2347 x2348 -x2349 -x2350 x2351 -x2352 x2353 -x2354 -x2355

Verifier Data 

OK	2

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698912-1278461835/watcher-2698912-1278461835 -o /tmp/evaluation-result-2698912-1278461835/solver-2698912-1278461835 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698912-1278461835.wbo 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 13370
/proc/meminfo: memFree=30074912/32950928 swapFree=67111528/67111528
[pid=13370] ppid=13368 vsize=2136 CPUtime=0
/proc/13370/stat : 13370 (pbct) R 13368 13370 12672 0 -1 4202496 257 0 0 0 0 0 0 0 25 0 1 0 14397387 2187264 176 4089446400 134512640 136422188 4293190576 18446744073709551615 135372802 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13370/statm: 534 176 144 467 0 65 0

[startup+0.061663 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 13370
/proc/meminfo: memFree=30074912/32950928 swapFree=67111528/67111528
[pid=13370] ppid=13368 vsize=11136 CPUtime=0.05
/proc/13370/stat : 13370 (pbct) R 13368 13370 12672 0 -1 4202496 2487 0 0 0 5 0 0 0 25 0 1 0 14397387 11403264 2406 4089446400 134512640 136422188 4293190576 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13370/statm: 2784 2412 193 467 0 2315 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11136

[startup+0.100656 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 13370
/proc/meminfo: memFree=30074912/32950928 swapFree=67111528/67111528
[pid=13370] ppid=13368 vsize=21272 CPUtime=0.09
/proc/13370/stat : 13370 (pbct) R 13368 13370 12672 0 -1 4202496 4984 0 0 0 9 0 0 0 25 0 1 0 14397387 21782528 4837 4089446400 134512640 136422188 4293190576 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13370/statm: 5318 4839 193 467 0 4849 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21272

[startup+0.300621 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 13370
/proc/meminfo: memFree=30074912/32950928 swapFree=67111528/67111528
[pid=13370] ppid=13368 vsize=46852 CPUtime=0.29
/proc/13370/stat : 13370 (pbct) R 13368 13370 12672 0 -1 4202496 11633 0 0 0 25 4 0 0 25 0 1 0 14397387 47976448 10847 4089446400 134512640 136422188 4293190576 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13370/statm: 11713 10847 213 467 0 11244 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46852

[startup+0.70055 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 13370
/proc/meminfo: memFree=30074912/32950928 swapFree=67111528/67111528
[pid=13370] ppid=13368 vsize=47388 CPUtime=0.69
/proc/13370/stat : 13370 (pbct) R 13368 13370 12672 0 -1 4202496 11765 0 0 0 51 18 0 0 25 0 1 0 14397387 48525312 10971 4089446400 134512640 136422188 4293190576 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13370/statm: 11847 10971 236 467 0 11378 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47388

[startup+1.50041 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13371
/proc/meminfo: memFree=30031628/32950928 swapFree=67111528/67111528
[pid=13370] ppid=13368 vsize=47388 CPUtime=1.49
/proc/13370/stat : 13370 (pbct) R 13368 13370 12672 0 -1 4202496 11778 0 0 0 94 55 0 0 18 0 1 0 14397387 48525312 10973 4089446400 134512640 136422188 4293190576 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13370/statm: 11847 10973 237 467 0 11378 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47388

[startup+3.10012 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13371
/proc/meminfo: memFree=30031504/32950928 swapFree=67111528/67111528
[pid=13370] ppid=13368 vsize=47520 CPUtime=3.09
/proc/13370/stat : 13370 (pbct) R 13368 13370 12672 0 -1 4202496 11814 0 0 0 178 131 0 0 21 0 1 0 14397387 48660480 10980 4089446400 134512640 136422188 4293190576 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13370/statm: 11880 10980 237 467 0 11411 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47520

[startup+6.30055 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13371
/proc/meminfo: memFree=30031652/32950928 swapFree=67111528/67111528
[pid=13370] ppid=13368 vsize=47784 CPUtime=6.29
/proc/13370/stat : 13370 (pbct) R 13368 13370 12672 0 -1 4202496 11936 0 0 0 384 245 0 0 18 0 1 0 14397387 48930816 11046 4089446400 134512640 136422188 4293190576 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13370/statm: 11946 11046 237 467 0 11477 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47784

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13371
/proc/meminfo: memFree=30032320/32950928 swapFree=67111528/67111528
[pid=13370] ppid=13368 vsize=47916 CPUtime=12.69
/proc/13370/stat : 13370 (pbct) R 13368 13370 12672 0 -1 4202496 12130 0 0 0 768 501 0 0 19 0 1 0 14397387 49065984 11110 4089446400 134512640 136422188 4293190576 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13370/statm: 11979 11110 237 467 0 11510 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47916

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

[startup+19.1003 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13371
/proc/meminfo: memFree=30032544/32950928 swapFree=67111528/67111528
[pid=13370] ppid=13368 vsize=48180 CPUtime=19.09
/proc/13370/stat : 13370 (pbct) R 13368 13370 12672 0 -1 4202496 12360 0 0 0 1172 737 0 0 23 0 1 0 14397387 49336320 11175 4089446400 134512640 136422188 4293190576 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13370/statm: 12045 11175 237 467 0 11576 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 48180

[startup+22.3007 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13371
/proc/meminfo: memFree=30032308/32950928 swapFree=67111528/67111528
[pid=13370] ppid=13368 vsize=48444 CPUtime=22.29
/proc/13370/stat : 13370 (pbct) R 13368 13370 12672 0 -1 4202496 12487 0 0 0 1362 867 0 0 20 0 1 0 14397387 49606656 11225 4089446400 134512640 136422188 4293190576 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13370/statm: 12111 11225 237 467 0 11642 0
Current children cumulated CPU time (s) 22.29
Current children cumulated vsize (KiB) 48444

[startup+23.1056 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13371
/proc/meminfo: memFree=30032060/32950928 swapFree=67111528/67111528
[pid=13370] ppid=13368 vsize=48768 CPUtime=23.09
/proc/13370/stat : 13370 (pbct) R 13368 13370 12672 0 -1 4202496 12570 0 0 0 1418 891 0 0 22 0 1 0 14397387 49938432 11279 4089446400 134512640 136422188 4293190576 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13370/statm: 12192 11279 237 467 0 11723 0
Current children cumulated CPU time (s) 23.09
Current children cumulated vsize (KiB) 48768

[startup+23.9004 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13371
/proc/meminfo: memFree=30032060/32950928 swapFree=67111528/67111528
[pid=13370] ppid=13368 vsize=48768 CPUtime=23.89
/proc/13370/stat : 13370 (pbct) R 13368 13370 12672 0 -1 4202496 12623 0 0 0 1469 920 0 0 25 0 1 0 14397387 49938432 11280 4089446400 134512640 136422188 4293190576 18446744073709551615 134856320 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13370/statm: 12192 11280 237 467 0 11723 0
Current children cumulated CPU time (s) 23.89
Current children cumulated vsize (KiB) 48768

[startup+24.1004 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13371
/proc/meminfo: memFree=30032176/32950928 swapFree=67111528/67111528
[pid=13370] ppid=13368 vsize=48768 CPUtime=24.1
/proc/13370/stat : 13370 (pbct) R 13368 13370 12672 0 -1 4202496 12648 0 0 0 1485 925 0 0 25 0 1 0 14397387 49938432 11282 4089446400 134512640 136422188 4293190576 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13370/statm: 12192 11282 237 467 0 11723 0
Current children cumulated CPU time (s) 24.1
Current children cumulated vsize (KiB) 48768

[startup+24.2064 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13371
/proc/meminfo: memFree=30032176/32950928 swapFree=67111528/67111528
[pid=13370] ppid=13368 vsize=47668 CPUtime=24.2
/proc/13370/stat : 13370 (pbct) R 13368 13370 12672 0 -1 4202496 12659 0 0 0 1494 926 0 0 25 0 1 0 14397387 48812032 11089 4089446400 134512640 136422188 4293190576 18446744073709551615 135806255 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13370/statm: 11917 11089 240 467 0 11448 0
Current children cumulated CPU time (s) 24.2
Current children cumulated vsize (KiB) 47668

Child status: 0
Real time (s): 24.2735
CPU time (s): 24.2743
CPU user time (s): 15.0107
CPU system time (s): 9.26359
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 48768

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

runsolver used 0.039993 second user time and 0.095985 second system time

The end

Launcher Data 

Begin job on node123 at 2010-07-07 02:17:15
IDJOB=2698912
IDBENCH=79044
IDSOLVER=1212
FILE ID=node123/2698912-1278461835
PBS_JOBID= 11233746
Free space on /tmp= 73748 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-cache.inv8.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698912-1278461835/watcher-2698912-1278461835 -o /tmp/evaluation-result-2698912-1278461835/solver-2698912-1278461835 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2698912-1278461835.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 95fc93b9bf9d7a2900db6241c7ee4c87
RANDOM SEED=934948857

node123.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5354.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30075432 kB
Buffers:        107320 kB
Cached:        2551792 kB
SwapCached:          0 kB
Active:         705488 kB
Inactive:      2029932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30075432 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2376 kB
Writeback:           0 kB
AnonPages:       76600 kB
Mapped:          15620 kB
Slab:            74708 kB
PageTables:       4908 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   221828 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73748 MiB
End job on node123 at 2010-07-07 02:17:39