Trace number 4433554

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-05SAT (TO)62710 3600.05 3609.41

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
MD5SUMec773b047bf21dab87650e27deaa6768
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 benchmark50769
Best CPU time to get the best result obtained on this benchmark12.3979
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3945
Total number of constraints8604
Number of constraints which are clauses8604
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 constraint59
Number of terms in the objective function 1872
Biggest coefficient in the objective function 2110
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 3036193
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 2110
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3036193
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 366029
0.00/0.05	o 353132
0.00/0.05	o 353065
0.00/0.05	o 353028
0.00/0.05	o 352616
0.00/0.05	o 352572
0.00/0.06	o 352514
0.00/0.07	o 352271
0.00/0.07	o 352207
0.00/0.08	o 351314
0.00/0.08	o 351270
0.00/0.08	o 351218
0.00/0.08	o 351166
0.00/0.08	o 351122
0.00/0.08	o 351064
0.00/0.09	o 350835
0.00/0.09	o 350777
0.00/0.10	o 350246
0.09/0.10	o 350202
0.09/0.10	o 350150
0.09/0.10	o 350098
0.09/0.10	o 350054
0.09/0.11	o 349996
0.09/0.11	o 349944
0.09/0.11	o 349932
0.09/0.11	o 349750
0.09/0.12	o 349739
0.09/0.12	o 349727
0.09/0.12	o 349591
0.09/0.12	o 349579
0.09/0.12	o 349521
0.09/0.13	o 349475
0.09/0.13	o 349463
0.09/0.13	o 349341
0.09/0.14	o 349283
0.09/0.14	o 347951
0.09/0.15	o 347945
0.09/0.15	o 347887
0.09/0.15	o 347829
0.09/0.15	o 347717
0.09/0.16	o 347705
0.09/0.16	o 347659
0.09/0.16	o 347647
0.09/0.17	o 347629
0.09/0.17	o 347028
0.09/0.17	o 347008
0.09/0.17	o 346788
0.09/0.18	o 346776
0.09/0.18	o 346750
0.09/0.18	o 346712
0.09/0.18	o 346654
0.09/0.18	o 346624
0.09/0.19	o 346612
0.09/0.19	o 346603
0.09/0.19	o 346594
0.09/0.19	o 346493
0.09/0.19	o 346481
0.09/0.20	o 346472
0.09/0.20	o 346458
0.20/0.21	o 346446
0.20/0.21	o 346408
0.20/0.21	o 346350
0.20/0.21	o 346268
0.20/0.21	o 346083
0.20/0.22	o 346025
0.20/0.22	o 345447
0.20/0.22	o 345262
0.20/0.23	o 345204
0.20/0.23	o 345192
0.20/0.23	o 344963
0.20/0.23	o 344905
0.20/0.24	o 344903
0.20/0.24	o 344845
0.20/0.24	o 344787
0.20/0.24	o 344735
0.20/0.24	o 344723
0.20/0.25	o 344717
0.20/0.25	o 344659
0.20/0.25	o 344601
0.20/0.26	o 344592
0.20/0.26	o 344583
0.20/0.28	o 344551
0.20/0.28	o 344539
0.20/0.28	o 344350
0.20/0.28	o 344336
0.20/0.29	o 344176
0.20/0.29	o 342836
0.20/0.30	o 341226
0.20/0.30	o 341076
0.30/0.31	o 341064
0.30/0.31	o 341038
0.30/0.31	o 341000
0.30/0.31	o 340942
0.30/0.31	o 340878
0.30/0.31	o 340860
0.30/0.31	o 340675
0.30/0.32	o 340617
0.30/0.32	o 340601
0.30/0.32	o 340543
0.30/0.32	o 340531
0.30/0.32	o 340493
0.30/0.33	o 340435
0.30/0.33	o 340313
0.30/0.34	o 340304
0.30/0.34	o 340098
0.30/0.34	o 339982
0.30/0.35	o 339904
0.30/0.35	o 339860
0.30/0.36	o 339852
0.30/0.36	o 339840
0.30/0.36	o 339822
0.30/0.36	o 339813
0.30/0.37	o 339804
0.30/0.38	o 339796
0.30/0.38	o 339535
0.30/0.40	o 339530
0.30/0.40	o 339518
0.39/0.41	o 339344
0.39/0.44	o 339338
0.39/0.45	o 339329
0.39/0.45	o 339321
0.39/0.46	o 339269
0.39/0.46	o 339083
0.39/0.48	o 338961
0.49/0.51	o 338956
0.49/0.51	o 338912
0.49/0.52	o 338900
0.49/0.52	o 338862
0.49/0.52	o 338804
0.49/0.53	o 338746
0.49/0.53	o 338514
0.49/0.54	o 338392
0.49/0.55	o 338354
0.49/0.55	o 338336
0.49/0.56	o 338067
0.49/0.59	o 338037
0.49/0.59	o 338025
0.49/0.60	o 337903
0.59/0.61	o 337894
0.59/0.61	o 337856
0.59/0.62	o 337847
0.59/0.62	o 337838
0.59/0.64	o 337829
0.59/0.64	o 337821
0.59/0.65	o 337647
0.59/0.66	o 337467
0.68/0.70	o 337461
0.68/0.71	o 337339
0.68/0.72	o 337330
0.68/0.72	o 337321
0.68/0.73	o 337312
0.68/0.73	o 337304
0.68/0.78	o 337271
0.68/0.78	o 337149
0.78/0.80	o 337111
0.78/0.80	o 337093
0.78/0.81	o 337084
0.78/0.82	o 337075
0.78/0.84	o 337058
0.88/0.90	o 337053
0.88/0.91	o 335713
0.88/0.91	o 335705
0.88/0.92	o 335696
0.88/0.92	o 335687
0.88/0.97	o 335655
0.88/0.98	o 335591
0.88/0.98	o 335475
1.09/1.16	o 335443
1.09/1.16	o 335431
1.09/1.16	o 335373
1.09/1.17	o 335317
1.18/1.22	o 335280
1.18/1.22	o 335196
1.18/1.22	o 335150
1.18/1.23	o 335132
1.18/1.29	o 333549
1.38/1.43	o 332209
1.48/1.52	o 332201
1.48/1.53	o 332192
1.48/1.53	o 332183
1.48/1.55	o 332172
1.48/1.56	o 332114
1.48/1.56	o 332105
1.58/1.61	o 330996
1.68/1.70	o 330995
1.68/1.71	o 330977
1.68/1.71	o 330968
1.68/1.72	o 330959
1.68/1.73	o 330953
1.68/1.73	o 330875
1.68/1.74	o 330829
1.68/1.74	o 330811
1.78/1.80	o 329123
1.99/2.06	o 329121
1.99/2.06	o 329109
1.99/2.09	o 329074
1.99/2.09	o 328830
1.99/2.09	o 328784
1.99/2.10	o 328766
2.28/2.40	o 328669
2.38/2.40	o 328553
2.38/2.40	o 328258
2.38/2.44	o 327937
2.38/2.48	o 327916
2.38/2.48	o 327800
2.38/2.49	o 327755
2.48/2.51	o 327713
2.48/2.51	o 327661
2.48/2.52	o 327649
2.48/2.53	o 326181
2.48/2.56	o 325184
2.48/2.56	o 325120
2.48/2.56	o 325004
2.48/2.57	o 324908
2.48/2.57	o 324888
2.48/2.57	o 324668
2.48/2.57	o 324656
2.48/2.58	o 324534
2.48/2.59	o 324476
2.48/2.59	o 323136
2.58/2.60	o 322884
2.58/2.60	o 322870
2.58/2.61	o 322861
2.58/2.62	o 322852
2.58/2.62	o 322646
2.58/2.63	o 322530
2.68/2.75	o 322266
2.68/2.76	o 322034
2.68/2.76	o 320720
2.68/2.78	o 320717
2.68/2.79	o 320708
2.68/2.79	o 320664
2.78/2.80	o 320663
2.78/2.80	o 320651
2.78/2.81	o 320601
2.78/2.81	o 320485
2.78/2.82	o 320480
2.78/2.83	o 320471
2.78/2.84	o 320448
2.78/2.85	o 320436
2.78/2.85	o 320427
2.78/2.86	o 320425
2.78/2.86	o 320413
2.88/2.91	o 320404
2.88/2.92	o 320395
2.88/2.93	o 320387
2.88/2.95	o 320178
2.88/2.95	o 320004
2.98/3.04	o 319998
2.98/3.05	o 319984
2.98/3.07	o 319810
3.08/3.12	o 319645
3.08/3.13	o 319607
3.08/3.13	o 319375
3.48/3.51	o 319363
3.48/3.53	o 319189
3.48/3.58	o 318980
3.48/3.59	o 318806
3.88/3.93	o 318690
3.98/4.00	o 318647
3.98/4.01	o 318635
3.98/4.01	o 318633
3.98/4.01	o 318621
3.98/4.02	o 318505
3.98/4.03	o 318479
3.98/4.03	o 318467
3.98/4.04	o 318458
3.98/4.04	o 318449
3.98/4.05	o 318391
3.98/4.07	o 318377
3.98/4.07	o 318365
3.98/4.08	o 318356
3.98/4.09	o 318347
3.98/4.10	o 318078
4.08/4.19	o 318070
4.08/4.20	o 318061
4.17/4.21	o 317887
4.17/4.24	o 317678
4.17/4.25	o 317504
4.27/4.31	o 317324
4.37/4.48	o 317316
4.37/4.48	o 317304
4.37/4.49	o 317296
4.37/4.49	o 317278
4.47/4.51	o 317260
4.47/4.51	o 317202
4.57/4.64	o 315862
4.77/4.87	o 315804
4.77/4.87	o 315792
4.77/4.88	o 315714
4.77/4.88	o 315670
4.77/4.88	o 315662
4.87/4.90	o 315578
4.87/4.91	o 315514
4.87/4.91	o 315456
4.87/4.96	o 315398
4.97/5.02	o 315055
4.97/5.02	o 314997
5.07/5.13	o 314809
5.07/5.13	o 314679
5.17/5.26	o 314677
5.17/5.26	o 314619
5.17/5.28	o 314563
5.27/5.32	o 314505
5.57/5.60	o 314366
5.57/5.61	o 314288
5.57/5.61	o 314244
5.57/5.61	o 314024
5.57/5.61	o 314012
5.57/5.62	o 313998
5.57/5.62	o 313876
5.57/5.63	o 313867
5.57/5.64	o 313829
5.57/5.65	o 313811
5.68/5.78	o 313550
5.87/5.90	o 313362
5.87/5.90	o 313298
5.87/5.91	o 313232
6.27/6.33	o 313216
6.27/6.33	o 313158
6.27/6.34	o 313100
6.27/6.35	o 313082
6.27/6.36	o 313073
6.27/6.39	o 312887
6.47/6.58	o 312793
6.87/6.91	o 311140
7.47/7.50	o 311137
7.47/7.51	o 311129
7.47/7.52	o 311120
7.47/7.56	o 311114
7.47/7.57	o 311042
7.47/7.58	o 310946
7.47/7.58	o 310868
8.56/8.63	o 309171
8.86/8.97	o 309169
8.86/8.98	o 309163
8.86/8.98	o 309151
8.97/9.03	o 309148
8.97/9.08	o 309139
9.07/9.11	o 309053
9.07/9.12	o 309049
9.07/9.12	o 309035
9.16/9.23	o 308995
9.16/9.25	o 308986
9.16/9.25	o 308928
9.16/9.26	o 308919
9.26/9.34	o 308910
9.26/9.36	o 308901
9.46/9.51	o 308893
9.56/9.68	o 308879
9.56/9.69	o 308815
9.56/9.69	o 308757
9.56/9.69	o 308743
9.56/9.70	o 308731
9.66/9.70	o 308687
9.66/9.70	o 308565
9.66/9.72	o 308547
9.66/9.73	o 308539
10.16/10.21	o 308481
14.34/14.43	o 308409
14.34/14.44	o 308313
14.34/14.45	o 308235
14.64/14.78	o 308226
14.74/14.80	o 308216
14.74/14.82	o 308208
14.74/14.87	o 308151
14.74/14.88	o 308055
14.74/14.88	o 307977
14.95/15.08	o 307976
14.95/15.09	o 307971
14.95/15.09	o 307959
15.15/15.28	o 307910
15.25/15.37	o 307909
15.25/15.38	o 307901
15.35/15.41	o 307891
15.35/15.42	o 307883
15.45/15.54	o 307878
15.55/15.62	o 307877
15.55/15.63	o 307859
15.55/15.66	o 307851
15.65/15.74	o 307825
15.65/15.75	o 307801
15.65/15.76	o 307783
15.65/15.78	o 307781
15.65/15.78	o 307769
16.45/16.57	o 307731
16.45/16.57	o 307719
16.55/16.64	o 307711
17.05/17.14	o 307703
17.64/17.73	o 307645
19.43/19.51	o 307637
19.43/19.52	o 307579
19.43/19.53	o 307562
19.43/19.57	o 307544
19.43/19.57	o 307486
19.63/19.77	o 307428
21.94/22.00	o 307401
23.73/23.84	o 307313
23.73/23.85	o 307093
23.73/23.85	o 307081
23.73/23.86	o 307023
23.73/23.86	o 307009
23.73/23.87	o 306780
23.73/23.87	o 306722
23.73/23.89	o 306713
23.73/23.90	o 306591
23.82/23.92	o 306385
23.82/23.92	o 306269
24.03/24.14	o 306203
26.41/26.55	o 305907
27.22/27.38	o 305904
27.32/27.45	o 305880
27.32/27.45	o 305868
27.32/27.46	o 305864
27.32/27.47	o 305862
27.32/27.47	o 305850
27.42/27.59	o 305812
27.52/27.60	o 305800
27.52/27.61	o 305792
27.52/27.69	o 305774
28.02/28.17	o 305765
28.02/28.18	o 305747
28.41/28.55	o 305509
28.41/28.55	o 305495
30.61/30.75	o 305486
30.61/30.75	o 305408
30.61/30.76	o 305364
30.61/30.76	o 305321
30.61/30.77	o 305179
30.61/30.78	o 305147
30.61/30.78	o 305031
30.61/30.79	o 304683
30.71/30.80	o 304567
30.71/30.86	o 304549
30.91/31.08	o 303261
31.80/31.94	o 302788
31.80/31.94	o 302730
32.40/32.57	o 302672
33.10/33.24	o 302588
33.10/33.25	o 302582
33.10/33.27	o 302510
33.10/33.27	o 302414
33.10/33.28	o 302336
33.80/33.96	o 302326
33.80/33.97	o 302308
34.00/34.12	o 302306
34.10/34.20	o 302294
34.10/34.22	o 302286
34.30/34.43	o 302228
34.50/34.65	o 302222
34.50/34.67	o 302156
34.70/34.84	o 302098
35.49/35.68	o 301874
35.49/35.68	o 301700
35.49/35.68	o 301642
35.59/35.70	o 301622
35.59/35.71	o 301454
35.59/35.71	o 301402
35.59/35.71	o 301390
35.59/35.75	o 301372
35.59/35.77	o 301364
35.69/35.89	o 301306
36.09/36.22	o 301222
36.09/36.23	o 301216
36.09/36.24	o 301144
36.09/36.24	o 301048
36.09/36.25	o 300970
46.76/46.95	o 300743
46.76/46.95	o 300706
46.76/46.96	o 300692
46.76/46.96	o 300655
46.76/46.97	o 300654
46.76/46.97	o 300538
46.76/46.97	o 300501
46.76/46.98	o 300465
46.76/46.98	o 299233
46.76/46.98	o 299187
46.76/46.99	o 299169
46.76/46.99	o 299151
46.76/47.00	o 299140
46.87/47.00	o 299122
46.87/47.01	o 299113
46.87/47.01	o 298997
46.87/47.02	o 298979
46.87/47.02	o 298969
46.87/47.03	o 297342
46.87/47.04	o 297304
46.87/47.04	o 297246
46.87/47.07	o 297137
46.87/47.07	o 295823
46.87/47.07	o 295777
46.87/47.07	o 295741
46.87/47.08	o 295719
46.87/47.08	o 295683
46.87/47.08	o 295655
46.87/47.08	o 295619
46.87/47.10	o 295027
46.87/47.10	o 294795
46.97/47.10	o 294775
46.97/47.10	o 294665
46.97/47.11	o 294543
46.97/47.11	o 294491
46.97/47.11	o 294473
46.97/47.11	o 294461
46.97/47.12	o 294373
46.97/47.12	o 294337
46.97/47.13	o 294315
46.97/47.13	o 294279
46.97/47.13	o 292948
46.97/47.13	o 292928
46.97/47.14	o 292760
46.97/47.14	o 292708
46.97/47.14	o 292696
46.97/47.15	o 291594
46.97/47.15	o 291576
46.97/47.15	o 291542
46.97/47.15	o 291530
46.97/47.16	o 291524
46.97/47.16	o 291512
46.97/47.16	o 291452
46.97/47.16	o 291436
46.97/47.16	o 291378
46.97/47.17	o 291342
46.97/47.17	o 291330
46.97/47.17	o 289839
46.97/47.17	o 289834
46.97/47.18	o 289770
46.97/47.18	o 289724
46.97/47.18	o 289712
46.97/47.19	o 289706
46.97/47.19	o 289694
47.06/47.21	o 288108
47.06/47.23	o 288089
47.06/47.23	o 288080
47.06/47.23	o 288077
47.06/47.24	o 288068
47.06/47.24	o 288059
47.06/47.24	o 288053
47.06/47.24	o 288041
47.06/47.25	o 286606
47.06/47.26	o 286597
47.06/47.26	o 286591
47.06/47.26	o 286579
47.06/47.27	o 286570
47.06/47.27	o 286552
47.06/47.27	o 286500
47.06/47.27	o 286488
47.06/47.28	o 286470
47.06/47.28	o 286418
47.06/47.28	o 286406
47.06/47.29	o 286397
47.06/47.29	o 286388
47.06/47.29	o 285318
47.16/47.30	o 285310
47.16/47.30	o 285272
47.16/47.30	o 285214
47.16/47.30	o 285196
47.16/47.31	o 285165
47.16/47.31	o 285153
47.16/47.31	o 285130
47.16/47.31	o 285078
47.16/47.32	o 285066
47.16/47.32	o 285031
47.16/47.32	o 284992
47.16/47.32	o 284980
47.16/47.33	o 284944
47.16/47.34	o 284935
47.16/47.35	o 284926
47.16/47.35	o 284746
47.16/47.35	o 284688
47.16/47.37	o 283956
47.16/47.37	o 283930
47.16/47.37	o 283834
47.16/47.37	o 283660
47.16/47.37	o 283642
47.16/47.37	o 283624
47.16/47.39	o 283614
47.16/47.39	o 283602
47.16/47.39	o 283566
47.26/47.40	o 283557
47.26/47.41	o 283548
47.26/47.41	o 283534
47.26/47.41	o 283482
47.26/47.41	o 283470
47.26/47.42	o 283461
47.26/47.42	o 283444
47.26/47.42	o 283432
47.26/47.43	o 283410
47.26/47.43	o 283392
47.26/47.43	o 283374
47.26/47.44	o 283352
47.26/47.44	o 283294
47.26/47.44	o 283270
47.26/47.45	o 283212
47.26/47.46	o 283203
47.26/47.46	o 283194
47.26/47.47	o 282240
47.26/47.47	o 282222
47.26/47.47	o 282204
47.26/47.47	o 282000
47.26/47.47	o 281988
47.26/47.48	o 281982
47.26/47.48	o 281964
47.26/47.48	o 281952
47.36/47.50	o 281946
47.36/47.50	o 281934
47.36/47.50	o 281916
47.36/47.50	o 281788
47.36/47.50	o 281770
47.36/47.51	o 281733
47.36/47.51	o 281721
47.36/47.52	o 281698
47.36/47.52	o 281646
47.36/47.52	o 281634
47.36/47.55	o 281594
47.36/47.55	o 281576
47.36/47.56	o 281570
47.36/47.56	o 281558
47.46/47.62	o 281538
47.46/47.62	o 281442
47.46/47.64	o 280554
47.46/47.64	o 280534
47.46/47.65	o 280366
47.46/47.65	o 280314
47.46/47.65	o 280302
47.46/47.65	o 280268
47.46/47.65	o 280256
47.46/47.66	o 280250
47.46/47.66	o 280238
47.46/47.66	o 280232
47.46/47.66	o 280220
47.46/47.67	o 280210
47.46/47.68	o 280198
47.46/47.68	o 280180
47.46/47.68	o 280174
47.46/47.69	o 280162
47.46/47.69	o 280111
47.46/47.69	o 280053
47.46/47.69	o 279989
47.56/47.71	o 279980
47.56/47.73	o 279972
47.56/47.74	o 279963
47.56/47.74	o 279954
47.56/47.74	o 279936
47.56/47.76	o 278501
47.56/47.76	o 278492
47.56/47.77	o 278466
47.56/47.77	o 278457
47.56/47.78	o 278322
47.56/47.78	o 278313
47.56/47.79	o 278295
47.56/47.79	o 278277
47.56/47.79	o 278231
47.66/47.80	o 278213
47.66/47.84	o 277239
47.66/47.84	o 277221
47.66/47.84	o 277129
47.66/47.85	o 277092
47.66/47.85	o 277074
47.66/47.85	o 277056
47.66/47.86	o 277047
47.66/47.87	o 277035
47.66/47.88	o 276995
47.66/47.88	o 276977
47.66/47.88	o 276946
47.66/47.89	o 276894
47.66/47.89	o 276882
47.76/47.90	o 276825
47.76/47.90	o 276813
47.76/47.90	o 276807
47.76/47.91	o 276795
47.76/47.92	o 276789
47.76/47.93	o 276682
47.76/47.93	o 276673
47.76/47.94	o 275018
47.76/47.94	o 274990
47.76/47.94	o 274978
47.76/47.95	o 274972
47.76/47.95	o 274960
47.76/47.95	o 274926
47.76/47.95	o 274908
47.76/47.96	o 274896
47.76/47.96	o 274887
47.76/47.96	o 274878
47.86/48.02	o 274873
47.86/48.02	o 274861
47.86/48.02	o 274855
47.86/48.02	o 274843
47.86/48.03	o 274834
47.86/48.06	o 274829
47.86/48.06	o 274811
47.86/48.07	o 274789
47.86/48.07	o 274771
47.86/48.07	o 274753
47.86/48.09	o 274661
47.86/48.10	o 274597
47.96/48.11	o 274588
47.96/48.12	o 273437
47.96/48.13	o 273217
47.96/48.13	o 273205
47.96/48.13	o 273196
47.96/48.13	o 273187
47.96/48.14	o 273181
47.96/48.15	o 273127
47.96/48.15	o 273109
47.96/48.16	o 273077
47.96/48.16	o 273065
47.96/48.17	o 273063
47.96/48.19	o 273008
47.96/48.19	o 272999
47.96/48.19	o 272956
48.06/48.20	o 272944
48.06/48.20	o 272935
48.06/48.22	o 272929
48.06/48.23	o 272865
48.06/48.23	o 272825
48.06/48.23	o 272813
48.06/48.24	o 271923
48.06/48.26	o 271903
48.06/48.26	o 271894
48.06/48.26	o 271885
48.06/48.28	o 271879
48.06/48.28	o 271720
48.06/48.28	o 271711
48.16/48.36	o 271604
48.16/48.36	o 271595
48.16/48.36	o 271583
48.16/48.37	o 271561
48.16/48.37	o 271549
48.16/48.37	o 271540
48.16/48.38	o 271531
48.26/48.42	o 271525
48.26/48.43	o 271427
48.26/48.43	o 271418
48.26/48.43	o 271409
48.26/48.44	o 271391
48.26/48.44	o 271261
48.26/48.44	o 271209
48.26/48.45	o 271197
48.26/48.45	o 271151
48.26/48.45	o 271139
48.26/48.46	o 270260
48.26/48.46	o 270240
48.26/48.47	o 270072
48.26/48.47	o 270008
48.26/48.47	o 269956
48.26/48.47	o 269898
48.26/48.48	o 269846
48.26/48.48	o 269837
48.46/48.62	o 269829
48.46/48.62	o 269820
48.46/48.63	o 269798
48.46/48.63	o 269786
48.46/48.63	o 269780
48.46/48.64	o 269777
48.46/48.64	o 269768
48.46/48.64	o 269705
48.46/48.65	o 269696
48.46/48.65	o 269644
48.46/48.66	o 269598
48.46/48.66	o 269586
48.46/48.67	o 269580
48.46/48.68	o 269568
48.46/48.68	o 268427
48.46/48.69	o 268414
48.46/48.69	o 268362
48.56/48.70	o 268318
48.56/48.70	o 268266
48.56/48.71	o 268202
48.56/48.72	o 268196
48.56/48.72	o 268184
48.56/48.74	o 268165
48.56/48.74	o 268101
48.56/48.78	o 268096
48.56/48.79	o 268084
48.56/48.79	o 268032
48.66/48.80	o 268023
48.66/48.81	o 267979
48.66/48.86	o 267932
48.66/48.87	o 267923
48.76/49.00	o 267915
48.86/49.02	o 267551
48.86/49.02	o 267533
48.86/49.03	o 267469
48.86/49.03	o 267226
48.86/49.04	o 267217
48.86/49.05	o 267194
48.86/49.05	o 267182
48.86/49.06	o 267052
48.86/49.06	o 266994
48.86/49.06	o 266942
48.86/49.07	o 266930
48.86/49.08	o 266794
48.86/49.08	o 266788
48.86/49.09	o 266748
48.86/49.09	o 266736
48.86/49.10	o 266727
48.96/49.10	o 266718
48.96/49.11	o 266666
48.96/49.11	o 266538
48.96/49.16	o 266486
48.96/49.17	o 266422
49.06/49.24	o 266364
49.06/49.24	o 266312
49.06/49.24	o 266300
49.16/49.32	o 266288
49.16/49.40	o 266274
49.25/49.40	o 266265
49.25/49.40	o 266256
49.25/49.44	o 266253
49.25/49.44	o 266244
49.45/49.60	o 266227
49.45/49.66	o 266219
49.45/49.67	o 266121
49.45/49.67	o 266103
49.55/49.73	o 266097
49.55/49.79	o 266054
49.65/49.80	o 266046
49.65/49.81	o 266020
49.65/49.81	o 266008
49.65/49.81	o 266002
49.65/49.82	o 265990
49.65/49.82	o 265981
49.75/49.94	o 265925
49.75/49.95	o 265885
49.75/49.96	o 265873
49.75/49.97	o 265830
49.75/49.97	o 265821
49.75/49.98	o 265819
49.75/49.98	o 265763
49.75/49.99	o 265760
49.75/50.00	o 265751
49.86/50.01	o 264991
49.86/50.01	o 264973
49.86/50.02	o 264939
49.86/50.02	o 264921
49.86/50.03	o 264737
49.86/50.03	o 264725
49.86/50.03	o 264719
49.86/50.04	o 264707
49.86/50.04	o 264701
49.86/50.05	o 264698
49.86/50.05	o 264689
49.86/50.06	o 264571
49.86/50.06	o 264543
49.86/50.07	o 264525
49.86/50.07	o 264519
49.86/50.07	o 264507
49.86/50.08	o 264449
50.05/50.20	o 264444
50.05/50.21	o 264435
50.05/50.21	o 264369
50.05/50.22	o 264366
50.05/50.22	o 264322
50.05/50.23	o 264313
50.05/50.25	o 264281
50.05/50.26	o 264229
50.05/50.26	o 264217
50.15/50.39	o 264212
50.25/50.40	o 264194
50.25/50.41	o 264182
50.25/50.42	o 264008
50.25/50.47	o 264006
50.25/50.47	o 263878
50.25/50.48	o 263872
50.25/50.48	o 263869
50.25/50.48	o 263860
50.35/50.52	o 263826
50.35/50.52	o 263808
50.35/50.52	o 263774
50.35/50.52	o 263762
50.35/50.53	o 263756
50.35/50.53	o 263744
50.35/50.54	o 263704
50.45/50.60	o 263653
50.45/50.61	o 263641
50.45/50.62	o 263589
50.45/50.62	o 263461
50.45/50.63	o 263429
50.45/50.64	o 263417
50.45/50.65	o 263374
50.45/50.66	o 263360
50.45/50.66	o 263296
50.45/50.66	o 263252
50.45/50.67	o 263243
50.45/50.68	o 263234
50.45/50.68	o 263225
50.55/50.78	o 263222
50.55/50.78	o 263210
50.55/50.79	o 263201
50.55/50.80	o 263195
50.65/50.80	o 263192
50.65/50.80	o 263183
50.65/50.83	o 263175
50.65/50.86	o 263051
50.65/50.87	o 262991
50.65/50.87	o 262947
50.65/50.87	o 262929
50.85/51.02	o 262901
50.85/51.02	o 262889
50.85/51.02	o 262849
50.85/51.03	o 262837
50.85/51.03	o 262832
50.85/51.04	o 262828
50.85/51.05	o 262820
50.85/51.10	o 262811
50.95/51.16	o 262808
50.95/51.16	o 262799
50.95/51.17	o 262773
50.95/51.18	o 262764
50.95/51.18	o 262755
51.15/51.30	o 262749
51.15/51.35	o 262709
51.15/51.36	o 262697
51.15/51.38	o 262683
51.15/51.38	o 262671
51.15/51.39	o 262627
51.15/51.39	o 262619
51.15/51.39	o 262575
51.45/51.63	o 262571
51.45/51.63	o 262554
51.65/51.81	o 262551
51.65/51.81	o 262539
51.65/51.84	o 262509
51.65/51.84	o 262497
51.65/51.85	o 262491
51.65/51.85	o 262479
51.65/51.86	o 262471
51.65/51.86	o 262459
51.65/51.87	o 262453
51.65/51.87	o 262441
51.65/51.88	o 262432
51.65/51.88	o 262423
51.75/51.99	o 262385
51.75/51.99	o 262376
51.85/52.01	o 262350
51.85/52.01	o 262332
51.85/52.06	o 262322
51.85/52.07	o 262302
51.85/52.07	o 262250
51.85/52.08	o 262194
51.85/52.09	o 262192
51.85/52.10	o 262082
51.85/52.10	o 262030
51.95/52.10	o 262024
51.95/52.10	o 261972
51.95/52.11	o 261963
51.95/52.12	o 261925
51.95/52.13	o 261916
51.95/52.13	o 261907
51.95/52.16	o 261895
51.95/52.18	o 261837
52.05/52.20	o 261829
52.05/52.20	o 261647
52.05/52.27	o 261633
52.05/52.27	o 261581
52.05/52.27	o 261569
52.15/52.31	o 261560
52.15/52.37	o 261520
52.15/52.37	o 261511
52.15/52.39	o 261473
52.15/52.39	o 261455
52.25/52.45	o 261447
52.25/52.45	o 261285
52.25/52.45	o 261273
52.55/52.71	o 261241
52.55/52.72	o 261229
52.74/52.93	o 261140
52.74/52.94	o 261131
52.74/52.94	o 261125
52.74/52.95	o 261122
52.74/52.95	o 261113
53.04/53.23	o 261102
53.04/53.24	o 261084
53.04/53.24	o 261075
53.04/53.25	o 261067
53.04/53.25	o 261003
53.04/53.26	o 260965
53.04/53.26	o 260947
53.14/53.39	o 260939
53.24/53.43	o 260210
53.24/53.43	o 260192
53.24/53.46	o 260183
53.24/53.46	o 260175
53.45/53.61	o 260165
53.45/53.61	o 260147
53.45/53.62	o 260135
53.45/53.63	o 260129
53.45/53.64	o 260089
53.45/53.64	o 260071
53.45/53.65	o 260059
53.45/53.68	o 260035
53.45/53.68	o 259983
53.45/53.69	o 259965
53.55/53.70	o 259927
53.55/53.72	o 259921
53.55/53.73	o 259901
53.55/53.74	o 259883
53.55/53.75	o 259881
53.55/53.76	o 259843
53.55/53.76	o 259825
53.65/53.80	o 259816
53.65/53.80	o 259807
53.75/53.95	o 259804
53.75/53.96	o 259770
53.75/53.96	o 259752
53.86/54.01	o 259744
53.86/54.02	o 259735
53.96/54.15	o 259730
53.96/54.16	o 259712
53.96/54.17	o 259709
53.96/54.17	o 259700
54.05/54.20	o 259695
54.05/54.21	o 259661
54.05/54.21	o 259643
54.05/54.21	o 259631
54.05/54.25	o 259599
54.05/54.25	o 259587
54.15/54.30	o 259578
54.15/54.36	o 259569
54.25/54.48	o 259561
54.45/54.68	o 259544
54.45/54.69	o 259532
54.55/54.71	o 259495
54.55/54.71	o 259477
54.55/54.72	o 259465
54.55/54.72	o 259431
54.55/54.73	o 259413
54.55/54.75	o 259404
54.65/54.81	o 259395
54.65/54.83	o 259387
54.65/54.88	o 259358
54.65/54.88	o 259340
54.75/54.92	o 259324
54.75/54.93	o 259306
54.75/54.93	o 259294
54.75/54.94	o 259260
54.75/54.94	o 259242
54.75/54.95	o 259236
54.75/54.95	o 259224
54.85/55.09	o 259215
54.95/55.14	o 259207
55.25/55.41	o 259202
55.25/55.42	o 259193
55.25/55.42	o 259184
55.25/55.47	o 259138
55.25/55.47	o 259132
55.25/55.48	o 259120
55.35/55.51	o 259071
55.35/55.51	o 259062
55.35/55.53	o 258974
55.35/55.53	o 258962
55.35/55.54	o 258956
55.35/55.54	o 258944
55.35/55.55	o 258924
55.35/55.56	o 258906
55.35/55.57	o 258900
55.35/55.57	o 258888
55.45/55.62	o 258840
55.45/55.63	o 258822
55.45/55.65	o 258793
55.45/55.65	o 258784
55.45/55.67	o 258766
55.55/55.73	o 258764
55.55/55.73	o 258720
55.55/55.74	o 258708
55.64/55.83	o 258683
55.64/55.83	o 258509
55.64/55.86	o 258500
55.74/55.96	o 258456
55.85/56.09	o 258422
55.95/56.10	o 258413
55.95/56.12	o 258391
55.95/56.12	o 258373
55.95/56.12	o 258361
55.95/56.15	o 258355
55.95/56.19	o 258321
56.04/56.20	o 258303
56.04/56.20	o 258278
56.04/56.21	o 258266
56.04/56.21	o 258260
56.04/56.21	o 258248
56.04/56.22	o 258239
56.14/56.30	o 258213
56.14/56.30	o 258195
56.44/56.61	o 258193
56.44/56.61	o 258175
56.44/56.62	o 258166
56.44/56.68	o 258157
56.44/56.69	o 258148
56.54/56.70	o 258140
56.54/56.71	o 258114
56.54/56.71	o 258096
56.54/56.75	o 258090
56.54/56.76	o 258056
56.54/56.76	o 258038
56.64/56.84	o 258029
56.64/56.86	o 258021
57.04/57.27	o 258017
57.04/57.27	o 257853
57.04/57.28	o 257835
57.74/57.94	o 257833
57.74/57.95	o 257815
57.74/57.95	o 257771
57.74/57.96	o 257713
57.74/57.96	o 257661
57.84/58.09	o 256167
58.04/58.23	o 254673
58.04/58.28	o 253385
58.14/58.36	o 251781
59.63/59.89	o 250728
59.73/59.90	o 250380
59.73/59.90	o 250314
59.73/59.91	o 250277
59.73/59.93	o 250195
59.73/59.94	o 250129
59.84/60.00	o 250121
59.84/60.00	o 250109
59.84/60.03	o 250095
59.84/60.04	o 250043
59.84/60.04	o 250031
59.84/60.05	o 250013
59.84/60.08	o 250000
59.84/60.08	o 249988
59.94/60.10	o 249944
59.94/60.13	o 249938
59.94/60.14	o 249926
59.94/60.17	o 249880
59.94/60.18	o 249857
59.94/60.19	o 249805
59.94/60.19	o 249793
60.03/60.20	o 249784
60.03/60.29	o 249604
60.13/60.36	o 249596
60.23/60.40	o 249552
60.33/60.50	o 249509
60.33/60.51	o 249465
60.33/60.51	o 249421
60.33/60.56	o 249409
60.33/60.56	o 249365
60.33/60.58	o 249359
60.33/60.58	o 249347
60.43/60.66	o 249312
60.43/60.66	o 249300
60.43/60.69	o 249291
60.83/61.06	o 249287
60.83/61.06	o 249275
60.83/61.07	o 249269
60.83/61.07	o 249257
60.93/61.11	o 249231
60.93/61.11	o 249135
60.93/61.16	o 249126
60.93/61.16	o 249117
61.03/61.21	o 248325
61.03/61.21	o 248308
61.13/61.36	o 248291
61.13/61.37	o 248163
61.23/61.47	o 248111
61.33/61.55	o 248102
61.33/61.55	o 248093
61.43/61.64	o 248088
61.43/61.64	o 248076
62.43/62.69	o 247867
62.43/62.69	o 247693
62.83/63.01	o 247690
62.83/63.02	o 247678
62.83/63.05	o 247669
62.83/63.08	o 247661
62.93/63.11	o 247588
62.93/63.11	o 247576
63.02/63.21	o 247568
63.12/63.36	o 247527
63.12/63.37	o 247518
63.22/63.43	o 247516
63.22/63.43	o 247487
63.22/63.44	o 247469
63.22/63.44	o 247460
63.32/63.53	o 247452
63.32/63.53	o 247440
63.32/63.54	o 247422
63.32/63.54	o 247410
63.32/63.55	o 247356
63.32/63.55	o 247344
63.42/63.64	o 247336
63.42/63.67	o 247322
63.42/63.67	o 247310
63.42/63.69	o 247292
63.52/63.73	o 247243
63.52/63.73	o 247185
63.52/63.74	o 247133
63.52/63.74	o 247005
63.52/63.75	o 246996
63.52/63.75	o 246987
63.62/63.80	o 246949
63.62/63.80	o 246883
63.62/63.81	o 246874
63.62/63.82	o 246865
63.62/63.83	o 246813
63.62/63.87	o 246796
63.83/64.04	o 246727
63.83/64.05	o 246718
63.83/64.06	o 246602
63.83/64.07	o 246550
63.93/64.14	o 246524
63.93/64.15	o 246486
63.93/64.15	o 246254
64.52/64.74	o 246045
64.52/64.75	o 245871
64.82/65.04	o 245835
64.82/65.05	o 245833
64.82/65.06	o 245781
64.82/65.06	o 245769
64.82/65.07	o 245760
64.82/65.08	o 245751
64.82/65.09	o 245717
64.82/65.10	o 245699
64.92/65.12	o 245691
65.02/65.22	o 245657
65.02/65.22	o 245593
65.02/65.25	o 245575
65.22/65.46	o 245566
65.22/65.46	o 245557
65.32/65.55	o 243782
65.52/65.71	o 242320
65.62/65.83	o 242310
65.62/65.83	o 242194
65.62/65.85	o 242192
65.62/65.85	o 242183
65.62/65.85	o 242171
65.62/65.85	o 242113
65.72/65.91	o 242070
65.72/65.91	o 242058
65.72/65.91	o 242049
65.72/65.92	o 241991
65.72/65.94	o 241779
65.72/65.94	o 241689
65.72/65.95	o 241527
65.72/65.98	o 241518
65.72/65.99	o 241510
65.82/66.05	o 241479
65.82/66.06	o 241461
65.82/66.08	o 241452
65.82/66.08	o 241444
65.92/66.15	o 241372
65.92/66.15	o 241198
66.61/66.85	o 241190
66.61/66.85	o 241178
66.61/66.88	o 241134
66.71/66.93	o 241018
66.71/67.00	o 240902
66.82/67.09	o 240780
67.01/67.22	o 238964
67.21/67.43	o 238932
67.21/67.44	o 238868
67.41/67.66	o 237528
67.71/67.92	o 237520
67.71/67.93	o 237511
67.71/67.93	o 237502
67.71/67.99	o 237322
68.61/68.88	o 236751
68.61/68.89	o 236699
68.71/68.90	o 236571
68.71/68.93	o 236562
68.71/68.93	o 236554
68.71/68.96	o 236392
68.71/68.96	o 236354
68.71/68.97	o 236180
68.81/69.01	o 235974
68.81/69.01	o 235858
68.81/69.04	o 235814
69.21/69.41	o 235634
69.50/69.74	o 235616
69.81/70.09	o 235572
69.81/70.09	o 235528
69.81/70.09	o 235476
69.91/70.11	o 235468
69.91/70.12	o 235303
69.91/70.12	o 235181
70.00/70.22	o 235013
70.00/70.23	o 234961
70.00/70.23	o 234949
70.50/70.78	o 234688
70.91/71.17	o 234660
70.91/71.18	o 234608
70.91/71.18	o 234544
71.00/71.25	o 234535
71.00/71.26	o 234526
71.20/71.42	o 234521
71.20/71.42	o 234477
71.20/71.43	o 234468
71.30/71.58	o 234450
71.40/71.66	o 234442
71.70/71.95	o 234268
72.30/72.57	o 234262
72.40/72.61	o 234088
72.90/73.12	o 234053
72.90/73.13	o 233893
72.90/73.14	o 233809
72.90/73.14	o 233763
72.90/73.15	o 233745
75.39/75.68	o 232004
75.59/75.89	o 230690
75.79/76.08	o 230516
75.79/76.08	o 230458
75.79/76.08	o 229118
78.08/78.38	o 227778
78.28/78.57	o 227769
78.28/78.57	o 227760
78.28/78.59	o 227751
78.38/78.60	o 227713
78.38/78.60	o 227695
78.38/78.60	o 227681
78.38/78.64	o 227673
78.38/78.65	o 227665
78.38/78.65	o 227621
78.58/78.80	o 227613
78.58/78.80	o 227601
78.58/78.81	o 227583
78.58/78.83	o 227577
78.58/78.84	o 227575
78.58/78.84	o 227517
78.58/78.86	o 227473
78.58/78.87	o 227461
78.58/78.88	o 227447
79.28/79.52	o 227422
79.28/79.53	o 227410
79.28/79.53	o 227392
79.28/79.54	o 227383
79.28/79.54	o 227345
79.28/79.56	o 227343
79.28/79.56	o 227331
79.58/79.89	o 227121
79.58/79.89	o 227043
79.58/79.89	o 226999
79.68/79.90	o 226990
79.68/79.90	o 226972
79.68/79.91	o 226964
79.68/79.92	o 226703
79.68/79.98	o 226582
79.68/79.99	o 226536
79.68/79.99	o 226518
79.88/80.18	o 226516
79.88/80.18	o 226504
79.88/80.19	o 226486
79.98/80.20	o 226428
79.98/80.24	o 226266
79.98/80.24	o 226228
79.98/80.24	o 226054
80.18/80.42	o 226045
80.18/80.43	o 226037
80.68/80.99	o 226035
80.68/80.99	o 226027
80.68/81.00	o 226015
80.68/81.00	o 225997
80.78/81.02	o 225979
80.78/81.09	o 224613
81.57/81.87	o 224519
81.57/81.88	o 224331
81.57/81.89	o 224201
81.78/82.06	o 224189
81.78/82.07	o 224188
81.78/82.07	o 224180
81.78/82.08	o 224048
81.78/82.09	o 224047
81.78/82.09	o 224038
81.78/82.10	o 224030
81.88/82.11	o 224018
81.88/82.12	o 223926
81.88/82.12	o 223862
81.88/82.13	o 223853
81.88/82.14	o 223845
81.88/82.14	o 223836
81.88/82.15	o 223798
81.88/82.15	o 223789
81.88/82.15	o 223578
81.88/82.16	o 223566
81.88/82.16	o 223557
81.88/82.17	o 223549
81.88/82.19	o 223518
81.88/82.19	o 223506
81.97/82.20	o 223497
81.97/82.22	o 223451
81.97/82.22	o 223439
81.97/82.24	o 223349
81.97/82.26	o 223332
81.97/82.26	o 223320
81.97/82.27	o 223274
81.97/82.27	o 223262
81.97/82.29	o 223253
81.97/82.29	o 223244
82.07/82.35	o 223238
82.07/82.35	o 223122
82.17/82.40	o 223105
82.87/83.11	o 223097
82.87/83.12	o 223059
82.87/83.12	o 223041
82.87/83.14	o 222997
82.87/83.15	o 222989
82.97/83.23	o 222756
82.97/83.24	o 222635
82.97/83.24	o 222589
82.97/83.25	o 222571
84.17/84.45	o 222513
84.56/84.85	o 222507
84.56/84.88	o 222497
84.56/84.88	o 222479
84.56/84.89	o 222467
84.66/84.90	o 222461
84.66/84.91	o 222449
84.77/85.03	o 222443
84.77/85.08	o 222435
84.77/85.09	o 222417
84.87/85.11	o 222411
84.87/85.12	o 222399
84.87/85.13	o 222391
84.96/85.29	o 222385
85.06/85.31	o 222377
85.06/85.39	o 222261
86.26/86.58	o 222194
86.36/86.60	o 222167
86.36/86.60	o 220549
86.76/87.08	o 220534
86.96/87.21	o 220498
86.96/87.21	o 220486
86.96/87.22	o 220480
86.96/87.22	o 220468
87.06/87.34	o 220460
87.26/87.58	o 220456
87.36/87.67	o 220450
87.46/87.70	o 220442
87.46/87.71	o 220425
87.46/87.71	o 220419
87.46/87.72	o 220407
87.46/87.73	o 220398
87.55/87.89	o 220393
87.65/87.91	o 220384
87.65/87.99	o 220332
89.65/90.00	o 220254
89.95/90.23	o 218838
93.84/94.18	o 217106
94.44/94.78	o 217029
94.44/94.78	o 216991
94.44/94.78	o 216973
94.44/94.78	o 216961
94.44/94.79	o 216955
94.44/94.79	o 216952
94.54/94.80	o 216943
94.54/94.85	o 216935
94.54/94.85	o 216917
94.54/94.86	o 216908
94.54/94.86	o 216900
94.54/94.87	o 216891
94.94/95.25	o 216857
94.94/95.25	o 216848
94.94/95.26	o 216722
94.94/95.27	o 216710
94.94/95.27	o 216704
94.94/95.27	o 216692
94.94/95.28	o 216674
94.94/95.29	o 216666
95.04/95.30	o 216652
95.04/95.31	o 216634
95.04/95.31	o 216622
95.04/95.38	o 216596
95.04/95.38	o 216584
95.04/95.39	o 216566
95.14/95.40	o 216558
95.23/95.54	o 216550
95.23/95.56	o 216548
95.23/95.56	o 216492
95.33/95.67	o 216486
95.33/95.69	o 216484
95.33/95.69	o 216476
95.43/95.70	o 216475
95.43/95.70	o 216466
95.43/95.71	o 216458
95.43/95.72	o 216455
95.43/95.72	o 216454
95.43/95.73	o 216446
95.43/95.73	o 216436
95.43/95.74	o 216428
95.53/95.81	o 216417
95.53/95.82	o 216408
95.53/95.82	o 216400
95.53/95.83	o 216390
95.53/95.84	o 216382
95.53/95.84	o 216324
95.84/96.19	o 216315
95.93/96.20	o 216306
96.13/96.41	o 216296
96.13/96.42	o 216293
96.13/96.42	o 216284
96.13/96.43	o 216278
96.13/96.44	o 216275
96.13/96.44	o 216266
96.13/96.48	o 216265
96.13/96.49	o 216257
96.13/96.49	o 216256
96.23/96.50	o 216248
96.33/96.69	o 216208
96.33/96.69	o 216200
96.74/97.03	o 216194
96.74/97.03	o 216182
97.43/97.72	o 215887
97.63/97.95	o 215882
97.63/97.96	o 215873
97.63/97.96	o 215864
97.63/97.97	o 215856
97.63/97.98	o 215853
97.63/97.98	o 215844
97.93/98.22	o 215062
97.93/98.23	o 215027
97.93/98.23	o 214783
97.93/98.23	o 214737
98.03/98.31	o 214729
98.03/98.35	o 214685
98.13/98.46	o 214684
98.13/98.47	o 214667
98.43/98.74	o 214372
98.73/99.09	o 214364
98.73/99.09	o 214352
98.93/99.24	o 214338
99.02/99.35	o 214178
99.92/100.23	o 214176
99.92/100.24	o 214167
99.92/100.24	o 214155
99.92/100.25	o 214111
99.92/100.28	o 214102
100.02/100.30	o 214094
100.02/100.33	o 213978
100.22/100.57	o 213943
100.22/100.57	o 213699
100.22/100.58	o 213653
100.73/101.05	o 213635
101.72/102.02	o 213629
101.72/102.02	o 213620
101.72/102.04	o 213504
101.72/102.08	o 213420
101.72/102.09	o 213374
101.72/102.09	o 213356
104.01/104.31	o 213308
104.01/104.32	o 213290
104.01/104.32	o 213289
104.01/104.33	o 213261
104.01/104.33	o 213229
104.01/104.34	o 213131
104.01/104.34	o 213029
104.01/104.35	o 212064
104.01/104.35	o 212063
104.01/104.36	o 211960
104.01/104.36	o 211922
104.01/104.36	o 211890
104.01/104.37	o 211792
104.01/104.37	o 211791
104.01/104.37	o 211689
104.01/104.38	o 211609
104.01/104.39	o 211507
104.01/104.39	o 211449
104.11/104.42	o 211412
104.11/104.42	o 211411
104.11/104.44	o 211332
104.11/104.44	o 211230
104.11/104.44	o 211229
104.21/104.51	o 210599
104.21/104.51	o 210598
104.21/104.52	o 210547
104.21/104.52	o 210445
104.21/104.52	o 210444
104.21/104.53	o 210326
104.21/104.54	o 210225
104.21/104.54	o 210224
104.21/104.56	o 210144
104.21/104.57	o 210042
104.21/104.59	o 209857
104.31/104.60	o 209799
104.31/104.61	o 208744
104.31/104.61	o 208743
104.31/104.61	o 208634
104.31/104.61	o 208596
104.31/104.62	o 208564
104.31/104.62	o 208466
104.31/104.62	o 208364
104.31/104.63	o 208363
104.31/104.63	o 208284
104.31/104.63	o 208182
104.31/104.64	o 208181
104.31/104.68	o 208173
104.31/104.68	o 208172
104.41/104.71	o 208147
104.41/104.71	o 208115
104.41/104.71	o 208017
104.41/104.71	o 207915
104.41/104.72	o 207909
104.41/104.73	o 207897
104.41/104.74	o 207851
104.41/104.75	o 207840
104.41/104.75	o 207839
104.41/104.76	o 207831
104.41/104.76	o 207830
104.41/104.77	o 207822
104.41/104.77	o 207821
104.41/104.78	o 206580
104.41/104.78	o 206579
104.41/104.79	o 206571
104.41/104.79	o 206562
104.51/104.80	o 206561
104.51/104.82	o 206539
104.51/104.82	o 206521
104.51/104.82	o 206503
104.51/104.84	o 206442
104.51/104.84	o 206424
104.51/104.85	o 206418
104.51/104.85	o 206380
104.51/104.85	o 206322
104.51/104.87	o 206321
104.51/104.88	o 205711
104.51/104.88	o 205702
104.51/104.88	o 205564
104.51/104.88	o 205526
104.51/104.88	o 205468
104.51/104.88	o 205459
104.51/104.89	o 205411
104.61/104.90	o 205211
104.61/104.90	o 205193
104.61/104.90	o 205175
104.61/104.91	o 205137
104.61/104.91	o 205079
104.61/104.96	o 205021
104.61/104.97	o 205009
104.61/104.98	o 204903
104.61/104.98	o 204885
104.61/104.99	o 204845
104.61/104.99	o 204827
104.71/105.01	o 204741
104.71/105.01	o 204729
104.71/105.02	o 204720
104.71/105.02	o 204711
104.71/105.06	o 204709
104.71/105.07	o 204669
104.71/105.07	o 204651
104.71/105.07	o 204645
104.71/105.07	o 204633
104.81/105.11	o 204567
104.81/105.11	o 204555
104.81/105.12	o 204549
104.81/105.12	o 204537
104.81/105.17	o 204515
104.81/105.17	o 204497
104.81/105.18	o 204451
104.81/105.18	o 204433
104.91/105.21	o 204422
104.91/105.21	o 204402
104.91/105.21	o 204344
104.91/105.22	o 204338
104.91/105.22	o 204326
104.91/105.22	o 204317
104.91/105.23	o 204265
104.91/105.24	o 204201
104.91/105.24	o 204161
104.91/105.24	o 204143
104.91/105.24	o 204103
104.91/105.25	o 204091
104.91/105.26	o 204085
104.91/105.26	o 204073
104.91/105.27	o 204067
104.91/105.28	o 204057
104.91/105.28	o 204045
104.91/105.29	o 204039
104.91/105.29	o 204027
104.91/105.30	o 204021
105.01/105.30	o 204009
105.01/105.30	o 203981
105.01/105.30	o 203969
105.11/105.49	o 203960
105.11/105.50	o 203951
105.21/105.53	o 203934
105.21/105.57	o 203926
105.21/105.58	o 203866
105.21/105.58	o 203826
105.21/105.58	o 203814
105.21/105.59	o 203805
105.21/105.59	o 203796
105.31/105.60	o 203776
105.31/105.60	o 203758
105.31/105.62	o 203740
105.31/105.62	o 203700
105.31/105.64	o 203692
105.31/105.65	o 203620
105.31/105.66	o 203446
105.41/105.70	o 203428
105.51/105.81	o 203399
105.51/105.81	o 203283
105.51/105.82	o 203274
105.51/105.82	o 203256
105.51/105.84	o 203248
105.51/105.89	o 203196
105.51/105.89	o 203152
105.51/105.89	o 201722
105.71/106.02	o 201674
105.71/106.02	o 201610
105.71/106.02	o 201570
105.71/106.03	o 201562
105.71/106.04	o 200724
105.71/106.04	o 200500
105.71/106.05	o 200408
105.71/106.05	o 200260
105.71/106.07	o 200080
105.91/106.22	o 198650
105.91/106.29	o 198642
105.91/106.29	o 198630
106.01/106.30	o 198624
106.01/106.30	o 198621
106.01/106.30	o 198612
106.01/106.31	o 198603
106.01/106.31	o 198594
106.01/106.32	o 198557
106.01/106.32	o 198545
106.01/106.32	o 198536
106.01/106.34	o 198528
106.01/106.35	o 198510
106.01/106.39	o 198267
106.81/107.12	o 198254
106.81/107.13	o 198246
106.90/107.20	o 198228
107.00/107.30	o 197949
107.81/108.14	o 197943
107.81/108.15	o 197847
107.81/108.16	o 197769
108.50/108.83	o 197760
108.50/108.84	o 196434
109.10/109.44	o 196416
109.90/110.27	o 196414
109.90/110.28	o 196396
109.90/110.29	o 196388
110.00/110.36	o 196370
110.29/110.60	o 196334
110.29/110.60	o 196149
110.29/110.61	o 196091
111.89/112.27	o 196057
111.89/112.27	o 195819
114.79/115.17	o 195815
114.79/115.17	o 195797
114.88/115.20	o 195528
114.98/115.35	o 195472
115.08/115.43	o 195464
115.18/115.54	o 195446
115.59/115.97	o 195371
115.59/115.97	o 195336
115.59/115.98	o 195124
115.59/115.98	o 195092
115.59/115.99	o 195046
115.69/116.06	o 195028
117.69/118.06	o 194961
117.69/118.08	o 194943
117.69/118.09	o 194934
119.98/120.31	o 194904
119.98/120.32	o 194609
121.47/121.81	o 194371
121.78/122.12	o 194349
121.78/122.13	o 194340
121.78/122.13	o 194337
121.78/122.14	o 194328
121.87/122.27	o 194319
121.87/122.28	o 194301
122.07/122.40	o 194293
122.07/122.43	o 194273
122.07/122.43	o 194264
122.07/122.43	o 194255
122.07/122.44	o 194247
122.07/122.45	o 194244
122.07/122.45	o 194235
122.07/122.48	o 194203
122.07/122.48	o 194195
122.07/122.49	o 194194
122.17/122.50	o 194186
122.17/122.50	o 194177
122.17/122.54	o 194133
122.17/122.55	o 194129
122.17/122.55	o 194121
122.57/122.91	o 194116
122.67/123.03	o 193936
122.87/123.23	o 193932
122.87/123.23	o 193924
122.87/123.25	o 193750
123.07/123.48	o 193732
123.47/123.80	o 193727
123.47/123.80	o 193718
123.47/123.81	o 193544
123.86/124.22	o 193480
123.86/124.23	o 193443
123.86/124.24	o 193431
123.86/124.24	o 193422
123.86/124.25	o 193414
126.36/126.75	o 193410
126.36/126.76	o 193398
126.76/127.18	o 193320
127.76/128.17	o 193025
128.55/128.90	o 192787
130.15/130.58	o 192683
130.15/130.59	o 192607
130.95/131.34	o 192602
130.95/131.35	o 192594
130.95/131.37	o 192583
130.95/131.37	o 192571
130.95/131.38	o 192563
130.95/131.38	o 192554
131.05/131.41	o 192549
131.05/131.42	o 192541
131.05/131.42	o 192532
131.05/131.43	o 192496
131.05/131.44	o 192488
131.05/131.46	o 192448
131.05/131.47	o 192434
131.05/131.47	o 192422
131.05/131.48	o 192414
131.05/131.48	o 192408
131.05/131.49	o 192396
131.15/131.50	o 192375
131.15/131.51	o 192355
131.15/131.51	o 192311
131.15/131.52	o 192265
131.15/131.52	o 192253
131.15/131.55	o 192244
131.15/131.56	o 192235
131.15/131.57	o 192226
131.24/131.62	o 192218
131.44/131.87	o 192099
131.44/131.88	o 192091
131.44/131.89	o 192082
131.65/132.01	o 192076
131.65/132.01	o 192073
131.65/132.02	o 192064
131.65/132.03	o 192056
131.75/132.16	o 192055
131.75/132.16	o 192046
131.75/132.17	o 192038
133.14/133.53	o 192016
133.14/133.54	o 191998
133.24/133.66	o 191980
133.44/133.87	o 191884
133.44/133.88	o 191806
136.23/136.66	o 191791
136.23/136.67	o 191789
136.23/136.67	o 191687
136.23/136.68	o 191683
136.23/136.68	o 191673
136.23/136.69	o 189855
136.23/136.69	o 189828
136.23/136.69	o 189818
136.33/136.70	o 189724
136.33/136.70	o 189697
136.33/136.70	o 189687
136.33/136.71	o 189679
136.33/136.71	o 189573
136.33/136.71	o 189563
136.33/136.71	o 189515
136.33/136.72	o 189505
136.33/136.72	o 189447
136.33/136.72	o 188263
136.33/136.73	o 188261
136.33/136.74	o 188235
136.33/136.74	o 188177
136.33/136.74	o 188139
136.33/136.74	o 188081
136.33/136.75	o 188072
136.33/136.75	o 187887
136.33/136.76	o 187829
136.33/136.78	o 187814
136.33/136.78	o 187698
136.33/136.79	o 187689
136.33/136.79	o 187623
136.33/136.79	o 187507
136.43/136.80	o 187481
136.43/136.81	o 187443
136.43/136.81	o 187385
136.43/136.82	o 187040
136.43/136.82	o 187013
136.43/136.83	o 186897
136.43/136.83	o 186839
136.43/136.83	o 186775
136.43/136.83	o 186717
136.43/136.83	o 186659
136.43/136.84	o 186535
136.43/136.84	o 186477
136.43/136.85	o 186419
136.43/136.85	o 186410
136.43/136.85	o 186407
136.43/136.86	o 186349
136.43/136.87	o 186341
136.43/136.87	o 186283
136.43/136.87	o 186225
136.43/136.87	o 186167
136.43/136.88	o 186161
136.43/136.89	o 186150
136.43/136.89	o 186112
136.53/136.90	o 186054
136.53/136.90	o 186045
136.53/136.90	o 184777
136.53/136.91	o 184719
136.53/136.93	o 184561
136.53/136.94	o 184365
136.53/136.94	o 184180
136.53/136.94	o 184122
136.53/136.94	o 184047
136.53/136.94	o 183989
136.53/136.95	o 183963
136.53/136.95	o 183867
136.53/136.95	o 183809
136.53/136.95	o 183765
136.53/136.96	o 183718
136.53/136.96	o 183660
136.53/136.96	o 183658
136.53/136.96	o 183638
136.53/136.97	o 183594
136.53/136.97	o 183580
136.53/136.97	o 183536
136.53/136.97	o 183522
136.53/136.97	o 183478
136.53/136.98	o 183460
136.53/136.99	o 183455
136.53/136.99	o 183435
136.53/137.00	o 183281
136.63/137.01	o 183272
136.63/137.01	o 183263
136.63/137.02	o 183239
136.63/137.02	o 183123
136.63/137.03	o 183115
136.63/137.03	o 183101
136.63/137.03	o 183057
136.63/137.03	o 182985
136.63/137.04	o 182941
136.63/137.05	o 182903
136.63/137.06	o 182885
136.63/137.07	o 182643
136.63/137.07	o 182634
136.63/137.08	o 182616
136.73/137.12	o 182608
136.73/137.13	o 182000
136.73/137.14	o 181992
136.73/137.15	o 181983
136.73/137.16	o 181977
136.73/137.16	o 181941
136.73/137.17	o 181923
136.73/137.17	o 181922
136.73/137.18	o 181913
136.73/137.18	o 181905
136.73/137.19	o 181878
136.83/137.20	o 181870
136.83/137.20	o 181861
136.83/137.24	o 181859
136.83/137.24	o 181850
136.83/137.24	o 181842
136.83/137.25	o 181830
136.83/137.25	o 181822
136.83/137.25	o 181772
136.83/137.26	o 181764
136.83/137.26	o 181754
136.83/137.26	o 181746
136.83/137.28	o 181668
136.83/137.28	o 181650
136.83/137.29	o 181609
136.83/137.29	o 181600
136.83/137.29	o 181592
136.93/137.35	o 181589
136.93/137.35	o 181412
136.93/137.35	o 181354
136.93/137.36	o 181346
137.03/137.46	o 181328
137.03/137.46	o 181320
137.03/137.47	o 181211
137.03/137.47	o 181193
137.03/137.48	o 181175
137.03/137.48	o 181166
137.03/137.48	o 181158
137.03/137.49	o 181157
137.03/137.49	o 181149
137.03/137.49	o 180984
137.13/137.50	o 180975
137.13/137.50	o 180967
137.13/137.51	o 180947
137.13/137.51	o 180929
137.13/137.52	o 180928
137.13/137.52	o 180911
137.13/137.58	o 180903
137.13/137.58	o 180885
137.13/137.58	o 180879
137.13/137.59	o 180871
137.13/137.59	o 180870
137.13/137.59	o 180861
137.13/137.59	o 180853
137.23/137.60	o 180848
137.23/137.60	o 180804
137.23/137.60	o 180796
137.23/137.61	o 180784
137.23/137.61	o 180775
137.23/137.61	o 180757
137.23/137.62	o 180748
137.23/137.62	o 180740
137.23/137.62	o 180739
137.23/137.62	o 180731
137.23/137.64	o 180682
137.23/137.64	o 180674
137.23/137.65	o 180672
137.23/137.66	o 180640
137.23/137.66	o 180631
137.23/137.66	o 180622
137.23/137.67	o 180614
137.23/137.67	o 180588
137.23/137.68	o 180579
137.23/137.68	o 180570
137.23/137.69	o 180480
137.23/137.69	o 180462
137.23/137.69	o 180454
137.33/137.70	o 180439
137.33/137.71	o 180341
137.33/137.72	o 180332
137.33/137.72	o 180323
137.33/137.72	o 180315
137.33/137.73	o 180275
137.33/137.73	o 180266
137.33/137.73	o 180257
137.33/137.74	o 180254
137.33/137.74	o 180158
137.33/137.76	o 180149
137.33/137.77	o 180141
137.43/137.86	o 180131
137.43/137.87	o 180123
137.43/137.88	o 180110
137.43/137.89	o 180101
137.43/137.89	o 179988
137.43/137.89	o 179979
137.53/137.90	o 179935
137.53/137.92	o 179923
137.53/137.93	o 179897
137.53/137.93	o 179879
137.53/137.97	o 179862
137.63/138.05	o 179855
137.63/138.06	o 179854
137.63/138.06	o 179846
137.63/138.07	o 179798
137.63/138.07	o 179790
137.73/138.11	o 179782
137.73/138.11	o 179764
137.73/138.11	o 179686
137.73/138.11	o 179642
137.73/138.12	o 179634
137.73/138.12	o 179616
137.73/138.19	o 179610
137.73/138.19	o 179592
137.83/138.20	o 179494
137.83/138.20	o 179416
137.83/138.21	o 179372
137.83/138.21	o 179363
137.83/138.22	o 179354
137.83/138.22	o 179346
138.02/138.43	o 179326
138.02/138.43	o 179308
138.02/138.43	o 179300
138.02/138.44	o 179184
138.02/138.46	o 179166
138.02/138.47	o 179148
138.12/138.51	o 177407
138.12/138.58	o 175913
138.22/138.64	o 175873
138.22/138.64	o 175829
138.22/138.65	o 175681
138.22/138.65	o 175565
138.22/138.65	o 175507
138.22/138.66	o 175505
138.22/138.66	o 175389
138.22/138.67	o 175273
138.22/138.67	o 175264
138.22/138.69	o 175252
138.22/138.69	o 175208
138.32/138.70	o 175199
138.32/138.70	o 175191
138.32/138.71	o 175119
138.32/138.72	o 174945
138.32/138.77	o 174936
138.32/138.78	o 174918
138.32/138.78	o 174649
138.42/138.88	o 174469
138.52/138.94	o 174464
138.52/138.94	o 174258
138.52/138.94	o 174142
138.52/138.95	o 174134
138.52/138.95	o 174079
138.52/138.96	o 174021
138.52/138.96	o 173905
138.52/138.96	o 173896
138.52/138.96	o 173888
138.52/138.99	o 173839
138.52/139.00	o 173830
138.63/139.00	o 173804
138.63/139.01	o 173650
138.63/139.09	o 173642
138.63/139.09	o 173381
138.73/139.15	o 173377
138.73/139.15	o 173369
138.73/139.17	o 173352
138.73/139.18	o 173155
138.73/139.19	o 173146
138.73/139.19	o 173137
138.82/139.21	o 173119
138.82/139.23	o 173111
138.82/139.28	o 171458
138.92/139.38	o 171434
138.92/139.39	o 171318
138.92/139.39	o 171272
138.92/139.39	o 171075
139.02/139.40	o 171017
139.02/139.40	o 170979
139.02/139.41	o 170961
139.02/139.41	o 170700
139.02/139.44	o 170518
139.12/139.58	o 170492
139.12/139.59	o 170222
139.22/139.67	o 170216
139.22/139.68	o 170156
139.22/139.68	o 170136
139.22/139.68	o 170078
139.22/139.69	o 170060
139.32/139.70	o 170051
139.32/139.70	o 170042
139.32/139.75	o 170020
139.32/139.75	o 170002
139.32/139.76	o 169984
139.42/139.83	o 168769
139.42/139.83	o 168752
139.42/139.84	o 168636
139.42/139.88	o 168618
139.52/139.96	o 167092
139.63/140.05	o 167085
139.63/140.06	o 167077
139.63/140.06	o 167021
139.73/140.11	o 166949
139.73/140.12	o 166775
139.92/140.36	o 166767
139.92/140.36	o 166749
139.92/140.37	o 166731
140.02/140.44	o 166723
140.02/140.45	o 166462
140.42/140.85	o 166323
140.42/140.86	o 166297
140.42/140.86	o 166259
140.42/140.86	o 166027
140.52/141.00	o 166025
140.62/141.01	o 165987
140.62/141.01	o 165969
140.62/141.04	o 165903
140.72/141.10	o 165882
140.72/141.11	o 165874
140.72/141.12	o 165873
140.72/141.12	o 165865
140.72/141.13	o 165855
140.72/141.14	o 165847
140.72/141.17	o 165836
140.82/141.24	o 165793
140.82/141.24	o 165784
140.82/141.25	o 165706
140.82/141.26	o 165662
141.02/141.47	o 165302
141.02/141.49	o 165258
141.02/141.49	o 163892
141.12/141.58	o 163879
141.12/141.58	o 163653
141.12/141.59	o 163575
141.12/141.59	o 163531
141.22/141.60	o 163522
141.22/141.60	o 163513
141.22/141.62	o 163469
141.22/141.63	o 163435
141.22/141.63	o 163391
141.22/141.66	o 163382
141.22/141.67	o 163373
141.22/141.68	o 163370
141.22/141.69	o 163352
141.22/141.69	o 163294
141.32/141.72	o 163112
141.32/141.79	o 163104
141.42/141.81	o 163032
141.42/141.81	o 162858
141.42/141.85	o 162719
141.42/141.85	o 162693
141.42/141.86	o 162655
141.42/141.86	o 162423
141.91/142.31	o 162418
141.91/142.32	o 162238
141.91/142.39	o 162180
142.21/142.63	o 161855
142.21/142.64	o 160497
142.81/143.25	o 158844
143.01/143.41	o 158840
143.01/143.41	o 158822
143.01/143.47	o 158821
143.01/143.48	o 158813
143.21/143.66	o 158807
143.21/143.66	o 158749
143.41/143.80	o 158735
143.41/143.84	o 158677
143.51/143.91	o 158651
143.51/143.91	o 158633
143.61/144.02	o 158606
144.61/145.06	o 158595
144.61/145.07	o 158517
144.80/145.26	o 158490
145.10/145.51	o 158252
146.90/147.30	o 158232
147.00/147.44	o 158165
147.00/147.44	o 158087
147.00/147.45	o 158061
147.00/147.46	o 158043
147.00/147.48	o 158034
147.00/147.49	o 158033
147.10/147.50	o 158025
147.20/147.64	o 158008
147.20/147.65	o 157999
147.20/147.65	o 157990
147.20/147.67	o 157881
147.20/147.68	o 157835
147.20/147.68	o 157817
147.20/147.68	o 157808
147.30/147.70	o 157782
147.30/147.70	o 157764
147.50/147.94	o 157692
147.50/147.94	o 157646
147.50/147.95	o 157628
147.50/147.95	o 157619
147.50/147.97	o 157601
147.50/148.00	o 157584
147.60/148.05	o 157581
147.60/148.06	o 157563
147.60/148.06	o 157554
147.60/148.07	o 157545
147.60/148.09	o 157541
147.60/148.10	o 157515
147.70/148.10	o 157497
147.70/148.12	o 157488
147.70/148.12	o 157479
147.70/148.13	o 157476
147.70/148.13	o 157467
147.70/148.15	o 157441
147.70/148.15	o 157432
147.70/148.16	o 157423
147.79/148.24	o 157415
147.99/148.45	o 157410
147.99/148.46	o 157392
147.99/148.46	o 157374
147.99/148.47	o 157365
147.99/148.48	o 157357
148.09/148.51	o 157331
148.09/148.51	o 157305
148.09/148.52	o 157259
148.09/148.52	o 157241
148.09/148.52	o 157201
148.09/148.52	o 157183
150.19/150.60	o 157156
150.49/150.97	o 156918
152.18/152.69	o 155578
152.48/152.91	o 155569
152.48/152.92	o 155563
152.48/152.93	o 155523
152.48/152.93	o 155479
152.48/152.93	o 155461
152.48/152.94	o 155453
152.48/152.95	o 155444
152.48/152.96	o 155432
152.48/152.97	o 155414
152.48/152.97	o 155405
152.48/152.97	o 155396
152.48/152.99	o 155388
152.59/153.09	o 155379
152.69/153.16	o 155374
152.69/153.16	o 155330
152.69/153.16	o 155292
152.69/153.17	o 155234
152.78/153.24	o 155201
152.78/153.25	o 155183
152.78/153.25	o 155174
152.78/153.26	o 155118
152.99/153.48	o 155082
152.99/153.48	o 154897
152.99/153.48	o 154839
153.39/153.89	o 154805
153.39/153.89	o 154787
153.39/153.89	o 154778
153.49/153.90	o 154769
153.49/153.90	o 154761
153.49/153.96	o 154683
153.59/154.03	o 154503
153.89/154.35	o 154476
154.38/154.80	o 154474
154.38/154.80	o 154456
154.38/154.80	o 154340
154.38/154.81	o 154332
154.59/155.01	o 154238
155.08/155.56	o 154234
155.08/155.56	o 153918
155.08/155.57	o 152488
155.69/156.12	o 152485
155.69/156.13	o 152467
155.69/156.14	o 152440
155.69/156.17	o 150998
155.78/156.24	o 150920
156.28/156.77	o 150918
156.28/156.78	o 150900
157.28/157.70	o 149838
157.38/157.84	o 149818
157.38/157.84	o 149800
157.48/157.92	o 149798
157.48/157.92	o 149790
157.48/157.94	o 149767
157.48/157.94	o 149749
157.48/157.95	o 149709
157.48/157.95	o 149700
157.48/157.96	o 149691
157.68/158.11	o 149684
157.68/158.16	o 149676
157.68/158.16	o 149618
158.58/159.04	o 149598
159.47/159.93	o 149585
159.47/159.94	o 149509
159.58/160.00	o 149482
160.57/161.01	o 149466
160.57/161.01	o 149420
160.57/161.01	o 149402
160.67/161.19	o 149308
161.87/162.31	o 149250
163.96/164.42	o 148812
163.96/164.43	o 148743
163.96/164.43	o 148583
163.96/164.44	o 148499
163.96/164.44	o 148453
163.96/164.44	o 148435
163.96/164.45	o 148397
163.96/164.45	o 148379
163.96/164.46	o 148370
163.96/164.47	o 148362
163.96/164.49	o 148182
164.16/164.67	o 148148
164.16/164.68	o 147910
167.85/168.35	o 147901
167.85/168.38	o 147608
168.35/168.88	o 147601
168.35/168.89	o 147581
168.35/168.89	o 147523
168.45/168.96	o 147514
168.55/169.05	o 147506
168.55/169.08	o 147497
168.55/169.09	o 147294
168.55/169.09	o 147236
168.65/169.14	o 147228
170.94/171.45	o 147048
170.94/171.47	o 147013
170.94/171.47	o 146853
170.94/171.47	o 146769
170.94/171.47	o 146723
170.94/171.47	o 146705
171.14/171.64	o 146583
171.14/171.64	o 146547
171.14/171.65	o 146362
171.14/171.65	o 146304
171.94/172.49	o 146066
172.64/173.17	o 146048
172.64/173.18	o 145990
172.94/173.47	o 144658
173.64/174.19	o 144649
173.64/174.19	o 144356
173.64/174.20	o 142926
174.54/175.07	o 142922
174.54/175.07	o 142904
174.54/175.08	o 142886
174.54/175.10	o 142878
174.64/175.16	o 142858
175.13/175.62	o 142854
175.13/175.62	o 142596
175.13/175.62	o 141166
175.73/176.25	o 141162
175.73/176.25	o 141144
175.73/176.26	o 141098
175.73/176.26	o 141080
175.73/176.26	o 141036
175.73/176.27	o 141027
175.73/176.27	o 141019
175.73/176.28	o 140903
175.83/176.31	o 140745
175.83/176.31	o 140560
175.83/176.32	o 140502
175.83/176.34	o 140418
175.83/176.35	o 140412
175.83/176.36	o 140340
175.83/176.36	o 140244
175.83/176.37	o 140166
175.83/176.39	o 140099
175.83/176.39	o 140072
175.93/176.48	o 140034
175.93/176.48	o 140002
175.93/176.49	o 139924
176.03/176.50	o 139904
178.53/179.07	o 138616
179.92/180.44	o 138610
179.92/180.45	o 138592
180.02/180.50	o 138590
180.02/180.52	o 138572
180.02/180.59	o 138393
180.02/180.59	o 138355
180.12/180.61	o 138302
180.12/180.61	o 138244
180.12/180.61	o 138206
180.12/180.62	o 137974
180.12/180.63	o 137965
180.12/180.63	o 137907
180.12/180.64	o 137880
180.12/180.67	o 137854
180.12/180.68	o 137827
180.12/180.69	o 137783
180.22/180.72	o 137687
180.22/180.72	o 137629
180.22/180.77	o 137620
180.22/180.78	o 137611
180.32/180.82	o 137563
180.32/180.82	o 137557
180.32/180.83	o 137517
180.32/180.83	o 137499
180.32/180.86	o 137490
180.32/180.88	o 137487
180.32/180.89	o 137461
180.32/180.89	o 137443
180.42/180.92	o 137434
180.42/180.93	o 137426
180.52/181.07	o 137414
180.52/181.08	o 137396
180.52/181.08	o 137387
180.52/181.09	o 137378
180.62/181.11	o 137370
180.62/181.11	o 137361
180.62/181.18	o 137352
180.62/181.18	o 137334
180.81/181.30	o 137294
180.81/181.30	o 137276
180.81/181.31	o 137258
181.21/181.80	o 137253
181.31/181.80	o 137244
181.31/181.81	o 137235
181.31/181.82	o 137227
181.31/181.86	o 137200
181.41/181.98	o 137180
182.62/183.19	o 137171
182.71/183.20	o 137162
182.71/183.22	o 137154
183.01/183.54	o 137070
183.01/183.55	o 137000
183.01/183.56	o 136922
183.21/183.70	o 135582
184.11/184.64	o 135562
194.18/194.71	o 135535
195.38/195.90	o 135286
197.07/197.64	o 133972
199.27/199.84	o 133856
199.27/199.85	o 132542
200.86/201.45	o 132479
201.26/201.83	o 130816
208.55/209.15	o 130753
208.55/209.17	o 130669
232.38/233.03	o 130511
232.38/233.03	o 130499
232.38/233.03	o 130247
232.38/233.09	o 128629
232.78/233.47	o 128444
232.78/233.47	o 127046
233.27/233.95	o 125566
233.87/234.53	o 125219
233.87/234.53	o 123913
235.56/236.20	o 123877
235.56/236.20	o 122154
237.27/237.95	o 121875
237.56/238.21	o 121770
237.56/238.21	o 120117
240.16/240.81	o 118464
242.75/243.43	o 118422
242.75/243.43	o 116734
244.46/245.15	o 115062
245.55/246.23	o 113800
246.05/246.78	o 112404
253.73/254.44	o 112258
253.83/254.58	o 111507
253.83/254.58	o 111463
253.83/254.58	o 111442
253.83/254.59	o 111370
253.83/254.59	o 111326
253.83/254.59	o 111319
253.83/254.59	o 111301
253.93/254.60	o 111275
253.93/254.60	o 111257
253.93/254.60	o 111205
253.93/254.61	o 111159
253.93/254.61	o 111141
253.93/254.62	o 111123
253.93/254.62	o 111114
253.93/254.63	o 111105
253.93/254.64	o 111088
254.22/254.93	o 111075
254.22/254.93	o 111067
254.22/254.95	o 111066
254.22/254.95	o 111057
254.22/254.96	o 111049
254.22/254.97	o 111042
254.22/254.97	o 111002
254.22/254.98	o 110984
254.22/254.98	o 110966
254.22/254.99	o 110922
254.33/255.05	o 110888
254.33/255.06	o 110842
254.33/255.06	o 110824
254.33/255.06	o 110806
254.52/255.26	o 110794
254.52/255.28	o 110786
254.72/255.45	o 110783
254.72/255.46	o 110782
254.72/255.46	o 110773
254.72/255.47	o 110765
254.82/255.51	o 110762
254.82/255.52	o 110754
254.82/255.52	o 110753
254.82/255.52	o 110745
254.92/255.62	o 110744
254.92/255.62	o 110736
254.92/255.63	o 110718
255.43/256.14	o 109692
255.43/256.15	o 109655
255.43/256.15	o 109646
255.43/256.16	o 109609
255.43/256.16	o 109591
255.43/256.16	o 109582
255.43/256.17	o 109560
255.43/256.17	o 109542
255.43/256.18	o 109524
255.43/256.18	o 109486
255.52/256.20	o 109477
255.52/256.20	o 109468
255.52/256.21	o 109459
255.52/256.22	o 109451
255.62/256.35	o 109444
255.62/256.36	o 109441
255.62/256.37	o 109432
255.62/256.38	o 109424
255.92/256.64	o 109405
255.92/256.64	o 109387
255.92/256.65	o 109378
255.92/256.65	o 109369
255.92/256.68	o 109361
256.02/256.77	o 109354
256.12/256.81	o 109343
256.12/256.81	o 109334
256.12/256.86	o 109314
258.61/259.39	o 109296
258.71/259.42	o 109216
258.71/259.42	o 109196
258.71/259.43	o 109178
258.71/259.43	o 109160
258.71/259.46	o 109129
258.71/259.47	o 109120
258.71/259.47	o 109118
258.71/259.48	o 109109
258.71/259.48	o 109100
258.71/259.49	o 109091
258.71/259.49	o 109082
258.81/259.50	o 109071
258.81/259.50	o 109062
258.81/259.51	o 109053
258.81/259.51	o 109044
258.81/259.53	o 109035
258.81/259.55	o 109027
260.71/261.43	o 108951
260.71/261.50	o 108768
260.81/261.50	o 108490
261.80/262.53	o 108478
262.41/263.17	o 108461
262.60/263.39	o 108455
262.70/263.40	o 108446
262.70/263.44	o 108437
262.70/263.45	o 108429
262.80/263.54	o 108414
262.80/263.55	o 108412
262.80/263.55	o 108394
262.80/263.56	o 108386
262.80/263.57	o 108385
262.80/263.57	o 108376
262.80/263.58	o 108368
262.90/263.63	o 108365
262.90/263.64	o 108356
262.90/263.64	o 108348
262.90/263.66	o 108318
262.90/263.66	o 108310
262.90/263.67	o 108301
262.90/263.67	o 108292
263.00/263.72	o 108272
263.10/263.81	o 108270
263.10/263.85	o 108202
263.30/264.09	o 108182
264.50/265.26	o 108174
264.50/265.26	o 108166
264.50/265.27	o 108125
264.50/265.28	o 108098
265.30/266.02	o 107056
268.18/268.97	o 106839
275.96/276.79	o 106828
276.06/276.81	o 106643
276.06/276.81	o 106585
276.06/276.82	o 106565
276.06/276.83	o 106475
276.16/276.93	o 106466
276.16/276.94	o 106457
276.16/276.98	o 106251
276.16/276.98	o 106135
276.27/277.07	o 106059
276.37/277.14	o 105891
276.46/277.29	o 105871
276.86/277.60	o 105859
281.25/282.02	o 105853
281.25/282.04	o 105852
281.25/282.05	o 105843
281.45/282.22	o 105840
281.45/282.23	o 105838
281.45/282.23	o 105820
281.45/282.25	o 105819
281.45/282.25	o 105810
281.45/282.25	o 105802
281.55/282.32	o 105793
281.55/282.32	o 105792
281.55/282.33	o 105783
281.55/282.33	o 105775
282.45/283.28	o 105767
282.45/283.29	o 105749
284.54/285.31	o 105574
287.13/287.96	o 105572
287.13/287.97	o 105526
287.13/287.97	o 105508
287.34/288.16	o 105496
288.93/289.71	o 105490
290.62/291.41	o 105474
290.62/291.41	o 105457
290.62/291.44	o 105437
290.82/291.68	o 105420
290.92/291.71	o 105141
312.27/313.17	o 105135
312.27/313.17	o 105077
312.37/313.21	o 104899
312.37/313.21	o 104821
312.37/313.21	o 104667
312.37/313.27	o 103014
312.57/313.40	o 102840
312.87/313.78	o 101526
313.56/314.42	o 100148
316.36/317.23	o 100071
316.36/317.23	o 99984
316.36/317.23	o 99894
316.36/317.23	o 99822
316.36/317.24	o 99767
316.36/317.24	o 99637
316.36/317.24	o 99541
316.36/317.25	o 99533
316.36/317.25	o 99489
316.45/317.36	o 99243
316.45/317.36	o 98991
316.55/317.40	o 98989
316.55/317.41	o 98951
316.55/317.44	o 98925
317.05/317.96	o 98899
317.05/317.97	o 98861
317.75/318.62	o 98655
317.75/318.62	o 98591
322.24/323.15	o 98481
323.74/324.60	o 98470
323.74/324.61	o 98461
323.74/324.61	o 98443
323.74/324.62	o 98434
323.74/324.63	o 98425
323.74/324.64	o 98417
323.74/324.65	o 98377
323.74/324.65	o 98359
323.84/324.71	o 98345
324.04/324.95	o 98343
324.04/324.96	o 98342
324.04/324.97	o 98333
324.04/324.98	o 98325
324.15/325.10	o 98324
324.25/325.10	o 98315
324.25/325.12	o 98307
324.25/325.12	o 98306
324.25/325.13	o 98298
324.25/325.15	o 98196
324.25/325.15	o 98188
324.34/325.23	o 98176
324.34/325.24	o 98168
324.34/325.26	o 98133
324.34/325.26	o 98124
324.44/325.37	o 98121
324.44/325.38	o 98083
324.44/325.39	o 98065
324.54/325.41	o 98059
324.54/325.42	o 98051
324.54/325.43	o 98031
324.54/325.44	o 98022
324.54/325.45	o 98013
324.64/325.51	o 98007
324.64/325.52	o 97999
324.64/325.53	o 97978
324.64/325.53	o 97970
324.64/325.54	o 97961
324.64/325.55	o 97932
324.64/325.56	o 97923
324.64/325.57	o 97914
324.64/325.58	o 97905
324.64/325.58	o 97897
324.74/325.61	o 97895
324.74/325.61	o 97779
324.74/325.63	o 97778
324.74/325.64	o 97761
324.74/325.65	o 97723
324.84/325.78	o 97721
324.84/325.79	o 97683
324.94/325.81	o 97674
324.94/325.82	o 97665
325.14/326.06	o 97645
325.14/326.07	o 97628
325.14/326.08	o 97620
325.14/326.09	o 97582
325.14/326.09	o 97564
325.24/326.12	o 97555
326.53/327.46	o 97497
326.53/327.47	o 97479
326.63/327.50	o 97471
330.92/331.82	o 95818
331.02/331.98	o 95732
331.02/331.99	o 95540
342.39/343.31	o 95534
342.39/343.36	o 95521
342.59/343.51	o 95508
342.59/343.51	o 95490
342.59/343.51	o 95432
342.59/343.54	o 95423
342.59/343.55	o 95414
342.59/343.56	o 95405
342.59/343.56	o 95397
342.89/343.86	o 95377
342.89/343.86	o 95369
342.89/343.87	o 95368
342.89/343.87	o 95351
342.89/343.88	o 95342
342.89/343.88	o 95333
342.89/343.88	o 95332
342.89/343.89	o 95080
342.89/343.89	o 95063
342.99/343.92	o 95059
342.99/343.92	o 95041
342.99/343.92	o 94983
342.99/343.94	o 94945
342.99/343.95	o 94944
342.99/343.96	o 94936
342.99/343.98	o 94883
342.99/343.98	o 94819
342.99/343.99	o 94802
343.09/344.03	o 94800
343.09/344.03	o 94782
343.09/344.04	o 94733
343.09/344.04	o 94724
343.09/344.07	o 94715
343.09/344.09	o 94685
343.09/344.09	o 94647
343.09/344.09	o 94629
343.19/344.11	o 94628
343.19/344.11	o 94620
343.19/344.11	o 94611
343.19/344.18	o 94580
343.19/344.19	o 94562
343.29/344.20	o 94553
343.59/344.53	o 94539
343.59/344.53	o 94530
343.59/344.53	o 94521
343.59/344.55	o 94510
343.59/344.55	o 94493
343.59/344.56	o 94464
343.59/344.56	o 94447
343.59/344.57	o 94446
343.59/344.57	o 94437
343.59/344.57	o 94429
343.59/344.58	o 94420
343.59/344.59	o 94411
343.69/344.60	o 94403
356.35/357.31	o 94394
356.35/357.31	o 94320
356.35/357.33	o 94231
356.35/357.33	o 94223
356.35/357.34	o 94179
356.35/357.36	o 93965
356.45/357.42	o 93939
356.45/357.42	o 93901
356.45/357.42	o 93843
357.55/358.57	o 93835
358.65/359.68	o 93817
358.75/359.73	o 93797
358.95/359.94	o 93777
359.05/360.09	o 93693
359.35/360.39	o 93457
359.45/360.40	o 93263
359.45/360.41	o 93179
359.84/360.86	o 93163
360.05/361.07	o 91953
364.93/365.91	o 90363
365.53/366.55	o 90349
365.53/366.55	o 90340
365.53/366.56	o 90332
365.73/366.70	o 90326
365.73/366.70	o 90306
365.73/366.74	o 90286
365.73/366.75	o 90268
365.93/366.99	o 90265
366.22/367.24	o 90255
366.22/367.25	o 90246
366.22/367.26	o 90245
366.22/367.27	o 90237
366.32/367.34	o 90230
366.32/367.35	o 90229
366.32/367.35	o 90221
366.92/368.00	o 89749
367.03/368.00	o 89748
367.03/368.01	o 89739
367.03/368.01	o 89731
367.03/368.02	o 89730
367.03/368.02	o 89722
367.03/368.02	o 89721
367.03/368.03	o 89713
367.03/368.03	o 89684
367.03/368.03	o 89678
367.03/368.04	o 89554
367.03/368.04	o 89536
367.03/368.05	o 89528
367.03/368.06	o 89514
367.03/368.07	o 89505
367.03/368.07	o 89497
367.03/368.08	o 89487
367.03/368.08	o 89479
367.03/368.08	o 89469
367.03/368.09	o 89461
367.03/368.09	o 89459
367.03/368.09	o 89449
367.03/368.10	o 89441
367.13/368.11	o 89437
367.13/368.11	o 89411
367.13/368.11	o 89373
367.13/368.11	o 89315
367.13/368.12	o 89285
367.13/368.12	o 89267
367.13/368.13	o 89259
367.13/368.13	o 89250
367.13/368.14	o 89241
367.72/368.73	o 89219
367.72/368.73	o 89210
367.72/368.74	o 89201
367.72/368.74	o 89183
367.72/368.75	o 89181
367.72/368.76	o 89163
368.52/369.57	o 89157
368.62/369.60	o 89088
368.62/369.60	o 89079
369.02/370.08	o 89072
369.02/370.08	o 89063
369.42/370.45	o 89052
369.42/370.45	o 89043
369.42/370.46	o 88875
370.91/371.98	o 88791
376.70/377.73	o 88646
376.90/377.95	o 88621
376.90/377.95	o 88603
376.90/377.96	o 88594
376.90/377.99	o 88591
376.90/378.00	o 88583
377.00/378.00	o 88574
381.48/382.56	o 88570
381.48/382.57	o 87230
381.58/382.63	o 85916
381.88/382.94	o 85896
381.88/382.95	o 85806
382.38/383.43	o 85722
382.78/383.82	o 85638
390.47/391.59	o 85637
390.67/391.72	o 85592
390.67/391.72	o 83974
390.87/391.92	o 83014
390.87/391.94	o 82932
390.87/391.95	o 82848
390.87/391.95	o 82790
393.26/394.37	o 82706
394.56/395.69	o 82697
394.56/395.69	o 82688
394.66/395.71	o 82680
394.86/395.99	o 82672
394.86/396.00	o 82654
395.06/396.14	o 82596
395.85/396.95	o 82584
396.06/397.16	o 82540
396.15/397.24	o 82371
396.15/397.24	o 82365
396.15/397.25	o 82287
398.05/399.11	o 82286
398.05/399.12	o 82230
398.05/399.12	o 82227
398.05/399.12	o 82209
398.05/399.15	o 82195
398.05/399.15	o 82187
398.05/399.16	o 82178
398.05/399.18	o 82166
398.05/399.18	o 82158
398.05/399.18	o 82149
398.05/399.18	o 82140
398.05/399.19	o 82131
398.05/399.20	o 82114
398.15/399.21	o 82100
398.15/399.21	o 82082
398.15/399.22	o 82065
398.15/399.24	o 82059
398.15/399.24	o 82051
398.15/399.25	o 82042
398.35/399.42	o 82018
398.35/399.42	o 81960
398.35/399.43	o 81952
398.35/399.43	o 81943
398.45/399.55	o 81769
398.45/399.55	o 80481
398.85/400.00	o 80467
398.95/400.00	o 80458
398.95/400.00	o 80449
398.95/400.02	o 80333
399.15/400.28	o 80158
399.15/400.28	o 80080
399.15/400.29	o 79784
401.84/402.93	o 79758
401.84/402.94	o 79666
401.94/403.01	o 79662
401.94/403.01	o 79648
401.94/403.01	o 79640
401.94/403.02	o 79636
401.94/403.02	o 79622
401.94/403.07	o 79620
401.94/403.07	o 79562
401.94/403.07	o 79547
401.94/403.08	o 79529
401.94/403.08	o 79528
401.94/403.09	o 79520
401.94/403.09	o 79506
402.84/403.90	o 79499
402.84/403.98	o 79487
402.84/403.99	o 79482
402.84/403.99	o 79473
402.84/404.00	o 79472
402.94/404.00	o 79463
402.94/404.01	o 79455
402.94/404.04	o 79313
402.94/404.06	o 79275
402.94/404.06	o 79266
402.94/404.06	o 79237
402.94/404.07	o 79153
402.94/404.07	o 79107
402.94/404.07	o 79089
402.94/404.08	o 79081
402.94/404.08	o 79078
402.94/404.09	o 79060
402.94/404.09	o 79043
402.94/404.10	o 79034
402.94/404.10	o 79025
403.04/404.11	o 78961
403.04/404.14	o 78921
403.04/404.14	o 78903
403.04/404.15	o 78831
403.04/404.15	o 78813
403.04/404.16	o 78805
403.04/404.16	o 78787
403.13/404.22	o 78747
403.13/404.22	o 78729
403.13/404.22	o 78703
403.13/404.23	o 78645
403.13/404.24	o 78611
403.13/404.24	o 78591
403.13/404.24	o 78533
403.13/404.25	o 78515
404.33/405.49	o 78483
404.33/405.49	o 78474
404.43/405.50	o 78466
404.43/405.50	o 78457
420.69/421.80	o 78403
434.65/435.84	o 78400
434.65/435.84	o 78392
434.65/435.84	o 78386
434.65/435.85	o 78377
434.75/435.93	o 78368
434.75/435.98	o 77028
435.65/436.80	o 75894
435.65/436.83	o 75842
447.62/448.84	o 75837
447.62/448.85	o 75779
447.62/448.86	o 75771
447.62/448.86	o 75765
447.62/448.86	o 75649
447.62/448.87	o 75533
447.62/448.88	o 75353
447.92/449.12	o 75295
448.31/449.51	o 75043
448.31/449.52	o 75029
450.81/452.07	o 74913
451.51/452.75	o 74739
451.81/453.06	o 74501
452.50/453.71	o 73039
453.40/454.61	o 72922
453.40/454.62	o 72722
453.40/454.62	o 72664
453.50/454.71	o 71769
453.50/454.72	o 71698
453.50/454.72	o 71504
454.10/455.30	o 70216
454.40/455.67	o 68586
456.59/457.87	o 68569
456.59/457.88	o 68560
456.59/457.89	o 68516
456.69/457.93	o 68458
459.29/460.56	o 68290
537.57/539.03	o 67054
544.96/546.46	o 66812
571.78/573.34	o 66252
571.78/573.34	o 66083
573.58/575.12	o 66046
573.58/575.12	o 65916
573.58/575.12	o 65898
601.80/603.40	o 65551
601.80/603.47	o 65419
628.14/629.84	o 65369
649.58/651.31	o 64237
687.48/689.38	o 63657
687.58/689.40	o 63637
790.80/793.00	o 63401
995.56/998.27	o 63196
995.76/998.42	o 63028
996.65/999.34	o 62938
997.55/1000.20	o 62744
1958.51/1963.74	o 62730
1958.51/1963.75	o 62710
3600.04/3609.40	c Program interrupted by user.
3600.04/3609.40	s SATISFIABLE
3600.04/3609.40	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

Verifier Data 

OK	62710

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 (59098 MiB free)
  memory of node 1: 64510 MiB (59178 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=838728, runsolver pid=838725

[startup+0.101053 s]*
/proc/loadavg: 4.13 4.11 4.12 5/257 838729
/proc/meminfo: memFree=121104648/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=33520 memory=13872 CPUtime=0.09 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 2299 0 0 0 9 0 0 0 20 0 1 0 162740037 34324480 3468 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 8380 3468 819 746 0 7444 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33520 KiB
Current children cumulated memory: 13872 KiB

[startup+0.205457 s]*
/proc/loadavg: 4.13 4.11 4.12 5/257 838729
/proc/meminfo: memFree=121100884/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=35368 memory=17764 CPUtime=0.2 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 2758 0 0 0 20 0 0 0 20 0 1 0 162740037 36216832 4441 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 8842 4441 819 746 0 7906 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 35368 KiB
Current children cumulated memory: 17764 KiB

[startup+0.305475 s]*
/proc/loadavg: 4.13 4.11 4.12 5/257 838729
/proc/meminfo: memFree=121095728/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=38404 memory=22976 CPUtime=0.3 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 3524 0 0 0 30 0 0 0 20 0 1 0 162740037 39325696 5744 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 9601 5744 819 746 0 8665 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38404 KiB
Current children cumulated memory: 22976 KiB

[startup+0.700237 s]
/proc/loadavg: 4.13 4.11 4.12 5/257 838729
/proc/meminfo: memFree=121085284/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=44912 memory=35708 CPUtime=0.68 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 5154 0 0 0 68 0 0 0 20 0 1 0 162740037 45989888 8927 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 11228 8927 819 746 0 10292 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44912 KiB
Current children cumulated memory: 35708 KiB

[startup+1.50024 s]
/proc/loadavg: 4.13 4.11 4.12 5/257 838729
/proc/meminfo: memFree=121070356/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=70224 memory=56500 CPUtime=1.48 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 8573 0 0 0 147 1 0 0 20 0 1 0 162740037 71909376 14125 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 17556 14125 819 746 0 16620 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 70224 KiB
Current children cumulated memory: 56500 KiB

[startup+3.10547 s]
/proc/loadavg: 4.13 4.11 4.12 5/257 838729
/proc/meminfo: memFree=121033784/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=87368 memory=77620 CPUtime=3.08 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 11819 0 0 0 306 2 0 0 20 0 1 0 162740037 89464832 19405 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 21842 19405 835 746 0 20906 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 87368 KiB
Current children cumulated memory: 77620 KiB

[startup+6.30023 s]
/proc/loadavg: 4.12 4.11 4.12 5/257 838729
/proc/meminfo: memFree=120997816/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=142568 memory=126136 CPUtime=6.27 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 18688 0 0 0 623 4 0 0 20 0 1 0 162740037 145989632 31534 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 35642 31534 835 746 0 34706 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 142568 KiB
Current children cumulated memory: 126136 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.12 5/257 838731
/proc/meminfo: memFree=120935208/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=205500 memory=171016 CPUtime=12.65 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 24795 0 0 0 1258 7 0 0 20 0 1 0 162740037 210432000 42754 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 51375 42754 835 746 0 50439 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 205500 KiB
Current children cumulated memory: 171016 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.10 4.12 5/257 838732
/proc/meminfo: memFree=120902616/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=292268 memory=212080 CPUtime=25.42 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 30192 0 0 0 2531 11 0 0 20 0 1 0 162740037 299282432 53020 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 73067 53020 835 746 0 72131 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 292268 KiB
Current children cumulated memory: 212080 KiB

[startup+51.1055 s]
/proc/loadavg: 4.11 4.11 4.12 5/259 839121
/proc/meminfo: memFree=120848020/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=341064 memory=256868 CPUtime=50.95 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 37905 0 0 0 5082 13 0 0 20 0 1 0 162740037 349249536 64217 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 85266 64217 835 746 0 84330 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 341064 KiB
Current children cumulated memory: 256868 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.09 4.11 5/256 839129
/proc/meminfo: memFree=120838792/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=344204 memory=259472 CPUtime=102.02 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 38652 0 0 0 10188 14 0 0 20 0 1 0 162740037 352464896 64868 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 86051 64868 835 746 0 85115 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 344204 KiB
Current children cumulated memory: 259472 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.11 6/256 839140
/proc/meminfo: memFree=120834624/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=348528 memory=263384 CPUtime=161.87 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 39703 0 0 0 16171 16 0 0 20 0 1 0 162740037 356892672 65846 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 87132 65846 835 746 0 86196 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 348528 KiB
Current children cumulated memory: 263384 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.11 5/258 839320
/proc/meminfo: memFree=120806468/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=349168 memory=264336 CPUtime=221.71 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 39970 0 0 0 22155 16 0 0 20 0 1 0 162740037 357548032 66084 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 87292 66084 835 746 0 86356 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 349168 KiB
Current children cumulated memory: 264336 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/258 839330
/proc/meminfo: memFree=120788348/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=368836 memory=281944 CPUtime=281.55 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 44498 0 0 0 28137 18 0 0 20 0 1 0 162740037 377688064 70486 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 92209 70486 835 746 0 91273 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 368836 KiB
Current children cumulated memory: 281944 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/259 839344
/proc/meminfo: memFree=120779836/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=378368 memory=289924 CPUtime=341.39 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 46533 0 0 0 34120 19 0 0 20 0 1 0 162740037 387448832 72481 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 94592 72481 835 746 0 93656 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 378368 KiB
Current children cumulated memory: 289924 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 839365
/proc/meminfo: memFree=120764164/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=394316 memory=304456 CPUtime=401.24 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 50259 0 0 0 40104 20 0 0 20 0 1 0 162740037 403779584 76114 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 98579 76114 835 746 0 97643 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 394316 KiB
Current children cumulated memory: 304456 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 839376
/proc/meminfo: memFree=120762652/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=395400 memory=305860 CPUtime=461.08 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 50596 0 0 0 46088 20 0 0 20 0 1 0 162740037 404889600 76465 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 98850 76465 835 746 0 97914 0

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

Current children cumulated memory: 329820 KiB

[startup+2862.3 s]
/proc/loadavg: 2.07 2.17 2.74 3/244 840483
/proc/meminfo: memFree=123278672/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=423916 memory=329832 CPUtime=2854.67 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 58446 0 0 0 285437 30 0 0 20 0 1 0 162740037 434089984 82458 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 105979 82458 835 746 0 105043 0
Current children cumulated CPU time: 2854.67 s
Current children cumulated vsize: 423916 KiB
Current children cumulated memory: 329832 KiB

[startup+2922.3 s]
/proc/loadavg: 1.77 2.08 2.68 2/237 840525
/proc/meminfo: memFree=126419120/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=425256 memory=330800 CPUtime=2914.5 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 58751 0 0 0 291420 30 0 0 20 0 1 0 162740037 435462144 82700 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 106314 82700 835 746 0 105378 0
Current children cumulated CPU time: 2914.5 s
Current children cumulated vsize: 425256 KiB
Current children cumulated memory: 330800 KiB

[startup+2982.3 s]
/proc/loadavg: 1.33 1.90 2.57 2/237 840536
/proc/meminfo: memFree=126414052/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=425256 memory=335616 CPUtime=2974.36 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 58850 0 0 0 297406 30 0 0 20 0 1 0 162740037 435462144 83904 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 106314 83904 835 746 0 105378 0
Current children cumulated CPU time: 2974.36 s
Current children cumulated vsize: 425256 KiB
Current children cumulated memory: 335616 KiB

[startup+3042.3 s]
/proc/loadavg: 1.23 1.76 2.48 2/237 840546
/proc/meminfo: memFree=126383424/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=427436 memory=365696 CPUtime=3034.22 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 59772 0 0 0 303392 30 0 0 20 0 1 0 162740037 437694464 91424 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 106859 91424 835 746 0 105923 0
Current children cumulated CPU time: 3034.22 s
Current children cumulated vsize: 427436 KiB
Current children cumulated memory: 365696 KiB

[startup+3102.3 s]
/proc/loadavg: 1.18 1.65 2.40 2/234 840556
/proc/meminfo: memFree=126375932/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=427692 memory=372868 CPUtime=3094.09 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 59984 0 0 0 309379 30 0 0 20 0 1 0 162740037 437956608 93217 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 106923 93217 835 746 0 105987 0
Current children cumulated CPU time: 3094.09 s
Current children cumulated vsize: 427692 KiB
Current children cumulated memory: 372868 KiB

[startup+3162.3 s]
/proc/loadavg: 1.15 1.55 2.31 2/234 840567
/proc/meminfo: memFree=126375592/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=427692 memory=372868 CPUtime=3153.94 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 60020 0 0 0 315364 30 0 0 20 0 1 0 162740037 437956608 93217 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 106923 93217 835 746 0 105987 0
Current children cumulated CPU time: 3153.94 s
Current children cumulated vsize: 427692 KiB
Current children cumulated memory: 372868 KiB

[startup+3222.3 s]
/proc/loadavg: 1.11 1.46 2.23 2/233 840577
/proc/meminfo: memFree=126372220/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=432808 memory=375720 CPUtime=3213.78 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 60934 0 0 0 321347 31 0 0 20 0 1 0 162740037 443195392 93930 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 108202 93930 835 746 0 107266 0
Current children cumulated CPU time: 3213.78 s
Current children cumulated vsize: 432808 KiB
Current children cumulated memory: 375720 KiB

[startup+3282.3 s]
/proc/loadavg: 1.09 1.39 2.16 2/233 840587
/proc/meminfo: memFree=126371464/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=433064 memory=376012 CPUtime=3273.66 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 61142 0 0 0 327335 31 0 0 20 0 1 0 162740037 443457536 94003 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 108266 94003 835 746 0 107330 0
Current children cumulated CPU time: 3273.66 s
Current children cumulated vsize: 433064 KiB
Current children cumulated memory: 376012 KiB

[startup+3342.3 s]
/proc/loadavg: 1.07 1.33 2.09 2/236 840603
/proc/meminfo: memFree=126370948/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=433064 memory=376168 CPUtime=3333.53 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 61295 0 0 0 333322 31 0 0 20 0 1 0 162740037 443457536 94042 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 108266 94042 835 746 0 107330 0
Current children cumulated CPU time: 3333.53 s
Current children cumulated vsize: 433064 KiB
Current children cumulated memory: 376168 KiB

[startup+3402.3 s]
/proc/loadavg: 1.11 1.30 2.03 2/236 840614
/proc/meminfo: memFree=126370296/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=433064 memory=376168 CPUtime=3393.41 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 61447 0 0 0 339310 31 0 0 20 0 1 0 162740037 443457536 94042 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 108266 94042 835 746 0 107330 0
Current children cumulated CPU time: 3393.41 s
Current children cumulated vsize: 433064 KiB
Current children cumulated memory: 376168 KiB

[startup+3462.3 s]
/proc/loadavg: 1.08 1.26 1.97 2/236 840625
/proc/meminfo: memFree=126369928/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=433064 memory=376168 CPUtime=3453.28 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 61598 0 0 0 345297 31 0 0 20 0 1 0 162740037 443457536 94042 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 108266 94042 835 746 0 107330 0
Current children cumulated CPU time: 3453.28 s
Current children cumulated vsize: 433064 KiB
Current children cumulated memory: 376168 KiB

[startup+3522.3 s]
/proc/loadavg: 1.18 1.25 1.92 2/237 840636
/proc/meminfo: memFree=126366312/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=438056 memory=379004 CPUtime=3513.13 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 62526 0 0 0 351282 31 0 0 20 0 1 0 162740037 448569344 94751 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 109514 94751 835 746 0 108578 0
Current children cumulated CPU time: 3513.13 s
Current children cumulated vsize: 438056 KiB
Current children cumulated memory: 379004 KiB

[startup+3582.3 s]
/proc/loadavg: 1.12 1.22 1.86 2/237 840647
/proc/meminfo: memFree=126361544/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=438056 memory=383600 CPUtime=3573 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 62709 0 0 0 357269 31 0 0 20 0 1 0 162740037 448569344 95900 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 109514 95900 835 746 0 108578 0
Current children cumulated CPU time: 3573 s
Current children cumulated vsize: 438056 KiB
Current children cumulated memory: 383600 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 1.14 1.22 1.85 2/237 840650
/proc/meminfo: memFree=126361516/131524600 swapFree=131071996/131071996
[pid=838728] ppid=838725 vsize=438056 memory=383656 CPUtime=3600.04 cores=5,7
/proc/838728/stat : 838728 (Exact_nosoplex) R 838725 838728 832279 0 -1 4194304 62843 0 0 0 359973 31 0 0 20 0 1 0 162740037 448569344 95914 134679101440 4194304 7248369 140721679581360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41476096 140721679590316 140721679590495 140721679590495 140721679597510 0
/proc/838728/statm: 109514 95914 835 746 0 108578 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 438056 KiB
Current children cumulated memory: 383656 KiB

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

[startup+3609.41 s]
# the end of solver process 838728 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.74 s, system=0.31411 s

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

Child status: 10

Real time (s): 3609.41
CPU time (s): 3600.05
CPU user time (s): 3599.74
CPU system time (s): 0.31411
CPU usage (%): 99.7409
Max. virtual memory (cumulated for all children) (KiB): 438056
Max. memory (cumulated for all children) (KiB): 383656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.74
system time used= 0.31411
maximum resident set size= 383656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62845
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= 70
involuntary context switches= 2172


# summary of solver processes directly reported to runsolver:
#   pid: 838728
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.74
#   total CPU system time (s): 0.31411

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.64462 second user time and 15.7601 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-16 06:55:15
IDJOB=4433554
IDBENCH=148155
IDSOLVER=3061
FILE ID=nodeC033/4433554-1721105703
RUNJOBID= nodeC033-1721096611-832292
SLURM_JOB_ID= 7505611
Free space on /tmp= 890064 MiB

SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_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-4433554-1721105703/watcher-4433554-1721105703 -o /tmp/evaluation-result-4433554-1721105703/solver-4433554-1721105703 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721096611-832292 --watchdog 3760  HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=2040536836 HOME/instance-4433554-1721105703.opb

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

MD5SUM BENCH= ec773b047bf21dab87650e27deaa6768
RANDOM SEED=2040536836

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		: 3671.152
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		: 3685.754
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		: 3600.104
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		: 3620.679
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		: 3671.144
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		: 3656.985
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		: 3599.780
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		: 3655.823
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:        121115868 kB
MemAvailable:   124052116 kB
Buffers:          419368 kB
Cached:          3322076 kB
SwapCached:            0 kB
Active:           676588 kB
Inactive:        9060356 kB
Active(anon):       1580 kB
Inactive(anon):  6031640 kB
Active(file):     675008 kB
Inactive(file):  3028716 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4876 kB
Writeback:             0 kB
AnonPages:       5994844 kB
Mapped:           113920 kB
Shmem:             37716 kB
KReclaimable:     144340 kB
Slab:             255116 kB
SReclaimable:     144340 kB
SUnreclaim:       110776 kB
KernelStack:        4140 kB
PageTables:        21424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7293496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61344 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4259840 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= 890080 MiB
End job on nodeC033 at 2024-07-16 07:55:25