Trace number 3467690

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
MinisatID 2.4.8-gmpOPT20182527402 224.665 224.664

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-randec6fe1.cudf.trendy.opb
MD5SUM2a003c66fa741dfb4de1327964502c2e
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark20182527402
Best CPU time to get the best result obtained on this benchmark3.08753
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6417
Total number of constraints27031
Number of constraints which are clauses26759
Number of constraints which are cardinality constraints (but not clauses)272
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 2990
Biggest coefficient in the objective function 3354790473
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 1851839860022
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 3354790473
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 1851839860022
Number of bits of the biggest sum of numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	>>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true.
1.89/1.91	o 1308729087195
2.10/2.21	o 1305374296722
2.29/2.30	o 1302019506249
2.59/2.61	o 1298664715776
2.69/2.73	o 1295312166312
2.79/2.84	o 1291957375839
2.89/2.90	o 1288602585366
2.89/2.96	o 1285247794893
2.99/3.02	o 1281893004420
2.99/3.09	o 1278538213947
3.20/3.22	o 1275183423474
3.30/3.34	o 1271828633001
3.39/3.41	o 1268476083537
3.39/3.47	o 1265121293064
3.49/3.54	o 1261766502591
3.49/3.58	o 1258411712118
3.59/3.62	o 1255056921645
3.59/3.68	o 1251704372181
3.69/3.73	o 1248349581709
3.79/3.80	o 1244997032245
3.79/3.86	o 1241642241775
3.89/3.91	o 1238289692311
3.89/3.96	o 1234934901840
3.99/4.02	o 1231580111367
4.09/4.11	o 1224877253448
4.09/4.16	o 1221522462975
4.19/4.20	o 1218169913511
4.19/4.27	o 1214815123039
4.19/4.31	o 1211462573575
4.31/4.36	o 1208107783102
4.31/4.41	o 1204752992629
4.41/4.46	o 1201398202156
4.50/4.52	o 1198043411683
4.50/4.56	o 1194690862219
4.60/4.66	o 1191342794776
4.70/4.73	o 1187988004303
4.70/4.79	o 1184635454839
4.80/4.84	o 1181282905375
4.90/4.90	o 1177928114902
4.90/4.98	o 1174575565438
5.00/5.03	o 1171220774965
5.00/5.09	o 1167870466511
5.10/5.14	o 1164517917047
5.10/5.19	o 1161163126574
5.20/5.24	o 1157808336101
5.30/5.32	o 1154455786638
5.30/5.36	o 1151103237174
5.30/5.41	o 1147748446701
5.41/5.50	o 1141038865755
5.60/5.60	o 1137684075282
5.70/5.70	o 1134331525819
5.80/5.80	o 1130978976356
5.80/5.86	o 1127624185883
5.90/5.91	o 1124269395411
6.00/6.01	o 1120914604938
6.00/6.09	o 1117562055474
6.10/6.14	o 1114207265001
6.20/6.21	o 1110852474529
6.20/6.28	o 1107497684056
6.30/6.33	o 1104145134592
6.40/6.47	o 1100792585128
6.51/6.53	o 1097440035664
6.61/6.64	o 1090739418757
6.69/6.76	o 1084032078820
6.79/6.84	o 1080679529356
6.79/6.89	o 1077326979895
6.89/6.98	o 1073972189423
7.00/7.03	o 1070617398950
7.09/7.10	o 1067262608478
7.09/7.19	o 1063910059014
7.19/7.25	o 1060557509550
7.29/7.34	o 1057202719077
7.29/7.39	o 1053847928604
7.40/7.44	o 1050493138131
7.49/7.51	o 1047140588667
7.49/7.59	o 1043788039204
7.61/7.69	o 1040433248731
7.71/7.78	o 1037080699267
7.90/7.91	o 1033728149803
7.90/7.99	o 1030375600339
8.00/8.06	o 1027023050875
8.10/8.18	o 1020317951947
8.20/8.27	o 1016965402483
8.30/8.37	o 1000202655163
8.50/8.51	o 996847864690
8.60/8.61	o 993493074217
8.71/8.74	o 990138283744
8.81/8.82	o 986783493271
8.90/8.94	o 983428702798
9.10/9.13	o 980073912325
9.20/9.21	o 976719121852
9.20/9.28	o 973364331379
9.30/9.36	o 970009540906
9.40/9.43	o 966656991442
9.50/9.58	o 963304441978
9.70/9.74	o 956597102042
9.81/9.91	o 953242311569
10.00/10.00	o 949887521097
10.00/10.05	o 946534971633
10.10/10.19	o 943180181160
10.30/10.33	o 939827631696
10.40/10.48	o 936472841223
10.50/10.56	o 933118050750
10.60/10.67	o 929763260277
10.80/10.81	o 926408469805
10.91/10.94	o 923053679332
11.01/11.03	o 919701129869
11.10/11.18	o 916346339396
11.30/11.38	o 912991548923
11.50/11.58	o 909638999462
11.70/11.77	o 906284208989
11.90/11.99	o 902929418517
12.01/12.08	o 899576869053
12.11/12.16	o 896222078580
12.20/12.23	o 892867288107
12.30/12.31	o 889514738643
12.30/12.37	o 886162189179
12.50/12.54	o 882807398706
12.59/12.62	o 879454849242
12.79/12.83	o 876102299778
12.89/12.91	o 872747509305
12.99/13.06	o 869392718832
13.11/13.20	o 866042410377
13.29/13.39	o 862689860913
13.49/13.52	o 859335070440
13.59/13.67	o 855980279967
13.79/13.83	o 852625489494
13.89/13.94	o 849275181046
13.99/14.01	o 845920390573
14.31/14.34	o 842570082127
14.39/14.46	o 839215291654
14.49/14.59	o 835862742191
14.69/14.77	o 832510192729
14.99/15.00	o 829155402256
14.99/15.09	o 825800611783
15.31/15.41	o 822445821310
15.49/15.56	o 819093271846
15.59/15.65	o 815738481373
15.69/15.77	o 812383690900
15.89/15.95	o 809031141436
16.09/16.14	o 805676350963
16.19/16.30	o 802321560490
16.51/16.59	o 798966770017
16.59/16.69	o 795611979544
16.89/16.92	o 792257189071
16.99/17.08	o 788902398598
17.29/17.32	o 785549849134
17.39/17.49	o 782197299670
17.51/17.56	o 778842509197
17.69/17.74	o 775487718724
17.79/17.83	o 772132928252
17.89/17.90	o 768778137779
17.99/18.08	o 765425588315
18.09/18.15	o 762073038851
18.29/18.31	o 758718248378
18.39/18.43	o 755365698914
18.49/18.59	o 752010908441
18.61/18.71	o 748662841004
18.79/18.80	o 745308050531
19.09/19.19	o 741953260058
19.29/19.31	o 738598469585
19.39/19.47	o 735243679112
19.60/19.66	o 731888888639
19.71/19.75	o 728536339175
19.99/20.04	o 725181548702
20.09/20.15	o 721828999238
20.29/20.30	o 718476449774
20.39/20.49	o 715123900310
20.69/20.70	o 711769109837
20.81/20.86	o 708416560373
20.99/21.08	o 705061769900
21.69/21.77	o 705057287881
21.79/21.81	o 701702497408
22.19/22.22	o 701700256399
22.49/22.54	o 701698015390
22.59/22.69	o 701695774381
22.89/22.93	o 701693533372
23.59/23.60	o 701691292363
23.69/23.78	o 701689051354
23.89/23.90	o 701686810345
23.99/24.06	o 701684569336
24.29/24.30	o 701682328327
24.39/24.40	o 701680087318
24.59/24.62	o 701677846309
25.60/25.69	o 701675605300
25.80/25.81	o 701673364292
25.90/25.92	o 698318573819
25.90/25.98	o 694963783346
26.00/26.04	o 694961542337
26.41/26.47	o 691611233883
26.59/26.64	o 688256443410
26.59/26.69	o 688254202401
26.79/26.85	o 684899411928
26.89/26.93	o 684897170919
26.99/27.06	o 684894929910
27.09/27.19	o 681540139437
27.29/27.41	o 678185348964
27.69/27.74	o 674830558491
27.79/27.84	o 674828317482
27.89/27.91	o 671473527009
28.29/28.33	o 671471286000
28.39/28.44	o 664761705054
28.51/28.59	o 661406914581
28.69/28.77	o 658052124108
28.79/28.85	o 658052124107
28.99/29.05	o 654697333634
29.09/29.10	o 651342543161
29.39/29.48	o 647987752696
29.49/29.53	o 647985511687
29.61/29.63	o 647983270678
29.71/29.72	o 647981029669
29.79/29.86	o 644626239196
29.89/29.91	o 641271448723
29.89/29.97	o 637916658250
29.99/30.01	o 637916658249
30.09/30.10	o 637916658247
30.19/30.20	o 637914417238
30.29/30.35	o 634559626765
30.39/30.43	o 624497496355
30.49/30.56	o 621142705882
30.59/30.70	o 617787915409
30.81/30.87	o 614433124936
30.89/30.97	o 614430883927
30.99/31.05	o 611076093454
31.19/31.22	o 607721302981
31.29/31.32	o 604368753517
31.29/31.37	o 601013963044
31.39/31.41	o 597659172571
31.39/31.46	o 594304382098
31.49/31.55	o 590949591625
31.59/31.63	o 587594801152
31.69/31.71	o 587592560143
31.99/32.02	o 584237769671
32.19/32.23	o 580882979198
32.29/32.37	o 580880738190
32.39/32.45	o 577525947717
32.90/32.96	o 574173398253
33.01/33.06	o 570818607780
33.29/33.34	o 570816366771
33.79/33.85	o 570811884753
33.89/33.91	o 570811884752
34.00/34.10	o 570809643743
34.19/34.26	o 567454853270
34.29/34.35	o 567452612261
34.59/34.66	o 567450371252
34.69/34.79	o 564095580779
35.10/35.12	o 564093339770
35.21/35.28	o 564091098761
35.39/35.41	o 564088857752
35.49/35.57	o 560734067279
35.89/35.94	o 560731826270
35.99/36.07	o 560729585261
36.09/36.13	o 560727344252
36.20/36.29	o 557372553779
36.39/36.40	o 554017763306
36.39/36.45	o 554017763305
36.89/36.90	o 550662972832
36.99/37.03	o 547308182359
37.49/37.52	o 543957873904
37.59/37.64	o 540603083431
37.79/37.85	o 537248292958
37.89/37.90	o 533893502485
37.89/37.98	o 533891261476
38.09/38.16	o 530540953021
38.51/38.53	o 527192885576
38.79/38.82	o 523840336112
38.99/39.00	o 520485545639
38.99/39.09	o 517137478193
39.09/39.19	o 513782687720
39.29/39.30	o 510427897247
39.50/39.60	o 507073106774
39.61/39.68	o 503718316301
39.69/39.76	o 500363525828
39.89/39.98	o 490301395418
39.99/40.08	o 486946604945
40.19/40.23	o 483591814472
40.29/40.32	o 480237023999
40.60/40.63	o 480232541981
40.60/40.69	o 476877751508
40.89/40.93	o 473527443053
41.09/41.10	o 473525202044
41.09/41.16	o 470170411571
41.19/41.22	o 466815621098
41.89/41.97	o 466813380089
42.39/42.48	o 463467553653
42.49/42.55	o 460112763180
42.59/42.61	o 456757972707
42.59/42.67	o 453403182234
42.69/42.76	o 450052873780
42.80/42.81	o 450050632771
42.80/42.87	o 450048391762
42.99/43.00	o 450046150753
42.99/43.07	o 450043909744
43.09/43.13	o 446689119271
43.09/43.19	o 443334328798
43.29/43.35	o 439979538325
43.49/43.54	o 439977297316
43.79/43.83	o 436622506843
43.90/43.98	o 436620265834
44.09/44.12	o 433265475361
44.09/44.19	o 429910684888
44.29/44.37	o 426555894415
45.00/45.03	o 423201103942
45.39/45.41	o 419846313469
45.49/45.56	o 416491522996
45.69/45.72	o 413136732523
45.99/46.10	o 409784183059
46.21/46.25	o 409781942050
46.29/46.31	o 409777460032
46.29/46.37	o 406427151576
46.49/46.53	o 403090289176
46.49/46.59	o 403088048167
46.69/46.76	o 403085807158
46.99/47.07	o 399731016685
47.09/47.14	o 396378467221
47.31/47.37	o 393025917757
47.39/47.49	o 393023676748
47.59/47.60	o 389668886275
47.59/47.66	o 389666645266
47.69/47.77	o 386311854793
47.89/47.98	o 379604514856
48.09/48.11	o 376249724383
48.19/48.22	o 372894933910
48.49/48.59	o 369540143437
48.59/48.65	o 366185352964
48.69/48.76	o 362830562491
48.89/48.95	o 359475772018
49.09/49.13	o 359473531009
49.51/49.56	o 359471290001
49.89/49.99	o 359469048992
49.99/50.09	o 359466807984
50.89/50.90	o 352763950065
50.89/50.96	o 349411400601
50.99/51.07	o 346061092146
51.09/51.14	o 342708542683
51.19/51.20	o 342706301674
51.39/51.44	o 339351511201
51.71/51.74	o 339349270192
51.79/51.89	o 339347029183
52.09/52.14	o 335996720728
52.19/52.23	o 332644171264
52.39/52.40	o 329298344827
53.69/53.79	o 325943554354
53.80/53.88	o 319233973408
53.99/54.06	o 319231732399
54.39/54.47	o 315876941927
55.09/55.13	o 315874700918
55.29/55.37	o 315872459909
55.49/55.52	o 312517669436
55.69/55.71	o 309165119972
55.79/55.83	o 302460021043
55.89/55.90	o 299107471579
56.00/56.10	o 295757163124
56.19/56.21	o 295754922115
56.19/56.29	o 292400131642
56.39/56.49	o 289045341169
56.49/56.55	o 285690550696
56.69/56.71	o 282338001232
56.99/57.00	o 278987692778
56.99/57.08	o 278985451769
57.10/57.21	o 275635143313
57.29/57.33	o 272280352840
57.39/57.45	o 268927803376
57.59/57.61	o 265577494921
57.59/57.69	o 265575253912
57.99/58.02	o 262222704448
58.49/58.51	o 255513123502
58.59/58.63	o 252160574038
58.69/58.70	o 248810265583
58.89/58.98	o 245466680155
58.99/59.09	o 242116371700
59.19/59.24	o 238763822236
59.30/59.35	o 238761581227
59.59/59.63	o 235406790754
59.69/59.74	o 235406790753
59.89/59.99	o 235404549745
60.19/60.23	o 232049759272
60.40/60.47	o 225353624380
60.51/60.56	o 225351383371
60.59/60.62	o 225349142362
60.69/60.71	o 225346901353
60.89/60.96	o 221992110880
61.50/61.55	o 218641802426
61.61/61.64	o 215289252962
61.69/61.70	o 211941185515
61.69/61.79	o 211938944507
61.79/61.89	o 211936703498
61.99/62.06	o 208581913026
62.09/62.13	o 205227122553
62.19/62.27	o 201872332080
62.29/62.36	o 198517541607
62.49/62.52	o 195164992147
62.60/62.65	o 191810201674
62.71/62.80	o 191807960665
62.89/62.92	o 191801237638
62.99/63.08	o 188446447166
63.09/63.14	o 188446447165
63.19/63.21	o 185091656692
63.19/63.29	o 181736866219
63.29/63.38	o 178382075746
63.39/63.46	o 171672494800
63.59/63.63	o 168324427354
63.81/63.82	o 164971877892
63.81/63.89	o 164971877891
63.99/64.01	o 164969636882
64.09/64.15	o 161614846409
64.19/64.21	o 158260055936
64.29/64.30	o 154907506472
64.29/64.36	o 154905265463
64.39/64.48	o 154903024454
64.49/64.56	o 151548233981
64.59/64.69	o 151545992972
64.91/64.93	o 151543751964
65.09/65.17	o 151541510958
65.29/65.36	o 144820724967
65.39/65.45	o 144820724966
65.49/65.58	o 141468175501
65.69/65.79	o 141468175500
65.79/65.88	o 138115626036
66.19/66.22	o 138113385027
66.29/66.32	o 138111144018
66.49/66.52	o 134763076573
66.79/66.81	o 131408286101
67.00/67.06	o 124707669194
67.11/67.14	o 124705428186
67.19/67.20	o 124705428185
67.29/67.33	o 124705428184
67.39/67.42	o 124700946166
67.49/67.51	o 121348396702
68.39/68.40	o 117995847238
68.59/68.65	o 117989124214
68.69/68.78	o 114636574750
68.89/68.93	o 111281784277
68.99/69.01	o 104576685349
69.20/69.30	o 104574444340
69.39/69.43	o 104572203331
69.49/69.51	o 104572203330
69.49/69.59	o 104572203329
69.59/69.65	o 101219653865
69.79/69.80	o 97869345410
69.99/70.01	o 94514554938
70.09/70.12	o 94512313930
70.19/70.30	o 94510072924
70.49/70.53	o 91155282451
70.59/70.66	o 91153041442
70.69/70.73	o 87798250969
70.89/70.97	o 81095393050
71.40/71.42	o 81093152041
71.51/71.56	o 77738361568
71.59/71.64	o 77733879550
71.69/71.72	o 74381330086
71.79/71.82	o 74379089078
71.89/71.92	o 74376848069
72.09/72.14	o 74374607064
72.19/72.28	o 74372366055
72.39/72.42	o 74372366054
72.39/72.49	o 74372366053
73.29/73.30	o 71017575584
73.39/73.44	o 71015334575
73.89/73.97	o 71013093572
74.09/74.19	o 71013093571
74.29/74.34	o 71010852563
74.49/74.51	o 71010852562
74.59/74.66	o 67658303098
74.70/74.74	o 67658303097
75.09/75.12	o 67658303096
75.19/75.25	o 64307994640
75.39/75.45	o 60955445175
75.80/75.85	o 60953204165
75.91/75.95	o 60953204164
76.09/76.10	o 60950963155
76.49/76.57	o 57598413693
76.59/76.68	o 57596172687
77.01/77.02	o 54239141204
77.09/77.13	o 54239141203
77.19/77.26	o 54236900194
77.29/77.33	o 54234659185
77.89/77.91	o 50879868711
78.00/78.03	o 47525078238
78.39/78.49	o 44177010792
78.49/78.60	o 44174769783
78.79/78.84	o 44172528775
78.99/79.10	o 40824461328
79.21/79.25	o 40822220319
79.29/79.34	o 40819979310
79.39/79.48	o 40817738301
79.69/79.76	o 40815497292
79.89/79.97	o 40813256282
79.99/80.05	o 40813256281
80.31/80.36	o 37467429844
80.69/80.70	o 37467429843
80.89/80.93	o 37467429842
80.99/81.05	o 37465188833
81.79/81.81	o 37462947824
81.89/81.91	o 37458465806
81.99/82.01	o 37458465805
82.40/82.42	o 34108157350
83.29/83.37	o 34105916341
83.69/83.73	o 34105916340
83.89/83.97	o 34105916339
84.19/84.24	o 34105916338
84.49/84.51	o 30751125864
84.89/84.97	o 27398576399
84.99/85.05	o 27396335391
85.19/85.26	o 27394094382
85.29/85.37	o 24039303909
85.39/85.47	o 24037062901
85.59/85.62	o 24034821894
86.59/86.64	o 24032580884
87.49/87.58	o 24025857857
87.79/87.90	o 24023616848
90.10/90.12	o 20677790420
90.10/90.20	o 20677790419
90.39/90.42	o 20671067395
90.49/90.51	o 20668826386
90.49/90.57	o 20666585377
90.59/90.63	o 20664344368
91.31/91.33	o 20662103360
91.49/91.55	o 20659862351
92.09/92.11	o 20655380333
92.49/92.59	o 20626247216
92.79/92.83	o 20624006207
93.09/93.12	o 20621765198
93.19/93.25	o 20619524189
93.29/93.39	o 20617283180
94.09/94.13	o 20617283178
94.19/94.27	o 20617283177
95.09/95.12	o 20617283176
95.89/95.97	o 20583668042
96.59/96.63	o 20581427037
101.10/101.15	o 20579186031
101.21/101.24	o 20576945022
101.29/101.35	o 20574704014
101.49/101.50	o 20572463007
101.99/102.07	o 20572463006
102.20/102.29	o 20572463005
102.59/102.69	o 20552293924
102.79/102.80	o 20550052915
102.99/103.06	o 20550052914
103.49/103.52	o 20545570898
103.59/103.67	o 20543329890
103.89/103.98	o 20541088884
104.09/104.10	o 20541088883
105.99/106.07	o 20541088882
106.19/106.24	o 20538847873
106.49/106.52	o 20536606866
106.49/106.59	o 20536606865
107.29/107.37	o 20536606864
107.39/107.44	o 20536606863
107.39/107.49	o 20536606862
107.49/107.55	o 20536606861
107.59/107.61	o 20536606860
108.09/108.12	o 20534365852
108.59/108.62	o 20534365850
108.69/108.78	o 20534365849
108.91/108.95	o 20534365847
109.39/109.46	o 20532124841
109.49/109.52	o 20532124840
109.59/109.60	o 20532124839
109.69/109.77	o 20532124838
109.90/109.98	o 20532124837
110.29/110.34	o 20529883829
110.39/110.45	o 20527642822
110.59/110.60	o 20525401813
110.69/110.71	o 20523160804
110.79/110.83	o 20520919796
110.89/110.93	o 20518678787
110.89/110.98	o 20516437778
111.39/111.41	o 20516437777
111.49/111.56	o 20516437776
111.69/111.77	o 20514196771
111.99/112.04	o 20511955764
112.39/112.42	o 20511955762
112.59/112.60	o 20507473745
112.69/112.77	o 20505232737
113.09/113.18	o 20505232736
114.49/114.58	o 20502991726
114.89/114.92	o 20500750717
115.29/115.35	o 20500750716
115.99/116.00	o 20498509708
117.09/117.16	o 20496268701
117.49/117.58	o 20496268700
117.79/117.81	o 20494027693
117.79/117.88	o 20494027692
117.89/117.95	o 20494027691
117.99/118.04	o 20491786683
118.09/118.17	o 20491786682
118.59/118.68	o 20489545673
119.69/119.77	o 20487304667
119.80/119.86	o 20487304666
119.99/120.00	o 20487304665
120.09/120.15	o 20487304664
120.79/120.80	o 20485063656
121.79/121.81	o 20482822652
121.79/121.87	o 20482822650
121.89/121.94	o 20482822649
122.00/122.03	o 20482822648
122.29/122.38	o 20482822647
122.79/122.86	o 20480581638
123.29/123.33	o 20480581637
123.39/123.43	o 20480581636
123.59/123.69	o 20480581635
123.89/123.90	o 20480581634
123.99/124.03	o 20478340627
124.31/124.37	o 20476099620
124.39/124.48	o 20476099619
125.09/125.11	o 20476099618
130.69/130.81	o 20473858611
130.91/130.98	o 20471617602
130.99/131.09	o 20469376593
131.19/131.28	o 20469376592
131.69/131.77	o 20469376591
132.09/132.20	o 20467135582
132.29/132.31	o 20467135581
132.29/132.37	o 20467135580
132.39/132.49	o 20467135579
132.49/132.59	o 20464894570
132.69/132.75	o 20462653564
133.00/133.02	o 20462653563
133.00/133.08	o 20462653562
133.19/133.22	o 20462653561
133.39/133.43	o 20462653560
133.49/133.52	o 20462653559
133.49/133.58	o 20462653558
133.59/133.65	o 20462653557
133.69/133.74	o 20462653556
133.89/133.93	o 20460412547
134.21/134.27	o 20458171544
134.29/134.33	o 20458171543
134.39/134.41	o 20458171542
134.39/134.48	o 20458171541
134.99/135.08	o 20455930534
135.31/135.39	o 20453689526
135.99/136.08	o 20449207507
136.19/136.31	o 20449207506
136.30/136.39	o 20449207505
136.41/136.47	o 20449207504
136.49/136.54	o 20449207503
136.59/136.65	o 20446966495
136.99/137.09	o 20446966494
137.29/137.34	o 20444725482
137.40/137.42	o 20444725481
137.40/137.48	o 20444725480
137.51/137.54	o 20444725479
137.59/137.66	o 20444725478
138.39/138.44	o 20442484474
138.61/138.65	o 20442484473
139.09/139.15	o 20440243472
139.29/139.40	o 20438002465
139.39/139.46	o 20438002464
139.49/139.52	o 20438002463
139.71/139.77	o 20438002462
140.89/140.94	o 20435761466
140.99/141.01	o 20435761465
140.99/141.08	o 20435761464
141.09/141.13	o 20435761463
141.19/141.20	o 20435761462
141.19/141.27	o 20435761461
141.29/141.34	o 20435761460
141.49/141.52	o 20435761459
142.09/142.13	o 20435761458
142.19/142.23	o 20435761457
142.39/142.40	o 20435761456
142.49/142.57	o 20435761455
143.09/143.17	o 20435761454
143.29/143.32	o 20435761453
143.49/143.58	o 20433520445
143.79/143.82	o 20433520444
144.39/144.41	o 20431279435
144.49/144.53	o 20429038427
144.59/144.69	o 20429038426
145.59/145.62	o 20429038425
145.99/146.07	o 20429038424
146.20/146.22	o 20429038423
146.49/146.51	o 20426797415
148.29/148.30	o 20426797414
148.89/148.95	o 20426797413
151.89/151.91	o 20426797412
152.09/152.16	o 20426797411
152.29/152.35	o 20426797410
152.39/152.45	o 20424556402
152.91/152.99	o 20420074384
154.01/154.02	o 20417833377
154.19/154.29	o 20417833376
154.49/154.50	o 20417833375
159.09/159.10	o 20415592372
160.61/160.66	o 20415592371
160.79/160.83	o 20415592370
161.09/161.13	o 20411110355
161.19/161.25	o 20411110354
161.39/161.49	o 20411110353
161.60/161.66	o 20411110352
161.79/161.81	o 20411110351
161.99/162.01	o 20411110350
162.29/162.30	o 20411110349
162.39/162.43	o 20411110348
162.59/162.63	o 20411110347
162.70/162.73	o 20411110346
162.81/162.82	o 20411110345
162.89/162.92	o 20411110344
163.19/163.24	o 20411110343
163.29/163.37	o 20408869335
163.59/163.69	o 20406628327
163.80/163.86	o 20406628326
163.99/164.04	o 20406628324
164.09/164.11	o 20406628323
164.29/164.38	o 20406628322
165.39/165.41	o 20404387315
165.49/165.55	o 20404387314
166.11/166.16	o 20402146310
166.39/166.45	o 20402146309
166.49/166.58	o 20399905300
166.79/166.89	o 20397664293
166.99/167.08	o 20397664292
167.79/167.85	o 20397664291
167.99/168.02	o 20397664290
168.20/168.26	o 20395423282
168.31/168.38	o 20395423281
168.49/168.50	o 20393182273
168.69/168.79	o 20393182272
168.89/168.96	o 20390941265
169.09/169.16	o 20390941264
169.59/169.63	o 20388700255
169.79/169.81	o 20386459247
169.89/169.91	o 20386459246
171.19/171.29	o 20386459244
171.50/171.60	o 20386459243
171.69/171.78	o 20386459242
172.19/172.23	o 20386459241
174.29/174.35	o 20386459240
174.39/174.46	o 20384218232
175.19/175.21	o 20384218231
175.39/175.47	o 20381977222
175.69/175.75	o 20379736220
175.79/175.84	o 20379736219
176.01/176.03	o 20379736218
176.09/176.11	o 20379736217
176.09/176.18	o 20379736216
176.29/176.32	o 20379736215
176.39/176.49	o 20379736214
176.89/176.93	o 20377495204
177.11/177.19	o 20375254197
177.19/177.28	o 20375254196
178.99/179.06	o 20375254195
179.39/179.49	o 20373013187
180.79/180.80	o 20373013186
180.99/181.03	o 20373013185
181.40/181.50	o 20373013184
182.09/182.19	o 20370772178
182.19/182.27	o 20370772177
182.29/182.38	o 20370772176
183.09/183.13	o 20368531186
183.19/183.28	o 20368531185
183.29/183.34	o 20368531184
183.39/183.41	o 20368531183
183.89/183.95	o 20368531181
183.99/184.08	o 20368531180
184.09/184.16	o 20368531179
184.29/184.31	o 20368531178
184.39/184.40	o 20368531177
184.49/184.50	o 20368531176
185.39/185.47	o 20368531172
185.49/185.54	o 20368531171
185.80/185.83	o 20368531170
185.99/186.06	o 20368531169
186.09/186.14	o 20368531168
186.59/186.63	o 20366290159
186.79/186.83	o 20364049152
188.11/188.18	o 20364049151
188.89/188.92	o 20364049150
193.89/193.99	o 20361808143
194.19/194.27	o 20361808142
194.60/194.67	o 20359567133
195.19/195.26	o 20357326132
196.39/196.44	o 20357326131
198.39/198.41	o 20357326130
198.39/198.49	o 20357326129
198.49/198.56	o 20357326128
198.59/198.62	o 20357326127
198.59/198.70	o 20357326126
199.00/199.02	o 20357326125
199.11/199.16	o 20355085122
199.19/199.25	o 20355085121
199.29/199.37	o 20355085119
199.39/199.44	o 20355085118
199.49/199.51	o 20355085117
199.59/199.61	o 20355085116
199.69/199.76	o 20355085114
203.09/203.15	o 20352844109
203.29/203.32	o 20350603120
203.40/203.43	o 20350603119
203.40/203.48	o 20350603118
203.59/203.60	o 20350603117
203.69/203.71	o 20350603116
203.79/203.82	o 20350603115
203.89/203.92	o 20350603114
203.89/203.99	o 20350603113
203.99/204.05	o 20350603112
204.09/204.18	o 20350603111
204.19/204.25	o 20348362103
204.29/204.37	o 20346121094
204.39/204.50	o 20343880085
204.61/204.69	o 20341639076
204.80/204.81	o 20341639075
204.80/204.89	o 20339398068
204.90/204.97	o 20339398067
205.00/205.07	o 20339398066
205.20/205.27	o 20337157058
205.30/205.39	o 20334916049
205.50/205.52	o 20334916048
205.50/205.59	o 20332675040
205.61/205.67	o 20330434031
205.72/205.78	o 20328193022
205.90/205.94	o 20325952013
206.00/206.07	o 20323711005
206.20/206.20	o 20323711004
206.30/206.30	o 20323711003
206.30/206.38	o 20321469994
206.50/206.53	o 20319228986
206.50/206.58	o 20319228985
206.60/206.65	o 20316987976
206.71/206.72	o 20316987975
206.71/206.78	o 20314746966
206.90/206.91	o 20312505965
207.00/207.00	o 20312505964
207.00/207.07	o 20312505963
207.10/207.12	o 20312505962
207.10/207.18	o 20312505961
207.20/207.23	o 20312505960
207.20/207.30	o 20312505959
207.30/207.35	o 20312505958
207.40/207.42	o 20312505957
207.40/207.49	o 20312505956
207.60/207.61	o 20310264948
207.60/207.68	o 20310264947
207.70/207.76	o 20310264944
207.81/207.82	o 20310264943
207.81/207.88	o 20310264942
207.92/207.98	o 20308023934
208.00/208.07	o 20305782929
208.20/208.23	o 20305782928
208.30/208.32	o 20305782927
208.30/208.39	o 20305782926
208.40/208.46	o 20305782925
208.50/208.54	o 20305782924
208.60/208.66	o 20303541918
208.70/208.72	o 20303541917
208.70/208.79	o 20303541916
208.80/208.87	o 20303541915
208.91/209.00	o 20301300910
209.01/209.05	o 20301300909
209.10/209.11	o 20301300908
209.10/209.17	o 20301300907
209.20/209.23	o 20301300906
209.30/209.31	o 20301300905
209.40/209.43	o 20299059897
209.50/209.50	o 20299059896
209.60/209.62	o 20296818887
209.70/209.71	o 20296818886
209.80/209.83	o 20294577878
209.80/209.89	o 20294577877
210.01/210.02	o 20292336869
210.01/210.09	o 20292336868
210.11/210.16	o 20292336867
210.20/210.28	o 20290095858
210.30/210.37	o 20290095857
210.40/210.49	o 20287854849
210.50/210.54	o 20287854848
210.60/210.66	o 20287854847
210.70/210.79	o 20285613839
210.80/210.85	o 20283372831
210.90/210.91	o 20283372830
210.90/210.98	o 20283372829
211.00/211.11	o 20281131821
211.11/211.17	o 20281131820
211.21/211.24	o 20281131819
211.30/211.35	o 20281131817
211.40/211.48	o 20278890808
211.50/211.53	o 20276649801
211.60/211.61	o 20274408794
211.70/211.71	o 20274408793
211.70/211.77	o 20274408792
211.90/211.92	o 20272167787
211.90/211.99	o 20272167786
212.00/212.05	o 20269926777
212.10/212.13	o 20269926776
212.21/212.31	o 20267685767
212.31/212.39	o 20267685766
212.40/212.44	o 20267685765
212.50/212.58	o 20265444758
212.60/212.68	o 20263203749
212.70/212.75	o 20263203748
212.80/212.88	o 20263203746
213.00/213.02	o 20263203745
213.10/213.13	o 20260962736
213.10/213.19	o 20258721727
213.20/213.28	o 20258721726
213.31/213.35	o 20258721725
213.31/213.41	o 20256480716
213.41/213.49	o 20254239709
213.60/213.69	o 20254239708
213.80/213.82	o 20254239707
213.90/213.96	o 20251998700
214.00/214.01	o 20249757692
214.10/214.15	o 20247516684
214.20/214.21	o 20247516682
214.30/214.33	o 20245275673
214.60/214.63	o 20245275672
214.70/214.71	o 20243034664
214.90/214.96	o 20240793655
215.10/215.10	o 20240793654
215.20/215.20	o 20238552645
215.30/215.31	o 20236311636
215.40/215.40	o 20234070629
215.40/215.47	o 20234070628
215.51/215.54	o 20234070627
215.51/215.60	o 20231829618
215.70/215.71	o 20231829617
215.80/215.80	o 20231829616
215.80/215.85	o 20231829615
216.00/216.03	o 20231829614
216.00/216.08	o 20231829613
216.10/216.13	o 20231829612
216.30/216.30	o 20229588603
216.40/216.48	o 20227347596
216.50/216.54	o 20227347595
216.50/216.61	o 20227347594
216.80/216.80	o 20225106586
216.80/216.86	o 20225106585
217.10/217.14	o 20222865580
217.10/217.19	o 20222865579
217.20/217.25	o 20222865578
217.30/217.31	o 20222865577
217.30/217.37	o 20222865576
217.60/217.64	o 20220624579
217.60/217.70	o 20220624576
217.71/217.76	o 20220624575
217.71/217.81	o 20220624573
217.81/217.87	o 20220624572
217.90/217.95	o 20220624570
218.00/218.03	o 20220624569
218.10/218.11	o 20220624568
218.20/218.21	o 20220624567
218.50/218.58	o 20218383575
218.60/218.67	o 20218383574
218.70/218.74	o 20218383573
218.70/218.80	o 20218383572
218.81/218.85	o 20218383571
218.91/218.93	o 20218383570
219.00/219.00	o 20218383569
219.00/219.07	o 20218383568
219.10/219.13	o 20218383567
219.10/219.19	o 20218383566
219.20/219.25	o 20218383565
219.30/219.31	o 20218383564
219.30/219.36	o 20218383563
219.50/219.50	o 20216142556
219.50/219.56	o 20216142555
219.60/219.65	o 20216142554
219.80/219.83	o 20213901548
219.80/219.88	o 20213901547
219.91/219.94	o 20213901545
220.01/220.08	o 20211660537
220.10/220.14	o 20211660536
220.30/220.32	o 20209419528
220.30/220.37	o 20209419527
220.40/220.47	o 20209419525
220.60/220.64	o 20207178520
220.60/220.70	o 20207178519
220.70/220.75	o 20207178518
220.80/220.80	o 20207178517
220.80/220.85	o 20207178516
220.90/220.96	o 20204937507
221.01/221.03	o 20204937506
221.11/221.15	o 20202696499
221.20/221.21	o 20202696498
221.30/221.30	o 20202696497
221.40/221.43	o 20200455492
221.50/221.51	o 20200455491
221.50/221.56	o 20200455489
221.60/221.61	o 20200455488
221.60/221.67	o 20200455487
221.70/221.79	o 20198214478
221.80/221.89	o 20195973470
221.90/221.95	o 20195973469
222.11/222.18	o 20193732462
222.21/222.24	o 20193732461
222.21/222.29	o 20193732460
222.50/222.53	o 20193732459
222.70/222.78	o 20193732458
222.80/222.83	o 20191491449
222.90/222.90	o 20191491448
223.00/223.09	o 20187009430
223.10/223.16	o 20184768421
223.21/223.24	o 20184768420
223.21/223.30	o 20184768419
223.40/223.41	o 20184768418
223.50/223.55	o 20182527412
223.60/223.60	o 20182527411
223.60/223.69	o 20182527410
223.70/223.72	o 20182527409
223.80/223.81	o 20182527408
223.80/223.88	o 20182527407
224.09/224.14	o 20182527405
224.19/224.27	o 20182527404
224.41/224.43	o 20182527403
224.49/224.53	o 20182527402
224.59/224.65	s OPTIMUM FOUND
224.59/224.65	v -x1 x2 -x3 -x4 x5 -x6 -x7 x8 -x9 -x10 x11 -x12 x13 -x14 x15 -x16 -x17 x18 x19 -x20 -x21 x22 x23 -x24 x25 -x26 x27 -x28 -x29 x30 -x31 x32 -x33 -x34 x35 -x36 -x37 x38 x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 x80 -x81 -x82 x83 -x84 -x85 x86 x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 x132 -x133 -x134 x135 x136 -x137 x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 x153 -x154 -x155 x156 -x157 -x158 x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 x258 -x259 x260 -x261 -x262 -x263 x264 -x265 -x266 x267 x268 -x269 x270 x271 -x272 x273 x274 -x275 -x276 -x277 -x278 x279 -x280 x281 x282 -x283 -x284 x285 -x286 -x287 x288 x289 -x290 x291 -x292 x293 -x294 -x295 -x296 x297 x298 -x299 -x300 x301 -x302 -x303 x304 x305 -x306 -x307 x308 x309 -x310 -x311 -x312 x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 x323 x324 -x325 x326 -x327 -x328 x329 -x330 -x331 x332 x333 -x334 x335 x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 -x347 -x348 x349 -x350 x351 -x352 x353 -x354 -x355 x356 -x357 x358 -x359 -x360 x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 x388 x389 x390 x391 x392 x393 -x394 -x395 -x396 -x397 x398 -x399 x400 -x401 -x402 x403 x404 x405 x406 x407 x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 x424 x425 -x426 -x427 -x428 x429 -x430 x431 x432 x433 x434 x435 x436 -x437 x438 x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 x487 -x488 x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 x509 x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 x534 -x535 x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 x548 -x549 -x550 x551 -x552 -x553 x554 -x555 x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 x574 -x575 x576 -x577 -x578 -x579 -x580 x581 x582 -x583 x584 -x585 -x586 x587 -x588 x589 -x590 x591 -x592 x593 x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 x625 -x626 -x627 x628 -x629 -x630 -x631 x632 -x633 -x634 x635 x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 x650 -x651 -x652 -x653 x654 -x655 x656 -x657 x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 x670 -x671 x672 -x673 -x674 x675 x676 -x677 x678 -x679 x680 -x681 -x682 -x683 x684 -x685 -x686 x687 x688 -x689 -x690 x691 -x692 x693 x694 -x695 x696 -x697 -x698 x699 -x700 x701 -x702 -x703 -x704 x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 x731 -x732 x733 -x734 -x735 x736 -x737 x738 -x739 x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 -x762 x763 x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 x773 x774 x775 -x776 x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 x786 x787 x788 -x789 x790 -x791 x792 -x793 -x794 -x795 x796 -x797 x798 x799 -x800 -x801 -x802 -x803 x804 -x805 x806 -x807 x808 x809 -x810 -x811 -x812 x813 -x814 x815 -x816 -x817 x818 -x819 -x820 x821 -x822 x823 x824 -x825 x826 x827 -x828 -x829 x830 -x831 x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 x840 -x841 -x842 x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 x853 -x854 x855 x856 -x857 -x858 x859 -x860 x861 -x862 -x863 x864 -x865 -x866 x867 -x868 x869 -x870 x871 x872 x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 x882 -x883 -x884 x885 -x886 x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 -x904 -x905 x906 -x907 -x908 -x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 x920 x921 -x922 -x923 x924 -x925 x926 -x927 -x928 x929 x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 x938 -x939 x940 -x941 -x942 x943 -x944 -x945 -x946 x947 x948 -x949 -x950 -x951 -x952 -x953 x954 -x955 x956 -x957 -x958 -x959 -x960 -x961 x962 x963 -x964 -x965 -x966 -x967 -x968 x969 -x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 x978 x979 -x980 x981 -x982 x983 -x984 x985 -x986 x987 -x988 x989 x990 -x991 -x992 x993 -x994 -x995 -x996 x997 -x998 -x999 x1000 x1001 -x1002 -x1003 x1004 -x1005 x1006 x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 x1016 -x1017 -x1018 x1019 -x1020 x1021 -x1022 x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 x1031 -x1032 -x1033 x1034 -x1035 -x1036 x1037 x1038 -x1039 -x1040 x1041 x1042 -x1043 -x1044 x1045 -x1046 x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 x1145 x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 -x1154 x1155 x1156 x1157 -x1158 -x1159 -x1160 -x1161 x1162 x1163 -x1164 x1165 -x1166 -x1167 -x1168 -x1169 x1170 x1171 x1172 x1173 x1174 -x1175 -x1176 x1177 -x1178 -x1179 x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 x1197 -x1198 -x1199 -x1200 x1201 -x1202 -x1203 x1204 -x1205 -x1206 x1207 -x1208 -x1209 x1210 x1211 -x1212 -x1213 -x1214 x1215 -x1216 x1217 -x1218 x1219 -x1220 x1221 -x1222 x1223 -x1224 -x1225 -x1226 x1227 -x1228 -x1229 x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241 x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 x1249 x1250 -x1251 -x1252 x1253 -x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 x1286 x1287 -x1288 x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 -x1300 -x1301 -x1302 -x1303 x1304 x1305 -x1306 -x1307 x1308 -x1309 -x1310 -x1311 -x1312 -x1313 x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 -x1334 -x1335 x1336 x1337 -x1338 x1339 -x1340 x1341 -x1342 x1343 -x1344 -x1345 x1346 -x1347 -x1348 x1349 x1350 -x1351 x1352 -x1353 x1354 -x1355 -x1356 x1357 x1358 x1359 x1360 -x1361 -x1362 -x1363 x1364 -x1365 x1366 x1367 x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 x1376 -x1377 -x1378 -x1379 x1380 x1381 -x1382 x1383 x1384 -x1385 -x1386 x1387 -x1388 -x1389 x1390 -x1391 x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 x1414 -x1415 -x1416 -x1417 x1418 -x1419 -x1420 -x1421 x1422 -x1423 -x1424 -x1425 -x1426 x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 -x1442 x1443 x1444 x1445 -x1446 x1447 -x1448 -x1449 x1450 -x1451 x1452 -x1453 x1454 -x1455 x1456 -x1457 x1458 -x1459 x1460 x1461 -x1462 x1463 -x1464 -x1465 x1466 -x1467 x1468 -x1469 x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 x1493 -x1494 x1495 -x1496 x1497 x1498 -x1499 x1500 -x1501 x1502 -x1503 x1504 x1505 -x1506 -x1507 x1508 -x1509 x1510 -x1511 -x1512 -x1513 x1514 -x1515 x1516 -x1517 -x1518 x1519 -x1520 -x1521 x1522 -x1523 x1524 -x1525 -x1526 x1527 -x1528 -x1529 x1530 x1531 -x1532 x1533 -x1534 x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 x1542 -x1543 -x1544 x1545 -x1546 x1547 -x1548 -x1549 -x1550 -x1551 -x1552 x1553 -x1554 -x1555 x1556 -x1557 x1558 -x1559 -x1560 -x1561 -x1562 x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 x1587 -x1588 x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x1610 x1611 x1612 x1613 -x1614 -x1615 -x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 x1630 -x1631 -x1632 x1633 -x1634 x1635 -x1636 -x1637 -x1638 x1639 x1640 x1641 x1642 x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 x1680 -x1681 x1682 x1683 x1684 x1685 x1686 x1687 -x1688 x1689 x1690 -x1691 -x1692 -x1693 -x1694 x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 x1710 -x1711 x1712 -x1713 x1714 x1715 -x1716 -x1717 x1718 -x1719 x1720 x1721 x1722 -x1723 x1724 -x1725 x1726 x1727 -x1728 x1729 -x1730 -x1731 x1732 -x1733 x1734 -x1735 x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 x1744 x1745 -x1746 x1747 x1748 -x1749 x1750 -x1751 x1752 -x1753 -x1754 x1755 x1756 -x1757 -x1758 -x1759 -x1760 x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 x1776 x1777 -x1778 x1779 -x1780 -x1781 x1782 x1783 -x1784 x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 x1793 -x1794 -x1795 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 x1818 x1819 x1820 -x1821 x1822 x1823 -x1824 x1825 -x1826 -x1827 x1828 -x1829 x1830 x1831 -x1832 x1833 -x1834 x1835 -x1836 -x1837 -x1838 x1839 x1840 -x1841 x1842 x1843 x1844 x1845 x1846 -x1847 x1848 -x1849 x1850 -x1851 -x1852 x1853 -x1854 -x1855 x1856 x1857 -x1858 -x1859 x1860 -x1861 x1862 -x1863 -x1864 x1865 -x1866 x1867 x1868 x1869 x1870 x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 x1878 x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 x1895 -x1896 x1897 x1898 -x1899 x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x1910 -x1911 x1912 -x1913 -x1914 -x1915 x1916 -x1917 x1918 x1919 -x1920 -x1921 x1922 -x1923 x1924 x1925 -x1926 -x1927 x1928 -x1929 x1930 -x1931 x1932 -x1933 x1934 -x1935 x1936 -x1937 x1938 -x1939 -x1940 x1941 x1942 -x1943 x1944 -x1945 x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 x1954 -x1955 x1956 -x1957 x1958 -x1959 x1960 -x1961 -x1962 x1963 -x1964 x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 x1974 x1975 -x1976 -x1977 -x1978 -x1979 x1980 -x1981 -x1982 -x1983 -x1984 x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 x1992 x1993 -x1994 -x1995 x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 x2003 x2004 -x2005 x2006 x2007 -x2008 -x2009 x2010 -x2011 x2012 x2013 -x2014 x2015 -x2016 x2017 -x2018 x2019 x2020 -x2021 -x2022 -x2023 x2024 -x2025 x2026 -x2027 x2028 x2029 -x2030 -x2031 -x2032 -x2033 x2034 x2035 -x2036 x2037 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x2050 x2051 x2052 -x2053 -x2054 x2055 x2056 -x2057 x2058 x2059 -x2060 -x2061 x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 x2070 -x2071 -x2072 x2073 -x2074 -x2075 x2076 -x2077 x2078 -x2079 x2080 -x2081 x2082 x2083 x2084 -x2085 x2086 x2087 -x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 x2096 -x2097 -x2098 -x2099 -x2100 -x2101 x2102 -x2103 -x2104 x2105 -x2106 x2107 x2108 -x2109 -x2110 x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 x2120 -x2121 -x2122 -x2123 -x2124 -x2125 x2126 -x2127 x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 x2135 -x2136 x2137 -x2138 x2139 -x2140 -x2141 -x2142 -x2143 -x2144 x2145 -x2146 -x2147 x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 x2156 -x2157 x2158 x2159 -x2160 -x2161 x2162 x2163 x2164 x2165 x2166 x2167 -x2168 x2169 -x2170 -x2171 -x2172 -x2173 x2174 -x2175 x2176 x2177 -x2178 -x2179 x2180 x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 x2192 x2193 -x2194 x2195 -x2196 x2197 -x2198 x2199 -x2200 x2201 -x2202 -x2203 -x2204 -x2205 -x2206 x2207 x2208 -x2209 x2210 x2211 -x2212 x2213 -x2214 -x2215 x2216 x2217 -x2218 x2219 x2220 -x2221 x2222 -x2223 -x2224 -x2225 x2226 -x2227 x2228 -x2229 -x2230 x2231 x2232 x2233 -x2234 -x2235 -x2236 -x2237 x2238 -x2239 x2240 -x2241 -x2242 -x2243 -x2244 x2245 x2246 -x2247 -x2248 -x2249 -x2250 x2251 -x2252 x2253 -x2254 -x2255 -x2256 -x2257 x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 x2268 -x2269 -x2270 x2271 -x2272 -x2273 -x2274 x2275 -x2276 -x2277 x2278 x2279 -x2280 x2281 -x2282 x2283 x2284 -x2285 x2286 -x2287 -x2288 x2289 -x2290 -x2291 x2292 -x2293 -x2294 -x2295 x2296 -x2297 x2298 -x2299 -x2300 x2301 -x2302 -x2303 x2304 x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 x2316 x2317 -x2318 -x2319 -x2320 -x2321 -x2322 x2323 -x2324 x2325 -x2326 -x2327 -x2328 x2329 x2330 -x2331 -x2332 -x2333 x2334 -x2335 x2336 -x2337 -x2338 -x2339 -x2340 x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 x2348 -x2349 -x2350 -x2351 x2352 -x2353 x2354 -x2355 x2356 -x2357 -x2358 x2359 x2360 x2361 x2362 x2363 x2364 -x2365 -x2366 x2367 x2368 -x2369 x2370 -x2371 -x2372 x2373 x2374 x2375 -x2376 x2377 -x2378 -x2379 -x2380 -x2381 x2382 x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 -x2402 -x2403 x2404 x2405 x2406 -x2407 x2408 -x2409 x2410 -x2411 x2412 -x2413 x2414 -x2415 -x2416 x2417 x2418 -x2419 x2420 x2421 -x2422 -x2423 -x2424 -x2425 -x2426 x2427 x2428 x2429 x2430 -x2431 -x2432 -x2433 x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 -x2442 -x2443 x2444 x2445 x2446 -x2447 x2448 x2449 x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 x2459 -x2460 x2461 x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 x2470 -x2471 -x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 -x2494 x2495 x2496 -x2497 -x2498 x2499 x2500 -x2501 -x2502 -x2503 x2504 -x2505 -x2506 -x2507 x2508 -x2509 -x2510 -x2511 x2512 x2513 -x2514 -x2515 x2516 -x2517 -x2518 -x2519 x2520 -x2521 x2522 -x2523 -x2524 x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 x2532 x2533 -x2534 -x2535 x2536 x2537 -x2538 x2539 -x2540 -x2541 -x2542 -x2543 x2544 -x2545 x2546 -x2547 -x2548 -x2549 x2550 -x2551 -x2552 x2553 -x2554 -x2555 x2556 -x2557 -x2558 x2559 -x2560 x2561 -x2562 -x2563 x2564 -x2565 x2566 -x2567 x2568 -x2569 -x2570 -x2571 x2572 -x2573 -x2574 -x2575 x2576 x2577 -x2578 -x2579 x2580 -x2581 x2582 -x2583 x2584 -x2585 -x2586 -x2587 x2588 x2589 -x2590 -x2591 -x2592 x2593 x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 x2601 x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 x2613 -x2614 x2615 -x2616 -x2617 x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 x2625 -x2626 -x2627 x2628 -x2629 x2630 x2631 x2632 x2633 -x2634 -x2635 -x2636 -x2637 -x2638 x2639 -x2640 -x2641 -x2642 x2643 -x2644 -x2645 -x2646 -x2647 x2648 -x2649 x2650 -x2651 -x2652 -x2653 -x2654 -x2655 x2656 -x2657 -x2658 -x2659 x2660 -x2661 -x2662 x2663 -x2664 x2665 -x2666 x2667 -x2668 x2669 -x2670 x2671 -x2672 x2673 -x2674 -x2675 x2676 -x2677 x2678 x2679 -x2680 x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 x2688 -x2689 x2690 -x2691 x2692 x2693 -x2694 -x2695 x2696 -x2697 -x2698 x2699 -x2700 -x2701 -x2702 -x2703 x2704 -x2705 -x2706 -x2707 -x2708 -x2709 x2710 -x2711 -x2712 -x2713 x2714 -x2715 x2716 -x2717 x2718 -x2719 -x2720 -x2721 x2722 -x2723 x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 x2740 -x2741 -x2742 -x2743 x2744 -x2745 x2746 -x2747 x2748 -x2749 x2750 x2751 x2752 x2753 -x2754 -x2755 -x2756 x2757 -x2758 x2759 -x2760 x2761 -x2762 x2763 x2764 -x2765 x2766 -x2767 x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 x2778 -x2779 -x2780 x2781 -x2782 -x2783 -x2784 -x2785 -x2786 x2787 -x2788 x2789 x2790 x2791 x2792 x2793 x2794 x2795 -x2796 x2797 -x2798 -x2799 x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 x2807 x2808 -x2809 -x2810 x2811 -x2812 x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 x2823 x2824 x2825 -x2826 -x2827 -x2828 x2829 x2830 -x2831 -x2832 x2833 -x2834 x2835 -x2836 x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 x2862 -x2863 x2864 -x2865 x2866 -x2867 -x2868 x2869 -x2870 x2871 -x2872 x2873 x2874 x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 x3595 -x3596 -x3597 x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 x4188 x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 x4535 x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 x4821 x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 x4848 x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 x4923 x4924 x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 x5181 x5182 x5183 x5184 x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 x5486 x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 x5498 -x5499 -x5500 x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 x5524 -x5525 -x5526 x5527 x5528 x5529 x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 x5537 -x5538 -x5539 x5540 x5541 -x5542 x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 x5600 x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 x5615 x5616 -x5617 x5618 -x5619 -x5620 -x5621 x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 x5630 x5631 -x5632 x5633 -x5634 x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 x5654 x5655 x5656 -x5657 x5658 -x5659 -x5660 -x5661 -x5662 x5663 x5664 x5665 -x5666 -x5667 -x5668 -x5669 x5670 x5671 x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 x5687 -x5688 -x5689 -x5690 -x5691 -x5692 x5693 -x5694 -x5695 x5696 x5697 -x5698 -x5699 -x5700 -x5701 x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 x5711 -x5712 -x5713 -x5714 -x5715 -x5716 x5717 -x5718 -x5719 -x5720 x5721 -x5722 x5723 -x5724 -x5725 -x5726 x5727 -x5728 -x5729 -x5730 x5731 x5732 x5733 x5734 x5735 x5736 x5737 -x5738 -x5739 -x5740 x5741 x5742 x5743 x5744 x5745 x5746 -x5747 -x5748 -x5749 x5750 -x5751 x5752 x5753 x5754 x5755 x5756 x5757 x5758 x5759 x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 x5768 -x5769 -x5770 x5771 x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 x5780 -x5781 x5782 -x5783 -x5784 -x5785 x5786 -x5787 -x5788 -x5789 x5790 x5791 x5792 -x5793 -x5794 -x5795 x5796 -x5797 -x5798 x5799 -x5800 -x5801 x5802 -x5803 -x5804 x5805 -x5806 x5807 x5808 -x5809 x5810 x5811 -x5812 x5813 x5814 -x5815 -x5816 x5817 x5818 -x5819 -x5820 -x5821 x5822 x5823 -x5824 -x5825 -x5826 x5827 x5828 x5829 x5830 -x5831 x5832 x5833 -x5834 x5835 -x5836 x5837 x5838 x5839 x5840 x5841 x5842 -x5843 -x5844 -x5845 -x5846 x5847 x5848 x5849 x5850 x5851 x5852 x5853 -x5854 -x5855 x5856 x5857 x5858 -x5859 -x5860 -x5861 -x5862 x5863 x5864 -x5865 -x5866 -x5867 x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 x5875 -x5876 -x5877 -x5878 x5879 x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 x5887 -x5888 x5889 -x5890 -x5891 -x5892 x5893 -x5894 x5895 -x5896 -x5897 -x5898 x5899 -x5900 -x5901 -x5902 x5903 x5904 x5905 -x5906 x5907 x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 x5915 x5916 -x5917 x5918 x5919 -x5920 -x5921 x5922 x5923 x5924 x5925 -x5926 x5927 x5928 x5929 x5930 x5931 x5932 x5933 x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 x5941 x5942 x5943 -x5944 -x5945 x5946 x5947 x5948 x5949 -x5950 x5951 -x5952 x5953 -x5954 -x5955 -x5956 -x5957 x5958 x5959 x5960 x5961 -x5962 -x5963 -x5964 x5965 -x5966 x5967 -x5968 x5969 -x5970 -x5971 x5972 x5973 -x5974 x5975 -x5976 x5977 x5978 x5979 x5980 x5981 x5982 x5983 -x5984 -x5985 -x5986 -x5987 -x5988 x5989 x5990 x5991 x5992 -x5993 x5994 x5995 x5996 x5997 -x5998 -x5999 -x6000 x6001 -x6002 x6003 x6004 -x6005 -x6006 x6007 x6008 x6009 x6010 -x6011 -x6012 x6013 x6014 x6015 -x6016 -x6017 -x6018 -x6019 x6020 -x6021 -x6022 x6023 x6024 -x6025 x6026 -x6027 x6028 x6029 -x6030 -x6031 x6032 -x6033 -x6034 -x6035 x6036 -x6037 x6038 x6039 -x6040 x6041 -x6042 x6043 x6044 -x6045 x6046 -x6047 -x6048 -x6049 -x6050 -x6051 x6052 x6053 x6054 -x6055 -x6056 -x6057 x6058 x6059 -x6060 -x6061 x6062 -x6063 x6064 -x6065 -x6066 x6067 -x6068 -x6069 x6070 x6071 -x6072 x6073 -x6074 x6075 x6076 x6077 x6078 -x6079 -x6080 x6081 x6082 x6083 x6084 x6085 x6086 x6087 x6088 x6089 -x6090 x6091 x6092 x6093 -x6094 x6095 x6096 x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 x6113 x6114 -x6115 -x6116 -x6117 x6118 x6119 -x6120 -x6121 x6122 -x6123 -x6124 x6125 -x6126 x6127 x6128 x6129 x6130 x6131 -x6132 x6133 -x6134 x6135 -x6136 -x6137 -x6138 -x6139 -x6140 x6141 x6142 x6143 -x6144 -x6145 -x6146 x6147 -x6148 x6149 -x6150 x6151 x6152 x6153 -x6154 x6155 -x6156 -x6157 x6158 x6159 x6160 x6161 -x6162 x6163 -x6164 -x6165 x6166 -x6167 x6168 -x6169 x6170 -x6171 -x6172 -x6173 x6174 x6175 x6176 x6177 x6178 x6179 x6180 x6181 -x6182 -x6183 -x6184 x6185 x6186 x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 x6197 x6198 x6199 x6200 x6201 x6202 -x6203 -x6204 -x6205 -x6206 x6207 -x6208 x6209 -x6210 x6211 -x6212 -x6213 -x6214 -x6215 x6216 x6217 -x6218 x6219 -x6220 -x6221 x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 x6238 -x6239 -x6240 -x6241 -x6242 -x6243 x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 x6253 -x6254 -x6255 -x6256 -x6257 x6258 -x6259 -x6260 -x6261 -x6262 x6263 -x6264 -x6265 -x6266 -x6267 x6268 x6269 x6270 -x6271 -x6272 -x6273 -x6274 x6275 -x6276 -x6277 x6278 x6279 x6280 -x6281 -x6282 -x6283 -x6284 -x6285 x6286 x6287 -x6288 -x6289 -x6290 -x6291 -x6292 x6293 -x6294 x6295 x6296 -x6297 x6298 x6299 -x6300 x6301 x6302 x6303 -x6304 x6305 x6306 x6307 -x6308 -x6309 x6310 x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 x6320 x6321 x6322 x6323 -x6324 -x6325 -x6326 x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 x6338 -x6339 -x6340 x6341 x6342 -x6343 -x6344 -x6345 -x6346 x6347 -x6348 -x6349 -x6350 x6351 x6352 x6353 x6354 x6355 -x6356 x6357 x6358 -x6359 -x6360 -x6361 -x6362 -x6363 x6364 x6365 x6366 x6367 x6368 x6369 -x6370 -x6371 x6372 x6373 -x6374 -x6375 -x6376 -x6377 -x6378 x6379 x6380 -x6381 -x6382 x6383 -x6384 -x6385 -x6386 x6387 -x6388 -x6389 x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 x6409 -x6410 -x6411 -x6412 -x6413 -x6414 x6415 -x6416 x6417

Verifier Data 

OK	20182527402

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3467690-1307426744/watcher-3467690-1307426744 -o /tmp/evaluation-result-3467690-1307426744/solver-3467690-1307426744 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3467690-1307426744.opb --verbosity=0 --format=opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.03 2.00 2/489 21386
/proc/meminfo: memFree=26889760/32951124 swapFree=63649284/67111528
[pid=21386] ppid=21384 vsize=8696 CPUtime=0.01 cores=1,3,5,7
/proc/21386/stat : 21386 (minisatid-gmp) R 21384 21386 20088 0 -1 4202496 757 0 0 0 1 0 0 0 21 0 1 0 854272940 8904704 667 33554432000 4194304 6736272 140737326716336 18446744073709551615 4292738 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21386/statm: 2174 667 248 621 0 1544 0

[startup+0.0364521 s]
/proc/loadavg: 2.00 2.03 2.00 2/489 21386
/proc/meminfo: memFree=26889760/32951124 swapFree=63649284/67111528
[pid=21386] ppid=21384 vsize=10628 CPUtime=0.03 cores=1,3,5,7
/proc/21386/stat : 21386 (minisatid-gmp) R 21384 21386 20088 0 -1 4202496 1219 0 0 0 3 0 0 0 21 0 1 0 854272940 10883072 1129 33554432000 4194304 6736272 140737326716336 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21386/statm: 2657 1129 248 621 0 2027 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10628

[startup+0.100444 s]
/proc/loadavg: 2.00 2.03 2.00 2/489 21386
/proc/meminfo: memFree=26889760/32951124 swapFree=63649284/67111528
[pid=21386] ppid=21384 vsize=15428 CPUtime=0.09 cores=1,3,5,7
/proc/21386/stat : 21386 (minisatid-gmp) R 21384 21386 20088 0 -1 4202496 2426 0 0 0 9 0 0 0 21 0 1 0 854272940 15798272 2336 33554432000 4194304 6736272 140737326716336 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21386/statm: 3857 2337 248 621 0 3227 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15428

[startup+0.300411 s]
/proc/loadavg: 2.00 2.03 2.00 2/489 21386
/proc/meminfo: memFree=26889760/32951124 swapFree=63649284/67111528
[pid=21386] ppid=21384 vsize=32756 CPUtime=0.29 cores=1,3,5,7
/proc/21386/stat : 21386 (minisatid-gmp) R 21384 21386 20088 0 -1 4202496 7037 0 0 0 29 0 0 0 22 0 1 0 854272940 33542144 6666 33554432000 4194304 6736272 140737326716336 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21386/statm: 8189 6666 265 621 0 7559 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32756

[startup+0.700344 s]
/proc/loadavg: 2.00 2.03 2.00 2/489 21386
/proc/meminfo: memFree=26889760/32951124 swapFree=63649284/67111528
[pid=21386] ppid=21384 vsize=76784 CPUtime=0.69 cores=1,3,5,7
/proc/21386/stat : 21386 (minisatid-gmp) R 21384 21386 20088 0 -1 4202496 18042 0 0 0 68 1 0 0 24 0 1 0 854272940 78626816 17605 33554432000 4194304 6736272 140737326716336 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21386/statm: 19196 17607 266 621 0 18566 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76784

[startup+1.50021 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 21387
/proc/meminfo: memFree=26811052/32951124 swapFree=63649284/67111528
[pid=21386] ppid=21384 vsize=80808 CPUtime=1.49 cores=1,3,5,7
/proc/21386/stat : 21386 (minisatid-gmp) R 21384 21386 20088 0 -1 4202496 20168 0 0 0 148 1 0 0 25 0 1 0 854272940 82747392 19725 33554432000 4194304 6736272 140737326716336 18446744073709551615 5817998 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21386/statm: 20202 19725 284 621 0 19572 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 80808

[startup+3.10094 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 21387
/proc/meminfo: memFree=26809936/32951124 swapFree=63649284/67111528
[pid=21386] ppid=21384 vsize=80812 CPUtime=3.09 cores=1,3,5,7
/proc/21386/stat : 21386 (minisatid-gmp) R 21384 21386 20088 0 -1 4202496 20188 0 0 0 308 1 0 0 25 0 1 0 854272940 82751488 19745 33554432000 4194304 6736272 140737326716336 18446744073709551615 5806424 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21386/statm: 20203 19745 286 621 0 19573 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 80812

[startup+6.3004 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 21388
/proc/meminfo: memFree=26809704/32951124 swapFree=63649284/67111528
[pid=21386] ppid=21384 vsize=80812 CPUtime=6.3 cores=1,3,5,7
/proc/21386/stat : 21386 (minisatid-gmp) R 21384 21386 20088 0 -1 4202496 20189 0 0 0 628 2 0 0 25 0 1 0 854272940 82751488 19746 33554432000 4194304 6736272 140737326716336 18446744073709551615 4490208 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21386/statm: 20203 19746 286 621 0 19573 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 80812

[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 21388
/proc/meminfo: memFree=26808532/32951124 swapFree=63649284/67111528
[pid=21386] ppid=21384 vsize=81220 CPUtime=12.69 cores=1,3,5,7
/proc/21386/stat : 21386 (minisatid-gmp) R 21384 21386 20088 0 -1 4202496 20233 0 0 0 1267 2 0 0 25 0 1 0 854272940 83169280 19790 33554432000 4194304 6736272 140737326716336 18446744073709551615 4734240 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21386/statm: 20305 19790 286 621 0 19675 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 81220

[startup+25.5002 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 21388
/proc/meminfo: memFree=26808676/32951124 swapFree=63649284/67111528
[pid=21386] ppid=21384 vsize=81220 CPUtime=25.49 cores=1,3,5,7
/proc/21386/stat : 21386 (minisatid-gmp) R 21384 21386 20088 0 -1 4202496 20287 0 0 0 2547 2 0 0 25 0 1 0 854272940 83169280 19841 33554432000 4194304 6736272 140737326716336 18446744073709551615 4505966 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21386/statm: 20305 19841 286 621 0 19675 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 81220

[startup+51.1009 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 21389
/proc/meminfo: memFree=26808296/32951124 swapFree=63649284/67111528
[pid=21386] ppid=21384 vsize=82240 CPUtime=51.09 cores=1,3,5,7
/proc/21386/stat : 21386 (minisatid-gmp) R 21384 21386 20088 0 -1 4202496 20425 0 0 0 5107 2 0 0 25 0 1 0 854272940 84213760 19976 33554432000 4194304 6736272 140737326716336 18446744073709551615 4535214 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21386/statm: 20560 19976 286 621 0 19930 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 82240

[startup+102.318 s]
/proc/loadavg: 2.09 2.05 2.01 3/490 21390
/proc/meminfo: memFree=26803816/32951124 swapFree=63649284/67111528
[pid=21386] ppid=21384 vsize=86576 CPUtime=102.31 cores=1,3,5,7
/proc/21386/stat : 21386 (minisatid-gmp) R 21384 21386 20088 0 -1 4202496 21281 0 0 0 10229 2 0 0 25 0 1 0 854272940 88653824 20828 33554432000 4194304 6736272 140737326716336 18446744073709551615 5803339 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21386/statm: 21644 20828 286 621 0 21014 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 86576

[startup+162.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/490 21392
/proc/meminfo: memFree=26803688/32951124 swapFree=63649284/67111528
[pid=21386] ppid=21384 vsize=86576 CPUtime=162.29 cores=1,3,5,7
/proc/21386/stat : 21386 (minisatid-gmp) R 21384 21386 20088 0 -1 4202496 21328 0 0 0 16227 2 0 0 25 0 1 0 854272940 88653824 20875 33554432000 4194304 6736272 140737326716336 18446744073709551615 5806437 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21386/statm: 21644 20875 286 621 0 21014 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 86576

[startup+222.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/490 21393
/proc/meminfo: memFree=26804132/32951124 swapFree=63649284/67111528
[pid=21386] ppid=21384 vsize=86576 CPUtime=222.3 cores=1,3,5,7
/proc/21386/stat : 21386 (minisatid-gmp) R 21384 21386 20088 0 -1 4202496 21328 0 0 0 22227 3 0 0 25 0 1 0 854272940 88653824 20875 33554432000 4194304 6736272 140737326716336 18446744073709551615 5148165 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21386/statm: 21644 20875 286 621 0 21014 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 86576

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

[startup+223.901 s]
/proc/loadavg: 2.02 2.04 2.00 3/490 21393
/proc/meminfo: memFree=26804132/32951124 swapFree=63649284/67111528
[pid=21386] ppid=21384 vsize=86576 CPUtime=223.89 cores=1,3,5,7
/proc/21386/stat : 21386 (minisatid-gmp) R 21384 21386 20088 0 -1 4202496 21328 0 0 0 22386 3 0 0 25 0 1 0 854272940 88653824 20875 33554432000 4194304 6736272 140737326716336 18446744073709551615 5146800 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21386/statm: 21644 20875 286 621 0 21014 0
Current children cumulated CPU time (s) 223.89
Current children cumulated vsize (KiB) 86576

[startup+224.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/490 21393
/proc/meminfo: memFree=26804008/32951124 swapFree=63649284/67111528
[pid=21386] ppid=21384 vsize=86576 CPUtime=224.31 cores=1,3,5,7
/proc/21386/stat : 21386 (minisatid-gmp) R 21384 21386 20088 0 -1 4202496 21328 0 0 0 22428 3 0 0 25 0 1 0 854272940 88653824 20875 33554432000 4194304 6736272 140737326716336 18446744073709551615 5219634 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21386/statm: 21644 20875 286 621 0 21014 0
Current children cumulated CPU time (s) 224.31
Current children cumulated vsize (KiB) 86576

[startup+224.501 s]
/proc/loadavg: 2.02 2.04 2.00 3/490 21393
/proc/meminfo: memFree=26804008/32951124 swapFree=63649284/67111528
[pid=21386] ppid=21384 vsize=86576 CPUtime=224.49 cores=1,3,5,7
/proc/21386/stat : 21386 (minisatid-gmp) R 21384 21386 20088 0 -1 4202496 21328 0 0 0 22446 3 0 0 25 0 1 0 854272940 88653824 20875 33554432000 4194304 6736272 140737326716336 18446744073709551615 5803157 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21386/statm: 21644 20875 286 621 0 21014 0
Current children cumulated CPU time (s) 224.49
Current children cumulated vsize (KiB) 86576

[startup+224.601 s]
/proc/loadavg: 2.02 2.04 2.00 3/490 21393
/proc/meminfo: memFree=26804008/32951124 swapFree=63649284/67111528
[pid=21386] ppid=21384 vsize=86576 CPUtime=224.59 cores=1,3,5,7
/proc/21386/stat : 21386 (minisatid-gmp) R 21384 21386 20088 0 -1 4202496 21328 0 0 0 22456 3 0 0 25 0 1 0 854272940 88653824 20875 33554432000 4194304 6736272 140737326716336 18446744073709551615 5150748 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21386/statm: 21644 20875 286 621 0 21014 0
Current children cumulated CPU time (s) 224.59
Current children cumulated vsize (KiB) 86576

Child status: 10
Real time (s): 224.664
CPU time (s): 224.665
CPU user time (s): 224.626
CPU system time (s): 0.038994
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 86576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 224.626
system time used= 0.038994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21333
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= 14
involuntary context switches= 271

runsolver used 1.15382 second user time and 2.53961 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-07 08:05:44
IDJOB=3467690
IDBENCH=72300
IDSOLVER=1957
FILE ID=node130/3467690-1307426744
RUNJOBID= node130-1307417009-20468
PBS_JOBID= 13514212
Free space on /tmp= 73980 MiB

SOLVER NAME= MinisatID 2.4.8-gmp
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randec6fe1.cudf.trendy.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3467690-1307426744/watcher-3467690-1307426744 -o /tmp/evaluation-result-3467690-1307426744/solver-3467690-1307426744 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3467690-1307426744.opb --verbosity=0 --format=opb 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 2a003c66fa741dfb4de1327964502c2e
RANDOM SEED=273085088

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26889916 kB
Buffers:        318280 kB
Cached:         584508 kB
SwapCached:       9700 kB
Active:        5324384 kB
Inactive:       448544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26889916 kB
SwapTotal:    67111528 kB
SwapFree:     63649284 kB
Dirty:            3928 kB
Writeback:           0 kB
AnonPages:     4868580 kB
Mapped:          31840 kB
Slab:           164232 kB
PageTables:      53832 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145180540 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73976 MiB
End job on node130 at 2011-06-07 08:09:29