Trace number 4433552

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Exact_no_SoPlex 2024-07-05OPT50162 1035.09 1037.68

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir07_trarea_ac.opb
MD5SUMe4e66f4daa42a17f1f7cec3a27a30418
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark50162
Best CPU time to get the best result obtained on this benchmark0.296027
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2278
Total number of constraints4879
Number of constraints which are clauses4879
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint43
Number of terms in the objective function 1076
Biggest coefficient in the objective function 2162
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 1745862
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 2162
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 1745862
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.04	o 342461
0.00/0.04	o 299419
0.00/0.04	o 297731
0.00/0.04	o 297725
0.00/0.05	o 296231
0.00/0.05	o 294795
0.00/0.05	o 293107
0.00/0.05	o 291567
0.00/0.05	o 290009
0.00/0.05	o 288747
0.00/0.05	o 287129
0.00/0.05	o 285415
0.00/0.05	o 285409
0.00/0.05	o 285151
0.00/0.05	o 285087
0.00/0.05	o 283683
0.00/0.06	o 283367
0.00/0.06	o 283303
0.00/0.06	o 283302
0.00/0.06	o 282977
0.00/0.06	o 281903
0.00/0.06	o 281645
0.00/0.06	o 281329
0.00/0.06	o 281303
0.00/0.06	o 281265
0.00/0.06	o 280154
0.00/0.06	o 279809
0.00/0.07	o 279783
0.00/0.07	o 279745
0.00/0.07	o 279569
0.00/0.07	o 279487
0.00/0.07	o 279369
0.00/0.07	o 279343
0.00/0.07	o 279305
0.00/0.07	o 277687
0.00/0.08	o 276309
0.00/0.08	o 276297
0.00/0.08	o 276259
0.00/0.08	o 276077
0.00/0.08	o 274441
0.00/0.09	o 274437
0.00/0.09	o 274423
0.00/0.09	o 274377
0.00/0.09	o 272770
0.09/0.10	o 272758
0.09/0.10	o 272706
0.09/0.10	o 272694
0.09/0.10	o 272668
0.09/0.11	o 272630
0.09/0.11	o 272578
0.09/0.11	o 272566
0.09/0.11	o 272384
0.09/0.11	o 272293
0.09/0.11	o 272281
0.09/0.11	o 272199
0.09/0.11	o 272173
0.09/0.12	o 272135
0.09/0.12	o 272126
0.09/0.12	o 272062
0.09/0.12	o 271946
0.09/0.13	o 271824
0.09/0.13	o 271810
0.09/0.14	o 271788
0.09/0.14	o 271776
0.09/0.14	o 271648
0.09/0.14	o 271644
0.09/0.15	o 271630
0.09/0.15	o 271424
0.09/0.15	o 271308
0.09/0.16	o 271285
0.09/0.16	o 271273
0.09/0.16	o 271235
0.09/0.17	o 271221
0.09/0.17	o 271212
0.09/0.17	o 269666
0.09/0.19	o 269664
0.09/0.19	o 269655
0.09/0.19	o 269646
0.09/0.20	o 269608
0.09/0.20	o 267934
0.20/0.21	o 266608
0.20/0.23	o 266606
0.20/0.23	o 266600
0.20/0.24	o 266542
0.20/0.24	o 266504
0.20/0.26	o 266356
0.20/0.26	o 266344
0.39/0.41	o 266338
0.39/0.41	o 266326
0.39/0.42	o 264942
0.39/0.50	o 264925
0.49/0.51	o 263280
0.49/0.56	o 261592
0.49/0.59	o 261491
0.49/0.59	o 261427
0.49/0.60	o 261418
0.49/0.60	o 261354
0.59/0.60	o 261340
0.59/0.61	o 261334
0.59/0.62	o 261325
0.59/0.62	o 261316
0.59/0.62	o 261238
0.59/0.62	o 260995
0.59/0.65	o 260868
0.59/0.65	o 260836
0.59/0.66	o 260720
0.59/0.66	o 260708
0.59/0.68	o 260694
0.59/0.68	o 260682
0.59/0.69	o 260670
0.59/0.70	o 260652
0.69/0.74	o 260650
0.69/0.74	o 260638
0.69/0.74	o 260600
0.69/0.75	o 260484
0.69/0.78	o 260426
0.79/0.81	o 260424
0.79/0.81	o 260386
0.79/0.84	o 260348
0.79/0.85	o 260344
0.79/0.85	o 260330
0.79/0.87	o 260304
0.79/0.88	o 260224
0.79/0.88	o 260064
0.79/0.88	o 260052
0.79/0.88	o 260046
0.79/0.88	o 259988
0.79/0.89	o 259950
0.89/0.91	o 259942
0.89/0.91	o 259930
0.89/0.91	o 259918
0.89/0.91	o 259854
0.89/0.91	o 259840
0.89/0.93	o 259822
0.89/0.96	o 259814
0.89/0.96	o 259802
0.89/0.97	o 259680
0.89/0.98	o 259628
0.89/0.98	o 259500
0.99/1.00	o 259257
0.99/1.06	o 259248
0.99/1.06	o 259239
0.99/1.07	o 259201
0.99/1.07	o 259183
0.99/1.08	o 259056
0.99/1.08	o 259024
0.99/1.08	o 258908
0.99/1.08	o 258896
1.09/1.11	o 258856
1.09/1.16	o 258852
1.09/1.16	o 258838
1.09/1.18	o 257460
1.38/1.41	o 257431
1.38/1.42	o 257417
1.38/1.42	o 257313
1.38/1.42	o 257249
1.38/1.42	o 257235
1.38/1.42	o 257223
1.38/1.43	o 257185
1.38/1.43	o 257171
1.38/1.43	o 257133
1.38/1.43	o 257119
1.38/1.43	o 257107
1.38/1.43	o 257077
1.38/1.44	o 256930
1.38/1.44	o 256892
1.38/1.44	o 256834
1.38/1.44	o 256832
1.38/1.44	o 256820
1.38/1.45	o 256814
1.38/1.45	o 256788
1.38/1.45	o 256776
1.38/1.46	o 256762
1.38/1.46	o 256724
1.38/1.46	o 256712
1.38/1.46	o 256710
1.38/1.46	o 256698
1.38/1.46	o 256689
1.38/1.47	o 256657
1.38/1.47	o 256643
1.38/1.47	o 256631
1.38/1.48	o 256619
1.38/1.48	o 256605
1.38/1.48	o 256567
1.38/1.48	o 256523
1.38/1.48	o 256509
1.48/1.50	o 256472
1.48/1.50	o 256458
1.48/1.50	o 256446
1.48/1.50	o 256402
1.48/1.50	o 256350
1.48/1.51	o 256338
1.48/1.51	o 256324
1.48/1.51	o 256315
1.48/1.51	o 256251
1.48/1.51	o 256199
1.48/1.52	o 256187
1.48/1.53	o 256175
1.48/1.53	o 256129
1.48/1.53	o 256117
1.48/1.54	o 256115
1.48/1.54	o 256103
1.48/1.54	o 256095
1.48/1.54	o 256069
1.48/1.54	o 256011
1.48/1.54	o 255999
1.48/1.55	o 255990
1.48/1.55	o 255981
1.48/1.56	o 255947
1.48/1.57	o 255941
1.48/1.57	o 255895
1.48/1.57	o 255883
1.48/1.57	o 255874
1.48/1.57	o 255865
1.48/1.58	o 255513
1.48/1.58	o 255273
1.48/1.58	o 255261
1.48/1.59	o 255256
1.48/1.59	o 255247
1.58/1.60	o 255086
1.58/1.60	o 255074
1.58/1.60	o 255065
1.58/1.60	o 254975
1.58/1.60	o 254911
1.58/1.61	o 254897
1.58/1.61	o 254894
1.58/1.61	o 254885
1.58/1.62	o 254827
1.58/1.62	o 254792
1.58/1.63	o 254740
1.58/1.63	o 254726
1.58/1.63	o 254714
1.58/1.63	o 254705
1.58/1.64	o 254697
1.58/1.64	o 254694
1.58/1.64	o 254685
1.58/1.65	o 254613
1.58/1.65	o 254604
1.58/1.66	o 254595
1.58/1.66	o 254583
1.58/1.66	o 254525
1.68/1.70	o 254522
1.68/1.70	o 254508
1.68/1.70	o 254496
1.68/1.71	o 254336
1.68/1.72	o 254278
1.68/1.73	o 254238
1.68/1.74	o 254200
1.68/1.74	o 254182
1.78/1.83	o 254164
1.78/1.89	o 254159
1.78/1.89	o 254150
1.78/1.89	o 254142
1.88/1.90	o 254130
1.88/1.90	o 254124
1.88/1.91	o 254121
1.88/1.91	o 254112
1.88/1.92	o 253578
1.88/1.92	o 253546
1.88/1.92	o 253430
1.88/1.93	o 253418
1.88/1.93	o 253412
1.88/1.93	o 253400
1.88/1.93	o 253398
1.88/1.93	o 253386
1.88/1.94	o 253288
1.88/1.94	o 253276
1.88/1.94	o 253236
1.88/1.94	o 253224
1.88/1.94	o 253212
1.88/1.95	o 253148
1.88/1.95	o 253134
1.88/1.96	o 253042
1.88/1.96	o 252990
1.88/1.96	o 252978
1.88/1.96	o 252966
1.88/1.96	o 252952
1.88/1.96	o 252836
1.88/1.97	o 252714
1.88/1.97	o 252705
1.88/1.98	o 252653
1.88/1.98	o 252525
1.98/2.01	o 252485
1.98/2.06	o 252479
1.98/2.06	o 252467
2.28/2.33	o 252440
2.38/2.43	o 252105
2.38/2.45	o 252102
2.38/2.45	o 251928
2.38/2.46	o 251918
2.38/2.46	o 251898
2.38/2.47	o 251892
2.38/2.47	o 251834
2.38/2.47	o 251796
2.48/2.50	o 251784
2.48/2.50	o 251772
2.48/2.51	o 251770
2.48/2.51	o 251758
2.48/2.51	o 251740
2.48/2.53	o 251731
2.48/2.54	o 251722
2.48/2.58	o 251687
2.48/2.58	o 251647
2.48/2.58	o 251635
2.48/2.59	o 251623
2.68/2.75	o 251615
2.68/2.75	o 251603
2.68/2.76	o 251565
2.77/2.82	o 251391
3.27/3.38	o 251269
3.38/3.46	o 251262
3.38/3.47	o 251256
3.38/3.47	o 251219
3.38/3.48	o 251207
3.38/3.48	o 251195
3.38/3.48	o 251186
3.48/3.54	o 251168
3.48/3.56	o 251156
3.48/3.56	o 251142
3.48/3.58	o 251139
3.48/3.58	o 251130
3.58/3.61	o 251126
3.58/3.62	o 251121
3.58/3.62	o 251112
3.68/3.75	o 251105
3.68/3.76	o 251087
3.68/3.77	o 251084
3.68/3.77	o 251072
3.68/3.78	o 251063
3.68/3.79	o 251051
3.68/3.79	o 251016
3.68/3.79	o 251002
3.78/3.80	o 250993
3.78/3.80	o 250991
3.78/3.81	o 250977
3.78/3.81	o 250965
3.78/3.81	o 250953
3.78/3.82	o 250869
3.78/3.82	o 250851
3.78/3.84	o 250848
3.78/3.84	o 250839
3.78/3.85	o 250834
3.78/3.85	o 250825
3.78/3.86	o 250820
3.78/3.87	o 250811
3.78/3.87	o 250799
3.78/3.88	o 250787
3.98/4.07	o 250358
3.98/4.07	o 250338
3.98/4.07	o 250236
3.98/4.08	o 250173
3.98/4.08	o 250158
3.98/4.08	o 250149
3.98/4.09	o 250140
3.98/4.09	o 250018
4.08/4.13	o 249766
4.08/4.13	o 249734
4.08/4.13	o 249618
4.08/4.13	o 249606
4.27/4.38	o 249588
4.47/4.51	o 249586
4.47/4.51	o 249577
4.47/4.55	o 249574
4.47/4.55	o 249568
4.47/4.56	o 249565
4.47/4.56	o 249556
4.47/4.58	o 249553
4.47/4.59	o 249535
4.57/4.64	o 249530
4.57/4.65	o 249521
4.87/4.97	o 249494
4.98/5.09	o 249491
5.17/5.21	o 249485
5.17/5.22	o 249459
5.17/5.22	o 249421
5.17/5.24	o 249416
5.17/5.25	o 249407
5.27/5.30	o 249399
5.27/5.30	o 249390
5.27/5.31	o 249381
5.27/5.31	o 249343
5.27/5.32	o 249227
5.27/5.36	o 249169
5.87/5.96	o 249167
5.87/5.97	o 249045
5.97/6.06	o 249018
6.37/6.43	o 247782
6.86/6.90	o 246276
6.97/7.09	o 246273
6.97/7.10	o 246264
7.08/7.12	o 246255
7.08/7.14	o 246243
7.08/7.14	o 246231
7.08/7.14	o 246226
7.08/7.15	o 246217
7.08/7.19	o 246173
7.17/7.20	o 246161
7.27/7.33	o 246157
8.07/8.20	o 246155
8.16/8.20	o 246143
8.36/8.41	o 246134
8.36/8.41	o 246125
8.36/8.44	o 246116
8.46/8.56	o 246109
8.46/8.57	o 246104
8.46/8.57	o 246095
8.46/8.58	o 246021
8.46/8.58	o 246009
8.46/8.58	o 246003
8.46/8.58	o 245991
8.46/8.59	o 245979
8.56/8.60	o 245936
8.56/8.60	o 245927
8.56/8.62	o 245925
8.56/8.62	o 245913
8.56/8.63	o 245870
8.56/8.63	o 245806
8.56/8.63	o 245797
8.56/8.68	o 245789
8.56/8.68	o 245725
8.56/8.68	o 245711
8.56/8.69	o 245702
8.56/8.69	o 245693
8.56/8.69	o 245690
8.66/8.70	o 245681
8.76/8.80	o 245677
8.76/8.81	o 245663
8.76/8.81	o 245434
8.76/8.81	o 245420
8.76/8.81	o 245411
8.76/8.84	o 245406
8.76/8.84	o 245397
8.76/8.85	o 245394
8.76/8.85	o 245385
8.76/8.85	o 245380
8.76/8.86	o 245371
8.76/8.86	o 245368
8.76/8.87	o 245359
8.97/9.01	o 245350
8.97/9.01	o 245341
8.97/9.01	o 245327
8.97/9.02	o 245315
9.36/9.41	o 245217
9.36/9.42	o 245066
10.16/10.28	o 245056
10.16/10.28	o 245038
10.16/10.29	o 244922
10.36/10.47	o 244828
10.86/10.93	o 244752
10.86/10.93	o 243438
11.06/11.16	o 243437
11.06/11.16	o 243425
11.06/11.17	o 243407
11.06/11.17	o 243233
11.06/11.19	o 243181
11.06/11.19	o 243143
11.06/11.19	o 243105
11.15/11.28	o 243087
11.25/11.36	o 243079
11.25/11.37	o 243065
11.25/11.38	o 243056
11.35/11.42	o 243018
11.35/11.43	o 243000
11.55/11.68	o 242906
11.96/12.08	o 242898
11.96/12.08	o 242886
11.96/12.08	o 242874
12.06/12.10	o 242830
12.06/12.16	o 242656
12.45/12.53	o 242638
12.75/12.84	o 242629
12.96/13.04	o 242620
12.96/13.04	o 242611
13.25/13.32	o 242362
13.75/13.83	o 242358
13.75/13.83	o 242340
13.75/13.86	o 242166
13.85/13.90	o 242151
13.85/13.90	o 242142
13.85/13.97	o 242124
15.15/15.25	o 241715
15.15/15.26	o 240401
15.35/15.47	o 240400
15.35/15.48	o 240388
15.35/15.48	o 240350
15.35/15.49	o 240310
15.35/15.49	o 240292
15.45/15.50	o 240234
15.45/15.51	o 240226
15.45/15.51	o 240186
15.45/15.51	o 240170
15.45/15.51	o 240130
15.45/15.52	o 240066
15.45/15.52	o 240052
15.45/15.53	o 240040
15.45/15.54	o 240036
15.45/15.55	o 240022
15.45/15.58	o 239974
15.45/15.58	o 239960
15.45/15.59	o 239939
15.45/15.59	o 239925
15.45/15.59	o 239913
15.55/15.60	o 239909
15.55/15.60	o 239895
15.55/15.62	o 239857
15.55/15.63	o 239805
15.55/15.63	o 239793
15.55/15.63	o 239779
15.85/16.00	o 239761
15.95/16.00	o 239747
15.95/16.01	o 239745
15.95/16.02	o 239739
15.95/16.02	o 239681
15.95/16.02	o 239643
16.05/16.14	o 239637
16.05/16.14	o 239623
16.05/16.17	o 239614
16.05/16.18	o 239605
16.24/16.31	o 239603
16.24/16.31	o 239591
16.24/16.33	o 239553
16.34/16.41	o 239547
16.34/16.41	o 239489
16.34/16.47	o 239471
16.44/16.59	o 239456
16.54/16.60	o 239447
17.05/17.15	o 239434
17.05/17.15	o 239420
17.05/17.15	o 239380
17.05/17.15	o 239368
17.05/17.16	o 239356
17.05/17.18	o 239338
17.15/17.21	o 239234
17.15/17.21	o 239216
17.15/17.25	o 239149
17.15/17.26	o 239122
17.24/17.30	o 238971
17.34/17.49	o 237535
17.64/17.72	o 236261
17.74/17.84	o 236255
17.74/17.84	o 236237
17.95/18.04	o 236226
17.95/18.04	o 236212
17.95/18.04	o 236200
17.95/18.05	o 236191
17.95/18.05	o 236153
17.95/18.09	o 236095
18.05/18.16	o 236077
18.24/18.34	o 236053
18.44/18.56	o 236033
18.44/18.56	o 236019
18.44/18.57	o 235995
18.44/18.58	o 235986
18.54/18.60	o 235959
19.94/20.03	o 235949
19.94/20.03	o 235723
19.94/20.03	o 235711
19.94/20.03	o 235709
19.94/20.03	o 235697
19.94/20.04	o 235691
19.94/20.04	o 235679
19.94/20.04	o 235670
19.94/20.04	o 235542
19.94/20.05	o 235508
19.94/20.05	o 235354
19.94/20.05	o 235302
19.94/20.05	o 235290
19.94/20.06	o 235288
19.94/20.06	o 235276
19.94/20.06	o 235267
19.94/20.08	o 235261
19.94/20.09	o 235239
19.94/20.09	o 235227
19.94/20.09	o 235187
19.94/20.09	o 235175
19.94/20.09	o 235163
19.94/20.10	o 235154
19.94/20.10	o 235145
20.04/20.12	o 235141
20.04/20.12	o 235139
20.04/20.12	o 235127
20.04/20.13	o 235119
20.04/20.13	o 235107
20.04/20.14	o 235089
20.04/20.15	o 235088
20.04/20.15	o 235030
20.04/20.16	o 235028
20.04/20.16	o 235016
20.13/20.20	o 235014
20.13/20.20	o 235002
20.13/20.21	o 234922
20.13/20.21	o 234910
20.13/20.22	o 234907
20.13/20.22	o 234898
20.13/20.23	o 234860
20.13/20.24	o 234820
20.13/20.24	o 234808
20.13/20.24	o 234796
20.13/20.25	o 234782
20.13/20.26	o 234776
20.13/20.26	o 234774
20.13/20.26	o 234771
20.13/20.27	o 234762
20.13/20.27	o 234742
20.13/20.27	o 234724
20.13/20.28	o 234720
20.13/20.28	o 234706
20.53/20.65	o 234697
20.63/20.70	o 234695
20.63/20.70	o 234686
20.63/20.73	o 234679
20.63/20.73	o 234667
20.63/20.74	o 234665
20.63/20.74	o 234653
20.63/20.74	o 234615
20.63/20.76	o 234609
20.63/20.76	o 234597
20.63/20.78	o 234585
20.63/20.78	o 234573
20.73/20.85	o 234564
20.73/20.86	o 234558
20.73/20.86	o 234546
20.83/20.94	o 234544
20.94/21.01	o 234539
20.94/21.01	o 234521
20.94/21.06	o 234515
20.94/21.07	o 234495
20.94/21.07	o 234478
20.94/21.08	o 234466
20.94/21.08	o 234457
21.33/21.42	o 234449
21.33/21.43	o 234440
21.33/21.47	o 234324
21.63/21.77	o 234306
22.33/22.46	o 234277
22.33/22.46	o 234265
22.33/22.46	o 234251
22.33/22.47	o 234242
22.33/22.47	o 234216
22.33/22.48	o 234178
22.43/22.52	o 234126
22.43/22.53	o 233998
22.43/22.58	o 233940
22.53/22.63	o 233752
22.53/22.63	o 233688
22.53/22.63	o 233648
22.63/22.77	o 233474
23.03/23.15	o 233456
23.43/23.57	o 233447
23.43/23.59	o 233429
23.93/24.09	o 233134
24.12/24.26	o 233113
24.12/24.26	o 233101
24.12/24.28	o 233097
24.12/24.28	o 233083
24.12/24.28	o 233045
24.32/24.47	o 233043
24.32/24.48	o 233019
24.42/24.50	o 233001
24.42/24.51	o 232992
24.42/24.54	o 232974
24.82/24.97	o 231321
25.03/25.12	o 231311
25.03/25.12	o 231302
25.03/25.12	o 231293
25.03/25.13	o 231265
25.03/25.13	o 231253
25.03/25.13	o 231247
25.03/25.13	o 231235
25.03/25.16	o 231219
25.03/25.16	o 231217
25.03/25.17	o 231205
25.03/25.17	o 231199
25.03/25.17	o 231187
25.03/25.18	o 231183
25.03/25.18	o 231169
25.12/25.22	o 231167
25.12/25.23	o 231149
25.12/25.23	o 231145
25.12/25.23	o 231143
25.12/25.23	o 231131
25.12/25.28	o 231107
25.12/25.29	o 231105
25.12/25.29	o 231093
25.12/25.29	o 231065
25.12/25.29	o 231053
25.22/25.33	o 231013
25.22/25.33	o 230995
25.22/25.34	o 230986
25.22/25.37	o 230673
25.22/25.38	o 230513
25.42/25.57	o 230507
25.42/25.58	o 230391
25.62/25.72	o 230376
25.62/25.73	o 230367
26.42/26.52	o 230337
26.42/26.52	o 230042
26.52/26.66	o 230039
26.52/26.66	o 229983
26.62/26.70	o 229980
26.62/26.71	o 229971
26.62/26.79	o 229965
26.62/26.79	o 229962
26.72/26.80	o 229953
26.72/26.81	o 229944
26.82/26.97	o 229919
26.82/26.97	o 229905
26.82/26.98	o 229896
26.82/26.98	o 229887
26.82/26.99	o 229858
26.92/27.01	o 229852
26.92/27.01	o 229838
26.92/27.02	o 229832
26.92/27.02	o 229820
27.12/27.21	o 229817
27.12/27.28	o 229811
27.22/27.31	o 229793
27.52/27.68	o 229784
27.62/27.75	o 229633
28.61/28.74	o 227910
29.71/29.84	o 226352
29.81/29.90	o 225142
29.81/30.00	o 223906
29.92/30.06	o 222380
30.02/30.11	o 220900
30.02/30.18	o 219406
30.21/30.38	o 219168
30.31/30.48	o 219126
30.31/30.48	o 219112
30.31/30.48	o 219060
30.31/30.48	o 218932
30.31/30.49	o 218918
30.31/30.49	o 218854
30.31/30.49	o 218840
30.31/30.49	o 218828
30.41/30.50	o 218744
30.41/30.50	o 218716
30.41/30.50	o 218704
30.41/30.50	o 218646
30.41/30.51	o 218640
30.41/30.51	o 218524
30.41/30.51	o 218515
30.41/30.51	o 218495
30.41/30.52	o 218486
30.41/30.52	o 218477
30.41/30.53	o 218475
30.41/30.53	o 218463
30.41/30.53	o 218365
30.41/30.53	o 218353
30.41/30.53	o 218344
30.41/30.54	o 218335
30.41/30.54	o 218329
30.41/30.55	o 218327
30.41/30.55	o 218315
30.41/30.55	o 218225
30.41/30.56	o 218213
30.51/30.66	o 218211
30.51/30.66	o 218193
30.51/30.67	o 218077
30.61/30.71	o 218059
30.61/30.78	o 217992
30.61/30.79	o 217965
31.01/31.13	o 217956
31.01/31.15	o 217805
31.21/31.32	o 217590
31.30/31.45	o 215954
31.40/31.50	o 215923
31.40/31.51	o 215885
31.40/31.51	o 215883
31.40/31.51	o 215871
31.40/31.51	o 215857
31.40/31.52	o 215819
31.40/31.52	o 215807
31.40/31.53	o 215625
31.40/31.54	o 215619
31.40/31.54	o 215503
31.40/31.54	o 215485
31.40/31.55	o 215369
31.50/31.61	o 215323
31.50/31.61	o 215311
31.50/31.62	o 215123
31.50/31.62	o 215059
31.50/31.62	o 215019
31.50/31.64	o 214845
31.50/31.65	o 214630
31.50/31.65	o 214514
31.50/31.67	o 214496
31.60/31.71	o 214493
31.60/31.71	o 214479
31.60/31.72	o 214470
31.60/31.73	o 214452
31.60/31.76	o 214425
31.80/31.94	o 214415
31.80/31.94	o 214397
31.80/31.95	o 214388
31.80/31.95	o 214370
31.80/31.96	o 214196
31.80/31.98	o 214187
31.91/32.08	o 212899
32.01/32.18	o 211437
32.20/32.34	o 211425
32.20/32.35	o 211413
32.20/32.35	o 211401
32.20/32.35	o 211383
32.20/32.36	o 211369
32.20/32.38	o 211331
32.40/32.50	o 211157
32.40/32.55	o 211156
32.40/32.55	o 211142
32.40/32.56	o 211041
32.40/32.56	o 210989
32.40/32.56	o 210977
32.40/32.57	o 210968
32.40/32.57	o 210962
32.40/32.58	o 210933
32.40/32.58	o 210869
32.40/32.59	o 210867
32.40/32.59	o 210855
32.40/32.59	o 210846
32.50/32.63	o 210837
32.50/32.69	o 210677
32.60/32.77	o 210676
32.60/32.78	o 210609
32.60/32.78	o 210582
32.70/32.80	o 210564
32.70/32.81	o 210466
32.70/32.82	o 210315
33.01/33.18	o 210309
33.20/33.31	o 210071
33.40/33.59	o 209966
34.40/34.55	o 209964
34.40/34.55	o 209955
34.40/34.56	o 209946
34.40/34.57	o 209908
34.49/34.67	o 208290
35.59/35.77	o 206576
36.79/36.96	o 206286
36.99/37.13	o 204946
37.19/37.33	o 204941
37.19/37.33	o 204932
37.19/37.35	o 204772
37.39/37.51	o 204669
37.49/37.65	o 204641
37.49/37.66	o 204603
37.49/37.66	o 204565
37.49/37.66	o 204383
37.49/37.66	o 204261
37.49/37.67	o 204247
37.49/37.67	o 204238
37.49/37.67	o 204180
37.49/37.68	o 203936
37.49/37.68	o 203872
37.49/37.68	o 203832
37.49/37.69	o 203814
37.59/37.72	o 203684
37.59/37.72	o 203660
37.59/37.74	o 203593
37.59/37.75	o 203566
37.69/37.83	o 203560
37.69/37.83	o 203542
37.69/37.84	o 203502
37.69/37.85	o 203328
38.09/38.29	o 203212
38.89/39.01	o 203207
38.89/39.01	o 203169
38.89/39.02	o 203160
38.89/39.07	o 202865
39.28/39.49	o 201629
39.48/39.63	o 201620
39.48/39.63	o 201611
39.48/39.65	o 201602
39.58/39.72	o 201398
39.58/39.72	o 201389
39.58/39.72	o 201325
39.58/39.73	o 201313
39.58/39.74	o 201307
39.58/39.74	o 201287
39.58/39.74	o 201229
39.58/39.76	o 201113
39.58/39.80	o 201093
39.68/39.80	o 201079
39.68/39.80	o 200957
39.68/39.81	o 200939
39.68/39.81	o 200919
39.68/39.81	o 200895
39.78/39.94	o 200657
39.89/40.10	o 200646
39.89/40.10	o 200608
39.99/40.10	o 200590
40.38/40.51	o 200347
40.78/40.92	o 200344
41.48/41.65	o 200299
42.28/42.40	o 200290
42.28/42.41	o 200281
42.28/42.42	o 200263
42.28/42.46	o 199934
42.28/42.46	o 199908
42.28/42.46	o 199870
42.28/42.46	o 199600
42.28/42.46	o 199586
42.28/42.47	o 199374
42.28/42.47	o 199270
42.28/42.47	o 199238
42.28/42.47	o 199110
42.28/42.47	o 199092
42.28/42.48	o 198976
42.47/42.62	o 198949
42.67/42.84	o 198940
42.67/42.87	o 198809
43.58/43.72	o 198771
44.68/44.88	o 198768
44.88/45.03	o 197454
45.08/45.20	o 197437
45.08/45.20	o 197425
45.08/45.21	o 197407
45.08/45.21	o 197367
45.08/45.21	o 197277
45.08/45.22	o 197257
45.08/45.22	o 197199
45.08/45.22	o 197077
45.08/45.24	o 196990
45.08/45.28	o 196960
45.08/45.28	o 196665
45.18/45.33	o 196587
45.18/45.33	o 196427
45.27/45.41	o 196418
45.27/45.41	o 196394
45.27/45.42	o 196385
45.27/45.43	o 196358
45.27/45.47	o 196255
45.47/45.65	o 196247
45.47/45.65	o 196180
45.47/45.65	o 196153
45.57/45.71	o 196055
45.57/45.71	o 195904
45.67/45.87	o 195844
45.67/45.88	o 195835
45.98/46.17	o 195833
45.98/46.17	o 195821
45.98/46.17	o 195812
46.07/46.20	o 195709
46.57/46.77	o 195696
47.37/47.52	o 195691
47.37/47.53	o 195679
47.37/47.55	o 195563
47.97/48.10	o 194424
47.97/48.13	o 194389
47.97/48.14	o 194383
47.97/48.14	o 194325
47.97/48.15	o 194316
48.17/48.32	o 194301
48.17/48.33	o 194298
48.17/48.37	o 194231
48.17/48.38	o 194168
48.17/48.38	o 194144
49.07/49.26	o 194124
49.07/49.26	o 194112
49.17/49.35	o 194094
49.17/49.37	o 194074
49.17/49.37	o 194050
49.36/49.53	o 194041
49.76/49.94	o 194021
49.76/49.95	o 194008
50.56/50.72	o 193966
50.56/50.72	o 192278
51.06/51.22	o 192273
51.06/51.23	o 192124
51.06/51.23	o 191884
51.06/51.23	o 191872
51.06/51.24	o 191808
51.06/51.24	o 191776
51.06/51.24	o 191660
51.06/51.24	o 191568
51.06/51.24	o 191536
51.06/51.24	o 191420
51.06/51.24	o 191408
51.06/51.25	o 191347
51.06/51.25	o 191285
51.06/51.25	o 191282
51.16/51.34	o 191270
51.16/51.35	o 191246
51.16/51.35	o 191124
51.26/51.49	o 191097
51.46/51.64	o 191094
51.46/51.64	o 191082
51.46/51.64	o 191068
51.46/51.65	o 191044
51.46/51.65	o 191038
51.46/51.65	o 190980
51.66/51.86	o 190820
52.36/52.58	o 190717
52.56/52.74	o 190711
52.56/52.74	o 190708
52.66/52.88	o 190688
52.66/52.89	o 190675
52.96/53.18	o 188974
53.25/53.45	o 188921
53.25/53.45	o 188857
53.25/53.45	o 188843
53.25/53.45	o 188782
53.25/53.45	o 188720
53.25/53.45	o 188717
53.25/53.49	o 188699
53.35/53.50	o 188583
53.35/53.52	o 188409
53.45/53.60	o 188305
53.45/53.60	o 188287
53.45/53.64	o 188220
53.45/53.64	o 188177
53.45/53.64	o 188133
53.45/53.65	o 188124
53.55/53.76	o 188070
53.55/53.76	o 188052
53.55/53.79	o 187936
53.65/53.82	o 187909
53.65/53.86	o 187811
53.65/53.86	o 187660
53.75/53.97	o 187649
53.75/53.97	o 187637
53.75/53.98	o 187619
53.75/53.99	o 187559
53.75/53.99	o 187550
54.25/54.40	o 187530
54.25/54.44	o 187526
54.25/54.44	o 187517
54.65/54.81	o 187505
54.65/54.81	o 187496
54.65/54.82	o 187493
54.75/54.97	o 187425
54.86/55.00	o 187422
54.86/55.01	o 187413
54.86/55.02	o 187407
54.86/55.02	o 187395
54.86/55.03	o 187383
54.86/55.04	o 187378
54.86/55.05	o 187369
54.86/55.06	o 187338
54.86/55.06	o 187329
54.86/55.07	o 187325
54.86/55.08	o 187311
54.86/55.08	o 187303
54.86/55.08	o 187291
54.86/55.09	o 187273
54.96/55.16	o 187272
54.96/55.16	o 187263
54.96/55.16	o 187249
55.65/55.89	o 187229
55.75/55.91	o 187228
55.75/55.91	o 187225
55.75/55.91	o 187216
56.25/56.46	o 187215
56.25/56.46	o 187166
56.25/56.46	o 187157
56.25/56.47	o 187114
56.25/56.47	o 187102
56.25/56.47	o 187093
56.25/56.48	o 187043
56.25/56.48	o 187031
56.25/56.49	o 187017
56.25/56.49	o 186989
56.25/56.49	o 186977
56.35/56.52	o 186974
56.35/56.52	o 186960
56.35/56.52	o 186916
56.35/56.53	o 186902
56.35/56.53	o 186893
56.45/56.67	o 186887
56.45/56.67	o 186882
56.45/56.67	o 186873
56.45/56.68	o 186856
56.45/56.68	o 186847
56.45/56.68	o 186835
56.45/56.69	o 186816
56.55/56.70	o 186804
56.55/56.70	o 186795
56.55/56.70	o 186777
56.55/56.76	o 186768
56.55/56.78	o 186750
56.65/56.81	o 186720
56.65/56.82	o 186425
56.65/56.89	o 186347
56.75/56.94	o 186327
56.75/56.95	o 186269
56.75/56.95	o 186205
56.75/56.99	o 186187
57.04/57.24	o 185949
57.64/57.83	o 185935
57.64/57.83	o 185921
57.64/57.84	o 185912
57.64/57.84	o 185888
57.74/57.91	o 185832
57.74/57.91	o 185826
58.24/58.48	o 185547
59.14/59.34	o 183754
59.54/59.71	o 183604
59.54/59.72	o 183499
59.54/59.72	o 181961
59.84/60.06	o 181957
59.84/60.07	o 181948
59.94/60.14	o 181818
60.04/60.27	o 180608
60.14/60.38	o 180607
60.14/60.38	o 180491
60.24/60.45	o 180340
60.73/60.90	o 180320
61.53/61.76	o 180313
61.53/61.76	o 180304
61.53/61.76	o 180286
61.53/61.79	o 180182
61.63/61.80	o 180164
61.63/61.89	o 179988
61.73/61.94	o 178366
62.03/62.26	o 177156
62.23/62.40	o 177151
62.23/62.40	o 177149
62.23/62.40	o 177111
62.23/62.41	o 177102
62.23/62.42	o 177093
62.23/62.42	o 176989
62.23/62.42	o 176957
62.23/62.42	o 176841
62.23/62.46	o 176827
62.23/62.47	o 176803
62.23/62.47	o 176797
62.23/62.48	o 176783
62.23/62.48	o 176719
62.33/62.51	o 176603
62.63/62.82	o 176602
62.63/62.83	o 176588
62.63/62.83	o 176530
62.63/62.85	o 176490
62.63/62.86	o 176421
62.73/62.92	o 176360
62.73/62.92	o 176298
62.93/63.18	o 176278
62.93/63.18	o 176265
63.53/63.71	o 176253
63.53/63.72	o 176235
63.53/63.73	o 176061
63.53/63.76	o 175945
63.63/63.83	o 175915
63.63/63.83	o 175620
63.63/63.88	o 175469
63.73/63.97	o 175231
63.83/64.06	o 174993
64.13/64.38	o 174987
64.72/64.97	o 174954
64.93/65.19	o 174675
65.32/65.51	o 173001
65.52/65.79	o 172996
65.52/65.79	o 172969
65.62/65.80	o 172960
65.62/65.80	o 172951
65.62/65.83	o 172835
65.62/65.87	o 172829
65.62/65.89	o 172493
65.83/66.03	o 172471
65.83/66.04	o 172470
65.83/66.04	o 172458
65.83/66.05	o 172416
65.83/66.05	o 172398
65.83/66.05	o 172396
65.83/66.05	o 172384
65.83/66.07	o 172375
65.83/66.07	o 172366
65.83/66.08	o 172192
65.93/66.19	o 172160
65.93/66.19	o 172142
66.02/66.20	o 172115
66.02/66.21	o 172064
66.02/66.21	o 172046
66.02/66.21	o 172034
66.02/66.21	o 172016
66.02/66.22	o 172002
66.02/66.22	o 171984
66.02/66.22	o 171964
66.02/66.22	o 171796
66.02/66.22	o 171744
66.02/66.23	o 171732
66.02/66.29	o 171728
66.02/66.30	o 171714
66.12/66.30	o 171670
66.12/66.34	o 171643
66.12/66.35	o 171483
66.22/66.41	o 171307
66.32/66.54	o 171301
66.72/66.95	o 169551
67.02/67.22	o 169539
67.02/67.22	o 169533
67.02/67.22	o 169475
67.02/67.23	o 169471
67.02/67.23	o 169457
67.02/67.24	o 169448
67.02/67.25	o 169444
67.02/67.26	o 169442
67.02/67.26	o 169430
67.12/67.30	o 169421
67.12/67.32	o 169359
67.52/67.73	o 169358
67.52/67.73	o 169340
67.52/67.76	o 169279
67.52/67.77	o 169223
67.72/67.90	o 169217
68.11/68.31	o 168921
68.61/68.89	o 168915
68.61/68.89	o 168901
68.71/68.90	o 168773
68.71/68.92	o 168451
68.71/68.99	o 168277
68.82/69.02	o 168179
68.82/69.02	o 168028
68.82/69.05	o 167912
70.41/70.68	o 167852
70.41/70.68	o 167736
70.41/70.68	o 167550
70.41/70.68	o 167498
70.41/70.69	o 167434
70.41/70.69	o 167330
70.41/70.69	o 167297
70.41/70.69	o 167245
70.41/70.69	o 167181
70.41/70.69	o 167077
70.41/70.69	o 167026
70.51/70.70	o 166995
70.51/70.70	o 166661
70.51/70.70	o 165399
70.51/70.71	o 164320
70.51/70.71	o 164067
70.51/70.71	o 163963
70.51/70.72	o 163781
70.51/70.72	o 162656
70.51/70.72	o 162507
70.51/70.72	o 162403
70.51/70.73	o 162235
70.51/70.73	o 162171
70.51/70.73	o 161279
70.51/70.73	o 161091
70.51/70.74	o 161027
70.51/70.74	o 160987
70.51/70.74	o 160923
70.51/70.74	o 160741
70.51/70.75	o 160631
70.51/70.75	o 160619
70.51/70.75	o 159417
70.51/70.75	o 159177
70.51/70.75	o 159165
70.51/70.76	o 159163
70.51/70.76	o 158995
70.51/70.76	o 158983
70.51/70.76	o 157857
70.51/70.77	o 157753
70.51/70.77	o 157631
70.51/70.77	o 157577
70.51/70.77	o 157565
70.51/70.78	o 157551
70.51/70.78	o 157501
70.51/70.78	o 157487
70.51/70.78	o 157365
70.51/70.79	o 157356
70.51/70.79	o 155987
70.51/70.79	o 155703
70.61/70.81	o 155687
70.61/70.81	o 155673
70.61/70.81	o 155587
70.61/70.81	o 155573
70.61/70.81	o 155535
70.61/70.81	o 155523
70.61/70.82	o 155521
70.61/70.82	o 155509
70.61/70.82	o 155500
70.61/70.82	o 155491
70.61/70.82	o 155445
70.61/70.82	o 155433
70.61/70.83	o 155410
70.61/70.83	o 155346
70.61/70.83	o 155334
70.61/70.83	o 155325
70.61/70.83	o 155323
70.61/70.83	o 155320
70.61/70.83	o 155311
70.61/70.85	o 155309
70.61/70.85	o 155283
70.61/70.85	o 155245
70.61/70.85	o 155236
70.61/70.85	o 155227
70.61/70.85	o 155224
70.61/70.85	o 155215
70.61/70.86	o 154388
70.61/70.86	o 154379
70.61/70.86	o 154371
70.61/70.86	o 154333
70.61/70.86	o 154319
70.61/70.86	o 154310
70.61/70.87	o 154301
70.61/70.87	o 154197
70.61/70.87	o 154163
70.61/70.88	o 154149
70.61/70.88	o 154140
70.61/70.88	o 154131
70.61/70.88	o 154128
70.61/70.88	o 154119
70.61/70.89	o 154015
70.61/70.89	o 154006
70.61/70.89	o 153997
70.61/70.90	o 153948
70.71/70.90	o 153939
70.71/70.90	o 153843
70.71/70.90	o 153831
70.71/70.90	o 153817
70.71/70.91	o 153791
70.71/70.91	o 153782
70.71/70.91	o 153773
70.71/70.91	o 153642
70.71/70.91	o 153633
70.71/70.92	o 153622
70.71/70.92	o 153454
70.71/70.92	o 153402
70.71/70.92	o 153390
70.71/70.92	o 153381
70.71/70.92	o 153363
70.71/70.92	o 153349
70.71/70.93	o 153205
70.71/70.93	o 153141
70.71/70.93	o 153127
70.71/70.93	o 153115
70.71/70.93	o 153111
70.71/70.93	o 153106
70.71/70.93	o 153097
70.71/70.94	o 152988
70.71/70.94	o 152979
70.71/70.94	o 152936
70.71/70.94	o 152924
70.71/70.94	o 152915
70.71/70.94	o 152871
70.71/70.94	o 152857
70.71/70.95	o 152823
70.71/70.95	o 152811
70.71/70.95	o 152807
70.71/70.95	o 152805
70.71/70.95	o 152793
70.71/70.96	o 152787
70.71/70.96	o 152744
70.71/70.96	o 152735
70.71/70.96	o 152691
70.71/70.96	o 152677
70.71/70.96	o 152643
70.71/70.97	o 152631
70.71/70.97	o 152627
70.71/70.97	o 152625
70.71/70.97	o 152613
70.71/70.98	o 152602
70.71/70.98	o 152593
70.71/70.98	o 152587
70.71/70.99	o 152569
70.71/70.99	o 152535
70.71/70.99	o 152521
70.71/70.99	o 152517
70.71/70.99	o 152503
70.71/70.99	o 152491
70.81/71.00	o 152477
70.81/71.01	o 152448
70.81/71.01	o 152439
70.81/71.01	o 152436
70.81/71.01	o 152427
70.81/71.01	o 152422
70.81/71.01	o 152410
70.81/71.02	o 152401
70.81/71.02	o 152387
70.81/71.03	o 152359
70.81/71.03	o 152339
70.81/71.03	o 152171
70.81/71.03	o 152107
70.81/71.04	o 152087
70.81/71.04	o 152061
70.81/71.04	o 152023
70.81/71.04	o 151997
70.81/71.04	o 151875
70.81/71.05	o 151861
70.81/71.05	o 151823
70.81/71.05	o 151789
70.81/71.06	o 151769
70.81/71.06	o 151763
70.81/71.06	o 151705
70.81/71.06	o 151667
70.81/71.06	o 151653
70.81/71.07	o 151641
70.81/71.07	o 151635
70.81/71.07	o 151615
70.81/71.07	o 151557
70.81/71.07	o 151519
70.81/71.08	o 151496
70.81/71.09	o 151482
70.81/71.09	o 151470
70.81/71.09	o 151461
70.81/71.10	o 151441
70.81/71.10	o 151339
70.91/71.11	o 151320
70.91/71.11	o 151306
70.91/71.11	o 151294
70.91/71.11	o 151285
70.91/71.11	o 151265
70.91/71.11	o 151163
70.91/71.13	o 151137
70.91/71.13	o 151059
70.91/71.13	o 151047
70.91/71.16	o 151030
70.91/71.16	o 151021
70.91/71.16	o 151012
70.91/71.18	o 151001
70.91/71.18	o 150999
70.91/71.18	o 150961
70.91/71.18	o 150952
70.91/71.18	o 150946
71.00/71.20	o 150902
71.00/71.20	o 150824
71.00/71.22	o 150760
71.00/71.24	o 150754
71.00/71.24	o 150742
71.00/71.25	o 150158
71.00/71.25	o 150139
71.00/71.25	o 150037
71.00/71.26	o 149973
71.00/71.26	o 149959
71.10/71.30	o 149951
71.10/71.30	o 149909
71.10/71.30	o 149895
71.10/71.32	o 149879
71.10/71.33	o 149865
71.10/71.33	o 149813
71.10/71.33	o 149799
71.10/71.33	o 149790
71.10/71.34	o 149781
71.10/71.34	o 149769
71.10/71.34	o 149725
71.10/71.34	o 149679
71.10/71.34	o 149665
71.10/71.35	o 149656
71.10/71.35	o 149647
71.10/71.36	o 149645
71.10/71.36	o 149607
71.10/71.36	o 149595
71.10/71.36	o 149467
71.10/71.37	o 149424
71.10/71.37	o 149412
71.10/71.37	o 149403
71.10/71.37	o 149363
71.10/71.37	o 149311
71.10/71.37	o 149299
71.10/71.38	o 149293
71.10/71.38	o 149281
71.10/71.39	o 149267
71.10/71.39	o 149261
71.10/71.39	o 149145
71.20/71.41	o 149127
71.20/71.43	o 149115
71.20/71.43	o 149103
71.20/71.43	o 149089
71.20/71.45	o 147708
71.20/71.45	o 147688
71.20/71.45	o 147520
71.20/71.45	o 147456
71.20/71.46	o 147438
71.20/71.46	o 147414
71.20/71.46	o 147400
71.30/71.53	o 147392
71.30/71.54	o 146190
71.30/71.54	o 145984
71.30/71.54	o 145920
71.30/71.54	o 145906
71.30/71.56	o 145888
71.30/71.57	o 145874
71.30/71.58	o 145866
71.30/71.59	o 145864
71.30/71.59	o 145852
71.40/71.60	o 145850
71.40/71.61	o 145844
71.40/71.61	o 145832
71.40/71.61	o 145828
71.40/71.61	o 145823
71.40/71.62	o 145814
71.40/71.65	o 145811
71.40/71.65	o 145802
71.40/71.65	o 145799
71.40/71.65	o 145790
71.40/71.66	o 145773
71.40/71.66	o 145764
71.40/71.66	o 145762
71.40/71.67	o 145759
71.40/71.67	o 145750
71.50/71.72	o 145487
71.50/71.72	o 145478
71.50/71.72	o 145461
71.50/71.73	o 145452
71.50/71.73	o 145449
71.50/71.73	o 145440
71.50/71.73	o 145431
71.50/71.73	o 145422
71.50/71.74	o 145416
71.50/71.74	o 145408
71.50/71.75	o 145367
71.50/71.75	o 145364
71.50/71.75	o 145350
71.50/71.76	o 145333
71.50/71.76	o 145321
71.50/71.76	o 145304
71.50/71.77	o 145303
71.50/71.77	o 145294
71.50/71.78	o 145286
71.50/71.78	o 145243
71.50/71.78	o 145231
71.50/71.78	o 145222
71.50/71.79	o 145205
71.50/71.79	o 145191
71.50/71.79	o 145179
71.50/71.79	o 145170
71.50/71.79	o 145161
71.60/71.80	o 145115
71.60/71.80	o 145103
71.60/71.80	o 144981
71.60/71.83	o 144952
71.60/71.83	o 144943
71.60/71.84	o 144929
71.60/71.84	o 144915
71.60/71.84	o 144903
71.60/71.84	o 144781
71.60/71.85	o 144771
71.60/71.86	o 144762
71.60/71.86	o 144753
71.60/71.86	o 144750
71.60/71.86	o 144741
71.60/71.86	o 144628
71.60/71.87	o 144619
71.60/71.88	o 144613
71.60/71.88	o 144555
71.60/71.88	o 144517
71.70/71.93	o 144502
71.70/71.93	o 144488
71.70/71.93	o 144479
71.70/71.95	o 144474
71.70/71.96	o 144462
71.70/71.97	o 144430
71.70/71.97	o 144392
71.70/71.97	o 144366
71.70/71.97	o 144328
71.70/71.97	o 144314
71.70/71.98	o 144305
71.70/71.98	o 144296
71.81/72.00	o 144288
71.81/72.02	o 144260
71.81/72.02	o 144158
71.81/72.02	o 144094
71.81/72.03	o 144080
71.81/72.03	o 144071
71.81/72.03	o 144062
71.81/72.04	o 144030
71.81/72.04	o 144016
71.81/72.04	o 144004
71.81/72.05	o 143882
71.81/72.07	o 143874
71.81/72.07	o 143872
71.81/72.07	o 143860
71.81/72.08	o 143854
71.81/72.08	o 143842
71.81/72.09	o 143840
71.81/72.09	o 143794
71.81/72.09	o 143782
71.81/72.09	o 143744
71.91/72.10	o 143738
71.91/72.10	o 143733
71.91/72.11	o 143727
71.91/72.11	o 143631
71.91/72.11	o 143622
71.91/72.12	o 143616
71.91/72.12	o 143512
71.91/72.12	o 143494
71.91/72.14	o 143474
71.91/72.14	o 143456
71.91/72.15	o 143408
71.91/72.15	o 143396
71.91/72.15	o 143387
71.91/72.15	o 143378
71.91/72.17	o 143372
71.91/72.17	o 143334
71.91/72.17	o 143310
71.91/72.18	o 143264
71.91/72.18	o 143174
71.91/72.18	o 143154
71.91/72.18	o 143096
71.91/72.18	o 143058
71.91/72.18	o 143049
71.91/72.19	o 143035
71.91/72.19	o 143030
71.91/72.19	o 143021
72.00/72.20	o 143009
72.00/72.20	o 143007
72.00/72.20	o 142995
72.00/72.24	o 142986
72.00/72.24	o 142972
72.00/72.24	o 142966
72.00/72.24	o 142954
72.00/72.25	o 142952
72.00/72.25	o 142934
72.00/72.26	o 142928
72.00/72.26	o 142916
72.00/72.26	o 142870
72.00/72.26	o 142856
72.00/72.26	o 142838
72.10/72.30	o 142833
72.10/72.30	o 142821
72.10/72.31	o 142705
72.10/72.33	o 142387
72.10/72.33	o 141087
72.10/72.35	o 140907
72.10/72.36	o 140655
72.10/72.36	o 140643
72.10/72.36	o 139277
72.10/72.38	o 139214
72.10/72.38	o 139205
72.10/72.38	o 139202
72.10/72.38	o 139193
72.10/72.38	o 137905
72.20/72.40	o 137865
72.20/72.42	o 137849
72.20/72.42	o 137837
72.20/72.42	o 137811
72.20/72.42	o 137689
72.20/72.45	o 137680
72.20/72.46	o 137642
72.20/72.46	o 137624
72.30/72.51	o 137604
72.30/72.52	o 137589
72.30/72.52	o 137580
72.30/72.52	o 137510
72.70/72.90	o 137500
72.70/72.90	o 137491
72.70/72.91	o 137483
72.80/73.07	o 137453
72.80/73.08	o 135800
73.00/73.22	o 135562
73.00/73.23	o 134146
73.10/73.36	o 132606
73.10/73.37	o 132594
73.10/73.38	o 132579
73.10/73.38	o 132570
73.20/73.42	o 132562
73.20/73.44	o 132519
73.20/73.44	o 132469
73.20/73.44	o 132455
73.20/73.47	o 132446
73.20/73.48	o 132438
73.30/73.52	o 132435
73.30/73.53	o 132420
73.30/73.53	o 132411
73.30/73.59	o 132385
73.30/73.59	o 132347
73.30/73.59	o 130821
73.50/73.71	o 130815
73.50/73.71	o 130803
73.50/73.71	o 130794
73.50/73.72	o 130786
73.50/73.72	o 130516
73.50/73.72	o 130502
73.50/73.73	o 130484
73.50/73.73	o 130362
73.50/73.73	o 130279
73.50/73.74	o 130273
73.50/73.74	o 130215
73.50/73.74	o 130177
73.50/73.76	o 129965
73.50/73.76	o 129835
73.50/73.76	o 129713
73.50/73.78	o 129695
73.60/73.81	o 129521
73.60/73.89	o 129512
73.70/73.94	o 129414
73.70/73.95	o 129263
73.90/74.16	o 127769
73.99/74.25	o 127758
73.99/74.25	o 127746
73.99/74.25	o 127744
73.99/74.25	o 127732
73.99/74.26	o 127723
73.99/74.27	o 127714
73.99/74.28	o 127694
73.99/74.28	o 127682
73.99/74.28	o 127668
74.09/74.30	o 127654
74.09/74.30	o 127642
74.09/74.30	o 127627
74.09/74.30	o 127618
74.09/74.31	o 127613
74.09/74.31	o 127604
74.09/74.31	o 127587
74.09/74.31	o 127578
74.09/74.32	o 127575
74.09/74.32	o 127566
74.09/74.32	o 127562
74.09/74.32	o 127560
74.09/74.33	o 127557
74.09/74.33	o 127548
74.09/74.34	o 127540
74.09/74.34	o 127531
74.09/74.37	o 127445
74.09/74.37	o 127381
74.09/74.37	o 127363
74.09/74.37	o 127349
74.09/74.38	o 127239
74.09/74.38	o 127175
74.09/74.38	o 127111
74.09/74.38	o 127097
74.09/74.38	o 127088
74.09/74.39	o 127079
74.19/74.40	o 127071
74.19/74.41	o 127062
74.19/74.41	o 127053
74.19/74.42	o 127045
74.19/74.42	o 127007
74.19/74.44	o 126891
74.19/74.47	o 126882
74.19/74.47	o 126870
74.19/74.47	o 126856
74.19/74.48	o 126847
74.29/74.50	o 126780
74.29/74.51	o 126753
74.39/74.60	o 126742
74.39/74.61	o 126704
74.39/74.62	o 126582
74.39/74.65	o 126515
74.39/74.65	o 126452
74.39/74.66	o 126428
74.69/74.90	o 126330
74.99/75.23	o 126327
74.99/75.24	o 126301
74.99/75.24	o 126179
75.09/75.31	o 126101
75.09/75.32	o 125941
75.09/75.32	o 124653
75.19/75.40	o 124244
75.39/75.66	o 124116
75.39/75.66	o 124102
75.39/75.66	o 124090
75.39/75.66	o 123968
75.39/75.66	o 123916
75.39/75.67	o 123788
75.39/75.67	o 123748
75.39/75.67	o 123536
75.39/75.68	o 123432
75.39/75.68	o 123406
75.39/75.68	o 123284
75.39/75.69	o 123275
75.39/75.69	o 123197
75.49/75.70	o 123145
75.49/75.70	o 123107
75.49/75.70	o 123069
75.49/75.73	o 123052
75.49/75.74	o 122989
75.49/75.75	o 122974
75.49/75.75	o 122965
75.89/76.15	o 122814
76.29/76.50	o 122757
76.29/76.50	o 122745
76.29/76.51	o 122719
76.29/76.51	o 122681
76.29/76.52	o 122672
76.39/76.64	o 122654
76.50/76.78	o 122490
76.50/76.78	o 122452
76.50/76.78	o 122414
76.50/76.79	o 122406
76.50/76.79	o 122392
76.59/76.80	o 122372
76.59/76.80	o 122366
76.59/76.80	o 122308
76.59/76.80	o 122270
76.59/76.82	o 122218
76.59/76.82	o 122090
76.59/76.82	o 121908
76.59/76.83	o 121792
76.59/76.87	o 121540
76.59/76.88	o 121514
76.59/76.88	o 121392
76.90/77.14	o 121390
76.90/77.14	o 121378
76.90/77.14	o 121274
76.90/77.15	o 121236
76.90/77.16	o 121218
76.90/77.18	o 121151
76.90/77.18	o 121088
76.90/77.19	o 121064
77.09/77.37	o 120894
77.39/77.65	o 120887
77.39/77.65	o 120847
77.39/77.65	o 120725
77.39/77.66	o 120716
77.39/77.67	o 120678
77.39/77.68	o 120660
77.49/77.72	o 120651
77.49/77.73	o 120643
77.49/77.77	o 120428
77.49/77.77	o 120312
77.69/77.95	o 120218
77.80/78.07	o 120215
77.80/78.08	o 120191
77.80/78.09	o 120017
77.90/78.14	o 120009
80.58/80.82	o 119893
80.68/80.93	o 119795
80.68/80.93	o 119644
80.79/81.05	o 119543
80.79/81.05	o 119534
80.79/81.05	o 119411
80.79/81.06	o 119241
80.98/81.22	o 119026
80.98/81.22	o 117578
81.08/81.34	o 117509
81.08/81.34	o 115846
81.18/81.45	o 114288
81.48/81.76	o 113052
81.58/81.85	o 111764
81.79/82.03	o 111659
81.79/82.03	o 110076
81.98/82.20	o 108736
82.08/82.35	o 108196
82.08/82.35	o 106948
82.48/82.71	o 106864
82.48/82.72	o 106858
82.48/82.73	o 106762
82.48/82.74	o 106444
82.88/83.18	o 105601
82.88/83.18	o 105382
82.88/83.19	o 105142
83.28/83.55	o 105064
83.28/83.56	o 104986
83.28/83.56	o 103524
83.67/83.93	o 103519
83.67/83.93	o 103492
83.67/83.96	o 103483
83.67/83.97	o 103475
83.78/84.04	o 103413
83.78/84.04	o 103407
83.78/84.05	o 103334
83.97/84.22	o 101716
84.88/85.14	o 101712
84.88/85.14	o 101703
84.88/85.17	o 101607
84.88/85.17	o 101367
85.27/85.57	o 100053
85.47/85.73	o 99947
85.47/85.73	o 98294
85.47/85.73	o 96980
87.36/87.60	o 95327
87.46/87.74	o 95318
87.46/87.75	o 95240
87.46/87.75	o 95188
87.46/87.75	o 95150
87.46/87.75	o 95112
87.46/87.75	o 95100
87.46/87.76	o 95022
87.46/87.76	o 94970
87.46/87.76	o 94958
87.46/87.76	o 94946
87.46/87.76	o 94932
87.46/87.76	o 94920
87.46/87.77	o 94894
87.46/87.77	o 94882
87.46/87.77	o 94880
87.46/87.77	o 94868
87.46/87.78	o 94824
87.46/87.78	o 94822
87.46/87.78	o 94784
87.46/87.78	o 94746
87.46/87.79	o 94740
87.46/87.79	o 94702
87.46/87.79	o 94688
87.46/87.79	o 94674
87.46/87.79	o 94636
87.56/87.80	o 94624
87.56/87.80	o 94558
87.56/87.81	o 94506
87.56/87.81	o 94468
87.56/87.81	o 94454
87.56/87.81	o 94442
87.56/87.82	o 94433
87.56/87.82	o 94424
87.56/87.89	o 94423
87.56/87.89	o 94411
87.56/87.89	o 94402
87.66/87.90	o 94384
87.66/87.92	o 94376
87.77/88.08	o 94373
87.77/88.09	o 94359
87.77/88.09	o 94350
87.77/88.09	o 94341
87.87/88.11	o 94332
87.87/88.12	o 94324
87.96/88.21	o 94315
87.96/88.23	o 94309
87.96/88.23	o 94297
88.86/89.18	o 94264
88.86/89.18	o 94238
88.86/89.18	o 94224
88.86/89.19	o 94212
88.86/89.19	o 94203
88.95/89.21	o 94133
88.95/89.21	o 94005
88.95/89.21	o 93889
88.95/89.22	o 93872
88.95/89.26	o 93869
88.95/89.27	o 93854
88.95/89.27	o 93845
89.05/89.34	o 93832
89.05/89.37	o 93821
89.05/89.38	o 93815
89.05/89.38	o 93809
89.05/89.39	o 93806
89.05/89.39	o 93797
89.15/89.43	o 93788
89.15/89.48	o 93773
89.15/89.49	o 93735
89.15/89.49	o 93721
89.25/89.55	o 93694
89.66/89.99	o 93653
89.66/89.99	o 93575
89.66/89.99	o 93523
89.66/89.99	o 93485
89.66/89.99	o 93447
89.77/90.00	o 93439
91.26/91.56	o 93424
91.26/91.58	o 93174
91.26/91.58	o 93160
91.26/91.58	o 93151
91.26/91.58	o 93143
91.26/91.59	o 93142
91.26/91.59	o 93134
91.36/91.66	o 93127
91.36/91.66	o 93123
91.36/91.66	o 93109
91.36/91.67	o 93105
91.36/91.67	o 93091
91.46/91.70	o 93088
91.46/91.70	o 93048
91.46/91.71	o 93039
91.46/91.74	o 93004
91.46/91.75	o 93001
91.46/91.75	o 92979
91.46/91.76	o 92961
91.46/91.76	o 92952
91.46/91.76	o 92943
91.46/91.77	o 92935
91.56/91.83	o 92926
91.56/91.84	o 92917
91.56/91.88	o 92908
91.56/91.88	o 92890
91.66/91.94	o 92887
91.66/91.94	o 92878
91.66/91.94	o 92860
91.66/91.97	o 92565
91.76/92.03	o 92558
91.76/92.03	o 92546
91.76/92.04	o 92537
91.76/92.04	o 92519
91.76/92.05	o 92492
91.86/92.11	o 92486
91.86/92.11	o 92390
91.86/92.17	o 92383
91.86/92.17	o 92374
91.86/92.18	o 92365
91.86/92.18	o 92072
92.25/92.53	o 91832
92.55/92.82	o 91830
92.55/92.82	o 91818
92.55/92.84	o 91812
92.55/92.84	o 91800
92.55/92.84	o 91786
92.55/92.85	o 91777
92.55/92.85	o 91769
92.55/92.86	o 91766
92.55/92.86	o 91757
92.55/92.87	o 91748
92.55/92.87	o 91739
92.76/93.05	o 91547
92.86/93.19	o 91543
92.86/93.19	o 91534
92.95/93.21	o 91533
92.95/93.21	o 91525
92.95/93.22	o 91524
92.95/93.22	o 91515
92.95/93.22	o 91507
92.95/93.23	o 91483
92.95/93.23	o 91469
92.95/93.27	o 91466
92.95/93.27	o 91454
92.95/93.28	o 91445
92.95/93.29	o 91418
93.05/93.34	o 90208
93.25/93.59	o 90202
93.25/93.59	o 90193
93.25/93.59	o 90185
93.35/93.61	o 90167
93.35/93.63	o 90140
93.76/94.04	o 90054
93.76/94.04	o 88382
94.05/94.39	o 88371
94.05/94.39	o 88362
94.05/94.39	o 88354
94.15/94.40	o 88172
94.15/94.41	o 87789
94.15/94.43	o 87780
94.15/94.45	o 87753
94.15/94.46	o 87428
94.25/94.52	o 87417
94.25/94.52	o 87408
94.25/94.53	o 87390
94.25/94.56	o 87274
94.35/94.61	o 87273
94.35/94.61	o 87261
94.35/94.61	o 87253
94.35/94.62	o 87235
94.35/94.63	o 87061
94.35/94.66	o 87034
94.45/94.74	o 87033
94.45/94.75	o 87025
94.55/94.81	o 86963
94.55/94.81	o 86957
95.15/95.44	o 86847
95.15/95.45	o 86814
95.15/95.45	o 86754
96.44/96.74	o 86745
96.44/96.74	o 86728
96.44/96.76	o 86704
96.54/96.81	o 86588
96.75/97.09	o 86582
96.94/97.20	o 86483
96.94/97.20	o 86399
96.94/97.21	o 86393
96.94/97.21	o 85979
97.85/98.18	o 85973
97.85/98.19	o 85877
97.85/98.19	o 85637
98.34/98.65	o 85629
98.34/98.65	o 85620
98.34/98.66	o 85612
98.34/98.67	o 85608
98.34/98.68	o 85594
98.34/98.69	o 85588
98.44/98.72	o 85577
98.44/98.73	o 85571
98.44/98.74	o 85562
98.44/98.76	o 85561
98.44/98.76	o 85553
98.44/98.77	o 85544
98.74/99.03	o 85543
98.74/99.03	o 85531
98.74/99.04	o 85513
98.74/99.10	o 85445
99.04/99.32	o 85444
99.04/99.33	o 85380
99.04/99.33	o 85366
99.04/99.39	o 85358
99.14/99.40	o 85352
99.14/99.48	o 85262
99.14/99.48	o 84992
99.14/99.48	o 83730
100.23/100.50	o 82468
100.63/100.97	o 82459
100.63/100.98	o 82451
100.63/100.99	o 82393
100.63/100.99	o 82379
100.74/101.00	o 82378
100.74/101.01	o 82370
100.74/101.01	o 82332
100.74/101.02	o 82181
100.74/101.02	o 82065
100.74/101.02	o 82056
100.74/101.02	o 82048
100.74/101.10	o 82034
100.74/101.10	o 82025
100.84/101.11	o 82014
100.84/101.11	o 82000
100.84/101.12	o 81992
100.84/101.12	o 81980
100.84/101.12	o 81960
100.84/101.12	o 81922
100.84/101.13	o 81902
100.84/101.13	o 81890
100.84/101.14	o 81887
100.84/101.14	o 81878
100.84/101.15	o 81820
100.84/101.15	o 81768
100.84/101.15	o 81756
100.84/101.17	o 81752
100.84/101.18	o 81747
100.84/101.18	o 81738
100.93/101.21	o 81732
100.93/101.21	o 81723
100.93/101.22	o 81714
100.93/101.23	o 81700
100.93/101.24	o 81691
100.93/101.24	o 81682
100.93/101.26	o 81673
100.93/101.28	o 81665
102.33/102.62	o 81450
102.33/102.66	o 81334
102.53/102.81	o 81266
102.73/103.03	o 81206
104.73/105.05	o 79430
105.02/105.33	o 79425
105.02/105.34	o 79419
105.02/105.35	o 79404
105.02/105.35	o 79395
105.02/105.38	o 79387
105.12/105.40	o 79381
105.12/105.44	o 79371
105.12/105.45	o 79348
105.12/105.46	o 79339
105.12/105.46	o 79335
105.12/105.47	o 79333
105.12/105.48	o 79330
105.12/105.48	o 79321
105.22/105.50	o 79312
105.22/105.50	o 79303
105.22/105.51	o 79302
105.22/105.51	o 79294
105.22/105.54	o 79288
105.22/105.57	o 79244
105.22/105.57	o 79235
105.22/105.57	o 79227
105.22/105.58	o 79218
105.22/105.58	o 79204
105.22/105.58	o 79201
105.22/105.59	o 79195
105.22/105.59	o 79187
105.32/105.60	o 79179
105.32/105.60	o 79167
105.32/105.60	o 79117
105.32/105.61	o 79111
105.32/105.61	o 79103
105.32/105.64	o 79092
105.32/105.64	o 79078
105.32/105.65	o 79068
105.32/105.65	o 79054
105.32/105.65	o 79050
105.32/105.66	o 79042
105.32/105.66	o 78842
105.32/105.67	o 78740
105.32/105.67	o 78728
105.32/105.68	o 78720
105.42/105.75	o 78719
105.42/105.76	o 78711
105.42/105.76	o 78705
105.42/105.77	o 78693
105.52/105.82	o 78692
105.52/105.86	o 78689
105.52/105.86	o 78677
105.52/105.87	o 78661
105.52/105.87	o 78647
105.52/105.88	o 78639
105.62/105.93	o 78638
105.62/105.94	o 78630
105.72/106.01	o 78624
106.12/106.41	o 78605
106.12/106.42	o 78591
106.12/106.44	o 78555
106.12/106.44	o 78541
106.12/106.44	o 78529
106.22/106.56	o 78503
106.22/106.57	o 78491
106.22/106.57	o 78477
106.22/106.58	o 78471
106.32/106.62	o 78433
106.42/106.73	o 78430
106.42/106.73	o 78406
106.82/107.16	o 78397
108.11/108.43	o 78377
108.41/108.70	o 78371
108.81/109.13	o 77135
110.71/111.10	o 76787
115.19/115.53	o 75629
117.09/117.49	o 75339
117.19/117.51	o 75305
117.19/117.54	o 75299
120.78/121.17	o 75289
120.78/121.17	o 73963
120.78/121.18	o 73957
120.98/121.33	o 73894
120.98/121.33	o 73870
121.08/121.41	o 73861
121.18/121.55	o 73799
124.77/125.19	o 73793
124.77/125.19	o 73791
124.77/125.19	o 73779
124.87/125.20	o 73771
124.87/125.20	o 73769
124.87/125.20	o 73767
124.87/125.20	o 73755
124.87/125.21	o 73747
124.87/125.21	o 73738
124.87/125.21	o 73726
124.87/125.21	o 73723
124.87/125.21	o 73714
124.87/125.22	o 73700
124.87/125.27	o 73694
124.97/125.30	o 73326
124.97/125.32	o 73321
124.97/125.32	o 73315
124.97/125.33	o 73295
124.97/125.33	o 73289
124.97/125.33	o 73231
124.97/125.35	o 73115
125.77/126.11	o 73113
125.77/126.11	o 73099
125.77/126.12	o 73093
125.77/126.12	o 72977
125.77/126.14	o 72959
125.96/126.37	o 72953
129.06/129.44	o 72571
139.13/139.58	o 72567
139.13/139.59	o 70896
139.13/139.59	o 70861
139.13/139.59	o 70852
140.13/140.57	o 70851
140.13/140.57	o 70842
140.13/140.58	o 70779
140.13/140.58	o 70770
140.13/140.58	o 70764
140.23/140.60	o 70752
140.23/140.60	o 70743
140.23/140.60	o 70684
140.23/140.61	o 70675
140.23/140.61	o 68987
140.23/140.61	o 68969
140.23/140.61	o 68960
140.43/140.80	o 68954
140.43/140.80	o 68838
142.42/142.84	o 68829
142.42/142.84	o 68820
142.42/142.85	o 68724
142.42/142.85	o 68706
142.42/142.85	o 68665
142.42/142.85	o 68647
142.42/142.85	o 68638
143.02/143.49	o 68384
143.02/143.49	o 68366
143.02/143.49	o 68100
143.12/143.50	o 68082
143.12/143.50	o 68041
143.12/143.50	o 67794
143.12/143.51	o 67785
143.12/143.55	o 67746
143.12/143.55	o 67728
143.12/143.55	o 67719
143.12/143.56	o 67621
143.12/143.56	o 67603
143.22/143.61	o 67590
143.22/143.61	o 67572
143.22/143.61	o 67563
143.32/143.72	o 67536
143.52/143.98	o 67534
143.52/143.98	o 67466
143.63/144.01	o 67454
143.63/144.02	o 67414
148.71/149.14	o 65837
151.90/152.39	o 65825
151.90/152.39	o 65807
152.00/152.40	o 65755
152.00/152.40	o 65661
152.00/152.44	o 65563
152.10/152.56	o 65557
154.89/155.35	o 65501
154.89/155.35	o 65489
154.89/155.35	o 65451
155.09/155.50	o 65219
156.79/157.21	o 64837
161.48/161.96	o 64541
162.37/162.85	o 64448
176.64/177.16	o 63983
176.64/177.16	o 63951
176.64/177.17	o 63893
176.64/177.17	o 63766
176.64/177.17	o 63704
177.74/178.26	o 63581
209.95/210.55	o 62371
230.30/230.93	o 60869
230.30/230.95	o 60863
241.38/242.05	o 60851
241.38/242.06	o 60842
241.38/242.06	o 60804
242.27/242.98	o 60468
276.09/276.82	o 59290
311.50/312.34	o 57714
346.91/347.81	o 56556
364.08/365.04	o 56288
364.08/365.04	o 56137
364.08/365.07	o 56128
380.43/381.42	o 54996
467.82/469.01	o 53402
467.82/469.06	o 52296
556.49/557.91	o 52272
556.49/557.91	o 52107
556.78/558.29	o 52089
556.98/558.45	o 52081
587.41/588.95	o 51001
772.35/774.36	o 50968
777.83/779.82	o 50891
783.82/785.85	o 50724
791.90/793.96	o 50686
791.90/793.96	o 50674
791.90/793.97	o 50276
792.50/794.53	o 50267
835.00/837.10	o 50175
839.18/841.33	o 50171
839.18/841.33	o 50162
1034.99/1037.67	s OPTIMUM FOUND
1034.99/1037.67	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

Verifier Data 

OK	50162

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=838191, runsolver pid=838188

[startup+0.10038 s]*
/proc/loadavg: 4.54 4.29 4.17 5/257 838192
/proc/meminfo: memFree=124194048/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=31824 memory=11232 CPUtime=0.09 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 2131 0 0 0 9 0 0 0 20 0 1 0 162621757 32587776 2808 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 7956 2808 819 746 0 7020 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31824 KiB
Current children cumulated memory: 11232 KiB

[startup+0.205546 s]*
/proc/loadavg: 4.54 4.29 4.17 5/257 838192
/proc/meminfo: memFree=124189168/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=33540 memory=15388 CPUtime=0.2 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 2677 0 0 0 20 0 0 0 20 0 1 0 162621757 34344960 3847 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 8385 3847 819 746 0 7449 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33540 KiB
Current children cumulated memory: 15388 KiB

[startup+0.305575 s]*
/proc/loadavg: 4.54 4.29 4.17 5/257 838192
/proc/meminfo: memFree=124184180/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=36384 memory=20336 CPUtime=0.29 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 3388 0 0 0 29 0 0 0 20 0 1 0 162621757 37257216 5084 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 9096 5084 819 746 0 8160 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 36384 KiB
Current children cumulated memory: 20336 KiB

[startup+0.700189 s]
/proc/loadavg: 4.54 4.29 4.17 5/257 838192
/proc/meminfo: memFree=124181488/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=42232 memory=29704 CPUtime=0.69 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 4669 0 0 0 68 1 0 0 20 0 1 0 162621757 43245568 7426 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 10558 7426 819 746 0 9622 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42232 KiB
Current children cumulated memory: 29704 KiB

[startup+1.50024 s]
/proc/loadavg: 4.54 4.29 4.17 5/257 838192
/proc/meminfo: memFree=124169100/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=45200 memory=39064 CPUtime=1.48 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 5481 0 0 0 147 1 0 0 20 0 1 0 162621757 46284800 9766 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 11300 9766 835 746 0 10364 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45200 KiB
Current children cumulated memory: 39064 KiB

[startup+3.10556 s]
/proc/loadavg: 4.58 4.31 4.17 5/257 838194
/proc/meminfo: memFree=124142852/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=70916 memory=61556 CPUtime=3.08 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 8778 0 0 0 307 1 0 0 20 0 1 0 162621757 72617984 15389 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 17729 15389 835 746 0 16793 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 70916 KiB
Current children cumulated memory: 61556 KiB

[startup+6.30023 s]
/proc/loadavg: 4.58 4.31 4.17 5/257 838194
/proc/meminfo: memFree=124115496/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=114368 memory=90760 CPUtime=6.27 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 12934 0 0 0 624 3 0 0 20 0 1 0 162621757 117112832 22690 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 28592 22690 835 746 0 27656 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 114368 KiB
Current children cumulated memory: 90760 KiB

[startup+12.7002 s]
/proc/loadavg: 4.53 4.30 4.17 5/257 838194
/proc/meminfo: memFree=124100384/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=120768 memory=104640 CPUtime=12.65 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 14883 0 0 0 1261 4 0 0 20 0 1 0 162621757 123666432 26160 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 30192 26160 835 746 0 29256 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 120768 KiB
Current children cumulated memory: 104640 KiB

[startup+25.5003 s]
/proc/loadavg: 4.48 4.30 4.17 5/257 838197
/proc/meminfo: memFree=124054708/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=195308 memory=148584 CPUtime=25.42 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 21753 0 0 0 2535 7 0 0 20 0 1 0 162621757 199995392 37146 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 48827 37146 835 746 0 47891 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 195308 KiB
Current children cumulated memory: 148584 KiB

[startup+51.1056 s]
/proc/loadavg: 4.39 4.29 4.17 6/255 838200
/proc/meminfo: memFree=123982288/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=195812 memory=149184 CPUtime=50.97 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 21977 0 0 0 5089 8 0 0 20 0 1 0 162621757 200511488 37296 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 48953 37296 835 746 0 48017 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 195812 KiB
Current children cumulated memory: 149184 KiB

[startup+102.3 s]
/proc/loadavg: 4.24 4.26 4.17 5/255 838208
/proc/meminfo: memFree=123725824/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=212812 memory=162292 CPUtime=102.03 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 25337 0 0 0 10193 10 0 0 20 0 1 0 162621757 217919488 40573 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 53203 40573 835 746 0 52267 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 212812 KiB
Current children cumulated memory: 162292 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.23 4.16 5/255 838219
/proc/meminfo: memFree=123607116/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=212812 memory=162456 CPUtime=161.87 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 25379 0 0 0 16177 10 0 0 20 0 1 0 162621757 217919488 40614 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 53203 40614 835 746 0 52267 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 212812 KiB
Current children cumulated memory: 162456 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.20 4.16 5/255 838229
/proc/meminfo: memFree=123489328/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=212812 memory=162456 CPUtime=221.73 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 25397 0 0 0 22163 10 0 0 20 0 1 0 162621757 217919488 40614 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 53203 40614 835 746 0 52267 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 212812 KiB
Current children cumulated memory: 162456 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.19 4.16 5/254 838239
/proc/meminfo: memFree=123453004/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=212812 memory=162456 CPUtime=281.58 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 25410 0 0 0 28148 10 0 0 20 0 1 0 162621757 217919488 40614 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 53203 40614 835 746 0 52267 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 212812 KiB
Current children cumulated memory: 162456 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.17 4.15 5/257 838255
/proc/meminfo: memFree=123430228/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=212812 memory=162588 CPUtime=341.43 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 25456 0 0 0 34133 10 0 0 20 0 1 0 162621757 217919488 40647 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 53203 40647 835 746 0 52267 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 212812 KiB
Current children cumulated memory: 162588 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.15 4.15 5/257 838265
/proc/meminfo: memFree=123391172/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=213008 memory=162588 CPUtime=401.28 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 25488 0 0 0 40118 10 0 0 20 0 1 0 162621757 218120192 40647 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 53252 40647 835 746 0 52316 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 213008 KiB
Current children cumulated memory: 162588 KiB

[startup+462.3 s]
/proc/loadavg: 4.47 4.23 4.18 5/257 838276
/proc/meminfo: memFree=123328496/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=213220 memory=162748 CPUtime=461.13 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 25566 0 0 0 46103 10 0 0 20 0 1 0 162621757 218337280 40687 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 53305 40687 835 746 0 52369 0

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

/proc/loadavg: 4.15 4.18 4.16 5/257 838342
/proc/meminfo: memFree=122229132/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=214852 memory=164416 CPUtime=580.82 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 25997 0 0 0 58072 10 0 0 20 0 1 0 162621757 220008448 41104 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 53713 41104 835 746 0 52777 0
Current children cumulated CPU time: 580.82 s
Current children cumulated vsize: 214852 KiB
Current children cumulated memory: 164416 KiB

[startup+642.3 s]
/proc/loadavg: 4.05 4.15 4.15 5/254 838352
/proc/meminfo: memFree=122184452/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=215172 memory=164884 CPUtime=640.68 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 26107 0 0 0 64058 10 0 0 20 0 1 0 162621757 220336128 41221 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 53793 41221 835 746 0 52857 0
Current children cumulated CPU time: 640.68 s
Current children cumulated vsize: 215172 KiB
Current children cumulated memory: 164884 KiB

[startup+702.3 s]
/proc/loadavg: 4.12 4.15 4.15 6/254 838362
/proc/meminfo: memFree=122038508/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=215428 memory=165120 CPUtime=700.53 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 26173 0 0 0 70043 10 0 0 20 0 1 0 162621757 220598272 41280 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 53857 41280 835 746 0 52921 0
Current children cumulated CPU time: 700.53 s
Current children cumulated vsize: 215428 KiB
Current children cumulated memory: 165120 KiB

[startup+762.3 s]
/proc/loadavg: 4.17 4.15 4.15 5/254 838373
/proc/meminfo: memFree=121627156/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=215620 memory=165320 CPUtime=760.38 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 26236 0 0 0 76028 10 0 0 20 0 1 0 162621757 220794880 41330 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 53905 41330 835 746 0 52969 0
Current children cumulated CPU time: 760.38 s
Current children cumulated vsize: 215620 KiB
Current children cumulated memory: 165320 KiB

[startup+822.3 s]
/proc/loadavg: 4.10 4.14 4.15 5/254 838383
/proc/meminfo: memFree=121625100/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=215780 memory=165320 CPUtime=820.23 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 26293 0 0 0 82013 10 0 0 20 0 1 0 162621757 220958720 41330 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 53945 41330 835 746 0 53009 0
Current children cumulated CPU time: 820.23 s
Current children cumulated vsize: 215780 KiB
Current children cumulated memory: 165320 KiB

[startup+882.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/254 838393
/proc/meminfo: memFree=121559560/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=216004 memory=165696 CPUtime=880.08 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 26380 0 0 0 87998 10 0 0 20 0 1 0 162621757 221188096 41424 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 54001 41424 835 746 0 53065 0
Current children cumulated CPU time: 880.08 s
Current children cumulated vsize: 216004 KiB
Current children cumulated memory: 165696 KiB

[startup+942.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/256 838409
/proc/meminfo: memFree=121544424/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=216836 memory=166412 CPUtime=939.93 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 26561 0 0 0 93983 10 0 0 20 0 1 0 162621757 222040064 41603 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 54209 41603 835 746 0 53273 0
Current children cumulated CPU time: 939.93 s
Current children cumulated vsize: 216836 KiB
Current children cumulated memory: 166412 KiB

[startup+1002.3 s]
/proc/loadavg: 4.18 4.14 4.14 5/257 838420
/proc/meminfo: memFree=121411400/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=216836 memory=166412 CPUtime=999.78 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 26585 0 0 0 99968 10 0 0 20 0 1 0 162621757 222040064 41603 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 54209 41603 835 746 0 53273 0
Current children cumulated CPU time: 999.78 s
Current children cumulated vsize: 216836 KiB
Current children cumulated memory: 166412 KiB

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

# cumulated CPU time of all completed processes:  user=1034.97 s, system=0.115706 s

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

[startup+1024 s]*
/proc/loadavg: 4.12 4.12 4.14 5/257 838427
/proc/meminfo: memFree=121287352/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=219008 memory=168164 CPUtime=1021.43 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 27060 0 0 0 102133 10 0 0 20 0 1 0 162621757 224264192 42041 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 54752 42041 835 746 0 53816 0
Current children cumulated CPU time: 1021.43 s
Current children cumulated vsize: 219008 KiB
Current children cumulated memory: 168164 KiB

[startup+1030.4 s]
/proc/loadavg: 4.11 4.12 4.14 5/257 838427
/proc/meminfo: memFree=121277636/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=219008 memory=168164 CPUtime=1027.81 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 27061 0 0 0 102771 10 0 0 20 0 1 0 162621757 224264192 42041 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 54752 42041 835 746 0 53816 0
Current children cumulated CPU time: 1027.81 s
Current children cumulated vsize: 219008 KiB
Current children cumulated memory: 168164 KiB

[startup+1033.6 s]
/proc/loadavg: 4.10 4.12 4.13 5/257 838428
/proc/meminfo: memFree=121270580/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=219436 memory=168692 CPUtime=1031 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 27163 0 0 0 103090 10 0 0 20 0 1 0 162621757 224702464 42173 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 54859 42173 835 746 0 53923 0
Current children cumulated CPU time: 1031 s
Current children cumulated vsize: 219436 KiB
Current children cumulated memory: 168692 KiB

[startup+1035.2 s]
/proc/loadavg: 4.10 4.12 4.13 5/257 838428
/proc/meminfo: memFree=121268196/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=219436 memory=168692 CPUtime=1032.6 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 27163 0 0 0 103250 10 0 0 20 0 1 0 162621757 224702464 42173 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 54859 42173 835 746 0 53923 0
Current children cumulated CPU time: 1032.6 s
Current children cumulated vsize: 219436 KiB
Current children cumulated memory: 168692 KiB

[startup+1036.8 s]
/proc/loadavg: 4.10 4.12 4.13 5/257 838428
/proc/meminfo: memFree=121267244/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=219436 memory=168692 CPUtime=1034.19 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 27163 0 0 0 103409 10 0 0 20 0 1 0 162621757 224702464 42173 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 54859 42173 835 746 0 53923 0
Current children cumulated CPU time: 1034.19 s
Current children cumulated vsize: 219436 KiB
Current children cumulated memory: 168692 KiB

[startup+1037.2 s]
/proc/loadavg: 4.10 4.12 4.13 5/257 838428
/proc/meminfo: memFree=121266180/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=219436 memory=168692 CPUtime=1034.59 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 27163 0 0 0 103449 10 0 0 20 0 1 0 162621757 224702464 42173 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 54859 42173 835 746 0 53923 0
Current children cumulated CPU time: 1034.59 s
Current children cumulated vsize: 219436 KiB
Current children cumulated memory: 168692 KiB

[startup+1037.6 s]
/proc/loadavg: 4.10 4.12 4.13 5/257 838428
/proc/meminfo: memFree=121266180/131524600 swapFree=131071996/131071996
[pid=838191] ppid=838188 vsize=219436 memory=168692 CPUtime=1034.99 cores=5,7
/proc/838191/stat : 838191 (Exact_nosoplex) R 838188 838191 832279 0 -1 4194304 27163 0 0 0 103489 10 0 0 20 0 1 0 162621757 224702464 42173 134679101440 4194304 7248369 140724240349376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 24412160 140724240356268 140724240356447 140724240356447 140724240363462 0
/proc/838191/statm: 54859 42173 835 746 0 53923 0
Current children cumulated CPU time: 1034.99 s
Current children cumulated vsize: 219436 KiB
Current children cumulated memory: 168692 KiB

Child status: 30

Real time (s): 1037.68
CPU time (s): 1035.09
CPU user time (s): 1034.97
CPU system time (s): 0.115706
CPU usage (%): 99.7502
Max. virtual memory (cumulated for all children) (KiB): 219436
Max. memory (cumulated for all children) (KiB): 168692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1034.97
system time used= 0.115706
maximum resident set size= 168692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27164
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= 626


# summary of solver processes directly reported to runsolver:
#   pid: 838191
#   total CPU time (s): 1035.09
#   total CPU user time (s): 1034.97
#   total CPU system time (s): 0.115706

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.7751 second user time and 5.25098 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-16 06:35:33
IDJOB=4433552
IDBENCH=148148
IDSOLVER=3061
FILE ID=nodeC033/4433552-1721104520
RUNJOBID= nodeC033-1721096611-832292
SLURM_JOB_ID= 7505611
Free space on /tmp= 890068 MiB

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

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

MD5SUM BENCH= e4e66f4daa42a17f1f7cec3a27a30418
RANDOM SEED=1255061317

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124202328 kB
MemAvailable:   127127016 kB
Buffers:          417876 kB
Cached:          3311720 kB
SwapCached:            0 kB
Active:           673696 kB
Inactive:        5983240 kB
Active(anon):       1580 kB
Inactive(anon):  2963144 kB
Active(file):     672116 kB
Inactive(file):  3020096 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4616 kB
Writeback:             0 kB
AnonPages:       2926380 kB
Mapped:           114208 kB
Shmem:             37716 kB
KReclaimable:     144244 kB
Slab:             255156 kB
SReclaimable:     144244 kB
SUnreclaim:       110912 kB
KernelStack:        4140 kB
PageTables:        15340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4207144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61344 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1662976 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      256724 kB
DirectMap2M:    25731072 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC033 at 2024-07-16 06:52:50