Trace number 3467685

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-gmpOPT25345912719 733.636 733.612

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-randb54299.cudf.trendy.opb
MD5SUMa28eb4bd9bb6fe4f9f9bc58539a199f7
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25345912719
Best CPU time to get the best result obtained on this benchmark2.75158
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6550
Total number of constraints27373
Number of constraints which are clauses27102
Number of constraints which are cardinality constraints (but not clauses)271
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 3066
Biggest coefficient in the objective function 3616805375
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 1996471855532
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 3616805375
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 1996471855532
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.01	>>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true.
2.31/2.39	o 1121657349352
2.49/2.52	o 1118040543977
2.59/2.60	o 1114423738602
2.69/2.70	o 1110806933227
2.79/2.83	o 1107190127852
2.89/2.94	o 1103575678702
2.99/3.01	o 1099958873327
3.09/3.11	o 1096342067952
3.09/3.18	o 1092725262577
3.19/3.29	o 1089108457202
3.41/3.49	o 1085494008052
3.49/3.57	o 1081877202677
3.79/3.80	o 1078262753527
3.79/3.86	o 1074645948152
3.89/3.92	o 1071029142777
3.89/3.98	o 1067412337402
4.09/4.10	o 1063795532027
4.19/4.22	o 1060178726652
4.19/4.28	o 1056561921277
4.29/4.35	o 1052945115902
4.59/4.66	o 1049328310527
4.79/4.85	o 1045711505152
5.19/5.21	o 1042094699777
5.29/5.34	o 1038477894402
5.39/5.44	o 1034865801480
5.50/5.52	o 1031248996105
5.69/5.75	o 1027632190730
5.79/5.83	o 1024015385355
5.89/5.93	o 1020398579980
5.99/6.01	o 1016781774605
6.09/6.13	o 1013164969230
6.19/6.22	o 1009548163855
6.29/6.30	o 1005931358480
6.60/6.70	o 1002314553105
6.71/6.79	o 998697747730
6.79/6.86	o 995080942355
6.89/6.95	o 991464136980
6.99/7.05	o 987847331605
7.09/7.14	o 984230526230
7.19/7.27	o 980613720855
7.29/7.38	o 976996915480
7.39/7.46	o 973380110105
7.49/7.59	o 969763304730
7.70/7.73	o 966146499355
7.89/7.91	o 962529693980
7.89/7.98	o 958912888605
7.99/8.07	o 955296083230
8.09/8.13	o 951679277855
8.29/8.34	o 948062472480
8.39/8.49	o 944445667105
8.59/8.60	o 940828861730
8.59/8.68	o 937212056355
8.91/8.97	o 933595250980
9.09/9.10	o 929978445605
9.09/9.19	o 919130385705
9.29/9.37	o 915513580330
9.39/9.49	o 911896774955
9.49/9.56	o 908279969580
9.79/9.85	o 904663164205
9.90/9.98	o 901046358830
10.09/10.11	o 897429553455
10.19/10.21	o 893812748080
10.29/10.32	o 886583849780
10.49/10.57	o 882967044405
10.79/10.86	o 879352595255
10.89/10.97	o 875738146105
11.11/11.19	o 872121340730
11.19/11.26	o 868504535355
11.29/11.38	o 864887729980
11.49/11.55	o 861273280831
11.89/11.94	o 857656475456
11.99/12.06	o 854042026306
12.10/12.14	o 850425220931
12.21/12.23	o 846808415556
12.29/12.38	o 843191610181
12.69/12.74	o 839574804806
12.99/13.08	o 835957999431
13.39/13.49	o 832341194056
13.69/13.75	o 828724388681
14.41/14.46	o 825107583306
15.19/15.24	o 821490777932
15.40/15.43	o 817873972557
15.79/15.80	o 814259523407
16.50/16.60	o 810645074257
16.89/16.95	o 807028268882
17.39/17.44	o 803411463507
17.60/17.63	o 799797014357
17.89/17.99	o 796180208982
18.59/18.60	o 796175496535
18.70/18.72	o 796173140311
19.69/19.71	o 796170784086
21.29/21.34	o 796166071636
21.49/21.52	o 792549266261
21.49/21.58	o 788932460886
21.59/21.65	o 785315655511
21.69/21.78	o 781701206362
21.79/21.86	o 770850790237
21.89/21.97	o 767233984862
22.11/22.14	o 763617179487
22.19/22.22	o 760000374112
22.19/22.27	o 756383568737
22.29/22.37	o 756381212512
22.49/22.52	o 749164095338
22.59/22.61	o 745547289963
22.69/22.75	o 741930484588
22.89/22.97	o 741928128364
22.99/23.07	o 738311322989
23.10/23.14	o 734694517614
23.21/23.24	o 731077712239
23.39/23.41	o 727460906864
23.49/23.50	o 723844101489
23.49/23.57	o 720227296114
23.59/23.64	o 716610490740
23.79/23.86	o 716608134516
23.89/23.95	o 712991329141
23.99/24.05	o 709374523766
24.09/24.10	o 705757718391
24.09/24.18	o 702140913016
24.20/24.27	o 698524107641
24.31/24.33	o 694907302266
24.39/24.45	o 694904946041
24.49/24.52	o 691288140666
24.59/24.68	o 687671335291
24.69/24.73	o 684054529916
24.69/24.80	o 680437724541
24.89/24.90	o 676820919166
24.99/25.04	o 673204113791
25.09/25.16	o 669589664641
25.19/25.22	o 665972859266
25.30/25.34	o 662356053891
25.41/25.42	o 658739248516
25.41/25.49	o 655122443141
25.59/25.64	o 655120086916
25.59/25.69	o 651503281541
25.69/25.79	o 651503281540
25.79/25.86	o 647886476165
25.89/25.95	o 644269670790
25.99/26.00	o 640652865415
26.09/26.14	o 637036060040
26.19/26.29	o 637033703815
26.29/26.39	o 637031347590
26.51/26.55	o 633414542215
26.59/26.68	o 629797736840
26.79/26.82	o 629795380615
26.79/26.88	o 626178575240
26.89/26.93	o 622561769865
26.89/26.98	o 618944964490
26.99/27.04	o 615328159115
27.19/27.25	o 611713709965
27.29/27.35	o 611711353741
27.39/27.46	o 608094548366
27.50/27.58	o 604477742991
27.61/27.69	o 600860937616
27.69/27.77	o 597244132241
27.99/28.06	o 593627326866
28.09/28.11	o 590010521491
28.09/28.16	o 586393716116
28.19/28.27	o 586391359891
28.49/28.53	o 582774554516
28.60/28.64	o 579157749141
28.71/28.75	o 579155392916
28.89/28.99	o 579153036691
29.29/29.34	o 575538587542
29.39/29.46	o 571921782167
29.59/29.70	o 568307333017
29.70/29.75	o 568307333016
29.89/29.90	o 564690527641
30.09/30.11	o 561073722266
30.09/30.16	o 557456916891
30.19/30.22	o 553840111516
30.19/30.27	o 550223306141
30.59/30.64	o 550220949916
30.59/30.69	o 546604144541
30.80/30.86	o 546601788316
30.90/30.97	o 542984982941
31.19/31.29	o 539375246241
31.29/31.39	o 535760797091
31.49/31.50	o 532143991716
31.79/31.84	o 528527186341
31.90/31.93	o 524910380966
32.01/32.07	o 521293575592
32.09/32.12	o 517676770217
32.89/32.97	o 514071745969
33.10/33.13	o 510457296819
33.39/33.50	o 499606880701
33.59/33.61	o 499604524476
33.89/33.93	o 499602168251
34.10/34.20	o 499597455801
34.29/34.30	o 499595099576
34.39/34.42	o 499592743354
34.49/34.50	o 495975937979
34.49/34.59	o 492359132604
34.69/34.77	o 488742327229
34.79/34.87	o 481508716479
34.89/34.94	o 477891911104
34.99/35.00	o 474275105729
35.20/35.26	o 470658300354
35.30/35.36	o 467041494979
35.59/35.61	o 463424689604
35.99/36.06	o 459807884229
36.09/36.16	o 456191078854
36.99/37.03	o 452581342162
37.29/37.34	o 448964536787
37.40/37.46	o 445347731412
37.69/37.75	o 441730926037
37.89/37.99	o 441728569812
38.19/38.24	o 441728569811
38.29/38.33	o 438111764436
38.50/38.52	o 438109408211
38.60/38.69	o 438107051986
38.79/38.80	o 438104695761
38.89/38.91	o 434487890386
39.29/39.37	o 427270773224
39.39/39.45	o 423653967849
39.49/39.51	o 420037162475
39.70/39.72	o 412803551725
39.79/39.82	o 409186746350
39.79/39.89	o 409184390125
39.89/39.97	o 405567584750
39.99/40.07	o 405565228525
40.19/40.27	o 401950779375
40.80/40.84	o 401948423150
40.99/41.07	o 398331617775
41.49/41.56	o 394714812400
41.59/41.68	o 391098007025
41.99/42.03	o 387481201650
42.09/42.12	o 383864396275
42.19/42.20	o 380247590900
42.29/42.31	o 376630785525
42.29/42.38	o 373013980150
42.39/42.44	o 369397174775
42.49/42.57	o 369394818550
42.69/42.76	o 365780369400
43.09/43.11	o 362163564025
43.29/43.31	o 358549114875
43.59/43.62	o 358546758650
43.69/43.76	o 354929953275
44.00/44.08	o 351313147900
44.39/44.45	o 351310791675
45.10/45.18	o 344077180925
45.29/45.30	o 340469800451
45.29/45.36	o 336855351301
45.39/45.44	o 333243258376
45.49/45.54	o 329633521676
45.69/45.76	o 329631165451
45.99/46.00	o 326016716301
45.99/46.09	o 322409335826
46.09/46.16	o 322409335825
46.99/47.07	o 322406979600
48.29/48.37	o 318792530450
48.40/48.51	o 318790174225
48.59/48.61	o 318787818001
48.69/48.78	o 311556563477
48.89/48.99	o 307939758102
49.09/49.16	o 304322952727
49.29/49.36	o 297089341977
49.39/49.46	o 293479605277
49.50/49.54	o 293474892827
49.69/49.70	o 289867512352
49.79/49.89	o 286253063203
50.39/50.48	o 286250706978
50.60/50.62	o 286250706977
50.70/50.75	o 282638614057
50.79/50.81	o 282638614056
50.79/50.87	o 282638614055
50.89/50.96	o 282636257830
50.99/51.05	o 279019452455
51.70/51.75	o 279017096230
51.80/51.84	o 279014740005
51.89/51.95	o 271783485481
51.99/52.04	o 268171392556
52.09/52.10	o 268169036331
52.39/52.47	o 264552230956
53.19/53.25	o 257320976431
53.29/53.31	o 250087365681
53.29/53.38	o 250085009456
53.49/53.55	o 246475272757
53.59/53.61	o 246475272756
53.69/53.75	o 242858467381
54.09/54.14	o 239241662006
54.19/54.26	o 239239305781
54.39/54.44	o 239236949556
54.49/54.55	o 235627212856
54.59/54.63	o 232012763706
54.69/54.70	o 228398314556
54.69/54.77	o 224783865406
54.79/54.84	o 221169416256
54.89/54.91	o 217554967106
54.89/55.01	o 213938161732
55.00/55.08	o 213935805507
55.10/55.19	o 210319000132
55.29/55.30	o 203085389382
55.39/55.40	o 199468584007
55.69/55.77	o 199466227782
55.79/55.89	o 192237329482
55.99/56.01	o 188622880332
55.99/56.10	o 188620524107
56.11/56.19	o 185003718733
56.21/56.28	o 181386913358
56.30/56.39	o 177770107983
56.40/56.47	o 174153302608
56.50/56.57	o 170536497233
56.70/56.78	o 166919691858
57.10/57.14	o 163302886483
57.21/57.28	o 163298174033
57.31/57.35	o 163298174032
57.80/57.87	o 163293461582
58.20/58.29	o 163291105357
58.50/58.51	o 159688437332
59.00/59.01	o 156071631957
59.20/59.24	o 152461895258
59.69/59.73	o 148845089883
59.90/59.92	o 145228284508
60.10/60.13	o 141611479133
60.51/60.56	o 134377868383
60.61/60.69	o 130765775458
60.90/60.91	o 123536877158
60.90/60.99	o 123534520933
61.61/61.68	o 119917715559
61.71/61.73	o 116303266409
61.80/61.84	o 112693529709
61.90/61.93	o 112691173484
62.29/62.30	o 112688817259
62.70/62.75	o 112674679908
62.81/62.83	o 112672323683
62.89/62.92	o 109057874533
63.19/63.25	o 109055518308
63.69/63.70	o 105441069158
63.69/63.81	o 101828976235
63.80/63.90	o 101826620010
64.29/64.33	o 101824263785
64.39/64.42	o 101821907560
64.69/64.73	o 98219239532
64.79/64.82	o 98216883309
64.90/64.92	o 94600077935
65.09/65.13	o 94590653035
65.19/65.21	o 90978560109
65.19/65.30	o 90976203885
65.39/65.45	o 90973847660
65.59/65.65	o 87359398509
65.69/65.72	o 87357042284
65.89/65.94	o 83742593136
66.00/66.05	o 80130500211
66.11/66.19	o 80125787762
66.29/66.31	o 80123431538
66.39/66.46	o 80121075314
66.49/66.57	o 80121075313
66.69/66.78	o 80118719088
66.79/66.88	o 76501913713
66.99/67.01	o 72885108341
67.10/67.11	o 69268302966
67.21/67.29	o 65653853816
68.09/68.13	o 62041760893
68.09/68.19	o 58427311743
68.20/68.29	o 58424955518
68.59/68.64	o 58422599294
68.69/68.75	o 58422599293
68.99/69.06	o 58422599292
69.79/69.88	o 51191344769
70.29/70.40	o 47569826949
70.51/70.57	o 47567470724
70.59/70.68	o 47565114499
70.69/70.78	o 47562758274
70.99/71.01	o 47562758273
71.69/71.75	o 43948309122
71.79/71.89	o 43938884222
72.39/72.40	o 43936527997
72.49/72.59	o 43934171772
72.71/72.72	o 43931815548
72.99/73.06	o 43931815547
73.39/73.46	o 43931815546
73.81/73.82	o 43927103096
76.19/76.26	o 40310297726
76.29/76.39	o 40307941501
76.49/76.58	o 40307941500
77.69/77.75	o 36693492354
77.99/78.00	o 36691136129
77.99/78.07	o 29457525379
78.29/78.32	o 29455169155
78.39/78.42	o 29455169154
78.49/78.56	o 29445744254
78.69/78.79	o 29445744253
79.20/79.29	o 29443388028
79.79/79.85	o 29443388027
79.99/80.02	o 29443388026
80.89/80.93	o 29443388025
81.29/81.35	o 25836007550
81.69/81.72	o 25833651325
81.79/81.86	o 25833651324
81.89/81.96	o 25831295099
81.99/82.08	o 25828938874
82.09/82.14	o 25828938873
82.19/82.22	o 25826582648
82.29/82.36	o 25824226423
82.39/82.46	o 25821870198
82.50/82.55	o 25819513973
82.61/82.66	o 25817157748
82.69/82.76	o 25814801523
82.99/83.00	o 25814801522
82.99/83.05	o 25812445297
83.19/83.21	o 25810089072
83.19/83.26	o 25810089071
83.29/83.31	o 25810089070
83.29/83.37	o 25810089069
83.39/83.41	o 25807732844
83.39/83.46	o 25805376619
83.49/83.53	o 25786526819
83.60/83.63	o 25784170594
83.60/83.71	o 25781814372
83.89/83.90	o 25779458149
83.99/84.00	o 25777101924
84.09/84.11	o 25774745701
84.09/84.18	o 25772389477
84.29/84.30	o 25772389476
84.29/84.39	o 25772389473
84.39/84.46	o 25770033248
84.59/84.63	o 25770033247
84.59/84.67	o 25770033246
84.70/84.71	o 25770033245
84.70/84.80	o 25770033244
84.81/84.84	o 25770033243
84.89/84.92	o 25770033242
84.89/84.98	o 25770033240
85.09/85.12	o 25767677015
85.19/85.21	o 25765320790
85.19/85.29	o 25762964565
85.29/85.39	o 25760608340
85.49/85.50	o 25758252115
85.49/85.55	o 25755895890
85.59/85.63	o 25753539665
85.69/85.74	o 25751183440
85.80/85.84	o 25748827215
85.80/85.90	o 25746470990
85.99/86.00	o 25744114765
85.99/86.08	o 25741758540
86.09/86.16	o 25739402315
86.19/86.22	o 25737046090
86.29/86.33	o 25734689866
86.29/86.38	o 25732333641
86.39/86.47	o 25729977416
86.49/86.53	o 25729977415
86.49/86.59	o 25729977414
86.69/86.71	o 25729977413
86.69/86.76	o 25729977412
86.79/86.81	o 25729977411
86.90/86.92	o 25727621186
86.90/86.98	o 25725264963
87.01/87.05	o 25725264961
87.09/87.13	o 25722908736
87.09/87.19	o 25720552511
87.19/87.24	o 25720552510
87.29/87.34	o 25718196285
87.39/87.40	o 25718196284
87.59/87.63	o 25715840060
87.69/87.79	o 25713483835
87.79/87.86	o 25711127614
87.89/87.92	o 25711127613
87.89/87.97	o 25711127612
88.00/88.02	o 25711127611
88.00/88.07	o 25708771387
88.11/88.19	o 25706415169
88.29/88.32	o 25699346494
88.39/88.45	o 25696990271
88.49/88.50	o 25696990269
88.49/88.58	o 25694634044
88.59/88.63	o 25692277819
88.69/88.72	o 25692277818
88.89/88.99	o 25687565369
88.99/89.04	o 25687565368
89.10/89.19	o 25685209143
89.29/89.36	o 25682852923
89.39/89.42	o 25682852921
89.39/89.47	o 25682852919
89.49/89.51	o 25682852918
89.49/89.56	o 25682852917
89.59/89.62	o 25682852916
89.59/89.67	o 25682852915
89.69/89.76	o 25680496692
89.79/89.81	o 25680496690
89.89/89.91	o 25678140467
89.89/89.96	o 25678140465
89.99/90.05	o 25675784242
90.09/90.10	o 25675784240
90.09/90.20	o 25673428015
90.20/90.25	o 25671071790
90.31/90.37	o 25668715565
90.39/90.44	o 25666359342
90.59/90.60	o 25664003117
90.59/90.67	o 25661646892
90.79/90.81	o 25661646890
90.79/90.89	o 25659290665
90.89/90.96	o 25656934440
91.09/91.14	o 25654578215
91.19/91.21	o 25654578214
91.19/91.30	o 25652221991
91.30/91.35	o 25652221989
91.41/91.46	o 25649865765
91.59/91.61	o 25649865764
91.59/91.66	o 25649865762
91.69/91.71	o 25649865761
91.69/91.76	o 25649865760
91.79/91.85	o 25647509535
91.99/92.00	o 25647509534
91.99/92.05	o 25647509533
92.09/92.12	o 25645153309
92.19/92.25	o 25642797084
92.29/92.31	o 25642797083
92.40/92.50	o 25640440858
92.51/92.58	o 25635728408
92.59/92.64	o 25635728407
92.69/92.75	o 25635728406
92.79/92.87	o 25635728405
92.89/92.96	o 25633372180
92.99/93.03	o 25631015955
93.09/93.16	o 25628659731
93.19/93.29	o 25626303506
93.29/93.36	o 25623947281
93.39/93.48	o 25623947280
93.50/93.57	o 25621591055
93.61/93.64	o 25619234830
93.69/93.78	o 25616878605
93.89/93.92	o 25614522380
93.89/93.99	o 25612166156
94.09/94.15	o 25612166155
94.19/94.25	o 25609809930
94.29/94.35	o 25607453705
94.39/94.43	o 25607453704
94.39/94.48	o 25607453703
94.49/94.56	o 25607453700
94.60/94.62	o 25607453699
94.71/94.76	o 25605097474
94.89/94.97	o 25602741251
95.19/95.23	o 25600385040
95.29/95.31	o 25600385039
95.29/95.37	o 25600385038
95.39/95.43	o 25598028813
95.49/95.54	o 25595672588
95.59/95.62	o 25595672587
95.59/95.69	o 25595672586
95.70/95.79	o 25593316361
95.81/95.87	o 25590960139
95.89/95.98	o 25588603914
95.99/96.04	o 25588603912
96.09/96.14	o 25586247687
96.19/96.23	o 25583891462
96.29/96.30	o 25581535237
96.39/96.43	o 25579179014
96.49/96.50	o 25579179013
96.49/96.55	o 25579179012
96.59/96.62	o 25574466562
96.69/96.73	o 25572110337
96.69/96.80	o 25569754112
96.91/96.93	o 25567397887
96.99/97.09	o 25565041664
97.09/97.17	o 25565041662
97.19/97.28	o 25562685437
97.39/97.40	o 25560329214
97.39/97.48	o 25560329213
97.49/97.52	o 25560329212
97.59/97.63	o 25557972987
97.69/97.73	o 25555616766
97.79/97.82	o 25553260541
97.79/97.90	o 25553260539
97.90/98.00	o 25550904314
98.09/98.13	o 25548548090
98.19/98.24	o 25546191865
98.29/98.35	o 25543835640
98.39/98.45	o 25541479415
98.49/98.52	o 25539123190
98.59/98.65	o 25536766965
98.69/98.72	o 25534410740
98.79/98.86	o 25532054514
98.89/98.98	o 25529698289
99.00/99.04	o 25527342063
99.11/99.18	o 25524985838
99.19/99.29	o 25522629613
99.29/99.36	o 25520273388
99.39/99.43	o 25520273387
99.49/99.53	o 25517917162
99.59/99.63	o 25515560937
99.69/99.78	o 25513204715
99.89/99.95	o 25510848490
100.10/100.12	o 25510848489
100.21/100.28	o 25508492265
100.29/100.34	o 25508492264
100.39/100.49	o 25506136039
100.59/100.65	o 25503779816
100.69/100.72	o 25503779815
100.79/100.86	o 25503779814
100.89/100.95	o 25501423592
100.99/101.08	o 25499067368
101.09/101.14	o 25499067367
101.09/101.19	o 25499067366
101.20/101.28	o 25499067365
101.31/101.39	o 25496711140
101.49/101.56	o 25494354918
101.59/101.63	o 25494354917
101.69/101.70	o 25494354916
101.69/101.75	o 25494354915
101.89/101.90	o 25491998690
101.99/102.04	o 25489642465
102.09/102.19	o 25487286243
102.19/102.25	o 25487286242
102.19/102.31	o 25487286241
102.30/102.37	o 25487286240
102.49/102.59	o 25487286239
102.59/102.70	o 25487286237
102.79/102.81	o 25487286236
102.79/102.89	o 25487286235
102.89/102.97	o 25487286234
103.19/103.22	o 25487286233
103.29/103.32	o 25487286232
103.69/103.79	o 25487286231
103.89/103.92	o 25487286230
104.09/104.11	o 25487286229
105.19/105.29	o 25487286228
105.49/105.58	o 25487286227
105.71/105.78	o 25487286226
106.39/106.46	o 25487286225
106.59/106.61	o 25487286224
106.81/106.86	o 25487286223
106.99/107.06	o 25487286222
108.19/108.23	o 25482573772
108.29/108.34	o 25475505097
108.49/108.56	o 25475505096
109.09/109.12	o 25473148871
109.09/109.17	o 25470792646
110.29/110.34	o 25468436426
110.29/110.40	o 25468436425
110.49/110.53	o 25468436424
110.59/110.64	o 25468436423
110.69/110.75	o 25468436422
110.99/111.08	o 25468436421
111.59/111.65	o 25468436420
116.19/116.22	o 25468436419
120.29/120.32	o 25468436418
123.39/123.45	o 25468436417
126.50/126.61	o 25468436416
134.59/134.67	o 25468436415
149.89/149.99	o 25468436414
191.89/191.97	o 25463723971
192.09/192.12	o 25463723970
192.29/192.32	o 25463723969
192.50/192.60	o 25463723968
192.69/192.73	o 25463723967
192.89/192.90	o 25463723966
193.79/193.87	o 25463723965
200.79/200.84	o 25463723964
208.59/208.63	o 25461367757
208.69/208.72	o 25461367756
208.69/208.78	o 25461367755
208.79/208.84	o 25461367754
208.89/208.90	o 25461367753
208.89/209.00	o 25461367752
209.00/209.09	o 25461367751
209.19/209.25	o 25461367750
209.29/209.39	o 25461367749
209.49/209.50	o 25461367748
209.69/209.73	o 25461367747
209.89/209.99	o 25461367746
210.10/210.20	o 25461367745
210.89/210.98	o 25461367744
211.20/211.22	o 25461367743
211.39/211.46	o 25461367742
212.30/212.40	o 25461367741
231.69/231.76	o 25461367740
232.59/232.65	o 25461367739
242.19/242.21	o 25459011529
242.19/242.28	o 25459011528
242.29/242.33	o 25459011527
242.29/242.39	o 25459011526
242.39/242.45	o 25459011524
242.49/242.52	o 25459011522
242.69/242.71	o 25459011521
242.89/242.95	o 25459011520
242.99/243.08	o 25459011519
243.30/243.32	o 25459011518
245.69/245.78	o 25459011517
246.79/246.85	o 25459011516
249.20/249.27	o 25456655312
249.30/249.34	o 25456655311
249.30/249.39	o 25456655310
249.40/249.45	o 25456655309
249.50/249.51	o 25456655308
249.50/249.57	o 25456655307
249.60/249.64	o 25456655306
249.71/249.81	o 25456655305
249.90/249.97	o 25454299081
249.99/250.04	o 25454299080
250.09/250.12	o 25454299079
250.09/250.18	o 25454299078
250.19/250.29	o 25454299077
250.39/250.41	o 25454299076
250.49/250.53	o 25454299075
250.69/250.70	o 25454299074
250.80/250.89	o 25454299073
254.00/254.07	o 25454299072
288.60/288.68	o 25454299071
302.90/302.96	o 25454299070
306.00/306.03	o 25454299069
311.20/311.30	o 25454299068
314.30/314.35	o 25454299067
316.91/316.95	o 25454299066
325.30/325.30	o 25454299065
333.50/333.50	o 25454299064
366.90/366.91	o 25440161737
367.00/367.03	o 25440161736
367.00/367.09	o 25440161735
367.10/367.19	o 25440161734
367.30/367.38	o 25440161733
367.52/367.57	o 25440161732
368.00/368.09	o 25440161731
368.40/368.49	o 25440161730
368.70/368.75	o 25440161729
368.90/368.99	o 25440161727
369.20/369.22	o 25440161726
370.71/370.72	o 25437805511
370.82/370.82	o 25437805510
370.82/370.89	o 25437805509
370.90/370.97	o 25437805508
371.00/371.06	o 25437805507
371.10/371.15	o 25437805506
371.70/371.73	o 25437805505
373.02/373.08	o 25437805503
374.90/374.97	o 25435449285
375.00/375.06	o 25435449284
375.11/375.14	o 25435449283
375.11/375.21	o 25435449282
375.22/375.28	o 25435449281
375.40/375.43	o 25435449280
375.90/375.94	o 25435449279
376.40/376.50	o 25433093071
376.50/376.58	o 25433093069
376.60/376.65	o 25433093067
376.70/376.74	o 25433093066
376.80/376.84	o 25433093065
376.90/376.96	o 25433093064
377.00/377.08	o 25433093063
377.20/377.20	o 25433093062
377.20/377.30	o 25433093061
377.42/377.41	o 25433093060
377.50/377.57	o 25433093059
378.10/378.12	o 25433093058
378.70/378.79	o 25433093057
379.80/379.81	o 25433093056
380.80/380.84	o 25433093055
381.90/381.94	o 25430736830
384.02/384.04	o 25428380615
384.10/384.11	o 25428380614
384.10/384.16	o 25428380613
384.30/384.37	o 25428380612
384.60/384.61	o 25428380611
384.80/384.84	o 25428380610
384.90/384.99	o 25428380609
385.12/385.14	o 25428380608
385.30/385.30	o 25428380607
385.40/385.48	o 25428380606
385.80/385.85	o 25428380605
388.50/388.57	o 25426024380
391.50/391.50	o 25426024379
394.20/394.22	o 25426024378
396.70/396.78	o 25426024377
397.11/397.13	o 25426024376
399.60/399.63	o 25426024375
400.80/400.80	o 25426024374
402.10/402.14	o 25423668159
402.20/402.22	o 25423668158
402.20/402.27	o 25423668157
402.30/402.32	o 25423668156
402.30/402.37	o 25423668155
402.40/402.44	o 25423668154
402.50/402.55	o 25423668153
402.61/402.66	o 25423668152
402.72/402.78	o 25423668151
402.80/402.89	o 25423668150
403.00/403.09	o 25423668149
403.60/403.66	o 25421311935
403.71/403.73	o 25421311934
403.82/403.86	o 25421311933
404.00/404.01	o 25421311932
404.81/404.86	o 25421311931
405.80/405.86	o 25421311930
406.90/406.91	o 25421311929
407.80/407.83	o 25421311928
408.60/408.68	o 25421311927
409.50/409.57	o 25421311926
410.42/410.44	o 25418955712
410.50/410.58	o 25418955711
410.60/410.65	o 25418955710
410.70/410.77	o 25418955709
410.80/410.90	o 25418955708
411.00/411.01	o 25418955707
411.90/411.91	o 25418955706
412.70/412.71	o 25418955705
413.61/413.63	o 25418955704
413.80/413.80	o 25416599488
413.80/413.89	o 25416599487
413.90/413.99	o 25416599486
414.00/414.05	o 25416599485
414.10/414.12	o 25416599484
414.20/414.23	o 25416599483
414.30/414.36	o 25416599482
414.50/414.52	o 25416599481
414.60/414.71	o 25416599480
416.60/416.65	o 25416599479
417.70/417.72	o 25416599478
420.50/420.59	o 25416599477
422.52/422.58	o 25416599476
423.62/423.64	o 25414243266
423.70/423.74	o 25414243265
423.80/423.80	o 25414243264
423.90/423.93	o 25414243263
424.00/424.08	o 25414243262
424.50/424.57	o 25414243261
424.80/424.83	o 25414243260
425.10/425.15	o 25414243259
425.50/425.53	o 25414243258
426.70/426.70	o 25414243257
426.81/426.86	o 25414243256
427.80/427.88	o 25411887040
428.02/428.02	o 25411887039
428.10/428.14	o 25411887038
428.20/428.26	o 25411887037
428.40/428.42	o 25411887036
428.50/428.58	o 25411887035
428.70/428.73	o 25411887034
428.80/428.89	o 25411887033
429.01/429.10	o 25411887032
429.90/429.98	o 25411887031
431.90/431.91	o 25411887030
432.70/432.71	o 25411887029
433.90/433.95	o 25411887028
435.50/435.58	o 25411887027
438.70/438.76	o 25411887026
441.22/441.23	o 25411887025
443.10/443.20	o 25411887024
445.70/445.77	o 25411887023
446.72/446.73	o 25411887022
447.71/447.78	o 25411887021
449.70/449.73	o 25411887020
450.80/450.89	o 25411887019
453.00/453.02	o 25411887018
454.10/454.18	o 25411887017
457.20/457.29	o 25407174585
457.30/457.36	o 25407174584
457.40/457.41	o 25407174583
457.40/457.46	o 25407174582
457.50/457.51	o 25407174581
457.50/457.56	o 25407174580
457.61/457.62	o 25407174579
457.90/457.92	o 25407174578
458.90/458.99	o 25407174577
459.92/459.92	o 25407174576
460.40/460.43	o 25402462133
460.50/460.56	o 25402462131
460.70/460.75	o 25402462130
460.91/460.92	o 25402462129
461.02/461.06	o 25402462128
461.20/461.29	o 25402462127
462.30/462.37	o 25402462126
464.32/464.35	o 25402462125
466.20/466.23	o 25402462124
472.20/472.25	o 25402462123
472.50/472.52	o 25402462122
473.50/473.51	o 25402462121
476.42/476.43	o 25402462120
479.30/479.34	o 25402462119
482.10/482.19	o 25402462118
485.11/485.20	o 25402462117
489.00/489.08	o 25402462116
494.90/494.98	o 25397749685
495.02/495.04	o 25397749684
495.02/495.10	o 25397749683
495.13/495.15	o 25397749682
495.21/495.22	o 25397749681
495.21/495.28	o 25397749680
495.31/495.34	o 25397749679
495.51/495.51	o 25397749678
495.71/495.79	o 25397749677
496.23/496.22	o 25397749676
496.31/496.37	o 25397749675
496.51/496.55	o 25397749674
496.71/496.73	o 25397749673
496.91/496.94	o 25397749672
497.11/497.15	o 25397749671
497.41/497.48	o 25397749670
500.41/500.44	o 25397749669
502.41/502.44	o 25397749668
503.11/503.11	o 25395393453
503.11/503.19	o 25395393452
503.21/503.24	o 25395393451
503.21/503.29	o 25395393450
503.31/503.39	o 25395393449
503.61/503.63	o 25395393448
503.82/503.88	o 25395393447
504.01/504.06	o 25395393446
504.31/504.36	o 25395393445
505.41/505.42	o 25395393444
505.51/505.57	o 25395393443
506.21/506.24	o 25395393442
506.81/506.89	o 25395393441
514.01/514.03	o 25390681008
514.01/514.08	o 25390681007
514.11/514.14	o 25390681006
514.21/514.20	o 25390681005
514.21/514.25	o 25390681004
514.93/514.96	o 25390681003
521.21/521.26	o 25390681002
521.91/521.99	o 25390681001
524.61/524.67	o 25390681000
531.01/531.06	o 25390680999
538.21/538.26	o 25390680998
541.71/541.73	o 25390680997
544.71/544.73	o 25390680996
550.81/550.83	o 25390680995
551.61/551.60	o 25390680994
557.01/557.03	o 25390680993
557.83/557.85	o 25390680992
559.41/559.46	o 25390680991
561.91/561.97	o 25390680990
564.72/564.70	o 25390680989
570.82/570.89	o 25385968561
570.93/570.95	o 25385968560
570.93/571.01	o 25385968559
571.03/571.06	o 25383612334
571.12/571.11	o 25383612333
571.22/571.20	o 25383612332
571.32/571.34	o 25383612331
571.52/571.53	o 25383612330
571.72/571.78	o 25383612329
574.62/574.62	o 25383612328
581.42/581.42	o 25383612327
592.12/592.12	o 25383612326
594.92/594.95	o 25383612325
597.33/597.34	o 25383612324
602.22/602.25	o 25383612323
603.32/603.32	o 25383612322
604.03/604.07	o 25383612321
606.92/606.95	o 25383612320
607.23/607.21	o 25383612319
609.92/609.90	o 25383612318
617.42/617.49	o 25383612317
620.43/620.48	o 25378899872
620.53/620.56	o 25378899871
620.62/620.63	o 25378899870
620.72/620.70	o 25378899869
620.92/620.92	o 25378899868
622.92/622.91	o 25378899867
625.82/625.85	o 25376543653
625.82/625.91	o 25374187428
626.03/626.02	o 25374187427
626.22/626.28	o 25374187426
626.42/626.49	o 25374187425
626.82/626.83	o 25374187424
628.62/628.64	o 25374187423
629.42/629.48	o 25374187422
630.44/630.44	o 25374187421
631.43/631.45	o 25374187420
632.32/632.33	o 25374187419
633.32/633.30	o 25374187418
637.12/637.18	o 25374187417
640.12/640.20	o 25369474980
640.23/640.25	o 25369474979
640.23/640.30	o 25369474978
640.33/640.35	o 25369474977
640.33/640.39	o 25369474976
640.42/640.44	o 25369474975
640.42/640.49	o 25369474974
640.62/640.65	o 25369474973
640.72/640.74	o 25369474972
640.82/640.88	o 25369474971
641.02/641.04	o 25369474970
641.22/641.23	o 25369474969
641.33/641.40	o 25369474968
644.02/644.02	o 25369474967
650.13/650.17	o 25364762537
650.24/650.23	o 25364762536
650.24/650.29	o 25364762535
650.32/650.35	o 25364762533
650.42/650.40	o 25364762532
650.42/650.44	o 25364762531
650.42/650.49	o 25364762530
650.52/650.54	o 25364762529
650.52/650.58	o 25364762528
650.62/650.64	o 25364762527
650.72/650.72	o 25364762525
651.12/651.19	o 25364762524
651.42/651.40	o 25364762523
651.62/651.63	o 25364762522
652.43/652.49	o 25364762521
652.92/652.97	o 25364762520
660.03/660.07	o 25364762519
662.72/662.75	o 25364762518
664.53/664.51	o 25364762517
671.82/671.84	o 25360050083
671.82/671.90	o 25360050081
671.92/671.95	o 25360050080
672.02/672.01	o 25360050078
672.02/672.05	o 25360050077
672.02/672.10	o 25360050076
672.13/672.15	o 25360050075
672.24/672.22	o 25360050074
672.24/672.29	o 25360050073
672.32/672.35	o 25360050072
672.52/672.58	o 25360050071
672.92/672.96	o 25360050070
674.02/674.05	o 25360050069
674.33/674.34	o 25360050068
674.52/674.53	o 25360050067
677.63/677.66	o 25355337636
677.63/677.71	o 25355337635
677.74/677.75	o 25355337634
677.82/677.80	o 25355337633
677.82/677.84	o 25355337632
677.82/677.89	o 25355337631
677.92/677.94	o 25355337630
677.92/677.98	o 25355337629
678.02/678.04	o 25355337628
678.02/678.08	o 25355337627
678.12/678.14	o 25355337626
678.22/678.24	o 25355337625
678.32/678.38	o 25355337624
678.42/678.49	o 25355337623
678.62/678.61	o 25355337622
678.73/678.81	o 25355337621
678.92/678.93	o 25355337620
681.82/681.86	o 25355337619
697.43/697.45	o 25355337618
705.32/705.35	o 25352981396
709.22/709.27	o 25352981395
711.32/711.31	o 25350625180
711.32/711.39	o 25350625179
711.42/711.45	o 25350625178
711.52/711.50	o 25350625177
711.62/711.60	o 25350625176
711.73/711.76	o 25350625175
711.92/711.96	o 25350625174
712.12/712.18	o 25350625173
714.82/714.85	o 25350625172
716.82/716.86	o 25350625171
720.53/720.61	o 25350625170
728.02/728.01	o 25350625169
730.92/730.97	o 25348268952
731.02/731.03	o 25345912729
731.02/731.09	o 25345912728
731.12/731.12	o 25345912727
731.12/731.16	o 25345912726
731.22/731.20	o 25345912725
731.22/731.25	o 25345912724
731.22/731.29	o 25345912723
731.32/731.35	o 25345912722
731.42/731.45	o 25345912721
731.42/731.49	o 25345912720
733.02/733.03	o 25345912719
733.62/733.60	s OPTIMUM FOUND
733.62/733.60	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 x6418 x6419 -x6420 -x6421 x6422 -x6423 -x6424 x6425 x6426 -x6427 -x6428 -x6429 -x6430 -x6431 x6432 -x6433 -x6434 -x6435 -x6436 -x6437 x6438 -x6439 x6440 -x6441 x6442 x6443 -x6444 -x6445 x6446 -x6447 x6448 x6449 x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 x6457 x6458 -x6459 -x6460 -x6461 x6462 x6463 -x6464 -x6465 -x6466 x6467 -x6468 x6469 -x6470 -x6471 -x6472 x6473 x6474 x6475 x6476 x6477 x6478 x6479 x6480 -x6481 -x6482 -x6483 -x6484 x6485 x6486 x6487 x6488 -x6489 x6490 -x6491 -x6492 x6493 -x6494 x6495 x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 x6513 x6514 x6515 x6516 x6517 x6518 x6519 x6520 -x6521 -x6522 x6523 x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 x6541 x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 x6549 -x6550

Verifier Data 

OK	25345912719

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-3467685-1307426682/watcher-3467685-1307426682 -o /tmp/evaluation-result-3467685-1307426682/solver-3467685-1307426682 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3467685-1307426682.opb --verbosity=0 --format=opb 

running on 4 cores: 0,2,4,6

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.01 2.03 2.00 2/481 6349
/proc/meminfo: memFree=27021168/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=8720 CPUtime=0 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 765 0 0 0 0 0 0 0 25 0 1 0 854267872 8929280 674 33554432000 4194304 6736272 140734055872080 18446744073709551615 4538129 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 2180 674 248 621 0 1550 0

[startup+0.101593 s]
/proc/loadavg: 2.01 2.03 2.00 2/481 6349
/proc/meminfo: memFree=27021168/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=15644 CPUtime=0.09 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 2455 0 0 0 9 0 0 0 25 0 1 0 854267872 16019456 2365 33554432000 4194304 6736272 140734055872080 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 3911 2365 248 621 0 3281 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15644

[startup+0.200568 s]
/proc/loadavg: 2.01 2.03 2.00 2/481 6349
/proc/meminfo: memFree=27021168/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=23300 CPUtime=0.19 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 4360 0 0 0 19 0 0 0 25 0 1 0 854267872 23859200 4269 33554432000 4194304 6736272 140734055872080 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 5825 4270 248 621 0 5195 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 23300

[startup+0.300562 s]
/proc/loadavg: 2.01 2.03 2.00 2/481 6349
/proc/meminfo: memFree=27021168/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=32728 CPUtime=0.29 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 7045 0 0 0 29 0 0 0 25 0 1 0 854267872 33513472 6667 33554432000 4194304 6736272 140734055872080 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 8182 6668 265 621 0 7552 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32728

[startup+0.700476 s]
/proc/loadavg: 2.01 2.03 2.00 2/481 6349
/proc/meminfo: memFree=27021168/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=76036 CPUtime=0.69 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 17891 0 0 0 67 2 0 0 25 0 1 0 854267872 77860864 17447 33554432000 4194304 6736272 140734055872080 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 19009 17449 266 621 0 18379 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76036

[startup+1.50021 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 6350
/proc/meminfo: memFree=26942176/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=81588 CPUtime=1.49 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 20372 0 0 0 147 2 0 0 25 0 1 0 854267872 83546112 19922 33554432000 4194304 6736272 140734055872080 18446744073709551615 5818079 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 20397 19922 284 621 0 19767 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 81588

[startup+3.10102 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 6350
/proc/meminfo: memFree=26940688/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=81592 CPUtime=3.09 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 20394 0 0 0 307 2 0 0 25 0 1 0 854267872 83550208 19944 33554432000 4194304 6736272 140734055872080 18446744073709551615 5148094 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 20398 19944 286 621 0 19768 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 81592

[startup+6.30042 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 6350
/proc/meminfo: memFree=26940732/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=81592 CPUtime=6.29 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 20394 0 0 0 627 2 0 0 25 0 1 0 854267872 83550208 19944 33554432000 4194304 6736272 140734055872080 18446744073709551615 5818026 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 20398 19944 286 621 0 19768 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 81592

[startup+12.7012 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 6350
/proc/meminfo: memFree=26939028/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=82000 CPUtime=12.69 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 20405 0 0 0 1267 2 0 0 25 0 1 0 854267872 83968000 19955 33554432000 4194304 6736272 140734055872080 18446744073709551615 4750614 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 20500 19955 286 621 0 19870 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 82000

[startup+25.5008 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 6350
/proc/meminfo: memFree=26937656/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=82000 CPUtime=25.49 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 20452 0 0 0 2547 2 0 0 25 0 1 0 854267872 83968000 20001 33554432000 4194304 6736272 140734055872080 18446744073709551615 5806346 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 20500 20001 286 621 0 19870 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 82000

[startup+51.1009 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 6351
/proc/meminfo: memFree=26935212/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=83408 CPUtime=51.09 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 20778 0 0 0 5107 2 0 0 25 0 1 0 854267872 85409792 20327 33554432000 4194304 6736272 140734055872080 18446744073709551615 4288576 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 20852 20327 286 621 0 20222 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 83408

[startup+102.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 6352
/proc/meminfo: memFree=26929824/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=85056 CPUtime=102.3 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 21093 0 0 0 10227 3 0 0 25 0 1 0 854267872 87097344 20640 33554432000 4194304 6736272 140734055872080 18446744073709551615 4640348 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 21264 20640 286 621 0 20634 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 85056

[startup+162.301 s]
/proc/loadavg: 2.15 2.05 2.01 3/482 6354
/proc/meminfo: memFree=26924336/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=88408 CPUtime=162.29 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 21941 0 0 0 16226 3 0 0 25 0 1 0 854267872 90529792 21486 33554432000 4194304 6736272 140734055872080 18446744073709551615 4640341 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 22102 21486 287 621 0 21472 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 88408

[startup+222.318 s]
/proc/loadavg: 2.11 2.05 2.01 3/482 6355
/proc/meminfo: memFree=26924904/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=88408 CPUtime=222.31 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 21941 0 0 0 22228 3 0 0 25 0 1 0 854267872 90529792 21486 33554432000 4194304 6736272 140734055872080 18446744073709551615 5803315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 22102 21486 287 621 0 21472 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 88408

[startup+282.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/482 6357
/proc/meminfo: memFree=26923512/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=88408 CPUtime=282.3 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 23091 0 0 0 28227 3 0 0 25 0 1 0 854267872 90529792 21486 33554432000 4194304 6736272 140734055872080 18446744073709551615 5154765 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 22102 21486 287 621 0 21472 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 88408

[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 6359
/proc/meminfo: memFree=26922356/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=88408 CPUtime=342.3 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 23091 0 0 0 34227 3 0 0 25 0 1 0 854267872 90529792 21486 33554432000 4194304 6736272 140734055872080 18446744073709551615 5803162 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 22102 21486 287 621 0 21472 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 88408

[startup+402.301 s]
/proc/loadavg: 2.13 2.05 2.01 3/482 6360
/proc/meminfo: memFree=26921564/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=88408 CPUtime=402.3 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 23091 0 0 0 40227 3 0 0 25 0 1 0 854267872 90529792 21486 33554432000 4194304 6736272 140734055872080 18446744073709551615 5146802 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 22102 21486 287 621 0 21472 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 88408

[startup+462.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/482 6362
/proc/meminfo: memFree=26920432/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=88408 CPUtime=462.3 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 23091 0 0 0 46227 3 0 0 25 0 1 0 854267872 90529792 21486 33554432000 4194304 6736272 140734055872080 18446744073709551615 4732864 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 22102 21486 287 621 0 21472 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 88408

[startup+522.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/482 6363
/proc/meminfo: memFree=26919772/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=88408 CPUtime=522.31 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 23091 0 0 0 52227 4 0 0 25 0 1 0 854267872 90529792 21486 33554432000 4194304 6736272 140734055872080 18446744073709551615 5806616 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 22102 21486 287 621 0 21472 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 88408

[startup+582.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 6365
/proc/meminfo: memFree=26918120/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=88408 CPUtime=582.32 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 23091 0 0 0 58228 4 0 0 25 0 1 0 854267872 90529792 21486 33554432000 4194304 6736272 140734055872080 18446744073709551615 5150896 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 22102 21486 287 621 0 21472 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 88408

[startup+642.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/482 6367
/proc/meminfo: memFree=26914492/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=88408 CPUtime=642.32 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 23091 0 0 0 64228 4 0 0 25 0 1 0 854267872 90529792 21486 33554432000 4194304 6736272 140734055872080 18446744073709551615 4734767 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 22102 21486 287 621 0 21472 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 88408

[startup+702.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/482 6368
/proc/meminfo: memFree=26913712/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=88408 CPUtime=702.32 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 23091 0 0 0 70228 4 0 0 25 0 1 0 854267872 90529792 21486 33554432000 4194304 6736272 140734055872080 18446744073709551615 5803333 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 22102 21486 287 621 0 21472 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 88408

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

[startup+716.801 s]
/proc/loadavg: 2.14 2.06 2.01 3/482 6369
/proc/meminfo: memFree=26913832/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=88408 CPUtime=716.82 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 23091 0 0 0 71678 4 0 0 25 0 1 0 854267872 90529792 21486 33554432000 4194304 6736272 140734055872080 18446744073709551615 4501898 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 22102 21486 287 621 0 21472 0
Current children cumulated CPU time (s) 716.82
Current children cumulated vsize (KiB) 88408

[startup+723.201 s]
/proc/loadavg: 2.12 2.06 2.01 3/482 6369
/proc/meminfo: memFree=26915816/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=88408 CPUtime=723.22 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 23091 0 0 0 72318 4 0 0 25 0 1 0 854267872 90529792 21486 33554432000 4194304 6736272 140734055872080 18446744073709551615 5792827 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 22102 21486 287 621 0 21472 0
Current children cumulated CPU time (s) 723.22
Current children cumulated vsize (KiB) 88408

[startup+729.6 s]
/proc/loadavg: 2.11 2.06 2.01 3/482 6369
/proc/meminfo: memFree=26915568/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=88408 CPUtime=729.62 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 23091 0 0 0 72958 4 0 0 25 0 1 0 854267872 90529792 21486 33554432000 4194304 6736272 140734055872080 18446744073709551615 5816773 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 22102 21486 287 621 0 21472 0
Current children cumulated CPU time (s) 729.62
Current children cumulated vsize (KiB) 88408

[startup+731.201 s]
/proc/loadavg: 2.11 2.06 2.01 3/482 6369
/proc/meminfo: memFree=26915816/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=88408 CPUtime=731.22 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 23091 0 0 0 73118 4 0 0 25 0 1 0 854267872 90529792 21486 33554432000 4194304 6736272 140734055872080 18446744073709551615 4755971 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 22102 21486 287 621 0 21472 0
Current children cumulated CPU time (s) 731.22
Current children cumulated vsize (KiB) 88408

[startup+732.801 s]
/proc/loadavg: 2.10 2.06 2.01 3/482 6369
/proc/meminfo: memFree=26915320/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=88408 CPUtime=732.82 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 23091 0 0 0 73278 4 0 0 25 0 1 0 854267872 90529792 21486 33554432000 4194304 6736272 140734055872080 18446744073709551615 5806616 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 22102 21486 287 621 0 21472 0
Current children cumulated CPU time (s) 732.82
Current children cumulated vsize (KiB) 88408

[startup+733.201 s]
/proc/loadavg: 2.10 2.06 2.01 3/482 6369
/proc/meminfo: memFree=26915320/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=88408 CPUtime=733.22 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 23091 0 0 0 73318 4 0 0 25 0 1 0 854267872 90529792 21486 33554432000 4194304 6736272 140734055872080 18446744073709551615 4734650 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 22102 21486 287 621 0 21472 0
Current children cumulated CPU time (s) 733.22
Current children cumulated vsize (KiB) 88408

[startup+733.601 s]
/proc/loadavg: 2.10 2.06 2.01 3/482 6369
/proc/meminfo: memFree=26915320/32950928 swapFree=39617324/67111528
[pid=6349] ppid=6347 vsize=88408 CPUtime=733.62 cores=0,2,4,6
/proc/6349/stat : 6349 (minisatid-gmp) R 6347 6349 5623 0 -1 4202496 23091 0 0 0 73358 4 0 0 25 0 1 0 854267872 90529792 21486 33554432000 4194304 6736272 140734055872080 18446744073709551615 5148044 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6349/statm: 22102 21486 287 621 0 21472 0
Current children cumulated CPU time (s) 733.62
Current children cumulated vsize (KiB) 88408

Child status: 10
Real time (s): 733.612
CPU time (s): 733.636
CPU user time (s): 733.591
CPU system time (s): 0.045993
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 95484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 733.59
system time used= 0.045993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23096
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= 15
involuntary context switches= 1227

runsolver used 3.43048 second user time and 7.97579 second system time

The end

Launcher Data 

Begin job on node127 at 2011-06-07 08:04:42
IDJOB=3467685
IDBENCH=72291
IDSOLVER=1957
FILE ID=node127/3467685-1307426682
RUNJOBID= node127-1307415864-5641
PBS_JOBID= 13514227
Free space on /tmp= 74000 MiB

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

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

MD5SUM BENCH= a28eb4bd9bb6fe4f9f9bc58539a199f7
RANDOM SEED=2030853925

node127.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.823
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.64
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.823
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.823
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.74
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.823
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.86
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.823
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.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
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.60
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.823
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27021324 kB
Buffers:        340604 kB
Cached:         983440 kB
SwapCached:      59160 kB
Active:        3655872 kB
Inactive:      1972464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27021324 kB
SwapTotal:    67111528 kB
SwapFree:     39617324 kB
Dirty:           10512 kB
Writeback:           0 kB
AnonPages:     4251684 kB
Mapped:          23136 kB
Slab:           135720 kB
PageTables:      95340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 120048212 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= 73996 MiB
End job on node127 at 2011-06-07 08:16:56