Trace number 4433551

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
Exact_no_SoPlex 2024-07-05OPT33456 1006.63 1009.84

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir06_trarea_ac.opb
MD5SUM80638e9ab302f8cbcb0fef344ba23b43
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark33456
Best CPU time to get the best result obtained on this benchmark0.261171
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4360
Total number of constraints8610
Number of constraints which are clauses8610
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint163
Number of terms in the objective function 2173
Biggest coefficient in the objective function 2124
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 3653850
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 2124
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3653850
Number of bits of the biggest sum of numbers22
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.05	o 336034
0.00/0.05	o 335799
0.00/0.06	o 335488
0.00/0.06	o 335372
0.00/0.06	o 333832
0.00/0.06	o 333431
0.00/0.06	o 332091
0.00/0.06	o 330687
0.00/0.06	o 328861
0.00/0.07	o 327151
0.00/0.07	o 325384
0.00/0.07	o 325171
0.00/0.07	o 324997
0.00/0.07	o 324881
0.00/0.07	o 323157
0.00/0.08	o 322031
0.00/0.08	o 321857
0.00/0.08	o 321741
0.00/0.08	o 321695
0.00/0.08	o 321498
0.00/0.09	o 321324
0.00/0.09	o 321208
0.00/0.09	o 321204
0.00/0.09	o 320786
0.00/0.09	o 319446
0.09/0.10	o 318727
0.09/0.10	o 318611
0.09/0.10	o 318565
0.09/0.11	o 318368
0.09/0.11	o 318144
0.09/0.11	o 317854
0.09/0.12	o 317842
0.09/0.12	o 317688
0.09/0.13	o 317566
0.09/0.13	o 317496
0.09/0.13	o 317253
0.09/0.14	o 317241
0.09/0.14	o 317223
0.09/0.15	o 317217
0.09/0.15	o 317095
0.09/0.16	o 316979
0.09/0.16	o 315665
0.09/0.17	o 315500
0.09/0.17	o 315442
0.09/0.17	o 315422
0.09/0.17	o 315254
0.09/0.17	o 315190
0.09/0.18	o 315164
0.09/0.18	o 315126
0.09/0.18	o 315010
0.09/0.18	o 314964
0.09/0.18	o 314767
0.09/0.19	o 314744
0.09/0.19	o 314732
0.09/0.19	o 314694
0.09/0.20	o 314578
0.09/0.20	o 314514
0.09/0.20	o 314311
0.20/0.21	o 314253
0.20/0.21	o 314247
0.20/0.21	o 314235
0.20/0.22	o 314195
0.20/0.22	o 314143
0.20/0.22	o 314131
0.20/0.22	o 314073
0.20/0.23	o 314064
0.20/0.23	o 314055
0.20/0.24	o 314047
0.20/0.24	o 314035
0.20/0.24	o 314026
0.20/0.25	o 313904
0.20/0.25	o 313707
0.20/0.26	o 313496
0.20/0.26	o 313414
0.20/0.26	o 313229
0.20/0.26	o 313171
0.20/0.27	o 312931
0.20/0.27	o 312919
0.20/0.27	o 312867
0.20/0.27	o 312739
0.20/0.28	o 312647
0.20/0.28	o 312589
0.20/0.28	o 312577
0.20/0.29	o 312568
0.20/0.29	o 312559
0.20/0.29	o 312437
0.29/0.31	o 312414
0.29/0.31	o 312350
0.29/0.32	o 312341
0.29/0.32	o 312332
0.29/0.33	o 312286
0.29/0.33	o 312089
0.29/0.35	o 312082
0.29/0.35	o 312073
0.29/0.36	o 312033
0.29/0.40	o 312016
0.39/0.48	o 312011
0.39/0.49	o 311993
0.39/0.50	o 311877
0.49/0.51	o 311859
0.49/0.53	o 311850
0.49/0.53	o 311842
0.49/0.57	o 311459
0.58/0.61	o 311455
0.58/0.61	o 311391
0.58/0.62	o 311351
0.58/0.63	o 311343
0.58/0.65	o 311227
0.58/0.65	o 309913
0.58/0.68	o 309897
0.58/0.69	o 309885
0.58/0.69	o 309845
0.58/0.69	o 309787
0.58/0.69	o 308447
0.68/0.70	o 308391
0.68/0.71	o 308194
0.68/0.71	o 308185
0.68/0.72	o 308177
0.68/0.73	o 308168
0.68/0.74	o 308096
0.68/0.74	o 307922
0.68/0.79	o 307867
0.68/0.79	o 307827
0.68/0.79	o 307815
0.79/0.80	o 307777
0.79/0.80	o 307661
0.79/0.81	o 307643
0.79/0.84	o 307626
0.89/0.93	o 307622
0.89/0.93	o 307582
0.89/0.95	o 307466
0.89/0.97	o 307448
0.98/1.02	o 307338
0.98/1.02	o 307001
1.09/1.18	o 306535
1.09/1.18	o 306295
1.09/1.19	o 306283
1.09/1.19	o 306231
1.09/1.19	o 306103
1.09/1.19	o 306047
1.18/1.20	o 305975
1.18/1.20	o 305801
1.18/1.21	o 305679
1.18/1.22	o 305670
1.18/1.23	o 305653
1.18/1.29	o 305635
1.58/1.65	o 304257
1.78/1.80	o 304241
1.78/1.80	o 304229
1.78/1.80	o 304221
1.78/1.81	o 304219
1.78/1.85	o 304216
1.78/1.85	o 304207
1.78/1.86	o 304198
1.78/1.86	o 304193
1.78/1.87	o 304181
1.88/1.95	o 304172
1.88/1.96	o 304163
2.08/2.16	o 304144
2.08/2.16	o 303912
2.08/2.17	o 303895
2.88/2.90	o 302971
2.88/2.90	o 302650
2.88/2.92	o 302546
2.88/2.92	o 302354
2.88/2.93	o 302346
2.88/2.94	o 302296
2.88/2.94	o 302104
2.88/2.94	o 302096
2.88/2.95	o 302048
2.88/2.95	o 302036
2.88/2.95	o 301873
2.88/2.96	o 301861
2.88/2.96	o 301852
2.88/2.96	o 301844
2.88/2.97	o 300866
2.88/2.97	o 300643
2.88/2.98	o 300631
2.88/2.98	o 300626
2.88/2.98	o 300614
2.88/2.98	o 300510
2.88/2.99	o 300505
2.88/2.99	o 300493
2.98/3.00	o 300434
2.98/3.00	o 300382
2.98/3.00	o 300318
2.98/3.01	o 300309
2.98/3.01	o 300301
2.98/3.02	o 300196
2.98/3.02	o 300179
2.98/3.03	o 300170
2.98/3.04	o 300133
2.98/3.04	o 300121
2.98/3.05	o 300112
2.98/3.05	o 300054
2.98/3.05	o 300002
2.98/3.05	o 299990
3.08/3.12	o 299959
3.08/3.13	o 299950
3.08/3.14	o 299242
3.08/3.14	o 299170
3.08/3.14	o 299118
3.08/3.15	o 299106
3.08/3.15	o 299062
3.08/3.16	o 299010
3.08/3.16	o 298998
3.08/3.16	o 298990
3.08/3.17	o 298970
3.08/3.17	o 298854
3.08/3.18	o 298802
3.08/3.18	o 298790
3.08/3.19	o 298697
3.08/3.19	o 298685
3.17/3.20	o 298676
3.17/3.20	o 298668
3.17/3.23	o 298596
3.17/3.23	o 298579
3.17/3.24	o 298509
3.17/3.24	o 298497
3.17/3.24	o 298477
3.17/3.25	o 298465
3.17/3.25	o 298457
3.17/3.26	o 298456
3.17/3.26	o 298448
3.17/3.29	o 298442
3.27/3.30	o 298338
3.27/3.30	o 298329
3.27/3.30	o 298320
3.27/3.35	o 298319
3.27/3.36	o 298310
3.27/3.36	o 298302
3.38/3.45	o 298271
3.38/3.46	o 298265
3.38/3.46	o 298253
3.48/3.51	o 298248
3.48/3.51	o 298236
3.48/3.52	o 298228
3.48/3.52	o 298112
3.48/3.54	o 298074
3.48/3.55	o 298056
3.67/3.77	o 298034
3.67/3.77	o 298026
3.67/3.77	o 298014
3.67/3.78	o 298005
3.67/3.78	o 297996
3.67/3.79	o 297958
3.67/3.80	o 297940
3.77/3.82	o 296626
3.98/4.07	o 296608
4.17/4.21	o 296599
4.17/4.22	o 296581
4.17/4.29	o 296569
4.27/4.30	o 296551
4.57/4.63	o 295270
4.57/4.64	o 295240
4.57/4.64	o 295231
4.57/4.65	o 295222
4.57/4.65	o 295214
4.57/4.68	o 295176
4.57/4.69	o 294881
4.97/5.01	o 294863
5.27/5.32	o 294285
5.27/5.32	o 294126
5.27/5.33	o 294088
5.27/5.33	o 294076
5.27/5.33	o 293960
5.27/5.34	o 293942
5.27/5.35	o 293716
5.27/5.35	o 293638
5.27/5.35	o 293600
5.27/5.37	o 293582
5.37/5.44	o 293330
5.37/5.45	o 293290
5.98/6.07	o 293196
7.07/7.18	o 293193
7.07/7.19	o 293184
7.16/7.21	o 293166
7.46/7.51	o 293015
8.65/8.73	o 292687
8.65/8.73	o 291451
8.86/8.97	o 291433
8.86/9.00	o 291424
8.97/9.01	o 291415
8.97/9.07	o 291388
9.16/9.23	o 291385
9.16/9.27	o 291376
9.16/9.28	o 291366
9.16/9.29	o 291358
9.25/9.38	o 291281
9.25/9.39	o 291243
9.35/9.42	o 291225
10.55/10.60	o 291219
10.55/10.60	o 291207
10.75/10.87	o 291047
10.75/10.87	o 289759
12.44/12.57	o 288079
12.85/12.99	o 288078
12.85/12.99	o 288066
12.95/13.00	o 288058
12.95/13.01	o 288049
12.95/13.08	o 287998
12.95/13.08	o 287986
12.95/13.09	o 287977
12.95/13.09	o 287968
13.05/13.13	o 287959
13.05/13.14	o 287950
13.05/13.15	o 287944
13.05/13.16	o 287887
13.05/13.17	o 287875
13.05/13.17	o 287849
13.05/13.17	o 287837
13.05/13.18	o 287828
13.15/13.24	o 287819
13.15/13.25	o 287810
13.15/13.29	o 287793
13.25/13.33	o 287787
13.25/13.33	o 287735
13.25/13.34	o 287709
13.25/13.34	o 287671
13.35/13.43	o 287604
13.35/13.43	o 287595
13.35/13.44	o 287567
13.35/13.44	o 287555
13.45/13.51	o 287547
15.34/15.42	o 287367
15.64/15.71	o 287341
15.64/15.72	o 287193
15.64/15.72	o 287077
16.63/16.79	o 287050
18.23/18.34	o 287049
18.23/18.35	o 287032
19.33/19.44	o 286881
21.03/21.18	o 286829
21.03/21.18	o 286585
21.42/21.54	o 286582
21.42/21.54	o 286570
21.42/21.56	o 286569
21.42/21.59	o 286560
21.52/21.60	o 286551
21.52/21.60	o 286543
21.52/21.62	o 286524
21.52/21.62	o 286512
21.52/21.63	o 286506
21.52/21.64	o 286503
21.52/21.64	o 286494
21.52/21.65	o 286465
21.52/21.66	o 286447
21.52/21.66	o 286438
21.52/21.69	o 286432
21.62/21.70	o 286426
21.62/21.71	o 286310
21.82/21.92	o 286301
21.82/21.95	o 286293
21.92/22.05	o 286261
21.92/22.06	o 286252
22.02/22.12	o 286247
22.02/22.15	o 286243
22.02/22.15	o 286235
22.12/22.25	o 286177
22.12/22.25	o 286139
22.12/22.27	o 286136
22.12/22.28	o 286127
22.41/22.50	o 286119
22.51/22.62	o 286116
22.51/22.63	o 286107
22.51/22.63	o 286069
22.51/22.66	o 285823
22.71/22.87	o 285649
22.92/23.01	o 285647
22.92/23.02	o 285635
22.92/23.03	o 285634
22.92/23.03	o 285625
22.92/23.04	o 285617
22.92/23.05	o 285519
22.92/23.05	o 285507
22.92/23.05	o 285498
22.92/23.06	o 285489
23.02/23.18	o 285488
23.11/23.20	o 285479
23.11/23.20	o 285471
23.81/23.90	o 285176
24.31/24.46	o 285170
24.31/24.47	o 285158
24.61/24.78	o 285104
24.61/24.79	o 285092
24.61/24.79	o 285054
24.71/24.80	o 285045
24.71/24.81	o 285037
24.91/25.04	o 285007
25.81/25.92	o 285001
25.81/25.92	o 284989
25.81/25.93	o 284835
25.81/25.95	o 283217
25.91/26.02	o 283101
25.91/26.05	o 283084
26.20/26.31	o 282904
26.50/26.63	o 282877
26.60/26.77	o 282552
27.20/27.30	o 282540
27.20/27.35	o 282522
27.30/27.41	o 282371
27.60/27.75	o 282319
27.60/27.76	o 282075
28.99/29.19	o 280517
29.69/29.87	o 280088
29.69/29.88	o 280048
29.89/30.00	o 280037
29.89/30.06	o 279969
29.89/30.08	o 279957
29.89/30.09	o 279949
29.99/30.11	o 279940
29.99/30.11	o 279928
29.99/30.12	o 279922
29.99/30.13	o 279910
29.99/30.15	o 279901
29.99/30.17	o 279893
30.20/30.37	o 279875
30.30/30.40	o 279863
30.30/30.45	o 279838
30.30/30.46	o 279814
30.30/30.47	o 279786
30.30/30.47	o 279774
30.30/30.47	o 279736
30.30/30.48	o 279620
30.59/30.73	o 279611
30.59/30.74	o 279603
31.00/31.14	o 279585
31.29/31.46	o 279576
31.39/31.55	o 279558
31.49/31.62	o 279528
31.49/31.69	o 279527
31.49/31.69	o 279463
31.68/31.82	o 279289
32.09/32.20	o 279263
32.09/32.21	o 279251
32.58/32.77	o 279233
36.88/37.04	o 279221
37.07/37.22	o 279203
38.47/38.61	o 278928
38.47/38.61	o 278640
38.47/38.62	o 278582
40.26/40.40	o 278352
40.26/40.41	o 278294
40.26/40.41	o 276954
40.96/41.11	o 276798
41.16/41.34	o 276785
41.16/41.36	o 276642
41.16/41.37	o 276634
41.16/41.38	o 276538
41.16/41.38	o 276474
41.16/41.39	o 276446
41.16/41.39	o 275172
41.16/41.39	o 275108
41.36/41.53	o 275096
41.36/41.53	o 275084
41.36/41.54	o 275082
41.36/41.54	o 275044
41.36/41.57	o 275032
41.36/41.58	o 275018
41.36/41.58	o 274980
41.36/41.59	o 274968
41.36/41.59	o 274966
41.46/41.60	o 274928
41.66/41.80	o 274919
41.66/41.81	o 274901
41.76/41.96	o 274883
42.15/42.39	o 274871
42.25/42.40	o 274862
42.25/42.40	o 274854
42.55/42.75	o 274836
42.65/42.80	o 274587
43.86/44.08	o 274585
43.86/44.09	o 274567
43.86/44.09	o 274550
43.95/44.14	o 274532
44.15/44.30	o 274505
45.04/45.30	o 274210
47.64/47.83	o 273966
48.13/48.37	o 273961
48.13/48.38	o 273944
48.23/48.41	o 273943
48.23/48.42	o 273938
48.23/48.43	o 273926
48.23/48.44	o 273828
48.23/48.45	o 273784
48.23/48.46	o 273668
50.33/50.53	o 273666
50.33/50.55	o 273550
50.33/50.59	o 273370
50.53/50.75	o 273343
50.73/50.94	o 273286
50.73/50.94	o 273248
50.73/50.95	o 273230
50.73/50.96	o 273222
50.83/51.09	o 273210
50.93/51.11	o 273192
51.42/51.65	o 273175
51.42/51.67	o 273135
51.52/51.70	o 273117
51.52/51.74	o 273099
51.83/52.03	o 272948
53.32/53.52	o 272843
53.32/53.53	o 272658
53.32/53.54	o 272600
54.51/54.78	o 272588
54.51/54.79	o 272580
56.41/56.66	o 272562
56.51/56.79	o 271056
57.70/57.91	o 270714
58.10/58.38	o 270673
58.10/58.39	o 270646
58.60/58.85	o 270626
58.60/58.85	o 270588
58.60/58.86	o 270536
58.60/58.86	o 270524
58.60/58.88	o 270515
58.60/58.88	o 270507
58.70/58.95	o 270333
58.80/59.03	o 270301
58.80/59.04	o 270283
58.80/59.04	o 270179
58.80/59.06	o 270171
59.00/59.20	o 270170
59.00/59.21	o 270153
59.10/59.32	o 269858
59.20/59.44	o 269840
59.40/59.61	o 269835
59.40/59.62	o 269823
59.40/59.63	o 269799
59.40/59.69	o 269772
59.80/60.07	o 269771
59.80/60.07	o 269733
59.80/60.08	o 269582
59.80/60.09	o 269573
59.80/60.09	o 269565
60.29/60.53	o 269547
60.70/60.99	o 269539
60.70/60.99	o 269522
60.80/61.01	o 269482
60.80/61.04	o 269378
60.80/61.10	o 269360
60.90/61.17	o 269333
61.00/61.28	o 269321
61.00/61.29	o 269303
61.40/61.63	o 269279
61.69/61.99	o 269260
61.80/62.08	o 269016
62.29/62.52	o 268958
65.28/65.55	o 268912
65.28/65.55	o 268686
65.28/65.56	o 268608
65.28/65.56	o 268570
65.28/65.57	o 268453
65.28/65.58	o 268372
65.28/65.59	o 268204
65.28/65.59	o 268190
65.38/65.60	o 268166
65.38/65.62	o 268110
65.38/65.63	o 268070
65.38/65.64	o 267998
65.38/65.65	o 267824
65.58/65.87	o 267806
66.47/66.78	o 267511
67.08/67.35	o 267413
67.08/67.36	o 267262
67.48/67.70	o 267235
67.78/68.05	o 265547
69.47/69.72	o 265516
69.47/69.72	o 264254
69.47/69.72	o 264194
69.47/69.72	o 264170
69.47/69.73	o 264014
69.47/69.73	o 263666
69.47/69.73	o 263654
69.47/69.73	o 262327
69.47/69.74	o 262257
69.47/69.74	o 262205
69.47/69.75	o 262199
69.47/69.75	o 261857
69.47/69.75	o 261675
69.47/69.76	o 261649
69.47/69.76	o 261553
69.47/69.78	o 261493
69.47/69.78	o 261487
69.47/69.78	o 261397
69.47/69.79	o 261391
69.47/69.79	o 261301
69.57/69.80	o 260816
69.57/69.80	o 260746
69.57/69.80	o 260688
69.57/69.80	o 260662
69.57/69.81	o 260436
69.57/69.81	o 260346
69.57/69.81	o 260251
69.57/69.81	o 260161
69.57/69.82	o 260103
69.57/69.82	o 260057
69.57/69.82	o 260005
69.57/69.83	o 259993
69.57/69.83	o 259979
69.57/69.83	o 259967
69.57/69.83	o 259941
69.57/69.83	o 259883
69.57/69.84	o 259871
69.57/69.84	o 259839
69.57/69.85	o 259761
69.57/69.85	o 259749
69.57/69.85	o 259093
69.57/69.85	o 259023
69.57/69.86	o 258965
69.57/69.86	o 258939
69.57/69.86	o 258815
69.57/69.86	o 258635
69.57/69.86	o 258623
69.57/69.87	o 258615
69.57/69.87	o 258603
69.57/69.87	o 258575
69.57/69.87	o 258563
69.57/69.88	o 258551
69.57/69.88	o 258395
69.57/69.88	o 258383
69.57/69.88	o 258371
69.57/69.89	o 258206
69.57/69.89	o 258142
69.67/69.90	o 258096
69.67/69.90	o 258084
69.67/69.90	o 257118
69.67/69.91	o 257060
69.67/69.91	o 257034
69.67/69.91	o 256886
69.67/69.91	o 256808
69.67/69.92	o 256730
69.67/69.92	o 256718
69.67/69.92	o 256690
69.67/69.93	o 256678
69.67/69.93	o 256664
69.67/69.93	o 256652
69.67/69.93	o 256612
69.67/69.93	o 256600
69.67/69.94	o 256588
69.67/69.94	o 256562
69.67/69.94	o 256466
69.67/69.95	o 255706
69.67/69.95	o 255686
69.67/69.96	o 255518
69.67/69.96	o 255466
69.67/69.96	o 255454
69.67/69.96	o 255230
69.67/69.96	o 255152
69.67/69.97	o 255140
69.67/69.98	o 255120
69.67/69.98	o 254952
69.67/69.98	o 254900
69.67/69.98	o 254888
69.67/69.99	o 254854
69.67/69.99	o 254842
69.67/69.99	o 254830
69.67/70.00	o 254784
69.67/70.00	o 254587
69.77/70.01	o 254567
69.77/70.01	o 254489
69.77/70.01	o 254477
69.77/70.02	o 254431
69.77/70.02	o 254419
69.77/70.02	o 254407
69.77/70.03	o 254375
69.77/70.03	o 254259
69.77/70.04	o 254097
69.77/70.04	o 254085
69.77/70.05	o 253807
69.77/70.05	o 253589
69.77/70.06	o 253531
69.77/70.06	o 253522
69.77/70.07	o 253401
69.77/70.07	o 253349
69.77/70.08	o 253337
69.77/70.08	o 253303
69.77/70.08	o 253291
69.77/70.09	o 253279
69.77/70.09	o 253221
69.87/70.10	o 253207
69.87/70.11	o 253195
69.87/70.11	o 253157
69.87/70.11	o 253111
69.87/70.12	o 253099
69.87/70.12	o 253021
69.87/70.13	o 252963
69.87/70.14	o 252917
69.87/70.14	o 252905
69.87/70.14	o 252777
69.87/70.16	o 252731
69.87/70.16	o 252719
69.87/70.20	o 252673
69.97/70.20	o 252627
69.97/70.20	o 252615
69.97/70.21	o 252569
69.97/70.21	o 252557
69.97/70.27	o 252551
69.97/70.27	o 252539
70.07/70.39	o 252531
70.17/70.40	o 251858
70.17/70.41	o 251762
70.17/70.41	o 251692
70.17/70.41	o 251634
70.17/70.41	o 251608
70.17/70.42	o 251484
70.17/70.42	o 251460
70.17/70.42	o 251382
70.17/70.42	o 251292
70.17/70.43	o 251252
70.17/70.43	o 251240
70.17/70.44	o 251234
70.17/70.45	o 251194
70.17/70.45	o 251182
70.17/70.46	o 251128
70.17/70.47	o 251116
70.17/70.47	o 251104
70.17/70.48	o 251098
70.17/70.48	o 251040
70.17/70.48	o 251000
70.17/70.49	o 250988
70.27/70.50	o 250982
70.27/70.50	o 250968
70.27/70.51	o 250956
70.27/70.51	o 250918
70.27/70.51	o 250860
70.27/70.54	o 250855
70.27/70.54	o 250843
70.27/70.58	o 250831
70.27/70.59	o 250811
70.27/70.60	o 250753
70.27/70.60	o 250733
70.27/70.60	o 250721
70.27/70.60	o 250675
70.37/70.60	o 250663
70.37/70.61	o 250617
70.37/70.62	o 250605
70.37/70.64	o 250594
70.37/70.64	o 250457
70.37/70.64	o 250399
70.37/70.65	o 250373
70.37/70.65	o 250249
70.37/70.65	o 250225
70.37/70.65	o 250147
70.37/70.65	o 250057
70.37/70.66	o 250029
70.37/70.66	o 249939
70.37/70.67	o 249875
70.37/70.67	o 249817
70.37/70.67	o 249805
70.37/70.68	o 249721
70.37/70.68	o 249649
70.37/70.69	o 249637
70.37/70.69	o 249625
70.47/70.70	o 249617
70.47/70.70	o 249605
70.47/70.71	o 249541
70.47/70.71	o 249477
70.47/70.72	o 249419
70.47/70.73	o 249405
70.47/70.73	o 249315
70.47/70.73	o 249303
70.47/70.75	o 249297
70.47/70.75	o 249285
70.47/70.79	o 249278
70.47/70.79	o 249208
70.47/70.79	o 249150
70.47/70.79	o 248808
70.57/70.80	o 248643
70.57/70.80	o 248617
70.57/70.80	o 248579
70.57/70.80	o 248521
70.57/70.81	o 248461
70.57/70.81	o 248437
70.57/70.81	o 248359
70.57/70.82	o 248281
70.57/70.82	o 248269
70.57/70.82	o 248223
70.57/70.82	o 248211
70.57/70.82	o 248199
70.57/70.83	o 248162
70.57/70.83	o 248084
70.57/70.83	o 248072
70.57/70.84	o 248064
70.57/70.84	o 248052
70.57/70.84	o 248026
70.57/70.84	o 247968
70.57/70.85	o 247956
70.57/70.87	o 247904
70.57/70.87	o 247892
70.57/70.88	o 247872
70.57/70.88	o 247834
70.57/70.88	o 247776
70.67/70.98	o 247771
70.67/70.98	o 247759
70.67/70.99	o 247671
70.67/71.00	o 246383
70.77/71.00	o 246339
70.77/71.00	o 246154
70.77/71.00	o 246096
70.77/71.05	o 246088
70.77/71.06	o 245131
70.77/71.06	o 245122
70.77/71.06	o 245093
70.77/71.07	o 245075
70.77/71.07	o 245066
70.77/71.07	o 245058
70.77/71.08	o 245054
70.77/71.08	o 245030
70.77/71.09	o 244952
70.77/71.09	o 244874
70.77/71.09	o 244862
70.77/71.10	o 244847
70.77/71.10	o 244835
70.87/71.11	o 244823
70.87/71.11	o 244814
70.87/71.11	o 244806
70.87/71.13	o 244754
70.87/71.13	o 244742
70.87/71.14	o 244684
70.87/71.14	o 244632
70.87/71.15	o 244620
70.97/71.21	o 244614
70.97/71.21	o 244602
70.97/71.22	o 244594
71.06/71.30	o 244414
71.06/71.30	o 243100
71.06/71.38	o 242967
71.06/71.38	o 242915
71.06/71.38	o 242903
71.06/71.39	o 242787
71.06/71.39	o 241473
71.16/71.40	o 241455
71.16/71.40	o 241351
71.16/71.41	o 241333
71.16/71.46	o 241329
71.16/71.46	o 241311
71.16/71.47	o 241126
71.16/71.47	o 241068
71.26/71.52	o 241060
71.36/71.60	o 241020
71.36/71.62	o 241002
71.46/71.78	o 239836
71.56/71.80	o 239788
71.56/71.81	o 239768
71.56/71.82	o 239750
71.56/71.83	o 239738
71.56/71.83	o 238398
71.56/71.86	o 238392
71.56/71.86	o 238380
71.66/71.97	o 238370
71.66/71.97	o 238332
71.66/71.98	o 238280
71.66/71.98	o 238268
71.77/72.00	o 238250
71.77/72.04	o 236489
71.87/72.12	o 234995
71.87/72.16	o 234994
71.87/72.16	o 234928
71.87/72.17	o 234916
71.87/72.18	o 234868
71.87/72.19	o 234864
71.96/72.21	o 234862
71.96/72.21	o 234734
71.96/72.22	o 234676
71.96/72.25	o 234668
71.96/72.25	o 234656
71.96/72.25	o 234638
71.96/72.26	o 234620
71.96/72.28	o 234612
72.06/72.33	o 234558
72.06/72.34	o 234332
72.06/72.34	o 234254
72.06/72.34	o 234216
72.06/72.35	o 234196
72.06/72.35	o 234028
72.06/72.35	o 233976
72.06/72.35	o 233964
72.06/72.36	o 233776
72.06/72.36	o 233712
72.06/72.37	o 233646
72.06/72.37	o 233542
72.06/72.37	o 233524
72.06/72.38	o 233350
72.16/72.45	o 233320
72.16/72.46	o 233025
72.26/72.54	o 233020
72.26/72.55	o 232904
72.26/72.57	o 232719
72.26/72.57	o 232661
72.36/72.69	o 231411
72.46/72.74	o 231409
72.46/72.74	o 231371
72.46/72.74	o 231359
72.46/72.78	o 231354
72.56/72.80	o 231342
72.56/72.83	o 230885
72.56/72.84	o 230865
72.56/72.84	o 230697
72.56/72.84	o 230645
72.56/72.84	o 230350
72.56/72.85	o 230162
72.56/72.85	o 230098
72.56/72.85	o 230032
72.56/72.85	o 229974
72.56/72.86	o 229962
72.56/72.86	o 229944
72.56/72.87	o 229926
72.66/73.00	o 229909
72.76/73.02	o 229851
72.76/73.02	o 228511
72.76/73.08	o 228285
72.76/73.09	o 228169
72.96/73.26	o 226933
73.16/73.41	o 226607
73.16/73.41	o 226529
73.16/73.41	o 226491
73.16/73.42	o 226473
73.16/73.43	o 226471
73.16/73.43	o 226393
73.16/73.43	o 226355
73.16/73.44	o 226343
73.16/73.44	o 226239
73.16/73.44	o 226221
73.16/73.45	o 226036
73.16/73.45	o 225978
73.16/73.47	o 225964
73.16/73.47	o 225912
73.16/73.48	o 225900
73.16/73.48	o 225842
73.16/73.48	o 225804
73.16/73.49	o 225688
73.26/73.51	o 225552
73.26/73.51	o 225436
73.36/73.63	o 225430
73.36/73.64	o 225418
73.66/73.97	o 225375
73.86/74.19	o 225343
73.96/74.20	o 225335
73.96/74.21	o 225297
73.96/74.21	o 225279
73.96/74.23	o 225261
73.96/74.23	o 225249
73.96/74.24	o 225241
73.96/74.27	o 225225
73.96/74.27	o 225213
73.96/74.28	o 225195
73.96/74.28	o 224998
74.06/74.30	o 224940
74.06/74.32	o 224937
74.06/74.33	o 224925
74.06/74.33	o 224728
74.06/74.35	o 224676
74.06/74.35	o 224548
74.15/74.40	o 224496
74.15/74.41	o 224484
74.15/74.41	o 224432
74.15/74.45	o 224414
74.25/74.56	o 224301
74.25/74.57	o 224289
74.25/74.57	o 224211
74.25/74.58	o 224173
74.25/74.59	o 224155
74.35/74.62	o 224089
74.55/74.80	o 224055
74.76/75.00	o 224043
74.76/75.01	o 224026
74.76/75.02	o 224008
74.76/75.02	o 223942
74.76/75.05	o 223924
74.76/75.09	o 223881
74.95/75.28	o 223844
74.95/75.28	o 223618
74.95/75.29	o 223540
74.95/75.29	o 223502
74.95/75.29	o 223262
74.95/75.29	o 223250
75.05/75.30	o 223198
75.05/75.30	o 223070
75.05/75.32	o 223032
75.05/75.33	o 223014
75.05/75.34	o 222829
75.05/75.34	o 222771
75.05/75.39	o 222719
75.25/75.51	o 222401
75.35/75.66	o 222377
75.35/75.67	o 222365
75.35/75.68	o 222327
75.35/75.68	o 222269
75.45/75.73	o 222239
75.45/75.73	o 221944
75.65/75.94	o 221732
75.65/75.94	o 221500
75.75/76.07	o 221481
75.75/76.07	o 221467
75.75/76.08	o 221429
75.75/76.10	o 221425
75.86/76.10	o 221387
75.86/76.12	o 221375
75.86/76.13	o 221357
75.95/76.21	o 221346
75.95/76.22	o 221290
75.95/76.25	o 221282
75.95/76.28	o 221108
76.05/76.39	o 221107
76.15/76.40	o 221099
76.15/76.40	o 220971
76.15/76.49	o 220945
76.25/76.50	o 220789
76.25/76.51	o 219283
76.35/76.67	o 217700
76.54/76.89	o 217693
76.64/76.90	o 217684
76.64/76.91	o 217556
76.64/76.96	o 217544
76.75/77.00	o 217407
76.75/77.02	o 217399
76.75/77.05	o 217393
76.75/77.06	o 217381
76.75/77.07	o 217086
76.85/77.17	o 216874
76.85/77.17	o 216642
76.94/77.27	o 216631
76.94/77.27	o 216613
77.04/77.31	o 216538
77.04/77.31	o 216326
77.04/77.32	o 216268
77.04/77.32	o 216250
77.34/77.68	o 215930
77.34/77.68	o 215866
77.34/77.68	o 215774
77.64/77.93	o 215760
77.64/77.95	o 215708
77.64/77.95	o 215696
77.64/77.95	o 215656
77.64/77.95	o 215644
77.64/78.00	o 215627
77.94/78.26	o 215595
77.94/78.27	o 215577
77.94/78.27	o 215569
77.94/78.29	o 215453
78.24/78.57	o 215433
78.24/78.58	o 215418
78.24/78.59	o 215201
78.24/78.59	o 213695
78.44/78.74	o 213536
78.44/78.75	o 213472
78.44/78.75	o 213380
78.44/78.75	o 213342
78.44/78.75	o 213168
78.44/78.76	o 213116
78.44/78.76	o 212988
78.44/78.77	o 212910
78.44/78.77	o 212872
78.44/78.78	o 212736
78.44/78.78	o 212620
78.54/78.86	o 212611
78.54/78.87	o 212603
78.74/79.01	o 212599
78.74/79.01	o 212587
78.74/79.02	o 212477
78.74/79.02	o 212425
78.74/79.03	o 212367
78.74/79.06	o 212329
78.74/79.07	o 212311
78.84/79.11	o 212303
78.84/79.11	o 212285
78.93/79.21	o 212111
79.14/79.42	o 212110
79.14/79.43	o 212102
79.14/79.44	o 211974
79.54/79.82	o 210584
79.84/80.15	o 210506
79.84/80.15	o 210494
79.84/80.16	o 210378
79.84/80.16	o 210248
79.94/80.20	o 210126
79.94/80.29	o 210121
80.04/80.30	o 210065
80.04/80.31	o 210007
80.04/80.33	o 209682
80.14/80.45	o 209464
80.14/80.45	o 209290
80.24/80.58	o 209275
80.24/80.58	o 209211
80.34/80.62	o 209153
80.44/80.77	o 209117
80.44/80.78	o 209061
80.63/80.97	o 208993
80.63/80.98	o 208672
80.84/81.14	o 208668
80.84/81.18	o 208314
81.13/81.48	o 208079
81.13/81.48	o 206521
81.33/81.69	o 206503
81.33/81.69	o 206437
81.43/81.71	o 206385
81.43/81.72	o 206321
81.43/81.72	o 206269
81.43/81.73	o 206217
81.43/81.73	o 206205
81.43/81.76	o 206141
81.43/81.77	o 206089
81.43/81.77	o 206077
81.43/81.77	o 205961
81.53/81.86	o 205899
81.53/81.87	o 205847
81.63/81.91	o 205839
81.63/81.92	o 205761
81.63/81.92	o 205723
81.63/81.94	o 205631
81.73/82.10	o 204137
81.93/82.25	o 204133
85.12/85.47	o 204081
85.12/85.47	o 203779
85.42/85.77	o 203605
85.42/85.78	o 202317
86.02/86.37	o 202265
86.02/86.37	o 202137
86.32/86.63	o 200901
88.11/88.42	o 199407
88.51/88.81	o 198093
88.71/89.09	o 198085
88.71/89.09	o 196707
88.91/89.21	o 196698
88.91/89.21	o 196690
89.01/89.31	o 196686
89.11/89.50	o 196640
89.21/89.50	o 196628
89.21/89.51	o 196590
89.31/89.62	o 196526
89.31/89.63	o 196434
89.41/89.74	o 196306
89.60/89.96	o 196304
89.60/89.97	o 196287
89.60/89.97	o 194642
89.60/89.98	o 194624
89.60/89.99	o 194578
89.60/90.00	o 194381
89.71/90.09	o 194086
89.90/90.28	o 194031
90.00/90.34	o 193857
90.30/90.61	o 193765
90.81/91.16	o 193731
90.81/91.17	o 193713
90.81/91.19	o 193655
91.00/91.33	o 193637
91.40/91.80	o 193347
92.40/92.75	o 193329
92.40/92.76	o 193251
92.40/92.76	o 193213
92.40/92.77	o 193076
92.40/92.78	o 193058
92.40/92.79	o 192852
92.40/92.79	o 192736
92.50/92.89	o 192718
92.59/92.91	o 191378
92.80/93.11	o 191083
93.09/93.48	o 190951
93.09/93.49	o 190763
93.09/93.49	o 190607
93.29/93.63	o 190601
93.29/93.63	o 190589
93.29/93.67	o 190240
93.89/94.22	o 190188
93.89/94.24	o 190072
95.69/96.01	o 190068
95.69/96.02	o 190002
95.88/96.26	o 189828
96.79/97.16	o 188488
97.28/97.69	o 187188
98.38/98.72	o 187156
98.38/98.72	o 187144
98.38/98.76	o 185978
98.38/98.77	o 185900
98.38/98.77	o 185862
99.07/99.45	o 185757
99.17/99.58	o 185749
99.17/99.59	o 185711
99.17/99.59	o 185699
99.97/100.31	o 185695
99.97/100.31	o 185631
99.97/100.32	o 185613
99.97/100.34	o 185595
100.07/100.42	o 185467
100.27/100.61	o 185351
100.57/100.93	o 185235
101.87/102.22	o 183582
102.67/103.01	o 183571
102.67/103.02	o 183551
102.67/103.02	o 183533
102.67/103.05	o 183531
102.67/103.05	o 183519
102.67/103.05	o 182153
102.67/103.07	o 182149
102.77/103.12	o 182127
102.77/103.13	o 182109
102.77/103.14	o 182069
102.77/103.14	o 182051
102.77/103.17	o 182037
102.77/103.19	o 182033
103.66/104.06	o 182024
103.66/104.06	o 181966
103.66/104.07	o 181928
103.66/104.08	o 181812
106.66/107.02	o 181805
106.66/107.03	o 181519
106.66/107.03	o 181481
106.66/107.03	o 181307
106.66/107.04	o 181145
106.66/107.04	o 180971
106.66/107.08	o 180942
106.66/107.09	o 180924
106.66/107.10	o 180915
106.85/107.22	o 180807
106.85/107.23	o 180769
106.85/107.24	o 180751
106.95/107.30	o 180662
106.95/107.30	o 180644
106.95/107.31	o 180635
106.95/107.35	o 180597
107.15/107.56	o 180567
107.25/107.64	o 180559
107.25/107.64	o 180550
107.25/107.65	o 180512
107.25/107.66	o 180452
107.25/107.66	o 180396
107.35/107.72	o 180392
107.35/107.72	o 180356
107.35/107.72	o 180347
107.35/107.73	o 180338
107.35/107.75	o 180330
107.35/107.75	o 180328
107.35/107.75	o 180272
107.45/107.81	o 179800
107.45/107.82	o 179791
107.45/107.82	o 178173
107.45/107.82	o 178119
107.45/107.82	o 178085
107.45/107.82	o 177957
107.45/107.83	o 177939
107.45/107.85	o 177911
107.45/107.86	o 177873
107.45/107.86	o 177686
107.45/107.88	o 177668
107.45/107.88	o 177630
107.55/107.91	o 177608
107.55/107.92	o 177570
107.55/107.92	o 177552
107.55/107.93	o 177514
107.55/107.99	o 177392
107.55/108.00	o 177358
107.65/108.00	o 177340
107.65/108.04	o 177250
107.65/108.05	o 177196
107.65/108.06	o 177065
107.65/108.06	o 177007
107.65/108.06	o 176953
107.65/108.07	o 176909
107.65/108.07	o 176851
107.65/108.07	o 176797
107.65/108.08	o 176741
107.65/108.08	o 176728
107.65/108.10	o 176672
107.65/108.10	o 176570
107.75/108.10	o 176516
107.75/108.11	o 176498
107.75/108.11	o 176372
107.75/108.12	o 176318
107.75/108.13	o 176256
107.75/108.13	o 176202
107.75/108.16	o 176186
107.75/108.16	o 176148
107.75/108.18	o 176110
107.75/108.18	o 176092
107.84/108.20	o 176090
107.84/108.21	o 176052
107.84/108.21	o 176034
107.84/108.23	o 176032
107.84/108.24	o 176030
107.84/108.25	o 176014
107.84/108.25	o 175994
107.84/108.25	o 175976
107.84/108.27	o 175974
107.84/108.27	o 175956
107.84/108.28	o 175916
107.84/108.28	o 175878
107.84/108.28	o 175860
108.14/108.58	o 175826
108.14/108.58	o 175824
108.14/108.59	o 175768
108.24/108.68	o 175740
108.24/108.69	o 175731
108.24/108.69	o 175621
108.34/108.70	o 175603
108.44/108.83	o 175571
108.44/108.84	o 175551
108.44/108.84	o 175513
108.44/108.85	o 175465
108.44/108.86	o 175447
108.54/108.95	o 175443
108.54/108.98	o 175315
108.84/109.26	o 175313
108.84/109.26	o 175257
108.84/109.27	o 175237
108.84/109.27	o 175179
108.84/109.27	o 175141
108.84/109.28	o 175095
108.84/109.28	o 174898
108.84/109.29	o 174683
108.84/109.29	o 174567
108.94/109.30	o 174361
108.94/109.30	o 174245
108.94/109.31	o 174187
109.14/109.54	o 174183
109.34/109.70	o 174055
109.44/109.82	o 174023
109.44/109.82	o 174005
109.54/109.94	o 174001
109.74/110.11	o 173983
109.74/110.11	o 173690
109.74/110.12	o 173574
109.84/110.28	o 173562
109.84/110.29	o 173496
109.94/110.31	o 173478
109.94/110.39	o 173350
110.54/110.91	o 173336
110.64/111.01	o 172048
111.43/111.86	o 172030
111.43/111.87	o 171984
111.53/111.97	o 171952
111.53/111.98	o 171934
112.23/112.60	o 171903
112.23/112.61	o 171697
112.23/112.61	o 171581
112.23/112.62	o 171535
112.23/112.62	o 171338
112.23/112.63	o 171272
112.23/112.63	o 171234
112.23/112.64	o 171216
112.23/112.67	o 171210
112.23/112.68	o 171132
112.33/112.71	o 171123
112.33/112.72	o 170995
112.73/113.14	o 170806
113.23/113.63	o 170768
113.23/113.64	o 170690
114.32/114.70	o 169704
114.32/114.74	o 169665
114.32/114.75	o 169599
114.32/114.76	o 169559
114.32/114.76	o 169493
114.32/114.77	o 169486
114.32/114.78	o 169484
114.32/114.79	o 169356
115.52/115.92	o 169330
115.52/115.93	o 169292
115.52/115.93	o 167992
115.52/115.97	o 167974
115.72/116.19	o 167960
115.72/116.19	o 167956
116.82/117.28	o 167878
117.21/117.62	o 167860
117.31/117.75	o 167246
117.31/117.75	o 167020
117.31/117.75	o 166942
117.31/117.77	o 166904
117.31/117.79	o 166876
117.41/117.80	o 166872
117.41/117.80	o 166820
117.41/117.81	o 166692
117.41/117.87	o 166672
117.41/117.88	o 166652
117.41/117.88	o 166634
117.51/117.97	o 166616
118.61/119.06	o 166614
118.61/119.06	o 166596
118.61/119.08	o 166592
118.71/119.12	o 166500
118.81/119.25	o 166384
119.51/119.93	o 166268
121.61/122.02	o 166226
121.61/122.03	o 166208
121.61/122.04	o 166170
121.80/122.24	o 165230
123.10/123.58	o 165166
123.10/123.58	o 165152
123.20/123.61	o 165094
123.40/123.81	o 164966
123.79/124.20	o 164733
123.79/124.21	o 164617
124.79/125.29	o 164611
124.89/125.30	o 164533
124.89/125.38	o 163421
125.19/125.64	o 163329
125.49/126.00	o 163011
127.98/128.41	o 162989
127.98/128.45	o 162949
127.98/128.49	o 162915
128.08/128.52	o 162851
128.08/128.54	o 161728
128.08/128.54	o 161632
128.08/128.55	o 161510
128.08/128.56	o 161330
128.08/128.56	o 161162
128.08/128.59	o 161128
128.18/128.60	o 160964
128.18/128.60	o 160950
128.18/128.62	o 160934
128.18/128.62	o 160844
128.18/128.63	o 159650
128.18/128.64	o 159594
128.18/128.64	o 159380
128.18/128.64	o 159366
128.18/128.66	o 159243
128.18/128.67	o 159229
128.18/128.68	o 159095
128.18/128.68	o 159087
128.18/128.69	o 159017
128.18/128.69	o 158979
128.28/128.70	o 158965
128.28/128.70	o 158960
128.28/128.71	o 158921
128.28/128.71	o 158907
128.28/128.71	o 158851
128.28/128.71	o 158837
128.28/128.72	o 158668
128.28/128.72	o 158462
128.28/128.72	o 158398
128.28/128.73	o 158384
128.28/128.73	o 158270
128.28/128.73	o 158192
128.28/128.73	o 158102
128.28/128.74	o 157986
128.28/128.74	o 157908
128.28/128.75	o 157818
128.28/128.75	o 157786
128.28/128.76	o 157772
128.28/128.76	o 157653
128.28/128.77	o 157575
128.28/128.77	o 157485
128.28/128.78	o 157439
128.28/128.78	o 157413
128.28/128.78	o 157375
128.28/128.78	o 157201
128.28/128.79	o 156632
128.38/128.80	o 156588
128.38/128.81	o 156542
128.38/128.81	o 156464
128.38/128.82	o 156374
128.38/128.82	o 156299
128.38/128.82	o 156209
128.38/128.83	o 156131
128.38/128.84	o 156087
128.38/128.85	o 155919
128.38/128.85	o 155817
128.38/128.86	o 155739
128.38/128.86	o 155594
128.38/128.86	o 155328
128.38/128.87	o 155282
128.38/128.87	o 155085
128.38/128.87	o 155084
128.38/128.88	o 154956
128.38/128.88	o 154832
128.38/128.88	o 154742
128.48/128.90	o 154701
128.48/128.90	o 154655
128.48/128.90	o 154472
128.48/128.91	o 154458
128.48/128.92	o 154362
128.48/128.93	o 154298
128.48/128.93	o 154284
128.48/128.93	o 154170
128.48/128.94	o 154156
128.48/128.95	o 154118
128.48/128.95	o 154104
128.48/128.96	o 154086
128.48/128.96	o 153314
128.48/128.97	o 153102
128.48/128.98	o 152902
128.48/128.98	o 152850
128.48/129.00	o 152804
128.58/129.00	o 152786
128.58/129.01	o 152772
128.58/129.01	o 151850
128.58/129.03	o 151849
128.58/129.03	o 151835
128.58/129.03	o 151716
128.58/129.04	o 151652
128.58/129.04	o 151638
128.58/129.05	o 151618
128.58/129.05	o 151528
128.58/129.06	o 151514
128.58/129.09	o 151472
128.58/129.10	o 151458
128.68/129.19	o 151434
128.78/129.20	o 151420
128.78/129.22	o 151390
128.78/129.23	o 151220
128.78/129.24	o 151104
128.78/129.24	o 151066
128.78/129.24	o 151048
128.78/129.25	o 151046
128.78/129.25	o 151032
128.78/129.26	o 151008
128.78/129.26	o 150990
128.78/129.26	o 150976
128.78/129.28	o 150932
128.78/129.28	o 150868
128.78/129.28	o 150854
128.78/129.29	o 150820
128.88/129.30	o 150796
128.88/129.30	o 150782
128.88/129.30	o 150764
128.88/129.32	o 150758
128.88/129.32	o 150750
128.88/129.33	o 150712
128.88/129.34	o 150692
128.88/129.34	o 150678
128.88/129.34	o 150654
128.88/129.34	o 150640
128.88/129.35	o 150598
128.88/129.35	o 150584
128.88/129.38	o 150550
128.88/129.39	o 150546
128.88/129.39	o 150508
128.98/129.40	o 150494
128.98/129.40	o 150479
128.98/129.41	o 150441
128.98/129.41	o 150377
128.98/129.41	o 150363
128.98/129.42	o 150349
128.98/129.42	o 150335
128.98/129.42	o 150152
128.98/129.43	o 150138
128.98/129.43	o 150134
128.98/129.43	o 150120
128.98/129.46	o 150108
128.98/129.46	o 150094
128.98/129.47	o 150070
128.98/129.47	o 150052
128.98/129.47	o 150038
128.98/129.47	o 149978
128.98/129.48	o 149940
128.98/129.48	o 149936
128.98/129.48	o 149922
128.98/129.50	o 149914
129.08/129.50	o 149880
129.08/129.50	o 149862
129.08/129.53	o 149844
129.08/129.53	o 149836
129.08/129.54	o 149818
129.08/129.54	o 149804
129.08/129.54	o 149798
129.08/129.55	o 149776
129.08/129.55	o 149738
129.08/129.55	o 149734
129.08/129.56	o 149720
129.08/129.56	o 149682
129.08/129.58	o 149583
129.08/129.59	o 149569
129.18/129.60	o 149551
129.18/129.60	o 149435
129.18/129.61	o 149389
129.18/129.61	o 149375
129.18/129.61	o 149357
129.18/129.64	o 149327
129.18/129.64	o 149313
129.18/129.65	o 149299
129.18/129.65	o 149261
129.18/129.66	o 149257
129.18/129.66	o 149243
129.18/129.68	o 149100
129.18/129.69	o 149022
129.18/129.69	o 148984
129.18/129.69	o 148944
129.28/129.70	o 148906
129.28/129.70	o 148895
129.28/129.70	o 148857
129.28/129.71	o 148625
129.28/129.71	o 148611
129.28/129.71	o 148587
129.28/129.71	o 148573
129.28/129.72	o 148537
129.28/129.72	o 148497
129.28/129.73	o 148427
129.28/129.73	o 148375
129.28/129.74	o 148361
129.28/129.74	o 148245
129.28/129.74	o 148175
129.28/129.75	o 148123
129.28/129.75	o 148109
129.28/129.76	o 148033
129.28/129.77	o 147995
129.28/129.77	o 147981
129.38/129.82	o 147802
129.38/129.82	o 147724
129.38/129.83	o 147686
129.38/129.86	o 147282
129.38/129.86	o 147061
129.38/129.86	o 146945
129.38/129.88	o 146869
129.38/129.89	o 146829
129.38/129.89	o 146823
129.48/129.90	o 146815
129.48/129.91	o 146771
129.48/129.91	o 146731
129.48/129.91	o 146693
129.48/129.92	o 146554
129.48/129.92	o 146516
129.48/129.92	o 146502
129.48/129.93	o 146488
129.48/129.93	o 146450
129.48/129.94	o 146423
129.48/129.94	o 146226
129.48/129.95	o 146212
129.48/129.96	o 146148
129.48/129.96	o 146110
129.48/129.98	o 146070
129.48/129.98	o 146032
129.58/130.08	o 145950
129.58/130.08	o 145910
129.58/130.09	o 145840
129.58/130.09	o 145788
129.58/130.09	o 145784
129.58/130.10	o 145770
129.68/130.10	o 145735
129.68/130.11	o 145683
129.68/130.11	o 145619
129.68/130.12	o 145567
129.68/130.12	o 145541
129.68/130.12	o 145527
129.68/130.13	o 145503
129.68/130.13	o 145489
129.68/130.15	o 145440
129.68/130.15	o 145376
129.68/130.15	o 145362
129.68/130.16	o 145350
129.68/130.16	o 145336
129.68/130.17	o 145298
129.68/130.17	o 145284
129.68/130.17	o 145260
129.68/130.17	o 145246
129.68/130.19	o 145245
129.68/130.19	o 145048
129.68/130.19	o 145034
129.78/130.22	o 145028
129.78/130.22	o 144854
129.78/130.25	o 144798
129.78/130.29	o 144796
129.88/130.30	o 144772
129.88/130.30	o 144758
129.88/130.34	o 144752
129.88/130.34	o 144700
129.88/130.34	o 144662
129.88/130.35	o 144648
129.88/130.36	o 144644
129.88/130.36	o 144630
129.88/130.39	o 144575
129.97/130.40	o 144553
129.97/130.40	o 144469
129.97/130.41	o 144391
129.97/130.41	o 144353
129.97/130.42	o 144349
129.97/130.42	o 144335
129.97/130.47	o 144327
129.97/130.47	o 144179
129.97/130.48	o 144165
129.97/130.48	o 144141
129.97/130.48	o 144127
129.97/130.49	o 144089
129.97/130.49	o 144071
130.07/130.50	o 143981
130.07/130.50	o 143965
130.07/130.51	o 143927
130.07/130.51	o 143753
130.07/130.52	o 143729
130.07/130.52	o 143715
130.07/130.52	o 143697
130.07/130.53	o 143639
130.07/130.54	o 143625
130.07/130.54	o 143587
130.07/130.54	o 143569
130.07/130.55	o 143549
130.07/130.55	o 143531
130.07/130.55	o 143517
130.17/130.63	o 143456
130.17/130.63	o 143438
130.17/130.64	o 143392
130.17/130.64	o 143378
130.17/130.64	o 143374
130.17/130.64	o 143360
130.17/130.65	o 143262
130.17/130.66	o 143248
130.17/130.66	o 143210
130.17/130.67	o 143192
130.27/130.78	o 143131
130.27/130.78	o 143079
130.37/130.80	o 143059
130.37/130.80	o 143041
130.37/130.86	o 143021
130.37/130.86	o 143003
130.37/130.86	o 142989
130.37/130.88	o 142809
130.47/130.95	o 142635
130.47/130.95	o 141347
130.58/131.02	o 141323
130.58/131.02	o 141285
130.58/131.02	o 141271
130.58/131.03	o 141233
130.58/131.03	o 141215
130.58/131.04	o 140920
130.68/131.13	o 140909
130.68/131.13	o 140871
130.68/131.14	o 140659
130.68/131.14	o 140569
130.68/131.14	o 140529
130.68/131.15	o 140407
130.68/131.16	o 140169
130.68/131.19	o 140155
130.77/131.20	o 140103
130.77/131.21	o 139975
130.77/131.28	o 139743
130.87/131.32	o 139733
130.87/131.32	o 139693
130.87/131.32	o 139565
130.87/131.37	o 139508
130.87/131.37	o 139494
130.87/131.37	o 139372
130.87/131.38	o 139334
130.87/131.38	o 139316
130.97/131.41	o 139200
130.97/131.41	o 137886
131.07/131.53	o 137855
131.07/131.53	o 137837
131.07/131.57	o 137668
131.07/131.57	o 137590
131.07/131.58	o 137410
131.17/131.68	o 137089
131.27/131.73	o 137075
131.27/131.74	o 136983
131.27/131.75	o 136975
131.27/131.76	o 136859
131.27/131.76	o 136691
131.27/131.77	o 136525
131.27/131.77	o 136357
131.27/131.79	o 136343
131.37/131.81	o 136325
131.37/131.83	o 136030
131.37/131.87	o 135987
131.37/131.88	o 135935
131.37/131.89	o 135879
131.47/131.96	o 135647
131.57/132.04	o 135633
131.57/132.05	o 135401
131.57/132.06	o 135383
131.67/132.11	o 135168
131.67/132.11	o 133720
131.77/132.22	o 133719
131.77/132.23	o 133681
131.77/132.23	o 133667
131.77/132.24	o 133516
131.77/132.28	o 133476
131.77/132.28	o 133406
131.77/132.28	o 133354
131.87/132.34	o 133142
131.87/132.35	o 132910
131.97/132.44	o 132882
131.97/132.44	o 132844
131.97/132.44	o 132792
131.97/132.45	o 132778
131.97/132.50	o 132483
132.07/132.57	o 132478
132.07/132.58	o 132426
132.07/132.59	o 132162
132.17/132.65	o 130624
132.27/132.71	o 130608
132.27/132.71	o 130570
132.27/132.72	o 130552
132.27/132.74	o 130522
132.27/132.74	o 130227
132.27/132.78	o 130095
132.27/132.78	o 129843
132.27/132.78	o 129751
132.47/132.93	o 129745
132.47/132.94	o 129707
132.47/132.94	o 129689
132.47/132.95	o 129625
132.47/132.95	o 129611
132.47/133.00	o 129513
132.57/133.00	o 129362
132.57/133.04	o 129110
132.57/133.04	o 128982
132.67/133.15	o 128863
132.67/133.16	o 128573
132.87/133.36	o 128567
132.87/133.36	o 128497
132.87/133.37	o 128445
132.87/133.37	o 128317
132.87/133.38	o 128253
132.87/133.38	o 128161
132.97/133.41	o 128083
132.97/133.42	o 128045
132.97/133.44	o 127952
132.97/133.44	o 127874
132.97/133.45	o 127712
133.06/133.56	o 127463
133.46/133.96	o 127441
133.46/133.97	o 127363
133.46/133.98	o 127271
133.57/134.06	o 127143
133.67/134.17	o 126981
133.86/134.37	o 125398
134.16/134.63	o 125392
134.16/134.64	o 125241
134.16/134.66	o 124916
134.36/134.85	o 124858
134.56/135.05	o 124856
134.56/135.06	o 124842
134.56/135.09	o 124552
134.86/135.37	o 124314
135.16/135.61	o 124296
135.16/135.62	o 124174
135.16/135.62	o 124118
135.26/135.75	o 123948
135.26/135.75	o 123760
135.26/135.76	o 123696
135.26/135.76	o 123578
135.46/135.91	o 123566
135.46/135.91	o 123552
135.46/135.92	o 123340
135.56/136.10	o 123308
135.66/136.11	o 123262
135.66/136.11	o 123070
136.15/136.60	o 123044
136.15/136.61	o 122847
136.15/136.63	o 122783
136.15/136.63	o 122609
136.15/136.65	o 122603
136.15/136.65	o 122441
136.15/136.66	o 122323
136.15/136.69	o 122028
136.56/137.02	o 121785
136.56/137.04	o 121782
136.56/137.05	o 121639
136.56/137.07	o 121627
136.56/137.08	o 121549
136.56/137.08	o 121369
136.56/137.08	o 121355
136.66/137.13	o 121303
136.66/137.13	o 121225
136.66/137.14	o 121187
136.66/137.15	o 121141
136.66/137.15	o 120944
136.66/137.16	o 120892
136.66/137.17	o 120764
136.85/137.30	o 120712
136.95/137.44	o 120694
137.05/137.54	o 120628
137.05/137.55	o 120477
137.05/137.57	o 120463
137.05/137.58	o 120445
137.56/138.06	o 120302
137.56/138.08	o 120140
138.25/138.74	o 120099
138.25/138.74	o 119983
138.25/138.75	o 119873
138.25/138.75	o 119821
138.25/138.75	o 119555
138.25/138.76	o 119509
138.25/138.77	o 119312
138.25/138.77	o 119138
138.25/138.78	o 119100
138.25/138.79	o 119082
138.65/139.16	o 119076
138.75/139.26	o 119060
138.75/139.27	o 119022
138.75/139.27	o 119008
138.75/139.28	o 118970
138.85/139.30	o 118914
138.95/139.40	o 118904
138.95/139.41	o 118886
138.95/139.42	o 118591
138.95/139.45	o 118498
138.95/139.45	o 118420
138.95/139.46	o 118258
138.95/139.47	o 118130
139.05/139.53	o 118119
139.05/139.53	o 117968
139.05/139.54	o 117954
139.05/139.54	o 117936
139.05/139.55	o 117898
139.05/139.57	o 117820
139.05/139.57	o 117640
139.55/140.10	o 117388
139.65/140.18	o 117378
139.65/140.18	o 117340
139.65/140.18	o 117326
139.65/140.18	o 117302
139.65/140.19	o 117288
139.65/140.19	o 117284
139.74/140.20	o 117270
140.14/140.62	o 117262
140.14/140.62	o 117210
140.14/140.63	o 117206
140.14/140.64	o 117192
140.14/140.67	o 117158
140.14/140.68	o 117120
140.14/140.69	o 117082
140.14/140.69	o 117064
140.24/140.71	o 116852
140.24/140.71	o 116620
140.34/140.82	o 116614
140.34/140.83	o 116562
140.34/140.84	o 116382
140.34/140.87	o 116210
140.34/140.88	o 116164
140.44/140.91	o 116132
140.44/140.92	o 116086
140.44/140.93	o 115894
140.44/140.96	o 115766
140.65/141.17	o 115752
140.65/141.17	o 115734
140.65/141.17	o 115696
140.65/141.18	o 115644
140.84/141.30	o 114562
140.84/141.32	o 114400
141.14/141.62	o 114082
141.14/141.63	o 112782
141.34/141.88	o 112744
141.34/141.89	o 112730
141.44/141.92	o 112726
141.44/141.92	o 112712
141.44/141.99	o 112596
141.64/142.15	o 112536
141.64/142.16	o 112518
141.64/142.17	o 112312
141.64/142.17	o 112248
141.64/142.17	o 112234
141.74/142.23	o 111982
141.74/142.24	o 111854
141.74/142.25	o 111816
141.74/142.25	o 111642
141.74/142.28	o 111410
141.94/142.43	o 111399
141.94/142.43	o 111381
141.94/142.46	o 111230
142.14/142.64	o 111224
142.14/142.66	o 111178
142.14/142.67	o 111100
142.14/142.67	o 110908
142.54/143.03	o 110906
142.54/143.04	o 110830
142.54/143.07	o 110592
142.73/143.26	o 109542
142.73/143.29	o 109334
142.83/143.30	o 109290
144.83/145.38	o 109260
144.83/145.38	o 109236
144.83/145.39	o 108915
144.83/145.39	o 108871
144.83/145.39	o 107493
144.93/145.45	o 107463
144.93/145.45	o 107296
144.93/145.46	o 107168
144.93/145.47	o 107156
144.93/145.48	o 107142
144.93/145.48	o 106988
145.03/145.50	o 106828
145.03/145.51	o 106764
145.03/145.51	o 106750
145.03/145.52	o 106622
145.03/145.53	o 106372
145.03/145.53	o 106363
145.03/145.53	o 106349
145.03/145.54	o 106288
145.03/145.54	o 106274
145.03/145.54	o 106184
145.03/145.55	o 106120
145.03/145.55	o 106106
145.03/145.55	o 106041
145.03/145.56	o 106027
145.03/145.56	o 105995
145.03/145.56	o 105798
145.03/145.56	o 105784
145.03/145.57	o 105743
145.03/145.58	o 105734
145.03/145.58	o 105682
145.03/145.58	o 105566
145.03/145.59	o 105514
145.03/145.60	o 105500
145.13/145.63	o 105491
145.13/145.64	o 105453
145.13/145.64	o 105430
145.13/145.65	o 105416
145.13/145.65	o 105378
145.13/145.66	o 105204
145.23/145.70	o 105131
145.23/145.71	o 105117
145.23/145.72	o 105019
145.23/145.73	o 105005
145.23/145.73	o 104963
145.23/145.74	o 104949
145.23/145.75	o 104911
145.23/145.77	o 104856
145.23/145.77	o 104838
145.23/145.77	o 104792
145.23/145.78	o 104778
145.23/145.78	o 104774
145.23/145.78	o 104760
145.33/145.89	o 104711
145.43/145.90	o 104688
145.43/145.90	o 104638
145.43/145.91	o 104630
145.43/145.91	o 104616
145.43/145.91	o 104574
145.43/145.91	o 104560
145.43/145.92	o 104522
145.54/146.04	o 104510
145.54/146.05	o 104450
145.54/146.05	o 104412
145.54/146.05	o 104394
145.64/146.12	o 104387
145.64/146.12	o 104373
145.64/146.13	o 104359
145.64/146.14	o 104345
145.64/146.14	o 104307
145.64/146.15	o 104269
145.64/146.15	o 104251
145.73/146.23	o 104228
145.73/146.24	o 104224
145.73/146.25	o 104210
145.73/146.28	o 104204
145.73/146.29	o 104158
145.73/146.29	o 104120
145.83/146.31	o 104112
145.83/146.31	o 104094
145.83/146.32	o 104056
145.83/146.32	o 104042
145.83/146.36	o 103990
145.83/146.37	o 103984
145.83/146.38	o 103952
145.83/146.38	o 103900
145.83/146.38	o 103862
145.93/146.46	o 103856
145.93/146.46	o 103818
145.93/146.46	o 103800
145.93/146.47	o 103786
145.93/146.47	o 103758
145.93/146.47	o 103740
145.93/146.48	o 103732
145.93/146.48	o 103694
145.93/146.49	o 103676
145.93/146.49	o 103662
145.93/146.49	o 103642
145.93/146.49	o 103624
146.23/146.71	o 103618
146.23/146.72	o 103566
146.23/146.72	o 103514
146.23/146.72	o 103496
146.23/146.74	o 103493
146.23/146.75	o 103437
146.23/146.75	o 103431
146.23/146.75	o 103269
146.33/146.83	o 103207
146.33/146.83	o 103193
146.33/146.84	o 103139
146.33/146.84	o 103125
146.33/146.85	o 103101
146.33/146.85	o 103087
146.33/146.85	o 103063
146.33/146.86	o 103049
146.33/146.86	o 103045
146.33/146.86	o 103031
146.43/146.99	o 103029
146.43/146.99	o 103015
146.43/146.99	o 103011
146.43/147.00	o 102997
146.54/147.00	o 102985
146.54/147.00	o 102921
146.54/147.01	o 102883
146.54/147.01	o 102869
147.13/147.65	o 102826
147.13/147.66	o 102588
147.63/148.11	o 102396
147.83/148.36	o 102294
147.83/148.37	o 102280
148.03/148.53	o 100966
148.13/148.63	o 100960
148.13/148.64	o 99646
148.13/148.69	o 99530
148.32/148.83	o 98454
148.32/148.87	o 98420
148.32/148.87	o 98394
148.32/148.88	o 98342
148.32/148.88	o 98286
148.53/149.05	o 98240
148.53/149.06	o 98222
148.53/149.07	o 97088
148.53/149.08	o 97082
148.53/149.09	o 96920
148.72/149.26	o 95632
148.82/149.37	o 95618
148.82/149.37	o 95604
148.82/149.38	o 95600
148.82/149.38	o 95580
148.82/149.39	o 95562
148.82/149.39	o 95548
148.82/149.40	o 95444
148.92/149.40	o 95426
148.92/149.41	o 95348
148.92/149.41	o 95310
149.02/149.50	o 93599
149.12/149.62	o 93562
149.12/149.62	o 93548
149.12/149.63	o 92170
149.12/149.67	o 92130
149.12/149.67	o 92008
149.22/149.75	o 92005
149.22/149.75	o 91967
149.22/149.76	o 91677
149.32/149.83	o 90601
149.32/149.87	o 90485
149.32/149.88	o 90433
149.42/149.92	o 88815
149.53/150.04	o 88812
149.53/150.04	o 88542
149.53/150.04	o 88528
149.53/150.05	o 88510
149.53/150.05	o 88220
149.53/150.09	o 87144
149.63/150.10	o 87138
149.63/150.11	o 86976
149.92/150.40	o 85546
149.92/150.45	o 85517
149.92/150.45	o 85499
149.92/150.46	o 85482
149.92/150.46	o 85444
149.92/150.46	o 85426
149.92/150.47	o 85418
149.92/150.47	o 85404
149.92/150.47	o 85380
149.92/150.48	o 85362
149.92/150.48	o 85348
149.92/150.49	o 85211
150.02/150.50	o 85193
150.02/150.50	o 85025
150.02/150.52	o 85000
150.02/150.52	o 84838
150.02/150.53	o 84814
150.02/150.54	o 84796
150.02/150.54	o 84782
150.02/150.55	o 84686
150.02/150.56	o 84622
150.02/150.56	o 84608
150.02/150.58	o 84604
150.02/150.58	o 84590
150.02/150.59	o 84570
150.02/150.59	o 84556
150.12/150.60	o 84498
150.12/150.60	o 84484
150.12/150.61	o 84442
150.12/150.61	o 84428
150.12/150.67	o 84419
150.12/150.68	o 84399
150.12/150.68	o 84347
150.12/150.69	o 84329
150.22/150.71	o 84280
150.22/150.72	o 84258
150.22/150.73	o 84234
150.22/150.73	o 84216
150.22/150.74	o 84202
150.22/150.79	o 84180
150.22/150.79	o 84142
150.32/150.80	o 84086
150.32/150.88	o 82798
150.42/150.97	o 82795
150.42/150.98	o 82667
150.42/151.00	o 82418
150.72/151.22	o 80938
150.82/151.34	o 80909
150.82/151.36	o 80795
150.82/151.36	o 80781
150.82/151.39	o 80747
150.82/151.39	o 80729
150.92/151.42	o 80251
150.92/151.42	o 79967
150.92/151.42	o 79911
150.92/151.43	o 79801
150.92/151.43	o 79749
150.92/151.45	o 79717
150.92/151.45	o 79627
150.92/151.46	o 79517
150.92/151.46	o 79465
150.92/151.46	o 79447
151.02/151.54	o 78235
151.02/151.55	o 78157
151.11/151.62	o 78117
151.11/151.62	o 77995
153.01/153.50	o 77985
153.01/153.51	o 77971
153.01/153.51	o 76631
153.61/154.13	o 76545
153.61/154.14	o 74873
154.61/155.17	o 73611
155.40/155.94	o 72323
156.60/157.14	o 72294
156.60/157.14	o 72280
156.60/157.14	o 72202
156.60/157.15	o 71907
156.60/157.16	o 71809
156.60/157.17	o 71658
156.60/157.18	o 71269
156.70/157.21	o 71141
157.39/157.91	o 71071
157.39/157.93	o 71035
158.09/158.69	o 70975
158.09/158.69	o 70897
158.19/158.70	o 70819
158.19/158.72	o 70783
158.19/158.73	o 70488
158.19/158.77	o 70313
158.60/159.10	o 70151
158.99/159.53	o 68358
159.29/159.81	o 68320
159.29/159.81	o 68242
159.39/159.93	o 67288
159.39/159.94	o 66992
160.09/160.61	o 66956
160.59/161.10	o 66920
160.59/161.11	o 66842
160.59/161.14	o 66830
161.18/161.73	o 66792
161.18/161.74	o 66740
161.28/161.80	o 65922
161.38/162.00	o 65856
163.38/163.96	o 65820
165.87/166.43	o 65817
165.87/166.45	o 65701
171.05/171.63	o 65644
171.05/171.64	o 65600
171.05/171.64	o 65595
171.05/171.65	o 65536
171.05/171.66	o 65420
171.15/171.73	o 65370
171.15/171.76	o 64604
171.15/171.76	o 64563
171.15/171.77	o 64485
171.15/171.77	o 64383
171.15/171.77	o 64305
171.15/171.78	o 64190
171.15/171.78	o 64140
171.15/171.79	o 64062
171.25/171.80	o 63989
171.25/171.81	o 63899
171.25/171.82	o 63815
171.25/171.82	o 63737
171.25/171.83	o 63673
171.25/171.83	o 63652
171.25/171.83	o 63643
171.25/171.84	o 63426
171.25/171.84	o 63348
171.56/172.16	o 63308
171.65/172.23	o 63242
172.15/172.75	o 63240
172.15/172.75	o 63162
172.25/172.80	o 63137
172.25/172.80	o 63107
172.25/172.81	o 63029
172.55/173.16	o 62996
172.65/173.23	o 62967
172.65/173.23	o 62964
172.65/173.24	o 62900
172.65/173.24	o 62834
172.75/173.37	o 62794
172.75/173.39	o 62728
173.94/174.50	o 62690
173.94/174.56	o 62634
173.94/174.58	o 61481
173.94/174.58	o 61306
175.74/176.38	o 61047
175.84/176.40	o 60979
177.23/177.85	o 60900
177.23/177.85	o 60822
177.23/177.86	o 60756
178.23/178.89	o 60648
180.92/181.51	o 60589
181.02/181.65	o 60522
181.02/181.65	o 60456
181.32/181.97	o 60386
181.32/181.98	o 60350
182.52/183.17	o 60188
185.80/186.42	o 60168
187.00/187.62	o 59411
187.10/187.75	o 59100
187.10/187.75	o 58905
191.29/191.99	o 58867
191.39/192.01	o 58215
191.39/192.02	o 58147
191.39/192.02	o 58040
191.39/192.02	o 57972
191.39/192.03	o 57926
191.39/192.04	o 57729
191.39/192.06	o 57727
191.39/192.06	o 57691
191.39/192.08	o 57659
191.39/192.08	o 57623
191.49/192.15	o 57548
191.49/192.15	o 57478
191.49/192.15	o 57442
191.49/192.16	o 57410
191.49/192.16	o 57374
192.18/192.88	o 57344
192.18/192.89	o 57266
192.28/193.00	o 57240
192.39/193.00	o 57204
192.39/193.05	o 57198
192.39/193.06	o 57072
192.39/193.06	o 57036
192.39/193.07	o 57026
192.39/193.08	o 56994
192.39/193.08	o 56958
192.88/193.52	o 56878
192.88/193.52	o 56750
192.88/193.59	o 56622
193.18/193.82	o 56549
193.58/194.25	o 56539
193.58/194.25	o 56461
193.58/194.27	o 56331
193.68/194.38	o 56036
193.88/194.51	o 55715
194.38/195.08	o 55680
194.48/195.11	o 55607
196.87/197.52	o 54293
197.17/197.84	o 54273
197.17/197.85	o 54205
197.47/198.15	o 54170
197.47/198.15	o 54008
197.47/198.17	o 53962
197.47/198.17	o 53927
197.47/198.17	o 53765
197.47/198.17	o 53695
197.47/198.17	o 53659
197.57/198.20	o 53623
197.57/198.21	o 53448
197.57/198.21	o 53400
197.57/198.22	o 53364
197.57/198.27	o 53322
197.57/198.28	o 53286
197.57/198.28	o 53254
197.57/198.28	o 53218
197.57/198.29	o 53079
197.57/198.29	o 53043
198.26/198.93	o 53037
198.26/198.94	o 52969
205.84/206.51	o 52957
205.84/206.56	o 52200
205.84/206.56	o 51889
205.84/206.57	o 51883
205.94/206.60	o 51815
208.93/209.64	o 51751
208.93/209.64	o 51673
209.33/210.09	o 51557
209.33/210.10	o 51543
212.52/213.21	o 51385
215.61/216.34	o 51383
215.61/216.34	o 51277
240.63/241.40	o 50511
240.63/241.41	o 50459
279.61/280.52	o 48919
327.65/328.72	o 47591
327.65/328.72	o 47370
334.33/335.45	o 46275
338.82/339.99	o 45039
360.25/361.42	o 44712
360.25/361.42	o 44644
360.25/361.43	o 44598
360.25/361.43	o 44401
361.35/362.55	o 44381
361.35/362.55	o 44213
361.35/362.56	o 44161
364.64/365.86	o 44055
368.22/369.49	o 44034
368.32/369.50	o 44021
368.32/369.50	o 43953
368.42/369.64	o 43901
379.69/380.93	o 42665
382.38/383.61	o 42629
405.01/406.35	o 42625
405.01/406.35	o 42525
405.31/406.67	o 42461
405.31/406.67	o 42339
405.31/406.67	o 42265
405.31/406.68	o 42232
405.31/406.68	o 42132
405.31/406.68	o 41935
405.50/406.81	o 41920
405.50/406.81	o 41892
405.50/406.81	o 41792
424.95/426.30	o 41170
454.26/455.78	o 41080
454.75/456.27	o 40977
465.92/467.49	o 39819
466.62/468.18	o 39811
466.71/468.23	o 39660
466.71/468.23	o 38686
469.80/471.34	o 38619
469.80/471.35	o 38473
498.01/499.65	o 37925
498.01/499.65	o 37728
498.01/499.66	o 37708
540.08/541.86	o 37636
560.01/561.85	o 37572
560.01/561.86	o 37540
560.01/561.87	o 37538
560.01/561.89	o 37424
560.01/561.89	o 37410
570.78/572.63	o 37288
648.93/651.06	o 37269
652.21/654.39	o 36156
793.57/796.18	o 34562
847.19/849.94	o 33456
1006.58/1009.82	s OPTIMUM FOUND
1006.58/1009.82	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

Verifier Data 

OK	33456

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (61496 MiB free)
  memory of node 1: 64510 MiB (61670 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433551-1721103983/watcher-4433551-1721103983 -o /tmp/evaluation-result-4433551-1721103983/solver-4433551-1721103983 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721096611-832289 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=2095340420 HOME/instance-4433551-1721103983.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=837826, runsolver pid=837823

[startup+0.101031 s]*
/proc/loadavg: 4.18 4.14 4.11 5/256 837827
/proc/meminfo: memFree=126109140/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=36032 memory=16996 CPUtime=0.09 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 3134 0 0 0 9 0 0 0 20 0 1 0 162568042 36896768 4249 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 9008 4249 819 746 0 8072 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36032 KiB
Current children cumulated memory: 16996 KiB

[startup+0.205632 s]*
/proc/loadavg: 4.18 4.14 4.11 5/256 837827
/proc/meminfo: memFree=126101728/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=38276 memory=21152 CPUtime=0.2 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 3688 0 0 0 20 0 0 0 20 0 1 0 162568042 39194624 5288 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 9569 5288 819 746 0 8633 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38276 KiB
Current children cumulated memory: 21152 KiB

[startup+0.305567 s]*
/proc/loadavg: 4.18 4.14 4.11 5/256 837827
/proc/meminfo: memFree=126093488/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=41976 memory=26892 CPUtime=0.29 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 4616 0 0 0 29 0 0 0 20 0 1 0 162568042 42983424 6723 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 10494 6723 819 746 0 9558 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 41976 KiB
Current children cumulated memory: 26892 KiB

[startup+0.700156 s]
/proc/loadavg: 4.18 4.14 4.11 5/256 837827
/proc/meminfo: memFree=126086428/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=48892 memory=40152 CPUtime=0.68 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 6372 0 0 0 68 0 0 0 20 0 1 0 162568042 50065408 10038 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 12223 10038 819 746 0 11287 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 48892 KiB
Current children cumulated memory: 40152 KiB

[startup+1.50021 s]
/proc/loadavg: 4.18 4.14 4.11 6/256 837827
/proc/meminfo: memFree=126058404/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=75140 memory=61276 CPUtime=1.48 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 10361 0 0 0 146 2 0 0 20 0 1 0 162568042 76943360 15319 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 18785 15319 835 746 0 17849 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 75140 KiB
Current children cumulated memory: 61276 KiB

[startup+3.10574 s]
/proc/loadavg: 4.18 4.14 4.11 6/256 837827
/proc/meminfo: memFree=126001196/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=100944 memory=77444 CPUtime=3.08 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 12226 0 0 0 305 3 0 0 20 0 1 0 162568042 103366656 19361 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 25236 19361 835 746 0 24300 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 100944 KiB
Current children cumulated memory: 77444 KiB

[startup+6.30021 s]
/proc/loadavg: 4.17 4.13 4.11 6/256 837827
/proc/meminfo: memFree=125832116/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=168504 memory=123988 CPUtime=6.27 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 19218 0 0 0 620 7 0 0 20 0 1 0 162568042 172548096 30997 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 42126 30997 835 746 0 41190 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 168504 KiB
Current children cumulated memory: 123988 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.13 4.11 6/256 837828
/proc/meminfo: memFree=125630944/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=217672 memory=186752 CPUtime=12.64 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 28329 0 0 0 1255 9 0 0 20 0 1 0 162568042 222896128 46688 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 54418 46688 835 746 0 53482 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 217672 KiB
Current children cumulated memory: 186752 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.14 4.12 6/256 837830
/proc/meminfo: memFree=125471588/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=297652 memory=218332 CPUtime=25.41 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 32838 0 0 0 2528 13 0 0 20 0 1 0 162568042 304795648 54583 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 74413 54583 835 746 0 73477 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 297652 KiB
Current children cumulated memory: 218332 KiB

[startup+51.1058 s]
/proc/loadavg: 4.13 4.13 4.11 6/256 837835
/proc/meminfo: memFree=125114036/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=379096 memory=303392 CPUtime=50.93 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 46558 0 0 0 5077 16 0 0 20 0 1 0 162568042 388194304 75848 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 94774 75848 835 746 0 93838 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 379096 KiB
Current children cumulated memory: 303392 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.11 6/257 837845
/proc/meminfo: memFree=124676976/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=437440 memory=354920 CPUtime=101.96 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 59582 0 0 0 10177 19 0 0 20 0 1 0 162568042 447938560 88730 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 109360 88730 835 746 0 108424 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 437440 KiB
Current children cumulated memory: 354920 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.13 4.11 6/257 838023
/proc/meminfo: memFree=124514376/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=439936 memory=360044 CPUtime=161.78 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 60940 0 0 0 16158 20 0 0 20 0 1 0 162568042 450494464 90011 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 109984 90011 835 746 0 109048 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 439936 KiB
Current children cumulated memory: 360044 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.10 6/258 838034
/proc/meminfo: memFree=124297732/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=439936 memory=360256 CPUtime=221.59 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 61068 0 0 0 22139 20 0 0 20 0 1 0 162568042 450494464 90064 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 109984 90064 835 746 0 109048 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 439936 KiB
Current children cumulated memory: 360256 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.10 6/258 838102
/proc/meminfo: memFree=123663560/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=440448 memory=360592 CPUtime=281.4 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 61213 0 0 0 28120 20 0 0 20 0 1 0 162568042 451018752 90148 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 110112 90148 835 746 0 109176 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 440448 KiB
Current children cumulated memory: 360592 KiB

[startup+342.3 s]
/proc/loadavg: 4.33 4.16 4.11 6/258 838112
/proc/meminfo: memFree=123663140/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=440448 memory=360592 CPUtime=341.21 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 61259 0 0 0 34101 20 0 0 20 0 1 0 162568042 451018752 90148 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 110112 90148 835 746 0 109176 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 440448 KiB
Current children cumulated memory: 360592 KiB

[startup+402.3 s]
/proc/loadavg: 4.23 4.18 4.12 6/258 838123
/proc/meminfo: memFree=123608888/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=440640 memory=360828 CPUtime=401.02 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 61359 0 0 0 40082 20 0 0 20 0 1 0 162568042 451215360 90207 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 110160 90207 835 746 0 109224 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 440640 KiB
Current children cumulated memory: 360828 KiB

[startup+462.3 s]
/proc/loadavg: 4.26 4.19 4.12 6/258 838135
/proc/meminfo: memFree=123608184/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=440772 memory=360924 CPUtime=460.83 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 61447 0 0 0 46062 21 0 0 20 0 1 0 162568042 451350528 90231 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 110193 90231 835 746 0 109257 0
Current children cumulated CPU time: 460.83 s
Current children cumulated vsize: 440772 KiB
Current children cumulated memory: 360924 KiB

[startup+522.3 s]
/proc/loadavg: 4.50 4.27 4.16 6/258 838145
/proc/meminfo: memFree=123607320/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=440772 memory=361024 CPUtime=520.64 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 61514 0 0 0 52043 21 0 0 20 0 1 0 162568042 451350528 90256 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 110193 90256 835 746 0 109257 0
Current children cumulated CPU time: 520.64 s
Current children cumulated vsize: 440772 KiB
Current children cumulated memory: 361024 KiB

[startup+582.3 s]
/proc/loadavg: 4.43 4.30 4.18 5/255 838200
/proc/meminfo: memFree=124029668/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=440932 memory=361216 CPUtime=580.45 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 61614 0 0 0 58024 21 0 0 20 0 1 0 162568042 451514368 90304 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 110233 90304 835 746 0 109297 0
Current children cumulated CPU time: 580.45 s
Current children cumulated vsize: 440932 KiB
Current children cumulated memory: 361216 KiB

[startup+642.3 s]
/proc/loadavg: 4.22 4.26 4.17 5/255 838210
/proc/meminfo: memFree=123719040/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=440932 memory=361272 CPUtime=640.25 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 61684 0 0 0 64004 21 0 0 20 0 1 0 162568042 451514368 90318 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 110233 90318 835 746 0 109297 0
Current children cumulated CPU time: 640.25 s
Current children cumulated vsize: 440932 KiB
Current children cumulated memory: 361272 KiB

[startup+702.3 s]
/proc/loadavg: 4.13 4.22 4.16 5/255 838221
/proc/meminfo: memFree=123607172/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=441316 memory=361556 CPUtime=700.07 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 61839 0 0 0 69985 22 0 0 20 0 1 0 162568042 451907584 90389 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 110329 90389 835 746 0 109393 0
Current children cumulated CPU time: 700.07 s
Current children cumulated vsize: 441316 KiB
Current children cumulated memory: 361556 KiB

[startup+762.3 s]
/proc/loadavg: 4.11 4.20 4.16 5/255 838231
/proc/meminfo: memFree=123482492/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=441508 memory=361636 CPUtime=759.87 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 61918 0 0 0 75965 22 0 0 20 0 1 0 162568042 452104192 90409 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 110377 90409 835 746 0 109441 0
Current children cumulated CPU time: 759.87 s
Current children cumulated vsize: 441508 KiB
Current children cumulated memory: 361636 KiB

[startup+822.3 s]
/proc/loadavg: 4.16 4.19 4.16 5/254 838241
/proc/meminfo: memFree=123452156/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=441668 memory=361856 CPUtime=819.68 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 62048 0 0 0 81946 22 0 0 20 0 1 0 162568042 452268032 90464 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 110417 90464 835 746 0 109481 0
Current children cumulated CPU time: 819.68 s
Current children cumulated vsize: 441668 KiB
Current children cumulated memory: 361856 KiB

[startup+882.3 s]
/proc/loadavg: 4.10 4.17 4.15 5/257 838257
/proc/meminfo: memFree=123430136/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=441852 memory=362076 CPUtime=879.49 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 62148 0 0 0 87927 22 0 0 20 0 1 0 162568042 452456448 90519 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 110463 90519 835 746 0 109527 0
Current children cumulated CPU time: 879.49 s
Current children cumulated vsize: 441852 KiB
Current children cumulated memory: 362076 KiB

[startup+942.3 s]
/proc/loadavg: 4.07 4.15 4.15 5/257 838267
/proc/meminfo: memFree=123391096/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=442380 memory=362656 CPUtime=939.3 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 62347 0 0 0 93908 22 0 0 20 0 1 0 162568042 452997120 90664 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 110595 90664 835 746 0 109659 0
Current children cumulated CPU time: 939.3 s
Current children cumulated vsize: 442380 KiB
Current children cumulated memory: 362656 KiB

[startup+1002.3 s]
/proc/loadavg: 4.43 4.23 4.18 5/257 838278
/proc/meminfo: memFree=123326732/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=455860 memory=370556 CPUtime=999.11 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 64427 0 0 0 99888 23 0 0 20 0 1 0 162568042 466800640 92639 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 113965 92639 835 746 0 113029 0
Current children cumulated CPU time: 999.11 s
Current children cumulated vsize: 455860 KiB
Current children cumulated memory: 370556 KiB

[startup+1009.84 s]
# the end of solver process 837826 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1006.39 s, system=0.24618 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1004.8 s]
/proc/loadavg: 4.43 4.23 4.18 5/257 838278
/proc/meminfo: memFree=123325724/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=455860 memory=370720 CPUtime=1001.6 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 64429 0 0 0 100137 23 0 0 20 0 1 0 162568042 466800640 92680 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 113965 92680 835 746 0 113029 0
Current children cumulated CPU time: 1001.6 s
Current children cumulated vsize: 455860 KiB
Current children cumulated memory: 370720 KiB

[startup+1008 s]*
/proc/loadavg: 4.40 4.23 4.17 5/257 838278
/proc/meminfo: memFree=123314064/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=455860 memory=370720 CPUtime=1004.8 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 64431 0 0 0 100457 23 0 0 20 0 1 0 162568042 466800640 92680 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 113965 92680 835 746 0 113029 0
Current children cumulated CPU time: 1004.8 s
Current children cumulated vsize: 455860 KiB
Current children cumulated memory: 370720 KiB

[startup+1008.8 s]
/proc/loadavg: 4.40 4.23 4.17 5/257 838278
/proc/meminfo: memFree=123314064/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=455860 memory=370720 CPUtime=1005.59 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 64432 0 0 0 100536 23 0 0 20 0 1 0 162568042 466800640 92680 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 113965 92680 835 746 0 113029 0
Current children cumulated CPU time: 1005.59 s
Current children cumulated vsize: 455860 KiB
Current children cumulated memory: 370720 KiB

[startup+1009.6 s]
/proc/loadavg: 4.40 4.23 4.17 5/257 838278
/proc/meminfo: memFree=123312056/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=455860 memory=370720 CPUtime=1006.39 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 64432 0 0 0 100616 23 0 0 20 0 1 0 162568042 466800640 92680 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 113965 92680 835 746 0 113029 0
Current children cumulated CPU time: 1006.39 s
Current children cumulated vsize: 455860 KiB
Current children cumulated memory: 370720 KiB

[startup+1009.8 s]
/proc/loadavg: 4.40 4.23 4.17 5/257 838278
/proc/meminfo: memFree=123312056/131524600 swapFree=131071996/131071996
[pid=837826] ppid=837823 vsize=455860 memory=370720 CPUtime=1006.58 cores=0,2
/proc/837826/stat : 837826 (Exact_nosoplex) R 837823 837826 832279 0 -1 4194304 64432 0 0 0 100635 23 0 0 20 0 1 0 162568042 466800640 92680 134679101440 4194304 7248369 140722704767872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 25628672 140722704769964 140722704770143 140722704770143 140722704777158 0
/proc/837826/statm: 113965 92680 835 746 0 113029 0
Current children cumulated CPU time: 1006.58 s
Current children cumulated vsize: 455860 KiB
Current children cumulated memory: 370720 KiB

Child status: 30

Real time (s): 1009.84
CPU time (s): 1006.63
CPU user time (s): 1006.39
CPU system time (s): 0.24618
CPU usage (%): 99.6826
Max. virtual memory (cumulated for all children) (KiB): 455860
Max. memory (cumulated for all children) (KiB): 370720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1006.39
system time used= 0.24618
maximum resident set size= 370720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64433
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= 2
involuntary context switches= 7134


# summary of solver processes directly reported to runsolver:
#   pid: 837826
#   total CPU time (s): 1006.63
#   total CPU user time (s): 1006.39
#   total CPU system time (s): 0.24618

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.99048 second user time and 4.81879 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-16 06:26:35
IDJOB=4433551
IDBENCH=148147
IDSOLVER=3061
FILE ID=nodeC033/4433551-1721103983
RUNJOBID= nodeC033-1721096611-832289
SLURM_JOB_ID= 7505611
Free space on /tmp= 890068 MiB

SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir06_trarea_ac.opb
COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433551-1721103983/watcher-4433551-1721103983 -o /tmp/evaluation-result-4433551-1721103983/solver-4433551-1721103983 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721096611-832289 --watchdog 3760  HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=2095340420 HOME/instance-4433551-1721103983.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 80638e9ab302f8cbcb0fef344ba23b43
RANDOM SEED=2095340420

nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3643.199
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3684.472
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3631.745
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.224
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3665.672
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3684.486
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3627.145
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.888
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126123204 kB
MemAvailable:   129043936 kB
Buffers:          417268 kB
Cached:          3309016 kB
SwapCached:            0 kB
Active:           673640 kB
Inactive:        4066748 kB
Active(anon):       1564 kB
Inactive(anon):  1050560 kB
Active(file):     672076 kB
Inactive(file):  3016188 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             17624 kB
Writeback:             0 kB
AnonPages:       1013748 kB
Mapped:           114100 kB
Shmem:             37716 kB
KReclaimable:     144232 kB
Slab:             254980 kB
SReclaimable:     144232 kB
SUnreclaim:       110748 kB
KernelStack:        4144 kB
PageTables:        11096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1591068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61312 kB
HardwareCorrupted:     0 kB
AnonHugePages:    604160 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      256724 kB
DirectMap2M:    25731072 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC033 at 2024-07-16 06:43:25