Trace number 2698978

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB/CT 0.1 fixedOPTIMUM 50.8873 50.8862

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3046_4-unsat--soft-66-100-0.wbo
MD5SUM64f71ed3d387d8d9e46ec44993350335
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.051991
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3968
Total number of constraints13430
Number of soft constraints4564
Number of constraints which are clauses13178
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints252
Minimum length of a constraint1
Maximum length of a constraint30
Top cost 230935
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 230934
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 187
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.10/0.12	c constraints 156/96 clauses 2062/1800 units 2074
0.10/0.12	c vars 3968
0.39/0.41	c 0.384941 45.8672 61 40056
0.39/0.41	o 14420
0.39/0.44	c 0.410937 46.8672 83 52288
0.39/0.44	o 12262
0.39/0.46	c 0.427934 46.8672 112 58757
0.39/0.46	o 8118
0.39/0.48	c 0.440932 46.8672 125 61424
0.39/0.48	o 7835
0.39/0.49	c 0.446932 46.8672 127 63446
0.39/0.49	o 6385
0.49/0.50	c 0.45493 46.8672 134 66890
0.49/0.50	o 5882
0.49/0.50	c 0.461929 46.8672 135 68185
0.49/0.50	o 5877
0.49/0.51	c 0.468928 46.8672 139 69463
0.49/0.51	o 5849
0.49/0.52	c 0.474927 46.8672 140 72384
0.49/0.52	o 3625
0.49/0.53	c 0.482926 46.8672 143 73457
0.49/0.53	o 3619
0.49/0.54	c 0.491925 46.8672 147 77004
0.49/0.54	o 3100
0.49/0.56	c 0.502923 46.8672 153 78918
0.49/0.56	o 3097
0.49/0.57	c 0.512922 46.8672 157 81237
0.49/0.57	o 2946
0.49/0.57	c 0.516921 46.8672 157 82479
0.49/0.57	o 2920
0.49/0.58	c 0.52392 46.8672 161 83638
0.49/0.58	o 2915
0.49/0.59	c 0.530919 46.8672 161 84577
0.49/0.59	o 2913
0.59/0.60	c 0.538918 46.8672 164 85886
0.59/0.60	o 2909
0.59/0.61	c 0.543917 46.8672 164 87912
0.59/0.61	o 2576
0.59/0.62	c 0.550916 46.8672 165 89248
0.59/0.62	o 2573
0.59/0.63	c 0.556915 46.8672 167 90104
0.59/0.63	o 2569
0.59/0.63	c 0.561914 46.8672 167 92115
0.59/0.63	o 2074
0.59/0.64	c 0.569913 46.8672 171 93538
0.59/0.64	o 2070
0.59/0.65	c 0.576912 46.8672 172 94913
0.59/0.65	o 2041
0.59/0.66	c 0.58591 46.8672 177 96880
0.59/0.66	o 2039
0.59/0.67	c 0.594909 46.8672 178 99575
0.59/0.67	o 1386
0.79/0.88	c 0.760884 46.8672 370 100399
0.79/0.88	o 1385
0.89/0.94	c 0.803877 46.8672 416 100740
0.89/0.94	o 1381
1.00/1.02	c 0.867868 46.8672 487 101141
1.00/1.02	o 1378
1.00/1.07	c 0.903862 46.8672 544 101533
1.00/1.07	o 1375
1.00/1.10	c 0.928858 46.8672 571 101898
1.00/1.10	o 1372
1.10/1.13	c 0.952855 46.8672 586 102239
1.10/1.13	o 1371
1.10/1.14	c 0.960853 46.8672 587 102700
1.10/1.14	o 1369
1.19/1.23	c 1.03184 46.8672 678 103030
1.19/1.23	o 1368
1.29/1.35	c 1.11583 46.8672 814 103959
1.29/1.35	o 1364
1.29/1.35	c 1.12283 46.8672 815 104599
1.29/1.35	o 1360
1.29/1.39	c 1.15182 46.8672 838 105326
1.29/1.39	o 1359
1.29/1.39	c 1.15782 46.8672 840 106348
1.29/1.39	o 1356
1.39/1.40	c 1.16382 46.8672 841 107342
1.39/1.40	o 1352
1.39/1.41	c 1.16982 46.8672 842 108908
1.39/1.41	o 1351
1.39/1.43	c 1.18982 46.8672 862 109210
1.39/1.43	o 1347
1.39/1.47	c 1.21881 46.8672 886 109531
1.39/1.47	o 1346
1.49/1.52	c 1.25481 46.8672 921 109904
1.49/1.52	o 1344
1.49/1.53	c 1.26581 46.8672 931 110388
1.49/1.53	o 1340
1.49/1.54	c 1.27081 46.8672 931 111096
1.49/1.54	o 1336
1.49/1.55	c 1.27981 46.8672 935 111633
1.49/1.55	o 1334
1.49/1.56	c 1.2888 46.8672 939 112230
1.49/1.56	o 1330
1.49/1.57	c 1.2968 46.8672 942 112763
1.49/1.57	o 1328
1.79/1.88	c 1.54776 46.8672 1208 113820
1.79/1.88	o 1326
1.89/1.91	c 1.57276 46.8672 1224 114059
1.89/1.91	o 1322
1.89/1.93	c 1.58576 46.8672 1232 114353
1.89/1.93	o 1321
1.89/1.94	c 1.60276 46.8672 1239 114837
1.89/1.94	o 1315
1.99/2.05	c 1.67874 46.9961 1317 115252
1.99/2.05	o 1314
1.99/2.06	c 1.68674 46.9961 1319 115503
1.99/2.06	o 1312
1.99/2.07	c 1.69074 46.9961 1321 115745
1.99/2.07	o 1311
1.99/2.07	c 1.69874 46.9961 1326 115974
1.99/2.07	o 1310
1.99/2.08	c 1.70574 46.9961 1334 117146
1.99/2.08	o 1296
2.09/2.10	c 1.71874 46.9961 1343 117551
2.09/2.10	o 1295
2.20/2.24	c 1.78973 46.9961 1437 117888
2.20/2.24	o 1294
2.20/2.25	c 1.79473 46.9961 1438 118262
2.20/2.25	o 1293
2.20/2.26	c 1.80073 46.9961 1439 118633
2.20/2.26	o 1291
2.20/2.27	c 1.80573 46.9961 1439 119131
2.20/2.27	o 1286
2.20/2.29	c 1.81372 46.9961 1451 119493
2.20/2.29	o 1283
2.29/2.30	c 1.82072 46.9961 1459 120006
2.29/2.30	o 1282
2.29/2.31	c 1.82472 46.9961 1460 121133
2.29/2.31	o 1281
2.29/2.32	c 1.82872 46.9961 1460 122775
2.29/2.32	o 1224
2.29/2.33	c 1.83472 46.9961 1461 123926
2.29/2.33	o 1223
2.29/2.35	c 1.84272 46.9961 1467 124366
2.29/2.35	o 1220
2.29/2.35	c 1.84672 46.9961 1467 125836
2.29/2.35	o 1209
2.29/2.36	c 1.84872 46.9961 1467 126875
2.29/2.36	o 1205
2.29/2.37	c 1.85672 46.9961 1470 127394
2.29/2.37	o 1204
2.29/2.38	c 1.86172 46.9961 1470 128751
2.29/2.38	o 1200
2.39/2.43	c 1.87471 46.9961 1496 129132
2.39/2.43	o 1197
2.39/2.44	c 1.88071 46.9961 1509 129414
2.39/2.44	o 1194
2.59/2.60	c 1.9627 46.9961 1670 130129
2.59/2.60	o 1193
2.59/2.61	c 1.9747 46.9961 1675 130499
2.59/2.61	o 1182
2.59/2.63	c 1.9817 46.9961 1685 130783
2.59/2.63	o 1179
2.59/2.66	c 2.0027 46.9961 1708 131078
2.59/2.66	o 1175
2.59/2.69	c 2.01769 46.9961 1727 131423
2.59/2.69	o 1174
2.69/2.71	c 2.02869 46.9961 1739 131707
2.69/2.71	o 1171
2.69/2.74	c 2.04569 46.9961 1768 132115
2.69/2.74	o 1170
2.79/2.88	c 2.11368 47.125 1875 132650
2.79/2.88	o 1168
2.89/2.90	c 2.12068 47.125 1879 132972
2.89/2.90	o 1165
2.89/2.92	c 2.13468 47.125 1900 133262
2.89/2.92	o 1162
2.99/3.00	c 2.18367 47.125 2015 133787
2.99/3.00	o 1161
2.99/3.06	c 2.21466 47.125 2057 134114
2.99/3.06	o 1160
2.99/3.07	c 2.22466 47.125 2060 134300
2.99/3.07	o 1158
3.09/3.14	c 2.25766 47.125 2111 134731
3.09/3.14	o 1154
3.29/3.32	c 2.36964 47.125 2238 135195
3.29/3.32	o 1153
3.29/3.38	c 2.41263 47.125 2296 135707
3.29/3.38	o 1151
3.89/3.95	c 2.67559 47.2539 2851 137520
3.89/3.95	o 1150
4.09/4.12	c 2.75258 47.2539 3010 138069
4.09/4.12	o 1146
4.30/4.33	c 2.83557 47.2539 3179 138604
4.30/4.33	o 1145
4.39/4.43	c 2.87956 47.2539 3260 139007
4.39/4.43	o 1144
4.99/5.07	c 3.19751 47.3828 3855 140539
4.99/5.07	o 1143
5.09/5.13	c 3.23551 47.3828 3960 141043
5.09/5.13	o 1141
5.19/5.27	c 3.31849 47.3828 4082 141679
5.19/5.27	o 1136
5.19/5.28	c 3.32349 47.3828 4085 141895
5.19/5.28	o 1135
5.99/6.02	c 3.74743 47.5117 4764 143830
5.99/6.02	o 1132
5.99/6.04	c 3.75343 47.5117 4768 144028
5.99/6.04	o 1131
5.99/6.07	c 3.76743 47.5117 4801 144542
5.99/6.07	o 1130
6.09/6.12	c 3.79542 47.5117 4835 144855
6.09/6.12	o 1126
6.29/6.31	c 3.89241 47.6406 4980 145615
6.29/6.31	o 1124
7.19/7.21	c 4.31434 47.6406 5665 147371
7.19/7.21	o 1120
7.29/7.33	c 4.37933 47.7695 5781 147886
7.29/7.33	o 1119
7.39/7.44	c 4.43733 47.7695 5912 148464
7.39/7.44	o 1117
7.39/7.45	c 4.44332 47.7695 5917 148694
7.39/7.45	o 1116
7.39/7.46	c 4.45132 47.7695 5926 149154
7.39/7.46	o 1113
7.39/7.47	c 4.45532 47.7695 5927 150127
7.39/7.47	o 1111
7.39/7.48	c 4.46032 47.7695 5928 150768
7.39/7.48	o 1105
7.49/7.50	c 4.46632 47.7695 5939 151401
7.49/7.50	o 1101
7.49/7.51	c 4.47032 47.7695 5946 151689
7.49/7.51	o 1099
7.59/7.63	c 4.53131 47.7695 6099 152338
7.59/7.63	o 1096
7.70/7.77	c 4.6063 47.7695 6214 152863
7.70/7.77	o 1093
7.79/7.82	c 4.6303 47.7695 6257 153248
7.79/7.82	o 1091
8.99/9.04	c 5.21021 47.8984 3659 155646
8.99/9.04	o 1089
8.99/9.06	c 5.21821 47.8984 3663 155830
8.99/9.06	o 1085
9.09/9.15	c 5.2722 47.8984 3765 156357
9.09/9.15	o 1083
9.19/9.20	c 5.2922 47.8984 3800 156848
9.19/9.20	o 1075
9.19/9.22	c 5.30119 47.8984 3807 157061
9.19/9.22	o 1071
9.19/9.24	c 5.31319 47.8984 3824 157563
9.19/9.24	o 1069
9.19/9.27	c 5.33019 47.8984 3863 157799
9.19/9.27	o 1066
9.70/9.77	c 5.58815 47.8984 4264 159034
9.70/9.77	o 1065
9.70/9.80	c 5.60215 47.8984 4287 159448
9.70/9.80	o 1061
9.80/9.83	c 5.62315 47.8984 4313 159708
9.80/9.83	o 1058
9.90/9.96	c 5.67014 47.8984 4369 160031
9.90/9.96	o 1057
10.19/10.27	c 5.83811 47.8984 4591 161206
10.19/10.27	o 1055
10.30/10.32	c 5.86611 47.8984 4634 161529
10.30/10.32	o 1054
10.69/10.72	c 6.04908 47.8984 4959 162661
10.69/10.72	o 1052
10.69/10.78	c 6.08607 47.8984 5013 162950
10.69/10.78	o 1049
10.69/10.79	c 6.09007 47.8984 5015 163388
10.69/10.79	o 1044
10.79/10.85	c 6.12007 47.8984 5069 163660
10.79/10.85	o 1043
10.99/11.09	c 6.23405 47.8984 5254 164319
10.99/11.09	o 1039
11.09/11.19	c 6.28804 47.8984 5378 164818
11.09/11.19	o 1037
11.20/11.22	c 6.29904 47.8984 5389 165070
11.20/11.22	o 1034
11.20/11.23	c 6.30804 47.8984 5394 165278
11.20/11.23	o 1031
11.20/11.25	c 6.31104 47.8984 5403 165617
11.20/11.25	o 1027
11.20/11.26	c 6.31804 47.8984 5407 166068
11.20/11.26	o 1025
11.29/11.30	c 6.34104 47.8984 5434 166344
11.29/11.30	o 1023
11.29/11.35	c 6.36303 47.8984 5482 166589
11.29/11.35	o 1020
11.39/11.41	c 6.39303 47.8984 5513 166748
11.39/11.41	o 1018
11.49/11.50	c 6.43402 47.8984 5570 166979
11.49/11.50	o 1016
11.49/11.58	c 6.46902 47.8984 5622 167294
11.49/11.58	o 1015
11.69/11.70	c 6.53901 47.8984 5749 167728
11.69/11.70	o 1014
11.69/11.71	c 6.548 47.8984 5754 168022
11.69/11.71	o 1010
11.69/11.73	c 6.562 47.8984 5763 168332
11.69/11.73	o 1007
11.69/11.75	c 6.575 47.8984 5774 168601
11.69/11.75	o 1006
11.69/11.77	c 6.587 47.8984 5779 168956
11.69/11.77	o 1002
11.69/11.78	c 6.593 47.8984 5783 169842
11.69/11.78	o 1000
11.69/11.79	c 6.6 47.8984 5787 170052
11.69/11.79	o 996
11.79/11.83	c 6.62399 47.8984 5822 170314
11.79/11.83	o 993
11.90/11.97	c 6.70898 47.8984 5931 170934
11.90/11.97	o 992
12.00/12.00	c 6.72598 47.8984 5954 171375
12.00/12.00	o 989
12.00/12.04	c 6.74397 47.8984 5974 171663
12.00/12.04	o 986
12.00/12.06	c 6.75897 47.8984 5994 171970
12.00/12.06	o 982
12.00/12.09	c 6.76997 47.8984 6014 172287
12.00/12.09	o 980
12.09/12.15	c 6.80497 47.8984 6099 172756
12.09/12.15	o 974
12.09/12.19	c 6.83696 47.8984 6146 172951
12.09/12.19	o 973
12.69/12.78	c 7.18491 47.8984 6647 174559
12.69/12.78	o 972
12.69/12.79	c 7.19591 47.8984 6650 174722
12.69/12.79	o 969
12.79/12.81	c 7.2059 47.8984 6654 175348
12.79/12.81	o 966
12.79/12.82	c 7.2139 47.8984 6656 175578
12.79/12.82	o 965
12.79/12.83	c 7.2189 47.8984 6657 175988
12.79/12.83	o 961
12.79/12.84	c 7.2219 47.8984 6660 176621
12.79/12.84	o 959
12.79/12.85	c 7.2279 47.8984 6660 177301
12.79/12.85	o 955
12.79/12.86	c 7.2339 47.8984 6661 178038
12.79/12.86	o 953
12.90/12.91	c 7.2619 47.8984 6713 178501
12.90/12.91	o 950
12.90/12.94	c 7.27589 47.8984 6730 178767
12.90/12.94	o 947
12.99/13.07	c 7.33788 47.8984 3423 179332
12.99/13.07	o 942
13.10/13.12	c 7.36888 47.8984 3459 179528
13.10/13.12	o 941
13.20/13.21	c 7.41087 47.8984 3552 179944
13.20/13.21	o 940
13.20/13.23	c 7.41887 47.8984 3557 180125
13.20/13.23	o 938
13.20/13.24	c 7.42487 47.8984 3563 180566
13.20/13.24	o 933
13.20/13.28	c 7.45287 47.8984 3596 180793
13.20/13.28	o 931
13.30/13.33	c 7.48186 47.8984 3639 181118
13.30/13.33	o 930
13.39/13.40	c 7.50886 47.8984 3680 181360
13.39/13.40	o 929
13.79/13.83	c 7.72283 47.8984 3989 182404
13.79/13.83	o 927
14.79/14.81	c 8.18675 47.8984 4711 184299
14.79/14.81	o 926
14.79/14.84	c 8.19975 47.8984 4723 184547
14.79/14.84	o 922
14.79/14.89	c 8.22275 47.8984 4744 184787
14.79/14.89	o 921
14.89/14.95	c 8.25375 47.8984 4783 185095
14.89/14.95	o 920
14.99/15.00	c 8.27974 47.8984 4825 185397
14.99/15.00	o 919
15.09/15.17	c 8.35373 47.8984 4958 186097
15.09/15.17	o 911
15.30/15.38	c 8.45971 47.8984 5121 186623
15.30/15.38	o 910
15.59/15.60	c 8.5727 47.8984 5310 187298
15.59/15.60	o 909
15.69/15.74	c 8.63669 47.8984 5415 187803
15.69/15.74	o 908
15.69/15.76	c 8.64968 47.8984 5425 188159
15.69/15.76	o 906
15.69/15.78	c 8.65768 47.8984 5428 188485
15.69/15.78	o 905
15.69/15.79	c 8.66368 47.8984 5433 188822
15.69/15.79	o 900
15.79/15.81	c 8.67168 47.8984 5447 189525
15.79/15.81	o 898
15.79/15.82	c 8.67668 47.8984 5449 189860
15.79/15.82	o 895
15.79/15.83	c 8.68368 47.8984 5469 190301
15.79/15.83	o 893
15.89/15.95	c 8.74167 47.8984 5578 190969
15.89/15.95	o 891
15.99/16.01	c 8.76967 47.8984 5623 191337
15.99/16.01	o 890
16.69/16.77	c 9.12461 47.8984 6261 192838
16.69/16.77	o 889
17.19/17.20	c 9.33058 47.8984 6724 193978
17.19/17.20	o 887
17.19/17.21	c 9.33958 47.8984 6747 194151
17.19/17.21	o 886
17.19/17.26	c 9.36458 47.8984 6786 194387
17.19/17.26	o 885
17.29/17.39	c 9.42857 47.8984 3467 194800
17.29/17.39	o 884
17.40/17.42	c 9.44156 47.8984 3484 194968
17.40/17.42	o 882
17.79/17.88	c 9.69353 47.8984 3971 196379
17.79/17.88	o 879
17.99/18.01	c 9.75252 47.8984 4093 196914
17.99/18.01	o 878
18.09/18.10	c 9.79951 47.8984 4149 197211
18.09/18.10	o 873
18.29/18.31	c 9.90549 47.8984 4355 198046
18.29/18.31	o 872
18.29/18.37	c 9.94049 47.8984 4383 198199
18.29/18.37	o 871
18.39/18.43	c 9.97648 47.8984 4429 198406
18.39/18.43	o 870
18.59/18.68	c 10.1315 47.8984 4681 199316
18.59/18.68	o 867
18.70/18.76	c 10.1835 47.8984 4736 199626
18.70/18.76	o 866
18.79/18.80	c 10.2104 47.8984 4755 199843
18.79/18.80	o 863
18.89/18.96	c 10.3034 47.8984 4920 200467
18.89/18.96	o 859
19.10/19.19	c 10.4364 47.8984 5105 201016
19.10/19.19	o 858
19.19/19.21	c 10.4464 47.8984 5112 201253
19.19/19.21	o 855
19.19/19.24	c 10.4674 47.8984 5130 201587
19.19/19.24	o 846
20.69/20.73	c 11.2163 47.8984 6407 204749
20.69/20.73	o 842
20.69/20.76	c 11.2373 47.8984 6431 204922
20.69/20.76	o 841
20.80/20.81	c 11.2553 47.8984 6474 205190
20.80/20.81	o 840
20.90/20.91	c 11.3123 47.8984 6586 205523
20.90/20.91	o 839
21.09/21.15	c 11.4333 48.0273 6803 206391
21.09/21.15	o 838
21.19/21.21	c 11.4613 48.0273 6837 206713
21.19/21.21	o 837
21.29/21.32	c 11.5172 48.0273 3474 207332
21.29/21.32	o 836
21.49/21.58	c 11.6362 48.0273 3730 208261
21.49/21.58	o 835
21.60/21.63	c 11.6542 48.0273 3781 208527
21.60/21.63	o 834
21.60/21.64	c 11.6622 48.0273 3787 208799
21.60/21.64	o 832
21.69/21.71	c 11.6932 48.0273 3852 209185
21.69/21.71	o 829
22.10/22.10	c 11.8712 48.0273 4174 210126
22.10/22.10	o 828
22.19/22.20	c 11.9212 48.0273 4267 210417
22.19/22.20	o 826
22.19/22.28	c 11.9562 48.0273 4384 210832
22.19/22.28	o 825
22.29/22.36	c 11.9972 48.0273 4430 211073
22.29/22.36	o 823
22.49/22.53	c 12.0982 48.0273 4580 211558
22.49/22.53	o 819
22.49/22.58	c 12.1192 48.0273 4621 211784
22.49/22.58	o 817
22.59/22.60	c 12.1302 48.0273 4636 212055
22.59/22.60	o 816
22.59/22.62	c 12.1392 48.0273 4643 212404
22.59/22.62	o 812
22.59/22.66	c 12.1631 48.0273 4676 212673
22.59/22.66	o 811
22.69/22.75	c 12.2201 48.0273 4779 213386
22.69/22.75	o 809
22.69/22.76	c 12.2281 48.0273 4785 213584
22.69/22.76	o 807
22.69/22.77	c 12.2331 48.0273 4787 213870
22.69/22.77	o 805
22.69/22.79	c 12.2421 48.0273 4799 214319
22.69/22.79	o 800
22.79/22.82	c 12.2581 48.0273 4816 214578
22.79/22.82	o 796
22.79/22.83	c 12.2681 48.0273 4828 214779
22.79/22.83	o 794
22.79/22.84	c 12.2751 48.0273 4830 214897
22.79/22.84	o 793
22.79/22.85	c 12.2801 48.0273 4832 215104
22.79/22.85	o 792
23.39/23.41	c 12.5451 48.0273 5290 216403
23.39/23.41	o 790
23.49/23.53	c 12.6131 48.0273 5408 216812
23.49/23.53	o 789
23.49/23.57	c 12.6341 48.0273 5441 216995
23.49/23.57	o 788
23.79/23.81	c 12.7571 48.0273 5673 217913
23.79/23.81	o 787
23.79/23.83	c 12.7681 48.0273 5702 218087
23.79/23.83	o 785
23.89/23.94	c 12.83 48.0273 5853 218555
23.89/23.94	o 784
23.89/23.97	c 12.847 48.0273 5881 218861
23.89/23.97	o 782
24.10/24.10	c 12.917 48.0273 5986 219381
24.10/24.10	o 780
24.10/24.13	c 12.933 48.0273 6006 219939
24.10/24.13	o 778
24.10/24.15	c 12.941 48.0273 6009 220223
24.10/24.15	o 777
24.10/24.16	c 12.945 48.0273 6011 220494
24.10/24.16	o 776
24.10/24.20	c 12.968 48.0273 6050 220921
24.10/24.20	o 775
24.39/24.42	c 13.087 48.0273 6227 221458
24.39/24.42	o 774
24.59/24.68	c 13.23 48.0273 6461 222206
24.59/24.68	o 772
24.69/24.70	c 13.24 48.0273 6478 222386
24.69/24.70	o 771
24.79/24.85	c 13.321 48.0273 6607 222823
24.79/24.85	o 770
24.79/24.87	c 13.332 48.0273 6618 223014
24.79/24.87	o 769
24.79/24.88	c 13.347 48.0273 6624 223118
24.79/24.88	o 768
24.90/24.98	c 13.401 48.0273 6692 223342
24.90/24.98	o 767
25.09/25.11	c 13.483 48.0273 6795 223708
25.09/25.11	o 766
25.09/25.12	c 13.4949 48.0273 6810 223844
25.09/25.12	o 765
25.20/25.22	c 13.5379 48.0273 6888 224138
25.20/25.22	o 764
25.30/25.32	c 13.6019 48.0273 3506 224561
25.30/25.32	o 762
25.30/25.33	c 13.6089 48.0273 3514 224712
25.30/25.33	o 761
25.30/25.34	c 13.6199 48.0273 3517 224953
25.30/25.34	o 760
25.30/25.36	c 13.6319 48.0273 3530 225095
25.30/25.36	o 758
25.39/25.46	c 13.6969 48.0273 3625 225558
25.39/25.46	o 756
25.39/25.49	c 13.7139 48.0273 3649 225727
25.39/25.49	o 754
25.49/25.51	c 13.7269 48.0273 3656 226216
25.49/25.51	o 753
25.59/25.69	c 13.8329 48.0273 3862 227223
25.59/25.69	o 748
25.69/25.73	c 13.8549 48.0273 3878 227446
25.69/25.73	o 747
25.79/25.85	c 13.9289 48.0273 4016 228054
25.79/25.85	o 745
26.09/26.18	c 14.1049 48.0273 4342 229053
26.09/26.18	o 743
26.30/26.37	c 14.2008 48.0273 4473 229573
26.30/26.37	o 740
26.30/26.40	c 14.2118 48.0273 4485 229832
26.30/26.40	o 738
26.40/26.42	c 14.2228 48.0273 4498 230081
26.40/26.42	o 735
26.40/26.46	c 14.2368 48.0273 4522 230319
26.40/26.46	o 733
26.49/26.53	c 14.2728 48.0273 4569 230537
26.49/26.53	o 731
26.49/26.59	c 14.3128 48.0273 4636 230806
26.49/26.59	o 729
26.59/26.66	c 14.3508 48.0273 4714 231184
26.59/26.66	o 726
26.69/26.78	c 14.4068 48.0273 4803 231499
26.69/26.78	o 725
26.79/26.89	c 14.4618 48.0273 4912 231933
26.79/26.89	o 724
26.89/26.95	c 14.4818 48.0273 4953 232216
26.89/26.95	o 720
27.29/27.31	c 14.6548 48.0273 5271 233198
27.29/27.31	o 719
27.29/27.32	c 14.6638 48.0273 5274 233367
27.29/27.32	o 717
27.29/27.35	c 14.6818 48.0273 5290 233578
27.29/27.35	o 715
27.29/27.37	c 14.6918 48.0273 5311 233889
27.29/27.37	o 713
27.40/27.42	c 14.7158 48.0273 5348 234054
27.40/27.42	o 711
27.40/27.43	c 14.7208 48.0273 5353 234319
27.40/27.43	o 710
27.40/27.49	c 14.7458 48.0273 5415 234650
27.40/27.49	o 709
27.50/27.51	c 14.7548 48.0273 5419 234891
27.50/27.51	o 708
27.50/27.53	c 14.7688 48.0273 5429 235138
27.50/27.53	o 705
27.50/27.55	c 14.7828 48.0273 5443 235450
27.50/27.55	o 703
27.50/27.58	c 14.7957 48.0273 5463 235671
27.50/27.58	o 699
27.70/27.71	c 14.8697 48.0273 5570 236148
27.70/27.71	o 698
27.70/27.74	c 14.8847 48.0273 5581 236421
27.70/27.74	o 692
27.70/27.77	c 14.8997 48.0273 5595 236698
27.70/27.77	o 689
27.79/27.89	c 14.9597 48.0273 5722 237163
27.79/27.89	o 687
27.90/27.98	c 15.0037 48.0273 5815 237523
27.90/27.98	o 686
28.00/28.00	c 15.0157 48.0273 5824 237624
28.00/28.00	o 684
28.19/28.26	c 15.1467 48.0273 6043 238575
28.19/28.26	o 676
28.29/28.39	c 15.2177 48.0273 6169 238991
28.29/28.39	o 675
28.79/28.83	c 15.4227 48.0273 6491 239931
28.79/28.83	o 672
29.09/29.15	c 15.5746 48.0273 6740 240970
29.09/29.15	o 670
29.19/29.29	c 15.6436 48.0273 6881 241564
29.19/29.29	o 669
29.30/29.30	c 15.6516 48.0273 6885 241804
29.30/29.30	o 667
29.30/29.38	c 15.6896 48.0273 6942 242074
29.30/29.38	o 662
29.39/29.41	c 15.7006 48.0273 6958 242324
29.39/29.41	o 659
29.39/29.47	c 15.7376 48.0273 3507 242514
29.39/29.47	o 658
29.49/29.52	c 15.7696 48.0273 3568 242705
29.49/29.52	o 657
29.49/29.56	c 15.7876 48.0273 3602 242969
29.49/29.56	o 653
29.60/29.61	c 15.8206 48.0273 3637 243223
29.60/29.61	o 649
29.70/29.72	c 15.8806 48.0273 3710 243504
29.70/29.72	o 648
29.79/29.89	c 15.9646 48.0273 3875 244132
29.79/29.89	o 644
29.89/29.94	c 15.9926 48.0273 3907 244380
29.89/29.94	o 642
29.89/29.99	c 16.0196 48.0273 3948 244609
29.89/29.99	o 639
29.99/30.08	c 16.0646 48.0273 4065 244983
29.99/30.08	o 638
29.99/30.09	c 16.0706 48.0273 4067 245112
29.99/30.09	o 637
30.09/30.10	c 16.0776 48.0273 4070 245261
30.09/30.10	o 636
30.09/30.12	c 16.0926 48.0273 4087 245454
30.09/30.12	o 634
30.09/30.14	c 16.0976 48.0273 4095 245743
30.09/30.14	o 632
30.09/30.15	c 16.1036 48.0273 4097 245930
30.09/30.15	o 630
30.09/30.16	c 16.1095 48.0273 4097 246039
30.09/30.16	o 628
30.09/30.16	c 16.1136 48.0273 4097 246113
30.09/30.16	o 627
30.09/30.17	c 16.1195 48.0273 4097 246245
30.09/30.17	o 622
30.09/30.18	c 16.1265 48.0273 4097 246315
30.09/30.18	o 620
30.09/30.19	c 16.1345 48.0273 4102 246436
30.09/30.19	o 617
30.29/30.35	c 16.2185 48.0273 4262 247099
30.29/30.35	o 614
30.39/30.42	c 16.2475 48.0273 4302 247290
30.39/30.42	o 613
30.39/30.46	c 16.2675 48.0273 4328 247413
30.39/30.46	o 612
30.39/30.47	c 16.2765 48.0273 4332 247596
30.39/30.47	o 611
30.39/30.49	c 16.2845 48.0273 4337 247847
30.39/30.49	o 609
30.60/30.69	c 16.3845 48.0273 4527 248611
30.60/30.69	o 608
30.69/30.70	c 16.3905 48.0273 4527 248720
30.69/30.70	o 606
30.69/30.71	c 16.3955 48.0273 4527 248804
30.69/30.71	o 605
30.69/30.79	c 16.4365 48.0273 4580 249016
30.69/30.79	o 604
30.80/30.90	c 16.4885 48.0273 4683 249378
30.80/30.90	o 601
30.89/30.98	c 16.5325 48.0273 4745 249558
30.89/30.98	o 600
30.99/31.04	c 16.5635 48.0273 4777 249777
30.99/31.04	o 596
31.50/31.50	c 16.8024 48.0273 5189 251096
31.50/31.50	o 594
31.50/31.51	c 16.8084 48.0273 5192 251234
31.50/31.51	o 592
31.50/31.52	c 16.8164 48.0273 5194 251448
31.50/31.52	o 589
31.50/31.56	c 16.8394 48.0273 5217 251628
31.50/31.56	o 587
31.79/31.82	c 16.9954 48.0273 5425 252383
31.79/31.82	o 586
31.79/31.88	c 17.0264 48.0273 5467 252583
31.79/31.88	o 584
32.29/32.30	c 17.2734 48.0273 5787 253629
32.29/32.30	o 581
32.29/32.35	c 17.3044 48.0273 5835 253853
32.29/32.35	o 579
32.39/32.43	c 17.3434 48.0273 5910 254185
32.39/32.43	o 578
32.49/32.59	c 17.4263 48.0273 6025 254550
32.49/32.59	o 577
32.60/32.68	c 17.4713 48.0273 6100 254896
32.60/32.68	o 576
32.79/32.80	c 17.5453 48.0273 6215 255528
32.79/32.80	o 574
32.79/32.82	c 17.5563 48.0273 6234 255689
32.79/32.82	o 573
33.19/33.24	c 17.7863 48.0273 6591 256951
33.19/33.24	o 571
33.29/33.37	c 17.8543 48.0273 6705 257446
33.29/33.37	o 570
33.29/33.38	c 17.8603 48.0273 6708 257561
33.29/33.38	o 569
34.39/34.42	c 18.3972 48.1562 3835 259865
34.39/34.42	o 567
34.39/34.44	c 18.4062 48.1562 3840 259978
34.39/34.44	o 566
34.39/34.45	c 18.4112 48.1562 3845 260150
34.39/34.45	o 564
34.39/34.47	c 18.4182 48.1562 3853 260300
34.39/34.47	o 561
34.49/34.52	c 18.4462 48.1562 3890 260528
34.49/34.52	o 559
35.10/35.13	c 18.7312 48.1562 4413 261965
35.10/35.13	o 556
35.10/35.15	c 18.7442 48.1562 4436 262165
35.10/35.15	o 554
35.10/35.17	c 18.7541 48.1562 4441 262317
35.10/35.17	o 550
35.10/35.20	c 18.7701 48.1562 4456 262479
35.10/35.20	o 547
35.20/35.24	c 18.7861 48.1562 4473 262783
35.20/35.24	o 546
35.20/35.29	c 18.8091 48.1562 4525 263005
35.20/35.29	o 544
35.49/35.58	c 18.9621 48.1562 4752 263690
35.49/35.58	o 542
35.59/35.67	c 19.0201 48.1562 4815 263897
35.59/35.67	o 541
35.69/35.72	c 19.0451 48.1562 4837 264007
35.69/35.72	o 540
35.69/35.73	c 19.0551 48.1562 4844 264109
35.69/35.73	o 539
35.69/35.75	c 19.0751 48.1562 4857 264283
35.69/35.75	o 535
35.89/35.99	c 19.1791 48.1562 5017 264816
35.89/35.99	o 534
36.19/36.21	c 19.2801 48.1562 5199 265439
36.19/36.21	o 532
36.19/36.23	c 19.2911 48.1562 5207 265744
36.19/36.23	o 530
36.19/36.24	c 19.2991 48.1562 5219 265929
36.19/36.24	o 528
36.19/36.29	c 19.3311 48.1562 5261 266101
36.19/36.29	o 527
36.30/36.30	c 19.3371 48.1562 5268 266270
36.30/36.30	o 526
36.50/36.56	c 19.468 48.1562 5449 266981
36.50/36.56	o 522
36.50/36.57	c 19.477 48.1562 5454 267049
36.50/36.57	o 521
36.69/36.76	c 19.583 48.1562 5585 267413
36.69/36.76	o 519
36.99/37.04	c 19.714 48.1562 5753 267997
36.99/37.04	o 517
36.99/37.08	c 19.738 48.1562 5781 268164
36.99/37.08	o 516
37.09/37.15	c 19.771 48.1562 5820 268310
37.09/37.15	o 514
37.09/37.19	c 19.786 48.1562 5857 268502
37.09/37.19	o 513
37.19/37.25	c 19.817 48.1562 5896 268696
37.19/37.25	o 512
37.30/37.36	c 19.874 48.1562 5965 269078
37.30/37.36	o 510
37.30/37.37	c 19.882 48.1562 5971 269223
37.30/37.37	o 508
37.40/37.42	c 19.901 48.1562 6005 269374
37.40/37.42	o 507
37.40/37.49	c 19.939 48.1562 6078 269712
37.40/37.49	o 505
37.50/37.51	c 19.945 48.1562 6085 269840
37.50/37.51	o 504
37.50/37.52	c 19.951 48.1562 6090 270042
37.50/37.52	o 502
37.50/37.57	c 19.974 48.1562 6118 270202
37.50/37.57	o 500
37.59/37.69	c 20.036 48.1562 6213 270636
37.59/37.69	o 499
37.69/37.71	c 20.049 48.1562 6230 270841
37.69/37.71	o 497
37.69/37.74	c 20.0659 48.1562 6258 270968
37.69/37.74	o 496
38.00/38.03	c 20.2279 48.1562 6493 271711
38.00/38.03	o 495
38.00/38.04	c 20.2349 48.1562 6498 271880
38.00/38.04	o 492
38.00/38.08	c 20.2559 48.1562 6525 272057
38.00/38.08	o 490
38.09/38.14	c 20.2889 48.1562 6565 272304
38.09/38.14	o 489
38.09/38.16	c 20.2989 48.1562 6578 272584
38.09/38.16	o 485
38.09/38.19	c 20.3189 48.1562 6599 272735
38.09/38.19	o 483
38.19/38.20	c 20.3279 48.1562 6606 272844
38.19/38.20	o 481
38.29/38.30	c 20.3809 48.1562 6709 273279
38.29/38.30	o 479
38.29/38.32	c 20.3919 48.1562 6717 273475
38.29/38.32	o 476
38.29/38.33	c 20.4039 48.1562 6727 273597
38.29/38.33	o 475
38.29/38.35	c 20.4179 48.1562 6741 273825
38.29/38.35	o 471
38.40/38.47	c 20.4919 48.1562 6831 274167
38.40/38.47	o 468
38.49/38.54	c 20.5349 48.1562 6894 274374
38.49/38.54	o 466
38.59/38.60	c 20.5679 48.1562 6951 274765
38.59/38.60	o 464
38.59/38.62	c 20.5789 48.1562 6959 274945
38.59/38.62	o 459
38.59/38.64	c 20.5999 48.1562 6975 275061
38.59/38.64	o 458
38.59/38.67	c 20.6199 48.1562 6996 275242
38.59/38.67	o 457
38.70/38.70	c 20.6319 48.1562 7024 275442
38.70/38.70	o 456
38.80/38.83	c 20.7218 48.1562 3588 275920
38.80/38.83	o 453
38.89/38.98	c 20.8128 48.1562 3700 276370
38.89/38.98	o 451
38.99/39.03	c 20.8458 48.1562 3735 276579
38.99/39.03	o 448
38.99/39.07	c 20.8588 48.1562 3762 276784
38.99/39.07	o 447
38.99/39.08	c 20.8668 48.1562 3767 276965
38.99/39.08	o 445
39.09/39.10	c 20.8788 48.1562 3779 277076
39.09/39.10	o 443
39.19/39.26	c 20.9558 48.1562 3912 277524
39.19/39.26	o 442
39.19/39.29	c 20.9748 48.1562 3934 277690
39.19/39.29	o 441
39.29/39.33	c 20.9958 48.1562 3960 277972
39.29/39.33	o 435
39.29/39.34	c 21.0048 48.1562 3961 278078
39.29/39.34	o 433
39.29/39.35	c 21.0068 48.1562 3962 278155
39.29/39.35	o 432
39.29/39.38	c 21.0238 48.1562 3982 278300
39.29/39.38	o 430
39.39/39.45	c 21.0588 48.1562 4091 278661
39.39/39.45	o 429
39.39/39.48	c 21.0788 48.1562 4116 278895
39.39/39.48	o 427
39.49/39.51	c 21.0918 48.1562 4127 279105
39.49/39.51	o 426
39.60/39.62	c 21.1588 48.1562 4221 279418
39.60/39.62	o 424
39.69/39.71	c 21.2108 48.1562 4309 279726
39.69/39.71	o 423
39.69/39.72	c 21.2188 48.1562 4315 279783
39.69/39.72	o 422
39.69/39.78	c 21.2458 48.1562 4346 279966
39.69/39.78	o 421
40.09/40.11	c 21.4067 48.1562 4653 280934
40.09/40.11	o 419
40.20/40.20	c 21.4547 48.1562 4706 281214
40.20/40.20	o 417
40.30/40.31	c 21.5237 48.1562 4789 281565
40.30/40.31	o 413
40.30/40.38	c 21.5607 48.1562 4834 281773
40.30/40.38	o 412
40.39/40.46	c 21.5967 48.1562 4892 282178
40.39/40.46	o 410
40.59/40.62	c 21.6847 48.1562 5016 282586
40.59/40.62	o 407
40.59/40.65	c 21.7017 48.1562 5044 282754
40.59/40.65	o 405
40.69/40.77	c 21.7677 48.1562 5158 283086
40.69/40.77	o 404
40.69/40.78	c 21.7757 48.1562 5168 283220
40.69/40.78	o 403
40.79/40.85	c 21.8137 48.1562 5217 283494
40.79/40.85	o 401
40.89/40.90	c 21.8407 48.2852 5260 283722
40.89/40.90	o 400
40.99/41.07	c 21.9277 48.2852 5367 284102
40.99/41.07	o 398
41.09/41.10	c 21.9397 48.2852 5380 284187
41.09/41.10	o 397
41.09/41.11	c 21.9457 48.2852 5385 284343
41.09/41.11	o 393
41.09/41.12	c 21.9517 48.2852 5388 284455
41.09/41.12	o 392
41.09/41.13	c 21.9577 48.2852 5393 284607
41.09/41.13	o 390
41.09/41.18	c 21.9757 48.2852 5418 284806
41.09/41.18	o 389
41.30/41.31	c 22.0456 48.2852 5524 285498
41.30/41.31	o 385
41.30/41.39	c 22.0916 48.2852 5578 285917
41.30/41.39	o 384
41.39/41.41	c 22.1006 48.2852 5593 286064
41.39/41.41	o 383
41.39/41.45	c 22.1196 48.2852 5615 286180
41.39/41.45	o 382
41.69/41.74	c 22.2786 48.2852 5843 286851
41.69/41.74	o 379
41.79/41.81	c 22.3136 48.2852 5883 287082
41.79/41.81	o 375
41.89/41.90	c 22.3546 48.2852 5948 287351
41.89/41.90	o 371
41.89/41.95	c 22.3886 48.2852 5996 287610
41.89/41.95	o 370
41.99/42.00	c 22.4136 48.2852 6025 287745
41.99/42.00	o 369
41.99/42.05	c 22.4366 48.2852 6051 287952
41.99/42.05	o 366
41.99/42.08	c 22.4546 48.2852 6068 288104
41.99/42.08	o 365
42.09/42.13	c 22.4936 48.2852 6140 288405
42.09/42.13	o 363
42.09/42.16	c 22.5116 48.2852 6167 288596
42.09/42.16	o 362
42.20/42.26	c 22.5606 48.2852 6256 288931
42.20/42.26	o 359
42.20/42.28	c 22.5736 48.2852 6290 289069
42.20/42.28	o 358
42.39/42.44	c 22.6466 48.2852 6392 289425
42.39/42.44	o 357
42.39/42.45	c 22.6536 48.2852 6395 289572
42.39/42.45	o 355
42.39/42.48	c 22.6646 48.2852 6406 289763
42.39/42.48	o 353
42.49/42.51	c 22.6816 48.2852 6434 290065
42.49/42.51	o 349
42.59/42.63	c 22.7505 48.2852 6555 290503
42.59/42.63	o 348
42.59/42.66	c 22.7635 48.2852 6570 290596
42.59/42.66	o 347
42.59/42.68	c 22.7735 48.2852 6581 290723
42.59/42.68	o 346
42.80/42.87	c 22.8705 48.2852 6712 291328
42.80/42.87	o 342
42.90/42.98	c 22.9245 48.2852 6811 291640
42.90/42.98	o 338
42.99/43.07	c 22.9655 48.2852 6877 292023
42.99/43.07	o 337
43.09/43.18	c 23.0255 48.2852 6959 292386
43.09/43.18	o 336
43.19/43.23	c 23.0605 48.2852 6996 292527
43.19/43.23	o 335
43.19/43.24	c 23.0665 48.2852 6998 292704
43.19/43.24	o 331
43.19/43.25	c 23.0725 48.2852 6998 292780
43.19/43.25	o 330
43.19/43.29	c 23.0965 48.2852 7019 293007
43.19/43.29	o 328
43.29/43.31	c 23.1105 48.2852 7039 293175
43.29/43.31	o 324
43.29/43.35	c 23.1315 48.2852 7071 293435
43.29/43.35	o 323
43.29/43.38	c 23.1565 48.2852 7124 293595
43.29/43.38	o 322
43.39/43.43	c 23.1795 48.2852 7185 293902
43.39/43.43	o 321
43.39/43.45	c 23.1955 48.2852 3614 294070
43.39/43.45	o 320
43.59/43.66	c 23.2945 48.2852 3810 294754
43.59/43.66	o 319
43.80/43.89	c 23.4204 48.2852 4033 295338
43.80/43.89	o 318
43.90/43.99	c 23.4724 48.2852 4148 295781
43.90/43.99	o 316
44.00/44.02	c 23.4844 48.2852 4168 295927
44.00/44.02	o 315
44.00/44.08	c 23.5164 48.2852 4218 296202
44.00/44.08	o 314
44.00/44.10	c 23.5274 48.2852 4225 296311
44.00/44.10	o 312
44.09/44.12	c 23.5394 48.2852 4236 296504
44.09/44.12	o 311
44.19/44.24	c 23.6134 48.2852 4330 296736
44.19/44.24	o 310
44.19/44.28	c 23.6264 48.2852 4351 296904
44.19/44.28	o 307
44.29/44.32	c 23.6504 48.2852 4394 297068
44.29/44.32	o 306
44.29/44.34	c 23.6644 48.2852 4411 297184
44.29/44.34	o 304
44.29/44.35	c 23.6734 48.2852 4417 297304
44.29/44.35	o 303
44.29/44.37	c 23.6854 48.2852 4426 297403
44.29/44.37	o 301
44.59/44.60	c 23.8124 48.2852 4603 297959
44.59/44.60	o 300
44.79/44.80	c 23.9284 48.2852 4773 298488
44.79/44.80	o 298
44.79/44.87	c 23.9694 48.2852 4824 298642
44.79/44.87	o 297
44.79/44.89	c 23.9814 48.2852 4836 298812
44.79/44.89	o 292
44.89/44.96	c 24.0263 48.2852 4909 299085
44.89/44.96	o 290
44.89/44.97	c 24.0363 48.2852 4915 299164
44.89/44.97	o 289
44.89/44.98	c 24.0403 48.2852 4916 299226
44.89/44.98	o 288
44.89/44.99	c 24.0453 48.2852 4916 299264
44.89/44.99	o 287
44.89/45.00	c 24.0513 48.2852 4917 299351
44.89/45.00	o 285
45.00/45.08	c 24.1053 48.2852 4979 299582
45.00/45.08	o 283
45.19/45.23	c 24.2113 48.2852 5114 300066
45.19/45.23	o 281
45.19/45.24	c 24.2193 48.2852 5114 300110
45.19/45.24	o 280
45.19/45.25	c 24.2253 48.2852 5114 300149
45.19/45.25	o 279
45.19/45.25	c 24.2313 48.2852 5115 300206
45.19/45.25	o 277
45.19/45.26	c 24.2363 48.2852 5116 300265
45.19/45.26	o 276
45.29/45.33	c 24.2783 48.2852 5171 300496
45.29/45.33	o 275
45.50/45.52	c 24.3943 48.2852 5328 301046
45.50/45.52	o 274
45.50/45.55	c 24.4143 48.2852 5356 301158
45.50/45.55	o 273
45.50/45.59	c 24.4413 48.2852 5387 301329
45.50/45.59	o 271
45.59/45.65	c 24.4663 48.2852 5419 301496
45.59/45.65	o 269
45.59/45.66	c 24.4753 48.2852 5426 301553
45.59/45.66	o 268
45.69/45.70	c 24.4923 48.2852 5445 301742
45.69/45.70	o 265
45.69/45.73	c 24.5103 48.2852 5460 301871
45.69/45.73	o 264
45.69/45.74	c 24.5153 48.2852 5464 301914
45.69/45.74	o 263
45.69/45.76	c 24.5333 48.2852 5481 302021
45.69/45.76	o 262
45.69/45.79	c 24.5523 48.2852 5494 302094
45.69/45.79	o 260
46.00/46.02	c 24.6792 48.2852 5702 302681
46.00/46.02	o 259
46.00/46.03	c 24.6832 48.2852 5687 302732
46.00/46.03	o 257
46.00/46.03	c 24.6882 48.2852 5687 302795
46.00/46.03	o 256
46.00/46.04	c 24.6942 48.2852 5688 302842
46.00/46.04	o 254
46.00/46.05	c 24.6972 48.2852 5690 302908
46.00/46.05	o 251
46.29/46.32	c 24.8552 48.2852 5875 303293
46.29/46.32	o 250
46.29/46.34	c 24.8702 48.2852 5893 303459
46.29/46.34	o 249
46.39/46.43	c 24.9172 48.2852 5956 303690
46.39/46.43	o 247
46.39/46.46	c 24.9402 48.2852 5971 303785
46.39/46.46	o 246
46.49/46.55	c 24.9862 48.2852 6031 303988
46.49/46.55	o 245
46.70/46.70	c 25.0752 48.2852 6154 304340
46.70/46.70	o 244
46.70/46.76	c 25.1052 48.2852 6206 304578
46.70/46.76	o 242
46.79/46.81	c 25.1412 48.2852 6256 304825
46.79/46.81	o 240
46.79/46.82	c 25.1502 48.2852 6260 304934
46.79/46.82	o 236
46.79/46.83	c 25.1562 48.2852 6263 305028
46.79/46.83	o 235
46.79/46.85	c 25.1672 48.2852 6271 305154
46.79/46.85	o 234
46.79/46.88	c 25.1822 48.2852 6292 305231
46.79/46.88	o 233
46.99/47.05	c 25.2672 48.2852 6400 305570
46.99/47.05	o 231
46.99/47.05	c 25.2722 48.2852 6400 305627
46.99/47.05	o 229
46.99/47.06	c 25.2762 48.2852 6401 305686
46.99/47.06	o 228
47.09/47.10	c 25.3022 48.2852 6429 305769
47.09/47.10	o 227
47.09/47.14	c 25.3231 48.2852 6460 305987
47.09/47.14	o 226
47.09/47.15	c 25.3321 48.2852 6463 306081
47.09/47.15	o 224
47.09/47.16	c 25.3411 48.2852 6467 306173
47.09/47.16	o 223
47.09/47.17	c 25.3451 48.2852 6467 306238
47.09/47.17	o 221
47.09/47.18	c 25.3491 48.2852 6467 306290
47.09/47.18	o 219
47.09/47.18	c 25.3551 48.2852 6468 306348
47.09/47.18	o 217
47.09/47.19	c 25.3591 48.2852 6468 306389
47.09/47.19	o 216
47.09/47.20	c 25.3641 48.2852 6468 306449
47.09/47.20	o 214
47.20/47.21	c 25.3691 48.2852 6468 306498
47.20/47.21	o 212
47.20/47.26	c 25.3971 48.2852 6506 306716
47.20/47.26	o 209
47.30/47.31	c 25.4271 48.2852 6557 306889
47.30/47.31	o 208
47.49/47.52	c 25.5401 48.2852 6700 307304
47.49/47.52	o 207
47.49/47.57	c 25.5761 48.2852 6722 307476
47.49/47.57	o 206
47.49/47.59	c 25.5851 48.2852 6728 307598
47.49/47.59	o 205
47.60/47.63	c 25.6071 48.2852 6766 307745
47.60/47.63	o 204
47.69/47.71	c 25.6501 48.4141 6808 307866
47.69/47.71	o 203
47.79/47.83	c 25.7101 48.4141 6907 308323
47.79/47.83	o 199
47.90/47.92	c 25.7581 48.4141 6999 308553
47.90/47.92	o 198
47.90/47.94	c 25.7701 48.4141 7009 308660
47.90/47.94	o 197
47.90/47.96	c 25.7791 48.4141 7015 308817
47.90/47.96	o 195
47.90/47.99	c 25.7951 48.4141 7050 309052
47.90/47.99	o 193
47.99/48.02	c 25.8171 48.4141 7080 309272
47.99/48.02	o 192
47.99/48.04	c 25.8281 48.4141 7092 309419
47.99/48.04	o 191
47.99/48.05	c 25.8401 48.4141 7103 309634
47.99/48.05	o 188
48.09/48.13	c 25.8791 48.4141 7155 309834
48.09/48.13	o 185
48.20/48.20	c 25.9141 48.4141 7203 310216
48.20/48.20	o 184
48.20/48.23	c 25.9331 48.4141 7234 310292
48.20/48.23	o 183
48.30/48.33	c 25.981 48.4141 3673 310485
48.30/48.33	o 182
48.30/48.37	c 26.005 48.4141 3692 310629
48.30/48.37	o 180
48.30/48.40	c 26.023 48.4141 3709 310691
48.30/48.40	o 179
48.40/48.45	c 26.049 48.4141 3742 311039
48.40/48.45	o 178
48.50/48.59	c 26.121 48.4141 3848 311323
48.50/48.59	o 177
48.59/48.62	c 26.14 48.4141 3853 311386
48.59/48.62	o 176
48.59/48.64	c 26.149 48.4141 3871 311551
48.59/48.64	o 175
48.59/48.68	c 26.177 48.4141 3923 311648
48.59/48.68	o 174
48.70/48.72	c 26.195 48.4141 3946 311802
48.70/48.72	o 173
48.89/48.90	c 26.286 48.4141 4063 312109
48.89/48.90	o 172
48.89/48.92	c 26.304 48.4141 4081 312238
48.89/48.92	o 170
48.99/49.06	c 26.392 48.4141 4199 312576
48.99/49.06	o 169
49.09/49.13	c 26.431 48.4141 4251 312737
49.09/49.13	o 168
49.09/49.15	c 26.437 48.4141 4256 312795
49.09/49.15	o 167
49.20/49.20	c 26.466 48.4141 4279 312932
49.20/49.20	o 165
49.20/49.23	c 26.478 48.4141 4294 312995
49.20/49.23	o 164
49.20/49.29	c 26.512 48.4141 4320 313105
49.20/49.29	o 161
49.29/49.33	c 26.54 48.4141 4350 313190
49.29/49.33	o 160
49.29/49.37	c 26.555 48.4141 4371 313290
49.29/49.37	o 159
49.39/49.44	c 26.597 48.4141 4437 313541
49.39/49.44	o 158
49.39/49.47	c 26.612 48.4141 4453 313710
49.39/49.47	o 153
49.49/49.51	c 26.633 48.4141 4485 313875
49.49/49.51	o 149
49.49/49.54	c 26.6459 48.4141 4499 314041
49.49/49.54	o 148
49.49/49.57	c 26.6629 48.4141 4517 314223
49.49/49.57	o 143
49.59/49.63	c 26.6969 48.4141 4548 314431
49.59/49.63	o 139
49.59/49.68	c 26.7289 48.4141 4572 314544
49.59/49.68	o 138
49.69/49.73	c 26.7539 48.4141 4597 314704
49.69/49.73	o 134
49.69/49.75	c 26.7649 48.4141 4609 314845
49.69/49.75	o 131
49.69/49.76	c 26.7709 48.4141 4612 314884
49.69/49.76	o 130
49.69/49.77	c 26.7769 48.4141 4620 314930
49.69/49.77	o 129
49.80/49.81	c 26.7999 48.4141 4659 315085
49.80/49.81	o 127
49.80/49.86	c 26.8229 48.4141 4681 315252
49.80/49.86	o 124
49.80/49.87	c 26.8299 48.4141 4681 315333
49.80/49.87	o 122
49.80/49.88	c 26.8359 48.4141 4681 315381
49.80/49.88	o 120
49.80/49.88	c 26.8409 48.4141 4681 315409
49.80/49.88	o 119
49.80/49.89	c 26.8439 48.4141 4685 315437
49.80/49.89	o 118
49.89/49.93	c 26.8629 48.4141 4714 315520
49.89/49.93	o 117
49.89/49.99	c 26.8929 48.4141 4747 315736
49.89/49.99	o 115
49.89/49.99	c 26.8999 48.4141 4747 315789
49.89/49.99	o 113
50.00/50.00	c 26.9049 48.4141 4747 315834
50.00/50.00	o 112
50.00/50.01	c 26.9099 48.4141 4747 315891
50.00/50.01	o 109
50.00/50.02	c 26.9149 48.4141 4747 315935
50.00/50.02	o 108
50.00/50.02	c 26.9189 48.4141 4747 315971
50.00/50.02	o 106
50.00/50.03	c 26.9239 48.4141 4748 316011
50.00/50.03	o 104
50.00/50.08	c 26.9459 48.4141 4779 316167
50.00/50.08	o 103
50.09/50.10	c 26.9579 48.4141 4794 316256
50.09/50.10	o 101
50.09/50.11	c 26.9659 48.4141 4799 316366
50.09/50.11	o 100
50.09/50.12	c 26.9699 48.4141 4802 316456
50.09/50.12	o 98
50.09/50.16	c 26.9889 48.4141 4826 316604
50.09/50.16	o 97
50.09/50.17	c 26.9959 48.4141 4835 316707
50.09/50.17	o 96
50.09/50.19	c 27.0069 48.4141 4854 316840
50.09/50.19	o 95
50.29/50.32	c 27.0709 48.4141 4349 317264
50.29/50.32	o 91
50.29/50.33	c 27.0789 48.4141 4355 317368
50.29/50.33	o 90
50.29/50.34	c 27.0889 48.4141 4365 317455
50.29/50.34	o 89
50.39/50.41	c 27.1319 48.4141 4425 317634
50.39/50.41	o 86
50.39/50.44	c 27.1489 48.4141 3784 317742
50.39/50.44	o 85
50.39/50.46	c 27.1579 48.4141 3795 317851
50.39/50.46	o 82
50.39/50.49	c 27.1729 48.4141 3814 317920
50.39/50.49	o 81
50.39/50.50	c 27.1789 48.4141 3824 318030
50.39/50.50	o 77
50.49/50.51	c 27.1889 48.4141 3623 318077
50.49/50.51	o 76
50.49/50.52	c 27.1929 48.4141 3623 318102
50.49/50.52	o 75
50.49/50.53	c 27.2019 48.4141 3627 318174
50.49/50.53	o 73
50.49/50.54	c 27.2079 48.4141 3630 318233
50.49/50.54	o 71
50.49/50.55	c 27.2149 48.4141 3632 318303
50.49/50.55	o 69
50.49/50.55	c 27.2209 48.4141 3635 318405
50.49/50.55	o 68
50.49/50.57	c 27.2289 48.4141 3650 318579
50.49/50.57	o 64
50.49/50.58	c 27.2369 48.4141 3658 318636
50.49/50.58	o 62
50.49/50.59	c 27.2399 48.4141 3658 318650
50.49/50.59	o 61
50.59/50.61	c 27.2529 48.4141 3675 318722
50.59/50.61	o 60
50.59/50.61	c 27.2569 48.4141 1876 318778
50.59/50.61	o 58
50.59/50.62	c 27.2599 48.4141 1876 318828
50.59/50.62	o 57
50.59/50.63	c 27.2619 48.4141 1876 318886
50.59/50.63	o 55
50.59/50.63	c 27.2649 48.4141 1876 318909
50.59/50.63	o 54
50.59/50.64	c 27.2689 48.4141 1876 318953
50.59/50.64	o 53
50.59/50.64	c 27.2729 48.4141 1876 319010
50.59/50.64	o 50
50.59/50.65	c 27.2769 48.4141 1878 319041
50.59/50.65	o 49
50.59/50.66	c 27.2819 48.4141 1879 319093
50.59/50.66	o 48
50.59/50.66	c 27.2849 48.4141 1879 319161
50.59/50.66	o 47
50.59/50.67	c 27.2869 48.4141 1879 319217
50.59/50.67	o 46
50.59/50.67	c 27.2909 48.4141 1879 319264
50.59/50.67	o 44
50.59/50.68	c 27.2959 48.4141 1416 319279
50.59/50.68	o 43
50.59/50.69	c 27.3038 48.4141 1424 319422
50.59/50.69	o 41
50.59/50.69	c 27.3078 48.4141 1427 319553
50.59/50.69	o 37
50.70/50.70	c 27.3118 48.4141 1428 319582
50.70/50.70	o 36
50.70/50.70	c 27.3138 48.4141 1429 319664
50.70/50.70	o 32
50.70/50.72	c 27.3238 48.4141 1444 319716
50.70/50.72	o 31
50.70/50.72	c 27.3268 48.4141 963 319768
50.70/50.72	o 28
50.70/50.72	c 27.3298 48.4141 963 319781
50.70/50.72	o 27
50.70/50.73	c 27.3348 48.4141 966 319883
50.70/50.73	o 23
50.70/50.74	c 27.3388 48.4141 966 319952
50.70/50.74	o 21
50.70/50.74	c 27.3408 48.4141 966 319988
50.70/50.74	o 19
50.70/50.74	c 27.3448 48.4141 968 320017
50.70/50.74	o 18
50.70/50.75	c 27.3488 48.4141 969 320049
50.70/50.75	o 17
50.70/50.76	c 27.3548 48.4141 976 320126
50.70/50.76	o 16
50.70/50.76	c 27.3578 48.4141 534 320200
50.70/50.76	o 12
50.70/50.76	c 27.3618 48.4141 534 320212
50.70/50.76	o 11
50.70/50.77	c 27.3648 48.4141 535 320234
50.70/50.77	o 10
50.70/50.77	c 27.3678 48.4141 535 320248
50.70/50.77	o 9
50.70/50.77	c 27.3708 48.4141 537 320285
50.70/50.77	o 8
50.70/50.78	c 27.3728 48.4141 539 320336
50.70/50.78	o 7
50.70/50.78	c 27.3748 48.4141 539 320417
50.70/50.78	o 4
50.70/50.78	c 27.3768 48.4141 539 320442
50.70/50.78	o 3
50.70/50.78	c 27.3788 48.4141 539 320455
50.70/50.78	o 2
50.70/50.79	c 27.3788 48.4141 541 320457
50.70/50.79	s OPTIMUM FOUND
50.70/50.79	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

Verifier Data 

OK	2

Watcher Data 

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 1.99 1.91 4/178 13084
/proc/meminfo: memFree=30584068/32951124 swapFree=67111528/67111528
[pid=13084] ppid=13082 vsize=2136 CPUtime=0
/proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 254 0 0 0 0 0 0 0 25 0 1 0 14412716 2187264 174 4089446400 134512640 136422188 4288586832 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13084/statm: 534 174 144 467 0 65 0

[startup+0.059878 s]
/proc/loadavg: 2.00 1.99 1.91 4/178 13084
/proc/meminfo: memFree=30584068/32951124 swapFree=67111528/67111528
[pid=13084] ppid=13082 vsize=2796 CPUtime=0.05
/proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 407 0 0 0 5 0 0 0 25 0 1 0 14412716 2863104 327 4089446400 134512640 136422188 4288586832 18446744073709551615 135822034 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13084/statm: 699 327 144 467 0 230 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2796

[startup+0.100871 s]
/proc/loadavg: 2.00 1.99 1.91 4/178 13084
/proc/meminfo: memFree=30584068/32951124 swapFree=67111528/67111528
[pid=13084] ppid=13082 vsize=3324 CPUtime=0.1
/proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 530 0 0 0 10 0 0 0 25 0 1 0 14412716 3403776 450 4089446400 134512640 136422188 4288586832 18446744073709551615 135830093 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13084/statm: 831 450 145 467 0 362 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3324

[startup+0.300836 s]
/proc/loadavg: 2.00 1.99 1.91 4/178 13084
/proc/meminfo: memFree=30584068/32951124 swapFree=67111528/67111528
[pid=13084] ppid=13082 vsize=45088 CPUtime=0.29
/proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 11207 0 0 0 29 0 0 0 25 0 1 0 14412716 46170112 10501 4089446400 134512640 136422188 4288586832 18446744073709551615 135006950 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13084/statm: 11272 10501 203 467 0 10803 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45088

[startup+0.700761 s]
/proc/loadavg: 2.00 1.99 1.91 4/178 13084
/proc/meminfo: memFree=30584068/32951124 swapFree=67111528/67111528
[pid=13084] ppid=13082 vsize=47988 CPUtime=0.69
/proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 11950 0 0 0 61 8 0 0 25 0 1 0 14412716 49139712 11090 4089446400 134512640 136422188 4288586832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13084/statm: 11997 11090 236 467 0 11528 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47988

[startup+1.50062 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 13085
/proc/meminfo: memFree=30540412/32951124 swapFree=67111528/67111528
[pid=13084] ppid=13082 vsize=47988 CPUtime=1.49
/proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 11968 0 0 0 123 26 0 0 18 0 1 0 14412716 49139712 11092 4089446400 134512640 136422188 4288586832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13084/statm: 11997 11092 237 467 0 11528 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47988

[startup+3.10036 s]
/proc/loadavg: 2.00 1.99 1.91 2/177 13085
/proc/meminfo: memFree=30641944/32951124 swapFree=67111528/67111528
[pid=13084] ppid=13082 vsize=48252 CPUtime=3.09
/proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 12075 0 0 0 223 86 0 0 20 0 1 0 14412716 49410048 11154 4089446400 134512640 136422188 4288586832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13084/statm: 12063 11154 237 467 0 11594 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48252

[startup+6.30076 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 13139
/proc/meminfo: memFree=30576640/32951124 swapFree=67111528/67111528
[pid=13084] ppid=13082 vsize=48780 CPUtime=6.29
/proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 12215 0 0 0 388 241 0 0 20 0 1 0 14412716 49950720 11279 4089446400 134512640 136422188 4288586832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13084/statm: 12195 11279 237 467 0 11726 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48780

[startup+12.7006 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 13139
/proc/meminfo: memFree=30575536/32951124 swapFree=67111528/67111528
[pid=13084] ppid=13082 vsize=49044 CPUtime=12.69
/proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 12366 0 0 0 713 556 0 0 20 0 1 0 14412716 50221056 11374 4089446400 134512640 136422188 4288586832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13084/statm: 12261 11374 237 467 0 11792 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49044

[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 13140
/proc/meminfo: memFree=30575312/32951124 swapFree=67111528/67111528
[pid=13084] ppid=13082 vsize=49176 CPUtime=25.49
/proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 12505 0 0 0 1371 1178 0 0 20 0 1 0 14412716 50356224 11402 4089446400 134512640 136422188 4288586832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13084/statm: 12294 11402 237 467 0 11825 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49176

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

[startup+38.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 13140
/proc/meminfo: memFree=30575136/32951124 swapFree=67111528/67111528
[pid=13084] ppid=13082 vsize=49308 CPUtime=38.29
/proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 12690 0 0 0 2037 1792 0 0 19 0 1 0 14412716 50491392 11453 4089446400 134512640 136422188 4288586832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13084/statm: 12327 11453 237 467 0 11858 0
Current children cumulated CPU time (s) 38.29
Current children cumulated vsize (KiB) 49308

[startup+44.7009 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 13140
/proc/meminfo: memFree=30575236/32951124 swapFree=67111528/67111528
[pid=13084] ppid=13082 vsize=49440 CPUtime=44.69
/proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 12804 0 0 0 2386 2083 0 0 20 0 1 0 14412716 50626560 11471 4089446400 134512640 136422188 4288586832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13084/statm: 12360 11471 237 467 0 11891 0
Current children cumulated CPU time (s) 44.69
Current children cumulated vsize (KiB) 49440

[startup+47.9003 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 13140
/proc/meminfo: memFree=30575232/32951124 swapFree=67111528/67111528
[pid=13084] ppid=13082 vsize=49572 CPUtime=47.9
/proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 12889 0 0 0 2574 2216 0 0 25 0 1 0 14412716 50761728 11493 4089446400 134512640 136422188 4288586832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13084/statm: 12393 11493 237 467 0 11924 0
Current children cumulated CPU time (s) 47.9
Current children cumulated vsize (KiB) 49572

[startup+49.506 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 13140
/proc/meminfo: memFree=30575108/32951124 swapFree=67111528/67111528
[pid=13084] ppid=13082 vsize=49572 CPUtime=49.49
/proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 12933 0 0 0 2662 2287 0 0 25 0 1 0 14412716 50761728 11506 4089446400 134512640 136422188 4288586832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13084/statm: 12393 11506 237 467 0 11924 0
Current children cumulated CPU time (s) 49.49
Current children cumulated vsize (KiB) 49572

[startup+50.3009 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 13140
/proc/meminfo: memFree=30575108/32951124 swapFree=67111528/67111528
[pid=13084] ppid=13082 vsize=49572 CPUtime=50.29
/proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 12970 0 0 0 2705 2324 0 0 25 0 1 0 14412716 50761728 11513 4089446400 134512640 136422188 4288586832 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13084/statm: 12393 11513 237 467 0 11924 0
Current children cumulated CPU time (s) 50.29
Current children cumulated vsize (KiB) 49572

[startup+50.7008 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 13140
/proc/meminfo: memFree=30574984/32951124 swapFree=67111528/67111528
[pid=13084] ppid=13082 vsize=49572 CPUtime=50.7
/proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 13003 0 0 0 2731 2339 0 0 25 0 1 0 14412716 50761728 11514 4089446400 134512640 136422188 4288586832 18446744073709551615 134563406 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13084/statm: 12393 11514 237 467 0 11924 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 49572

[startup+50.8008 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 13140
/proc/meminfo: memFree=30574984/32951124 swapFree=67111528/67111528
[pid=13084] ppid=13082 vsize=48472 CPUtime=50.79
/proc/13084/stat : 13084 (pbct) R 13082 13084 12701 0 -1 4202496 13034 0 0 0 2738 2341 0 0 25 0 1 0 14412716 49635328 11314 4089446400 134512640 136422188 4288586832 18446744073709551615 134710533 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13084/statm: 12118 11314 240 467 0 11649 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 48472

Child status: 0
Real time (s): 50.8862
CPU time (s): 50.8873
CPU user time (s): 27.4728
CPU system time (s): 23.4144
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 49572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.4728
system time used= 23.4144
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13035
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= 18
involuntary context switches= 35

runsolver used 0.06499 second user time and 0.178972 second system time

The end

Launcher Data 

Begin job on node146 at 2010-07-07 02:19:58
IDJOB=2698978
IDBENCH=79066
IDSOLVER=1212
FILE ID=node146/2698978-1278461998
PBS_JOBID= 11233700
Free space on /tmp= 73832 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/normalized-j3046_4-unsat--soft-66-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698978-1278461998/watcher-2698978-1278461998 -o /tmp/evaluation-result-2698978-1278461998/solver-2698978-1278461998 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2698978-1278461998.wbo

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

MD5SUM BENCH= 64f71ed3d387d8d9e46ec44993350335
RANDOM SEED=293162443

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30584588 kB
Buffers:        109972 kB
Cached:        1956820 kB
SwapCached:          0 kB
Active:        1184600 kB
Inactive:      1048152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30584588 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2388 kB
Writeback:           0 kB
AnonPages:      166160 kB
Mapped:          15552 kB
Slab:            70568 kB
PageTables:       5348 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   310844 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= 73832 MiB
End job on node146 at 2010-07-07 02:20:49