Trace number 4455923

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Exact_no_SoPlex 2024-07-05OPTIMUM 191.379 191.867

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf6.ucl--soft-0-100-0.wbo
MD5SUM5c99007ab0c844b346484c471f4c57e4
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1.26255
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1804
Total number of constraints4931
Number of soft constraints4931
Number of constraints which are clauses4707
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints224
Minimum length of a constraint1
Maximum length of a constraint9
Top cost 248953
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 248952
Biggest number in a constraint 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 64
Number of bits of the biggest sum of numbers7
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.06	o 48647
0.00/0.07	o 37757
0.00/0.07	o 37669
0.00/0.07	o 37585
0.00/0.08	o 37569
0.00/0.08	o 37561
0.00/0.08	o 37534
0.00/0.09	o 37527
0.00/0.09	o 37470
0.00/0.10	o 37462
0.09/0.10	o 37209
0.09/0.10	o 37184
0.09/0.11	o 37180
0.09/0.11	o 37122
0.09/0.12	o 37107
0.09/0.13	o 37100
0.09/0.13	o 36983
0.09/0.13	o 36938
0.09/0.14	o 36937
0.09/0.16	o 36933
0.09/0.17	o 36930
0.09/0.17	o 36929
0.09/0.17	o 36928
0.09/0.17	o 36927
0.20/0.22	o 36884
0.40/0.42	o 36875
0.40/0.42	o 36863
0.40/0.42	o 36862
0.40/0.43	o 36858
0.40/0.48	o 36847
0.49/0.59	o 36830
0.68/0.78	o 36819
0.68/0.78	o 36815
0.68/0.79	o 36808
0.78/0.80	o 36741
0.78/0.89	o 36740
0.88/0.93	o 36728
0.88/0.94	o 36712
0.88/0.95	o 36690
0.88/0.98	o 36666
1.00/1.00	o 36649
1.00/1.01	o 36643
1.00/1.01	o 36634
1.00/1.01	o 36590
1.00/1.08	o 36589
1.00/1.09	o 36573
1.09/1.11	o 36545
1.09/1.15	o 36526
1.09/1.17	o 36522
1.19/1.21	o 36520
1.19/1.22	o 36488
1.19/1.24	o 36424
1.19/1.26	o 36381
1.29/1.34	o 36363
1.29/1.39	o 36352
1.29/1.39	o 36275
1.59/1.62	o 36273
1.59/1.63	o 36265
1.59/1.65	o 36234
1.69/1.74	o 36228
1.79/1.82	o 36218
1.79/1.89	o 36165
1.99/2.01	o 36159
1.99/2.01	o 36158
1.99/2.02	o 36150
1.99/2.06	o 36135
2.19/2.24	o 36121
2.19/2.24	o 36115
2.19/2.26	o 36110
2.19/2.26	o 36095
2.19/2.28	o 36085
2.19/2.29	o 36070
2.29/2.31	o 36058
2.39/2.43	o 36044
2.39/2.44	o 36043
2.58/2.60	o 36036
2.68/2.71	o 36031
2.68/2.71	o 36016
2.68/2.79	o 36014
2.68/2.79	o 36011
2.78/2.80	o 36006
2.78/2.80	o 36003
2.78/2.81	o 35995
2.78/2.86	o 35985
2.88/2.90	o 35984
2.88/2.91	o 35969
3.08/3.19	o 35967
3.08/3.20	o 35964
3.18/3.20	o 35956
3.18/3.24	o 35948
3.18/3.24	o 35947
3.18/3.28	o 35878
3.38/3.44	o 35845
4.28/4.36	o 35842
4.48/4.52	o 35832
4.58/4.67	o 35831
4.68/4.70	o 35763
4.68/4.72	o 35739
4.68/4.73	o 35721
4.68/4.73	o 35713
4.68/4.73	o 35690
4.68/4.74	o 35639
4.68/4.74	o 35603
4.68/4.75	o 35596
4.68/4.76	o 35504
4.68/4.78	o 35489
4.78/4.85	o 35477
4.78/4.85	o 35469
4.78/4.86	o 35446
4.88/4.99	o 35440
4.88/5.00	o 35028
4.98/5.02	o 34981
4.98/5.09	o 34978
4.98/5.09	o 34964
5.08/5.11	o 34952
5.08/5.11	o 34910
5.17/5.20	o 34904
7.17/7.21	o 34893
7.17/7.22	o 34892
7.47/7.58	o 34883
7.87/7.96	o 34867
7.87/7.96	o 34828
8.27/8.30	o 34827
8.47/8.53	o 34768
8.87/8.91	o 34757
8.87/8.91	o 34723
9.07/9.16	o 34674
9.07/9.16	o 34670
9.26/9.36	o 34661
9.26/9.37	o 34249
9.26/9.37	o 34215
9.46/9.54	o 34211
9.46/9.56	o 34188
9.56/9.64	o 34185
9.56/9.64	o 34181
9.66/9.72	o 34177
9.66/9.73	o 33765
9.76/9.84	o 33755
9.76/9.84	o 33754
9.86/9.90	o 33733
9.97/10.05	o 33720
10.07/10.13	o 33714
10.07/10.13	o 33708
10.17/10.21	o 33693
10.17/10.22	o 33687
10.27/10.34	o 33666
10.27/10.35	o 33254
10.27/10.35	o 33240
10.47/10.57	o 33202
10.47/10.57	o 33201
10.57/10.60	o 33180
10.57/10.62	o 33166
10.67/10.78	o 33129
10.86/10.90	o 33126
10.86/10.90	o 33104
10.86/10.91	o 33084
10.97/11.05	o 33006
10.97/11.06	o 32594
11.07/11.16	o 32589
11.16/11.23	o 32539
11.16/11.28	o 32536
11.16/11.28	o 32522
11.26/11.30	o 32461
11.26/11.31	o 32049
11.26/11.31	o 32044
11.26/11.31	o 32008
11.26/11.31	o 32006
11.26/11.37	o 31984
11.36/11.43	o 31973
11.36/11.44	o 31965
11.36/11.44	o 31955
11.36/11.44	o 31953
11.36/11.45	o 31927
11.46/11.53	o 31925
11.46/11.53	o 31924
11.56/11.67	o 31912
11.56/11.68	o 31500
11.56/11.68	o 31486
11.66/11.70	o 31466
11.66/11.70	o 31460
11.66/11.70	o 31452
11.66/11.71	o 31438
11.76/11.80	o 31433
11.76/11.80	o 31425
11.76/11.89	o 31395
11.86/11.98	o 31394
11.86/11.98	o 31386
11.86/11.99	o 31375
12.07/12.12	o 31363
12.07/12.12	o 30951
12.07/12.13	o 30913
12.07/12.13	o 30911
12.07/12.13	o 30905
12.16/12.26	o 30896
12.16/12.27	o 30882
12.26/12.37	o 30867
12.56/12.62	o 30854
12.56/12.63	o 30840
12.66/12.78	o 30797
12.86/12.92	o 30751
12.86/12.93	o 30339
12.86/12.93	o 30333
13.06/13.12	o 30327
13.06/13.13	o 30262
13.15/13.23	o 30224
13.25/13.34	o 30223
13.25/13.34	o 30222
13.25/13.34	o 30220
13.35/13.43	o 30168
13.35/13.43	o 29756
13.45/13.50	o 29735
13.45/13.57	o 29721
13.56/13.62	o 29720
13.56/13.62	o 29692
13.66/13.72	o 29656
13.66/13.73	o 29244
13.66/13.73	o 29232
13.76/13.87	o 29229
13.76/13.87	o 29215
13.86/13.94	o 29208
13.86/13.95	o 29182
13.96/14.02	o 29128
14.06/14.16	o 29127
14.06/14.16	o 29119
14.06/14.17	o 29096
14.16/14.22	o 29072
16.84/16.99	o 29070
16.84/17.00	o 29068
16.95/17.00	o 29065
16.95/17.05	o 29063
16.95/17.06	o 29058
16.95/17.07	o 29050
16.95/17.07	o 29037
16.95/17.09	o 29032
16.95/17.10	o 29003
16.95/17.10	o 28975
17.05/17.10	o 28971
17.05/17.10	o 28965
17.24/17.33	o 28962
17.24/17.36	o 28960
17.24/17.38	o 28937
17.34/17.42	o 28936
17.34/17.46	o 28914
17.34/17.47	o 28913
17.34/17.47	o 28901
17.34/17.48	o 28886
17.44/17.53	o 28883
17.44/17.54	o 28882
17.44/17.54	o 28867
17.44/17.55	o 28866
17.54/17.66	o 28791
17.84/17.95	o 28787
17.84/17.95	o 28786
17.84/17.97	o 28783
17.84/17.99	o 28782
18.14/18.22	o 28781
18.34/18.47	o 28779
18.34/18.48	o 28776
18.44/18.51	o 28759
18.44/18.52	o 28729
18.54/18.68	o 28715
18.54/18.69	o 28699
18.94/19.06	o 28697
18.94/19.06	o 28694
18.94/19.07	o 28693
19.74/19.85	o 28691
20.23/20.34	o 28687
20.23/20.35	o 28686
20.23/20.37	o 28685
20.53/20.69	o 28682
20.53/20.69	o 28681
20.53/20.70	o 28678
20.63/20.70	o 28674
20.63/20.71	o 28673
20.73/20.81	o 28671
20.73/20.89	o 28651
20.94/21.07	o 28647
22.54/22.63	o 28640
22.54/22.64	o 28639
22.64/22.75	o 28627
22.94/23.06	o 28622
22.94/23.08	o 28612
24.13/24.23	o 28611
24.93/25.01	o 28608
24.93/25.02	o 28599
24.93/25.04	o 28597
25.03/25.11	o 28590
25.03/25.18	o 28520
25.12/25.27	o 28437
27.03/27.15	o 28423
27.03/27.16	o 28410
27.22/27.36	o 28405
27.22/27.38	o 28400
27.22/27.39	o 28390
28.32/28.40	o 28389
28.32/28.49	o 28386
28.42/28.50	o 28355
29.21/29.32	o 28354
29.21/29.32	o 28353
29.21/29.32	o 28328
31.61/31.78	o 28324
35.20/35.38	o 28321
35.20/35.38	o 28317
35.30/35.43	o 28312
35.40/35.56	o 28302
35.50/35.61	o 28301
40.79/40.99	o 28297
40.89/41.03	o 28287
40.89/41.05	o 28280
40.99/41.11	o 28278
41.09/41.20	o 28277
41.09/41.20	o 28276
41.09/41.21	o 28271
41.38/41.50	o 28266
41.38/41.51	o 28265
41.38/41.53	o 28225
41.38/41.55	o 28210
41.38/41.56	o 28132
41.38/41.57	o 28121
41.38/41.57	o 28087
41.48/41.67	o 28017
41.58/41.70	o 28012
41.58/41.70	o 27989
41.58/41.70	o 27983
41.58/41.71	o 27977
41.58/41.71	o 27976
41.58/41.72	o 27971
41.58/41.73	o 27963
41.58/41.74	o 27956
41.58/41.75	o 27955
41.58/41.75	o 27948
41.58/41.75	o 27943
41.58/41.78	o 27915
41.58/41.78	o 27907
41.58/41.78	o 27895
41.58/41.79	o 27889
41.68/41.81	o 27885
41.68/41.81	o 27800
41.68/41.81	o 27776
41.68/41.82	o 27766
41.68/41.85	o 27752
41.68/41.86	o 27744
41.68/41.87	o 27743
41.68/41.87	o 27739
41.68/41.87	o 27738
41.68/41.89	o 27720
41.78/41.96	o 27718
41.78/41.98	o 27702
41.78/41.98	o 27673
41.78/41.98	o 27665
41.89/42.06	o 27594
41.89/42.07	o 27566
41.89/42.07	o 27481
41.89/42.07	o 27471
42.08/42.29	o 27435
42.08/42.29	o 27427
42.18/42.31	o 27410
42.18/42.33	o 27367
42.18/42.34	o 27292
42.18/42.34	o 27289
42.18/42.36	o 27211
42.28/42.41	o 27178
42.28/42.44	o 27123
42.28/42.44	o 27116
42.38/42.52	o 27102
42.68/42.87	o 27084
42.68/42.89	o 27079
42.78/42.96	o 27042
43.58/43.73	o 26977
43.58/43.74	o 26913
43.58/43.75	o 26828
43.98/44.12	o 26825
43.98/44.12	o 26820
43.98/44.13	o 26812
43.98/44.13	o 26807
43.98/44.14	o 26806
43.98/44.15	o 26789
43.98/44.15	o 26784
44.48/44.60	o 26782
44.48/44.60	o 26777
44.48/44.62	o 26730
45.37/45.59	o 26714
45.47/45.64	o 26713
45.47/45.66	o 26694
45.57/45.73	o 26689
46.17/46.30	o 26688
46.77/46.90	o 26679
46.77/46.92	o 26674
46.77/46.93	o 26668
46.77/46.93	o 26618
46.77/46.93	o 26553
46.77/46.94	o 26547
46.77/46.94	o 26530
47.87/48.05	o 26515
47.87/48.05	o 26514
48.87/49.01	o 26427
49.36/49.50	o 26415
49.36/49.51	o 26402
49.36/49.51	o 26397
49.36/49.59	o 26396
49.46/49.66	o 26385
51.66/51.88	o 26384
51.66/51.89	o 26320
51.76/51.90	o 26235
51.76/51.90	o 26234
51.76/51.91	o 26225
51.76/51.92	o 26220
53.25/53.45	o 26219
53.75/53.99	o 26218
53.75/53.99	o 26215
53.86/54.00	o 26214
53.86/54.03	o 26212
55.45/55.60	o 26204
55.45/55.61	o 26198
55.45/55.61	o 26197
55.65/55.82	o 26191
57.24/57.44	o 26179
57.24/57.47	o 26171
57.24/57.48	o 26165
57.24/57.49	o 26161
57.24/57.49	o 26126
57.34/57.50	o 26115
57.34/57.50	o 26114
57.34/57.50	o 26053
57.34/57.51	o 26047
57.34/57.51	o 26030
57.34/57.51	o 26029
57.34/57.52	o 26026
61.84/62.09	o 25972
62.64/62.89	o 25938
63.43/63.61	o 25840
63.43/63.61	o 25839
63.94/64.18	o 25830
64.63/64.81	o 25823
65.23/65.45	o 25821
65.23/65.46	o 25820
65.23/65.46	o 25819
65.23/65.47	o 25814
65.23/65.48	o 25798
65.33/65.50	o 25774
66.53/66.76	o 25725
66.53/66.76	o 25702
66.53/66.77	o 25696
66.53/66.78	o 25690
66.53/66.78	o 25673
67.32/67.56	o 25665
67.32/67.59	o 25660
67.32/67.59	o 25657
67.42/67.68	o 25653
67.42/67.68	o 25652
67.62/67.89	o 25651
67.83/68.08	o 25645
67.83/68.08	o 25640
68.42/68.68	o 25626
68.52/68.77	o 25613
69.42/69.61	o 25603
70.02/70.25	o 25601
70.02/70.25	o 25590
70.02/70.26	o 25588
70.62/70.88	o 25583
70.62/70.89	o 25357
70.62/70.89	o 25333
70.72/70.90	o 25330
70.72/70.90	o 25315
70.72/70.90	o 25300
70.72/70.91	o 25284
70.72/70.91	o 25283
70.72/70.91	o 25273
71.02/71.20	o 25272
71.02/71.22	o 25269
71.02/71.23	o 25257
71.02/71.25	o 25240
71.41/71.64	o 25238
71.41/71.68	o 25227
71.61/71.82	o 25217
71.61/71.82	o 25192
71.82/72.01	o 25190
72.11/72.36	o 25182
72.11/72.37	o 24956
72.41/72.61	o 24950
72.41/72.62	o 24942
72.41/72.63	o 24927
72.41/72.63	o 24925
72.61/72.86	o 24916
72.61/72.87	o 24910
72.61/72.88	o 24902
72.71/72.92	o 24893
72.71/72.92	o 24876
72.71/72.97	o 24874
72.92/73.17	o 24863
73.11/73.37	o 24861
73.11/73.38	o 24855
73.11/73.38	o 24845
73.11/73.39	o 24817
73.11/73.39	o 24811
73.71/73.90	o 24772
73.91/74.18	o 24769
73.91/74.19	o 24767
74.01/74.25	o 24756
74.01/74.25	o 24750
74.01/74.26	o 24749
74.01/74.27	o 24730
74.11/74.33	o 24721
74.11/74.35	o 24707
74.11/74.36	o 24481
74.21/74.48	o 24479
74.21/74.48	o 24455
74.21/74.49	o 24453
74.31/74.53	o 24451
74.61/74.88	o 24435
74.81/75.10	o 24434
74.91/75.10	o 24432
74.91/75.11	o 24420
74.91/75.11	o 24395
74.91/75.19	o 24385
75.00/75.20	o 24383
75.20/75.40	o 24316
75.20/75.41	o 24090
76.10/76.32	o 24048
76.20/76.48	o 24002
76.20/76.48	o 23989
76.40/76.66	o 23906
76.60/76.82	o 23852
76.70/76.97	o 23790
76.80/77.08	o 23784
76.80/77.08	o 23782
77.10/77.33	o 23699
77.10/77.34	o 23473
77.30/77.52	o 23470
77.30/77.53	o 23468
77.30/77.53	o 23467
77.30/77.53	o 23459
77.30/77.55	o 23458
77.30/77.56	o 23451
77.30/77.57	o 23439
77.50/77.73	o 23438
77.50/77.74	o 23432
77.50/77.74	o 23430
77.60/77.80	o 23426
77.60/77.81	o 23402
77.70/77.90	o 23400
77.90/78.12	o 23353
78.00/78.21	o 23340
78.00/78.21	o 23338
78.10/78.37	o 23326
78.30/78.54	o 23287
78.30/78.55	o 23061
79.29/79.54	o 23032
79.49/79.78	o 23030
80.19/80.47	o 23018
80.49/80.75	o 22993
80.69/81.00	o 22992
80.79/81.06	o 22990
80.79/81.07	o 22764
80.99/81.24	o 22744
80.99/81.24	o 22738
80.99/81.25	o 22736
81.19/81.42	o 22732
81.39/81.66	o 22726
81.39/81.68	o 22724
81.49/81.76	o 22716
81.49/81.77	o 22709
81.59/81.87	o 22703
81.59/81.87	o 22655
81.79/82.06	o 22610
81.79/82.07	o 22384
81.79/82.07	o 22365
81.79/82.07	o 22352
81.89/82.17	o 22347
81.99/82.20	o 22333
81.99/82.21	o 22331
81.99/82.28	o 22323
82.09/82.32	o 22321
82.09/82.34	o 22256
82.09/82.39	o 22247
82.29/82.50	o 22241
82.29/82.51	o 22015
82.29/82.51	o 21996
82.29/82.57	o 21995
82.29/82.59	o 21981
82.39/82.60	o 21974
82.39/82.61	o 21968
82.39/82.63	o 21954
82.39/82.64	o 21901
82.39/82.65	o 21882
82.39/82.66	o 21656
82.48/82.71	o 21654
82.58/82.80	o 21637
82.68/82.93	o 21624
82.68/82.93	o 21617
82.68/82.93	o 21615
82.68/82.99	o 21600
82.89/83.10	o 21582
82.89/83.11	o 21356
82.89/83.11	o 21286
82.98/83.23	o 21285
82.98/83.26	o 21275
82.98/83.26	o 21224
83.08/83.33	o 21222
83.18/83.45	o 21218
83.18/83.46	o 21216
83.28/83.51	o 21215
83.28/83.51	o 21201
83.28/83.53	o 21199
83.28/83.56	o 21188
83.28/83.56	o 20962
83.28/83.58	o 20911
83.48/83.72	o 20861
83.48/83.78	o 20838
83.48/83.79	o 20816
83.48/83.79	o 20815
83.48/83.79	o 20813
83.58/83.86	o 20806
83.58/83.86	o 20799
83.58/83.88	o 20789
83.68/83.95	o 20787
83.68/83.95	o 20561
83.79/84.04	o 20557
83.79/84.04	o 20555
83.79/84.07	o 20523
83.79/84.07	o 20495
83.98/84.21	o 20448
84.08/84.30	o 20442
84.08/84.30	o 20441
84.08/84.32	o 20437
84.08/84.32	o 20436
84.08/84.33	o 20434
84.08/84.37	o 20417
84.08/84.37	o 20409
84.18/84.42	o 20407
84.18/84.42	o 20181
84.28/84.57	o 20153
84.38/84.65	o 20143
84.48/84.70	o 20141
84.48/84.74	o 20089
84.78/85.08	o 20085
84.78/85.08	o 20084
84.98/85.22	o 20077
84.98/85.23	o 20064
84.98/85.24	o 20048
85.08/85.38	o 20038
85.18/85.43	o 20036
85.18/85.44	o 19810
85.28/85.58	o 19800
85.28/85.58	o 19798
85.38/85.62	o 19790
85.38/85.69	o 19714
85.58/85.83	o 19645
85.78/86.03	o 19634
85.78/86.04	o 19615
85.78/86.05	o 19613
85.78/86.08	o 19573
85.98/86.22	o 19558
85.98/86.23	o 19332
86.08/86.39	o 19327
86.18/86.40	o 19308
86.18/86.40	o 19306
86.18/86.42	o 19292
86.18/86.46	o 19281
86.18/86.49	o 19217
86.37/86.60	o 19207
86.37/86.69	o 19206
86.47/86.70	o 19204
86.47/86.70	o 19203
86.47/86.70	o 19202
86.47/86.71	o 19200
86.47/86.71	o 19189
86.47/86.79	o 19178
86.57/86.80	o 19168
86.57/86.81	o 19166
86.67/86.93	o 19083
86.67/86.93	o 18857
86.88/87.13	o 18846
86.97/87.21	o 18842
86.97/87.21	o 18818
86.97/87.27	o 18802
86.97/87.27	o 18783
87.07/87.34	o 18781
87.17/87.44	o 18771
87.17/87.44	o 18770
87.17/87.49	o 18768
87.27/87.50	o 18542
87.37/87.63	o 18514
87.37/87.65	o 18512
98.64/98.96	o 18511
98.75/99.02	o 18489
98.75/99.03	o 18460
98.75/99.07	o 18453
99.04/99.31	o 18452
99.04/99.32	o 18451
99.04/99.32	o 18428
100.24/100.57	o 18405
101.53/101.87	o 18403
101.53/101.88	o 18390
103.03/103.36	o 18388
103.03/103.37	o 18380
104.03/104.34	o 18305
104.93/105.25	o 18243
106.12/106.45	o 18221
107.42/107.70	o 18150
127.97/128.33	o 18100
127.97/128.35	o 18051
128.86/129.23	o 18039
129.26/129.61	o 18025
129.86/130.27	o 17990
131.36/131.79	o 17966
133.85/134.29	o 17918
135.65/136.01	o 17898
137.34/137.72	o 17872
138.44/138.87	o 17807
139.84/140.20	o 17723
140.53/140.99	o 17703
141.23/141.63	o 17679
144.12/144.57	o 17636
145.12/145.56	o 17592
146.22/146.61	o 17536
146.22/146.62	o 17487
147.92/148.39	o 17423
149.31/149.79	o 17421
149.31/149.79	o 17419
149.41/149.80	o 17416
149.72/150.19	o 17332
149.91/150.34	o 17329
150.91/151.32	o 17313
151.81/152.23	o 17311
151.81/152.23	o 17308
152.40/152.87	o 17297
152.40/152.87	o 17289
152.40/152.88	o 17283
152.40/152.88	o 17279
153.20/153.68	o 17255
153.20/153.69	o 17252
153.20/153.69	o 17250
153.40/153.89	o 17237
154.80/155.23	o 17232
154.80/155.23	o 17228
155.40/155.86	o 17220
156.70/157.19	o 17218
156.70/157.19	o 17214
156.79/157.20	o 17199
156.79/157.20	o 17198
156.79/157.21	o 17196
156.79/157.24	o 17189
156.89/157.30	o 17176
157.60/158.06	o 17163
158.39/158.83	o 17144
158.39/158.84	o 17134
158.89/159.31	o 17117
159.49/159.90	o 17116
159.99/160.42	o 17113
159.99/160.43	o 17105
159.99/160.43	o 17103
159.99/160.48	o 17101
159.99/160.49	o 17094
160.08/160.50	o 17091
160.18/160.60	o 17078
161.48/161.96	o 17076
161.48/161.97	o 17074
161.78/162.24	o 16996
162.68/163.13	o 16991
162.68/163.14	o 16989
162.68/163.14	o 16987
162.68/163.14	o 16953
162.78/163.26	o 16941
162.88/163.32	o 16898
162.88/163.32	o 16871
163.28/163.74	o 16867
163.28/163.75	o 16848
163.38/163.80	o 16835
163.38/163.85	o 16833
163.48/163.92	o 16805
163.48/163.93	o 16781
163.48/163.93	o 16762
163.68/164.11	o 16731
163.77/164.21	o 16728
163.97/164.49	o 16718
164.07/164.50	o 16711
164.07/164.50	o 16698
164.07/164.51	o 16677
164.07/164.52	o 16660
164.07/164.52	o 16646
164.47/164.98	o 16616
164.58/165.01	o 16612
164.58/165.04	o 16605
164.58/165.07	o 16580
164.58/165.07	o 16549
164.58/165.08	o 16531
164.58/165.08	o 16530
164.58/165.08	o 16523
165.37/165.83	o 16502
165.37/165.85	o 16433
165.37/165.85	o 16432
165.57/166.10	o 16428
165.77/166.22	o 16421
165.77/166.23	o 16400
165.77/166.23	o 16396
165.77/166.28	o 16388
165.77/166.28	o 16385
165.77/166.29	o 16382
165.77/166.29	o 16378
165.87/166.36	o 16374
165.87/166.36	o 16370
165.87/166.36	o 16349
165.87/166.37	o 16332
165.87/166.37	o 16318
165.97/166.47	o 16314
166.07/166.54	o 16305
166.07/166.54	o 16301
166.07/166.55	o 16299
166.07/166.59	o 16288
166.07/166.59	o 16285
166.27/166.72	o 16234
166.27/166.72	o 16233
166.27/166.73	o 16231
166.37/166.80	o 16202
166.37/166.80	o 16195
166.37/166.81	o 16189
166.37/166.81	o 16187
166.37/166.81	o 16169
166.37/166.82	o 16159
166.47/166.94	o 16158
166.47/166.95	o 16155
166.47/166.98	o 16154
166.47/166.98	o 16148
166.47/166.99	o 16139
166.57/167.09	o 16127
166.57/167.09	o 16090
166.67/167.10	o 16086
166.77/167.28	o 16085
166.77/167.29	o 16081
166.87/167.37	o 16080
166.97/167.45	o 16078
166.97/167.45	o 16071
166.97/167.47	o 16027
166.97/167.48	o 16020
167.06/167.52	o 16001
167.16/167.67	o 15996
167.16/167.67	o 15994
167.16/167.67	o 15993
167.26/167.70	o 15922
167.26/167.71	o 15903
167.67/168.16	o 15849
167.96/168.46	o 15847
167.96/168.48	o 15834
168.16/168.64	o 15820
168.16/168.64	o 15817
168.16/168.65	o 15813
168.16/168.65	o 15796
168.16/168.66	o 15782
168.36/168.87	o 15751
168.66/169.17	o 15750
168.66/169.17	o 15735
168.66/169.17	o 15733
168.66/169.17	o 15732
168.66/169.18	o 15726
168.66/169.19	o 15707
168.76/169.20	o 15700
168.96/169.45	o 15660
168.96/169.47	o 15659
168.96/169.47	o 15655
168.96/169.48	o 15649
168.96/169.48	o 15646
168.96/169.48	o 15642
168.96/169.49	o 15635
168.96/169.49	o 15632
169.06/169.50	o 15628
169.16/169.68	o 15624
169.16/169.69	o 15622
169.26/169.71	o 15609
169.26/169.76	o 15543
169.26/169.77	o 15530
169.36/169.82	o 15517
169.36/169.82	o 15510
169.36/169.83	o 15508
169.36/169.83	o 15495
169.36/169.89	o 15487
169.46/169.96	o 15482
169.46/169.97	o 15480
169.46/169.97	o 15467
169.46/169.99	o 15438
169.66/170.18	o 15431
169.66/170.18	o 15430
169.66/170.18	o 15421
169.66/170.19	o 15411
170.06/170.54	o 15401
170.06/170.55	o 15382
170.06/170.55	o 15380
170.06/170.55	o 15379
170.06/170.56	o 15368
170.06/170.56	o 15364
170.36/170.84	o 15363
170.45/170.99	o 15361
170.45/170.99	o 15360
170.56/171.00	o 15358
170.66/171.16	o 15274
170.75/171.29	o 15266
170.75/171.30	o 15264
170.85/171.30	o 15262
170.85/171.37	o 15178
170.95/171.41	o 15177
170.95/171.41	o 15176
170.95/171.45	o 15094
171.15/171.69	o 15093
171.15/171.69	o 15091
171.15/171.70	o 15089
171.25/171.70	o 15087
171.25/171.70	o 15073
171.35/171.87	o 15033
171.35/171.87	o 15024
171.35/171.87	o 15023
171.45/171.97	o 15014
171.85/172.30	o 15003
171.85/172.30	o 14990
172.15/172.68	o 14949
172.15/172.69	o 14915
172.15/172.69	o 14904
172.35/172.88	o 14901
172.35/172.88	o 14899
172.45/172.99	o 14815
172.65/173.15	o 14792
172.65/173.16	o 14791
172.65/173.16	o 14780
172.65/173.17	o 14746
172.65/173.17	o 14735
172.95/173.47	o 14733
172.95/173.48	o 14674
172.95/173.48	o 14667
172.95/173.48	o 14663
172.95/173.48	o 14661
173.15/173.62	o 14618
173.25/173.75	o 14571
173.25/173.75	o 14567
173.55/174.09	o 14561
173.55/174.10	o 14547
173.55/174.10	o 14546
173.65/174.10	o 14544
173.65/174.11	o 14542
173.65/174.12	o 14528
174.05/174.56	o 14446
174.15/174.66	o 14439
174.15/174.66	o 14437
174.25/174.71	o 14430
174.25/174.72	o 14428
174.25/174.77	o 14422
174.25/174.78	o 14420
174.34/174.83	o 14395
174.44/174.92	o 14391
174.44/174.92	o 14389
174.44/174.93	o 14387
174.55/175.08	o 14370
174.84/175.38	o 14351
174.84/175.38	o 14347
174.84/175.39	o 14320
174.84/175.39	o 14299
174.84/175.39	o 14297
175.04/175.53	o 14282
175.04/175.54	o 14281
175.14/175.62	o 14199
175.14/175.63	o 14197
175.24/175.77	o 14191
175.24/175.78	o 14189
175.34/175.86	o 14124
175.34/175.86	o 14117
175.34/175.87	o 14115
175.44/175.94	o 14072
175.65/176.13	o 14060
175.65/176.14	o 14056
175.65/176.14	o 14054
175.65/176.14	o 14028
175.65/176.15	o 14015
175.65/176.15	o 14013
175.65/176.16	o 13994
175.74/176.26	o 13992
175.74/176.26	o 13981
175.74/176.27	o 13980
175.74/176.27	o 13978
175.74/176.27	o 13976
175.84/176.33	o 13948
175.94/176.48	o 13938
175.94/176.49	o 13937
175.94/176.49	o 13935
176.04/176.56	o 13874
176.24/176.72	o 13813
176.34/176.86	o 13808
176.44/177.00	o 13724
176.54/177.07	o 13720
176.54/177.07	o 13718
176.74/177.25	o 13716
176.74/177.29	o 13634
176.84/177.37	o 13555
176.94/177.46	o 13531
177.04/177.52	o 13507
177.14/177.61	o 13494
177.14/177.62	o 13421
177.24/177.72	o 13413
177.24/177.72	o 13408
177.24/177.73	o 13395
177.44/177.99	o 13334
177.73/178.21	o 13332
177.73/178.21	o 13323
177.73/178.22	o 13321
177.73/178.23	o 13303
177.73/178.23	o 13272
177.83/178.30	o 13267
177.83/178.30	o 13251
177.83/178.32	o 13225
177.93/178.44	o 13210
178.03/178.55	o 13208
178.03/178.56	o 13195
180.93/181.41	o 13192
180.93/181.42	o 13191
180.93/181.42	o 13190
180.93/181.42	o 13189
180.93/181.43	o 13188
180.93/181.43	o 13184
180.93/181.43	o 13183
180.93/181.44	o 13182
180.93/181.47	o 13172
181.13/181.60	o 13095
181.23/181.70	o 13094
181.23/181.71	o 13091
181.23/181.72	o 13085
181.23/181.74	o 13057
181.23/181.75	o 13050
181.23/181.77	o 13031
181.23/181.79	o 12982
181.33/181.82	o 12969
181.33/181.83	o 12955
181.33/181.84	o 12862
181.33/181.88	o 12860
181.33/181.89	o 12768
181.43/181.93	o 12693
181.43/181.99	o 12601
181.53/182.06	o 12600
181.63/182.14	o 12589
181.63/182.18	o 12575
181.63/182.19	o 12570
181.72/182.21	o 12564
181.72/182.24	o 12547
181.72/182.28	o 12519
181.72/182.28	o 12512
181.82/182.33	o 12428
181.92/182.42	o 12404
181.92/182.42	o 12355
181.92/182.42	o 12338
182.02/182.53	o 12310
182.02/182.53	o 12308
182.12/182.60	o 12241
182.22/182.70	o 12200
182.22/182.71	o 12155
182.22/182.78	o 12071
182.22/182.78	o 11979
182.42/182.97	o 11923
182.53/183.04	o 11920
182.53/183.04	o 11919
182.53/183.05	o 11917
182.53/183.06	o 11901
182.53/183.07	o 11888
182.72/183.23	o 11879
182.72/183.23	o 11868
182.82/183.37	o 11839
182.82/183.38	o 11837
182.92/183.40	o 11833
182.92/183.42	o 11820
183.02/183.54	o 11782
183.02/183.55	o 11779
183.12/183.65	o 11777
183.12/183.68	o 11772
183.12/183.69	o 11764
183.22/183.76	o 11757
183.22/183.76	o 11755
183.32/183.81	o 11753
183.32/183.81	o 11747
183.32/183.82	o 11730
183.32/183.83	o 11637
183.62/184.17	o 11635
183.62/184.19	o 11631
183.72/184.20	o 11575
183.72/184.28	o 11573
183.82/184.31	o 11564
183.82/184.31	o 11562
183.92/184.41	o 11559
183.92/184.42	o 11550
183.92/184.42	o 11538
183.92/184.44	o 11534
184.02/184.51	o 11520
184.02/184.51	o 11518
184.02/184.56	o 11509
184.02/184.56	o 11507
184.02/184.58	o 11479
184.02/184.59	o 11472
184.12/184.67	o 11457
184.12/184.67	o 11456
184.32/184.81	o 11451
184.32/184.81	o 11449
184.32/184.86	o 11406
184.32/184.87	o 11367
184.42/184.90	o 11314
184.42/184.91	o 11303
184.42/184.94	o 11290
184.52/185.05	o 11247
184.62/185.16	o 11244
184.62/185.16	o 11240
184.62/185.16	o 11238
184.62/185.17	o 11236
184.62/185.17	o 11223
184.62/185.17	o 11219
184.72/185.24	o 11165
184.72/185.25	o 11158
184.82/185.33	o 11153
184.82/185.33	o 11145
184.82/185.34	o 11126
184.82/185.39	o 11125
184.82/185.39	o 11114
184.92/185.42	o 11101
184.92/185.43	o 11099
184.92/185.47	o 11097
184.92/185.48	o 11090
184.92/185.48	o 11085
184.92/185.49	o 11068
185.01/185.50	o 11064
185.01/185.55	o 10985
185.11/185.65	o 10983
185.21/185.70	o 10912
185.21/185.79	o 10826
185.41/185.92	o 10825
185.41/185.92	o 10822
185.41/185.93	o 10818
185.41/185.93	o 10816
185.41/185.94	o 10803
185.41/185.99	o 10775
185.41/185.99	o 10768
185.52/186.04	o 10737
185.52/186.04	o 10721
185.71/186.27	o 10719
185.71/186.27	o 10713
185.71/186.29	o 10712
185.81/186.30	o 10705
185.81/186.30	o 10703
185.81/186.31	o 10667
185.81/186.31	o 10651
185.91/186.42	o 10565
186.01/186.50	o 10506
186.01/186.50	o 10501
186.01/186.50	o 10495
186.01/186.59	o 10494
186.11/186.66	o 10477
186.11/186.66	o 10473
186.21/186.73	o 10466
186.31/186.84	o 10464
186.31/186.85	o 10458
186.31/186.85	o 10454
186.31/186.86	o 10441
186.31/186.87	o 10385
186.41/186.92	o 10383
186.41/186.95	o 10372
186.41/186.99	o 10371
186.41/187.00	o 10369
186.52/187.05	o 10293
186.62/187.18	o 10285
186.62/187.18	o 10277
186.62/187.18	o 10271
186.62/187.19	o 10265
186.62/187.19	o 10263
186.71/187.20	o 10252
186.71/187.20	o 10239
186.71/187.27	o 10235
186.91/187.40	o 10223
186.91/187.40	o 10215
186.91/187.40	o 10214
187.01/187.55	o 10203
187.01/187.55	o 10191
187.01/187.56	o 10189
187.01/187.56	o 10178
187.01/187.57	o 10165
187.11/187.65	o 10074
187.21/187.74	o 10072
187.21/187.74	o 10070
187.21/187.75	o 10066
187.21/187.76	o 10053
187.31/187.82	o 10046
187.31/187.83	o 10031
187.41/187.90	o 10030
187.41/187.96	o 10006
187.41/187.96	o 10000
187.41/187.96	o 9999
187.41/187.97	o 9989
187.41/187.97	o 9984
187.51/188.08	o 9960
187.51/188.09	o 9941
187.61/188.16	o 9939
187.61/188.16	o 9933
187.61/188.16	o 9927
187.61/188.16	o 9915
187.61/188.17	o 9907
187.71/188.25	o 9904
187.71/188.26	o 9899
187.71/188.27	o 9892
187.81/188.30	o 9879
187.81/188.33	o 9877
187.81/188.35	o 9837
187.81/188.38	o 9789
187.91/188.49	o 9776
188.01/188.50	o 9746
188.01/188.59	o 9735
188.11/188.64	o 9728
188.11/188.64	o 9722
188.11/188.65	o 9721
188.11/188.65	o 9678
188.11/188.67	o 9667
188.11/188.68	o 9656
188.11/188.68	o 9654
188.11/188.69	o 9643
188.11/188.69	o 9641
188.21/188.71	o 9636
188.21/188.72	o 9634
188.21/188.72	o 9615
188.21/188.74	o 9572
188.21/188.77	o 9552
188.21/188.78	o 9546
188.21/188.78	o 9545
188.31/188.80	o 9533
188.31/188.80	o 9482
188.31/188.81	o 9474
188.31/188.85	o 9468
188.31/188.87	o 9431
188.31/188.88	o 9429
188.31/188.89	o 9427
188.31/188.89	o 9345
188.41/188.91	o 9327
188.41/188.91	o 9306
188.41/188.92	o 9275
188.41/188.92	o 9268
188.41/188.92	o 9266
188.41/188.94	o 9247
188.41/188.94	o 9246
188.41/188.95	o 9245
188.41/188.95	o 9231
188.41/188.95	o 9230
188.41/188.96	o 9143
188.41/188.98	o 9090
188.41/188.98	o 9027
188.51/189.00	o 8990
188.51/189.01	o 8975
188.51/189.02	o 8943
188.51/189.03	o 8900
188.51/189.05	o 8892
188.51/189.06	o 8889
188.51/189.06	o 8859
188.51/189.06	o 8857
188.51/189.07	o 8852
188.51/189.08	o 8846
188.51/189.08	o 8845
188.61/189.10	o 8842
188.61/189.11	o 8840
188.61/189.11	o 8829
188.61/189.11	o 8816
188.61/189.12	o 8814
188.61/189.12	o 8810
188.61/189.13	o 8809
188.61/189.13	o 8772
188.61/189.13	o 8767
188.61/189.13	o 8756
188.61/189.14	o 8744
188.61/189.15	o 8728
188.61/189.15	o 8727
188.61/189.15	o 8721
188.61/189.16	o 8681
188.61/189.17	o 8632
188.61/189.17	o 8611
188.61/189.18	o 8610
188.61/189.19	o 8603
188.61/189.19	o 8597
188.70/189.20	o 8593
188.70/189.20	o 8579
188.70/189.22	o 8560
188.70/189.22	o 8539
188.70/189.24	o 8512
188.70/189.25	o 8510
188.70/189.26	o 8478
188.70/189.26	o 8477
188.70/189.27	o 8389
188.70/189.28	o 8298
188.70/189.30	o 8237
188.80/189.31	o 8214
188.80/189.31	o 8192
188.80/189.32	o 8147
188.80/189.33	o 8130
188.80/189.33	o 8122
188.80/189.33	o 8111
188.80/189.35	o 8042
188.80/189.36	o 8032
188.80/189.37	o 8030
188.80/189.37	o 8002
188.80/189.37	o 7998
188.80/189.39	o 7966
188.90/189.40	o 7965
188.90/189.40	o 7952
188.90/189.41	o 7903
188.90/189.43	o 7898
188.90/189.43	o 7874
188.90/189.43	o 7861
188.90/189.45	o 7834
188.90/189.46	o 7827
188.90/189.46	o 7812
188.90/189.47	o 7811
188.90/189.49	o 7764
189.01/189.51	o 7750
189.01/189.52	o 7673
189.01/189.53	o 7670
189.01/189.53	o 7644
189.01/189.54	o 7634
189.01/189.54	o 7628
189.01/189.54	o 7613
189.01/189.54	o 7585
189.01/189.55	o 7492
189.01/189.56	o 7462
189.01/189.57	o 7455
189.01/189.58	o 7451
189.01/189.59	o 7420
189.11/189.60	o 7354
189.11/189.61	o 7312
189.11/189.61	o 7299
189.11/189.61	o 7289
189.11/189.62	o 7188
189.11/189.63	o 7133
189.11/189.63	o 7118
189.11/189.64	o 7109
189.11/189.64	o 7108
189.11/189.65	o 7074
189.11/189.65	o 7066
189.11/189.66	o 7051
189.11/189.66	o 7047
189.11/189.67	o 7037
189.11/189.68	o 7029
189.11/189.68	o 7025
189.11/189.69	o 7005
189.21/189.70	o 7000
189.21/189.70	o 6974
189.21/189.71	o 6965
189.21/189.72	o 6958
189.21/189.72	o 6945
189.21/189.73	o 6943
189.21/189.73	o 6932
189.21/189.74	o 6923
189.21/189.74	o 6888
189.21/189.74	o 6887
189.21/189.75	o 6876
189.21/189.75	o 6864
189.21/189.75	o 6863
189.21/189.75	o 6846
189.21/189.76	o 6845
189.21/189.76	o 6840
189.21/189.76	o 6835
189.21/189.77	o 6824
189.21/189.77	o 6822
189.21/189.77	o 6811
189.21/189.78	o 6794
189.21/189.78	o 6773
189.21/189.79	o 6771
189.21/189.79	o 6760
189.21/189.79	o 6714
189.31/189.80	o 6703
189.31/189.80	o 6698
189.31/189.80	o 6697
189.31/189.81	o 6678
189.31/189.82	o 6667
189.31/189.82	o 6658
189.31/189.82	o 6639
189.31/189.83	o 6637
189.31/189.83	o 6616
189.31/189.84	o 6614
189.31/189.84	o 6606
189.31/189.84	o 6601
189.31/189.85	o 6598
189.31/189.85	o 6597
189.31/189.86	o 6575
189.31/189.86	o 6531
189.31/189.87	o 6520
189.31/189.87	o 6473
189.31/189.88	o 6470
189.31/189.88	o 6453
189.31/189.88	o 6449
189.31/189.89	o 6441
189.31/189.89	o 6418
189.41/189.90	o 6407
189.41/189.91	o 6333
189.41/189.91	o 6326
189.41/189.92	o 6318
189.41/189.93	o 6298
189.41/189.93	o 6296
189.41/189.94	o 6294
189.41/189.95	o 6293
189.41/189.95	o 6285
189.41/189.95	o 6276
189.41/189.96	o 6257
189.41/189.96	o 6256
189.41/189.97	o 6247
189.41/189.97	o 6220
189.41/189.98	o 6192
189.41/189.99	o 6124
189.41/190.00	o 6122
189.52/190.00	o 6117
189.52/190.00	o 6107
189.52/190.01	o 6100
189.52/190.01	o 6086
189.52/190.02	o 6083
189.52/190.02	o 6077
189.52/190.02	o 6076
189.52/190.03	o 6053
189.52/190.03	o 5988
189.52/190.04	o 5984
189.52/190.04	o 5977
189.52/190.05	o 5924
189.52/190.06	o 5922
189.52/190.06	o 5856
189.52/190.06	o 5849
189.52/190.07	o 5831
189.52/190.08	o 5772
189.52/190.08	o 5765
189.52/190.09	o 5734
189.52/190.10	o 5731
189.52/190.10	o 5726
189.62/190.10	o 5720
189.62/190.11	o 5717
189.62/190.11	o 5714
189.62/190.12	o 5629
189.62/190.13	o 5627
189.62/190.13	o 5621
189.62/190.14	o 5615
189.62/190.14	o 5609
189.62/190.14	o 5603
189.62/190.15	o 5536
189.62/190.15	o 5462
189.62/190.16	o 5425
189.62/190.17	o 5375
189.62/190.18	o 5359
189.62/190.18	o 5313
189.62/190.19	o 5288
189.71/190.20	o 5257
189.71/190.20	o 5251
189.71/190.21	o 5248
189.71/190.21	o 5223
189.71/190.22	o 5165
189.71/190.23	o 5121
189.71/190.24	o 5110
189.71/190.24	o 5061
189.71/190.25	o 5020
189.71/190.26	o 4927
189.71/190.27	o 4908
189.71/190.27	o 4866
189.71/190.28	o 4862
189.71/190.28	o 4861
189.81/190.30	o 4837
189.81/190.30	o 4832
189.81/190.31	o 4801
189.81/190.32	o 4769
189.81/190.32	o 4727
189.81/190.33	o 4702
189.81/190.34	o 4685
189.81/190.35	o 4656
189.81/190.35	o 4635
189.81/190.35	o 4633
189.81/190.36	o 4613
189.81/190.36	o 4593
189.81/190.37	o 4585
189.81/190.38	o 4572
189.81/190.38	o 4567
189.81/190.39	o 4500
189.91/190.40	o 4495
189.91/190.41	o 4463
189.91/190.42	o 4452
189.91/190.43	o 4431
189.91/190.43	o 4305
189.91/190.44	o 4293
189.91/190.45	o 4280
189.91/190.45	o 4253
189.91/190.45	o 4226
189.91/190.46	o 4206
189.91/190.47	o 4180
189.91/190.47	o 4159
189.91/190.47	o 4156
189.91/190.48	o 4153
189.91/190.49	o 4151
189.91/190.49	o 4143
189.91/190.49	o 4141
189.91/190.49	o 4140
190.01/190.50	o 4136
190.01/190.51	o 4135
190.01/190.51	o 4131
190.01/190.52	o 4130
190.01/190.52	o 4101
190.01/190.53	o 4084
190.01/190.53	o 4082
190.01/190.53	o 4076
190.01/190.55	o 4038
190.01/190.55	o 3996
190.01/190.55	o 3950
190.01/190.56	o 3904
190.01/190.57	o 3861
190.01/190.58	o 3857
190.01/190.59	o 3780
190.01/190.59	o 3772
190.11/190.60	o 3749
190.11/190.61	o 3680
190.11/190.62	o 3679
190.11/190.62	o 3678
190.11/190.63	o 3673
190.11/190.63	o 3648
190.11/190.63	o 3623
190.11/190.64	o 3617
190.11/190.64	o 3612
190.11/190.64	o 3597
190.11/190.65	o 3587
190.11/190.65	o 3585
190.11/190.66	o 3580
190.11/190.67	o 3565
190.11/190.67	o 3528
190.11/190.67	o 3520
190.11/190.68	o 3509
190.11/190.68	o 3479
190.11/190.69	o 3444
190.11/190.69	o 3436
190.11/190.69	o 3427
190.20/190.70	o 3386
190.20/190.70	o 3379
190.20/190.71	o 3346
190.20/190.72	o 3342
190.20/190.73	o 3301
190.20/190.73	o 3286
190.20/190.73	o 3282
190.20/190.73	o 3281
190.20/190.74	o 3268
190.20/190.74	o 3260
190.20/190.75	o 3249
190.20/190.75	o 3248
190.20/190.75	o 3239
190.20/190.76	o 3218
190.20/190.76	o 3211
190.20/190.76	o 3186
190.20/190.77	o 3180
190.20/190.77	o 3174
190.20/190.77	o 3172
190.20/190.78	o 3105
190.20/190.78	o 3103
190.20/190.79	o 3044
190.20/190.79	o 2996
190.31/190.80	o 2992
190.31/190.80	o 2991
190.31/190.81	o 2987
190.31/190.81	o 2937
190.31/190.82	o 2936
190.31/190.82	o 2929
190.31/190.82	o 2928
190.31/190.83	o 2921
190.31/190.83	o 2919
190.31/190.83	o 2910
190.31/190.84	o 2902
190.31/190.84	o 2898
190.31/190.85	o 2897
190.31/190.85	o 2892
190.31/190.85	o 2887
190.31/190.86	o 2886
190.31/190.86	o 2847
190.31/190.87	o 2814
190.31/190.87	o 2735
190.31/190.88	o 2727
190.31/190.88	o 2718
190.31/190.88	o 2696
190.31/190.89	o 2652
190.31/190.89	o 2643
190.41/190.90	o 2614
190.41/190.90	o 2582
190.41/190.91	o 2569
190.41/190.91	o 2553
190.41/190.91	o 2552
190.41/190.92	o 2550
190.41/190.92	o 2519
190.41/190.92	o 2505
190.41/190.93	o 2503
190.41/190.93	o 2495
190.41/190.93	o 2494
190.41/190.94	o 2493
190.41/190.94	o 2488
190.41/190.94	o 2487
190.41/190.95	o 2477
190.41/190.95	o 2464
190.41/190.95	o 2463
190.41/190.96	o 2459
190.41/190.96	o 2455
190.41/190.96	o 2453
190.41/190.97	o 2448
190.41/190.97	o 2412
190.41/190.98	o 2392
190.41/190.99	o 2352
190.41/190.99	o 2343
190.41/190.99	o 2313
190.41/191.00	o 2285
190.51/191.00	o 2256
190.51/191.01	o 2254
190.51/191.01	o 2251
190.51/191.01	o 2250
190.51/191.01	o 2247
190.51/191.02	o 2245
190.51/191.03	o 2218
190.51/191.03	o 2173
190.51/191.03	o 2171
190.51/191.03	o 2170
190.51/191.04	o 2169
190.51/191.04	o 2166
190.51/191.05	o 2159
190.51/191.05	o 2116
190.51/191.06	o 2110
190.51/191.06	o 2109
190.51/191.06	o 2107
190.51/191.06	o 2079
190.51/191.07	o 2077
190.51/191.07	o 2076
190.51/191.08	o 2075
190.51/191.08	o 2072
190.51/191.08	o 2071
190.51/191.08	o 2070
190.51/191.09	o 2067
190.51/191.09	o 2066
190.51/191.09	o 2063
190.51/191.10	o 2060
190.61/191.10	o 2059
190.61/191.10	o 2057
190.61/191.11	o 2016
190.61/191.11	o 2014
190.61/191.12	o 2012
190.61/191.12	o 1984
190.61/191.12	o 1979
190.61/191.13	o 1933
190.61/191.13	o 1931
190.61/191.14	o 1925
190.61/191.14	o 1924
190.61/191.15	o 1922
190.61/191.15	o 1918
190.61/191.15	o 1916
190.61/191.16	o 1915
190.61/191.16	o 1822
190.61/191.17	o 1821
190.61/191.17	o 1820
190.61/191.18	o 1819
190.61/191.18	o 1793
190.61/191.18	o 1786
190.61/191.19	o 1779
190.61/191.19	o 1777
190.70/191.20	o 1774
190.70/191.20	o 1765
190.70/191.21	o 1755
190.70/191.21	o 1737
190.70/191.22	o 1723
190.70/191.22	o 1700
190.70/191.22	o 1699
190.70/191.23	o 1668
190.70/191.23	o 1665
190.70/191.23	o 1663
190.70/191.24	o 1655
190.70/191.24	o 1652
190.70/191.24	o 1651
190.70/191.25	o 1644
190.70/191.25	o 1635
190.70/191.26	o 1603
190.70/191.26	o 1599
190.70/191.27	o 1598
190.70/191.27	o 1594
190.70/191.27	o 1589
190.70/191.27	o 1573
190.70/191.28	o 1564
190.70/191.29	o 1526
190.70/191.29	o 1517
190.70/191.29	o 1500
190.80/191.30	o 1495
190.80/191.30	o 1494
190.80/191.30	o 1491
190.80/191.31	o 1455
190.80/191.31	o 1416
190.80/191.31	o 1409
190.80/191.32	o 1407
190.80/191.32	o 1401
190.80/191.32	o 1387
190.80/191.33	o 1386
190.80/191.33	o 1369
190.80/191.33	o 1353
190.80/191.34	o 1352
190.80/191.34	o 1350
190.80/191.34	o 1337
190.80/191.34	o 1332
190.80/191.35	o 1330
190.80/191.35	o 1326
190.80/191.35	o 1325
190.80/191.36	o 1324
190.80/191.36	o 1318
190.80/191.36	o 1316
190.80/191.37	o 1310
190.80/191.37	o 1247
190.80/191.37	o 1238
190.80/191.38	o 1194
190.80/191.38	o 1190
190.80/191.39	o 1157
190.80/191.39	o 1155
190.90/191.40	o 1154
190.90/191.40	o 1152
190.90/191.40	o 1119
190.90/191.41	o 1101
190.90/191.41	o 1094
190.90/191.41	o 1090
190.90/191.42	o 1084
190.90/191.42	o 1083
190.90/191.42	o 1080
190.90/191.43	o 1071
190.90/191.43	o 1070
190.90/191.44	o 1064
190.90/191.44	o 1061
190.90/191.44	o 1060
190.90/191.44	o 1041
190.90/191.45	o 1038
190.90/191.45	o 1036
190.90/191.46	o 1035
190.90/191.46	o 1020
190.90/191.46	o 1019
190.90/191.47	o 1018
190.90/191.47	o 1017
190.90/191.47	o 1013
190.90/191.48	o 1004
190.90/191.48	o 992
190.90/191.49	o 948
190.90/191.49	o 939
190.90/191.49	o 885
191.00/191.50	o 873
191.00/191.50	o 872
191.00/191.51	o 871
191.00/191.51	o 867
191.00/191.51	o 858
191.00/191.51	o 849
191.00/191.52	o 845
191.00/191.52	o 840
191.00/191.53	o 827
191.00/191.53	o 792
191.00/191.53	o 791
191.00/191.54	o 753
191.00/191.54	o 742
191.00/191.54	o 736
191.00/191.55	o 677
191.00/191.55	o 675
191.00/191.55	o 674
191.00/191.56	o 673
191.00/191.56	o 667
191.00/191.57	o 643
191.00/191.57	o 637
191.00/191.57	o 636
191.00/191.57	o 635
191.00/191.58	o 634
191.00/191.58	o 625
191.00/191.58	o 623
191.00/191.59	o 622
191.00/191.59	o 621
191.00/191.59	o 612
191.10/191.60	o 602
191.10/191.60	o 601
191.10/191.61	o 599
191.10/191.61	o 596
191.10/191.61	o 591
191.10/191.61	o 590
191.10/191.62	o 589
191.10/191.62	o 588
191.10/191.62	o 579
191.10/191.63	o 574
191.10/191.63	o 518
191.10/191.63	o 517
191.10/191.64	o 515
191.10/191.64	o 510
191.10/191.65	o 509
191.10/191.65	o 503
191.10/191.65	o 502
191.10/191.65	o 500
191.10/191.66	o 498
191.10/191.66	o 493
191.10/191.66	o 492
191.10/191.67	o 491
191.10/191.67	o 489
191.10/191.67	o 488
191.10/191.67	o 487
191.10/191.68	o 486
191.10/191.68	o 485
191.10/191.69	o 484
191.10/191.69	o 479
191.10/191.69	o 472
191.10/191.69	o 463
191.20/191.70	o 462
191.20/191.70	o 461
191.20/191.71	o 460
191.20/191.71	o 448
191.20/191.71	o 442
191.20/191.72	o 441
191.20/191.72	o 433
191.20/191.72	o 429
191.20/191.73	o 393
191.20/191.73	o 392
191.20/191.74	o 391
191.20/191.74	o 388
191.20/191.74	o 356
191.20/191.75	o 355
191.20/191.75	o 342
191.20/191.75	o 318
191.20/191.76	o 312
191.20/191.76	o 308
191.20/191.76	o 306
191.20/191.77	o 304
191.20/191.77	o 300
191.20/191.77	o 287
191.20/191.77	o 286
191.20/191.78	o 276
191.20/191.78	o 236
191.20/191.78	o 204
191.20/191.79	o 199
191.20/191.79	o 177
191.30/191.80	o 175
191.30/191.80	o 171
191.30/191.80	o 169
191.30/191.81	o 122
191.30/191.81	o 95
191.30/191.81	o 92
191.30/191.81	o 87
191.30/191.82	o 81
191.30/191.82	o 80
191.30/191.82	o 79
191.30/191.83	o 78
191.30/191.83	o 18
191.30/191.83	o 17
191.30/191.83	o 16
191.30/191.83	o 15
191.30/191.83	o 14
191.30/191.84	o 13
191.30/191.84	o 12
191.30/191.84	o 11
191.30/191.84	o 9
191.30/191.84	o 8
191.30/191.84	o 7
191.30/191.84	o 6
191.30/191.84	o 1
191.30/191.85	s OPTIMUM FOUND
191.30/191.85	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

Verifier Data 

OK	1

Watcher Data 

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

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (53032 MiB free)
  memory of node 1: 64473 MiB (52159 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4455923-1721717832/watcher-4455923-1721717832 -o /tmp/evaluation-result-4455923-1721717832/solver-4455923-1721717832 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721717830-87262 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1674508234 HOME/instance-4455923-1721717832.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=87417, runsolver pid=87414
Current StackSize limit: 8192 KiB


[startup+0.100085 s]*
/proc/loadavg: 1.67 1.95 2.04 5/259 87418
/proc/meminfo: memFree=107693940/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=39676 memory=20896 CPUtime=0.09 cores=1,3
/proc/87417/stat : 87417 (Exact_nosoplex) R 87414 87417 87250 0 -1 4194304 4629 0 0 0 9 0 0 0 20 0 1 0 8312279 40628224 5224 134679101440 4194304 7248369 140730231951168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 15327232 140730231960491 140730231960670 140730231960670 140730231967686 0
/proc/87417/statm: 9919 5224 851 746 0 8983 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39676 KiB
Current children cumulated memory: 20896 KiB

[startup+0.205559 s]*
/proc/loadavg: 1.67 1.95 2.04 5/259 87418
/proc/meminfo: memFree=107684060/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=41932 memory=25316 CPUtime=0.2 cores=1,3
/proc/87417/stat : 87417 (Exact_nosoplex) R 87414 87417 87250 0 -1 4194304 5192 0 0 0 20 0 0 0 20 0 1 0 8312279 42938368 6329 134679101440 4194304 7248369 140730231951168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 15327232 140730231960491 140730231960670 140730231960670 140730231967686 0
/proc/87417/statm: 10483 6329 851 746 0 9547 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41932 KiB
Current children cumulated memory: 25316 KiB

[startup+0.305526 s]*
/proc/loadavg: 1.67 1.95 2.04 5/259 87418
/proc/meminfo: memFree=107675372/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=43384 memory=26636 CPUtime=0.3 cores=1,3
/proc/87417/stat : 87417 (Exact_nosoplex) R 87414 87417 87250 0 -1 4194304 5549 0 0 0 30 0 0 0 20 0 1 0 8312279 44425216 6659 134679101440 4194304 7248369 140730231951168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 15327232 140730231960491 140730231960670 140730231960670 140730231967686 0
/proc/87417/statm: 10846 6659 851 746 0 9910 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43384 KiB
Current children cumulated memory: 26636 KiB

[startup+0.700199 s]
/proc/loadavg: 1.67 1.95 2.04 5/259 87418
/proc/meminfo: memFree=107651764/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=46916 memory=34420 CPUtime=0.68 cores=1,3
/proc/87417/stat : 87417 (Exact_nosoplex) R 87414 87417 87250 0 -1 4194304 6446 0 0 0 68 0 0 0 20 0 1 0 8312279 48041984 8605 134679101440 4194304 7248369 140730231951168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 15327232 140730231960491 140730231960670 140730231960670 140730231967686 0
/proc/87417/statm: 11729 8605 851 746 0 10793 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46916 KiB
Current children cumulated memory: 34420 KiB

[startup+1.50021 s]
/proc/loadavg: 1.67 1.95 2.04 5/259 87418
/proc/meminfo: memFree=107606644/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=70436 memory=56576 CPUtime=1.49 cores=1,3
/proc/87417/stat : 87417 (Exact_nosoplex) R 87414 87417 87250 0 -1 4194304 9664 0 0 0 147 2 0 0 20 0 1 0 8312279 72126464 14144 134679101440 4194304 7248369 140730231951168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 15327232 140730231960491 140730231960670 140730231960670 140730231967686 0
/proc/87417/statm: 17609 14144 851 746 0 16673 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 70436 KiB
Current children cumulated memory: 56576 KiB

[startup+3.10561 s]
/proc/loadavg: 1.67 1.95 2.04 5/259 87418
/proc/meminfo: memFree=107433572/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=109356 memory=88120 CPUtime=3.08 cores=1,3
/proc/87417/stat : 87417 (Exact_nosoplex) R 87414 87417 87250 0 -1 4194304 13881 0 0 0 305 3 0 0 20 0 1 0 8312279 111980544 22030 134679101440 4194304 7248369 140730231951168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 15327232 140730231960491 140730231960670 140730231960670 140730231967686 0
/proc/87417/statm: 27339 22030 851 746 0 26403 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 109356 KiB
Current children cumulated memory: 88120 KiB

[startup+6.30021 s]
/proc/loadavg: 1.86 1.98 2.05 5/259 87418
/proc/meminfo: memFree=107284456/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=173336 memory=132736 CPUtime=6.27 cores=1,3
/proc/87417/stat : 87417 (Exact_nosoplex) R 87414 87417 87250 0 -1 4194304 19360 0 0 0 621 6 0 0 20 0 1 0 8312279 177496064 33184 134679101440 4194304 7248369 140730231951168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 15327232 140730231960491 140730231960670 140730231960670 140730231967686 0
/proc/87417/statm: 43334 33184 851 746 0 42398 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 173336 KiB
Current children cumulated memory: 132736 KiB

[startup+12.7002 s]
/proc/loadavg: 2.11 2.03 2.06 5/259 87420
/proc/meminfo: memFree=106927016/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=289956 memory=218288 CPUtime=12.66 cores=1,3
/proc/87417/stat : 87417 (Exact_nosoplex) R 87414 87417 87250 0 -1 4194304 29707 0 0 0 1256 10 0 0 20 0 1 0 8312279 296914944 54572 134679101440 4194304 7248369 140730231951168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 15327232 140730231960491 140730231960670 140730231960670 140730231967686 0
/proc/87417/statm: 72489 54572 851 746 0 71553 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 289956 KiB
Current children cumulated memory: 218288 KiB

[startup+25.5002 s]
/proc/loadavg: 2.53 2.13 2.09 5/259 87422
/proc/meminfo: memFree=106454304/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=324320 memory=282508 CPUtime=25.42 cores=1,3
/proc/87417/stat : 87417 (Exact_nosoplex) R 87414 87417 87250 0 -1 4194304 38188 0 0 0 2530 12 0 0 20 0 1 0 8312279 332103680 70627 134679101440 4194304 7248369 140730231951168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 15327232 140730231960491 140730231960670 140730231960670 140730231967686 0
/proc/87417/statm: 81080 70627 851 746 0 80144 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 324320 KiB
Current children cumulated memory: 282508 KiB

[startup+51.1056 s]
/proc/loadavg: 3.17 2.31 2.16 5/259 87426
/proc/meminfo: memFree=105696224/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=497152 memory=368156 CPUtime=50.97 cores=1,3
/proc/87417/stat : 87417 (Exact_nosoplex) R 87414 87417 87250 0 -1 4194304 49093 0 0 0 5078 19 0 0 20 0 1 0 8312279 509083648 92039 134679101440 4194304 7248369 140730231951168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 15327232 140730231960491 140730231960670 140730231960670 140730231967686 0
/proc/87417/statm: 124288 92039 851 746 0 123352 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 497152 KiB
Current children cumulated memory: 368156 KiB

[startup+102.3 s]
/proc/loadavg: 3.69 2.59 2.26 5/260 87604
/proc/meminfo: memFree=104943096/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=500700 memory=371656 CPUtime=102.03 cores=1,3
/proc/87417/stat : 87417 (Exact_nosoplex) R 87414 87417 87250 0 -1 4194304 50101 0 0 0 10183 20 0 0 20 0 1 0 8312279 512716800 92914 134679101440 4194304 7248369 140730231951168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 15327232 140730231960491 140730231960670 140730231960670 140730231967686 0
/proc/87417/statm: 125175 92914 851 746 0 124239 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 500700 KiB
Current children cumulated memory: 371656 KiB

[startup+162.3 s]
/proc/loadavg: 4.00 2.88 2.38 5/260 87615
/proc/meminfo: memFree=104179440/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=502932 memory=373444 CPUtime=161.88 cores=1,3
/proc/87417/stat : 87417 (Exact_nosoplex) R 87414 87417 87250 0 -1 4194304 50662 0 0 0 16168 20 0 0 20 0 1 0 8312279 515002368 93361 134679101440 4194304 7248369 140730231951168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 15327232 140730231960491 140730231960670 140730231960670 140730231967686 0
/proc/87417/statm: 125733 93361 851 746 0 124797 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 502932 KiB
Current children cumulated memory: 373444 KiB

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

# cumulated CPU time of all completed processes:  user=191.139 s, system=0.240378 s

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

[startup+179.2 s]
/proc/loadavg: 4.00 2.95 2.42 5/260 87616
/proc/meminfo: memFree=103855548/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=503076 memory=373784 CPUtime=178.73 cores=1,3
/proc/87417/stat : 87417 (Exact_nosoplex) R 87414 87417 87250 0 -1 4194304 50765 0 0 0 17853 20 0 0 20 0 1 0 8312279 515149824 93446 134679101440 4194304 7248369 140730231951168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 15327232 140730231960491 140730231960670 140730231960670 140730231967686 0
/proc/87417/statm: 125769 93446 851 746 0 124833 0
Current children cumulated CPU time: 178.73 s
Current children cumulated vsize: 503076 KiB
Current children cumulated memory: 373784 KiB

[startup+185.6 s]
/proc/loadavg: 4.00 2.97 2.43 5/260 87619
/proc/meminfo: memFree=103792096/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=503076 memory=373784 CPUtime=185.11 cores=1,3
/proc/87417/stat : 87417 (Exact_nosoplex) R 87414 87417 87250 0 -1 4194304 50765 0 0 0 18491 20 0 0 20 0 1 0 8312279 515149824 93446 134679101440 4194304 7248369 140730231951168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 15327232 140730231960491 140730231960670 140730231960670 140730231967686 0
/proc/87417/statm: 125769 93446 851 746 0 124833 0
Current children cumulated CPU time: 185.11 s
Current children cumulated vsize: 503076 KiB
Current children cumulated memory: 373784 KiB

[startup+188.8 s]
/proc/loadavg: 4.00 2.97 2.43 5/260 87619
/proc/meminfo: memFree=103759644/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=503076 memory=373784 CPUtime=188.31 cores=1,3
/proc/87417/stat : 87417 (Exact_nosoplex) R 87414 87417 87250 0 -1 4194304 50765 0 0 0 18811 20 0 0 20 0 1 0 8312279 515149824 93446 134679101440 4194304 7248369 140730231951168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 15327232 140730231960491 140730231960670 140730231960670 140730231967686 0
/proc/87417/statm: 125769 93446 851 746 0 124833 0
Current children cumulated CPU time: 188.31 s
Current children cumulated vsize: 503076 KiB
Current children cumulated memory: 373784 KiB

[startup+190.4 s]
/proc/loadavg: 4.00 2.99 2.44 5/260 87620
/proc/meminfo: memFree=103060100/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=513980 memory=383228 CPUtime=189.91 cores=1,3
/proc/87417/stat : 87417 (Exact_nosoplex) R 87414 87417 87250 0 -1 4194304 53145 0 0 0 18970 21 0 0 20 0 1 0 8312279 526315520 95807 134679101440 4194304 7248369 140730231951168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 15327232 140730231960491 140730231960670 140730231960670 140730231967686 0
/proc/87417/statm: 128495 95807 851 746 0 127559 0
Current children cumulated CPU time: 189.91 s
Current children cumulated vsize: 513980 KiB
Current children cumulated memory: 383228 KiB

[startup+191.2 s]
/proc/loadavg: 4.00 2.99 2.44 5/260 87620
/proc/meminfo: memFree=103711072/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=524872 memory=393492 CPUtime=190.7 cores=1,3
/proc/87417/stat : 87417 (Exact_nosoplex) R 87414 87417 87250 0 -1 4194304 55693 0 0 0 19048 22 0 0 20 0 1 0 8312279 537468928 98373 134679101440 4194304 7248369 140730231951168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 15327232 140730231960491 140730231960670 140730231960670 140730231967686 0
/proc/87417/statm: 131218 98373 851 746 0 130282 0
Current children cumulated CPU time: 190.7 s
Current children cumulated vsize: 524872 KiB
Current children cumulated memory: 393492 KiB

[startup+191.6 s]
/proc/loadavg: 4.00 2.99 2.44 5/260 87620
/proc/meminfo: memFree=103711072/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=531816 memory=398756 CPUtime=191.1 cores=1,3
/proc/87417/stat : 87417 (Exact_nosoplex) R 87414 87417 87250 0 -1 4194304 57031 0 0 0 19088 22 0 0 20 0 1 0 8312279 544579584 99689 134679101440 4194304 7248369 140730231951168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 15327232 140730231960491 140730231960670 140730231960670 140730231967686 0
/proc/87417/statm: 132954 99689 851 746 0 132018 0
Current children cumulated CPU time: 191.1 s
Current children cumulated vsize: 531816 KiB
Current children cumulated memory: 398756 KiB

[startup+191.8 s]
/proc/loadavg: 4.00 2.99 2.44 5/260 87620
/proc/meminfo: memFree=103711072/131524600 swapFree=131071996/131071996
[pid=87417] ppid=87414 vsize=535372 memory=401648 CPUtime=191.3 cores=1,3
/proc/87417/stat : 87417 (Exact_nosoplex) R 87414 87417 87250 0 -1 4194304 57746 0 0 0 19108 22 0 0 20 0 1 0 8312279 548220928 100412 134679101440 4194304 7248369 140730231951168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 15327232 140730231960491 140730231960670 140730231960670 140730231967686 0
/proc/87417/statm: 133843 100412 851 746 0 132907 0
Current children cumulated CPU time: 191.3 s
Current children cumulated vsize: 535372 KiB
Current children cumulated memory: 401648 KiB

Child status: 30

Real time (s): 191.867
CPU time (s): 191.379
CPU user time (s): 191.139
CPU system time (s): 0.240378
CPU usage (%): 99.7456
Max. virtual memory (cumulated for all children) (KiB): 535372
Max. memory (cumulated for all children) (KiB): 401648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 191.139
system time used= 0.240378
maximum resident set size= 483992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57915
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= 209


# summary of solver processes directly reported to runsolver:
#   pid: 87417
#   total CPU time (s): 191.379
#   total CPU user time (s): 191.139
#   total CPU system time (s): 0.240378

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.410366 second user time and 0.973243 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2024-07-23 08:57:12
IDJOB=4455923
IDBENCH=143117
IDSOLVER=3039
FILE ID=nodeC025/4455923-1721717832
RUNJOBID= nodeC025-1721717830-87262
SLURM_JOB_ID= 7770390
Free space on /tmp= 890016 MiB

SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf6.ucl--soft-0-100-0.wbo
COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4455923-1721717832/watcher-4455923-1721717832 -o /tmp/evaluation-result-4455923-1721717832/solver-4455923-1721717832 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721717830-87262 --watchdog 3760  HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1674508234 HOME/instance-4455923-1721717832.wbo

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

MD5SUM BENCH= 5c99007ab0c844b346484c471f4c57e4
RANDOM SEED=1674508234

nodeC025.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		: 3659.567
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.51
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		: 3660.008
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	: 7005.49
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.778
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.51
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		: 3659.838
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	: 7005.49
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		: 3659.503
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.51
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		: 3659.183
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	: 7005.49
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.800
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.51
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		: 3623.087
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	: 7005.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        107717964 kB
MemAvailable:   129282000 kB
Buffers:          135160 kB
Cached:         22161888 kB
SwapCached:            0 kB
Active:           927412 kB
Inactive:       22127276 kB
Active(anon):       1528 kB
Inactive(anon):   793872 kB
Active(file):     925884 kB
Inactive(file): 21333404 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             21960 kB
Writeback:             0 kB
AnonPages:        757812 kB
Mapped:           110244 kB
Shmem:             37720 kB
KReclaimable:     289144 kB
Slab:             398584 kB
SReclaimable:     289144 kB
SUnreclaim:       109440 kB
KernelStack:        4144 kB
PageTables:        10652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     983192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19264 kB
HardwareCorrupted:     0 kB
AnonHugePages:    368640 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:      293588 kB
DirectMap2M:    21499904 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 890008 MiB
End job on nodeC025 at 2024-07-23 09:00:24