Trace number 4425417

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Exact_no_SoPlex 2024-07-05OPTIMUM 56.1872 56.4055

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl--soft-33-100-0.wbo
MD5SUMfcd01ea1026463f094965248803e85ff
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark2.68861
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3939
Total number of constraints10412
Number of soft constraints6994
Number of constraints which are clauses9740
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints672
Minimum length of a constraint1
Maximum length of a constraint13
Top cost 349089
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 349088
Biggest number in a constraint 69
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 258
Number of bits of the biggest sum of numbers9
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.09/0.11	o 53829
0.09/0.11	o 43780
0.09/0.12	o 43770
0.09/0.12	o 43708
0.09/0.13	o 43661
0.09/0.13	o 43593
0.09/0.14	o 43577
0.09/0.14	o 43486
0.09/0.15	o 43454
0.09/0.15	o 43452
0.09/0.16	o 43449
0.09/0.17	o 43440
0.09/0.17	o 43419
0.09/0.19	o 43406
0.09/0.19	o 43403
0.09/0.19	o 43359
0.09/0.20	o 43343
0.20/0.21	o 43324
0.20/0.21	o 43311
0.20/0.21	o 43303
0.20/0.22	o 43300
0.20/0.23	o 43293
0.20/0.24	o 43291
0.20/0.24	o 43282
0.20/0.24	o 43247
0.20/0.25	o 43229
0.20/0.25	o 43216
0.20/0.26	o 43203
0.20/0.26	o 43198
0.20/0.27	o 43191
0.20/0.28	o 43155
0.20/0.28	o 43105
0.20/0.29	o 43069
0.20/0.29	o 43063
0.20/0.30	o 43037
0.20/0.30	o 43033
0.20/0.30	o 43017
0.30/0.31	o 42986
0.30/0.31	o 42940
0.30/0.32	o 42884
0.30/0.32	o 42844
0.30/0.32	o 42816
0.30/0.33	o 42795
0.30/0.33	o 42790
0.30/0.33	o 42771
0.30/0.34	o 42756
0.30/0.34	o 42739
0.30/0.34	o 42688
0.30/0.35	o 42598
0.30/0.35	o 42545
0.30/0.36	o 42536
0.30/0.36	o 42531
0.30/0.37	o 42519
0.30/0.37	o 42506
0.30/0.37	o 42502
0.30/0.39	o 42490
0.30/0.39	o 42464
0.30/0.39	o 42435
0.30/0.40	o 42401
0.40/0.41	o 42388
0.40/0.42	o 42387
0.40/0.42	o 42386
0.40/0.43	o 42385
0.40/0.43	o 42383
0.40/0.44	o 42363
0.40/0.45	o 42350
0.40/0.48	o 42349
0.40/0.49	o 42348
0.49/0.51	o 42284
0.49/0.53	o 42205
0.49/0.55	o 42204
0.49/0.58	o 42157
0.49/0.59	o 42154
0.59/0.62	o 42143
0.59/0.67	o 42104
0.68/0.71	o 42102
0.68/0.74	o 42063
0.68/0.77	o 42050
0.68/0.77	o 42026
0.68/0.78	o 41996
0.68/0.78	o 41992
0.78/0.80	o 41928
0.78/0.81	o 41906
0.78/0.82	o 41897
0.78/0.83	o 41873
0.78/0.84	o 41855
0.78/0.84	o 41844
0.78/0.85	o 41825
0.78/0.86	o 41805
0.78/0.86	o 41718
0.78/0.87	o 41650
0.78/0.88	o 41598
0.78/0.89	o 41596
0.88/0.90	o 41593
0.88/0.91	o 41590
0.88/0.92	o 41548
0.88/0.94	o 41537
0.88/0.94	o 41524
0.88/0.95	o 41471
0.88/0.96	o 41465
0.88/0.96	o 41463
0.88/0.97	o 41460
0.98/1.00	o 41458
0.98/1.01	o 41445
0.98/1.01	o 41415
0.98/1.01	o 41402
0.98/1.02	o 41401
0.98/1.05	o 41399
0.98/1.06	o 41396
0.98/1.08	o 41348
0.98/1.09	o 41320
0.98/1.10	o 41288
1.09/1.11	o 41286
1.09/1.12	o 41264
1.09/1.14	o 41253
1.09/1.14	o 41240
1.09/1.15	o 41210
1.09/1.16	o 41206
1.09/1.16	o 41204
1.18/1.24	o 41202
1.18/1.24	o 41199
1.38/1.40	o 41194
1.38/1.41	o 41188
1.38/1.41	o 41183
1.38/1.43	o 41167
1.48/1.51	o 41156
1.48/1.52	o 41150
1.48/1.52	o 41145
1.48/1.54	o 41108
1.48/1.55	o 41030
1.48/1.57	o 40978
1.58/1.60	o 40940
1.58/1.60	o 40937
1.58/1.61	o 40907
1.58/1.62	o 40903
1.58/1.62	o 40899
1.58/1.62	o 40896
1.58/1.63	o 40874
1.58/1.63	o 40854
1.58/1.64	o 40778
1.58/1.66	o 40755
1.58/1.68	o 40751
1.58/1.69	o 40727
1.58/1.69	o 40713
1.67/1.71	o 40706
1.67/1.71	o 40700
1.67/1.72	o 40668
1.67/1.74	o 40621
1.67/1.75	o 40604
1.67/1.76	o 40555
1.67/1.79	o 40549
1.77/1.80	o 40545
1.77/1.85	o 40535
1.77/1.89	o 40501
1.87/1.92	o 40498
1.87/1.94	o 40425
1.87/1.96	o 40388
1.87/1.97	o 40357
1.87/1.97	o 40344
1.87/2.00	o 40262
1.99/2.02	o 40177
1.99/2.03	o 40137
1.99/2.10	o 40065
2.27/2.31	o 40056
2.27/2.32	o 40043
2.27/2.33	o 40041
2.27/2.38	o 40025
2.37/2.41	o 40020
2.37/2.45	o 40004
2.37/2.46	o 39947
2.37/2.47	o 39943
2.47/2.53	o 39870
2.67/2.71	o 39866
2.67/2.72	o 39850
2.67/2.75	o 39816
2.67/2.77	o 39813
2.77/2.80	o 39756
2.77/2.86	o 39728
2.87/2.94	o 39698
2.98/3.09	o 39694
3.08/3.10	o 39676
3.08/3.14	o 39663
3.18/3.25	o 39601
3.18/3.26	o 39597
3.37/3.41	o 39582
3.37/3.41	o 39577
3.37/3.44	o 39567
3.37/3.48	o 39563
3.37/3.49	o 39552
3.47/3.57	o 39500
3.57/3.67	o 39484
3.57/3.68	o 39468
3.57/3.68	o 39451
3.67/3.76	o 39411
3.77/3.87	o 39410
3.77/3.88	o 39379
3.77/3.88	o 39366
3.87/3.95	o 39358
3.87/3.95	o 39300
3.97/4.06	o 39297
3.97/4.09	o 39293
3.97/4.09	o 39273
4.07/4.14	o 39231
4.17/4.22	o 39172
4.27/4.35	o 39154
4.27/4.36	o 39138
4.27/4.37	o 39125
4.27/4.40	o 39086
4.47/4.50	o 39015
4.56/4.60	o 39005
4.56/4.60	o 38989
4.56/4.63	o 38980
4.56/4.64	o 38972
4.56/4.64	o 38912
4.56/4.68	o 38899
4.67/4.73	o 38893
4.67/4.74	o 38883
4.67/4.74	o 38870
4.67/4.76	o 38830
4.77/4.81	o 38806
4.77/4.81	o 38762
4.77/4.88	o 38755
4.87/4.90	o 38735
4.87/4.91	o 38723
4.87/4.91	o 38673
4.87/4.99	o 38669
4.98/5.01	o 38668
4.98/5.02	o 38643
4.98/5.02	o 38624
4.98/5.06	o 38604
4.98/5.06	o 38591
5.08/5.12	o 38518
5.08/5.17	o 38500
5.17/5.20	o 38486
5.17/5.23	o 38473
5.17/5.28	o 38410
5.27/5.31	o 38372
5.27/5.37	o 38328
5.37/5.42	o 38322
6.16/6.20	o 38313
6.16/6.20	o 38305
6.16/6.26	o 38301
6.16/6.26	o 38275
6.16/6.26	o 38237
6.26/6.34	o 38193
6.26/6.34	o 38185
6.36/6.40	o 38184
6.36/6.40	o 38163
6.36/6.41	o 38125
6.36/6.47	o 38118
6.46/6.51	o 38052
6.46/6.59	o 37960
6.56/6.60	o 37944
6.56/6.66	o 37919
6.56/6.69	o 37910
6.66/6.72	o 37905
6.66/6.73	o 37866
6.66/6.73	o 37857
6.66/6.78	o 37772
6.76/6.84	o 37769
6.76/6.85	o 37717
6.76/6.89	o 37711
6.86/6.90	o 37703
6.86/6.93	o 37635
6.86/6.98	o 37596
6.86/7.00	o 37595
6.97/7.04	o 37587
6.97/7.05	o 37582
6.97/7.07	o 37581
6.97/7.08	o 37579
7.07/7.10	o 37565
7.07/7.11	o 37560
7.07/7.13	o 37542
7.07/7.14	o 37530
7.07/7.15	o 37517
7.16/7.24	o 37514
7.16/7.24	o 37510
7.16/7.25	o 37505
7.26/7.31	o 37489
7.26/7.32	o 37467
7.26/7.33	o 37465
7.26/7.34	o 37442
7.46/7.50	o 37405
7.56/7.65	o 37394
7.56/7.65	o 37388
7.56/7.66	o 37368
7.66/7.77	o 37345
7.86/7.95	o 37310
7.86/7.95	o 37304
7.86/7.98	o 37281
8.06/8.15	o 37213
8.15/8.29	o 37206
8.15/8.29	o 37200
8.25/8.35	o 37193
8.25/8.36	o 37173
8.25/8.36	o 37160
8.45/8.55	o 37145
8.55/8.65	o 37142
8.55/8.65	o 37136
8.55/8.67	o 37099
8.65/8.74	o 37094
8.65/8.79	o 37014
8.75/8.89	o 36964
8.85/8.98	o 36929
8.85/8.98	o 36889
8.96/9.07	o 36839
9.06/9.18	o 36836
9.06/9.19	o 36831
9.15/9.26	o 36816
9.15/9.27	o 36789
9.15/9.27	o 36776
9.35/9.40	o 36765
9.35/9.41	o 36753
9.35/9.41	o 36716
9.35/9.43	o 36696
9.45/9.55	o 36623
9.56/9.68	o 36620
9.66/9.72	o 36605
9.66/9.73	o 36578
9.66/9.77	o 36565
9.76/9.82	o 36524
9.96/10.02	o 36517
9.96/10.02	o 36513
9.96/10.03	o 36500
10.06/10.14	o 36441
10.15/10.20	o 36392
10.25/10.33	o 36385
10.25/10.34	o 36355
10.35/10.48	o 36354
10.45/10.51	o 36346
10.45/10.54	o 36278
10.55/10.66	o 36266
10.55/10.66	o 36236
10.75/10.80	o 36214
10.75/10.81	o 36201
10.85/10.98	o 36180
10.85/10.98	o 36160
10.85/10.99	o 36147
10.85/10.99	o 36139
10.95/11.08	o 36131
11.05/11.12	o 36115
11.05/11.19	o 36109
11.14/11.21	o 36101
11.14/11.29	o 36033
11.24/11.34	o 36025
11.24/11.35	o 36012
11.34/11.45	o 35987
11.44/11.51	o 35965
11.44/11.51	o 35958
11.54/11.63	o 35937
11.64/11.75	o 35918
11.74/11.80	o 35835
11.74/11.89	o 35789
11.84/11.98	o 35785
11.84/11.99	o 35777
11.95/12.04	o 35709
12.05/12.15	o 35691
12.05/12.16	o 35678
12.15/12.24	o 35592
12.15/12.29	o 35579
12.25/12.30	o 35564
12.25/12.30	o 35536
12.25/12.39	o 35530
12.25/12.39	o 35526
12.25/12.39	o 35511
12.35/12.40	o 35506
12.35/12.40	o 35494
12.35/12.40	o 35481
12.35/12.45	o 35480
12.35/12.46	o 35470
12.44/12.51	o 35448
12.44/12.52	o 35430
12.44/12.52	o 35423
12.54/12.61	o 35401
12.54/12.63	o 35359
12.64/12.70	o 35329
12.74/12.81	o 35320
12.74/12.81	o 35308
12.74/12.85	o 35243
12.84/12.95	o 35233
12.84/12.96	o 35203
12.84/12.96	o 35170
12.95/13.06	o 35153
12.95/13.06	o 35140
13.05/13.11	o 35123
13.05/13.12	o 35096
13.05/13.12	o 35088
13.14/13.22	o 35086
13.14/13.23	o 35014
13.24/13.31	o 34993
13.34/13.42	o 34989
13.34/13.44	o 34947
13.34/13.49	o 34861
13.44/13.50	o 34858
13.44/13.56	o 34843
13.53/13.64	o 34841
13.53/13.65	o 34801
13.64/13.73	o 34773
13.74/13.80	o 34763
13.74/13.82	o 34687
13.74/13.83	o 34686
13.84/13.93	o 34652
13.84/13.98	o 34617
13.95/14.04	o 34569
13.95/14.05	o 34556
13.95/14.05	o 34538
14.04/14.15	o 34529
14.14/14.21	o 34492
14.14/14.24	o 34433
14.24/14.32	o 34425
14.24/14.33	o 34387
14.24/14.35	o 34347
14.34/14.42	o 34306
14.44/14.53	o 34285
14.44/14.55	o 34248
14.54/14.64	o 34235
14.54/14.65	o 34165
14.63/14.72	o 34151
14.63/14.72	o 34146
14.63/14.75	o 34131
14.63/14.75	o 34104
14.63/14.76	o 34091
14.73/14.82	o 34054
14.73/14.83	o 34050
14.73/14.84	o 34023
14.73/14.84	o 34015
14.73/14.85	o 34004
14.83/14.91	o 33998
14.83/14.93	o 33994
14.83/14.94	o 33985
14.83/14.95	o 33931
14.83/14.96	o 33920
14.94/15.02	o 33918
14.94/15.03	o 33917
14.94/15.03	o 33907
14.94/15.09	o 33906
14.94/15.09	o 33893
15.04/15.12	o 33873
15.04/15.16	o 33871
15.04/15.17	o 33863
15.13/15.21	o 33795
15.13/15.27	o 33784
15.13/15.28	o 33757
15.13/15.28	o 33744
15.23/15.32	o 33704
15.33/15.41	o 33679
15.33/15.43	o 33664
15.33/15.43	o 33637
15.33/15.43	o 33624
15.33/15.48	o 33608
15.44/15.52	o 33603
15.44/15.55	o 33601
15.44/15.56	o 33588
15.44/15.59	o 33515
15.53/15.60	o 33509
15.53/15.61	o 33506
15.53/15.66	o 33488
15.53/15.66	o 33475
15.63/15.72	o 33415
15.63/15.78	o 33405
15.63/15.79	o 33392
15.73/15.81	o 33377
15.73/15.82	o 33359
15.73/15.89	o 33298
15.83/15.90	o 33280
15.83/15.90	o 33269
15.83/15.91	o 33254
15.83/15.91	o 33251
15.83/15.92	o 33233
15.83/15.92	o 33226
15.83/16.00	o 33197
15.94/16.00	o 33193
15.94/16.01	o 33180
15.94/16.04	o 33166
15.94/16.04	o 33158
15.94/16.05	o 33145
15.94/16.05	o 33141
15.94/16.06	o 33140
15.94/16.06	o 33130
15.94/16.06	o 33106
16.04/16.11	o 33103
16.04/16.15	o 33091
16.04/16.15	o 33083
16.04/16.17	o 33066
16.04/16.18	o 33053
16.04/16.19	o 33015
16.13/16.26	o 33011
16.13/16.27	o 32992
16.13/16.27	o 32986
16.13/16.28	o 32983
16.13/16.28	o 32976
16.13/16.29	o 32965
16.23/16.35	o 32962
16.23/16.36	o 32961
16.23/16.37	o 32932
16.33/16.40	o 32928
16.33/16.42	o 32919
16.33/16.47	o 32894
16.33/16.48	o 32862
16.33/16.49	o 32857
16.43/16.56	o 32843
16.53/16.60	o 32805
16.53/16.62	o 32768
16.62/16.70	o 32695
16.62/16.76	o 32690
16.62/16.77	o 32680
16.62/16.77	o 32672
16.72/16.83	o 32659
16.72/16.87	o 32596
16.82/16.93	o 32581
16.82/16.94	o 32554
16.82/16.95	o 32523
16.82/16.98	o 32512
16.94/17.00	o 32475
16.94/17.01	o 32471
16.94/17.05	o 32458
16.94/17.10	o 32424
17.03/17.11	o 32391
17.03/17.18	o 32389
17.03/17.19	o 32361
17.13/17.20	o 32348
17.13/17.25	o 32347
17.13/17.25	o 32328
17.13/17.26	o 32309
17.23/17.31	o 32234
17.23/17.38	o 32212
17.33/17.42	o 32185
17.33/17.44	o 32145
17.33/17.44	o 32133
17.43/17.53	o 32130
17.43/17.54	o 32088
17.52/17.60	o 32014
17.52/17.64	o 31978
17.62/17.73	o 31971
17.62/17.78	o 31875
17.62/17.78	o 31868
17.72/17.85	o 31818
17.82/17.93	o 31817
17.82/17.93	o 31804
17.82/17.95	o 31787
17.82/17.96	o 31780
17.82/17.98	o 31753
17.93/18.01	o 31735
17.93/18.02	o 31718
17.93/18.03	o 31687
17.93/18.04	o 31674
18.03/18.10	o 31610
18.03/18.11	o 31595
18.03/18.16	o 31583
18.03/18.16	o 31580
18.03/18.19	o 31569
18.12/18.20	o 31529
18.12/18.25	o 31478
18.12/18.25	o 31474
18.12/18.27	o 31437
18.22/18.31	o 31419
18.22/18.32	o 31415
18.22/18.32	o 31413
18.22/18.37	o 31402
18.22/18.38	o 31389
18.32/18.41	o 31344
18.32/18.41	o 31315
18.32/18.42	o 31296
18.32/18.47	o 31270
18.42/18.51	o 31232
18.42/18.54	o 31223
18.42/18.56	o 31213
18.42/18.56	o 31183
18.42/18.59	o 31116
18.52/18.61	o 31109
18.52/18.65	o 31069
18.62/18.70	o 31050
18.62/18.71	o 31044
18.62/18.71	o 31037
18.62/18.76	o 31032
18.72/18.82	o 31019
18.72/18.85	o 31018
18.72/18.86	o 31013
18.72/18.87	o 30998
18.72/18.88	o 30971
18.72/18.88	o 30958
18.82/18.90	o 30951
18.82/18.91	o 30935
18.82/18.92	o 30932
18.82/18.95	o 30924
18.82/18.95	o 30913
18.82/18.96	o 30896
18.82/18.96	o 30892
18.82/18.98	o 30855
19.03/19.17	o 30845
19.03/19.19	o 30841
19.12/19.20	o 30801
19.12/19.23	o 30764
30.89/31.07	o 30763
30.89/31.07	o 30761
30.89/31.08	o 30740
30.89/31.09	o 30735
30.99/31.10	o 30655
30.99/31.12	o 30608
30.99/31.16	o 30596
30.99/31.18	o 30568
30.99/31.19	o 30567
31.08/31.23	o 30528
31.18/31.35	o 30527
31.18/31.36	o 30456
31.28/31.40	o 30361
31.28/31.41	o 30360
31.28/31.43	o 30357
31.38/31.50	o 30302
31.38/31.56	o 30274
31.38/31.58	o 30230
31.48/31.62	o 30192
31.48/31.66	o 30170
31.58/31.73	o 30168
31.58/31.77	o 30078
31.58/31.79	o 30067
31.68/31.81	o 30051
31.68/31.82	o 30045
31.68/31.84	o 29976
31.68/31.85	o 29972
31.68/31.87	o 29915
31.78/31.95	o 29913
31.78/31.97	o 29909
31.88/32.06	o 29848
31.88/32.09	o 29838
31.88/32.10	o 29796
31.98/32.10	o 29773
31.98/32.16	o 29710
32.07/32.25	o 29675
32.07/32.28	o 29635
32.17/32.33	o 29582
32.17/32.36	o 29541
32.27/32.40	o 29527
32.27/32.40	o 29513
32.27/32.41	o 29501
32.27/32.46	o 29471
32.27/32.47	o 29466
32.37/32.52	o 29431
32.37/32.53	o 29402
32.37/32.54	o 29387
32.47/32.60	o 29351
32.47/32.60	o 29334
32.47/32.66	o 29210
32.57/32.71	o 29169
32.57/32.74	o 29151
32.57/32.75	o 29148
32.67/32.80	o 29100
32.67/32.82	o 29054
32.67/32.83	o 29043
32.67/32.87	o 28986
32.77/32.98	o 28965
32.88/33.02	o 28953
32.88/33.03	o 28949
32.88/33.06	o 28936
32.88/33.10	o 28923
32.98/33.10	o 28891
32.98/33.11	o 28867
32.98/33.15	o 28863
32.98/33.15	o 28861
32.98/33.16	o 28828
32.98/33.16	o 28809
33.07/33.20	o 28807
33.07/33.21	o 28790
33.07/33.27	o 28749
33.17/33.33	o 28737
33.17/33.33	o 28734
33.17/33.35	o 28723
33.17/33.39	o 28715
33.17/33.39	o 28703
33.27/33.40	o 28697
33.27/33.44	o 28659
33.27/33.47	o 28639
33.27/33.47	o 28618
33.37/33.54	o 28536
33.57/33.73	o 28520
33.57/33.73	o 28489
33.57/33.76	o 28453
33.57/33.77	o 28429
33.57/33.77	o 28425
33.67/33.83	o 28413
33.67/33.84	o 28411
33.67/33.84	o 28408
33.67/33.85	o 28406
33.67/33.85	o 28403
33.67/33.86	o 28401
33.67/33.88	o 28335
33.77/33.94	o 28281
33.77/33.97	o 28234
33.77/33.98	o 28207
33.87/34.03	o 28156
33.87/34.09	o 28152
33.87/34.10	o 28100
33.97/34.14	o 28074
33.97/34.14	o 28061
33.97/34.15	o 28057
33.97/34.18	o 28025
33.97/34.18	o 28019
34.07/34.25	o 28009
34.16/34.30	o 27949
34.16/34.38	o 27941
34.16/34.39	o 27921
34.26/34.41	o 27846
34.26/34.49	o 27790
34.36/34.54	o 27764
34.36/34.54	o 27744
34.36/34.55	o 27705
34.46/34.63	o 27677
34.46/34.64	o 27639
34.46/34.64	o 27620
34.46/34.65	o 27616
34.46/34.66	o 27614
34.46/34.66	o 27595
34.56/34.71	o 27509
34.56/34.74	o 27493
34.56/34.75	o 27491
34.56/34.76	o 27483
34.56/34.76	o 27481
34.56/34.77	o 27451
34.66/34.82	o 27435
34.66/34.83	o 27371
34.66/34.84	o 27368
34.76/34.92	o 27337
34.76/34.93	o 27329
34.76/34.97	o 27310
34.76/34.97	o 27309
34.76/34.98	o 27302
34.76/34.98	o 27299
34.87/35.04	o 27298
34.87/35.04	o 27285
34.87/35.05	o 27282
34.87/35.05	o 27275
34.87/35.06	o 27271
34.97/35.13	o 27267
34.97/35.14	o 27250
34.97/35.15	o 27242
34.97/35.15	o 27227
34.97/35.20	o 27223
35.06/35.20	o 27220
35.06/35.21	o 27215
35.06/35.21	o 27212
35.06/35.24	o 27208
35.06/35.24	o 27207
35.06/35.25	o 27170
35.06/35.28	o 27111
35.16/35.35	o 27074
35.16/35.36	o 27034
35.16/35.39	o 27015
35.26/35.40	o 27008
35.26/35.40	o 26973
35.26/35.42	o 26970
35.26/35.45	o 26916
35.26/35.49	o 26887
35.36/35.52	o 26873
35.36/35.53	o 26817
35.36/35.56	o 26780
35.46/35.62	o 26778
35.46/35.63	o 26763
35.46/35.68	o 26761
35.46/35.69	o 26753
35.56/35.72	o 26741
35.56/35.75	o 26724
35.56/35.76	o 26715
35.66/35.80	o 26699
35.66/35.80	o 26696
35.66/35.81	o 26695
35.66/35.84	o 26659
35.76/35.93	o 26629
35.76/35.94	o 26578
35.76/35.95	o 26571
35.76/35.96	o 26568
35.86/36.01	o 26559
35.86/36.02	o 26556
35.86/36.03	o 26472
35.86/36.04	o 26434
35.86/36.08	o 26402
35.86/36.10	o 26351
35.96/36.10	o 26316
35.96/36.12	o 26313
35.96/36.15	o 26291
35.96/36.15	o 26278
35.96/36.16	o 26267
35.96/36.16	o 26227
36.06/36.21	o 26217
36.06/36.22	o 26204
36.06/36.24	o 26184
36.06/36.26	o 26177
36.06/36.27	o 26173
36.06/36.28	o 26170
36.06/36.28	o 26152
36.06/36.29	o 26128
36.16/36.31	o 26089
36.16/36.33	o 26086
36.16/36.33	o 26081
36.16/36.34	o 26079
36.16/36.34	o 26076
36.16/36.35	o 26074
36.16/36.36	o 26072
36.16/36.37	o 26065
36.16/36.37	o 26058
36.16/36.38	o 26033
36.26/36.40	o 26029
36.26/36.41	o 25967
36.26/36.42	o 25965
36.26/36.42	o 25963
36.26/36.42	o 25962
36.26/36.43	o 25952
36.26/36.45	o 25911
36.26/36.46	o 25910
36.26/36.48	o 25894
36.26/36.48	o 25824
36.36/36.51	o 25822
36.36/36.52	o 25761
36.36/36.56	o 25750
36.36/36.59	o 25735
36.46/36.62	o 25706
36.46/36.65	o 25676
36.46/36.66	o 25665
36.46/36.68	o 25647
36.46/36.69	o 25580
36.55/36.72	o 25575
36.55/36.73	o 25514
36.55/36.75	o 25467
36.55/36.78	o 25422
36.65/36.80	o 25352
36.65/36.82	o 25283
36.65/36.86	o 25277
36.65/36.88	o 25236
36.75/36.90	o 25196
36.75/36.94	o 25167
36.75/36.94	o 25106
36.75/36.98	o 25099
36.75/36.99	o 25096
36.75/37.00	o 25066
36.86/37.02	o 25051
36.86/37.03	o 25048
36.86/37.04	o 25041
36.86/37.04	o 25016
36.86/37.07	o 24980
36.86/37.09	o 24971
36.96/37.10	o 24958
36.96/37.13	o 24901
36.96/37.16	o 24900
36.96/37.17	o 24898
36.96/37.18	o 24886
36.96/37.19	o 24857
37.05/37.20	o 24856
37.05/37.21	o 24854
37.05/37.21	o 24852
37.05/37.22	o 24841
37.05/37.24	o 24808
37.05/37.24	o 24758
37.05/37.27	o 24671
37.15/37.31	o 24662
37.15/37.32	o 24659
37.15/37.32	o 24635
37.15/37.33	o 24630
37.15/37.35	o 24599
37.15/37.36	o 24586
37.15/37.38	o 24563
37.15/37.39	o 24553
37.25/37.40	o 24488
37.25/37.40	o 24469
37.25/37.43	o 24458
37.25/37.44	o 24438
37.25/37.44	o 24437
37.25/37.46	o 24364
37.25/37.48	o 24363
37.25/37.49	o 24322
37.35/37.54	o 24268
37.35/37.57	o 24265
37.45/37.60	o 24249
37.45/37.62	o 24221
37.45/37.63	o 24205
37.45/37.65	o 24145
37.45/37.65	o 24133
37.45/37.65	o 24129
37.45/37.68	o 24087
37.45/37.69	o 24055
37.55/37.70	o 24042
37.55/37.73	o 23985
37.55/37.75	o 23956
37.55/37.76	o 23942
37.55/37.76	o 23938
37.65/37.80	o 23925
37.65/37.82	o 23864
37.65/37.82	o 23846
37.65/37.84	o 23806
37.65/37.85	o 23791
37.65/37.87	o 23770
37.75/37.90	o 23718
37.75/37.91	o 23697
37.75/37.92	o 23693
37.75/37.94	o 23649
37.75/37.94	o 23642
37.75/37.96	o 23591
37.75/37.98	o 23561
37.75/37.98	o 23520
37.75/37.99	o 23491
37.86/38.01	o 23448
37.86/38.01	o 23433
37.86/38.02	o 23396
37.86/38.03	o 23375
37.86/38.05	o 23370
37.86/38.05	o 23368
37.86/38.06	o 23358
37.86/38.07	o 23356
37.86/38.07	o 23354
37.86/38.07	o 23342
37.86/38.08	o 23338
37.95/38.10	o 23275
37.95/38.13	o 23238
37.95/38.14	o 23220
37.95/38.15	o 23219
37.95/38.16	o 23186
37.95/38.17	o 23174
37.95/38.18	o 23159
37.95/38.18	o 23152
37.95/38.19	o 23115
38.05/38.23	o 23057
38.05/38.24	o 23040
38.05/38.25	o 22992
38.05/38.27	o 22944
38.05/38.28	o 22942
38.05/38.28	o 22929
38.15/38.30	o 22875
38.15/38.32	o 22821
38.15/38.35	o 22807
38.15/38.36	o 22791
38.15/38.36	o 22788
38.15/38.37	o 22783
38.15/38.37	o 22772
38.15/38.38	o 22752
38.25/38.40	o 22751
38.25/38.40	o 22741
38.25/38.41	o 22704
38.25/38.42	o 22687
38.25/38.42	o 22549
38.25/38.44	o 22469
38.25/38.46	o 22466
38.25/38.47	o 22429
38.25/38.48	o 22420
38.25/38.49	o 22401
38.35/38.50	o 22320
38.35/38.52	o 22290
38.35/38.54	o 22262
38.35/38.56	o 22236
38.35/38.57	o 22218
38.35/38.57	o 22217
38.35/38.58	o 22186
38.35/38.59	o 22148
38.45/38.61	o 22074
38.45/38.63	o 22048
38.45/38.64	o 22011
38.45/38.64	o 22005
38.45/38.66	o 21942
38.45/38.68	o 21894
38.55/38.70	o 21826
38.55/38.71	o 21819
38.55/38.72	o 21813
38.55/38.78	o 21765
38.65/38.85	o 21752
38.65/38.85	o 21744
38.65/38.86	o 21738
38.65/38.86	o 21734
38.65/38.89	o 21729
38.75/38.92	o 21713
38.75/38.93	o 21636
38.75/38.95	o 21629
38.75/38.99	o 21569
38.85/39.02	o 21527
38.85/39.03	o 21520
38.85/39.07	o 21516
38.85/39.09	o 21482
38.85/39.10	o 21472
38.85/39.10	o 21460
38.95/39.15	o 21459
38.95/39.15	o 21446
38.95/39.16	o 21431
38.95/39.19	o 21361
39.04/39.23	o 21336
39.04/39.27	o 21329
39.04/39.28	o 21304
39.04/39.28	o 21298
39.14/39.34	o 21284
39.14/39.35	o 21253
39.14/39.36	o 21246
39.24/39.41	o 21201
39.24/39.45	o 21196
39.24/39.45	o 21192
39.24/39.46	o 21182
39.24/39.49	o 21100
39.34/39.52	o 21037
39.34/39.53	o 21030
39.34/39.58	o 21029
39.34/39.59	o 20987
39.44/39.60	o 20971
39.44/39.62	o 20962
39.44/39.62	o 20899
39.44/39.63	o 20892
39.44/39.65	o 20891
39.44/39.67	o 20813
39.44/39.68	o 20804
39.54/39.70	o 20741
39.54/39.71	o 20734
39.54/39.72	o 20728
39.54/39.76	o 20709
39.54/39.76	o 20646
39.54/39.77	o 20639
39.64/39.82	o 20592
39.64/39.84	o 20553
39.64/39.84	o 20530
39.64/39.85	o 20517
39.64/39.85	o 20509
39.64/39.86	o 20502
39.64/39.88	o 20484
39.64/39.89	o 20481
39.64/39.89	o 20474
39.74/39.94	o 20458
39.74/39.95	o 20427
39.74/39.95	o 20413
39.74/39.97	o 20405
39.74/39.98	o 20398
39.74/39.99	o 20348
39.85/40.01	o 20285
39.85/40.02	o 20278
39.85/40.03	o 20215
39.85/40.04	o 20208
39.85/40.08	o 20165
39.85/40.08	o 20158
39.95/40.14	o 20104
39.95/40.15	o 20087
39.95/40.16	o 20071
39.95/40.19	o 20067
40.04/40.21	o 20015
40.04/40.22	o 19902
40.04/40.24	o 19895
40.04/40.27	o 19819
40.14/40.32	o 19808
40.14/40.33	o 19801
40.14/40.36	o 19800
40.14/40.37	o 19754
40.24/40.40	o 19738
40.24/40.41	o 19724
40.24/40.43	o 19722
40.24/40.44	o 19715
40.24/40.45	o 19699
40.24/40.46	o 19636
40.24/40.46	o 19629
40.34/40.51	o 19608
40.34/40.54	o 19604
40.34/40.55	o 19595
40.34/40.56	o 19558
40.34/40.57	o 19552
40.34/40.59	o 19534
40.44/40.66	o 19510
40.44/40.67	o 19494
40.44/40.68	o 19473
40.54/40.73	o 19453
40.54/40.75	o 19436
40.54/40.79	o 19395
40.64/40.80	o 19393
40.64/40.80	o 19392
40.64/40.81	o 19385
40.64/40.82	o 19298
40.64/40.88	o 19235
40.73/40.91	o 19217
40.73/40.91	o 19202
40.73/40.92	o 19201
40.73/40.92	o 19172
40.73/40.94	o 19171
40.73/40.94	o 19170
40.73/40.97	o 19099
40.84/41.01	o 19074
40.84/41.01	o 19028
40.84/41.06	o 19027
40.84/41.07	o 18988
40.94/41.11	o 18965
40.94/41.14	o 18963
40.94/41.15	o 18938
41.03/41.21	o 18925
41.03/41.21	o 18913
41.03/41.27	o 18873
41.03/41.28	o 18842
41.13/41.32	o 18834
41.13/41.34	o 18782
41.13/41.36	o 18771
41.13/41.37	o 18747
41.13/41.38	o 18746
41.13/41.38	o 18707
41.23/41.40	o 18700
41.23/41.42	o 18664
41.23/41.42	o 18643
41.23/41.43	o 18606
41.23/41.45	o 18576
41.23/41.46	o 18572
41.23/41.47	o 18565
41.23/41.49	o 18533
41.33/41.51	o 18514
41.33/41.52	o 18513
41.33/41.53	o 18467
41.33/41.54	o 18463
41.33/41.57	o 18446
41.33/41.57	o 18409
41.33/41.59	o 18344
41.43/41.61	o 18290
41.43/41.63	o 18288
41.43/41.64	o 18276
41.43/41.65	o 18273
41.43/41.65	o 18269
41.43/41.66	o 18252
41.43/41.66	o 18251
41.43/41.67	o 18212
41.53/41.70	o 18205
41.53/41.71	o 18185
41.53/41.72	o 18157
41.53/41.72	o 18153
41.53/41.72	o 18152
41.53/41.73	o 18106
41.53/41.74	o 18091
41.53/41.75	o 18088
41.53/41.75	o 18083
41.53/41.76	o 18079
41.53/41.78	o 18053
41.63/41.80	o 18048
41.63/41.80	o 18041
41.63/41.82	o 18036
41.63/41.83	o 18033
41.63/41.83	o 18029
41.63/41.84	o 18012
41.63/41.84	o 18005
41.63/41.86	o 18003
41.63/41.89	o 17999
41.73/41.90	o 17981
41.73/41.91	o 17967
41.73/41.92	o 17960
41.73/41.92	o 17959
41.73/41.93	o 17957
41.73/41.94	o 17878
41.73/41.96	o 17851
41.73/41.98	o 17795
41.73/41.99	o 17785
41.73/42.00	o 17781
41.83/42.00	o 17769
41.83/42.01	o 17760
41.83/42.02	o 17756
41.83/42.05	o 17743
41.83/42.05	o 17706
41.83/42.06	o 17704
41.83/42.06	o 17694
41.83/42.07	o 17654
41.83/42.08	o 17649
41.83/42.09	o 17625
41.94/42.11	o 17599
41.94/42.12	o 17582
41.94/42.14	o 17507
41.94/42.14	o 17477
41.94/42.15	o 17476
41.94/42.16	o 17464
41.94/42.16	o 17462
41.94/42.18	o 17402
41.94/42.18	o 17373
42.04/42.20	o 17316
42.04/42.21	o 17311
42.04/42.23	o 17275
42.04/42.23	o 17238
42.04/42.24	o 17226
42.04/42.25	o 17197
42.04/42.26	o 17187
42.04/42.28	o 17172
42.04/42.29	o 17168
42.14/42.30	o 17149
42.14/42.31	o 17132
42.14/42.32	o 17120
42.14/42.32	o 17107
42.14/42.33	o 17097
42.14/42.34	o 17095
42.14/42.35	o 17093
42.14/42.37	o 17060
42.14/42.37	o 17059
42.14/42.38	o 16998
42.23/42.40	o 16909
42.23/42.42	o 16852
42.23/42.44	o 16821
42.23/42.44	o 16816
42.23/42.45	o 16750
42.23/42.46	o 16735
42.23/42.47	o 16661
42.23/42.49	o 16583
42.33/42.50	o 16571
42.33/42.51	o 16569
42.33/42.51	o 16567
42.33/42.52	o 16460
42.33/42.54	o 16446
42.33/42.55	o 16374
42.33/42.58	o 16368
42.33/42.59	o 16303
42.43/42.60	o 16302
42.43/42.61	o 16288
42.43/42.61	o 16269
42.43/42.62	o 16233
42.43/42.63	o 16230
42.43/42.64	o 16213
42.43/42.64	o 16211
42.43/42.66	o 16204
42.43/42.67	o 16143
42.43/42.69	o 16115
42.53/42.71	o 16050
42.53/42.72	o 16030
42.53/42.72	o 16027
42.53/42.74	o 16015
42.53/42.75	o 16003
42.53/42.75	o 15966
42.53/42.76	o 15950
42.53/42.77	o 15933
42.53/42.78	o 15880
42.63/42.81	o 15824
42.63/42.83	o 15810
42.63/42.83	o 15773
42.63/42.85	o 15772
42.63/42.86	o 15764
42.63/42.87	o 15757
42.63/42.89	o 15682
42.73/42.91	o 15679
42.73/42.91	o 15642
42.73/42.92	o 15623
42.73/42.93	o 15540
42.73/42.94	o 15532
42.73/42.95	o 15460
42.73/42.96	o 15427
42.73/42.98	o 15340
42.73/42.99	o 15338
42.73/43.00	o 15301
42.84/43.01	o 15250
42.84/43.03	o 15241
42.84/43.05	o 15235
42.84/43.05	o 15213
42.84/43.06	o 15207
42.84/43.06	o 15195
42.84/43.07	o 15186
42.84/43.08	o 15184
42.84/43.09	o 15181
42.84/43.09	o 15175
42.93/43.11	o 15147
42.93/43.13	o 15130
42.93/43.14	o 15108
42.93/43.15	o 15088
42.93/43.17	o 15015
42.93/43.17	o 15009
42.93/43.18	o 14972
43.03/43.20	o 14969
43.03/43.21	o 14967
43.03/43.21	o 14930
43.03/43.22	o 14916
43.03/43.23	o 14874
43.03/43.25	o 14807
43.03/43.26	o 14789
43.03/43.26	o 14785
43.03/43.28	o 14748
43.03/43.29	o 14730
43.13/43.30	o 14723
43.13/43.31	o 14687
43.13/43.31	o 14596
43.13/43.33	o 14594
43.13/43.34	o 14592
43.13/43.35	o 14583
43.13/43.35	o 14566
43.13/43.35	o 14529
43.13/43.36	o 14512
43.13/43.37	o 14475
43.13/43.38	o 14454
43.23/43.40	o 14422
43.23/43.41	o 14388
43.23/43.42	o 14386
43.23/43.42	o 14378
43.23/43.44	o 14323
43.23/43.45	o 14309
43.23/43.46	o 14297
43.23/43.47	o 14261
43.23/43.48	o 14249
43.23/43.48	o 14236
43.23/43.49	o 14223
43.33/43.51	o 14154
43.33/43.52	o 14137
43.33/43.52	o 14114
43.33/43.53	o 14110
43.33/43.54	o 14035
43.33/43.55	o 14032
43.33/43.57	o 14011
43.33/43.57	o 14002
43.33/43.58	o 13997
43.33/43.58	o 13995
43.33/43.59	o 13991
43.43/43.60	o 13979
43.43/43.61	o 13901
43.43/43.63	o 13877
43.43/43.64	o 13844
43.43/43.64	o 13843
43.43/43.65	o 13841
43.43/43.65	o 13831
43.43/43.65	o 13830
43.43/43.66	o 13828
43.43/43.67	o 13822
43.43/43.68	o 13821
43.43/43.69	o 13819
43.43/43.69	o 13817
43.52/43.71	o 13805
43.52/43.72	o 13803
43.52/43.73	o 13796
43.52/43.73	o 13792
43.52/43.74	o 13784
43.52/43.74	o 13775
43.52/43.75	o 13773
43.52/43.75	o 13771
43.52/43.75	o 13761
43.52/43.76	o 13713
43.52/43.78	o 13706
43.52/43.78	o 13687
43.52/43.79	o 13681
43.52/43.79	o 13676
43.62/43.80	o 13675
43.62/43.81	o 13663
43.62/43.81	o 13659
43.62/43.81	o 13655
43.62/43.82	o 13647
43.62/43.82	o 13638
43.62/43.84	o 13636
43.62/43.85	o 13632
43.62/43.86	o 13601
43.62/43.87	o 13600
43.62/43.87	o 13599
43.62/43.87	o 13598
43.62/43.89	o 13566
43.72/43.90	o 13528
43.72/43.92	o 13488
43.72/43.92	o 13484
43.72/43.93	o 13467
43.72/43.93	o 13465
43.72/43.93	o 13461
43.72/43.94	o 13456
43.72/43.94	o 13430
43.72/43.95	o 13414
43.72/43.96	o 13397
43.72/43.97	o 13384
43.72/43.97	o 13381
43.72/43.98	o 13375
43.72/43.99	o 13371
43.72/43.99	o 13367
43.72/44.00	o 13358
43.83/44.00	o 13357
43.83/44.02	o 13327
43.83/44.03	o 13268
43.83/44.04	o 13265
43.83/44.04	o 13260
43.83/44.05	o 13257
43.83/44.05	o 13254
43.83/44.05	o 13244
43.83/44.06	o 13241
43.83/44.06	o 13238
43.83/44.07	o 13234
43.83/44.09	o 13202
43.83/44.09	o 13199
43.83/44.09	o 13197
43.93/44.12	o 13177
43.93/44.12	o 13176
43.93/44.13	o 13164
43.93/44.13	o 13144
43.93/44.15	o 13102
43.93/44.15	o 13088
43.93/44.16	o 13083
43.93/44.16	o 13052
43.93/44.17	o 13022
43.93/44.18	o 12980
44.03/44.20	o 12913
44.03/44.22	o 12859
44.03/44.25	o 12838
44.03/44.25	o 12801
44.03/44.27	o 12752
44.03/44.28	o 12713
44.03/44.28	o 12684
44.12/44.30	o 12643
44.12/44.31	o 12633
44.12/44.31	o 12610
44.12/44.32	o 12578
44.12/44.32	o 12571
44.12/44.33	o 12502
44.12/44.34	o 12479
44.12/44.35	o 12456
44.12/44.37	o 12440
44.12/44.38	o 12416
44.12/44.38	o 12397
44.12/44.39	o 12357
44.22/44.40	o 12300
44.22/44.42	o 12287
44.22/44.42	o 12284
44.22/44.43	o 12259
44.22/44.44	o 12175
44.22/44.44	o 12173
44.22/44.46	o 12119
44.22/44.47	o 12094
44.22/44.47	o 12041
44.22/44.49	o 12014
44.22/44.49	o 12000
44.22/44.50	o 11994
44.32/44.50	o 11992
44.32/44.52	o 11987
44.32/44.53	o 11978
44.32/44.54	o 11926
44.32/44.54	o 11925
44.32/44.54	o 11920
44.32/44.55	o 11917
44.32/44.57	o 11855
44.32/44.58	o 11790
44.32/44.59	o 11787
44.32/44.59	o 11786
44.42/44.61	o 11701
44.42/44.63	o 11640
44.42/44.64	o 11549
44.42/44.65	o 11543
44.42/44.65	o 11511
44.42/44.66	o 11510
44.42/44.66	o 11498
44.42/44.68	o 11403
44.42/44.68	o 11388
44.52/44.70	o 11305
44.52/44.72	o 11302
44.52/44.73	o 11233
44.52/44.73	o 11219
44.52/44.74	o 11209
44.52/44.74	o 11199
44.52/44.75	o 11161
44.52/44.77	o 11096
44.52/44.79	o 11079
44.52/44.79	o 11049
44.52/44.79	o 11029
44.63/44.80	o 11016
44.63/44.81	o 10970
44.63/44.83	o 10954
44.63/44.84	o 10950
44.63/44.84	o 10941
44.63/44.84	o 10931
44.63/44.85	o 10887
44.63/44.86	o 10847
44.63/44.86	o 10837
44.63/44.88	o 10791
44.63/44.89	o 10781
44.72/44.91	o 10748
44.72/44.92	o 10730
44.72/44.92	o 10721
44.72/44.94	o 10712
44.72/44.95	o 10658
44.72/44.95	o 10619
44.72/44.97	o 10584
44.72/44.97	o 10527
44.72/44.98	o 10509
44.72/44.98	o 10507
44.72/44.99	o 10491
44.83/45.00	o 10470
44.83/45.01	o 10469
44.83/45.01	o 10460
44.83/45.03	o 10459
44.83/45.03	o 10447
44.83/45.05	o 10396
44.83/45.07	o 10368
44.83/45.07	o 10356
44.83/45.08	o 10331
44.83/45.09	o 10330
44.83/45.09	o 10300
44.93/45.11	o 10219
44.93/45.13	o 10212
44.93/45.14	o 10200
44.93/45.14	o 10199
44.93/45.15	o 10190
44.93/45.15	o 10189
44.93/45.16	o 10177
44.93/45.16	o 10160
44.93/45.18	o 10122
44.93/45.19	o 10100
45.02/45.21	o 10071
45.02/45.21	o 10044
45.02/45.21	o 10032
45.02/45.23	o 9991
45.02/45.24	o 9989
45.02/45.25	o 9979
45.02/45.25	o 9963
45.02/45.26	o 9950
45.02/45.27	o 9881
45.02/45.29	o 9863
45.02/45.30	o 9860
45.12/45.31	o 9859
45.12/45.31	o 9844
45.12/45.32	o 9822
45.22/45.41	o 9819
45.22/45.41	o 9810
45.22/45.42	o 9789
45.22/45.42	o 9754
45.22/45.43	o 9708
45.22/45.43	o 9707
45.22/45.44	o 9698
45.22/45.44	o 9697
45.22/45.45	o 9685
45.22/45.46	o 9677
45.22/45.46	o 9638
45.22/45.47	o 9617
45.22/45.48	o 9539
45.22/45.49	o 9522
45.32/45.50	o 9457
45.32/45.50	o 9430
45.32/45.51	o 9403
45.32/45.52	o 9401
45.32/45.52	o 9364
45.32/45.53	o 9360
45.32/45.53	o 9339
45.32/45.54	o 9315
45.32/45.55	o 9263
45.32/45.55	o 9256
45.32/45.56	o 9231
45.32/45.57	o 9205
45.32/45.57	o 9193
45.32/45.58	o 9174
45.41/45.67	o 9164
45.41/45.67	o 9158
45.41/45.69	o 9084
45.52/45.70	o 9073
45.52/45.71	o 9070
45.52/45.72	o 9062
45.52/45.72	o 9061
45.52/45.73	o 9052
45.52/45.73	o 9051
45.52/45.75	o 9039
45.52/45.77	o 8989
45.52/45.79	o 8982
45.52/45.79	o 8940
45.62/45.80	o 8931
45.62/45.81	o 8930
45.62/45.82	o 8921
45.62/45.83	o 8920
45.62/45.83	o 8908
45.62/45.85	o 8844
45.62/45.85	o 8832
45.62/45.86	o 8781
45.62/45.87	o 8762
45.62/45.89	o 8757
45.72/45.90	o 8744
45.72/45.90	o 8732
45.72/45.91	o 8707
45.72/45.93	o 8676
45.72/45.93	o 8643
45.72/45.94	o 8620
45.72/45.96	o 8616
45.72/45.96	o 8604
45.72/45.96	o 8601
45.72/45.97	o 8584
45.72/45.98	o 8583
45.72/45.99	o 8552
45.82/46.01	o 8499
45.82/46.01	o 8498
45.82/46.02	o 8492
45.82/46.03	o 8426
45.82/46.05	o 8359
45.82/46.06	o 8355
45.82/46.08	o 8354
45.82/46.08	o 8350
45.82/46.09	o 8340
45.82/46.09	o 8339
45.82/46.10	o 8332
45.92/46.10	o 8322
45.92/46.11	o 8308
45.92/46.12	o 8300
45.92/46.13	o 8299
45.92/46.13	o 8290
45.92/46.14	o 8289
45.92/46.14	o 8277
45.92/46.15	o 8273
45.92/46.18	o 8270
45.92/46.19	o 8206
46.01/46.20	o 8136
46.01/46.21	o 8124
46.01/46.24	o 8063
46.01/46.25	o 8053
46.01/46.26	o 7996
46.01/46.27	o 7995
46.01/46.28	o 7986
46.01/46.28	o 7985
46.01/46.28	o 7973
46.01/46.29	o 7887
46.12/46.31	o 7885
46.12/46.32	o 7884
46.12/46.33	o 7873
46.12/46.33	o 7869
46.12/46.33	o 7859
46.12/46.35	o 7857
46.12/46.35	o 7855
46.12/46.38	o 7854
46.12/46.39	o 7849
46.12/46.39	o 7848
46.22/46.40	o 7842
46.22/46.41	o 7838
46.22/46.41	o 7834
46.22/46.42	o 7823
46.22/46.42	o 7821
46.22/46.43	o 7820
46.22/46.43	o 7787
46.22/46.45	o 7750
46.22/46.46	o 7749
46.22/46.47	o 7740
46.22/46.47	o 7739
46.22/46.48	o 7727
46.22/46.49	o 7716
46.32/46.50	o 7648
46.32/46.51	o 7601
46.32/46.53	o 7592
46.32/46.53	o 7569
46.32/46.54	o 7568
46.32/46.54	o 7561
46.32/46.55	o 7541
46.32/46.57	o 7484
46.32/46.57	o 7477
46.32/46.59	o 7440
46.42/46.62	o 7407
46.42/46.63	o 7406
46.42/46.63	o 7398
46.42/46.64	o 7396
46.42/46.64	o 7395
46.42/46.66	o 7388
46.42/46.66	o 7378
46.42/46.67	o 7363
46.42/46.69	o 7349
46.42/46.69	o 7345
46.51/46.70	o 7344
46.51/46.70	o 7337
46.51/46.71	o 7299
46.51/46.71	o 7282
46.51/46.72	o 7274
46.51/46.73	o 7259
46.51/46.73	o 7258
46.51/46.74	o 7256
46.51/46.74	o 7253
46.51/46.75	o 7244
46.51/46.76	o 7213
46.51/46.76	o 7208
46.51/46.78	o 7171
46.51/46.79	o 7140
46.51/46.79	o 7113
46.61/46.80	o 7089
46.61/46.81	o 7085
46.61/46.81	o 7065
46.61/46.82	o 7057
46.61/46.84	o 7030
46.61/46.84	o 7027
46.61/46.86	o 7020
46.61/46.86	o 7015
46.61/46.87	o 7000
46.61/46.87	o 6981
46.61/46.88	o 6977
46.61/46.89	o 6939
46.61/46.89	o 6928
46.71/46.90	o 6925
46.71/46.90	o 6924
46.71/46.91	o 6916
46.71/46.92	o 6911
46.71/46.93	o 6905
46.71/46.94	o 6878
46.71/46.95	o 6865
46.71/46.95	o 6849
46.71/46.96	o 6846
46.71/46.96	o 6845
46.71/46.98	o 6825
46.71/46.99	o 6763
46.71/46.99	o 6752
46.71/47.00	o 6744
46.82/47.00	o 6740
46.82/47.01	o 6731
46.82/47.01	o 6728
46.82/47.02	o 6708
46.82/47.02	o 6705
46.82/47.03	o 6695
46.82/47.03	o 6691
46.82/47.04	o 6675
46.82/47.05	o 6592
46.82/47.06	o 6591
46.82/47.07	o 6585
46.82/47.07	o 6568
46.82/47.08	o 6566
46.82/47.08	o 6555
46.82/47.09	o 6554
46.82/47.09	o 6553
46.82/47.10	o 6551
46.91/47.10	o 6547
46.91/47.12	o 6458
46.91/47.12	o 6455
46.91/47.13	o 6441
46.91/47.14	o 6429
46.91/47.16	o 6414
46.91/47.17	o 6411
46.91/47.17	o 6362
46.91/47.18	o 6338
46.91/47.19	o 6319
47.01/47.20	o 6308
47.01/47.20	o 6306
47.01/47.21	o 6305
47.01/47.21	o 6304
47.01/47.23	o 6302
47.01/47.23	o 6258
47.01/47.24	o 6205
47.01/47.26	o 6204
47.01/47.26	o 6203
47.01/47.27	o 6201
47.01/47.27	o 6199
47.01/47.28	o 6137
47.01/47.28	o 6121
47.01/47.29	o 6103
47.01/47.29	o 6102
47.11/47.30	o 6080
47.11/47.33	o 6077
47.11/47.34	o 6075
47.11/47.34	o 6074
47.11/47.35	o 6072
47.11/47.35	o 6028
47.11/47.36	o 6026
47.11/47.37	o 6022
47.11/47.37	o 6021
47.11/47.39	o 5938
47.11/47.39	o 5935
47.21/47.40	o 5934
47.21/47.40	o 5933
47.21/47.41	o 5932
47.21/47.42	o 5930
47.21/47.45	o 5919
47.21/47.47	o 5890
47.21/47.47	o 5861
47.21/47.48	o 5860
47.21/47.48	o 5857
47.21/47.49	o 5856
47.31/47.50	o 5848
47.31/47.51	o 5847
47.31/47.51	o 5842
47.31/47.52	o 5838
47.31/47.53	o 5794
47.31/47.54	o 5778
47.31/47.58	o 5699
47.41/47.61	o 5698
47.41/47.61	o 5694
47.41/47.62	o 5678
47.41/47.62	o 5640
47.41/47.63	o 5634
47.41/47.63	o 5631
47.41/47.64	o 5618
47.41/47.65	o 5608
47.41/47.66	o 5605
47.41/47.67	o 5603
47.41/47.68	o 5584
47.41/47.69	o 5577
47.51/47.70	o 5574
47.51/47.71	o 5569
47.51/47.72	o 5568
47.51/47.72	o 5564
47.51/47.74	o 5549
47.51/47.75	o 5548
47.51/47.76	o 5544
47.51/47.77	o 5537
47.51/47.78	o 5534
47.51/47.78	o 5533
47.51/47.79	o 5531
47.51/47.79	o 5526
47.61/47.80	o 5525
47.61/47.81	o 5524
47.61/47.84	o 5519
47.61/47.85	o 5518
47.61/47.85	o 5517
47.61/47.86	o 5509
47.61/47.86	o 5507
47.61/47.87	o 5494
47.61/47.88	o 5488
47.61/47.89	o 5460
47.71/47.90	o 5454
47.71/47.91	o 5443
47.71/47.92	o 5442
47.71/47.92	o 5439
47.71/47.92	o 5437
47.71/47.93	o 5430
47.81/48.03	o 5428
47.81/48.03	o 5425
47.81/48.04	o 5424
47.81/48.04	o 5423
47.81/48.05	o 5421
47.81/48.09	o 5394
47.91/48.10	o 5393
47.91/48.11	o 5392
47.91/48.13	o 5385
47.91/48.13	o 5383
47.91/48.15	o 5381
47.91/48.16	o 5375
47.91/48.16	o 5360
47.91/48.17	o 5359
47.91/48.17	o 5353
48.11/48.32	o 5352
48.11/48.32	o 5351
48.11/48.33	o 5350
48.11/48.33	o 5349
48.11/48.36	o 5345
48.11/48.37	o 5336
48.11/48.38	o 5332
48.11/48.39	o 5331
48.21/48.41	o 5326
48.21/48.41	o 5302
48.21/48.41	o 5298
48.21/48.43	o 5297
48.21/48.46	o 5295
48.21/48.47	o 5294
48.21/48.47	o 5293
48.30/48.50	o 5291
48.30/48.58	o 5283
48.30/48.59	o 5281
48.40/48.60	o 5224
48.40/48.63	o 5200
48.40/48.63	o 5187
48.40/48.64	o 5184
48.40/48.65	o 5177
48.40/48.66	o 5174
48.40/48.66	o 5173
48.40/48.68	o 5162
53.09/53.31	o 5161
53.09/53.32	o 5160
53.09/53.32	o 5159
53.09/53.33	o 5157
53.09/53.33	o 5154
53.09/53.34	o 5153
53.09/53.35	o 5152
53.09/53.38	o 5151
53.09/53.39	o 5148
53.19/53.43	o 5135
53.19/53.44	o 5134
53.19/53.44	o 5130
53.19/53.45	o 5127
53.19/53.45	o 5124
53.19/53.46	o 5120
53.19/53.46	o 5108
53.19/53.47	o 5107
53.19/53.48	o 5098
53.19/53.48	o 5096
53.19/53.49	o 5094
53.19/53.49	o 5034
53.29/53.50	o 5028
53.29/53.50	o 4969
53.29/53.51	o 4957
53.29/53.51	o 4927
53.29/53.52	o 4854
53.29/53.53	o 4848
53.29/53.54	o 4844
53.29/53.55	o 4839
53.29/53.55	o 4831
53.29/53.55	o 4813
53.29/53.56	o 4810
53.29/53.57	o 4806
53.29/53.57	o 4803
53.29/53.57	o 4797
53.29/53.58	o 4779
53.29/53.58	o 4776
53.29/53.59	o 4775
53.29/53.59	o 4774
53.29/53.60	o 4771
53.39/53.63	o 4770
53.39/53.63	o 4730
53.39/53.64	o 4724
53.39/53.65	o 4721
53.39/53.65	o 4720
53.39/53.65	o 4717
53.39/53.66	o 4677
53.39/53.66	o 4675
53.39/53.67	o 4635
53.39/53.68	o 4585
53.39/53.68	o 4570
53.39/53.68	o 4567
53.39/53.69	o 4566
53.39/53.69	o 4563
53.49/53.70	o 4523
53.49/53.71	o 4519
53.49/53.71	o 4517
53.49/53.72	o 4512
53.49/53.72	o 4489
53.49/53.73	o 4486
53.49/53.73	o 4483
53.49/53.74	o 4482
53.49/53.74	o 4479
53.49/53.74	o 4439
53.49/53.75	o 4368
53.49/53.76	o 4351
53.49/53.76	o 4349
53.49/53.77	o 4347
53.49/53.77	o 4287
53.49/53.78	o 4275
53.49/53.78	o 4259
53.49/53.78	o 4244
53.49/53.79	o 4243
53.49/53.79	o 4231
53.59/53.80	o 4225
53.59/53.80	o 4218
53.59/53.81	o 4159
53.59/53.82	o 4150
53.59/53.82	o 4149
53.59/53.85	o 4143
53.59/53.86	o 4140
53.59/53.87	o 4139
53.59/53.87	o 4136
53.59/53.87	o 4135
53.59/53.88	o 4117
53.59/53.88	o 4108
53.59/53.89	o 4096
53.59/53.89	o 4089
53.69/53.90	o 4088
53.69/53.90	o 4085
53.69/53.91	o 4084
53.69/53.92	o 4080
53.69/53.92	o 4079
53.69/53.93	o 4078
53.69/53.93	o 4072
53.69/53.94	o 4070
53.69/53.94	o 4069
53.69/53.95	o 4066
53.69/53.95	o 4055
53.69/53.96	o 4022
53.69/53.96	o 4013
53.69/53.97	o 4008
53.69/53.98	o 4005
53.69/53.98	o 4001
53.69/53.99	o 3999
53.69/53.99	o 3981
53.69/53.99	o 3975
53.69/54.00	o 3974
53.79/54.00	o 3967
53.79/54.01	o 3932
53.79/54.01	o 3891
53.79/54.02	o 3887
53.79/54.02	o 3873
53.79/54.03	o 3870
53.79/54.03	o 3859
53.79/54.03	o 3839
53.79/54.04	o 3815
53.79/54.04	o 3810
53.79/54.05	o 3808
53.79/54.05	o 3807
53.79/54.06	o 3806
53.79/54.06	o 3803
53.79/54.07	o 3777
53.79/54.07	o 3775
53.79/54.07	o 3755
53.79/54.08	o 3710
53.79/54.08	o 3626
53.79/54.09	o 3588
53.79/54.09	o 3446
53.79/54.10	o 3436
53.89/54.10	o 3408
53.89/54.11	o 3399
53.89/54.11	o 3393
53.89/54.12	o 3365
53.89/54.12	o 3358
53.89/54.12	o 3316
53.89/54.13	o 3256
53.89/54.13	o 3241
53.89/54.14	o 3239
53.89/54.14	o 3231
53.89/54.15	o 3224
53.89/54.15	o 3223
53.89/54.16	o 3220
53.89/54.16	o 3188
53.89/54.17	o 3134
53.89/54.17	o 3069
53.89/54.18	o 2933
53.89/54.18	o 2931
53.89/54.19	o 2894
53.89/54.19	o 2850
53.99/54.20	o 2791
53.99/54.20	o 2736
53.99/54.21	o 2685
53.99/54.21	o 2650
53.99/54.22	o 2635
53.99/54.22	o 2600
53.99/54.23	o 2540
53.99/54.23	o 2480
53.99/54.24	o 2454
53.99/54.24	o 2449
53.99/54.25	o 2440
53.99/54.25	o 2432
53.99/54.25	o 2402
53.99/54.26	o 2339
53.99/54.26	o 2323
53.99/54.27	o 2322
53.99/54.27	o 2316
53.99/54.28	o 2291
53.99/54.28	o 2273
53.99/54.29	o 2264
53.99/54.29	o 2253
54.09/54.30	o 2247
54.09/54.30	o 2244
54.09/54.31	o 2232
54.09/54.31	o 2164
54.09/54.32	o 2151
54.09/54.34	o 2149
54.09/54.35	o 2142
54.09/54.35	o 2138
54.09/54.36	o 2133
54.09/54.36	o 2118
54.09/54.37	o 2112
54.09/54.37	o 2071
54.09/54.38	o 2070
54.09/54.38	o 2069
54.09/54.39	o 2067
54.09/54.39	o 2065
54.09/54.40	o 2061
54.18/54.40	o 2050
54.18/54.41	o 2036
54.18/54.42	o 2035
54.18/54.44	o 2034
54.18/54.45	o 2031
54.18/54.45	o 2029
54.18/54.46	o 2024
54.18/54.46	o 2021
54.18/54.47	o 2011
54.18/54.47	o 2005
54.18/54.47	o 1998
54.18/54.48	o 1994
54.18/54.48	o 1990
54.18/54.49	o 1986
54.18/54.49	o 1984
54.28/54.50	o 1982
54.28/54.51	o 1980
54.28/54.51	o 1979
54.28/54.52	o 1978
54.28/54.52	o 1977
54.28/54.53	o 1972
54.28/54.54	o 1965
54.28/54.54	o 1961
54.28/54.55	o 1960
54.28/54.55	o 1959
54.28/54.55	o 1955
54.28/54.56	o 1953
54.28/54.56	o 1948
54.28/54.57	o 1885
54.28/54.57	o 1883
54.28/54.58	o 1882
54.28/54.58	o 1879
54.28/54.59	o 1873
54.28/54.59	o 1858
54.38/54.60	o 1857
54.38/54.60	o 1856
54.38/54.61	o 1855
54.38/54.61	o 1853
54.38/54.62	o 1781
54.38/54.62	o 1745
54.38/54.63	o 1732
54.38/54.63	o 1730
54.38/54.63	o 1698
54.38/54.64	o 1676
54.38/54.64	o 1674
54.38/54.65	o 1672
54.38/54.65	o 1667
54.38/54.66	o 1647
54.38/54.67	o 1639
54.38/54.67	o 1592
54.38/54.68	o 1556
54.38/54.68	o 1508
54.38/54.68	o 1503
54.38/54.69	o 1499
54.48/54.70	o 1498
54.48/54.70	o 1496
54.48/54.71	o 1492
54.48/54.71	o 1486
54.48/54.72	o 1483
54.48/54.72	o 1480
54.48/54.72	o 1472
54.48/54.73	o 1460
54.48/54.74	o 1459
54.48/54.74	o 1457
54.48/54.75	o 1455
54.48/54.76	o 1446
54.48/54.76	o 1442
54.48/54.77	o 1440
54.48/54.78	o 1437
54.48/54.78	o 1436
54.48/54.79	o 1432
54.48/54.79	o 1431
54.58/54.80	o 1430
54.58/54.80	o 1427
54.58/54.82	o 1417
54.58/54.82	o 1408
54.58/54.83	o 1406
54.58/54.83	o 1404
54.58/54.84	o 1403
54.58/54.85	o 1401
54.58/54.85	o 1397
54.58/54.86	o 1394
54.58/54.86	o 1392
54.58/54.87	o 1391
54.58/54.87	o 1382
54.58/54.88	o 1346
54.58/54.88	o 1287
54.58/54.88	o 1273
54.58/54.89	o 1271
54.68/54.90	o 1269
54.68/54.91	o 1255
54.68/54.91	o 1251
54.68/54.92	o 1250
54.68/54.92	o 1223
54.68/54.93	o 1213
54.68/54.93	o 1195
54.68/54.94	o 1146
54.68/54.95	o 1143
54.68/54.96	o 1142
54.68/54.97	o 1141
54.68/54.97	o 1140
54.68/54.97	o 1136
54.68/54.98	o 1133
54.68/54.98	o 1129
54.68/54.99	o 1128
54.68/54.99	o 1127
54.79/55.00	o 1126
54.79/55.00	o 1123
54.79/55.00	o 1116
54.79/55.01	o 1111
54.79/55.02	o 1110
54.79/55.03	o 1105
54.79/55.03	o 1091
54.79/55.04	o 1084
54.79/55.04	o 1065
54.79/55.05	o 1064
54.79/55.05	o 1063
54.79/55.06	o 1056
54.79/55.06	o 1052
54.79/55.07	o 1049
54.79/55.07	o 1048
54.79/55.08	o 1046
54.79/55.08	o 1045
54.79/55.09	o 1009
54.79/55.09	o 1008
54.79/55.10	o 1007
54.89/55.11	o 1006
54.89/55.11	o 1003
54.89/55.12	o 1000
54.89/55.12	o 997
54.89/55.13	o 991
54.89/55.13	o 990
54.89/55.14	o 989
54.89/55.14	o 986
54.89/55.15	o 975
54.89/55.15	o 972
54.89/55.16	o 969
54.89/55.16	o 961
54.89/55.17	o 960
54.89/55.17	o 958
54.89/55.17	o 954
54.89/55.18	o 950
54.89/55.18	o 946
54.98/55.20	o 945
54.98/55.20	o 941
54.98/55.21	o 935
54.98/55.21	o 916
54.98/55.22	o 910
54.98/55.22	o 906
54.98/55.23	o 831
54.98/55.23	o 813
54.98/55.24	o 769
54.98/55.24	o 721
54.98/55.25	o 691
54.98/55.26	o 688
54.98/55.26	o 682
54.98/55.27	o 679
54.98/55.27	o 676
54.98/55.28	o 670
54.98/55.28	o 661
54.98/55.29	o 658
54.98/55.29	o 652
55.08/55.30	o 643
55.08/55.30	o 637
55.08/55.31	o 631
55.08/55.31	o 629
55.08/55.32	o 625
55.08/55.32	o 624
55.08/55.32	o 622
55.08/55.33	o 621
55.08/55.34	o 620
55.08/55.34	o 618
55.08/55.35	o 617
55.08/55.35	o 606
55.08/55.36	o 605
55.08/55.36	o 603
55.08/55.37	o 565
55.08/55.37	o 564
55.08/55.38	o 560
55.08/55.38	o 555
55.08/55.38	o 547
55.08/55.39	o 546
55.08/55.39	o 543
55.18/55.42	o 542
55.18/55.43	o 536
55.18/55.44	o 535
55.18/55.44	o 534
55.18/55.45	o 533
55.18/55.45	o 532
55.18/55.46	o 531
55.18/55.46	o 518
55.18/55.47	o 516
55.18/55.47	o 515
55.18/55.48	o 513
55.18/55.48	o 512
55.18/55.49	o 507
55.18/55.49	o 505
55.28/55.50	o 504
55.28/55.50	o 502
55.28/55.51	o 498
55.28/55.51	o 494
55.28/55.52	o 490
55.28/55.52	o 486
55.28/55.53	o 483
55.28/55.53	o 482
55.28/55.53	o 480
55.28/55.54	o 478
55.28/55.54	o 477
55.28/55.55	o 470
55.28/55.55	o 469
55.28/55.56	o 463
55.28/55.56	o 462
55.28/55.57	o 459
55.28/55.57	o 457
55.48/55.79	o 456
55.58/55.80	o 453
55.58/55.80	o 452
55.58/55.81	o 451
55.58/55.81	o 450
55.58/55.82	o 437
55.58/55.82	o 434
55.58/55.83	o 433
55.58/55.83	o 431
55.58/55.84	o 429
55.58/55.84	o 425
55.58/55.85	o 424
55.58/55.85	o 423
55.58/55.86	o 411
55.58/55.86	o 409
55.58/55.87	o 407
55.58/55.87	o 400
55.58/55.87	o 399
55.58/55.88	o 387
55.58/55.88	o 385
55.58/55.89	o 384
55.68/55.90	o 382
55.68/55.91	o 374
55.68/55.91	o 366
55.68/55.91	o 334
55.68/55.92	o 322
55.68/55.92	o 320
55.68/55.93	o 289
55.68/55.94	o 280
55.68/55.94	o 278
55.68/55.95	o 277
55.68/55.95	o 275
55.68/55.96	o 252
55.68/55.97	o 251
55.68/55.97	o 249
55.68/55.99	o 248
55.78/56.01	o 228
55.78/56.02	o 225
55.78/56.03	o 224
55.78/56.03	o 221
55.78/56.04	o 220
55.78/56.04	o 219
55.78/56.05	o 215
55.78/56.05	o 213
55.78/56.05	o 209
55.78/56.06	o 208
55.78/56.07	o 204
55.78/56.08	o 198
55.78/56.08	o 188
55.78/56.09	o 175
55.78/56.09	o 174
55.78/56.10	o 172
55.78/56.10	o 146
55.88/56.10	o 126
55.88/56.11	o 82
55.88/56.12	o 81
55.88/56.13	o 80
55.88/56.14	o 79
55.88/56.18	o 78
55.98/56.20	o 77
55.98/56.24	o 76
55.98/56.26	o 75
55.98/56.27	o 72
55.98/56.28	o 69
55.98/56.29	o 68
56.08/56.30	o 62
56.08/56.30	o 51
56.08/56.31	o 50
56.08/56.32	o 34
56.08/56.32	o 33
56.08/56.33	o 32
56.08/56.33	o 31
56.08/56.34	o 27
56.08/56.34	o 1
56.08/56.37	s OPTIMUM FOUND
56.08/56.37	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

Verifier Data 

OK	1

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425417-1720881278/watcher-4425417-1720881278 -o /tmp/evaluation-result-4425417-1720881278/solver-4425417-1720881278 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1720881285-709134 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1157121825 HOME/instance-4425417-1720881278.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=709338, runsolver pid=709335

[startup+0.100391 s]*
/proc/loadavg: 1.34 1.18 1.18 5/260 709339
/proc/meminfo: memFree=129038440/131524600 swapFree=131071996/131071996
[pid=709338] ppid=709335 vsize=46908 memory=27432 CPUtime=0.09 cores=0,2
/proc/709338/stat : 709338 (Exact_nosoplex) R 709335 709338 704971 0 -1 4194304 6900 0 0 0 9 0 0 0 20 0 1 0 140292013 48033792 6858 134679101440 4194304 7248369 140735122173424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 14401536 140735122178962 140735122179141 140735122179141 140735122186182 0
/proc/709338/statm: 11727 6858 819 746 0 10791 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46908 KiB
Current children cumulated memory: 27432 KiB

[startup+0.205655 s]*
/proc/loadavg: 1.34 1.18 1.18 5/260 709339
/proc/meminfo: memFree=129030704/131524600 swapFree=131071996/131071996
[pid=709338] ppid=709335 vsize=50672 memory=33292 CPUtime=0.2 cores=0,2
/proc/709338/stat : 709338 (Exact_nosoplex) R 709335 709338 704971 0 -1 4194304 7830 0 0 0 19 1 0 0 20 0 1 0 140292013 51888128 8323 134679101440 4194304 7248369 140735122173424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 14401536 140735122178962 140735122179141 140735122179141 140735122186182 0
/proc/709338/statm: 12668 8323 851 746 0 11732 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50672 KiB
Current children cumulated memory: 33292 KiB

[startup+0.30564 s]*
/proc/loadavg: 1.34 1.18 1.18 5/260 709339
/proc/meminfo: memFree=129023108/131524600 swapFree=131071996/131071996
[pid=709338] ppid=709335 vsize=53972 memory=38768 CPUtime=0.3 cores=0,2
/proc/709338/stat : 709338 (Exact_nosoplex) R 709335 709338 704971 0 -1 4194304 8638 0 0 0 29 1 0 0 20 0 1 0 140292013 55267328 9692 134679101440 4194304 7248369 140735122173424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 14401536 140735122178962 140735122179141 140735122179141 140735122186182 0
/proc/709338/statm: 13493 9692 851 746 0 12557 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 53972 KiB
Current children cumulated memory: 38768 KiB

[startup+0.700211 s]
/proc/loadavg: 1.55 1.22 1.20 5/260 709339
/proc/meminfo: memFree=129005176/131524600 swapFree=131071996/131071996
[pid=709338] ppid=709335 vsize=60452 memory=51240 CPUtime=0.68 cores=0,2
/proc/709338/stat : 709338 (Exact_nosoplex) R 709335 709338 704971 0 -1 4194304 10267 0 0 0 67 1 0 0 20 0 1 0 140292013 61902848 12810 134679101440 4194304 7248369 140735122173424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 14401536 140735122178962 140735122179141 140735122179141 140735122186182 0
/proc/709338/statm: 15113 12810 851 746 0 14177 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 60452 KiB
Current children cumulated memory: 51240 KiB

[startup+1.50022 s]
/proc/loadavg: 1.55 1.22 1.20 5/260 709339
/proc/meminfo: memFree=128974628/131524600 swapFree=131071996/131071996
[pid=709338] ppid=709335 vsize=84752 memory=72356 CPUtime=1.48 cores=0,2
/proc/709338/stat : 709338 (Exact_nosoplex) R 709335 709338 704971 0 -1 4194304 13745 0 0 0 146 2 0 0 20 0 1 0 140292013 86786048 18089 134679101440 4194304 7248369 140735122173424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 14401536 140735122178962 140735122179141 140735122179141 140735122186182 0
/proc/709338/statm: 21188 18089 851 746 0 20252 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 84752 KiB
Current children cumulated memory: 72356 KiB

[startup+3.10589 s]
/proc/loadavg: 1.55 1.22 1.20 5/260 709339
/proc/meminfo: memFree=128745124/131524600 swapFree=131071996/131071996
[pid=709338] ppid=709335 vsize=130524 memory=113688 CPUtime=3.08 cores=0,2
/proc/709338/stat : 709338 (Exact_nosoplex) R 709335 709338 704971 0 -1 4194304 19351 0 0 0 304 4 0 0 20 0 1 0 140292013 133656576 28422 134679101440 4194304 7248369 140735122173424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 14401536 140735122178962 140735122179141 140735122179141 140735122186182 0
/proc/709338/statm: 32631 28422 851 746 0 31695 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 130524 KiB
Current children cumulated memory: 113688 KiB

[startup+6.30021 s]
/proc/loadavg: 1.75 1.27 1.21 5/260 709339
/proc/meminfo: memFree=128566224/131524600 swapFree=131071996/131071996
[pid=709338] ppid=709335 vsize=196912 memory=161532 CPUtime=6.26 cores=0,2
/proc/709338/stat : 709338 (Exact_nosoplex) R 709335 709338 704971 0 -1 4194304 26157 0 0 0 620 6 0 0 20 0 1 0 140292013 201637888 40383 134679101440 4194304 7248369 140735122173424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 14401536 140735122178962 140735122179141 140735122179141 140735122186182 0
/proc/709338/statm: 49228 40383 851 746 0 48292 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 196912 KiB
Current children cumulated memory: 161532 KiB

[startup+12.7002 s]
/proc/loadavg: 1.93 1.31 1.23 5/260 709341
/proc/meminfo: memFree=128134772/131524600 swapFree=131071996/131071996
[pid=709338] ppid=709335 vsize=294520 memory=221060 CPUtime=12.64 cores=0,2
/proc/709338/stat : 709338 (Exact_nosoplex) R 709335 709338 704971 0 -1 4194304 33558 0 0 0 1254 10 0 0 20 0 1 0 140292013 301588480 55265 134679101440 4194304 7248369 140735122173424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 14401536 140735122178962 140735122179141 140735122179141 140735122186182 0
/proc/709338/statm: 73630 55265 851 746 0 72694 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 294520 KiB
Current children cumulated memory: 221060 KiB

[startup+25.5002 s]
/proc/loadavg: 2.32 1.42 1.27 5/260 709342
/proc/meminfo: memFree=127053660/131524600 swapFree=131071996/131071996
[pid=709338] ppid=709335 vsize=572936 memory=492516 CPUtime=25.4 cores=0,2
/proc/709338/stat : 709338 (Exact_nosoplex) R 709335 709338 704971 0 -1 4194304 66379 0 0 0 2517 23 0 0 20 0 1 0 140292013 586686464 123129 134679101440 4194304 7248369 140735122173424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 14401536 140735122178962 140735122179141 140735122179141 140735122186182 0
/proc/709338/statm: 143234 123129 851 746 0 142298 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 572936 KiB
Current children cumulated memory: 492516 KiB

[startup+51.1057 s]
/proc/loadavg: 3.13 1.70 1.36 5/256 709347
/proc/meminfo: memFree=125744672/131524600 swapFree=131071996/131071996
[pid=709338] ppid=709335 vsize=937668 memory=712460 CPUtime=50.9 cores=0,2
/proc/709338/stat : 709338 (Exact_nosoplex) R 709335 709338 704971 0 -1 4194304 98954 0 0 0 5055 35 0 0 20 0 1 0 140292013 960172032 178115 134679101440 4194304 7248369 140735122173424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 14401536 140735122178962 140735122179141 140735122179141 140735122186182 0
/proc/709338/statm: 234417 178115 851 746 0 233481 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 937668 KiB
Current children cumulated memory: 712460 KiB

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

# cumulated CPU time of all completed processes:  user=55.8185 s, system=0.368673 s

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

[startup+51.2003 s]
/proc/loadavg: 3.13 1.70 1.36 5/256 709347
/proc/meminfo: memFree=125744672/131524600 swapFree=131071996/131071996
[pid=709338] ppid=709335 vsize=937668 memory=712460 CPUtime=51 cores=0,2
/proc/709338/stat : 709338 (Exact_nosoplex) R 709335 709338 704971 0 -1 4194304 98954 0 0 0 5065 35 0 0 20 0 1 0 140292013 960172032 178115 134679101440 4194304 7248369 140735122173424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 14401536 140735122178962 140735122179141 140735122179141 140735122186182 0
/proc/709338/statm: 234417 178115 851 746 0 233481 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 937668 KiB
Current children cumulated memory: 712460 KiB

[startup+54.4002 s]
/proc/loadavg: 3.13 1.70 1.36 5/256 709347
/proc/meminfo: memFree=125731744/131524600 swapFree=131071996/131071996
[pid=709338] ppid=709335 vsize=937668 memory=712460 CPUtime=54.18 cores=0,2
/proc/709338/stat : 709338 (Exact_nosoplex) R 709335 709338 704971 0 -1 4194304 98954 0 0 0 5383 35 0 0 20 0 1 0 140292013 960172032 178115 134679101440 4194304 7248369 140735122173424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 14401536 140735122178962 140735122179141 140735122179141 140735122186182 0
/proc/709338/statm: 234417 178115 851 746 0 233481 0
Current children cumulated CPU time: 54.18 s
Current children cumulated vsize: 937668 KiB
Current children cumulated memory: 712460 KiB

[startup+55.2002 s]
/proc/loadavg: 3.13 1.70 1.36 6/256 709347
/proc/meminfo: memFree=125727396/131524600 swapFree=131071996/131071996
[pid=709338] ppid=709335 vsize=937668 memory=712460 CPUtime=54.98 cores=0,2
/proc/709338/stat : 709338 (Exact_nosoplex) R 709335 709338 704971 0 -1 4194304 98954 0 0 0 5463 35 0 0 20 0 1 0 140292013 960172032 178115 134679101440 4194304 7248369 140735122173424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 14401536 140735122178962 140735122179141 140735122179141 140735122186182 0
/proc/709338/statm: 234417 178115 851 746 0 233481 0
Current children cumulated CPU time: 54.98 s
Current children cumulated vsize: 937668 KiB
Current children cumulated memory: 712460 KiB

[startup+56.0002 s]*
/proc/loadavg: 3.20 1.74 1.38 4/251 709355
/proc/meminfo: memFree=127621116/131524600 swapFree=131071996/131071996
[pid=709338] ppid=709335 vsize=937668 memory=712460 CPUtime=55.78 cores=0,2
/proc/709338/stat : 709338 (Exact_nosoplex) R 709335 709338 704971 0 -1 4194304 98956 0 0 0 5543 35 0 0 20 0 1 0 140292013 960172032 178115 134679101440 4194304 7248369 140735122173424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 14401536 140735122178962 140735122179141 140735122179141 140735122186182 0
/proc/709338/statm: 234417 178115 851 746 0 233481 0
Current children cumulated CPU time: 55.78 s
Current children cumulated vsize: 937668 KiB
Current children cumulated memory: 712460 KiB

[startup+56.4002 s]*
/proc/loadavg: 3.20 1.74 1.38 4/250 709376
/proc/meminfo: memFree=128286480/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 30

Real time (s): 56.4055
CPU time (s): 56.1872
CPU user time (s): 55.8185
CPU system time (s): 0.368673
CPU usage (%): 99.6128
Max. virtual memory (cumulated for all children) (KiB): 1162996
Max. memory (cumulated for all children) (KiB): 712460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.8185
system time used= 0.368673
maximum resident set size= 892060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98958
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 413


# summary of solver processes directly reported to runsolver:
#   pid: 709338
#   total CPU time (s): 56.1872
#   total CPU user time (s): 55.8185
#   total CPU system time (s): 0.368673

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.13563 second user time and 0.406375 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-13 16:34:51
IDJOB=4425417
IDBENCH=143403
IDSOLVER=3039
FILE ID=nodeC022/4425417-1720881278
RUNJOBID= nodeC022-1720881285-709134
SLURM_JOB_ID= 7483763
Free space on /tmp= 890064 MiB

SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.4.accl.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425417-1720881278/watcher-4425417-1720881278 -o /tmp/evaluation-result-4425417-1720881278/solver-4425417-1720881278 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1720881285-709134 --watchdog 3760  HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1157121825 HOME/instance-4425417-1720881278.wbo

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

MD5SUM BENCH= fcd01ea1026463f094965248803e85ff
RANDOM SEED=1157121825

nodeC022.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		: 3655.684
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.66
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		: 3683.035
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.96
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		: 3656.551
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.184
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.96
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.455
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.66
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		: 3683.036
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.96
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		: 3623.062
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.884
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129067768 kB
MemAvailable:   129007360 kB
Buffers:          323220 kB
Cached:           464176 kB
SwapCached:            0 kB
Active:           487424 kB
Inactive:        1418616 kB
Active(anon):       1580 kB
Inactive(anon):  1154492 kB
Active(file):     485844 kB
Inactive(file):   264124 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             26412 kB
Writeback:             0 kB
AnonPages:       1117416 kB
Mapped:           111376 kB
Shmem:             37720 kB
KReclaimable:      58540 kB
Slab:             154760 kB
SReclaimable:      58540 kB
SUnreclaim:        96220 kB
KernelStack:        4188 kB
PageTables:        11100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1634172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53536 kB
HardwareCorrupted:     0 kB
AnonHugePages:    489472 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:      180948 kB
DirectMap2M:    10078208 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC022 at 2024-07-13 16:35:48