Trace number 372342

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
wildcat-rnp 2007-03-21SAT (TO)9652 1800.06 1800.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/reduced/
submittedPB07/aksoy/trarea_ac/normalized-reduced-fir06_trarea_ac.opb
MD5SUM7546aeed0de3680ab75d817854256b46
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4812
Best CPU time to get the best result obtained on this benchmark6.36403
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4812
Optimality of the best value was proved YES
Number of variables4360
Total number of constraints8610
Number of constraints which are clauses8610
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint163
Number of terms in the objective function 2173
Biggest coefficient in the objective function 305
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 525495
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 305
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 525495
Number of bits of the biggest sum of numbers20
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 
0.00/0.00	c wildcat-rnp (VERSION 0.8.0-lite-rnp-devel)
0.00/0.00	c Developed by L. Liu  and M. Truszczynski 
0.00/0.00	c Last built on Sun 18 Mar 2007 03:03:40 PM EDT
0.00/0.00	c 
0.00/0.00	c /tmp/evaluation/372342-1177090975/wildcat-rnp /tmp/evaluation/372342-1177090975/instance-372342-1177090975.opb 207233543 
0.00/0.00	c =================================== BEGIN ===================================
0.00/0.00	c 
0.00/0.00	c Random Number Seed: 207233543
0.00/0.00	c Noise: 0.7 (70 : 100) 
0.02/0.07	c Starting searching:
0.02/0.07	c Phase 1 ...
0.02/0.09	c   trying 525495: vc 
0.02/0.09	o 252865
0.09/0.10	c   trying 252362: vc 
0.09/0.10	o 237280
0.09/0.11	c   trying 236792: vc 
0.09/0.11	o 232803
0.09/0.13	c   trying 232320: vc 
0.09/0.13	o 231208
0.09/0.14	c   trying 230727: vc 
0.09/0.14	o 217727
0.09/0.16	c   trying 217260: vc 
0.09/0.16	o 216585
0.09/0.19	c   trying 216119: vc 
0.09/0.19	o 213801
0.19/0.21	c   trying 213338: vc 
0.19/0.21	o 205125
0.19/0.23	c   trying 204672: vc 
0.19/0.23	o 198688
0.19/0.27	c   trying 198242: vc 
0.19/0.27	o 198174
0.29/0.30	c   trying 197728: vc 
0.29/0.30	o 197710
0.29/0.39	c   trying 197265: vc 
0.29/0.39	o 197060
0.49/0.51	c   trying 196616: vc 
0.49/0.51	o 196594
0.49/0.57	c   trying 196150: vc 
0.49/0.57	o 196039
0.59/0.68	c   trying 195596: vc 
0.59/0.68	o 195387
0.69/0.76	c   trying 194944: vc 
0.69/0.76	o 194685
0.89/0.97	c   trying 194243: vc 
0.89/0.97	o 194000
0.99/1.10	c   trying 193559: vc 
0.99/1.10	o 193326
1.09/1.19	c   trying 192886: vc 
1.09/1.19	o 192761
1.29/1.34	c   trying 192321: vc 
1.29/1.34	o 192135
1.39/1.48	c   trying 191696: vc 
1.39/1.48	o 191514
1.49/1.57	c   trying 191076: vc 
1.49/1.57	o 190859
1.59/1.64	c   trying 190422: vc 
1.59/1.64	o 190307
1.69/1.72	c   trying 189870: vc 
1.69/1.72	o 189830
1.79/1.87	c   trying 189394: vc 
1.79/1.87	o 189345
1.99/2.03	c   trying 188909: vc 
1.99/2.03	o 188838
2.09/2.12	c   trying 188403: vc 
2.09/2.12	o 188322
2.19/2.27	c   trying 187888: vc 
2.19/2.27	o 187764
2.29/2.35	c   trying 187330: vc 
2.29/2.35	o 187171
2.49/2.50	c   trying 186738: vc 
2.49/2.50	o 186562
2.49/2.57	c   trying 186130: vc 
2.49/2.57	o 186011
2.59/2.68	c   trying 185579: vc 
2.59/2.68	o 185492
2.79/2.84	c   trying 185061: vc 
2.79/2.84	o 184851
2.99/3.07	c   trying 184421: vc 
2.99/3.07	o 184326
3.29/3.38	c   trying 183896: vc 
3.29/3.38	o 183732
3.49/3.53	c   trying 183303: vc 
3.49/3.53	o 183201
3.79/3.81	c   trying 182772: vc 
3.79/3.81	o 182589
3.89/3.91	c   trying 182161: vc 
3.89/3.91	o 182123
4.09/4.13	c   trying 181696: vc 
4.09/4.13	o 181480
4.19/4.24	c   trying 181053: vc 
4.19/4.24	o 180830
4.39/4.44	c   trying 180404: vc 
4.39/4.44	o 180214
4.49/4.59	c   trying 179789: vc 
4.49/4.59	o 179785
4.89/4.91	c   trying 179360: vc 
4.89/4.91	o 179120
5.09/5.12	c   trying 178696: vc 
5.09/5.12	o 178575
5.29/5.32	c   trying 178152: vc 
5.29/5.32	o 178126
5.49/5.53	c   trying 177703: vc 
5.49/5.53	o 177696
5.69/5.76	c   trying 177274: vc 
5.69/5.76	o 177226
5.99/6.00	c   trying 176805: vc 
5.99/6.00	o 176624
6.09/6.19	c   trying 176203: vc 
6.09/6.19	o 176122
6.29/6.35	c   trying 175702: vc 
6.29/6.35	o 175625
6.49/6.56	c   trying 175205: vc 
6.49/6.56	o 175199
6.79/6.86	c   trying 174780: vc 
6.79/6.86	o 174649
7.09/7.15	c   trying 174231: vc 
7.09/7.15	o 174092
7.29/7.39	c   trying 173674: vc 
7.29/7.39	o 173478
7.59/7.69	c   trying 173061: vc 
7.59/7.69	o 173002
7.89/7.96	c   trying 172586: vc 
7.89/7.96	o 172432
8.19/8.25	c   trying 172016: vc 
8.19/8.25	o 171769
8.59/8.62	c   trying 171354: vc 
8.59/8.62	o 171264
8.89/8.98	c   trying 170850: vc 
8.89/8.98	o 170661
9.29/9.35	c   trying 170247: vc 
9.29/9.35	o 170104
9.69/9.73	c   trying 169691: vc 
9.69/9.73	o 169628
9.89/9.99	c   trying 169216: vc 
9.89/9.99	o 168970
10.29/10.33	c   trying 168558: vc 
10.29/10.33	o 168370
10.59/10.63	c   trying 167959: vc 
10.59/10.63	o 167766
10.79/10.83	c   trying 167356: vc 
10.79/10.83	o 167126
11.19/11.23	c   trying 166717: vc 
11.19/11.23	o 166683
11.59/11.63	c   trying 166274: vc 
11.59/11.63	o 166039
11.89/11.97	c   trying 165631: vc 
11.89/11.97	o 165468
12.19/12.26	c   trying 165061: vc 
12.19/12.26	o 165060
12.49/12.55	c   trying 164653: vc 
12.49/12.55	o 164617
12.79/12.87	c   trying 164211: vc 
12.79/12.87	o 164125
13.19/13.24	c   trying 163719: vc 
13.19/13.24	o 163680
13.49/13.52	c   trying 163275: vc 
13.49/13.52	o 163103
13.89/13.93	c   trying 162699: vc 
13.89/13.93	o 162698
14.29/14.37	c   trying 162294: vc 
14.29/14.37	o 162161
14.69/14.79	c   trying 161758: vc 
14.69/14.79	o 161661
15.09/15.19	c   trying 161258: vc 
15.09/15.19	o 161071
15.59/15.64	c   trying 160669: vc 
15.59/15.64	o 160485
15.99/16.08	c   trying 160084: vc 
15.99/16.08	o 159854
16.39/16.49	c   trying 159454: vc 
16.39/16.49	o 159448
16.89/16.94	c   trying 159048: vc 
16.89/16.94	o 158909
17.19/17.28	c   trying 158510: vc 
17.19/17.28	o 158263
17.59/17.64	c   trying 157865: vc 
17.59/17.64	o 157628
17.89/17.98	c   trying 157230: vc 
17.89/17.98	o 156994
18.39/18.40	c   trying 156597: vc 
18.39/18.40	o 156344
18.89/18.90	c   trying 155948: vc 
18.89/18.90	o 155808
19.29/19.36	c   trying 155413: vc 
19.29/19.36	o 155159
19.79/19.86	c   trying 154765: vc 
19.79/19.86	o 154541
20.09/20.17	c   trying 154147: vc 
20.09/20.17	o 153999
20.69/20.71	c   trying 153606: vc 
20.69/20.71	o 153599
21.19/21.28	c   trying 153207: vc 
21.19/21.28	o 153109
21.69/21.75	c   trying 152717: vc 
21.69/21.75	o 152663
22.29/22.34	c   trying 152272: vc 
22.29/22.34	o 152257
22.69/22.76	c   trying 151866: vc 
22.69/22.76	o 151612
23.19/23.28	c   trying 151222: vc 
23.19/23.28	o 151133
23.79/23.85	c   trying 150744: vc 
23.79/23.85	o 150648
24.19/24.28	c   trying 150259: vc 
24.19/24.28	o 150071
24.79/24.83	c   trying 149683: vc 
24.79/24.83	o 149657
25.19/25.24	c   trying 149270: vc 
25.19/25.24	o 149227
25.69/25.74	c   trying 148840: vc 
25.69/25.74	o 148820
26.29/26.32	c   trying 148434: vc 
26.29/26.32	o 148357
26.78/26.85	c   trying 147971: vc 
26.78/26.85	o 147922
27.39/27.41	c   trying 147537: vc 
27.39/27.41	o 147328
27.88/27.95	c   trying 146944: vc 
27.88/27.95	o 146859
28.59/28.61	c   trying 146475: vc 
28.59/28.61	o 146413
29.08/29.17	c   trying 146030: vc 
29.08/29.17	o 145898
29.69/29.75	c   trying 145516: vc 
29.69/29.75	o 145384
30.18/30.30	c   trying 145002: vc 
30.18/30.30	o 144970
30.88/30.94	c   trying 144589: vc 
30.88/30.94	o 144446
31.48/31.53	c   trying 144065: vc 
31.48/31.53	o 143930
32.08/32.14	c   trying 143550: vc 
32.08/32.14	o 143316
32.68/32.72	c   trying 142937: vc 
32.68/32.72	o 142833
33.28/33.40	c   trying 142455: vc 
33.28/33.40	o 142215
33.78/33.90	c   trying 141837: vc 
33.78/33.90	o 141633
34.48/34.52	c   trying 141256: vc 
34.48/34.52	o 141250
34.98/35.01	c   trying 140874: vc 
34.98/35.01	o 140757
35.48/35.59	c   trying 140381: vc 
35.48/35.59	o 140346
36.18/36.21	c   trying 139971: vc 
36.18/36.21	o 139738
36.78/36.87	c   trying 139364: vc 
36.78/36.87	o 139284
37.58/37.63	c   trying 138910: vc 
37.58/37.63	o 138745
38.18/38.29	c   trying 138372: vc 
38.18/38.29	o 138339
38.88/38.93	c   trying 137967: vc 
38.88/38.93	o 137873
39.58/39.65	c   trying 137501: vc 
39.58/39.65	o 137307
40.28/40.35	c   trying 136936: vc 
40.28/40.35	o 136865
40.88/40.93	c   trying 136495: vc 
40.88/40.93	o 136337
41.48/41.53	c   trying 135967: vc 
41.48/41.53	o 135780
42.08/42.18	c   trying 135411: vc 
42.08/42.18	o 135277
42.68/42.80	c   trying 134909: vc 
42.68/42.80	o 134891
43.48/43.53	c   trying 134523: vc 
43.48/43.53	o 134284
44.08/44.16	c   trying 133917: vc 
44.08/44.16	o 133733
44.78/44.89	c   trying 133367: vc 
44.78/44.89	o 133297
45.58/45.60	c   trying 132931: vc 
45.58/45.60	o 132913
46.18/46.26	c   trying 132548: vc 
46.18/46.26	o 132546
46.87/46.91	c   trying 132181: vc 
46.87/46.91	o 132082
47.47/47.52	c   trying 131718: vc 
47.47/47.52	o 131664
48.07/48.20	c   trying 131301: vc 
48.07/48.20	o 131110
48.77/48.86	c   trying 130747: vc 
48.77/48.86	o 130507
49.48/49.52	c   trying 130145: vc 
49.48/49.52	o 130030
50.17/50.28	c   trying 129669: vc 
50.17/50.28	o 129571
50.87/50.95	c   trying 129211: vc 
50.87/50.95	o 129002
51.58/51.69	c   trying 128642: vc 
51.58/51.69	o 128543
52.37/52.45	c   trying 128184: vc 
52.37/52.45	o 128073
52.97/53.08	c   trying 127715: vc 
52.97/53.08	o 127679
53.88/53.93	c   trying 127321: vc 
53.88/53.93	o 127247
54.57/54.63	c   trying 126890: vc 
54.57/54.63	o 126660
55.37/55.42	c   trying 126304: vc 
55.37/55.42	o 126126
56.07/56.18	c   trying 125770: vc 
56.07/56.18	o 125623
56.87/56.99	c   trying 125268: vc 
56.87/56.99	o 125037
57.77/57.83	c   trying 124683: vc 
57.77/57.83	o 124548
58.57/58.67	c   trying 124195: vc 
58.57/58.67	o 124126
59.47/59.53	c   trying 123773: vc 
59.47/59.53	o 123667
60.37/60.44	c   trying 123315: vc 
60.37/60.44	o 123160
61.17/61.28	c   trying 122809: vc 
61.17/61.28	o 122694
62.07/62.17	c   trying 122343: vc 
62.07/62.17	o 122322
62.97/63.07	c   trying 121972: vc 
62.97/63.07	o 121971
63.77/63.88	c   trying 121621: vc 
63.77/63.88	o 121587
64.57/64.70	c   trying 121238: vc 
64.57/64.70	o 121230
65.47/65.54	c   trying 120881: vc 
65.47/65.54	o 120747
66.27/66.36	c   trying 120399: vc 
66.27/66.36	o 120395
67.07/67.16	c   trying 120048: vc 
67.07/67.16	o 120027
67.87/67.98	c   trying 119680: vc 
67.87/67.98	o 119596
68.77/68.82	c   trying 119250: vc 
68.77/68.82	o 119055
69.66/69.70	c   trying 118709: vc 
69.66/69.70	o 118680
70.56/70.61	c   trying 118335: vc 
70.56/70.61	o 118329
71.37/71.44	c   trying 117985: vc 
71.37/71.44	o 117864
72.16/72.20	c   trying 117520: vc 
72.16/72.20	o 117378
73.06/73.11	c   trying 117035: vc 
73.06/73.11	o 116851
73.86/73.93	c   trying 116509: vc 
73.86/73.93	o 116440
74.77/74.81	c   trying 116098: vc 
74.77/74.81	o 115898
75.56/75.68	c   trying 115557: vc 
75.56/75.68	o 115371
76.36/76.43	c   trying 115031: vc 
76.36/76.43	o 115024
77.36/77.41	c   trying 114684: vc 
77.36/77.41	o 114659
78.16/78.29	c   trying 114320: vc 
78.16/78.29	o 114304
78.86/78.99	c   trying 113965: vc 
78.86/78.99	o 113869
79.76/79.86	c   trying 113531: vc 
79.76/79.86	o 113471
80.66/80.73	c   trying 113134: vc 
80.66/80.73	o 113069
81.56/81.64	c   trying 112732: vc 
81.56/81.64	o 112657
82.56/82.62	c   trying 112321: vc 
82.56/82.62	o 112145
83.47/83.51	c   trying 111810: vc 
83.47/83.51	o 111701
84.46/84.53	c   trying 111366: vc 
84.46/84.53	o 111306
85.46/85.55	c   trying 110972: vc 
85.46/85.55	o 110842
86.36/86.46	c   trying 110509: vc 
86.36/86.46	o 110268
87.46/87.53	c   trying 109935: vc 
87.46/87.53	o 109863
88.46/88.54	c   trying 109531: vc 
88.46/88.54	o 109363
89.36/89.49	c   trying 109032: vc 
89.36/89.49	o 108899
90.36/90.47	c   trying 108569: vc 
90.36/90.47	o 108543
91.36/91.46	c   trying 108213: vc 
91.36/91.46	o 108059
92.26/92.32	c   trying 107730: vc 
92.26/92.32	o 107485
93.26/93.40	c   trying 107157: vc 
93.26/93.40	o 106958
94.36/94.46	c   trying 106630: vc 
94.36/94.46	o 106554
95.26/95.34	c   trying 106227: vc 
95.26/95.34	o 106225
96.26/96.31	c   trying 105899: vc 
96.26/96.31	o 105873
97.36/97.48	c   trying 105547: vc 
97.36/97.48	o 105426
98.56/98.66	c   trying 105101: vc 
98.56/98.66	o 104935
99.66/99.71	c   trying 104611: vc 
99.66/99.71	o 104521
100.76/100.80	c   trying 104197: vc 
100.76/100.80	o 104091
101.66/101.75	c   trying 103768: vc 
101.66/101.75	o 103617
102.86/102.93	c   trying 103295: vc 
102.86/102.93	o 103136
103.86/103.97	c   trying 102814: vc 
103.86/103.97	o 102814
104.86/104.92	c   trying 102493: vc 
104.86/104.92	o 102414
105.86/105.96	c   trying 102093: vc 
105.86/105.96	o 102084
107.06/107.12	c   trying 101764: vc 
107.06/107.12	o 101682
108.26/108.36	c   trying 101363: vc 
108.26/108.36	o 101343
109.36/109.43	c   trying 101024: vc 
109.36/109.43	o 100875
110.26/110.39	c   trying 100557: vc 
110.26/110.39	o 100557
111.35/111.47	c   trying 100239: vc 
111.35/111.47	o 100037
112.45/112.56	c   trying 99720: vc 
112.45/112.56	o 99708
113.65/113.78	c   trying 99392: vc 
113.65/113.78	o 99390
114.85/114.90	c   trying 99074: vc 
114.85/114.90	o 99034
116.25/116.35	c   trying 98719: vc 
116.25/116.35	o 98687
117.35/117.44	c   trying 98372: vc 
117.35/117.44	o 98322
118.55/118.69	c   trying 98008: vc 
118.55/118.69	o 97993
119.76/119.84	c   trying 97679: vc 
119.76/119.84	o 97590
120.86/120.95	c   trying 97277: vc 
120.86/120.95	o 97273
122.15/122.25	c   trying 96961: vc 
122.15/122.25	o 96931
123.25/123.38	c   trying 96619: vc 
123.25/123.38	o 96619
124.55/124.67	c   trying 96308: vc 
124.55/124.67	o 96303
125.75/125.84	c   trying 95992: vc 
125.75/125.84	o 95917
126.95/127.05	c   trying 95607: vc 
126.95/127.05	o 95606
128.05/128.14	c   trying 95296: vc 
128.05/128.14	o 95163
129.15/129.28	c   trying 94854: vc 
129.15/129.28	o 94745
130.45/130.59	c   trying 94437: vc 
130.45/130.59	o 94252
131.65/131.77	c   trying 93944: vc 
131.65/131.77	o 93872
132.85/132.97	c   trying 93565: vc 
132.85/132.97	o 93560
134.05/134.15	c   trying 93254: vc 
134.05/134.15	o 93153
135.35/135.45	c   trying 92847: vc 
135.35/135.46	o 92824
136.85/137.00	c   trying 92519: vc 
136.85/137.00	o 92362
138.25/138.31	c   trying 92058: vc 
138.25/138.31	o 91979
139.55/139.69	c   trying 91675: vc 
139.55/139.69	o 91534
140.75/140.86	c   trying 91231: vc 
140.75/140.86	o 90994
142.35/142.40	c   trying 90692: vc 
142.35/142.40	o 90561
143.75/143.82	c   trying 90260: vc 
143.75/143.82	o 90088
145.05/145.11	c   trying 89787: vc 
145.05/145.11	o 89596
146.65/146.73	c   trying 89296: vc 
146.65/146.73	o 89230
148.05/148.15	c   trying 88931: vc 
148.05/148.15	o 88878
149.55/149.61	c   trying 88579: vc 
149.55/149.61	o 88508
151.04/151.11	c   trying 88210: vc 
151.04/151.11	o 88110
152.44/152.56	c   trying 87813: vc 
152.44/152.56	o 87654
153.95/154.03	c   trying 87357: vc 
153.95/154.03	o 87337
155.34/155.43	c   trying 87041: vc 
155.34/155.43	o 86944
156.84/156.90	c   trying 86649: vc 
156.84/156.90	o 86591
158.64/158.78	c   trying 86296: vc 
158.64/158.78	o 86135
160.14/160.29	c   trying 85841: vc 
160.14/160.29	o 85710
161.44/161.51	c   trying 85417: vc 
161.44/161.51	o 85239
163.44/163.51	c   trying 84947: vc 
163.44/163.51	o 84768
165.14/165.22	c   trying 84476: vc 
165.14/165.22	o 84247
166.64/166.71	c   trying 83956: vc 
166.64/166.71	o 83862
168.24/168.37	c   trying 83572: vc 
168.24/168.37	o 83464
169.64/169.74	c   trying 83175: vc 
169.64/169.74	o 83005
171.14/171.23	c   trying 82716: vc 
171.14/171.23	o 82508
172.74/172.82	c   trying 82220: vc 
172.74/172.82	o 82130
174.34/174.46	c   trying 81843: vc 
174.34/174.46	o 81724
176.04/176.14	c   trying 81438: vc 
176.04/176.14	o 81280
177.64/177.79	c   trying 80994: vc 
177.64/177.79	o 80796
179.54/179.67	c   trying 80511: vc 
179.54/179.67	o 80284
181.34/181.50	c   trying 80000: vc 
181.34/181.50	o 79858
183.13/183.24	c   trying 79575: vc 
183.13/183.24	o 79496
185.33/185.44	c   trying 79214: vc 
185.33/185.44	o 79191
187.83/187.91	c   trying 78909: vc 
187.83/187.91	o 78738
189.43/189.51	c   trying 78457: vc 
189.43/189.51	o 78436
191.24/191.35	c   trying 78155: vc 
191.24/191.35	o 78155
193.33/193.45	c   trying 77875: vc 
193.33/193.45	o 77776
195.03/195.13	c   trying 77497: vc 
195.03/195.13	o 77447
197.43/197.54	c   trying 77168: vc 
197.43/197.54	o 77165
198.93/199.05	c   trying 76887: vc 
198.93/199.05	o 76823
200.53/200.60	c   trying 76545: vc 
200.53/200.60	o 76540
202.93/203.03	c   trying 76263: vc 
202.93/203.03	o 76132
205.13/205.22	c   trying 75856: vc 
205.13/205.22	o 75758
206.83/206.99	c   trying 75482: vc 
206.83/206.99	o 75482
208.73/208.89	c   trying 75207: vc 
208.73/208.89	o 75185
210.33/210.44	c   trying 74910: vc 
210.33/210.44	o 74906
214.53/214.63	c   trying 74632: vc 
214.53/214.63	o 74441
216.34/216.48	c   trying 74168: vc 
216.34/216.48	o 74044
218.03/218.15	c   trying 73771: vc 
218.03/218.15	o 73764
220.23/220.31	c   trying 73492: vc 
220.23/220.31	o 73486
222.23/222.37	c   trying 73214: vc 
222.23/222.37	o 73214
224.73/224.81	c   trying 72943: vc 
224.73/224.81	o 72841
226.33/226.45	c   trying 72571: vc 
226.33/226.45	o 72386
228.33/228.49	c   trying 72116: vc 
228.33/228.49	o 72078
230.33/230.41	c   trying 71809: vc 
230.33/230.41	o 71672
232.13/232.27	c   trying 71404: vc 
232.13/232.27	o 71288
234.43/234.55	c   trying 71021: vc 
234.43/234.55	o 71019
236.53/236.60	c   trying 70752: vc 
236.53/236.60	o 70585
239.13/239.20	c   trying 70319: vc 
239.13/239.20	o 70217
242.33/242.41	c   trying 69952: vc 
242.33/242.41	o 69949
244.53/244.63	c   trying 69684: vc 
244.53/244.63	o 69657
246.73/246.85	c   trying 69393: vc 
246.73/246.85	o 69307
248.93/249.07	c   trying 69043: vc 
248.93/249.07	o 68867
252.02/252.12	c   trying 68604: vc 
252.02/252.12	o 68562
254.52/254.64	c   trying 68300: vc 
254.52/254.64	o 68296
256.92/257.05	c   trying 68034: vc 
256.92/257.05	o 67874
259.53/259.64	c   trying 67613: vc 
259.53/259.64	o 67503
262.32/262.46	c   trying 67243: vc 
262.32/262.46	o 67149
265.62/265.76	c   trying 66889: vc 
265.62/265.76	o 66771
268.23/268.35	c   trying 66512: vc 
268.23/268.35	o 66367
271.92/272.06	c   trying 66109: vc 
271.92/272.06	o 66084
273.92/274.09	c   trying 65826: vc 
273.92/274.09	o 65798
276.52/276.66	c   trying 65541: vc 
276.52/276.66	o 65541
279.12/279.26	c   trying 65284: vc 
279.12/279.26	o 65186
282.02/282.12	c   trying 64930: vc 
282.02/282.12	o 64809
284.32/284.42	c   trying 64554: vc 
284.32/284.42	o 64547
286.32/286.43	c   trying 64292: vc 
286.32/286.43	o 64113
288.12/288.24	c   trying 63859: vc 
288.12/288.24	o 63849
292.52/292.66	c   trying 63596: vc 
292.52/292.66	o 63535
294.81/294.98	c   trying 63282: vc 
294.81/294.98	o 63090
297.51/297.61	c   trying 62838: vc 
297.51/297.61	o 62724
300.41/300.59	c   trying 62473: vc 
300.41/300.59	o 62437
303.81/303.96	c   trying 62187: vc 
303.81/303.96	o 61980
309.61/309.75	c   trying 61731: vc 
309.61/309.75	o 61562
312.51/312.65	c   trying 61313: vc 
312.51/312.65	o 61199
315.11/315.21	c   trying 60951: vc 
315.11/315.21	o 60942
316.91/317.01	c   trying 60695: vc 
316.91/317.01	o 60593
320.81/320.91	c   trying 60346: vc 
320.81/320.91	o 60156
323.11/323.30	c   trying 59910: vc 
323.11/323.30	o 59845
326.61/326.72	c   trying 59600: vc 
326.61/326.72	o 59509
329.41/329.55	c   trying 59265: vc 
329.41/329.55	o 59244
332.61/332.73	c   trying 59000: vc 
332.61/332.73	o 58970
336.80/336.98	c   trying 58727: vc 
336.80/336.98	o 58615
341.70/341.88	c   trying 58372: vc 
341.70/341.88	o 58229
345.00/345.18	c   trying 57987: vc 
345.00/345.19	o 57852
348.30/348.49	c   trying 57611: vc 
348.30/348.49	o 57479
351.90/352.08	c   trying 57239: vc 
351.90/352.08	o 57036
354.40/354.56	c   trying 56797: vc 
354.40/354.56	o 56629
357.00/357.14	c   trying 56391: vc 
357.00/357.14	o 56320
360.80/360.95	c   trying 56082: vc 
360.80/360.95	o 56019
363.30/363.46	c   trying 55782: vc 
363.30/363.46	o 55714
366.60/366.70	c   trying 55477: vc 
366.60/366.70	o 55267
369.80/369.99	c   trying 55031: vc 
369.80/370.00	o 54891
373.39/373.57	c   trying 54656: vc 
373.39/373.57	o 54549
376.69/376.89	c   trying 54315: vc 
376.69/376.89	o 54138
380.79/380.94	c   trying 53905: vc 
380.79/380.94	o 53707
384.80/384.96	c   trying 53475: vc 
384.80/384.96	o 53291
389.09/389.23	c   trying 53060: vc 
389.09/389.23	o 52872
392.59/392.71	c   trying 52642: vc 
392.59/392.71	o 52490
396.79/396.98	c   trying 52260: vc 
396.79/396.98	o 52074
399.79/399.91	c   trying 51845: vc 
399.79/399.91	o 51633
402.69/402.82	c   trying 51405: vc 
402.69/402.82	o 51312
406.79/406.93	c   trying 51085: vc 
406.79/406.93	o 50877
409.88/410.02	c   trying 50651: vc 
409.88/410.02	o 50522
412.39/412.59	c   trying 50297: vc 
412.39/412.59	o 50252
416.08/416.24	c   trying 50027: vc 
416.08/416.24	o 49961
419.78/420.00	c   trying 49737: vc 
419.78/420.00	o 49621
424.18/424.36	c   trying 49398: vc 
424.18/424.36	o 49212
427.78/427.93	c   trying 48990: vc 
427.78/427.93	o 48778
430.38/430.52	c   trying 48557: vc 
430.38/430.52	o 48454
434.28/434.48	c   trying 48233: vc 
434.28/434.48	o 48084
437.58/437.75	c   trying 47864: vc 
437.58/437.75	o 47658
441.98/442.11	c   trying 47439: vc 
441.98/442.11	o 47409
446.57/446.79	c   trying 47191: vc 
446.57/446.79	o 47050
450.57/450.78	c   trying 46833: vc 
450.57/450.78	o 46699
454.27/454.41	c   trying 46482: vc 
454.27/454.41	o 46291
458.47/458.67	c   trying 46075: vc 
458.47/458.67	o 45930
463.87/464.04	c   trying 45715: vc 
463.87/464.04	o 45672
470.17/470.33	c   trying 45458: vc 
470.17/470.34	o 45452
474.66/474.84	c   trying 45238: vc 
474.66/474.84	o 45164
479.06/479.27	c   trying 44951: vc 
479.06/479.27	o 44811
482.56/482.71	c   trying 44599: vc 
482.56/482.71	o 44464
486.66/486.81	c   trying 44253: vc 
486.66/486.81	o 44146
490.66/490.85	c   trying 43935: vc 
490.66/490.85	o 43858
494.46/494.61	c   trying 43648: vc 
494.46/494.61	o 43612
499.56/499.71	c   trying 43403: vc 
499.56/499.71	o 43380
506.36/506.51	c   trying 43171: vc 
506.36/506.51	o 43142
510.55/510.74	c   trying 42934: vc 
510.55/510.74	o 42837
516.05/516.27	c   trying 42630: vc 
516.05/516.27	o 42625
520.55/520.78	c   trying 42418: vc 
520.55/520.78	o 42313
524.46/524.70	c   trying 42107: vc 
524.46/524.70	o 41968
528.25/528.47	c   trying 41763: vc 
528.25/528.47	o 41748
532.15/532.33	c   trying 41543: vc 
532.15/532.33	o 41413
541.25/541.41	c   trying 41209: vc 
541.25/541.41	o 41106
544.55/544.70	c   trying 40903: vc 
544.55/544.70	o 40762
547.84/548.04	c   trying 40560: vc 
547.84/548.04	o 40549
553.74/553.90	c   trying 40347: vc 
553.74/553.90	o 40216
559.24/559.45	c   trying 40015: vc 
559.24/559.45	o 40014
565.54/565.75	c   trying 39813: vc 
565.54/565.75	o 39797
570.34/570.51	c   trying 39597: vc 
570.34/570.51	o 39595
574.74/574.91	c   trying 39396: vc 
574.74/574.91	o 39395
578.44/578.68	c   trying 39196: vc 
578.44/578.68	o 38982
583.84/584.02	c   trying 38784: vc 
583.84/584.02	o 38712
590.54/590.76	c   trying 38515: vc 
590.54/590.76	o 38372
595.23/595.41	c   trying 38176: vc 
595.23/595.41	o 38166
599.13/599.31	c   trying 37970: vc 
599.13/599.31	o 37944
602.93/603.17	c   trying 37749: vc 
602.93/603.17	o 37746
610.53/610.74	c   trying 37551: vc 
610.53/610.74	o 37504
616.93/617.17	c   trying 37310: vc 
616.93/617.17	o 37308
619.53/619.75	c   trying 37114: vc 
619.53/619.75	o 36968
623.73/623.92	c   trying 36775: vc 
623.73/623.92	o 36766
632.72/632.93	c   trying 36574: vc 
632.72/632.93	o 36498
635.42/635.68	c   trying 36306: vc 
635.42/635.68	o 36199
641.32/641.52	c   trying 36008: vc 
641.32/641.52	o 35953
646.92/647.18	c   trying 35763: vc 
646.92/647.18	o 35760
653.12/653.40	c   trying 35570: vc 
653.12/653.40	o 35511
658.62/658.89	c   trying 35322: vc 
658.62/658.89	o 35292
662.92/663.10	c   trying 35104: vc 
662.92/663.10	o 34922
668.81/669.03	c   trying 34735: vc 
668.81/669.03	o 34685
674.21/674.47	c   trying 34498: vc 
674.21/674.47	o 34497
679.31/679.55	c   trying 34311: vc 
679.31/679.55	o 34203
682.71/682.95	c   trying 34018: vc 
682.71/682.95	o 34004
689.51/689.72	c   trying 33819: vc 
689.51/689.72	o 33770
695.01/695.24	c   trying 33586: vc 
695.01/695.24	o 33582
700.90/701.18	c   trying 33398: vc 
700.90/701.18	o 33391
707.60/707.84	c   trying 33208: vc 
707.60/707.84	o 33205
712.10/712.39	c   trying 33022: vc 
712.10/712.40	o 33013
716.60/716.88	c   trying 32831: vc 
716.60/716.88	o 32675
721.50/721.72	c   trying 32494: vc 
721.50/721.72	o 32383
726.60/726.85	c   trying 32203: vc 
726.60/726.85	o 32200
732.20/732.47	c   trying 32020: vc 
732.20/732.47	o 31998
735.80/736.05	c   trying 31819: vc 
735.80/736.05	o 31629
740.29/740.54	c   trying 31451: vc 
740.29/740.54	o 31451
746.70/746.94	c   trying 31273: vc 
746.70/746.94	o 31259
751.49/751.78	c   trying 31082: vc 
751.49/751.78	o 30996
757.29/757.55	c   trying 30819: vc 
757.29/757.55	o 30780
764.69/764.94	c   trying 30604: vc 
764.69/764.94	o 30494
770.38/770.66	c   trying 30319: vc 
770.38/770.66	o 30114
774.68/774.95	c   trying 29940: vc 
774.68/774.95	o 29939
780.69/780.97	c   trying 29765: vc 
780.69/780.97	o 29748
784.78/785.04	c   trying 29575: vc 
784.78/785.04	o 29506
790.08/790.35	c   trying 29334: vc 
790.08/790.35	o 29233
796.78/797.09	c   trying 29062: vc 
796.78/797.09	o 29051
800.78/801.06	c   trying 28880: vc 
800.78/801.06	o 28783
809.38/809.67	c   trying 28613: vc 
809.38/809.67	o 28597
815.67/815.96	c   trying 28427: vc 
815.67/815.96	o 28385
821.77/822.00	c   trying 28216: vc 
821.77/822.00	o 28090
828.47/828.71	c   trying 27922: vc 
828.47/828.71	o 27920
832.07/832.35	c   trying 27752: vc 
832.07/832.35	o 27752
836.97/837.20	c   trying 27585: vc 
836.97/837.20	o 27456
843.17/843.49	c   trying 27290: vc 
843.17/843.49	o 27290
848.47/848.70	c   trying 27124: vc 
848.47/848.70	o 27124
855.76/856.07	c   trying 26959: vc 
855.76/856.07	o 26953
867.66/867.93	c   trying 26788: vc 
867.66/867.93	o 26758
872.56/872.89	c   trying 26594: vc 
872.56/872.89	o 26545
878.06/878.38	c   trying 26382: vc 
878.06/878.38	o 26257
883.86/884.20	c   trying 26094: vc 
883.86/884.20	o 26081
888.36/888.62	c   trying 25919: vc 
888.36/888.62	o 25799
894.35/894.60	c   trying 25638: vc 
894.35/894.60	o 25600
900.66/900.99	c   trying 25440: vc 
900.66/900.99	o 25437
907.45/907.74	c   trying 25277: vc 
907.45/907.74	o 25179
914.85/915.19	c   trying 25020: vc 
914.85/915.19	o 24474
920.25/920.60	c   trying 24317: vc 
920.25/920.60	o 24257
926.15/926.49	c   trying 24101: vc 
926.15/926.49	o 24095
931.54/931.86	c   trying 23939: vc 
931.54/931.86	o 23807
938.84/939.15	c   trying 23652: vc 
938.84/939.15	o 23639
944.94/945.20	c   trying 23485: vc 
944.94/945.20	o 23421
951.84/952.13	c   trying 23267: vc 
951.84/952.13	o 23261
958.74/959.00	c   trying 23108: vc 
958.74/959.00	o 23015
966.54/966.81	c   trying 22863: vc 
966.54/966.81	o 22779
974.24/974.51	c   trying 22628: vc 
974.24/974.51	o 22501
982.73/983.07	c   trying 22350: vc 
982.73/983.07	o 22219
991.33/991.62	c   trying 22069: vc 
991.33/991.62	o 21953
995.63/995.92	c   trying 21804: vc 
995.63/995.92	o 21682
1002.42/1002.75	c   trying 21534: vc 
1002.42/1002.75	o 21408
1013.02/1013.34	c   trying 21261: vc 
1013.02/1013.34	o 21209
1018.42/1018.79	c   trying 21063: vc 
1018.42/1018.79	o 21054
1025.52/1025.81	c   trying 20908: vc 
1025.52/1025.81	o 20906
1030.32/1030.63	c   trying 20761: vc 
1030.32/1030.63	o 20665
1036.52/1036.81	c   trying 20521: vc 
1036.52/1036.81	o 20516
1044.51/1044.88	c   trying 20372: vc 
1044.51/1044.88	o 20350
1054.62/1054.94	c   trying 20207: vc 
1054.62/1054.94	o 20120
1061.01/1061.37	c   trying 19978: vc 
1061.01/1061.37	o 19861
1069.71/1070.09	c   trying 19720: vc 
1069.71/1070.09	o 19615
1078.21/1078.57	c   trying 19474: vc 
1078.21/1078.57	o 19445
1086.00/1086.36	c   trying 19305: vc 
1086.00/1086.36	o 19230
1092.28/1092.63	c   trying 19091: vc 
1092.28/1092.63	o 19089
1097.67/1098.03	c   trying 18950: vc 
1097.67/1098.03	o 18897
1105.86/1106.27	c   trying 18759: vc 
1105.86/1106.27	o 18701
1111.35/1111.79	c   trying 18564: vc 
1111.35/1111.79	o 18487
1119.63/1120.08	c   trying 18351: vc 
1119.63/1120.08	o 18346
1125.72/1126.17	c   trying 18210: vc 
1125.72/1126.17	o 18200
1133.62/1134.08	c   trying 18065: vc 
1133.62/1134.08	o 17940
1139.61/1140.09	c   trying 17806: vc 
1139.61/1140.09	o 17673
1147.30/1147.79	c   trying 17540: vc 
1147.30/1147.79	o 17538
1158.10/1158.55	c   trying 17405: vc 
1158.10/1158.55	o 17405
1163.20/1163.67	c   trying 17273: vc 
1163.20/1163.67	o 17273
1169.80/1170.20	c   trying 17141: vc 
1169.80/1170.20	o 17002
1175.40/1175.82	c   trying 16871: vc 
1175.40/1175.82	o 16812
1182.49/1182.99	c   trying 16682: vc 
1182.49/1182.99	o 16646
1189.39/1189.80	c   trying 16516: vc 
1189.39/1189.80	o 16410
1196.09/1196.57	c   trying 16281: vc 
1196.09/1196.57	o 16200
1204.89/1205.33	c   trying 16072: vc 
1204.89/1205.33	o 16055
1213.89/1214.31	c   trying 15928: vc 
1213.89/1214.31	o 15870
1219.88/1220.32	c   trying 15744: vc 
1219.88/1220.32	o 15630
1228.78/1229.29	c   trying 15504: vc 
1228.78/1229.29	o 15500
1236.28/1236.77	c   trying 15375: vc 
1236.28/1236.77	o 15232
1243.28/1243.76	c   trying 15108: vc 
1243.28/1243.76	o 15081
1252.97/1253.45	c   trying 14958: vc 
1252.97/1253.45	o 14856
1263.27/1263.80	c   trying 14734: vc 
1263.27/1263.80	o 14717
1272.77/1273.28	c   trying 14595: vc 
1272.77/1273.28	o 14592
1283.27/1283.73	c   trying 14471: vc 
1283.27/1283.73	o 14362
1292.46/1292.99	c   trying 14242: vc 
1292.46/1292.99	o 14219
1300.16/1300.68	c   trying 14099: vc 
1300.16/1300.68	o 13962
1306.46/1306.99	c   trying 13843: vc 
1306.46/1306.99	o 13737
1319.16/1319.66	c   trying 13619: vc 
1319.16/1319.66	o 13550
1329.05/1329.55	c   trying 13433: vc 
1329.05/1329.55	o 13422
1347.65/1348.12	c   trying 13306: vc 
1347.65/1348.12	o 13202
1357.25/1357.76	c   trying 13087: vc 
1357.25/1357.76	o 13079
1367.74/1368.30	c   trying 12964: vc 
1367.74/1368.30	o 12942
1376.94/1377.42	c   trying 12828: vc 
1376.94/1377.43	o 12700
1393.84/1394.32	c   trying 12587: vc 
1393.84/1394.32	o 12561
1403.83/1404.36	c   trying 12448: vc 
1403.83/1404.36	o 12448
1412.83/1413.35	c   trying 12336: vc 
1412.83/1413.35	o 12254
1427.03/1427.51	c   trying 12143: vc 
1427.03/1427.51	o 12142
1440.62/1441.11	c   trying 12031: vc 
1440.62/1441.11	o 11955
1451.32/1451.84	c   trying 11845: vc 
1451.32/1451.84	o 11725
1460.42/1460.90	c   trying 11616: vc 
1460.42/1460.90	o 11597
1474.81/1475.32	c   trying 11489: vc 
1474.81/1475.32	o 11412
1484.71/1485.22	c   trying 11305: vc 
1484.71/1485.22	o 11292
1494.41/1494.96	c   trying 11185: vc 
1494.41/1494.96	o 11119
1508.50/1509.08	c   trying 11013: vc 
1508.50/1509.08	o 10960
1537.40/1537.99	c   trying 10855: vc 
1537.40/1537.99	o 10744
1555.29/1555.82	c   trying 10640: vc 
1555.29/1555.82	o 10615
1577.49/1578.02	c   trying 10511: vc 
1577.49/1578.02	o 10507
1625.58/1626.12	c   trying 10404: xvc 
1625.58/1626.12	o 10394
1670.56/1671.13	c   trying 10292: xvc 
1670.56/1671.13	o 10185
1717.15/1717.72	c   trying 10084: xvc 
1717.15/1717.72	o 10062
1729.75/1730.40	c   trying 9961: vc 
1729.75/1730.40	o 9920
1760.55/1761.11	c   trying 9820: vc 
1760.55/1761.11	o 9781
1777.55/1778.15	c   trying 9682: vc 
1777.55/1778.15	o 9652
1800.05/1800.61	c   trying 9553: xc 
1800.05/1800.61	c Phase 2 ...
1800.05/1800.61	c   trying 9651: c 
1800.05/1800.61	c Phase 3 ...
1800.05/1800.61	c   trying 9651 again: c 
1800.05/1800.61	s SATISFIABLE
1800.05/1800.61	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 x18 x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29
1800.05/1800.61	v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55
1800.05/1800.61	v -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 x80 -x81
1800.05/1800.61	v -x82 x83 x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106
1800.05/1800.61	v -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127
1800.05/1800.61	v -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148
1800.05/1800.61	v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
1800.05/1800.61	v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
1800.05/1800.61	v x191 x192 x193 x194 -x195 -x196 -x197 x198 x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212
1800.05/1800.61	v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233
1800.05/1800.61	v -x234 x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254
1800.05/1800.61	v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275
1800.05/1800.61	v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296
1800.05/1800.61	v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317
1800.05/1800.61	v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338
1800.05/1800.61	v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359
1800.05/1800.61	v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
1800.05/1800.61	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401
1800.05/1800.61	v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422
1800.05/1800.61	v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443
1800.05/1800.61	v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464
1800.05/1800.61	v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485
1800.05/1800.61	v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506
1800.05/1800.61	v -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 x526 x527
1800.05/1800.61	v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548
1800.05/1800.61	v -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569
1800.05/1800.61	v -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
1800.05/1800.61	v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611
1800.05/1800.61	v -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632
1800.05/1800.61	v -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653
1800.05/1800.61	v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674
1800.05/1800.61	v -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695
1800.05/1800.61	v -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716
1800.05/1800.61	v -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737
1800.05/1800.61	v -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758
1800.05/1800.61	v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779
1800.05/1800.61	v -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800
1800.05/1800.61	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821
1800.05/1800.61	v -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842
1800.05/1800.61	v -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863
1800.05/1800.61	v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884
1800.05/1800.61	v -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905
1800.05/1800.61	v -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926
1800.05/1800.61	v -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947
1800.05/1800.61	v -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968
1800.05/1800.61	v -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989
1800.05/1800.61	v -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008
1800.05/1800.61	v -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025
1800.05/1800.61	v -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042
1800.05/1800.61	v -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059
1800.05/1800.61	v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076
1800.05/1800.61	v -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093
1800.05/1800.61	v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
1800.05/1800.61	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127
1800.05/1800.61	v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144
1800.05/1800.61	v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161
1800.05/1800.61	v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178
1800.05/1800.61	v -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195
1800.05/1800.61	v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212
1800.05/1800.61	v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229
1800.05/1800.61	v -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246
1800.05/1800.61	v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263
1800.05/1800.61	v -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
1800.05/1800.61	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297
1800.05/1800.61	v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314
1800.05/1800.61	v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331
1800.05/1800.61	v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348
1800.05/1800.61	v -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365
1800.05/1800.61	v -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382
1800.05/1800.61	v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399
1800.05/1800.61	v -x1400 x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417
1800.05/1800.61	v -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434
1800.05/1800.61	v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451
1800.05/1800.61	v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468
1800.05/1800.61	v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485
1800.05/1800.61	v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502
1800.05/1800.61	v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519
1800.05/1800.61	v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536
1800.05/1800.61	v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553
1800.05/1800.61	v -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570
1800.05/1800.61	v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587
1800.05/1800.61	v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604
1800.05/1800.61	v -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621
1800.05/1800.61	v -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638
1800.05/1800.61	v -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655
1800.05/1800.61	v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672
1800.05/1800.61	v -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689
1800.05/1800.61	v -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706
1800.05/1800.61	v -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723
1800.05/1800.61	v -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
1800.05/1800.61	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757
1800.05/1800.61	v -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774
1800.05/1800.61	v -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791
1800.05/1800.61	v -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808
1800.05/1800.61	v -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825
1800.05/1800.61	v -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842
1800.05/1800.61	v -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859
1800.05/1800.61	v -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876
1800.05/1800.61	v -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893
1800.05/1800.61	v -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910
1800.05/1800.61	v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927
1800.05/1800.61	v -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944
1800.05/1800.61	v -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961
1800.05/1800.61	v -x1962 x1963 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979
1800.05/1800.61	v -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996
1800.05/1800.61	v -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013
1800.05/1800.61	v -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030
1800.05/1800.61	v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047
1800.05/1800.61	v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064
1800.05/1800.61	v -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081
1800.05/1800.61	v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098
1800.05/1800.61	v -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115
1800.05/1800.61	v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132
1800.05/1800.61	v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149
1800.05/1800.61	v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166
1800.05/1800.61	v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183
1800.05/1800.61	v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 x2199 -x2200 -x2201
1800.05/1800.61	v -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218
1800.05/1800.61	v -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235
1800.05/1800.61	v -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 x2243 x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253
1800.05/1800.61	v -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270
1800.05/1800.61	v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287
1800.05/1800.61	v -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304
1800.05/1800.61	v -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321
1800.05/1800.61	v -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338
1800.05/1800.61	v -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355
1800.05/1800.61	v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372
1800.05/1800.61	v -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389
1800.05/1800.61	v -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406
1800.05/1800.61	v -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423
1800.05/1800.61	v -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440
1800.05/1800.61	v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457
1800.05/1800.61	v -x2458 -x2459 -x2460 -x2461 x2462 x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475
1800.05/1800.61	v -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492
1800.05/1800.61	v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509
1800.05/1800.61	v -x2510 x2511 x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527
1800.05/1800.61	v -x2528 -x2529 -x2530 -x2531 x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 x2539 -x2540 -x2541 x2542 -x2543 -x2544 -x2545
1800.05/1800.61	v -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562
1800.05/1800.61	v -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579
1800.05/1800.61	v -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596
1800.05/1800.61	v -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613
1800.05/1800.61	v -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630
1800.05/1800.61	v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647
1800.05/1800.61	v -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 x2658 x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665
1800.05/1800.61	v -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682
1800.05/1800.61	v -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 x2699
1800.05/1800.61	v -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716
1800.05/1800.61	v -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733
1800.05/1800.61	v -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750
1800.05/1800.61	v -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767
1800.05/1800.61	v -x2768 -x2769 -x2770 x2771 x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785
1800.05/1800.61	v -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802
1800.05/1800.61	v -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819
1800.05/1800.61	v -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836
1800.05/1800.61	v -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853
1800.05/1800.61	v -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870
1800.05/1800.61	v -x2871 -x2872 -x2873 -x2874 -x2875 x2876 x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888
1800.05/1800.61	v -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905
1800.05/1800.61	v -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922
1800.05/1800.61	v -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939
1800.05/1800.61	v -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956
1800.05/1800.61	v -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973
1800.05/1800.61	v -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990
1800.05/1800.61	v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007
1800.05/1800.61	v -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024
1800.05/1800.61	v -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041
1800.05/1800.61	v -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058
1800.05/1800.61	v -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075
1800.05/1800.61	v -x3076 -x3077 -x3078 -x3079 -x3080 x3081 x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093
1800.05/1800.61	v -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110
1800.05/1800.61	v x3111 x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128
1800.05/1800.61	v -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145
1800.05/1800.61	v -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162
1800.05/1800.61	v -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179
1800.05/1800.61	v -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196
1800.05/1800.61	v -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213
1800.05/1800.61	v -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230
1800.05/1800.61	v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247
1800.05/1800.61	v -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264
1800.05/1800.61	v -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 x3278 -x3279 -x3280 -x3281
1800.05/1800.61	v -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298
1800.05/1800.61	v -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 x3311 x3312 -x3313 -x3314 -x3315 -x3316
1800.05/1800.61	v -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333
1800.05/1800.61	v -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 x3343 x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351
1800.05/1800.61	v -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368
1800.05/1800.61	v -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385
1800.05/1800.61	v -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402
1800.05/1800.61	v -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 x3418 -x3419
1800.05/1800.61	v -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436
1800.05/1800.61	v -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453
1800.05/1800.61	v -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470
1800.05/1800.61	v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487
1800.05/1800.61	v -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504
1800.05/1800.61	v -x3505 -x3506 -x3507 -x3508 x3509 x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522
1800.05/1800.61	v -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539
1800.05/1800.61	v -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556
1800.05/1800.61	v -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573
1800.05/1800.61	v -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590
1800.05/1800.61	v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607
1800.05/1800.61	v -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624
1800.05/1800.61	v -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641
1800.05/1800.61	v -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658
1800.05/1800.61	v -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675
1800.05/1800.61	v -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692
1800.05/1800.61	v -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709
1800.05/1800.61	v -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726
1800.05/1800.61	v -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743
1800.05/1800.61	v -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760
1800.05/1800.61	v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777
1800.05/1800.61	v -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794
1800.05/1800.61	v -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811
1800.05/1800.61	v -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828
1800.05/1800.61	v -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845
1800.05/1800.61	v -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862
1800.05/1800.61	v -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879
1800.05/1800.61	v -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896
1800.05/1800.61	v -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913
1800.05/1800.61	v -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 x3926 -x3927 -x3928 -x3929 -x3930
1800.05/1800.61	v -x3931 -x3932 x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947
1800.05/1800.61	v -x3948 x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964
1800.05/1800.61	v -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 x3977 x3978 -x3979 -x3980 -x3981 -x3982
1800.05/1800.61	v -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999
1800.05/1800.61	v -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016
1800.05/1800.61	v -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033
1800.05/1800.61	v -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050
1800.05/1800.61	v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067
1800.05/1800.61	v -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084
1800.05/1800.61	v -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101
1800.05/1800.61	v -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118
1800.05/1800.61	v -x4119 -x4120 -x4121 -x4122 -x4123 x4124 x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136
1800.05/1800.61	v -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153
1800.05/1800.61	v -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170
1800.05/1800.61	v -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187
1800.05/1800.61	v -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 x4199 x4200 -x4201 -x4202 -x4203 -x4204 -x4205
1800.05/1800.61	v -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222
1800.05/1800.61	v -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239
1800.05/1800.61	v -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256
1800.05/1800.61	v -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273
1800.05/1800.61	v -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 x4282 x4283 -x4284 -x4285 x4286 x4287 -x4288 -x4289 -x4290 -x4291
1800.05/1800.61	v -x4292 x4293 x4294 -x4295 -x4296 x4297 x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 x4305 x4306 -x4307 -x4308 -x4309
1800.05/1800.61	v -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 x4326
1800.05/1800.61	v x4327 x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 x4335 x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344
1800.05/1800.61	v -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 x4356 x4357 x4358 x4359 -x4360
1800.05/1800.61	c Total Number of Positive Atoms : 96
1800.05/1800.61	c 
1800.05/1800.61	c During searching:         1778.08 seconds elapsed.
1800.05/1800.61	c CPU time spent:           1777.78 seconds.
1800.05/1800.61	c 
1800.05/1800.61	c =================================== END =====================================
1800.05/1800.61	c

Verifier Data (download as text)

OK	9652

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node60/watcher-372342-1177090975 -o ROOT/results/node60/solver-372342-1177090975 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372342-1177090975/wildcat-rnp /tmp/evaluation/372342-1177090975/instance-372342-1177090975.opb 207233543 

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.95 0.98 0.99 3/64 10846
/proc/meminfo: memFree=1816640/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=5972 CPUtime=0
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 152 0 0 0 0 0 0 0 18 0 1 0 157007530 6115328 136 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135014993 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 1493 136 105 226 0 1264 0

[startup+0.0222661 s]
/proc/loadavg: 0.95 0.98 0.99 3/64 10846
/proc/meminfo: memFree=1816640/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=6104 CPUtime=0.02
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 190 0 0 0 2 0 0 0 18 0 1 0 157007530 6250496 174 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135014965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 1526 174 105 226 0 1297 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6104

[startup+0.101215 s]
/proc/loadavg: 0.95 0.98 0.99 3/64 10846
/proc/meminfo: memFree=1816640/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=0.09
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 9 0 0 0 18 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134567155 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8608

[startup+0.301234 s]
/proc/loadavg: 0.95 0.98 0.99 3/64 10846
/proc/meminfo: memFree=1816640/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=0.29
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 29 0 0 0 19 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611584 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8608

[startup+0.701274 s]
/proc/loadavg: 0.95 0.98 0.99 3/64 10846
/proc/meminfo: memFree=1816640/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=0.69
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 69 0 0 0 22 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8608

[startup+1.50135 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 10847
/proc/meminfo: memFree=1813880/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=1.49
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 149 0 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134868569 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8608

[startup+3.10151 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 10847
/proc/meminfo: memFree=1813688/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=3.09
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 309 0 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8608

[startup+6.30183 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 10847
/proc/meminfo: memFree=1813688/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=6.29
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 629 0 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8608

[startup+12.7015 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 10847
/proc/meminfo: memFree=1813632/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=12.69
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 1269 0 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134607415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8608

[startup+25.5017 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 10847
/proc/meminfo: memFree=1813704/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=25.49
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 2549 0 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 8608

[startup+51.1013 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 10847
/proc/meminfo: memFree=1813640/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=51.07
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 5107 0 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877526 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 8608

[startup+102.304 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10847
/proc/meminfo: memFree=1813640/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=102.26
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 10226 0 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134597168 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 8608

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10847
/proc/meminfo: memFree=1813640/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=162.24
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 16224 0 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 8608

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10847
/proc/meminfo: memFree=1813576/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=222.23
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 22222 1 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 8608

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10847
/proc/meminfo: memFree=1813576/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=282.22
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 28221 1 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 8608

[startup+342.302 s]
/proc/loadavg: 1.11 1.02 1.01 2/65 10847
/proc/meminfo: memFree=1813512/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=342.2
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 34219 1 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 8608

[startup+402.302 s]
/proc/loadavg: 1.11 1.03 1.00 2/65 10847
/proc/meminfo: memFree=1813448/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=402.19
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 40218 1 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 8608

[startup+462.302 s]
/proc/loadavg: 1.11 1.04 1.00 2/65 10847
/proc/meminfo: memFree=1813576/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=462.17
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 46216 1 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134607702 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 8608

[startup+522.302 s]
/proc/loadavg: 1.04 1.03 1.00 2/65 10847
/proc/meminfo: memFree=1813576/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=522.15
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 52214 1 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 8608

[startup+582.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 10847
/proc/meminfo: memFree=1813512/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=582.14
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 58213 1 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611617 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 8608

[startup+642.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 10847
/proc/meminfo: memFree=1813512/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=642.12
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 64211 1 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134607280 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 8608


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10847
/proc/meminfo: memFree=1813448/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=822.07
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 82206 1 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 8608

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10847
/proc/meminfo: memFree=1813448/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=882.06
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 88205 1 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134869249 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 8608

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10847
/proc/meminfo: memFree=1813512/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=942.04
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 94203 1 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 8608

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10847
/proc/meminfo: memFree=1813448/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=1002.02
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 100201 1 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611648 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 8608

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10847
/proc/meminfo: memFree=1813448/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=1062.01
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 106200 1 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877546 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 8608

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 11015
/proc/meminfo: memFree=1812168/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=1121.93
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 112192 1 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 8608

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11045
/proc/meminfo: memFree=1813192/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=1181.89
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 118188 1 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877546 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 8608

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11045
/proc/meminfo: memFree=1813192/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=1241.88
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 124187 1 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611660 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 8608

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11045
/proc/meminfo: memFree=1813192/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=1301.86
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 130185 1 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134605350 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 8608

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11045
/proc/meminfo: memFree=1813128/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=1361.84
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 136183 1 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 8608

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11045
/proc/meminfo: memFree=1813256/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=1421.83
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 142182 1 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611607 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 8608

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11045
/proc/meminfo: memFree=1813192/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=1481.81
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 148180 1 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877556 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 8608

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11045
/proc/meminfo: memFree=1813384/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=1541.8
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 154179 1 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 8608

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11045
/proc/meminfo: memFree=1813448/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=1601.78
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 160177 1 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 8608

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11045
/proc/meminfo: memFree=1813448/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=1661.77
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 166176 1 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134868572 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 8608

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11045
/proc/meminfo: memFree=1813384/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=1721.75
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 172174 1 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 8608

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11045
/proc/meminfo: memFree=1813384/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=1781.74
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 178172 2 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 8608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11045
/proc/meminfo: memFree=1813384/2055920 swapFree=4183236/4192956
[pid=10846] ppid=10844 vsize=8608 CPUtime=1800.05
/proc/10846/stat : 10846 (wildcat-rnp) R 10844 10846 9958 0 -1 4194304 829 0 0 0 180003 2 0 0 25 0 1 0 157007530 8814592 812 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611610 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10846/statm: 2152 812 117 226 0 1923 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 8608

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

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

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.06
CPU user time (s): 1800.04
CPU system time (s): 0.021996
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 8608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.021996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 829
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= 8
involuntary context switches= 3002

runsolver used 1.13583 second user time and 3.87141 second system time

The end

Launcher Data (download as text)

Begin job on node60 on Fri Apr 20 17:42:56 UTC 2007

IDJOB= 372342
IDBENCH= 24965
IDSOLVER= 161
FILE ID= node60/372342-1177090975

PBS_JOBID= 4640314

Free space on /tmp= 66415 MiB

SOLVER NAME= wildcat-rnp 2007-03-21
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir06_trarea_ac.opb
COMMAND LINE= /tmp/evaluation/372342-1177090975/wildcat-rnp /tmp/evaluation/372342-1177090975/instance-372342-1177090975.opb 207233543
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node60/watcher-372342-1177090975 -o ROOT/results/node60/solver-372342-1177090975 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/372342-1177090975/wildcat-rnp /tmp/evaluation/372342-1177090975/instance-372342-1177090975.opb 207233543

META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a
MD5SUM BENCH=  7546aeed0de3680ab75d817854256b46

RANDOM SEED= 207233543

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node60.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.214
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.214
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:       1817112 kB
Buffers:         44556 kB
Cached:         126388 kB
SwapCached:       3476 kB
Active:          55176 kB
Inactive:       125576 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1817112 kB
SwapTotal:     4192956 kB
SwapFree:      4183236 kB
Dirty:            2604 kB
Writeback:           0 kB
Mapped:          15632 kB
Slab:            44084 kB
Committed_AS:  2439308 kB
PageTables:       1464 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= 66415 MiB

End job on node60 on Fri Apr 20 18:12:58 UTC 2007