Trace number 459118

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
PBS4_v2 2007-03-23SAT (TO)773 1800.12 1800.92

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.b.opb
MD5SUM0b80319f4195f1e1329c2c4b63b416b0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark54
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 45
Optimality of the best value was proved NO
Number of variables5203
Total number of constraints19637
Number of constraints which are clauses19637
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint11
Maximum length of a constraint360
Number of terms in the objective function 5203
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5203
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5203
Number of bits of the biggest sum of numbers13
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/459118-1178649273/instance-459118-1178649273.opb ......
3.79/3.87	c done parsing opb.
3.79/3.87	o 5037
3.99/4.00	o 5024
4.09/4.13	o 5023
4.19/4.26	o 5022
4.29/4.38	o 5020
4.49/4.51	o 5019
4.59/4.64	o 5018
4.69/4.77	o 5017
4.79/4.89	o 5016
4.99/5.02	o 5015
5.09/5.15	o 5014
5.19/5.28	o 5013
5.39/5.40	o 5012
5.49/5.53	o 5011
5.59/5.66	o 5010
5.69/5.79	o 5009
5.89/5.91	o 5008
5.99/6.04	o 5007
6.09/6.17	o 5006
6.19/6.29	o 5005
6.39/6.42	o 5004
6.50/6.55	o 5003
6.59/6.67	o 5002
6.79/6.80	o 5001
6.89/6.93	o 5000
6.99/7.05	o 4999
7.09/7.18	o 4998
7.29/7.31	o 4997
7.39/7.43	o 4996
7.49/7.56	o 4995
7.59/7.69	o 4994
7.79/7.81	o 4993
7.89/7.94	o 4992
7.99/8.06	o 4991
8.09/8.19	o 4990
8.29/8.31	o 4989
8.39/8.44	o 4988
8.49/8.57	o 4987
8.59/8.69	o 4986
8.79/8.82	o 4985
8.89/8.94	o 4984
8.99/9.07	o 4983
9.09/9.19	o 4982
9.28/9.32	o 4981
9.39/9.44	o 4980
9.49/9.57	o 4979
9.59/9.69	o 4978
9.79/9.82	o 4977
9.89/9.95	o 4976
9.99/10.07	o 4975
10.09/10.20	o 4974
10.29/10.32	o 4973
10.39/10.45	o 4972
10.49/10.57	o 4971
10.69/10.70	o 4970
10.79/10.82	o 4969
10.89/10.95	o 4968
11.00/11.07	o 4967
11.19/11.20	o 4966
11.29/11.32	o 4965
11.38/11.45	o 4964
11.49/11.57	o 4963
11.69/11.70	o 4962
11.79/11.82	o 4961
11.89/11.95	o 4960
11.99/12.07	o 4959
12.19/12.20	o 4958
12.29/12.33	o 4957
12.39/12.45	o 4956
12.49/12.57	o 4955
12.69/12.70	o 4954
12.79/12.82	o 4953
12.88/12.95	o 4952
12.99/13.07	o 4951
13.09/13.20	o 4950
13.28/13.32	o 4949
13.39/13.45	o 4948
13.49/13.57	o 4947
13.59/13.70	o 4946
13.79/13.82	o 4945
13.89/13.95	o 4944
13.98/14.07	o 4943
14.09/14.19	o 4942
14.29/14.32	o 4941
14.38/14.44	o 4940
14.49/14.57	o 4939
14.59/14.69	o 4938
14.79/14.81	o 4937
14.89/14.94	o 4936
14.98/15.06	o 4935
15.08/15.19	o 4934
15.29/15.31	o 4933
15.39/15.43	o 4932
15.48/15.56	o 4931
15.58/15.68	o 4930
15.79/15.80	o 4929
15.89/15.93	o 4928
15.98/16.05	o 4927
16.09/16.18	o 4926
16.28/16.30	o 4925
16.39/16.42	o 4924
16.49/16.55	o 4923
16.58/16.67	o 4922
16.68/16.79	o 4921
16.89/16.92	o 4920
16.99/17.04	o 4919
17.08/17.17	o 4918
17.18/17.29	o 4917
17.38/17.41	o 4916
17.49/17.54	o 4915
17.59/17.66	o 4914
17.69/17.78	o 4913
17.88/17.91	o 4912
17.99/18.03	o 4911
18.09/18.16	o 4910
18.19/18.28	o 4909
18.39/18.41	o 4908
18.48/18.53	o 4907
18.59/18.66	o 4906
18.69/18.78	o 4905
18.89/18.91	o 4904
18.99/19.03	o 4903
19.08/19.15	o 4902
19.19/19.28	o 4901
19.38/19.40	o 4900
19.48/19.53	o 4899
19.58/19.65	o 4898
19.69/19.78	o 4897
19.88/19.90	o 4896
19.99/20.03	o 4895
20.09/20.15	o 4894
20.18/20.27	o 4893
20.39/20.40	o 4892
20.49/20.52	o 4891
20.58/20.65	o 4890
20.68/20.77	o 4889
20.78/20.90	o 4888
20.99/21.02	o 4887
21.08/21.14	o 4886
21.18/21.27	o 4885
21.29/21.39	o 4884
21.49/21.51	o 4883
21.59/21.64	o 4882
21.68/21.76	o 4881
21.78/21.88	o 4880
21.99/22.01	o 4879
22.09/22.13	o 4878
22.18/22.26	o 4877
22.28/22.38	o 4876
22.49/22.50	o 4875
22.59/22.63	o 4874
22.68/22.75	o 4873
22.78/22.87	o 4872
22.88/23.00	o 4871
23.09/23.12	o 4870
23.19/23.24	o 4869
23.28/23.37	o 4868
23.39/23.49	o 4867
23.58/23.61	o 4866
23.69/23.74	o 4865
23.79/23.86	o 4864
23.89/23.98	o 4863
24.09/24.11	o 4862
24.19/24.23	o 4861
24.28/24.35	o 4533
24.39/24.47	o 4532
24.48/24.58	o 4531
24.69/24.70	o 4529
24.79/24.82	o 4528
24.89/24.93	o 4523
24.99/25.05	o 4522
25.08/25.17	o 4504
25.18/25.28	o 4503
25.38/25.40	o 4502
25.48/25.52	o 4496
25.58/25.63	o 4495
25.69/25.75	o 4494
25.78/25.86	o 4493
25.88/25.98	o 4492
25.99/26.09	o 4491
26.18/26.21	o 4490
26.29/26.33	o 4489
26.39/26.44	o 4488
26.48/26.56	o 4487
26.58/26.67	o 4486
26.69/26.79	o 4485
26.88/26.90	o 4484
26.98/27.02	o 4483
27.09/27.13	o 4482
27.19/27.25	o 4481
27.28/27.37	o 4480
27.38/27.48	o 4479
27.58/27.60	o 4478
27.68/27.71	o 4477
27.79/27.83	o 4476
27.88/27.94	o 4475
27.98/28.06	o 4474
28.08/28.17	o 4473
28.18/28.28	o 4472
28.39/28.40	o 4471
28.48/28.51	o 4470
28.58/28.63	o 4469
28.68/28.74	o 4468
28.78/28.85	o 4467
28.88/28.97	o 4466
28.98/29.08	o 4094
29.08/29.18	o 4090
29.18/29.29	o 4078
29.38/29.40	o 4077
29.49/29.51	o 4076
29.59/29.61	o 4067
29.68/29.72	o 4066
29.79/29.82	o 4065
29.88/29.93	o 4064
29.98/30.04	o 4063
30.08/30.14	o 4062
30.18/30.25	o 4061
30.28/30.36	o 4060
30.38/30.46	o 4059
30.49/30.57	o 4058
30.58/30.67	o 4057
30.68/30.78	o 4056
30.78/30.88	o 4055
30.89/30.99	o 4054
30.98/31.10	o 4053
31.18/31.20	o 4052
31.28/31.31	o 4051
31.38/31.41	o 4040
31.48/31.52	o 4039
31.59/31.62	o 4038
31.68/31.73	o 4037
31.78/31.84	o 4036
31.89/31.94	o 4035
31.98/32.05	o 4034
32.08/32.15	o 4033
32.18/32.26	o 4032
32.28/32.36	o 4031
32.38/32.47	o 4030
32.48/32.58	o 4029
32.59/32.68	o 4028
32.68/32.79	o 4027
32.79/32.89	o 4026
32.89/33.00	o 4025
33.08/33.10	o 4024
33.18/33.21	o 4023
33.28/33.31	o 4022
33.38/33.42	o 4021
33.48/33.52	o 4020
33.58/33.63	o 4019
33.68/33.73	o 4018
33.78/33.84	o 4017
33.88/33.94	o 4016
33.98/34.05	o 4015
34.09/34.15	o 4014
34.18/34.26	o 4013
34.28/34.36	o 4012
34.38/34.47	o 4011
34.48/34.57	o 4010
34.57/34.68	o 4009
34.68/34.78	o 4008
34.78/34.89	o 4007
34.88/34.99	o 4006
34.98/35.10	o 4005
35.08/35.20	o 4004
35.28/35.31	o 4003
35.38/35.41	o 4002
35.48/35.52	o 4001
35.58/35.62	o 4000
35.68/35.73	o 3999
35.78/35.83	o 3998
35.88/35.93	o 3997
35.98/36.04	o 3996
36.07/36.14	o 3995
36.18/36.25	o 3994
36.28/36.35	o 3993
36.38/36.46	o 3992
36.47/36.56	o 3991
36.58/36.66	o 3990
36.68/36.77	o 3989
36.77/36.87	o 3988
36.88/36.98	o 3987
36.97/37.08	o 3986
37.08/37.19	o 3985
37.18/37.29	o 3984
37.29/37.40	o 3983
37.48/37.50	o 3982
37.58/37.60	o 3981
37.68/37.71	o 3874
37.78/37.81	o 3873
37.88/37.91	o 3872
37.98/38.01	o 3849
38.08/38.11	o 3848
38.18/38.22	o 3847
38.27/38.32	o 3846
38.39/38.42	o 3845
38.48/38.52	o 3844
38.57/38.62	o 3843
38.68/38.72	o 3842
38.78/38.82	o 3841
38.88/38.92	o 3840
38.97/39.02	o 3791
39.08/39.12	o 3790
39.18/39.22	o 3789
39.27/39.32	o 3788
39.38/39.42	o 3787
39.48/39.52	o 3786
39.59/39.62	o 3785
39.68/39.72	o 3784
39.77/39.82	o 3783
39.88/39.92	o 3782
39.97/40.02	o 3781
40.07/40.12	o 3780
40.18/40.22	o 3779
40.27/40.32	o 3778
40.37/40.42	o 3777
40.48/40.52	o 3776
40.58/40.62	o 3775
40.67/40.72	o 3774
40.77/40.82	o 3773
40.87/40.92	o 3772
40.97/41.02	o 3771
41.07/41.11	o 3770
41.17/41.21	o 3769
41.28/41.31	o 3768
41.38/41.41	o 3767
41.47/41.51	o 3766
41.57/41.61	o 3765
41.68/41.71	o 3764
41.77/41.81	o 3619
41.88/41.90	o 3594
41.88/41.99	o 3593
41.98/42.09	o 3592
42.07/42.18	o 3581
42.17/42.28	o 3580
42.27/42.37	o 3579
42.38/42.46	o 3578
42.47/42.56	o 3577
42.58/42.65	o 3576
42.67/42.74	o 3575
42.78/42.84	o 3574
42.87/42.93	o 3558
42.97/43.02	o 3557
43.07/43.12	o 3556
43.17/43.21	o 3555
43.27/43.30	o 3554
43.27/43.39	o 3553
43.37/43.49	o 3552
43.47/43.58	o 3551
43.57/43.67	o 3550
43.67/43.77	o 3549
43.77/43.86	o 3548
43.87/43.95	o 3547
43.97/44.04	o 3546
44.07/44.14	o 3545
44.17/44.23	o 3539
44.27/44.32	o 3538
44.37/44.41	o 3537
44.47/44.50	o 3536
44.47/44.60	o 3535
44.57/44.69	o 3534
44.67/44.78	o 3533
44.76/44.87	o 3532
44.87/44.96	o 3531
44.97/45.06	o 3530
45.08/45.15	o 3529
45.17/45.24	o 3528
45.26/45.33	o 3527
45.37/45.42	o 3526
45.47/45.52	o 3525
45.57/45.60	o 2909
45.57/45.68	o 2864
45.66/45.76	o 2863
45.77/45.84	o 2862
45.86/45.91	o 2861
45.86/45.99	o 2860
45.97/46.07	o 2859
46.07/46.15	o 2849
46.17/46.23	o 2848
46.27/46.30	o 2847
46.27/46.38	o 2846
46.37/46.45	o 2845
46.46/46.53	o 2844
46.57/46.60	o 2843
46.57/46.68	o 2842
46.66/46.76	o 2841
46.77/46.83	o 2840
46.86/46.91	o 2839
46.86/46.98	o 2838
46.97/47.06	o 2826
47.06/47.13	o 2825
47.17/47.21	o 2824
47.17/47.28	o 2823
47.27/47.36	o 2822
47.36/47.43	o 2821
47.47/47.51	o 2820
47.47/47.58	o 2819
47.56/47.66	o 2818
47.66/47.73	o 2817
47.76/47.80	o 2816
47.76/47.88	o 2815
47.87/47.95	o 2814
47.97/48.02	o 2813
47.97/48.10	o 2812
48.07/48.17	o 2811
48.17/48.24	o 2810
48.27/48.32	o 2809
48.27/48.39	o 2808
48.37/48.46	o 2807
48.46/48.53	o 2806
48.56/48.61	o 2805
48.56/48.68	o 2614
48.67/48.76	o 2613
48.76/48.83	o 2589
48.87/48.91	o 2588
48.87/48.98	o 2587
48.97/49.05	o 2586
49.06/49.13	o 2585
49.17/49.20	o 2584
49.17/49.28	o 2583
49.26/49.35	o 2552
49.37/49.42	o 2551
49.37/49.50	o 2550
49.47/49.57	o 2549
49.56/49.64	o 2548
49.67/49.72	o 2547
49.67/49.79	o 2546
49.76/49.86	o 2545
49.86/49.94	o 2544
49.97/50.01	o 2543
49.97/50.09	o 2542
50.06/50.16	o 2541
50.17/50.23	o 2540
50.26/50.30	o 2525
50.26/50.37	o 2524
50.36/50.45	o 2523
50.46/50.52	o 2522
50.46/50.59	o 2521
50.57/50.67	o 2520
50.66/50.74	o 2519
50.76/50.81	o 2518
50.76/50.88	o 2517
50.86/50.95	o 2516
50.96/51.02	o 2515
50.96/51.10	o 2514
51.07/51.17	o 2513
51.16/51.24	o 2512
51.26/51.31	o 2511
51.26/51.38	o 2510
51.36/51.46	o 2509
51.46/51.53	o 2508
51.46/51.60	o 2507
51.57/51.67	o 2506
51.66/51.74	o 2505
51.76/51.82	o 2504
51.76/51.89	o 2503
51.86/51.96	o 2502
51.96/52.04	o 2501
52.06/52.11	o 2500
52.06/52.18	o 2499
52.16/52.26	o 2498
52.26/52.33	o 2497
52.36/52.40	o 2496
52.36/52.47	o 2495
52.47/52.54	o 2494
52.56/52.62	o 2493
52.56/52.69	o 2492
52.67/52.76	o 2491
52.76/52.83	o 2490
52.86/52.90	o 2489
52.86/52.98	o 2488
52.96/53.05	o 2487
53.06/53.12	o 2486
53.06/53.19	o 2485
53.16/53.26	o 2484
53.26/53.34	o 2483
53.36/53.41	o 2482
53.36/53.48	o 2481
53.46/53.55	o 2480
53.56/53.62	o 2479
53.56/53.69	o 2478
53.66/53.77	o 2477
53.76/53.84	o 2476
53.86/53.91	o 2475
53.86/53.98	o 2474
53.96/54.05	o 2473
54.06/54.12	o 2472
54.06/54.19	o 2471
54.16/54.26	o 2470
54.26/54.33	o 2469
54.35/54.41	o 2468
54.35/54.48	o 2467
54.46/54.55	o 2466
54.55/54.62	o 2465
54.55/54.69	o 2464
54.66/54.76	o 2463
54.75/54.83	o 2462
54.86/54.90	o 2461
54.86/54.98	o 2460
54.96/55.05	o 2459
55.06/55.12	o 2458
55.06/55.19	o 2457
55.15/55.26	o 2456
55.26/55.33	o 2455
55.35/55.40	o 2454
55.35/55.47	o 2453
55.46/55.54	o 2452
55.56/55.61	o 2451
55.56/55.68	o 2450
55.65/55.75	o 2449
55.75/55.83	o 2448
55.75/55.90	o 2447
55.86/55.97	o 2446
55.96/56.04	o 2445
56.05/56.11	o 2444
56.05/56.18	o 2443
56.16/56.25	o 2442
56.25/56.32	o 2441
56.25/56.39	o 2440
56.36/56.46	o 2439
56.45/56.53	o 2438
56.56/56.60	o 2437
56.56/56.67	o 2436
56.65/56.74	o 2435
56.76/56.81	o 2434
56.76/56.88	o 2433
56.85/56.95	o 2432
56.96/57.01	o 2431
56.96/57.08	o 2430
57.05/57.15	o 2429
57.16/57.22	o 2428
57.16/57.29	o 2427
57.25/57.36	o 2426
57.36/57.43	o 2425
57.45/57.50	o 2424
57.45/57.57	o 2423
57.56/57.64	o 2422
57.66/57.71	o 2421
57.66/57.78	o 2420
57.75/57.85	o 2419
57.85/57.92	o 2418
57.85/57.99	o 2417
57.96/58.06	o 2416
58.05/58.13	o 2415
58.05/58.20	o 2414
58.16/58.27	o 2413
58.26/58.34	o 2412
58.35/58.41	o 2411
58.35/58.48	o 2410
58.46/58.55	o 2409
58.55/58.62	o 2408
58.55/58.69	o 2407
58.65/58.76	o 2406
58.75/58.83	o 2405
58.85/58.90	o 2404
58.85/58.97	o 2403
58.95/59.04	o 2402
59.06/59.11	o 2401
59.06/59.18	o 2400
59.15/59.25	o 2399
59.25/59.31	o 2398
59.25/59.38	o 2397
59.36/59.45	o 2396
59.45/59.52	o 2395
59.45/59.59	o 2394
59.55/59.66	o 2393
59.65/59.73	o 2392
59.75/59.80	o 2391
59.75/59.87	o 2390
59.85/59.94	o 2389
59.95/60.01	o 2388
59.95/60.07	o 2387
60.05/60.14	o 2386
60.15/60.21	o 2385
60.15/60.28	o 2384
60.25/60.35	o 2383
60.35/60.42	o 2382
60.35/60.49	o 2381
60.46/60.55	o 2380
60.55/60.62	o 2379
60.55/60.69	o 2378
60.65/60.76	o 2377
60.75/60.83	o 2376
60.75/60.90	o 2375
60.85/60.97	o 2374
60.95/61.03	o 2373
61.05/61.10	o 2372
61.05/61.17	o 2371
61.15/61.24	o 2370
61.25/61.31	o 2369
61.25/61.38	o 2368
61.35/61.45	o 2367
61.45/61.51	o 2366
61.45/61.58	o 2365
61.56/61.65	o 2364
61.64/61.72	o 2363
61.64/61.79	o 2362
61.75/61.85	o 2361
61.85/61.92	o 2360
61.85/61.99	o 2359
61.95/62.06	o 2358
62.05/62.13	o 2357
62.05/62.19	o 2356
62.15/62.26	o 2355
62.25/62.33	o 2354
62.35/62.40	o 2353
62.35/62.47	o 2352
62.44/62.53	o 2351
62.44/62.60	o 2350
62.55/62.67	o 2349
62.66/62.74	o 2348
62.75/62.80	o 2347
62.75/62.87	o 2346
62.85/62.94	o 2345
62.95/63.01	o 2344
62.95/63.08	o 2343
63.04/63.14	o 2342
63.15/63.21	o 2341
63.15/63.28	o 2340
63.25/63.34	o 2339
63.35/63.41	o 2338
63.35/63.48	o 2337
63.45/63.55	o 2336
63.55/63.62	o 2335
63.55/63.68	o 2334
63.65/63.75	o 2333
63.75/63.82	o 2332
63.75/63.88	o 2331
63.85/63.95	o 2330
63.95/64.02	o 2329
63.95/64.09	o 2328
64.04/64.15	o 2327
64.15/64.22	o 2326
64.15/64.29	o 2325
64.25/64.35	o 2324
64.35/64.42	o 2323
64.35/64.49	o 2322
64.45/64.55	o 2321
64.55/64.62	o 2320
64.55/64.69	o 2319
64.64/64.76	o 2318
64.75/64.83	o 2317
64.75/64.89	o 2316
64.85/64.96	o 2315
64.94/65.03	o 2314
64.94/65.09	o 2313
65.04/65.16	o 2312
65.15/65.23	o 2311
65.15/65.29	o 2310
65.25/65.36	o 2309
65.35/65.43	o 2308
65.35/65.49	o 2307
65.45/65.56	o 2306
65.55/65.63	o 2305
65.55/65.69	o 2304
65.65/65.76	o 2303
65.74/65.83	o 2302
65.74/65.89	o 2301
65.85/65.96	o 2300
65.95/66.03	o 2299
65.95/66.09	o 2298
66.05/66.16	o 2297
66.15/66.22	o 2296
66.15/66.29	o 2295
66.25/66.36	o 2294
66.34/66.42	o 2293
66.34/66.49	o 2292
66.45/66.56	o 2291
66.54/66.62	o 2290
66.54/66.69	o 2289
66.65/66.75	o 2288
66.74/66.82	o 2287
66.74/66.88	o 2286
66.85/66.95	o 2285
66.95/67.02	o 2284
66.95/67.08	o 2283
67.05/67.15	o 2282
67.14/67.21	o 2281
67.14/67.28	o 2280
67.24/67.35	o 2279
67.35/67.41	o 2278
67.35/67.48	o 2277
67.44/67.54	o 2276
67.55/67.61	o 2275
67.55/67.67	o 2274
67.64/67.74	o 2273
67.74/67.81	o 2272
67.74/67.87	o 2271
67.85/67.94	o 2270
67.95/68.00	o 2269
67.95/68.07	o 2268
68.05/68.13	o 2267
68.05/68.20	o 2266
68.14/68.26	o 2265
68.24/68.33	o 2264
68.24/68.39	o 2263
68.35/68.46	o 2262
68.44/68.52	o 2261
68.44/68.59	o 2260
68.54/68.65	o 2259
68.64/68.72	o 2258
68.64/68.78	o 2257
68.74/68.85	o 2256
68.84/68.91	o 2255
68.84/68.98	o 2254
68.94/69.04	o 2253
69.04/69.11	o 2252
69.04/69.17	o 2251
69.15/69.24	o 2250
69.25/69.30	o 2249
69.25/69.37	o 2248
69.34/69.43	o 2247
69.34/69.49	o 2246
69.45/69.56	o 2245
69.54/69.62	o 2244
69.54/69.69	o 2243
69.65/69.75	o 2242
69.74/69.82	o 2241
69.74/69.88	o 2240
69.84/69.95	o 2239
69.95/70.01	o 2238
69.95/70.08	o 2237
70.04/70.14	o 2236
70.15/70.20	o 2235
70.15/70.27	o 2234
70.25/70.33	o 2233
70.25/70.39	o 2232
70.34/70.46	o 2231
70.45/70.52	o 2230
70.45/70.59	o 2229
70.54/70.65	o 2228
70.64/70.71	o 2227
70.64/70.78	o 2226
70.74/70.84	o 2225
70.85/70.91	o 2224
70.85/70.97	o 2223
70.94/71.03	o 2222
71.04/71.10	o 2221
71.04/71.16	o 2220
71.14/71.23	o 2219
71.14/71.29	o 2218
71.24/71.35	o 2217
71.34/71.42	o 2216
71.34/71.48	o 2215
71.44/71.55	o 2214
71.53/71.61	o 2213
71.53/71.67	o 2212
71.64/71.74	o 2211
71.74/71.80	o 2210
71.74/71.86	o 2209
71.84/71.93	o 2208
71.84/71.99	o 2207
71.94/72.06	o 2206
72.04/72.12	o 2205
72.04/72.18	o 2204
72.13/72.25	o 2203
72.24/72.31	o 2202
72.24/72.37	o 2201
72.34/72.44	o 2200
72.44/72.50	o 2199
72.44/72.56	o 2198
72.54/72.63	o 2197
72.54/72.69	o 2196
72.63/72.76	o 2195
72.73/72.82	o 2194
72.73/72.88	o 2193
72.84/72.95	o 2192
72.93/73.01	o 2191
72.93/73.07	o 2190
73.04/73.14	o 2189
73.13/73.20	o 2188
73.13/73.26	o 2187
73.23/73.32	o 2186
73.23/73.39	o 2185
73.33/73.45	o 2184
73.44/73.51	o 2183
73.44/73.57	o 2182
73.54/73.64	o 2181
73.54/73.70	o 2180
73.64/73.76	o 2179
73.74/73.83	o 2178
73.74/73.89	o 2177
73.84/73.95	o 2176
73.94/74.02	o 2175
73.94/74.08	o 2174
74.04/74.15	o 2173
74.13/74.21	o 2172
74.13/74.27	o 2171
74.24/74.33	o 2170
74.33/74.40	o 2169
74.33/74.46	o 2168
74.44/74.52	o 2167
74.44/74.59	o 2166
74.53/74.65	o 2165
74.63/74.71	o 2164
74.63/74.78	o 2163
74.74/74.84	o 2162
74.84/74.90	o 2161
74.84/74.96	o 2160
74.94/75.02	o 2159
74.94/75.09	o 2158
75.03/75.15	o 2157
75.14/75.21	o 2156
75.14/75.27	o 2155
75.23/75.34	o 2154
75.33/75.40	o 2153
75.33/75.46	o 2152
75.44/75.52	o 2151
75.44/75.59	o 2150
75.53/75.65	o 2149
75.63/75.71	o 2148
75.63/75.77	o 2147
75.73/75.83	o 2146
75.73/75.90	o 2145
75.83/75.96	o 2144
75.94/76.02	o 2143
75.94/76.09	o 2142
76.03/76.15	o 2141
76.13/76.21	o 2140
76.13/76.27	o 2139
76.23/76.33	o 2138
76.23/76.40	o 2137
76.33/76.46	o 2136
76.43/76.52	o 2135
76.43/76.58	o 2134
76.53/76.65	o 2133
76.63/76.71	o 2132
76.63/76.77	o 2131
76.73/76.83	o 2130
76.73/76.89	o 2129
76.83/76.95	o 2128
76.93/77.02	o 2127
76.93/77.08	o 2126
77.03/77.14	o 2125
77.13/77.20	o 2124
77.13/77.26	o 2123
77.23/77.33	o 2122
77.23/77.39	o 2121
77.33/77.45	o 2120
77.43/77.51	o 2119
77.43/77.57	o 2118
77.53/77.63	o 2117
77.53/77.70	o 2116
77.63/77.76	o 2115
77.73/77.82	o 2114
77.73/77.88	o 2113
77.83/77.95	o 2112
77.94/78.01	o 2111
77.94/78.07	o 2110
78.03/78.13	o 2109
78.03/78.19	o 2108
78.13/78.26	o 2107
78.23/78.32	o 2106
78.23/78.38	o 2105
78.33/78.44	o 2104
78.42/78.50	o 2103
78.42/78.57	o 2102
78.53/78.63	o 2101
78.53/78.69	o 2100
78.63/78.75	o 2099
78.73/78.81	o 2098
78.73/78.88	o 2097
78.83/78.94	o 2096
78.93/79.00	o 2095
78.93/79.06	o 2094
79.03/79.12	o 2093
79.03/79.18	o 2092
79.14/79.25	o 2091
79.23/79.31	o 2090
79.23/79.37	o 2089
79.33/79.43	o 2088
79.33/79.49	o 2087
79.42/79.56	o 2086
79.53/79.62	o 2085
79.53/79.68	o 2084
79.63/79.74	o 2083
79.73/79.80	o 2082
79.73/79.87	o 2081
79.83/79.93	o 2080
79.83/79.99	o 2079
79.93/80.05	o 2078
80.02/80.11	o 2077
80.02/80.17	o 2076
80.13/80.23	o 2075
80.13/80.30	o 2074
80.24/80.36	o 2073
80.33/80.42	o 2072
80.33/80.48	o 2071
80.43/80.54	o 2070
80.53/80.60	o 2069
80.53/80.66	o 2068
80.63/80.72	o 2067
80.63/80.78	o 2066
80.73/80.85	o 2065
80.83/80.91	o 2064
80.83/80.97	o 2063
80.93/81.03	o 2062
80.93/81.09	o 2061
81.03/81.15	o 2060
81.13/81.21	o 2059
81.13/81.27	o 2058
81.23/81.34	o 2057
81.23/81.40	o 2056
81.33/81.46	o 2055
81.43/81.52	o 2054
81.43/81.58	o 2053
81.52/81.64	o 2052
81.63/81.70	o 2051
81.63/81.76	o 2050
81.73/81.82	o 2049
81.73/81.89	o 2048
81.83/81.95	o 2047
81.92/82.01	o 2046
81.92/82.07	o 2045
82.03/82.13	o 2044
82.03/82.19	o 2043
82.12/82.25	o 2042
82.23/82.31	o 2041
82.23/82.37	o 2040
82.33/82.43	o 2039
82.33/82.50	o 2038
82.43/82.56	o 2037
82.53/82.62	o 2036
82.53/82.68	o 2035
82.62/82.74	o 2034
82.72/82.80	o 2033
82.72/82.86	o 2032
82.82/82.92	o 2031
82.82/82.98	o 2030
82.93/83.04	o 2029
83.03/83.10	o 2028
83.03/83.16	o 2027
83.12/83.22	o 2026
83.12/83.28	o 2025
83.23/83.34	o 2024
83.33/83.40	o 2023
83.33/83.46	o 2022
83.42/83.52	o 2021
83.42/83.58	o 2020
83.53/83.64	o 2019
83.62/83.70	o 2018
83.62/83.77	o 2017
83.72/83.83	o 2016
83.72/83.89	o 2015
83.83/83.95	o 2014
83.93/84.01	o 2013
83.93/84.07	o 2012
84.02/84.13	o 2011
84.02/84.19	o 2010
84.13/84.25	o 2009
84.22/84.31	o 2008
84.22/84.37	o 2007
84.33/84.43	o 2006
84.33/84.49	o 2005
84.42/84.55	o 2004
84.53/84.61	o 2003
84.53/84.67	o 2002
84.63/84.72	o 2001
84.63/84.78	o 2000
84.72/84.84	o 1999
84.82/84.90	o 1998
84.82/84.96	o 1997
84.92/85.02	o 1996
84.92/85.08	o 1995
85.02/85.14	o 1994
85.12/85.20	o 1993
85.12/85.26	o 1992
85.23/85.32	o 1991
85.23/85.38	o 1990
85.32/85.44	o 1989
85.32/85.49	o 1988
85.43/85.55	o 1987
85.52/85.61	o 1986
85.52/85.67	o 1985
85.63/85.73	o 1984
85.63/85.79	o 1983
85.73/85.85	o 1982
85.83/85.91	o 1981
85.83/85.97	o 1980
85.93/86.03	o 1979
85.93/86.08	o 1978
86.02/86.14	o 1977
86.12/86.20	o 1976
86.12/86.26	o 1975
86.22/86.32	o 1974
86.22/86.38	o 1973
86.32/86.43	o 1972
86.32/86.49	o 1971
86.43/86.55	o 1970
86.52/86.61	o 1969
86.52/86.67	o 1968
86.62/86.73	o 1967
86.62/86.79	o 1966
86.72/86.84	o 1965
86.83/86.90	o 1964
86.83/86.96	o 1963
86.92/87.02	o 1962
86.92/87.08	o 1961
87.02/87.14	o 1960
87.02/87.20	o 1959
87.12/87.25	o 1958
87.22/87.31	o 1957
87.22/87.37	o 1956
87.32/87.43	o 1955
87.32/87.49	o 1954
87.42/87.55	o 1953
87.52/87.60	o 1952
87.52/87.66	o 1951
87.61/87.72	o 1950
87.61/87.78	o 1949
87.72/87.84	o 1948
87.72/87.89	o 1947
87.82/87.95	o 1946
87.92/88.01	o 1945
87.92/88.07	o 1944
88.01/88.13	o 1943
88.01/88.18	o 1942
88.12/88.24	o 1941
88.21/88.30	o 1940
88.21/88.35	o 1939
88.31/88.41	o 1938
88.31/88.47	o 1937
88.42/88.53	o 1936
88.42/88.58	o 1935
88.51/88.64	o 1934
88.62/88.70	o 1933
88.62/88.76	o 1932
88.71/88.81	o 1931
88.71/88.87	o 1930
88.82/88.93	o 1929
88.82/88.98	o 1928
88.92/89.04	o 1927
88.92/89.10	o 1926
89.01/89.15	o 1925
89.11/89.21	o 1924
89.11/89.27	o 1923
89.22/89.32	o 1922
89.22/89.38	o 1921
89.32/89.44	o 1920
89.32/89.49	o 1919
89.42/89.55	o 1918
89.51/89.61	o 1917
89.51/89.66	o 1916
89.62/89.72	o 1915
89.62/89.78	o 1914
89.71/89.83	o 1913
89.71/89.89	o 1912
89.82/89.95	o 1911
89.91/90.00	o 1910
89.91/90.06	o 1909
90.02/90.12	o 1908
90.02/90.17	o 1907
90.12/90.23	o 1906
90.12/90.29	o 1905
90.21/90.34	o 1904
90.31/90.40	o 1903
90.31/90.46	o 1902
90.42/90.51	o 1901
90.42/90.57	o 1900
90.52/90.63	o 1899
90.52/90.68	o 1898
90.61/90.74	o 1897
90.72/90.80	o 1896
90.72/90.85	o 1895
90.81/90.91	o 1894
90.81/90.97	o 1893
90.91/91.02	o 1892
90.91/91.08	o 1891
91.01/91.14	o 1890
91.01/91.19	o 1889
91.11/91.25	o 1888
91.22/91.30	o 1887
91.22/91.36	o 1886
91.31/91.41	o 1885
91.31/91.47	o 1884
91.41/91.53	o 1883
91.41/91.58	o 1882
91.51/91.64	o 1881
91.61/91.70	o 1880
91.61/91.76	o 1879
91.72/91.81	o 1878
91.72/91.87	o 1877
91.81/91.92	o 1876
91.81/91.98	o 1875
91.91/92.04	o 1874
91.91/92.09	o 1873
92.01/92.15	o 1872
92.11/92.21	o 1871
92.11/92.26	o 1870
92.21/92.32	o 1869
92.21/92.37	o 1868
92.31/92.43	o 1867
92.31/92.48	o 1866
92.41/92.54	o 1865
92.51/92.60	o 1864
92.51/92.65	o 1863
92.61/92.71	o 1862
92.61/92.76	o 1861
92.71/92.82	o 1860
92.71/92.87	o 1859
92.81/92.93	o 1858
92.81/92.99	o 1857
92.91/93.04	o 1856
93.01/93.10	o 1855
93.01/93.15	o 1854
93.11/93.21	o 1853
93.11/93.26	o 1852
93.20/93.32	o 1851
93.20/93.37	o 1850
93.31/93.43	o 1849
93.31/93.49	o 1848
93.41/93.54	o 1847
93.41/93.60	o 1846
93.51/93.65	o 1845
93.61/93.71	o 1844
93.61/93.76	o 1843
93.71/93.82	o 1842
93.71/93.87	o 1841
93.80/93.93	o 1840
93.80/93.98	o 1839
93.91/94.04	o 1838
93.91/94.09	o 1837
94.01/94.15	o 1836
94.11/94.20	o 1835
94.11/94.26	o 1834
94.21/94.31	o 1833
94.21/94.37	o 1832
94.31/94.42	o 1831
94.31/94.48	o 1830
94.41/94.53	o 1829
94.41/94.59	o 1828
94.51/94.64	o 1827
94.61/94.70	o 1826
94.61/94.75	o 1825
94.71/94.81	o 1824
94.71/94.86	o 1823
94.81/94.92	o 1822
94.81/94.97	o 1821
94.91/95.03	o 1820
94.91/95.08	o 1819
95.01/95.14	o 1818
95.01/95.19	o 1817
95.11/95.24	o 1816
95.20/95.30	o 1815
95.20/95.35	o 1814
95.31/95.41	o 1813
95.31/95.46	o 1812
95.41/95.52	o 1811
95.41/95.57	o 1810
95.51/95.63	o 1809
95.51/95.68	o 1808
95.60/95.74	o 1807
95.60/95.79	o 1806
95.70/95.84	o 1805
95.81/95.90	o 1804
95.81/95.95	o 1803
95.90/96.01	o 1802
95.90/96.06	o 1801
96.01/96.11	o 1800
96.01/96.17	o 1799
96.10/96.22	o 1798
96.10/96.28	o 1797
96.20/96.33	o 1796
96.20/96.38	o 1795
96.31/96.44	o 1794
96.31/96.49	o 1793
96.40/96.55	o 1792
96.51/96.60	o 1791
96.51/96.65	o 1790
96.61/96.70	o 1789
96.61/96.76	o 1788
96.71/96.81	o 1787
96.71/96.87	o 1786
96.80/96.92	o 1785
96.80/96.97	o 1784
96.91/97.03	o 1783
96.91/97.08	o 1782
97.00/97.13	o 1781
97.00/97.19	o 1780
97.11/97.24	o 1779
97.11/97.29	o 1778
97.20/97.35	o 1777
97.31/97.40	o 1776
97.31/97.45	o 1775
97.40/97.51	o 1774
97.40/97.56	o 1773
97.50/97.61	o 1772
97.50/97.67	o 1771
97.61/97.72	o 1770
97.61/97.78	o 1769
97.71/97.83	o 1768
97.71/97.88	o 1767
97.80/97.94	o 1766
97.80/97.99	o 1765
97.90/98.04	o 1764
98.00/98.10	o 1763
98.00/98.15	o 1762
98.11/98.21	o 1761
98.11/98.26	o 1760
98.21/98.31	o 1759
98.21/98.37	o 1758
98.30/98.42	o 1757
98.30/98.47	o 1756
98.40/98.53	o 1755
98.40/98.58	o 1754
98.50/98.63	o 1753
98.50/98.69	o 1752
98.61/98.74	o 1751
98.70/98.80	o 1750
98.70/98.85	o 1749
98.81/98.90	o 1748
98.81/98.96	o 1747
98.90/99.01	o 1746
98.90/99.06	o 1745
99.00/99.12	o 1744
99.00/99.17	o 1743
99.10/99.22	o 1742
99.10/99.27	o 1741
99.20/99.33	o 1740
99.20/99.38	o 1739
99.30/99.43	o 1738
99.30/99.49	o 1737
99.40/99.54	o 1736
99.40/99.59	o 1735
99.50/99.65	o 1734
99.60/99.70	o 1733
99.60/99.75	o 1732
99.70/99.81	o 1731
99.70/99.86	o 1730
99.80/99.91	o 1729
99.80/99.97	o 1728
99.90/100.02	o 1727
99.90/100.07	o 1726
100.00/100.13	o 1725
100.00/100.18	o 1724
100.10/100.23	o 1723
100.10/100.28	o 1722
100.20/100.34	o 1721
100.20/100.39	o 1720
100.30/100.44	o 1719
100.40/100.50	o 1718
100.40/100.55	o 1717
100.49/100.60	o 1716
100.49/100.66	o 1715
100.60/100.71	o 1714
100.60/100.76	o 1713
100.69/100.82	o 1712
100.69/100.87	o 1711
100.80/100.92	o 1710
100.80/100.97	o 1709
100.90/101.03	o 1708
100.90/101.08	o 1707
101.01/101.13	o 1706
101.01/101.18	o 1705
101.11/101.24	o 1704
101.11/101.29	o 1703
101.20/101.34	o 1702
101.20/101.40	o 1701
101.29/101.45	o 1700
101.40/101.50	o 1699
101.40/101.55	o 1698
101.50/101.61	o 1697
101.50/101.66	o 1696
101.60/101.71	o 1695
101.60/101.76	o 1694
101.69/101.82	o 1693
101.69/101.87	o 1692
101.80/101.92	o 1691
101.80/101.98	o 1690
101.90/102.03	o 1689
101.90/102.08	o 1688
102.00/102.13	o 1687
102.00/102.19	o 1686
102.10/102.24	o 1685
102.10/102.29	o 1684
102.21/102.34	o 1683
102.21/102.39	o 1682
102.30/102.45	o 1681
102.40/102.50	o 1680
102.40/102.55	o 1679
102.49/102.60	o 1678
102.49/102.66	o 1677
102.60/102.71	o 1676
102.60/102.76	o 1675
102.70/102.81	o 1674
102.70/102.87	o 1673
102.80/102.92	o 1672
102.80/102.97	o 1671
102.90/103.02	o 1670
102.90/103.07	o 1669
102.99/103.12	o 1668
102.99/103.18	o 1667
103.09/103.23	o 1666
103.09/103.28	o 1665
103.20/103.33	o 1664
103.20/103.38	o 1663
103.30/103.44	o 1662
103.30/103.49	o 1661
103.40/103.54	o 1660
103.40/103.59	o 1659
103.50/103.64	o 1658
103.50/103.70	o 1657
103.60/103.75	o 1656
103.70/103.80	o 1655
103.70/103.85	o 1654
103.79/103.90	o 1653
103.79/103.95	o 1652
103.89/104.00	o 1651
103.89/104.05	o 1650
104.00/104.11	o 1649
104.00/104.16	o 1648
104.10/104.21	o 1647
104.10/104.26	o 1646
104.20/104.31	o 1645
104.20/104.36	o 1644
104.29/104.42	o 1643
104.29/104.47	o 1642
104.40/104.52	o 1641
104.40/104.57	o 1640
104.49/104.62	o 1639
104.49/104.67	o 1638
104.59/104.72	o 1637
104.59/104.77	o 1636
104.70/104.82	o 1635
104.70/104.87	o 1634
104.79/104.93	o 1633
104.79/104.98	o 1632
104.89/105.03	o 1631
104.89/105.08	o 1630
105.00/105.13	o 1629
105.00/105.18	o 1628
105.09/105.23	o 1627
105.09/105.28	o 1626
105.19/105.33	o 1625
105.19/105.38	o 1624
105.30/105.44	o 1623
105.30/105.49	o 1622
105.40/105.54	o 1621
105.40/105.59	o 1620
105.50/105.64	o 1619
105.50/105.69	o 1618
105.59/105.74	o 1617
105.59/105.79	o 1616
105.69/105.84	o 1615
105.69/105.89	o 1614
105.80/105.94	o 1613
105.80/105.99	o 1612
105.89/106.04	o 1611
105.89/106.09	o 1610
105.99/106.14	o 1609
105.99/106.19	o 1608
106.09/106.24	o 1607
106.09/106.30	o 1606
106.19/106.35	o 1605
106.19/106.40	o 1604
106.29/106.45	o 1603
106.39/106.50	o 1602
106.39/106.55	o 1601
106.39/106.60	o 1600
106.50/106.65	o 1599
106.50/106.70	o 1598
106.59/106.75	o 1597
106.69/106.80	o 1596
106.69/106.85	o 1595
106.69/106.90	o 1594
106.79/106.95	o 1593
106.79/106.99	o 1592
106.89/107.04	o 1591
106.89/107.09	o 1590
106.99/107.14	o 1589
106.99/107.19	o 1588
107.09/107.24	o 1587
107.09/107.29	o 1586
107.19/107.34	o 1585
107.19/107.39	o 1584
107.29/107.44	o 1583
107.29/107.49	o 1582
107.39/107.54	o 1581
107.39/107.59	o 1580
107.49/107.64	o 1579
107.49/107.69	o 1578
107.60/107.74	o 1577
107.60/107.79	o 1576
107.69/107.83	o 1575
107.69/107.88	o 1574
107.79/107.93	o 1573
107.79/107.98	o 1572
107.89/108.03	o 1571
107.89/108.08	o 1570
107.99/108.13	o 1569
107.99/108.18	o 1568
108.09/108.22	o 1567
108.09/108.27	o 1566
108.19/108.32	o 1565
108.19/108.37	o 1564
108.30/108.42	o 1563
108.30/108.46	o 1562
108.39/108.51	o 1561
108.39/108.56	o 1560
108.49/108.61	o 1559
108.49/108.66	o 1558
108.59/108.71	o 1557
108.59/108.75	o 1556
108.59/108.80	o 1555
108.69/108.85	o 1554
108.69/108.90	o 1553
108.80/108.94	o 1552
108.80/108.99	o 1551
108.89/109.04	o 1550
108.89/109.09	o 1549
108.99/109.14	o 1548
108.99/109.18	o 1547
109.09/109.23	o 1546
109.09/109.28	o 1545
109.19/109.33	o 1544
109.19/109.38	o 1543
109.29/109.42	o 1542
109.29/109.47	o 1541
109.38/109.52	o 1540
109.38/109.57	o 1539
109.49/109.62	o 1538
109.49/109.66	o 1537
109.58/109.71	o 1536
109.58/109.76	o 1535
109.69/109.81	o 1534
109.69/109.85	o 1533
109.69/109.90	o 1532
109.79/109.95	o 1531
109.79/109.99	o 1530
109.89/110.04	o 1529
109.89/110.09	o 1528
109.98/110.14	o 1527
109.98/110.18	o 1526
110.09/110.23	o 1525
110.09/110.28	o 1524
110.19/110.32	o 1523
110.19/110.37	o 1522
110.28/110.42	o 1521
110.28/110.47	o 1520
110.38/110.51	o 1519
110.38/110.56	o 1518
110.49/110.61	o 1517
110.49/110.65	o 1516
110.58/110.70	o 1515
110.58/110.75	o 1514
110.58/110.80	o 1513
110.69/110.84	o 1512
110.69/110.89	o 1511
110.78/110.94	o 1510
110.78/110.98	o 1509
110.89/111.03	o 1508
110.89/111.08	o 1507
110.98/111.12	o 1506
110.98/111.17	o 1505
111.08/111.21	o 1504
111.08/111.26	o 1503
111.19/111.31	o 1502
111.19/111.36	o 1501
111.28/111.40	o 1500
111.28/111.45	o 1499
111.28/111.49	o 1498
111.38/111.54	o 1497
111.38/111.59	o 1496
111.48/111.63	o 1495
111.48/111.68	o 1494
111.58/111.73	o 1493
111.58/111.77	o 1492
111.68/111.82	o 1491
111.68/111.87	o 1490
111.78/111.91	o 1489
111.78/111.96	o 1488
111.88/112.00	o 1487
111.88/112.05	o 1486
111.88/112.10	o 1485
111.98/112.14	o 1484
111.98/112.19	o 1483
112.09/112.23	o 1482
112.09/112.28	o 1481
112.18/112.38	o 1480
112.28/112.43	o 1479
112.28/112.48	o 1478
112.38/112.52	o 1477
112.38/112.57	o 1476
112.48/112.62	o 1475
112.48/112.67	o 1474
112.58/112.71	o 1473
112.58/112.76	o 1472
112.68/112.80	o 1471
112.68/112.85	o 1470
112.68/112.89	o 1469
112.78/112.94	o 1468
112.78/112.99	o 1467
112.88/113.03	o 1466
112.88/113.08	o 1465
112.98/113.12	o 1464
112.98/113.17	o 1463
113.08/113.21	o 1462
113.08/113.26	o 1461
113.19/113.31	o 1460
113.19/113.35	o 1459
113.19/113.40	o 1458
113.28/113.44	o 1457
113.28/113.49	o 1456
113.38/113.53	o 1455
113.38/113.58	o 1454
113.48/113.62	o 1453
113.48/113.67	o 1452
113.58/113.72	o 1451
113.58/113.76	o 1450
113.67/113.81	o 1449
113.67/113.85	o 1448
113.67/113.90	o 1447
113.77/113.94	o 1446
113.77/113.99	o 1445
113.88/114.03	o 1444
113.88/114.08	o 1443
113.98/114.12	o 1442
113.98/114.17	o 1441
114.08/114.22	o 1440
114.08/114.26	o 1439
114.18/114.31	o 1438
114.18/114.35	o 1437
114.28/114.40	o 1436
114.28/114.45	o 1435
114.28/114.49	o 1434
114.38/114.54	o 1433
114.38/114.58	o 1432
114.48/114.63	o 1431
114.48/114.68	o 1430
114.58/114.72	o 1429
114.58/114.77	o 1428
114.68/114.81	o 1427
114.68/114.86	o 1426
114.77/114.90	o 1425
114.77/114.95	o 1424
114.77/114.99	o 1423
114.88/115.04	o 1422
114.88/115.09	o 1421
114.97/115.13	o 1420
114.97/115.18	o 1419
115.08/115.22	o 1418
115.08/115.27	o 1417
115.18/115.31	o 1416
115.18/115.36	o 1415
115.28/115.40	o 1414
115.28/115.45	o 1413
115.28/115.49	o 1412
115.38/115.54	o 1411
115.38/115.58	o 1410
115.48/115.63	o 1409
115.57/115.72	o 1408
115.57/115.77	o 1407
115.67/115.82	o 1406
115.67/115.86	o 1405
115.78/115.91	o 1404
115.78/115.95	o 1403
115.78/115.99	o 1402
115.87/116.04	o 1401
115.87/116.09	o 1400
115.98/116.13	o 1399
115.98/116.18	o 1398
116.08/116.22	o 1397
116.08/116.27	o 1396
116.17/116.31	o 1395
116.17/116.36	o 1394
116.28/116.40	o 1393
116.28/116.45	o 1392
116.28/116.49	o 1391
116.38/116.54	o 1390
116.38/116.59	o 1389
116.48/116.63	o 1388
116.48/116.67	o 1387
116.57/116.72	o 1386
116.57/116.77	o 1385
116.67/116.81	o 1384
116.67/116.86	o 1383
116.77/116.90	o 1382
116.87/117.00	o 1381
116.87/117.05	o 1380
116.87/117.10	o 1379
116.97/117.14	o 1378
116.97/117.18	o 1377
117.07/117.23	o 1376
117.07/117.27	o 1375
117.18/117.31	o 1374
117.18/117.36	o 1373
117.27/117.40	o 1372
117.27/117.44	o 1371
117.27/117.49	o 1370
117.37/117.53	o 1369
117.37/117.58	o 1368
117.48/117.62	o 1367
117.48/117.66	o 1366
117.57/117.71	o 1365
117.57/117.75	o 1364
117.57/117.79	o 1363
117.67/117.84	o 1362
117.67/117.88	o 1361
117.77/117.93	o 1360
117.77/117.97	o 1359
117.87/118.02	o 1358
117.87/118.06	o 1357
117.97/118.11	o 1356
117.97/118.15	o 1355
117.97/118.20	o 1354
118.07/118.24	o 1353
118.07/118.28	o 1352
118.17/118.33	o 1351
118.17/118.37	o 1350
118.27/118.42	o 1349
118.37/118.51	o 1348
118.47/118.61	o 1347
118.47/118.66	o 1253
118.57/118.71	o 1252
118.57/118.75	o 1251
118.57/118.79	o 1239
118.67/118.83	o 1238
118.67/118.87	o 1237
118.77/118.92	o 1236
118.77/118.96	o 1235
118.77/119.00	o 1234
118.87/119.04	o 1233
118.87/119.08	o 1232
118.97/119.12	o 1231
118.97/119.16	o 1230
119.07/119.20	o 1229
119.07/119.25	o 1228
119.07/119.29	o 1227
119.17/119.33	o 1226
119.17/119.37	o 1225
119.27/119.41	o 1224
119.27/119.45	o 1223
119.27/119.49	o 1222
119.36/119.53	o 1221
119.36/119.57	o 1220
119.46/119.61	o 1219
119.46/119.69	o 1218
119.57/119.74	o 1217
119.57/119.78	o 1216
119.68/119.87	o 1215
119.77/119.92	o 1214
119.77/119.96	o 1213
119.87/120.00	o 1212
119.87/120.04	o 1211
119.87/120.08	o 1210
119.96/120.13	o 1209
119.96/120.17	o 1208
120.07/120.21	o 1207
120.07/120.25	o 1206
120.07/120.29	o 1205
120.17/120.33	o 1204
120.17/120.37	o 1203
120.27/120.41	o 1202
120.27/120.46	o 1201
120.27/120.50	o 1200
120.36/120.54	o 1199
120.36/120.58	o 1198
120.46/120.62	o 1197
120.46/120.66	o 1196
120.56/120.70	o 1195
120.56/120.74	o 1194
120.56/120.78	o 1193
120.66/120.87	o 1192
120.77/120.92	o 825
120.77/120.95	o 805
120.77/120.99	o 804
120.87/121.02	o 803
120.87/121.05	o 802
120.87/121.08	o 801
120.97/121.11	o 776
120.97/121.14	o 775
120.97/121.17	o 774
121.06/121.20	o 773
1800.09/1800.90	s SATISFIABLE
1800.09/1800.90	v -x1 -x10 x100 -x1000 x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 -x1014
1800.09/1800.90	v x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 x1026 x1027 -x1028 -x1029 -x103 -x1030
1800.09/1800.90	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047
1800.09/1800.90	v -x1048 -x1049 -x105 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 x1056 x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 -x1063
1800.09/1800.90	v -x1064 x1065 x1066 -x1067 -x1068 -x1069 -x107 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x108
1800.09/1800.90	v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096
1800.09/1800.90	v -x1097 -x1098 x1099 x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 x1109 -x111 -x1110 -x1111
1800.09/1800.90	v -x1112 x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x112 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128
1800.09/1800.90	v -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 x1139 -x114 -x1140 -x1141 -x1142 -x1143 x1144
1800.09/1800.90	v -x1145 -x1146 -x1147 -x1148 -x1149 -x115 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x116 -x1160
1800.09/1800.90	v -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177
1800.09/1800.90	v -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x119 -x1190 -x1191 -x1192 -x1193
1800.09/1800.90	v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209
1800.09/1800.90	v -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 -x1221 x1222 -x1223 -x1224 -x1225
1800.09/1800.90	v -x1226 -x1227 -x1228 x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 -x1238 -x1239 x124 -x1240 -x1241
1800.09/1800.90	v -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x1257 -x1258
1800.09/1800.90	v -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 -x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274
1800.09/1800.90	v -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x129 x1290
1800.09/1800.90	v x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306
1800.09/1800.90	v x1307 -x1308 x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 x1322
1800.09/1800.90	v -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339
1800.09/1800.90	v -x134 x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x135 x1350 -x1351 -x1352 -x1353 -x1354 x1355
1800.09/1800.90	v -x1356 -x1357 -x1358 -x1359 x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 x1369 -x137 -x1370 -x1371
1800.09/1800.90	v -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388
1800.09/1800.90	v -x1389 -x139 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 x1398 -x1399 -x14 -x140 -x1400 -x1401 -x1402 -x1403
1800.09/1800.90	v -x1404 -x1405 x1406 x1407 -x1408 -x1409 x141 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x142
1800.09/1800.90	v -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435
1800.09/1800.90	v -x1436 -x1437 -x1438 x1439 -x144 -x1440 -x1441 x1442 -x1443 -x1444 -x1445 -x1446 -x1447 x1448 -x1449 -x145 -x1450 -x1451
1800.09/1800.90	v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x146 -x1460 -x1461 -x1462 x1463 -x1464 -x1465 -x1466 -x1467 x1468
1800.09/1800.90	v -x1469 x147 -x1470 x1471 x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x148 -x1480 x1481 -x1482 -x1483 -x1484
1800.09/1800.90	v -x1485 -x1486 x1487 -x1488 x1489 x149 x1490 -x1491 -x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500
1800.09/1800.90	v -x1501 -x1502 -x1503 x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 x1517
1800.09/1800.90	v -x1518 x1519 -x152 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533
1800.09/1800.90	v x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x154 -x1540 -x1541 -x1542 -x1543 x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155
1800.09/1800.90	v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 x1563 -x1564 -x1565 -x1566
1800.09/1800.90	v -x1567 -x1568 -x1569 x157 -x1570 x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x158 -x1580 x1581 -x1582
1800.09/1800.90	v -x1583 -x1584 -x1585 -x1586 x1587 -x1588 -x1589 -x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599
1800.09/1800.90	v -x16 -x160 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 x1608 -x1609 -x161 x1610 -x1611 -x1612 -x1613 -x1614
1800.09/1800.90	v x1615 -x1616 x1617 x1618 x1619 -x162 -x1620 -x1621 x1622 -x1623 -x1624 -x1625 x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631
1800.09/1800.90	v -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x164 -x1640 -x1641 x1642 x1643 -x1644 -x1645 x1646 -x1647 -x1648
1800.09/1800.90	v -x1649 -x165 -x1650 -x1651 x1652 -x1653 -x1654 -x1655 -x1656 x1657 x1658 x1659 -x166 -x1660 -x1661 -x1662 x1663 -x1664
1800.09/1800.90	v -x1665 -x1666 -x1667 -x1668 -x1669 -x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x168 x1680
1800.09/1800.90	v -x1681 -x1682 x1683 -x1684 -x1685 x1686 -x1687 -x1688 x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697
1800.09/1800.90	v -x1698 -x1699 -x17 -x170 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 x1708 -x1709 -x171 -x1710 -x1711 -x1712
1800.09/1800.90	v -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 x1726 -x1727 -x1728 -x1729
1800.09/1800.90	v -x173 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 x174 -x1740 x1741 -x1742 -x1743 -x1744 -x1745
1800.09/1800.90	v -x1746 -x1747 -x1748 -x1749 -x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 x176 x1760 -x1761
1800.09/1800.90	v x1762 x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 x1774 -x1775 -x1776 -x1777 -x1778
1800.09/1800.90	v -x1779 -x178 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 x1793 -x1794
1800.09/1800.90	v -x1795 -x1796 -x1797 x1798 -x1799 -x18 x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 x1806 -x1807 -x1808 -x1809 -x181
1800.09/1800.90	v -x1810 -x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 x1825 -x1826
1800.09/1800.90	v -x1827 -x1828 -x1829 -x183 -x1830 -x1831 x1832 -x1833 -x1834 -x1835 x1836 -x1837 -x1838 x1839 -x184 -x1840 -x1841 -x1842
1800.09/1800.90	v -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 x1855 x1856 x1857 -x1858 -x1859
1800.09/1800.90	v -x186 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 x1870 -x1871 -x1872 -x1873 -x1874 -x1875
1800.09/1800.90	v x1876 -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x189 -x1890 -x1891
1800.09/1800.90	v x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 x1899 -x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 x1905 x1906 -x1907
1800.09/1800.90	v -x1908 -x1909 -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 -x1921 -x1922 -x1923
1800.09/1800.90	v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939
1800.09/1800.90	v -x194 x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x195 -x1950 -x1951 -x1952 -x1953 x1954 x1955
1800.09/1800.90	v -x1956 x1957 -x1958 -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 x1967 -x1968 -x1969 x197 -x1970 -x1971
1800.09/1800.90	v -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x198 x1980 x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988
1800.09/1800.90	v -x1989 -x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 -x1999 -x2 -x20 -x200 -x2000 -x2001 -x2002 -x2003
1800.09/1800.90	v -x2004 -x2005 -x2006 -x2007 x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 x2015 -x2016 -x2017 x2018 -x2019 -x202
1800.09/1800.90	v -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 x2030 -x2031 -x2032 -x2033 x2034 -x2035 -x2036
1800.09/1800.90	v -x2037 -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 x205 -x2050 x2051 -x2052
1800.09/1800.90	v -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 -x206 -x2060 x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069
1800.09/1800.90	v x207 -x2070 -x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x208 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085
1800.09/1800.90	v -x2086 -x2087 -x2088 -x2089 x209 -x2090 -x2091 -x2092 -x2093 x2094 -x2095 -x2096 x2097 -x2098 -x2099 -x21 -x210 x2100 -x2101
1800.09/1800.90	v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 -x2111 x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118
1800.09/1800.90	v -x2119 -x212 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x213 -x2130 -x2131 -x2132 -x2133 -x2134
1800.09/1800.90	v -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x215 -x2150
1800.09/1800.90	v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x216 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166
1800.09/1800.90	v -x2167 -x2168 x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x218 -x2180 -x2181 -x2182
1800.09/1800.90	v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x219 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199
1800.09/1800.90	v x22 -x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 x2206 -x2207 -x2208 -x2209 -x221 -x2210 -x2211 -x2212 -x2213 -x2214
1800.09/1800.90	v -x2215 -x2216 -x2217 -x2218 -x2219 x222 x2220 -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x223 -x2230
1800.09/1800.90	v x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247
1800.09/1800.90	v -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263
1800.09/1800.90	v -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279
1800.09/1800.90	v -x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x229 -x2290 -x2291 -x2292 x2293 -x2294 -x2295
1800.09/1800.90	v -x2296 -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x231 -x2310
1800.09/1800.90	v -x2311 x2312 -x2313 -x2314 -x2315 -x2316 x2317 -x2318 x2319 -x232 -x2320 -x2321 -x2322 x2323 x2324 -x2325 -x2326 -x2327
1800.09/1800.90	v -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x234 -x2340 -x2341 -x2342 -x2343
1800.09/1800.90	v -x2344 x2345 -x2346 -x2347 -x2348 -x2349 x235 -x2350 -x2351 -x2352 -x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x236
1800.09/1800.90	v x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x237 -x2370 -x2371 -x2372 -x2373 -x2374 x2375 x2376
1800.09/1800.90	v -x2377 -x2378 x2379 -x238 x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x239 x2390 -x2391 x2392
1800.09/1800.90	v -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x24 -x240 x2400 -x2401 -x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408
1800.09/1800.90	v -x2409 -x241 -x2410 -x2411 -x2412 -x2413 x2414 x2415 -x2416 -x2417 -x2418 x2419 -x242 x2420 -x2421 -x2422 -x2423 -x2424
1800.09/1800.90	v -x2425 -x2426 -x2427 x2428 -x2429 x243 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 x2438 -x2439 -x244 -x2440
1800.09/1800.90	v -x2441 -x2442 -x2443 -x2444 -x2445 x2446 x2447 -x2448 -x2449 -x245 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457
1800.09/1800.90	v x2458 -x2459 -x246 -x2460 -x2461 -x2462 -x2463 x2464 -x2465 -x2466 -x2467 -x2468 x2469 -x247 -x2470 -x2471 -x2472 -x2473
1800.09/1800.90	v -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x248 x2480 -x2481 -x2482 x2483 -x2484 -x2485 -x2486 x2487 -x2488 -x2489 -x249
1800.09/1800.90	v x2490 -x2491 x2492 x2493 -x2494 x2495 x2496 -x2497 x2498 x2499 -x25 -x250 -x2500 -x2501 x2502 -x2503 -x2504 -x2505 -x2506
1800.09/1800.90	v -x2507 -x2508 -x2509 x251 -x2510 -x2511 -x2512 -x2513 -x2514 x2515 -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522
1800.09/1800.90	v x2523 -x2524 -x2525 -x2526 x2527 x2528 -x2529 -x253 -x2530 -x2531 -x2532 -x2533 -x2534 x2535 -x2536 -x2537 x2538 x2539
1800.09/1800.90	v x254 -x2540 -x2541 -x2542 x2543 x2544 -x2545 -x2546 -x2547 -x2548 x2549 -x255 x2550 x2551 -x2552 -x2553 -x2554 -x2555 -x2556
1800.09/1800.90	v -x2557 x2558 -x2559 -x256 -x2560 -x2561 -x2562 x2563 -x2564 -x2565 -x2566 -x2567 -x2568 x2569 -x257 x2570 -x2571 -x2572
1800.09/1800.90	v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x258 -x2580 -x2581 -x2582 -x2583 -x2584 x2585 -x2586 -x2587 -x2588 -x2589
1800.09/1800.90	v x259 -x2590 -x2591 -x2592 -x2593 -x2594 x2595 x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 x2601 -x2602 -x2603 -x2604 -x2605
1800.09/1800.90	v -x2606 -x2607 -x2608 -x2609 x261 -x2610 -x2611 x2612 -x2613 -x2614 x2615 -x2616 -x2617 -x2618 -x2619 -x262 x2620 -x2621
1800.09/1800.90	v -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 x263 -x2630 x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638
1800.09/1800.90	v x2639 -x264 -x2640 -x2641 x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x265 x2650 -x2651 -x2652 -x2653 -x2654
1800.09/1800.90	v -x2655 -x2656 x2657 -x2658 -x2659 -x266 -x2660 -x2661 -x2662 x2663 x2664 -x2665 x2666 -x2667 -x2668 -x2669 -x267 -x2670
1800.09/1800.90	v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x268 x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687
1800.09/1800.90	v -x2688 -x2689 -x269 x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 x2697 x2698 x2699 -x27 -x270 -x2700 x2701 -x2702 -x2703
1800.09/1800.90	v -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 x2718 -x2719 -x272
1800.09/1800.90	v x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 x2728 -x2729 -x273 -x2730 x2731 -x2732 -x2733 x2734 x2735 x2736
1800.09/1800.90	v x2737 -x2738 -x2739 -x274 -x2740 -x2741 x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749 -x275 -x2750 -x2751 -x2752
1800.09/1800.90	v -x2753 -x2754 -x2755 x2756 x2757 -x2758 x2759 -x276 x2760 -x2761 x2762 -x2763 -x2764 x2765 x2766 -x2767 -x2768 -x2769 -x277
1800.09/1800.90	v -x2770 -x2771 -x2772 x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x278 x2780 -x2781 -x2782 x2783 -x2784 -x2785 x2786
1800.09/1800.90	v x2787 -x2788 x2789 -x279 -x2790 -x2791 -x2792 -x2793 x2794 -x2795 -x2796 -x2797 x2798 -x2799 -x28 -x280 -x2800 -x2801 -x2802
1800.09/1800.90	v -x2803 x2804 -x2805 -x2806 -x2807 -x2808 x2809 x281 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819
1800.09/1800.90	v x282 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x283 -x2830 -x2831 -x2832 -x2833 x2834 -x2835
1800.09/1800.90	v -x2836 -x2837 x2838 -x2839 -x284 -x2840 x2841 -x2842 x2843 x2844 -x2845 -x2846 -x2847 x2848 -x2849 -x285 -x2850 -x2851
1800.09/1800.90	v -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x286 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867
1800.09/1800.90	v -x2868 x2869 -x287 -x2870 -x2871 -x2872 x2873 -x2874 -x2875 -x2876 x2877 x2878 -x2879 x288 -x2880 x2881 -x2882 -x2883 -x2884
1800.09/1800.90	v -x2885 -x2886 -x2887 -x2888 -x2889 x289 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x29 -x290
1800.09/1800.90	v -x2900 -x2901 -x2902 -x2903 -x2904 x2905 -x2906 -x2907 -x2908 x2909 -x291 x2910 x2911 -x2912 -x2913 -x2914 -x2915 -x2916
1800.09/1800.90	v x2917 -x2918 -x2919 -x292 -x2920 x2921 -x2922 -x2923 -x2924 -x2925 x2926 x2927 -x2928 -x2929 -x293 -x2930 x2931 -x2932
1800.09/1800.90	v -x2933 -x2934 -x2935 -x2936 x2937 -x2938 -x2939 -x294 -x2940 -x2941 -x2942 -x2943 -x2944 x2945 x2946 x2947 -x2948 -x2949
1800.09/1800.90	v -x295 -x2950 -x2951 -x2952 -x2953 x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x296 -x2960 x2961 -x2962 -x2963 -x2964 -x2965
1800.09/1800.90	v x2966 -x2967 -x2968 -x2969 -x297 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 x2978 x2979 -x298 -x2980 -x2981
1800.09/1800.90	v -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x299 -x2990 -x2991 -x2992 -x2993 -x2994 x2995 x2996 -x2997 -x2998
1800.09/1800.90	v -x2999 -x3 -x30 -x300 -x3000 -x3001 -x3002 x3003 x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x301 -x3010 -x3011 -x3012 -x3013
1800.09/1800.90	v x3014 -x3015 -x3016 -x3017 -x3018 -x3019 x302 -x3020 -x3021 x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x303
1800.09/1800.90	v x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 x3039 -x304 -x3040 -x3041 -x3042 -x3043 x3044 -x3045 -x3046
1800.09/1800.90	v -x3047 -x3048 -x3049 x305 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 x3058 x3059 -x306 -x3060 -x3061 x3062
1800.09/1800.90	v -x3063 -x3064 -x3065 -x3066 x3067 -x3068 -x3069 -x307 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 x3076 x3077 -x3078 -x3079
1800.09/1800.90	v -x308 x3080 -x3081 -x3082 x3083 x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x309 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095
1800.09/1800.90	v -x3096 -x3097 -x3098 -x3099 -x31 -x310 -x3100 -x3101 -x3102 -x3103 x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x311 -x3110
1800.09/1800.90	v x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x312 x3120 -x3121 x3122 -x3123 -x3124 -x3125 x3126 -x3127
1800.09/1800.90	v -x3128 -x3129 x313 -x3130 x3131 -x3132 x3133 x3134 -x3135 -x3136 -x3137 -x3138 x3139 -x314 -x3140 -x3141 -x3142 -x3143
1800.09/1800.90	v -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x315 -x3150 -x3151 -x3152 x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x316
1800.09/1800.90	v -x3160 -x3161 x3162 -x3163 x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x317 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176
1800.09/1800.90	v -x3177 -x3178 -x3179 -x318 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x319 x3190 -x3191 -x3192
1800.09/1800.90	v -x3193 -x3194 -x3195 -x3196 -x3197 x3198 -x3199 -x32 -x320 -x3200 -x3201 -x3202 -x3203 -x3204 x3205 -x3206 -x3207 -x3208
1800.09/1800.90	v -x3209 -x321 -x3210 -x3211 -x3212 -x3213 -x3214 x3215 -x3216 -x3217 -x3218 -x3219 -x322 -x3220 -x3221 -x3222 -x3223 -x3224
1800.09/1800.90	v -x3225 -x3226 -x3227 -x3228 -x3229 -x323 x3230 -x3231 -x3232 x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x324 -x3240
1800.09/1800.90	v -x3241 x3242 -x3243 -x3244 -x3245 -x3246 x3247 -x3248 -x3249 -x325 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257
1800.09/1800.90	v -x3258 x3259 -x326 -x3260 -x3261 -x3262 x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x327 -x3270 x3271 -x3272 x3273
1800.09/1800.90	v -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x328 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289
1800.09/1800.90	v -x329 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x33 -x330 -x3300 x3301 -x3302 -x3303 -x3304
1800.09/1800.90	v -x3305 -x3306 -x3307 x3308 x3309 -x331 -x3310 -x3311 -x3312 x3313 x3314 -x3315 x3316 -x3317 -x3318 -x3319 -x332 x3320 -x3321
1800.09/1800.90	v -x3322 -x3323 -x3324 x3325 -x3326 -x3327 -x3328 -x3329 -x333 -x3330 -x3331 -x3332 x3333 x3334 x3335 x3336 -x3337 x3338
1800.09/1800.90	v x3339 -x334 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 x3346 -x3347 -x3348 -x3349 -x335 -x3350 -x3351 -x3352 -x3353 -x3354
1800.09/1800.90	v -x3355 -x3356 -x3357 -x3358 -x3359 -x336 -x3360 -x3361 x3362 x3363 x3364 x3365 x3366 -x3367 -x3368 -x3369 -x337 -x3370
1800.09/1800.90	v -x3371 -x3372 -x3373 -x3374 -x3375 x3376 -x3377 -x3378 x3379 -x338 -x3380 x3381 -x3382 -x3383 -x3384 x3385 -x3386 x3387
1800.09/1800.90	v -x3388 x3389 x339 x3390 -x3391 -x3392 -x3393 -x3394 -x3395 x3396 x3397 x3398 -x3399 -x34 -x340 -x3400 -x3401 -x3402 -x3403
1800.09/1800.90	v -x3404 -x3405 -x3406 -x3407 -x3408 x3409 -x341 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 x3419 -x342
1800.09/1800.90	v -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x343 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435
1800.09/1800.90	v -x3436 x3437 -x3438 -x3439 -x344 -x3440 -x3441 -x3442 x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x345 x3450 -x3451
1800.09/1800.90	v -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x346 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467
1800.09/1800.90	v -x3468 -x3469 -x347 -x3470 -x3471 x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x348 -x3480 -x3481 -x3482 -x3483
1800.09/1800.90	v -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x349 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 x3499 -x35
1800.09/1800.90	v -x350 -x3500 -x3501 -x3502 x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x351 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515
1800.09/1800.90	v -x3516 -x3517 -x3518 -x3519 x352 -x3520 -x3521 -x3522 x3523 x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x353 -x3530 -x3531
1800.09/1800.90	v -x3532 -x3533 -x3534 -x3535 -x3536 x3537 -x3538 -x3539 x354 -x3540 -x3541 -x3542 x3543 -x3544 -x3545 -x3546 -x3547 -x3548
1800.09/1800.90	v -x3549 -x355 -x3550 -x3551 -x3552 -x3553 -x3554 x3555 -x3556 x3557 -x3558 -x3559 -x356 -x3560 -x3561 x3562 -x3563 -x3564
1800.09/1800.90	v -x3565 -x3566 -x3567 -x3568 -x3569 -x357 x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x358 -x3580
1800.09/1800.90	v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x359 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596
1800.09/1800.90	v -x3597 -x3598 -x3599 -x36 -x360 -x3600 x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x361 -x3610 -x3611
1800.09/1800.90	v -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x362 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 x3627 -x3628
1800.09/1800.90	v -x3629 x363 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x364 -x3640 -x3641 -x3642 x3643 x3644
1800.09/1800.90	v -x3645 -x3646 -x3647 -x3648 -x3649 -x365 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 x3656 x3657 -x3658 -x3659 -x366 -x3660
1800.09/1800.90	v -x3661 -x3662 x3663 -x3664 -x3665 -x3666 -x3667 x3668 -x3669 -x367 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677
1800.09/1800.90	v -x3678 -x3679 -x368 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 x369 -x3690 -x3691 -x3692 -x3693
1800.09/1800.90	v -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x37 x370 -x3700 x3701 -x3702 -x3703 -x3704 x3705 -x3706 x3707 -x3708 x3709 -x371
1800.09/1800.90	v -x3710 -x3711 -x3712 -x3713 -x3714 x3715 -x3716 -x3717 -x3718 x3719 -x372 x3720 x3721 -x3722 x3723 -x3724 -x3725 -x3726
1800.09/1800.90	v -x3727 -x3728 -x3729 -x373 -x3730 -x3731 -x3732 -x3733 x3734 x3735 -x3736 x3737 x3738 x3739 -x374 -x3740 -x3741 -x3742
1800.09/1800.90	v -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x375 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758
1800.09/1800.90	v -x3759 -x376 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 x3766 -x3767 -x3768 -x3769 -x377 -x3770 -x3771 -x3772 -x3773 -x3774
1800.09/1800.90	v -x3775 -x3776 -x3777 -x3778 -x3779 x378 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x379 -x3790
1800.09/1800.90	v -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x38 -x380 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806
1800.09/1800.90	v -x3807 -x3808 -x3809 -x381 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x382 -x3820 -x3821 -x3822
1800.09/1800.90	v -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x383 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838
1800.09/1800.90	v -x3839 -x384 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x385 -x3850 -x3851 -x3852 -x3853 -x3854
1800.09/1800.90	v -x3855 -x3856 -x3857 -x3858 -x3859 -x386 -x3860 -x3861 -x3862 -x3863 -x3864 x3865 -x3866 -x3867 -x3868 -x3869 -x387 -x3870
1800.09/1800.90	v -x3871 x3872 x3873 x3874 -x3875 -x3876 x3877 x3878 -x3879 -x388 -x3880 -x3881 x3882 -x3883 -x3884 -x3885 -x3886 -x3887
1800.09/1800.90	v -x3888 x3889 -x389 -x3890 -x3891 -x3892 -x3893 x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x39 -x390 x3900 -x3901 -x3902
1800.09/1800.90	v -x3903 -x3904 x3905 -x3906 -x3907 -x3908 -x3909 -x391 x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 x3918 -x3919
1800.09/1800.90	v x392 x3920 -x3921 x3922 -x3923 -x3924 -x3925 -x3926 x3927 -x3928 -x3929 -x393 -x3930 -x3931 x3932 -x3933 -x3934 -x3935
1800.09/1800.90	v -x3936 -x3937 -x3938 -x3939 x394 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x395 -x3950 -x3951
1800.09/1800.90	v -x3952 -x3953 -x3954 -x3955 x3956 -x3957 x3958 -x3959 -x396 -x3960 -x3961 -x3962 x3963 -x3964 x3965 -x3966 -x3967 -x3968
1800.09/1800.90	v -x3969 -x397 -x3970 -x3971 -x3972 x3973 -x3974 x3975 -x3976 -x3977 -x3978 -x3979 -x398 -x3980 -x3981 -x3982 -x3983 -x3984
1800.09/1800.90	v -x3985 -x3986 -x3987 -x3988 -x3989 -x399 -x3990 -x3991 -x3992 -x3993 -x3994 x3995 -x3996 -x3997 x3998 -x3999 -x4 -x40 -x400
1800.09/1800.90	v -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x401 -x4010 -x4011 -x4012 -x4013 x4014 -x4015 -x4016
1800.09/1800.90	v -x4017 -x4018 -x4019 -x402 -x4020 -x4021 -x4022 -x4023 -x4024 x4025 -x4026 -x4027 -x4028 -x4029 -x403 -x4030 -x4031 -x4032
1800.09/1800.90	v -x4033 -x4034 -x4035 -x4036 x4037 -x4038 -x4039 -x404 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 x4048 -x4049
1800.09/1800.90	v -x405 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 x4058 x4059 -x406 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065
1800.09/1800.90	v x4066 -x4067 x4068 -x4069 -x407 -x4070 -x4071 -x4072 x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x408 -x4080 x4081
1800.09/1800.90	v -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x409 -x4090 -x4091 x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098
1800.09/1800.90	v -x4099 -x41 -x410 -x4100 -x4101 x4102 -x4103 -x4104 -x4105 -x4106 x4107 x4108 -x4109 -x411 -x4110 x4111 x4112 -x4113 -x4114
1800.09/1800.90	v x4115 -x4116 -x4117 x4118 x4119 -x412 -x4120 -x4121 -x4122 -x4123 x4124 x4125 -x4126 -x4127 x4128 -x4129 -x413 x4130 -x4131
1800.09/1800.90	v -x4132 -x4133 x4134 -x4135 x4136 x4137 -x4138 -x4139 x414 -x4140 x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148
1800.09/1800.90	v -x4149 -x415 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 x4157 x4158 -x4159 -x416 x4160 -x4161 -x4162 -x4163 -x4164
1800.09/1800.90	v -x4165 -x4166 x4167 -x4168 -x4169 -x417 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x418 x4180
1800.09/1800.90	v -x4181 -x4182 x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x419 -x4190 -x4191 -x4192 x4193 -x4194 -x4195 -x4196 -x4197
1800.09/1800.90	v -x4198 x4199 -x42 -x420 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 x4207 x4208 -x4209 -x421 -x4210 x4211 x4212 -x4213
1800.09/1800.90	v -x4214 -x4215 -x4216 -x4217 x4218 -x4219 -x422 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 x423
1800.09/1800.90	v -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 x4239 -x424 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246
1800.09/1800.90	v -x4247 -x4248 x4249 x425 x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x426 -x4260 -x4261 -x4262
1800.09/1800.90	v -x4263 x4264 -x4265 x4266 x4267 x4268 -x4269 -x427 x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 x4279
1800.09/1800.90	v -x428 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 x429 -x4290 -x4291 -x4292 -x4293 -x4294 x4295
1800.09/1800.90	v x4296 -x4297 -x4298 -x4299 -x43 -x430 -x4300 -x4301 -x4302 x4303 -x4304 -x4305 -x4306 -x4307 x4308 -x4309 -x431 -x4310
1800.09/1800.90	v x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 x4319 -x432 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327
1800.09/1800.90	v x4328 -x4329 -x433 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x434 -x4340 -x4341 -x4342 -x4343
1800.09/1800.90	v -x4344 x4345 x4346 -x4347 -x4348 -x4349 x435 -x4350 -x4351 -x4352 -x4353 -x4354 x4355 -x4356 -x4357 x4358 -x4359 -x436
1800.09/1800.90	v x4360 -x4361 -x4362 -x4363 -x4364 x4365 -x4366 x4367 -x4368 -x4369 -x437 x4370 x4371 -x4372 -x4373 x4374 -x4375 -x4376
1800.09/1800.90	v -x4377 -x4378 -x4379 -x438 -x4380 -x4381 -x4382 -x4383 x4384 x4385 -x4386 -x4387 -x4388 -x4389 -x439 x4390 x4391 x4392
1800.09/1800.90	v x4393 x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x44 x440 x4400 -x4401 -x4402 -x4403 -x4404 -x4405 x4406 x4407 x4408 -x4409
1800.09/1800.90	v -x441 x4410 -x4411 -x4412 -x4413 x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x442 -x4420 -x4421 x4422 -x4423 -x4424 -x4425
1800.09/1800.90	v -x4426 -x4427 -x4428 -x4429 -x443 -x4430 -x4431 -x4432 -x4433 -x4434 x4435 -x4436 -x4437 -x4438 -x4439 -x444 -x4440 -x4441
1800.09/1800.90	v -x4442 x4443 -x4444 -x4445 -x4446 x4447 x4448 x4449 -x445 -x4450 x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458
1800.09/1800.90	v -x4459 -x446 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x447 -x4470 -x4471 -x4472 -x4473 -x4474
1800.09/1800.90	v -x4475 -x4476 -x4477 -x4478 x4479 -x448 -x4480 -x4481 -x4482 -x4483 x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x449 -x4490
1800.09/1800.90	v -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 x4499 x45 -x450 x4500 -x4501 -x4502 -x4503 -x4504 -x4505 x4506
1800.09/1800.90	v -x4507 -x4508 -x4509 -x451 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 x4518 -x4519 -x452 -x4520 -x4521 -x4522
1800.09/1800.90	v -x4523 -x4524 -x4525 x4526 -x4527 -x4528 -x4529 -x453 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539
1800.09/1800.90	v -x454 -x4540 x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x455 -x4550 -x4551 x4552 -x4553 -x4554 -x4555
1800.09/1800.90	v -x4556 -x4557 -x4558 -x4559 -x456 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x457 -x4570 x4571
1800.09/1800.90	v -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x458 -x4580 -x4581 -x4582 -x4583 x4584 -x4585 -x4586 -x4587 -x4588
1800.09/1800.90	v -x4589 -x459 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x46 -x460 -x4600 -x4601 -x4602 -x4603
1800.09/1800.90	v -x4604 -x4605 -x4606 -x4607 -x4608 x4609 x461 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x462
1800.09/1800.90	v -x4620 -x4621 x4622 x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 x463 -x4630 -x4631 -x4632 -x4633 x4634 -x4635 -x4636
1800.09/1800.90	v -x4637 -x4638 -x4639 -x464 -x4640 -x4641 -x4642 -x4643 x4644 -x4645 x4646 -x4647 -x4648 -x4649 -x465 -x4650 x4651 -x4652
1800.09/1800.90	v -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x466 -x4660 -x4661 x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669
1800.09/1800.90	v x467 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 x4677 -x4678 -x4679 x468 -x4680 x4681 -x4682 x4683 -x4684 -x4685
1800.09/1800.90	v -x4686 -x4687 x4688 -x4689 -x469 x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 x4697 -x4698 -x4699 -x47 x470 -x4700 -x4701
1800.09/1800.90	v -x4702 -x4703 -x4704 -x4705 -x4706 x4707 -x4708 x4709 x471 -x4710 -x4711 x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718
1800.09/1800.90	v -x4719 -x472 -x4720 -x4721 x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x473 x4730 x4731 -x4732 -x4733 x4734
1800.09/1800.90	v x4735 x4736 x4737 -x4738 -x4739 -x474 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 x475 -x4750
1800.09/1800.90	v -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x476 -x4760 -x4761 -x4762 -x4763 -x4764 x4765 -x4766 -x4767
1800.09/1800.90	v -x4768 -x4769 -x477 -x4770 -x4771 x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 x478 -x4780 -x4781 -x4782 -x4783
1800.09/1800.90	v x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x479 x4790 -x4791 -x4792 -x4793 x4794 -x4795 -x4796 -x4797 -x4798 x4799 -x48
1800.09/1800.90	v -x480 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 x481 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815
1800.09/1800.90	v -x4816 x4817 -x4818 -x4819 x482 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x483 -x4830 -x4831
1800.09/1800.90	v -x4832 -x4833 x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x484 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 x4846 -x4847 -x4848
1800.09/1800.90	v -x4849 -x485 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x486 -x4860 -x4861 -x4862 -x4863 -x4864
1800.09/1800.90	v -x4865 -x4866 -x4867 -x4868 -x4869 -x487 -x4870 -x4871 x4872 -x4873 -x4874 x4875 -x4876 -x4877 -x4878 -x4879 -x488 -x4880
1800.09/1800.90	v -x4881 x4882 x4883 -x4884 -x4885 -x4886 -x4887 -x4888 x4889 x489 x4890 -x4891 x4892 -x4893 x4894 -x4895 -x4896 -x4897 -x4898
1800.09/1800.90	v -x4899 -x49 -x490 x4900 x4901 -x4902 -x4903 -x4904 -x4905 -x4906 x4907 -x4908 -x4909 -x491 -x4910 -x4911 -x4912 x4913 x4914
1800.09/1800.90	v -x4915 -x4916 x4917 x4918 -x4919 -x492 -x4920 -x4921 x4922 -x4923 -x4924 -x4925 x4926 -x4927 -x4928 x4929 -x493 -x4930
1800.09/1800.90	v -x4931 x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 x4939 -x494 x4940 -x4941 x4942 -x4943 -x4944 -x4945 -x4946 -x4947
1800.09/1800.90	v -x4948 -x4949 -x495 x4950 -x4951 x4952 x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x496 -x4960 -x4961 x4962 -x4963
1800.09/1800.90	v -x4964 x4965 x4966 -x4967 x4968 -x4969 -x497 -x4970 -x4971 -x4972 -x4973 -x4974 x4975 -x4976 -x4977 -x4978 -x4979 -x498
1800.09/1800.90	v -x4980 x4981 x4982 -x4983 -x4984 x4985 -x4986 -x4987 -x4988 x4989 -x499 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996
1800.09/1800.90	v -x4997 -x4998 -x4999 -x5 -x50 -x500 -x5000 x5001 -x5002 x5003 -x5004 x5005 -x5006 -x5007 -x5008 -x5009 -x501 x5010 -x5011
1800.09/1800.90	v -x5012 x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x502 -x5020 x5021 -x5022 -x5023 -x5024 x5025 x5026 -x5027 -x5028
1800.09/1800.90	v -x5029 -x503 -x5030 -x5031 x5032 -x5033 x5034 -x5035 x5036 -x5037 -x5038 -x5039 -x504 -x5040 -x5041 -x5042 -x5043 -x5044
1800.09/1800.90	v x5045 -x5046 x5047 -x5048 -x5049 -x505 x5050 -x5051 x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 x5059 x506 x5060 x5061
1800.09/1800.90	v -x5062 -x5063 -x5064 -x5065 x5066 -x5067 x5068 -x5069 x507 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078
1800.09/1800.90	v -x5079 -x508 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 x5086 -x5087 -x5088 x5089 -x509 -x5090 -x5091 -x5092 -x5093 -x5094
1800.09/1800.90	v -x5095 -x5096 -x5097 -x5098 -x5099 -x51 -x510 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 x5107 x5108 x5109 -x511
1800.09/1800.90	v -x5110 x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x512 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126
1800.09/1800.90	v -x5127 -x5128 -x5129 -x513 x5130 -x5131 x5132 -x5133 x5134 -x5135 x5136 -x5137 x5138 -x5139 -x514 -x5140 x5141 -x5142 -x5143
1800.09/1800.90	v -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x515 -x5150 -x5151 x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x516
1800.09/1800.90	v -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 x5168 x5169 -x517 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176
1800.09/1800.90	v x5177 x5178 x5179 -x518 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 x5186 -x5187 x5188 x5189 -x519 -x5190 x5191 -x5192 -x5193
1800.09/1800.90	v -x5194 x5195 -x5196 -x5197 -x5198 -x5199 -x52 -x520 -x5200 -x5201 -x5202 -x5203 -x521 -x522 -x523 -x524 -x525 -x526 -x527
1800.09/1800.90	v -x528 -x529 -x53 -x530 -x531 x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546
1800.09/1800.90	v -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565
1800.09/1800.90	v -x566 -x567 -x568 x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 x582 -x583 -x584
1800.09/1800.90	v -x585 -x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602
1800.09/1800.90	v -x603 -x604 x605 -x606 -x607 x608 -x609 x61 x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 x622
1800.09/1800.90	v -x623 x624 -x625 -x626 x627 -x628 -x629 x63 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 x64 -x640 -x641 -x642
1800.09/1800.90	v -x643 -x644 -x645 x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x66 -x660 -x661
1800.09/1800.90	v -x662 -x663 -x664 x665 -x666 x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 x678 -x679 -x68 -x680 -x681
1800.09/1800.90	v -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x69 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700
1800.09/1800.90	v -x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 x709 -x71 -x710 -x711 -x712 -x713 x714 -x715 x716 -x717 -x718 -x719 -x72 -x720
1800.09/1800.90	v -x721 x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 x731 -x732 -x733 -x734 x735 -x736 -x737 x738 -x739 x74 x740
1800.09/1800.90	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 x749 -x75 -x750 -x751 x752 x753 -x754 -x755 x756 -x757 -x758 -x759 -x76 x760
1800.09/1800.90	v -x761 x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 x779 -x78 -x780
1800.09/1800.90	v -x781 -x782 x783 -x784 -x785 -x786 -x787 x788 -x789 -x79 -x790 -x791 -x792 -x793 x794 -x795 x796 -x797 -x798 -x799 -x8 -x80
1800.09/1800.90	v -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x81 -x810 -x811 -x812 -x813 x814 x815 -x816 -x817 -x818 x819 x82
1800.09/1800.90	v -x820 -x821 x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
1800.09/1800.90	v -x84 -x840 -x841 x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858
1800.09/1800.90	v -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877
1800.09/1800.90	v x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 x892 -x893 -x894 -x895 -x896
1800.09/1800.90	v -x897 -x898 x899 -x9 -x90 -x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 -x910 -x911 -x912 -x913 x914 -x915
1800.09/1800.90	v -x916 x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 x933 -x934
1800.09/1800.90	v -x935 -x936 -x937 x938 x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 x949 -x95 -x950 -x951 -x952 -x953 -x954
1800.09/1800.90	v x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 -x97 -x970 x971 -x972 -x973 x974
1800.09/1800.90	v -x975 -x976 -x977 -x978 x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 x99 -x990 -x991 x992 -x993 -x994
1800.09/1800.90	v -x995 -x996 x997 -x998 -x999

Verifier Data (download as text)

OK	773

Conversion Script Data (download as text)

/tmp/evaluation/459118-1178649273/instance-459118-1178649273.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node42/watcher-459118-1178649273 -o ROOT/results/node42/solver-459118-1178649273 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459118-1178649273/instance-459118-1178649273.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.92 0.98 0.99 3/77 11856
/proc/meminfo: memFree=1480328/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=1960 CPUtime=0
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 301 0 0 0 0 0 0 0 18 0 1 0 312839289 2007040 283 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134530001 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 490 283 84 219 0 267 0

[startup+0.045283 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 11856
/proc/meminfo: memFree=1480328/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=2364 CPUtime=0.04
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 375 0 0 0 4 0 0 0 18 0 1 0 312839289 2420736 357 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134586372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 591 357 86 219 0 368 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2364

[startup+0.101293 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 11856
/proc/meminfo: memFree=1480328/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=2364 CPUtime=0.1
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 396 0 0 0 10 0 0 0 18 0 1 0 312839289 2420736 378 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134586965 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 591 378 86 219 0 368 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2364

[startup+0.301331 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 11856
/proc/meminfo: memFree=1480328/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=2812 CPUtime=0.29
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 512 0 0 0 29 0 0 0 19 0 1 0 312839289 2879488 494 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134530024 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 703 494 86 219 0 480 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2812

[startup+0.701408 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 11856
/proc/meminfo: memFree=1480328/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=4544 CPUtime=0.69
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 789 0 0 0 69 0 0 0 22 0 1 0 312839289 4653056 771 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 1136 771 86 219 0 913 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4544

[startup+1.50156 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 11857
/proc/meminfo: memFree=1476224/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=6664 CPUtime=1.5
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 1331 0 0 0 149 1 0 0 25 0 1 0 312839289 6823936 1313 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 1666 1313 86 219 0 1443 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 6664

[startup+3.10186 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 11857
/proc/meminfo: memFree=1473536/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=10952 CPUtime=3.1
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 2418 0 0 0 308 2 0 0 25 0 1 0 312839289 11214848 2351 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 2738 2351 86 219 0 2515 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 10952

[startup+6.30147 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 11857
/proc/meminfo: memFree=1469184/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=19656 CPUtime=6.29
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 2981 0 0 0 619 10 0 0 25 0 1 0 312839289 20127744 2817 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546114 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 4914 2817 101 219 0 4691 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19656

[startup+12.7017 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 11857
/proc/meminfo: memFree=1469328/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=19656 CPUtime=12.69
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 2981 0 0 0 1241 28 0 0 25 0 1 0 312839289 20127744 2817 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 4914 2817 101 219 0 4691 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19656

[startup+25.5011 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 11857
/proc/meminfo: memFree=1469520/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=19656 CPUtime=25.48
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 2996 0 0 0 2486 62 0 0 25 0 1 0 312839289 20127744 2832 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 4914 2832 101 219 0 4691 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19656

[startup+51.102 s]
/proc/loadavg: 1.26 1.06 1.02 2/78 11857
/proc/meminfo: memFree=1465936/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=23484 CPUtime=51.07
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 3928 0 0 0 4956 151 0 0 25 0 1 0 312839289 24047616 3764 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546117 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 5871 3764 101 219 0 5648 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 23484

[startup+102.306 s]
/proc/loadavg: 1.10 1.05 1.01 2/78 11857
/proc/meminfo: memFree=1460112/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=29112 CPUtime=102.21
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 5337 0 0 0 9843 378 0 0 25 0 1 0 312839289 29810688 5173 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 7278 5173 101 219 0 7055 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 29112

[startup+162.301 s]
/proc/loadavg: 1.04 1.04 1.01 2/78 11857
/proc/meminfo: memFree=1452496/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=32488 CPUtime=162.15
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 7237 0 0 0 15745 470 0 0 25 0 1 0 312839289 33267712 7073 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 8122 7073 102 219 0 7899 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 32488

[startup+222.302 s]
/proc/loadavg: 1.01 1.03 1.00 2/78 11857
/proc/meminfo: memFree=1444176/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=49032 CPUtime=222.13
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 9313 0 0 0 21742 471 0 0 25 0 1 0 312839289 50208768 9149 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 12258 9149 102 219 0 12035 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 49032

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 11857
/proc/meminfo: memFree=1435536/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=49032 CPUtime=282.11
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 11484 0 0 0 27738 473 0 0 25 0 1 0 312839289 50208768 11320 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 12258 11320 102 219 0 12035 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 49032

[startup+342.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 11857
/proc/meminfo: memFree=1426384/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=81800 CPUtime=342.09
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 13762 0 0 0 33734 475 0 0 25 0 1 0 312839289 83763200 13598 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 20450 13598 102 219 0 20227 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 81800

[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 11857
/proc/meminfo: memFree=1423312/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=82072 CPUtime=402.07
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 14516 0 0 0 39728 479 0 0 25 0 1 0 312839289 84041728 14352 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 20518 14352 102 219 0 20295 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 82072

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11857
/proc/meminfo: memFree=1421584/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=82216 CPUtime=462.05
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 14947 0 0 0 45721 484 0 0 25 0 1 0 312839289 84189184 14783 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 20554 14783 102 219 0 20331 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 82216

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11857
/proc/meminfo: memFree=1420176/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=82216 CPUtime=522.02
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 15310 0 0 0 51718 484 0 0 25 0 1 0 312839289 84189184 15146 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 20554 15146 102 219 0 20331 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 82216

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11859
/proc/meminfo: memFree=1414864/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=83404 CPUtime=582.01
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 16647 0 0 0 57709 492 0 0 25 0 1 0 312839289 85405696 16483 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 20851 16483 102 219 0 20628 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 83404

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11859
/proc/meminfo: memFree=1412880/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=83404 CPUtime=641.98
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 17129 0 0 0 63700 498 0 0 25 0 1 0 312839289 85405696 16965 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557351 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 20851 16965 102 219 0 20628 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 83404


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11859
/proc/meminfo: memFree=1408272/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=84652 CPUtime=881.9
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18282 0 0 0 87679 511 0 0 25 0 1 0 312839289 86683648 18118 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 21163 18118 102 219 0 20940 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 84652

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11859
/proc/meminfo: memFree=1408208/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=84652 CPUtime=941.88
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18293 0 0 0 93671 517 0 0 25 0 1 0 312839289 86683648 18129 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 21163 18129 102 219 0 20940 0
Current children cumulated CPU time (s) 941.88
Current children cumulated vsize (KiB) 84652

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11859
/proc/meminfo: memFree=1408144/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=84796 CPUtime=1001.86
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18316 0 0 0 99669 517 0 0 25 0 1 0 312839289 86831104 18152 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 21199 18152 102 219 0 20976 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 84796

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 11859
/proc/meminfo: memFree=1408080/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=84796 CPUtime=1061.84
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18318 0 0 0 105667 517 0 0 25 0 1 0 312839289 86831104 18154 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 21199 18154 102 219 0 20976 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 84796

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11859
/proc/meminfo: memFree=1408080/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=84796 CPUtime=1121.81
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18329 0 0 0 111662 519 0 0 25 0 1 0 312839289 86831104 18165 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557351 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 21199 18165 102 219 0 20976 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 84796

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11859
/proc/meminfo: memFree=1407440/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=85492 CPUtime=1181.8
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18480 0 0 0 117652 528 0 0 25 0 1 0 312839289 87543808 18316 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 21373 18316 102 219 0 21150 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 85492

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11859
/proc/meminfo: memFree=1406928/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=86232 CPUtime=1241.78
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18610 0 0 0 123646 532 0 0 25 0 1 0 312839289 88301568 18446 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 21558 18446 102 219 0 21335 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 86232

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11859
/proc/meminfo: memFree=1406928/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=86232 CPUtime=1301.77
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18611 0 0 0 129644 533 0 0 25 0 1 0 312839289 88301568 18447 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 21558 18447 102 219 0 21335 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 86232

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11859
/proc/meminfo: memFree=1406864/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=86232 CPUtime=1361.73
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18623 0 0 0 135640 533 0 0 25 0 1 0 312839289 88301568 18459 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 21558 18459 102 219 0 21335 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 86232

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11859
/proc/meminfo: memFree=1406800/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=86232 CPUtime=1421.72
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18636 0 0 0 141632 540 0 0 25 0 1 0 312839289 88301568 18472 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 21558 18472 102 219 0 21335 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 86232

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11859
/proc/meminfo: memFree=1406544/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=86496 CPUtime=1481.7
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18704 0 0 0 147622 548 0 0 25 0 1 0 312839289 88571904 18540 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 21624 18540 102 219 0 21401 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 86496

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11859
/proc/meminfo: memFree=1406352/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=86800 CPUtime=1541.67
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18762 0 0 0 153619 548 0 0 25 0 1 0 312839289 88883200 18598 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 21700 18598 102 219 0 21477 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 86800

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 11941
/proc/meminfo: memFree=1404952/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=86928 CPUtime=1601.6
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18778 0 0 0 159604 556 0 0 25 0 1 0 312839289 89014272 18614 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 21732 18614 102 219 0 21509 0
Current children cumulated CPU time (s) 1601.6
Current children cumulated vsize (KiB) 86928

[startup+1662.3 s]
/proc/loadavg: 1.20 1.06 1.02 2/78 12057
/proc/meminfo: memFree=1405840/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=87080 CPUtime=1661.54
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18801 0 0 0 165596 558 0 0 25 0 1 0 312839289 89169920 18637 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 21770 18637 102 219 0 21547 0
Current children cumulated CPU time (s) 1661.54
Current children cumulated vsize (KiB) 87080

[startup+1722.3 s]
/proc/loadavg: 1.13 1.06 1.02 2/78 12057
/proc/meminfo: memFree=1405136/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=88576 CPUtime=1721.51
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 19159 0 0 0 171588 563 0 0 25 0 1 0 312839289 90701824 18802 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 22144 18802 102 219 0 21921 0
Current children cumulated CPU time (s) 1721.51
Current children cumulated vsize (KiB) 88576

[startup+1782.3 s]
/proc/loadavg: 1.04 1.05 1.01 2/78 12057
/proc/meminfo: memFree=1405136/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=88688 CPUtime=1781.49
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 19181 0 0 0 177579 570 0 0 25 0 1 0 312839289 90816512 18824 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 22172 18824 102 219 0 21949 0
Current children cumulated CPU time (s) 1781.49
Current children cumulated vsize (KiB) 88688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 1.03 1.04 1.01 2/78 12057
/proc/meminfo: memFree=1405136/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=88688 CPUtime=1800.09
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 19182 0 0 0 179439 570 0 0 25 0 1 0 312839289 90816512 18825 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 22172 18825 102 219 0 21949 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 88688

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

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

[startup+1800.9 s]
/proc/loadavg: 1.03 1.04 1.01 2/78 12057
/proc/meminfo: memFree=1405136/2055920 swapFree=4147588/4192956
[pid=11856] ppid=11854 vsize=88688 CPUtime=1800.09
/proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 19182 0 0 0 179439 570 0 0 25 0 1 0 312839289 90816512 18825 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11856/statm: 22172 18825 102 219 0 21949 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 88688

Child status: 0
Real time (s): 1800.92
CPU time (s): 1800.12
CPU user time (s): 1794.4
CPU system time (s): 5.72213
CPU usage (%): 99.9553
Max. virtual memory (cumulated for all children) (KiB): 88688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.4
system time used= 5.72213
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19185
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= 9
involuntary context switches= 3601

runsolver used 1.54976 second user time and 3.77243 second system time

The end

Launcher Data (download as text)

Begin job on node42 on Tue May  8 18:34:34 UTC 2007

IDJOB= 459118
IDBENCH= 2889
IDSOLVER= 200
FILE ID= node42/459118-1178649273

PBS_JOBID= 5218383

Free space on /tmp= 66553 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459118-1178649273/instance-459118-1178649273.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node42/convwatcher-459118-1178649273 -o ROOT/results/node42/conversion-459118-1178649273 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459118-1178649273/instance-459118-1178649273.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-459118-1178649273 -o ROOT/results/node42/solver-459118-1178649273 -C 1800 -W 3600 -M 1800 --output-limit 1,15  PBS4_SAT07v2 /tmp/evaluation/459118-1178649273/instance-459118-1178649273.opb

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  0b80319f4195f1e1329c2c4b63b416b0

RANDOM SEED= 720513922

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node42.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.277
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.277
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:       1480736 kB
Buffers:         41868 kB
Cached:         404752 kB
SwapCached:      14624 kB
Active:         149508 kB
Inactive:       321024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1480736 kB
SwapTotal:     4192956 kB
SwapFree:      4147588 kB
Dirty:           12048 kB
Writeback:           0 kB
Mapped:          30924 kB
Slab:            90036 kB
Committed_AS:  7376264 kB
PageTables:       1912 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= 66553 MiB

End job on node42 on Tue May  8 19:04:37 UTC 2007