Trace number 4457755

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-05OPT-110625 1171.33 1173.99

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/
normalized-knapPI_1_2000_1000_1_-110625.opb
MD5SUM4e250cdab7b4044f2b74367cd304c22b
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 benchmark-110625
Best CPU time to get the best result obtained on this benchmark0.045906
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000
Total number of constraints1
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2000
Maximum length of a constraint2000
Number of terms in the objective function 2000
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 977737
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 10011
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 1021141
Number of bits of the biggest sum of numbers20
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.00	o 0
0.19/0.26	o -897
0.19/0.26	o -983
0.19/0.27	o -1100
0.19/0.27	o -1168
0.19/0.27	o -1581
0.19/0.28	o -2364
0.19/0.28	o -3082
0.19/0.29	o -3700
0.19/0.29	o -4074
0.19/0.30	o -4494
0.28/0.31	o -5097
0.28/0.31	o -5434
0.28/0.32	o -6215
0.28/0.32	o -6702
0.28/0.33	o -7183
0.28/0.33	o -8061
0.28/0.34	o -8350
0.28/0.34	o -8999
0.28/0.34	o -9933
0.28/0.35	o -10625
0.28/0.35	o -10895
0.28/0.36	o -10937
0.28/0.36	o -11324
0.28/0.37	o -11707
0.28/0.37	o -11863
0.28/0.38	o -11939
0.28/0.39	o -11945
0.38/0.41	o -12781
0.38/0.41	o -12976
0.38/0.42	o -13300
0.38/0.43	o -13737
0.38/0.44	o -13746
0.38/0.46	o -13881
0.38/0.47	o -13908
0.38/0.47	o -13953
0.38/0.48	o -14121
0.38/0.49	o -14288
0.38/0.49	o -14315
0.38/0.50	o -14398
0.48/0.51	o -14569
0.48/0.53	o -14764
0.48/0.56	o -15088
0.48/0.59	o -15498
0.57/0.64	o -15510
0.57/0.69	o -15739
0.66/0.72	o -15774
0.66/0.76	o -15824
0.76/0.80	o -15830
0.76/0.85	o -15833
0.86/0.94	o -16205
0.97/1.01	o -19044
0.97/1.02	o -19230
0.97/1.03	o -19524
1.07/1.17	o -19595
1.07/1.17	o -20453
1.07/1.19	o -20777
1.07/1.19	o -21070
1.16/1.21	o -21215
1.16/1.23	o -21332
1.26/1.31	o -21341
1.26/1.32	o -21376
1.26/1.32	o -21700
1.26/1.33	o -21860
1.26/1.33	o -22816
1.26/1.34	o -22822
1.26/1.36	o -22890
1.36/1.44	o -23085
1.36/1.44	o -23135
1.46/1.50	o -23511
1.56/1.64	o -23702
1.56/1.65	o -23785
1.56/1.66	o -23825
1.56/1.68	o -24075
1.56/1.69	o -24080
1.66/1.72	o -24242
1.66/1.74	o -24300
1.66/1.75	o -24344
1.76/1.87	o -24371
1.86/1.96	o -24429
2.16/2.23	o -24577
2.16/2.26	o -24683
2.26/2.30	o -24935
2.26/2.33	o -25043
2.26/2.36	o -25162
2.26/2.38	o -25167
2.36/2.43	o -25178
2.66/2.73	o -25188
2.66/2.75	o -25286
2.66/2.78	o -25344
2.76/2.84	o -25426
2.76/2.86	o -25461
2.76/2.88	o -25531
2.96/3.04	o -25627
3.56/3.63	o -25654
3.56/3.65	o -25721
3.56/3.66	o -25725
3.56/3.67	o -25733
3.56/3.68	o -26006
3.75/3.80	o -26025
3.75/3.82	o -26058
3.96/4.07	o -26113
4.25/4.32	o -26122
4.25/4.33	o -26149
4.25/4.35	o -26198
4.25/4.36	o -26221
4.35/4.44	o -26439
4.55/4.67	o -26583
5.05/5.10	o -26623
5.35/5.49	o -26788
5.45/5.52	o -26812
5.45/5.56	o -26861
5.54/5.60	o -26878
5.64/5.70	o -26934
5.74/5.80	o -26937
5.74/5.86	o -27074
5.84/5.99	o -27089
6.34/6.42	o -27183
6.34/6.44	o -27273
6.34/6.49	o -27284
6.55/6.62	o -27367
6.65/6.73	o -27392
6.65/6.74	o -27396
6.65/6.77	o -27408
6.75/6.82	o -27465
6.85/6.95	o -27469
7.35/7.45	o -27605
7.45/7.56	o -27675
7.55/7.60	o -27734
7.55/7.63	o -27882
7.55/7.65	o -28068
7.65/7.71	o -28117
7.65/7.73	o -28124
7.65/7.74	o -28322
7.74/7.82	o -28381
7.74/7.84	o -28385
7.84/7.90	o -28397
7.84/7.98	o -28583
7.84/7.99	o -28691
7.95/8.01	o -28735
7.95/8.03	o -28794
7.95/8.10	o -28936
8.64/8.70	o -29003
8.64/8.73	o -29023
8.64/8.74	o -29149
8.74/8.84	o -29191
8.84/8.94	o -29340
8.95/9.02	o -29377
8.95/9.07	o -29535
9.05/9.15	o -29556
9.05/9.18	o -29699
9.05/9.19	o -29827
9.14/9.24	o -29960
9.14/9.25	o -30473
9.14/9.26	o -30508
9.14/9.27	o -30703
9.14/9.29	o -31607
9.24/9.36	o -32274
9.74/9.87	o -32346
9.74/9.88	o -32433
9.84/9.90	o -32512
9.84/9.91	o -32888
9.84/9.93	o -33129
9.84/9.99	o -33447
9.94/10.07	o -33449
10.04/10.11	o -33708
10.04/10.13	o -33724
10.14/10.23	o -33886
10.14/10.25	o -33913
10.24/10.32	o -34047
10.24/10.35	o -34195
11.73/11.89	o -34204
11.83/11.93	o -34234
11.83/11.94	o -34266
11.94/12.06	o -34330
11.94/12.08	o -34357
12.04/12.14	o -34426
12.04/12.17	o -34482
12.43/12.53	o -34526
12.43/12.54	o -34553
12.43/12.55	o -34590
12.43/12.59	o -34613
12.53/12.61	o -34694
12.63/12.71	o -34717
12.63/12.74	o -34796
12.63/12.77	o -34801
12.73/12.81	o -34841
12.73/12.83	o -34850
12.73/12.84	o -34877
12.83/12.95	o -34917
13.03/13.15	o -35002
13.23/13.34	o -35211
13.73/13.89	o -35222
13.83/13.91	o -35231
13.83/13.92	o -35232
13.83/13.94	o -35468
14.03/14.10	o -35469
14.93/15.03	o -35530
15.12/15.26	o -35654
15.22/15.36	o -35669
15.22/15.38	o -35678
15.42/15.50	o -35684
15.42/15.54	o -35732
15.42/15.57	o -35754
15.82/15.96	o -35848
15.82/15.97	o -35875
15.82/15.99	o -36018
16.32/16.44	o -36075
17.02/17.18	o -36102
17.12/17.20	o -36177
17.21/17.31	o -36369
17.31/17.46	o -36377
17.31/17.48	o -36431
17.41/17.53	o -36462
17.51/17.69	o -36952
18.21/18.38	o -36956
19.52/19.63	o -37009
19.52/19.64	o -37018
19.52/19.66	o -37229
19.52/19.68	o -37241
19.52/19.69	o -37251
19.82/19.95	o -37315
20.92/21.07	o -37342
20.92/21.09	o -37417
21.81/21.94	o -37430
21.81/21.96	o -37431
21.81/21.98	o -37673
21.92/22.02	o -37758
21.92/22.04	o -37810
21.92/22.05	o -37860
22.02/22.12	o -37943
22.02/22.14	o -38045
22.11/22.22	o -38056
22.11/22.24	o -38251
22.11/22.25	o -38334
22.11/22.28	o -38893
22.31/22.46	o -39070
22.51/22.64	o -39079
24.01/24.11	o -39148
24.11/24.24	o -39167
24.30/24.40	o -39218
24.30/24.42	o -39245
24.40/24.55	o -39433
24.40/24.56	o -39442
24.40/24.57	o -39527
24.70/24.85	o -39621
25.70/25.85	o -39659
26.60/26.79	o -39660
26.80/26.96	o -39688
26.80/26.98	o -39766
26.80/26.99	o -39793
27.00/27.20	o -39879
27.20/27.32	o -39926
27.30/27.48	o -39994
27.50/27.62	o -40064
28.39/28.50	o -40176
28.59/28.78	o -40184
28.69/28.83	o -40292
28.69/28.85	o -40310
29.00/29.10	o -40311
29.00/29.12	o -40397
29.00/29.15	o -40405
29.09/29.27	o -40706
29.09/29.29	o -40917
29.19/29.30	o -41008
29.79/29.94	o -41044
30.99/31.13	o -41058
31.09/31.25	o -41612
31.39/31.59	o -41681
31.49/31.62	o -41830
31.69/31.80	o -41916
31.79/31.95	o -41920
31.79/31.99	o -41934
31.99/32.12	o -41942
32.08/32.23	o -41950
35.28/35.48	o -42152
35.48/35.61	o -42205
35.48/35.66	o -42247
35.58/35.70	o -42331
35.58/35.78	o -42485
35.68/35.80	o -42507
35.78/35.94	o -42511
35.88/36.05	o -42627
35.88/36.07	o -42654
35.88/36.08	o -42667
36.08/36.25	o -42675
36.18/36.30	o -42719
36.28/36.41	o -43302
36.47/36.65	o -43314
36.47/36.69	o -43456
36.57/36.70	o -43540
36.77/36.97	o -43595
36.88/37.03	o -43767
36.88/37.05	o -43783
36.88/37.06	o -43823
37.07/37.26	o -43982
38.87/39.01	o -43983
38.87/39.03	o -43991
38.87/39.04	o -44033
38.87/39.06	o -44035
38.87/39.09	o -44064
38.97/39.17	o -44095
39.07/39.22	o -44160
39.17/39.34	o -44235
39.37/39.54	o -44282
39.37/39.57	o -44327
39.37/39.59	o -44411
39.57/39.74	o -44458
39.67/39.83	o -44466
39.67/39.85	o -44508
39.77/39.95	o -44797
39.77/39.97	o -44881
39.77/39.98	o -45021
39.87/40.00	o -45197
40.47/40.65	o -45214
42.46/42.61	o -45315
42.66/42.83	o -45483
42.66/42.85	o -45484
42.66/42.86	o -45487
42.66/42.88	o -45518
42.76/42.90	o -45842
42.76/42.92	o -46002
42.76/43.00	o -46017
42.87/43.03	o -46085
42.87/43.05	o -46280
42.87/43.08	o -46608
42.97/43.12	o -46691
42.97/43.14	o -47067
43.06/43.20	o -47215
43.06/43.22	o -47539
43.26/43.44	o -47646
43.36/43.57	o -47808
43.46/43.67	o -47823
43.76/43.95	o -47962
45.75/45.95	o -47967
45.75/45.98	o -48001
45.86/46.04	o -48005
45.86/46.06	o -48048
46.05/46.28	o -48134
46.25/46.46	o -48143
47.05/47.22	o -48267
47.15/47.35	o -48290
47.65/47.82	o -48308
47.75/47.99	o -48310
47.95/48.12	o -48313
47.95/48.15	o -48421
48.15/48.31	o -48429
48.44/48.60	o -48520
52.24/52.44	o -48560
52.34/52.51	o -48564
52.34/52.52	o -48686
52.44/52.61	o -48810
52.64/52.85	o -48824
52.64/52.89	o -48842
52.95/53.12	o -48862
52.95/53.16	o -48942
53.14/53.37	o -48946
53.14/53.39	o -48959
53.24/53.46	o -48965
53.24/53.49	o -49007
53.34/53.55	o -49018
53.34/53.59	o -49026
53.44/53.67	o -49051
53.54/53.72	o -49056
53.64/53.83	o -49060
53.84/54.08	o -49161
53.94/54.12	o -49173
53.94/54.18	o -49198
54.04/54.28	o -49220
54.34/54.53	o -49293
54.54/54.74	o -49308
54.54/54.78	o -49428
54.64/54.88	o -49443
54.74/54.98	o -49474
55.04/55.26	o -49483
55.24/55.40	o -49489
55.43/55.61	o -49541
56.13/56.34	o -49625
56.23/56.49	o -49668
56.33/56.51	o -49676
56.33/56.54	o -49699
56.33/56.57	o -49731
56.43/56.64	o -49732
56.63/56.87	o -49741
56.73/56.99	o -49911
56.84/57.00	o -49912
56.84/57.02	o -49916
56.84/57.04	o -49921
56.84/57.06	o -50115
56.84/57.08	o -50690
56.84/57.09	o -50814
56.94/57.13	o -50872
56.94/57.16	o -50876
57.03/57.22	o -51248
58.63/58.83	o -51256
58.73/58.90	o -51280
58.73/58.94	o -51305
58.83/59.00	o -51467
58.83/59.03	o -51476
58.83/59.09	o -51525
59.33/59.50	o -51576
59.33/59.52	o -51646
60.52/60.73	o -51647
60.52/60.79	o -51669
60.72/60.97	o -51683
60.83/61.03	o -51732
61.22/61.41	o -51751
65.21/65.40	o -51761
65.21/65.46	o -51799
65.51/65.77	o -51832
66.10/66.34	o -51960
66.50/66.77	o -52101
66.60/66.80	o -52103
66.81/67.03	o -52106
67.40/67.66	o -52112
67.70/67.95	o -52130
67.91/68.17	o -52139
71.20/71.43	o -52163
71.20/71.45	o -52229
71.30/71.54	o -52253
71.30/71.55	o -52293
71.30/71.58	o -52307
71.40/71.63	o -52308
71.40/71.67	o -52341
71.50/71.72	o -52349
71.50/71.78	o -52472
71.60/71.81	o -52559
71.60/71.82	o -52568
71.60/71.85	o -52659
71.60/71.89	o -52733
71.70/72.00	o -52935
71.80/72.01	o -53019
72.10/72.33	o -53029
72.50/72.79	o -53044
72.59/72.80	o -53045
72.59/72.81	o -53239
72.59/72.83	o -53324
72.59/72.85	o -53566
72.59/72.88	o -53818
72.59/72.89	o -54013
72.69/72.97	o -54291
72.69/73.00	o -54361
72.80/73.01	o -54395
72.80/73.02	o -54401
72.90/73.11	o -54556
72.90/73.12	o -54751
72.90/73.14	o -55173
72.90/73.17	o -55290
72.99/73.23	o -55438
72.99/73.25	o -55521
73.19/73.41	o -55599
73.19/73.48	o -55765
73.29/73.55	o -55801
73.29/73.57	o -55869
73.49/73.79	o -55874
73.59/73.80	o -55948
73.59/73.81	o -56031
73.59/73.85	o -56541
73.90/74.13	o -56550
75.79/76.05	o -56577
75.79/76.06	o -56825
75.99/76.27	o -56865
75.99/76.28	o -56874
75.99/76.29	o -56901
76.09/76.36	o -56905
76.19/76.41	o -57062
76.49/76.70	o -57230
76.49/76.75	o -57233
76.49/76.79	o -57242
76.79/77.04	o -57295
76.79/77.06	o -57330
76.98/77.28	o -57334
77.08/77.30	o -57361
77.48/77.78	o -57464
77.79/78.07	o -57494
77.89/78.12	o -57539
79.68/79.96	o -57544
80.08/80.34	o -57562
80.18/80.45	o -57579
80.68/80.95	o -57622
81.17/81.47	o -57637
82.57/82.87	o -57640
82.67/82.90	o -57716
83.37/83.68	o -57731
83.47/83.75	o -57764
83.77/84.08	o -57819
84.47/84.73	o -57880
88.16/88.43	o -58021
88.36/88.70	o -58022
88.46/88.74	o -58058
88.46/88.76	o -58079
89.26/89.54	o -58093
90.05/90.31	o -58104
90.95/91.26	o -58128
91.25/91.55	o -58138
91.65/91.90	o -58146
91.65/91.95	o -58158
91.86/92.11	o -58166
91.95/92.23	o -58171
92.05/92.33	o -58176
92.05/92.38	o -58179
92.25/92.55	o -58193
94.34/94.69	o -58209
95.34/95.65	o -58255
95.54/95.81	o -58270
95.94/96.23	o -58286
96.44/96.73	o -58385
96.54/96.80	o -58441
96.64/96.92	o -58451
96.64/96.96	o -58537
97.34/97.61	o -58542
97.64/97.91	o -58547
99.74/100.09	o -58556
99.84/100.16	o -58559
100.13/100.44	o -58617
100.23/100.50	o -58626
100.43/100.78	o -58630
100.93/101.21	o -58638
101.03/101.39	o -59033
101.13/101.42	o -59042
101.13/101.44	o -59060
101.13/101.47	o -59129
101.23/101.50	o -59131
102.42/102.72	o -59209
103.22/103.54	o -59212
103.62/103.99	o -59269
106.82/107.12	o -59334
106.82/107.18	o -59338
106.91/107.25	o -59361
106.91/107.27	o -59365
106.91/107.28	o -59368
106.91/107.29	o -59383
107.01/107.31	o -59677
107.01/107.33	o -59713
107.41/107.71	o -59755
107.41/107.74	o -59765
107.61/107.93	o -59775
107.72/108.02	o -59789
108.11/108.45	o -59797
108.11/108.46	o -59800
108.21/108.51	o -59802
108.41/108.74	o -59808
108.51/108.81	o -59912
108.51/108.82	o -60008
108.81/109.14	o -60010
110.10/110.47	o -60099
110.71/111.09	o -60573
110.81/111.11	o -60582
111.40/111.74	o -60588
112.60/112.90	o -60628
112.80/113.19	o -60636
113.80/114.11	o -60652
113.89/114.26	o -60682
115.59/115.93	o -60693
116.89/117.26	o -60699
117.49/117.81	o -60700
117.49/117.84	o -60745
117.49/117.88	o -60776
117.59/117.90	o -60912
117.59/117.95	o -60971
117.59/117.98	o -61055
117.69/118.01	o -61085
117.79/118.17	o -61107
120.18/120.50	o -61143
120.88/121.25	o -61171
123.17/123.55	o -61181
123.17/123.59	o -61193
123.27/123.62	o -61212
123.68/124.09	o -61258
125.07/125.42	o -61286
125.17/125.51	o -61288
125.47/125.82	o -61297
129.06/129.48	o -61387
129.16/129.52	o -61422
129.16/129.57	o -61518
129.26/129.63	o -61646
130.06/130.44	o -61668
130.16/130.51	o -61680
130.86/131.21	o -61682
131.35/131.74	o -61722
131.45/131.85	o -61740
131.45/131.89	o -61749
131.55/132.00	o -61780
131.76/132.14	o -61784
132.15/132.52	o -61838
133.05/133.40	o -61850
133.66/134.10	o -61856
134.75/135.19	o -61874
136.54/136.95	o -62165
136.84/137.26	o -62304
137.14/137.57	o -62340
137.75/138.11	o -62374
139.54/139.93	o -62468
145.42/145.85	o -62482
146.82/147.29	o -62516
148.72/149.18	o -62518
148.82/149.25	o -62546
149.21/149.68	o -62551
149.41/149.86	o -62560
149.51/149.98	o -62571
154.80/155.22	o -62591
155.00/155.40	o -62600
155.70/156.11	o -62602
156.00/156.43	o -62605
156.99/157.42	o -62615
156.99/157.43	o -62617
157.09/157.54	o -62644
157.29/157.77	o -62652
157.60/158.04	o -62672
157.89/158.35	o -62694
158.60/159.08	o -62703
159.99/160.43	o -62777
160.49/160.98	o -62815
161.09/161.56	o -62816
161.38/161.85	o -62834
161.69/162.11	o -62856
161.69/162.14	o -62868
161.88/162.38	o -62874
163.78/164.20	o -62913
164.28/164.73	o -62930
164.38/164.81	o -62948
164.68/165.12	o -62965
164.68/165.17	o -62970
164.88/165.38	o -62981
165.37/165.82	o -62984
165.58/166.01	o -62987
165.97/166.43	o -63037
166.27/166.76	o -63047
169.57/170.05	o -63055
169.57/170.06	o -63091
169.57/170.07	o -63131
169.67/170.13	o -63133
169.86/170.32	o -63154
169.86/170.36	o -63179
169.86/170.39	o -63297
169.96/170.41	o -63339
169.96/170.42	o -63396
170.76/171.23	o -63412
170.86/171.33	o -63417
171.06/171.56	o -63434
171.16/171.60	o -63466
171.26/171.71	o -63473
171.46/171.95	o -63487
171.56/172.02	o -63489
171.76/172.27	o -63494
172.36/172.89	o -63534
173.67/174.11	o -63557
174.16/174.67	o -63615
175.16/175.65	o -63622
176.66/177.19	o -63627
176.85/177.37	o -63689
177.35/177.86	o -63715
177.35/177.89	o -63727
177.75/178.20	o -63751
178.35/178.82	o -63753
178.35/178.85	o -63774
179.05/179.50	o -63780
179.65/180.12	o -63810
180.05/180.59	o -63845
182.34/182.89	o -63878
182.55/183.02	o -63896
182.84/183.30	o -63918
183.44/183.97	o -63958
183.94/184.47	o -63966
184.24/184.72	o -64002
184.24/184.76	o -64135
184.34/184.80	o -64247
184.84/185.37	o -64255
187.43/187.98	o -64286
188.03/188.51	o -64324
188.63/189.14	o -64459
188.83/189.30	o -64518
188.93/189.41	o -64528
189.33/189.83	o -64529
189.72/190.26	o -64589
189.82/190.31	o -64610
190.22/190.74	o -64686
190.92/191.43	o -64712
191.32/191.88	o -64718
191.42/191.95	o -64722
191.82/192.37	o -64742
192.22/192.73	o -64755
192.62/193.18	o -64837
195.91/196.40	o -64846
195.91/196.41	o -64864
196.61/197.18	o -64882
196.70/197.27	o -64915
196.90/197.47	o -64927
196.90/197.48	o -64961
196.90/197.49	o -64969
197.00/197.51	o -64990
197.40/197.91	o -64996
197.51/198.03	o -65052
197.51/198.05	o -65073
197.70/198.22	o -65076
197.70/198.28	o -65206
198.10/198.66	o -65215
198.90/199.46	o -65780
200.69/201.28	o -65855
200.89/201.45	o -65927
200.89/201.47	o -66011
200.99/201.54	o -66027
201.09/201.69	o -66038
201.29/201.82	o -66047
201.29/201.84	o -66053
201.29/201.87	o -66063
201.39/201.90	o -66094
201.50/202.04	o -66135
201.50/202.06	o -66177
201.79/202.30	o -66253
201.89/202.45	o -66256
201.89/202.47	o -66317
202.19/202.76	o -66349
202.79/203.30	o -66391
203.69/204.21	o -66402
205.18/205.79	o -66483
205.28/205.85	o -66492
205.49/206.06	o -66512
205.98/206.57	o -66513
206.08/206.60	o -66529
206.08/206.66	o -66555
206.59/207.13	o -66582
206.78/207.35	o -66588
207.28/207.87	o -66592
209.58/210.19	o -66645
210.37/210.92	o -66653
210.97/211.53	o -66669
211.58/212.13	o -66685
211.58/212.16	o -66770
211.67/212.21	o -66937
211.67/212.23	o -67132
211.87/212.49	o -67410
212.07/212.65	o -67462
212.07/212.68	o -68171
212.17/212.79	o -68326
212.27/212.81	o -68521
212.37/212.91	o -68571
212.47/213.05	o -68653
212.47/213.08	o -68689
212.57/213.11	o -68723
212.57/213.13	o -68729
212.87/213.44	o -68759
212.87/213.48	o -69077
212.97/213.53	o -69318
213.17/213.73	o -69499
213.17/213.76	o -69582
214.17/214.72	o -69586
216.76/217.30	o -69609
216.76/217.33	o -69621
216.76/217.36	o -69628
216.76/217.39	o -69631
216.86/217.41	o -69649
216.86/217.44	o -69768
217.16/217.77	o -69779
217.26/217.82	o -69806
217.46/218.07	o -70017
218.85/219.41	o -70062
218.85/219.44	o -70164
218.85/219.49	o -70341
219.46/220.01	o -70450
219.95/220.55	o -70453
223.15/223.75	o -70488
224.14/224.76	o -70497
224.74/225.32	o -70498
224.74/225.34	o -70538
224.94/225.54	o -70625
225.34/225.92	o -70627
225.45/226.10	o -70634
225.55/226.12	o -70654
225.55/226.13	o -70693
225.55/226.18	o -70729
226.14/226.79	o -70744
227.93/228.53	o -70828
228.13/228.74	o -70843
229.03/229.69	o -70846
229.33/229.98	o -70851
229.44/230.00	o -70852
229.54/230.12	o -70876
229.63/230.24	o -70897
230.23/230.80	o -71038
232.62/233.26	o -71054
233.72/234.31	o -71064
233.92/234.56	o -71098
234.62/235.20	o -71136
234.72/235.33	o -71151
235.02/235.65	o -71172
235.62/236.22	o -71176
235.62/236.29	o -71186
235.92/236.58	o -71228
236.02/236.65	o -71258
237.71/238.31	o -71262
239.81/240.42	o -71268
240.01/240.68	o -71277
240.41/241.10	o -71279
240.51/241.14	o -71304
240.51/241.18	o -71341
241.20/241.80	o -71410
243.41/244.06	o -71418
244.60/245.21	o -71421
244.80/245.42	o -71435
245.89/246.56	o -71451
248.99/249.67	o -71453
249.59/250.27	o -71479
249.59/250.28	o -71488
249.59/250.29	o -71506
249.69/250.32	o -71545
249.79/250.40	o -71561
249.79/250.47	o -71565
249.89/250.53	o -71587
249.98/250.65	o -71605
250.08/250.77	o -71610
250.08/250.79	o -71619
250.28/250.96	o -71649
250.58/251.22	o -71655
250.68/251.38	o -71657
251.98/252.68	o -71826
252.28/252.93	o -72528
252.98/253.60	o -72540
253.18/253.87	o -72541
253.18/253.89	o -72681
253.28/253.91	o -72716
253.48/254.16	o -72728
253.48/254.18	o -72803
253.68/254.31	o -72857
256.48/257.15	o -72859
256.77/257.44	o -72865
256.87/257.51	o -72901
258.07/258.73	o -72915
258.66/259.33	o -72929
258.76/259.49	o -73015
259.37/260.10	o -73024
259.86/260.50	o -73038
260.47/261.12	o -73055
263.95/264.63	o -73056
264.46/265.14	o -73067
264.85/265.57	o -73276
266.05/266.70	o -73642
266.05/266.73	o -73654
266.05/266.76	o -73782
266.15/266.80	o -73890
266.15/266.83	o -73958
266.15/266.86	o -73967
266.15/266.89	o -73970
268.64/269.34	o -74122
276.52/277.20	o -74153
278.43/279.12	o -74162
278.62/279.39	o -74174
278.72/279.41	o -74214
278.72/279.45	o -74368
279.02/279.76	o -74387
279.12/279.86	o -74408
279.42/280.18	o -74414
279.52/280.23	o -74424
279.72/280.43	o -74465
279.72/280.45	o -74477
279.72/280.46	o -74605
279.72/280.48	o -74614
279.82/280.50	o -74793
279.82/280.53	o -74809
279.82/280.55	o -74818
279.92/280.61	o -74921
280.32/281.08	o -74924
280.42/281.17	o -74945
280.61/281.33	o -74950
280.61/281.38	o -74990
280.71/281.42	o -75143
281.11/281.87	o -75179
283.51/284.25	o -75323
284.41/285.18	o -75326
284.90/285.69	o -75331
285.00/285.79	o -75379
285.20/285.93	o -75401
285.70/286.43	o -75403
285.70/286.46	o -75415
285.80/286.50	o -75443
285.80/286.57	o -75475
286.20/286.98	o -75516
286.60/287.33	o -75517
292.69/293.48	o -75519
292.89/293.62	o -75531
293.09/293.88	o -75577
293.29/294.08	o -75585
293.49/294.24	o -75591
293.58/294.36	o -75618
293.78/294.57	o -75626
293.78/294.58	o -75647
293.88/294.65	o -75698
293.88/294.67	o -75782
293.98/294.70	o -75901
296.38/297.18	o -75903
299.47/300.29	o -75939
302.76/303.54	o -75947
305.16/305.97	o -75956
312.64/313.48	o -75976
324.23/325.09	o -75992
335.69/336.57	o -75998
340.19/341.09	o -76003
341.19/342.02	o -76006
342.68/343.53	o -76020
343.47/344.32	o -76671
344.77/345.62	o -76751
344.77/345.68	o -76854
345.37/346.27	o -76875
352.05/352.92	o -76899
353.26/354.15	o -76901
353.45/354.34	o -76915
355.65/356.52	o -76928
355.75/356.68	o -76960
355.85/356.79	o -76965
356.54/357.40	o -76978
356.84/357.70	o -76982
357.64/358.52	o -76998
357.64/358.58	o -77000
357.84/358.74	o -77006
358.15/359.03	o -77017
358.15/359.06	o -77067
358.24/359.11	o -77223
358.34/359.20	o -77439
358.34/359.25	o -77757
358.84/359.72	o -77889
358.94/359.88	o -77908
359.24/360.17	o -77991
360.24/361.18	o -77992
364.42/365.32	o -77997
365.13/366.01	o -78002
365.52/366.43	o -78013
365.82/366.77	o -78123
366.82/367.70	o -78133
367.62/368.53	o -78140
375.90/376.86	o -78159
376.00/376.90	o -78291
376.00/376.96	o -78341
376.00/376.98	o -78365
376.00/376.99	o -78412
376.10/377.04	o -78518
376.10/377.07	o -78524
376.80/377.70	o -78582
377.99/378.99	o -78622
378.20/379.10	o -78648
378.29/379.26	o -78665
378.89/379.85	o -78811
379.99/380.93	o -78905
380.09/381.04	o -78976
380.09/381.06	o -78977
380.09/381.08	o -79171
380.09/381.10	o -79495
380.19/381.13	o -79569
380.19/381.16	o -79595
380.39/381.37	o -79623
380.49/381.46	o -79683
383.48/384.46	o -79691
386.18/387.11	o -79701
386.47/387.45	o -79736
388.57/389.54	o -79814
389.17/390.19	o -79816
390.56/391.50	o -79855
390.86/391.84	o -79953
391.76/392.71	o -80030
395.95/396.91	o -80114
395.95/396.93	o -80132
396.25/397.25	o -80315
396.25/397.26	o -80639
396.25/397.28	o -81015
396.45/397.46	o -81083
396.75/397.70	o -81161
396.95/397.94	o -81255
397.05/398.03	o -81342
397.15/398.14	o -81370
397.65/398.69	o -81385
397.95/398.99	o -81406
398.34/399.30	o -81431
398.34/399.32	o -81542
398.44/399.47	o -81544
398.94/399.96	o -81580
399.24/400.28	o -81594
399.34/400.39	o -81624
399.94/400.93	o -81694
400.54/401.56	o -81754
401.35/402.30	o -81763
402.44/403.41	o -81778
402.64/403.69	o -81827
403.44/404.41	o -81869
405.24/406.25	o -81901
405.24/406.28	o -81909
405.34/406.38	o -81928
405.64/406.64	o -81946
406.04/407.10	o -82064
406.44/407.41	o -82081
406.53/407.57	o -82088
406.63/407.66	o -82119
407.23/408.25	o -82167
407.63/408.67	o -82181
408.73/409.78	o -82216
408.83/409.85	o -82218
409.04/410.09	o -82254
409.73/410.77	o -82282
410.03/411.09	o -82283
410.23/411.21	o -82286
410.43/411.41	o -82324
412.13/413.18	o -82348
412.72/413.73	o -82350
412.72/413.77	o -82378
413.03/414.06	o -82393
413.13/414.10	o -82402
413.22/414.23	o -82474
413.22/414.27	o -82788
413.32/414.35	o -83164
413.52/414.56	o -83225
413.72/414.76	o -83283
414.12/415.12	o -83449
414.32/415.37	o -83504
415.61/416.69	o -83598
418.71/419.77	o -83613
420.50/421.50	o -83614
422.11/423.19	o -83652
422.50/423.57	o -83662
423.20/424.20	o -83685
423.20/424.24	o -83706
423.80/424.81	o -83816
427.39/428.47	o -83818
427.69/428.70	o -83844
427.79/428.84	o -83874
427.89/428.95	o -84059
428.09/429.14	o -84077
428.09/429.18	o -84151
428.28/429.34	o -84153
428.28/429.39	o -84167
428.58/429.65	o -84199
428.68/429.78	o -84216
429.09/430.13	o -84224
429.28/430.31	o -84396
429.28/430.32	o -84405
429.28/430.34	o -84423
429.28/430.36	o -84428
429.38/430.47	o -84639
429.58/430.60	o -84903
429.68/430.72	o -84958
430.78/431.82	o -84994
431.78/432.86	o -84996
431.98/433.09	o -85047
433.17/434.25	o -85152
435.17/436.28	o -85154
435.27/436.37	o -85430
436.77/437.88	o -85513
438.26/439.35	o -85535
438.97/440.10	o -85552
439.07/440.13	o -85605
440.16/441.27	o -85619
441.85/442.98	o -85623
442.15/443.20	o -85632
442.25/443.33	o -85648
442.55/443.62	o -85651
442.55/443.66	o -85657
442.65/443.73	o -85704
442.75/443.84	o -85714
442.85/443.92	o -85722
443.45/444.59	o -85750
445.15/446.26	o -85757
445.54/446.66	o -85821
445.64/446.79	o -85929
446.24/447.30	o -85933
446.44/447.53	o -85940
446.44/447.57	o -85997
446.54/447.64	o -86039
446.54/447.69	o -86142
447.24/448.39	o -86149
447.34/448.42	o -86245
447.84/448.94	o -86264
450.04/451.19	o -86277
450.23/451.33	o -86317
450.63/451.78	o -86323
450.73/451.89	o -86333
450.94/452.00	o -86349
451.53/452.64	o -86497
452.43/453.52	o -86578
453.03/454.18	o -86585
453.43/454.52	o -86634
457.32/458.41	o -86660
457.42/458.56	o -86676
457.52/458.64	o -86739
457.62/458.75	o -86831
457.62/458.78	o -86845
457.92/459.03	o -86846
458.02/459.10	o -86850
458.02/459.15	o -86901
458.22/459.30	o -86958
458.32/459.40	o -87009
458.42/459.53	o -87021
458.52/459.60	o -87036
458.61/459.76	o -87067
458.81/459.93	o -87271
458.92/460.03	o -87289
458.92/460.06	o -87292
459.02/460.17	o -87352
459.11/460.27	o -87371
459.11/460.29	o -87453
459.21/460.35	o -87499
459.31/460.44	o -87511
459.31/460.49	o -87521
460.21/461.33	o -87548
460.21/461.35	o -87588
461.02/462.12	o -87592
461.02/462.18	o -87597
461.81/462.91	o -87598
462.51/463.68	o -87601
462.91/464.10	o -87607
463.20/464.31	o -87608
463.40/464.52	o -87637
465.10/466.26	o -87644
466.00/467.12	o -87701
466.10/467.20	o -87713
467.39/468.54	o -87715
468.39/469.58	o -87751
468.49/469.62	o -87753
468.59/469.74	o -87810
468.90/470.04	o -87929
469.19/470.33	o -87965
470.29/471.44	o -87993
471.78/472.97	o -88020
473.78/474.98	o -88022
475.18/476.35	o -88031
476.27/477.48	o -88044
476.88/478.08	o -88055
477.88/479.02	o -88105
477.98/479.11	o -88165
478.07/479.20	o -88477
478.07/479.25	o -88529
478.07/479.28	o -88914
478.67/479.80	o -89102
478.77/479.91	o -89126
478.77/479.95	o -89162
479.17/480.35	o -89225
480.87/482.03	o -89229
482.06/483.21	o -89285
485.25/486.48	o -89287
487.55/488.78	o -89301
490.34/491.54	o -89345
493.63/494.86	o -89373
493.94/495.14	o -89394
494.03/495.29	o -89399
494.63/495.80	o -89415
494.63/495.83	o -89447
494.94/496.12	o -89463
495.03/496.28	o -89485
495.23/496.40	o -89489
496.43/497.61	o -89526
496.63/497.80	o -89581
496.73/497.99	o -89616
496.83/498.00	o -90310
496.83/498.02	o -90393
496.83/498.05	o -90418
496.83/498.09	o -90573
497.13/498.37	o -90666
497.23/498.40	o -90908
497.23/498.42	o -91010
497.23/498.45	o -91201
497.23/498.47	o -91284
497.32/498.50	o -91558
497.42/498.62	o -91799
497.72/498.93	o -91947
497.72/498.95	o -92030
497.83/499.03	o -92137
497.83/499.05	o -92378
497.83/499.08	o -92383
497.93/499.17	o -92545
498.32/499.55	o -92647
498.72/499.97	o -92824
499.72/500.94	o -92827
500.22/501.47	o -92862
500.72/501.96	o -92970
503.71/504.92	o -92979
506.81/508.02	o -93003
507.60/508.88	o -93031
510.09/511.34	o -93045
517.08/518.39	o -93095
521.57/522.85	o -93103
522.67/523.90	o -93111
522.77/524.05	o -93133
523.66/524.92	o -93178
524.46/525.75	o -93216
525.86/527.12	o -93254
529.45/530.74	o -93273
532.54/533.89	o -93299
534.94/536.23	o -93302
536.84/538.12	o -93304
537.33/538.60	o -93308
538.23/539.51	o -93724
539.43/540.71	o -93744
539.83/541.13	o -93786
541.02/542.30	o -93793
541.62/542.97	o -93833
541.83/543.18	o -93835
544.91/546.23	o -93839
544.91/546.25	o -93847
545.21/546.57	o -93849
545.61/546.96	o -93944
545.61/546.97	o -94155
545.72/547.04	o -94176
545.72/547.09	o -94185
545.82/547.15	o -94359
545.91/547.25	o -94377
546.01/547.39	o -94476
546.71/548.09	o -94505
546.91/548.20	o -94512
547.71/549.05	o -94540
548.40/549.73	o -94602
548.60/549.94	o -94612
548.90/550.22	o -94634
549.10/550.46	o -94649
549.50/550.81	o -94653
550.20/551.57	o -94669
551.20/552.51	o -94674
552.49/553.85	o -94692
553.59/554.90	o -94696
553.99/555.37	o -94705
554.69/556.06	o -94740
554.79/556.11	o -94757
555.49/556.87	o -94785
556.38/557.70	o -94787
556.98/558.33	o -94794
558.98/560.31	o -94808
561.87/563.23	o -94815
563.87/565.27	o -94831
564.47/565.81	o -94834
564.47/565.86	o -94849
564.47/565.89	o -94858
564.57/565.93	o -94870
564.67/566.01	o -94880
565.16/566.55	o -94883
565.86/567.25	o -94888
565.96/567.39	o -94891
566.46/567.84	o -94922
568.86/570.22	o -94932
568.86/570.29	o -94964
568.95/570.31	o -94966
569.15/570.56	o -94980
569.25/570.69	o -95145
569.35/570.71	o -95469
569.35/570.74	o -95541
569.35/570.79	o -96158
569.45/570.82	o -96476
569.45/570.88	o -96492
569.55/570.97	o -96654
570.05/571.43	o -96658
570.05/571.45	o -96676
570.05/571.47	o -96681
570.15/571.54	o -96702
570.15/571.56	o -96723
570.66/572.09	o -96804
570.85/572.23	o -96807
571.05/572.48	o -96870
571.85/573.27	o -96902
572.75/574.19	o -96911
574.34/575.75	o -96921
576.43/577.87	o -96928
577.64/579.06	o -96936
577.74/579.11	o -96941
578.03/579.47	o -96944
578.43/579.81	o -96969
578.53/579.96	o -96984
578.83/580.26	o -96986
579.53/580.94	o -97010
580.43/581.88	o -97023
581.92/583.34	o -97035
583.52/584.90	o -97075
584.92/586.35	o -97079
585.81/587.22	o -97149
587.51/588.99	o -97155
588.91/590.35	o -97160
589.50/590.94	o -97164
589.50/590.98	o -97165
589.61/591.03	o -97187
589.61/591.07	o -97198
590.71/592.16	o -97203
592.50/593.95	o -97226
595.09/596.50	o -97246
595.99/597.43	o -97287
597.39/598.82	o -97297
598.78/600.25	o -97317
599.78/601.26	o -97352
599.98/601.44	o -97382
600.98/602.43	o -97435
601.78/603.23	o -97439
602.27/603.79	o -97464
605.27/606.71	o -97469
607.46/608.94	o -97477
608.26/609.76	o -97478
608.67/610.16	o -97480
609.26/610.71	o -97489
609.66/611.15	o -97494
610.56/612.06	o -97502
611.56/613.06	o -97518
612.16/613.61	o -97531
612.16/613.65	o -97592
612.36/613.88	o -97600
613.96/615.46	o -97612
614.75/616.22	o -97617
615.25/616.75	o -97627
615.95/617.47	o -97645
616.95/618.42	o -97682
618.74/620.21	o -97698
620.14/621.68	o -97708
620.34/621.81	o -97712
621.34/622.84	o -97730
622.14/623.63	o -97731
622.54/624.04	o -97738
622.64/624.15	o -97743
622.93/624.48	o -97747
624.43/625.97	o -97751
624.93/626.43	o -98301
625.13/626.68	o -98310
625.23/626.72	o -98328
633.91/635.46	o -98333
635.80/637.32	o -98404
637.10/638.69	o -98420
637.90/639.42	o -98440
638.50/640.05	o -98451
639.00/640.54	o -98454
639.30/640.81	o -98485
639.80/641.33	o -98499
640.09/641.69	o -98573
640.19/641.71	o -98656
640.29/641.83	o -98738
640.29/641.85	o -98774
640.29/641.87	o -98814
640.29/641.89	o -98822
640.39/641.97	o -98846
640.50/642.03	o -98847
640.79/642.31	o -99171
640.79/642.38	o -99382
642.39/643.94	o -99445
643.59/645.19	o -99492
643.79/645.31	o -99496
643.79/645.39	o -99592
644.19/645.71	o -99601
644.49/646.07	o -99608
645.68/647.28	o -99644
648.18/649.77	o -99658
654.36/655.95	o -99699
654.86/656.47	o -99702
655.16/656.75	o -99730
655.36/656.95	o -99738
656.06/657.68	o -99747
657.46/659.02	o -99759
658.46/660.00	o -99784
659.75/661.38	o -99786
660.25/661.87	o -99799
660.65/662.23	o -99802
660.95/662.59	o -100070
661.45/663.10	o -100142
661.55/663.12	o -100337
661.55/663.17	o -100503
661.64/663.20	o -100559
661.64/663.23	o -100601
661.64/663.27	o -100709
661.74/663.32	o -100759
661.74/663.35	o -100808
661.74/663.37	o -100876
661.84/663.40	o -101194
661.84/663.45	o -101268
661.84/663.47	o -101351
662.04/663.68	o -101458
662.24/663.86	o -101699
662.24/663.90	o -101704
662.64/664.23	o -101866
662.64/664.28	o -101884
663.94/665.55	o -101887
665.04/666.62	o -101927
665.24/666.83	o -102019
669.53/671.14	o -102114
673.32/674.98	o -102117
675.91/677.56	o -102178
675.91/677.57	o -102280
676.01/677.68	o -102649
676.01/677.69	o -102658
676.11/677.71	o -102693
676.11/677.75	o -102698
676.21/677.87	o -102717
676.21/677.88	o -102753
676.31/677.90	o -102759
676.31/677.93	o -102878
676.31/677.94	o -102962
677.60/679.28	o -103086
679.10/680.76	o -103088
683.29/684.91	o -103122
684.99/686.63	o -103157
685.09/686.72	o -103206
687.08/688.76	o -103208
688.28/689.90	o -103216
695.76/697.41	o -103264
698.26/699.94	o -103291
698.66/700.30	o -103318
698.66/700.34	o -103327
698.66/700.38	o -103332
698.76/700.42	o -103387
698.76/700.47	o -103409
698.85/700.50	o -103418
698.85/700.55	o -103486
698.95/700.63	o -103726
699.05/700.73	o -103800
699.05/700.79	o -103858
700.85/702.58	o -103861
703.54/705.27	o -103866
709.73/711.42	o -103868
711.83/713.54	o -103871
712.23/713.93	o -103875
715.12/716.82	o -103936
716.62/718.34	o -103982
716.72/718.40	o -104056
718.91/720.62	o -104188
723.20/724.97	o -104189
723.20/724.98	o -104383
723.30/725.01	o -104384
723.30/725.04	o -104565
723.30/725.06	o -104649
723.30/725.10	o -104653
723.40/725.14	o -104664
723.40/725.16	o -104698
723.40/725.17	o -104704
724.20/725.99	o -104713
724.89/726.62	o -104727
724.99/726.73	o -104752
726.09/727.88	o -104870
727.19/728.92	o -104873
727.29/729.03	o -104874
727.49/729.22	o -104880
727.69/729.40	o -105075
727.69/729.42	o -105158
727.69/729.46	o -105399
727.79/729.58	o -105489
727.99/729.79	o -105523
728.49/730.24	o -105526
729.48/731.23	o -105534
729.98/731.79	o -105561
731.98/733.75	o -105570
735.87/737.60	o -105597
738.87/740.68	o -105609
740.57/742.30	o -105629
742.06/743.82	o -105660
750.54/752.34	o -105673
755.63/757.49	o -105745
756.13/757.97	o -105805
756.34/758.11	o -105870
756.43/758.24	o -105967
756.53/758.37	o -106117
756.73/758.52	o -106210
757.13/758.96	o -106249
757.63/759.40	o -106375
758.83/760.60	o -106379
759.72/761.50	o -106388
760.02/761.87	o -106449
767.40/769.25	o -106474
777.08/778.90	o -106482
810.91/812.87	o -106523
820.29/822.22	o -106553
830.67/832.69	o -106566
834.56/836.59	o -106643
836.06/838.07	o -106667
837.56/839.57	o -106676
927.66/929.84	o -106688
927.97/930.11	o -106723
956.40/958.66	o -106731
967.97/970.22	o -106744
981.35/983.67	o -106750
985.54/987.86	o -106752
986.33/988.68	o -106761
986.63/988.92	o -106795
988.53/990.81	o -106804
995.72/998.05	o -106814
998.61/1000.92	o -106835
1008.89/1011.20	o -106844
1013.38/1015.75	o -106860
1015.78/1018.12	o -106865
1017.17/1019.51	o -106899
1025.65/1028.01	o -106931
1037.73/1040.13	o -106940
1039.92/1042.38	o -106943
1041.32/1043.73	o -106945
1041.62/1044.03	o -106954
1042.32/1044.79	o -106985
1044.21/1046.64	o -106998
1045.81/1048.21	o -107002
1046.51/1048.94	o -107003
1047.71/1050.15	o -107004
1047.81/1050.20	o -107096
1047.81/1050.26	o -107140
1051.70/1054.13	o -107145
1051.80/1054.22	o -107180
1052.60/1055.06	o -107189
1053.60/1056.08	o -107231
1054.60/1057.04	o -107275
1054.79/1057.27	o -107282
1057.98/1060.42	o -107284
1060.08/1062.55	o -107285
1060.28/1062.73	o -107305
1060.38/1062.86	o -107315
1060.58/1063.01	o -107335
1061.58/1064.05	o -107367
1062.58/1065.04	o -107370
1062.87/1065.35	o -107394
1063.77/1066.24	o -107397
1064.27/1066.79	o -107419
1065.27/1067.72	o -107603
1065.57/1068.08	o -107823
1069.76/1072.29	o -107835
1073.05/1075.56	o -107852
1074.55/1077.03	o -107860
1075.94/1078.43	o -108037
1076.84/1079.30	o -108248
1077.24/1079.75	o -108306
1077.55/1080.09	o -108325
1077.94/1080.41	o -108361
1077.94/1080.45	o -108395
1078.14/1080.62	o -108401
1078.14/1080.66	o -108409
1078.54/1081.00	o -108444
1078.73/1081.20	o -108570
1080.64/1083.16	o -108614
1083.32/1085.83	o -108623
1086.52/1089.00	o -108627
1092.20/1094.78	o -108632
1095.40/1097.92	o -108642
1096.10/1098.66	o -108676
1098.50/1101.02	o -108679
1100.09/1102.64	o -108683
1100.99/1103.51	o -108686
1102.88/1105.44	o -108695
1103.98/1106.53	o -108715
1104.18/1106.70	o -108721
1104.28/1106.89	o -108736
1105.38/1107.97	o -108737
1106.18/1108.79	o -108743
1106.59/1109.12	o -108752
1107.49/1110.06	o -108755
1108.48/1111.07	o -108766
1109.38/1111.96	o -108771
1109.77/1112.39	o -108780
1110.58/1113.17	o -108781
1111.17/1113.73	o -108785
1112.37/1114.91	o -108794
1113.87/1116.48	o -108813
1115.36/1117.91	o -108838
1116.96/1119.56	o -108855
1118.56/1121.14	o -108872
1119.65/1122.23	o -108886
1120.65/1123.22	o -108954
1121.45/1124.07	o -108968
1121.95/1124.56	o -109003
1122.35/1124.99	o -109048
1122.75/1125.35	o -109074
1122.85/1125.47	o -109315
1123.05/1125.64	o -109331
1123.84/1126.47	o -109343
1124.45/1127.07	o -109427
1126.64/1129.28	o -109523
1129.23/1131.82	o -109539
1130.23/1132.82	o -109570
1131.23/1133.83	o -109593
1132.23/1134.81	o -109640
1132.53/1135.17	o -109650
1132.83/1135.43	o -109678
1134.02/1136.62	o -109686
1135.22/1137.83	o -109693
1136.02/1138.67	o -109706
1137.22/1139.80	o -109718
1137.81/1140.46	o -109728
1138.11/1140.70	o -109732
1138.61/1141.20	o -109747
1159.86/1162.56	o -109748
1160.16/1162.82	o -109749
1160.37/1163.02	o -109751
1160.47/1163.14	o -109753
1160.66/1163.33	o -109761
1160.86/1163.50	o -109784
1160.96/1163.65	o -109790
1161.16/1163.84	o -109797
1161.26/1163.98	o -109811
1161.36/1164.10	o -109827
1161.56/1164.22	o -109832
1161.66/1164.36	o -110073
1161.86/1164.57	o -110284
1162.26/1164.95	o -110406
1162.96/1165.64	o -110415
1164.75/1167.49	o -110432
1166.55/1169.22	o -110452
1167.24/1169.95	o -110463
1168.14/1170.89	o -110477
1168.64/1171.35	o -110493
1168.74/1171.49	o -110512
1168.94/1171.60	o -110519
1169.04/1171.72	o -110528
1169.04/1171.79	o -110549
1169.34/1172.08	o -110557
1169.74/1172.46	o -110558
1169.84/1172.58	o -110562
1169.94/1172.69	o -110566
1170.34/1173.02	o -110579
1170.54/1173.28	o -110589
1170.74/1173.49	o -110594
1171.03/1173.72	o -110625
1171.23/1173.95	s OPTIMUM FOUND
1171.23/1173.95	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

Verifier Data 

OK	-110625

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 (61702 MiB free)
  memory of node 1: 64473 MiB (60742 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=210322, runsolver pid=210319

[startup+0.100465 s]*
/proc/loadavg: 0.14 0.12 0.09 5/258 210323
/proc/meminfo: memFree=125342708/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=41784 memory=23184 CPUtime=0.09 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 4213 0 0 0 9 0 0 0 20 0 1 0 23041469 42786816 5796 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 10446 5796 819 746 0 9510 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41784 KiB
Current children cumulated memory: 23184 KiB

[startup+0.206466 s]*
/proc/loadavg: 0.14 0.12 0.09 5/258 210323
/proc/meminfo: memFree=125301020/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=58504 memory=42584 CPUtime=0.19 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 8021 0 0 0 18 1 0 0 20 0 1 0 23041469 59908096 10646 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 14626 10646 819 746 0 13690 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 58504 KiB
Current children cumulated memory: 42584 KiB

[startup+0.306465 s]*
/proc/loadavg: 0.14 0.12 0.09 5/258 210323
/proc/meminfo: memFree=125269528/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=67068 memory=53076 CPUtime=0.28 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 10157 0 0 0 27 1 0 0 20 0 1 0 23041469 68677632 13269 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 16767 13269 819 746 0 15831 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 67068 KiB
Current children cumulated memory: 53076 KiB

[startup+0.70022 s]
/proc/loadavg: 0.14 0.12 0.09 5/258 210323
/proc/meminfo: memFree=125229196/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=68184 memory=54252 CPUtime=0.66 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 10426 0 0 0 65 1 0 0 20 0 1 0 23041469 69820416 13563 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 17046 13563 851 746 0 16110 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 68184 KiB
Current children cumulated memory: 54252 KiB

[startup+1.50023 s]
/proc/loadavg: 0.14 0.12 0.09 4/253 210333
/proc/meminfo: memFree=125327352/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=70364 memory=60452 CPUtime=1.46 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 10944 0 0 0 145 1 0 0 20 0 1 0 23041469 72052736 15113 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 17591 15113 851 746 0 16655 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 70364 KiB
Current children cumulated memory: 60452 KiB

[startup+3.10575 s]
/proc/loadavg: 0.37 0.17 0.11 4/253 210471
/proc/meminfo: memFree=124939308/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=89832 memory=69360 CPUtime=3.06 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 12897 0 0 0 303 3 0 0 20 0 1 0 23041469 91987968 17340 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 22458 17340 851 746 0 21522 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 89832 KiB
Current children cumulated memory: 69360 KiB

[startup+6.30018 s]
/proc/loadavg: 0.37 0.17 0.11 5/258 210555
/proc/meminfo: memFree=124978224/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=100448 memory=85748 CPUtime=6.24 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 15452 0 0 0 621 3 0 0 20 0 1 0 23041469 102858752 21437 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 25112 21437 851 746 0 24176 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 100448 KiB
Current children cumulated memory: 85748 KiB

[startup+12.7002 s]
/proc/loadavg: 0.93 0.30 0.15 5/258 210557
/proc/meminfo: memFree=124280236/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=133440 memory=104976 CPUtime=12.63 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 18171 0 0 0 1258 5 0 0 20 0 1 0 23041469 136642560 26244 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 33360 26244 851 746 0 32424 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 133440 KiB
Current children cumulated memory: 104976 KiB

[startup+25.5002 s]
/proc/loadavg: 1.40 0.42 0.19 5/258 210604
/proc/meminfo: memFree=124151392/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=152936 memory=127796 CPUtime=25.4 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 21874 0 0 0 2534 6 0 0 20 0 1 0 23041469 156606464 31949 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 38234 31949 851 746 0 37298 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 152936 KiB
Current children cumulated memory: 127796 KiB

[startup+51.1057 s]
/proc/loadavg: 2.36 0.73 0.30 5/258 210609
/proc/meminfo: memFree=124006312/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=157112 memory=135956 CPUtime=50.95 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 22911 0 0 0 5088 7 0 0 20 0 1 0 23041469 160882688 33989 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 39278 33989 851 746 0 38342 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 157112 KiB
Current children cumulated memory: 135956 KiB

[startup+102.3 s]
/proc/loadavg: 3.65 1.36 0.54 5/258 210618
/proc/meminfo: memFree=123748628/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=205480 memory=155832 CPUtime=102.02 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 26344 0 0 0 10193 9 0 0 20 0 1 0 23041469 210411520 38958 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 51370 38958 851 746 0 50434 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 205480 KiB
Current children cumulated memory: 155832 KiB

[startup+162.3 s]
/proc/loadavg: 4.00 1.87 0.77 5/258 210629
/proc/meminfo: memFree=123626488/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=208880 memory=161144 CPUtime=161.88 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 27520 0 0 0 16179 9 0 0 20 0 1 0 23041469 213893120 40286 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 52220 40286 851 746 0 51284 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 208880 KiB
Current children cumulated memory: 161144 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.28 0.98 5/258 211023
/proc/meminfo: memFree=123559116/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=213004 memory=175424 CPUtime=221.75 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 29078 0 0 0 22165 10 0 0 20 0 1 0 23041469 218116096 43856 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 53251 43856 851 746 0 52315 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 213004 KiB
Current children cumulated memory: 175424 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 2.61 1.18 5/258 211033
/proc/meminfo: memFree=123518304/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=213140 memory=175616 CPUtime=281.61 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 29158 0 0 0 28151 10 0 0 20 0 1 0 23041469 218255360 43904 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 53285 43904 851 746 0 52349 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 213140 KiB
Current children cumulated memory: 175616 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 2.90 1.37 5/256 211044
/proc/meminfo: memFree=123382672/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=270944 memory=224916 CPUtime=341.48 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 38462 0 0 0 34135 13 0 0 20 0 1 0 23041469 277446656 56229 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 67736 56229 851 746 0 66800 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 270944 KiB
Current children cumulated memory: 224916 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.13 1.55 5/258 211224
/proc/meminfo: memFree=123159484/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=271232 memory=225344 CPUtime=401.35 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 38572 0 0 0 40121 14 0 0 20 0 1 0 23041469 277741568 56336 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 67808 56336 851 746 0 66872 0
Current children cumulated CPU time: 401.35 s
Current children cumulated vsize: 271232 KiB
Current children cumulated memory: 225344 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.31 1.71 5/258 211235
/proc/meminfo: memFree=123086432/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=271868 memory=225980 CPUtime=461.21 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 38786 0 0 0 46107 14 0 0 20 0 1 0 23041469 278392832 56495 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 67967 56495 851 746 0 67031 0

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

/proc/loadavg: 4.08 3.89 2.50 5/254 211319
/proc/meminfo: memFree=122638920/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=498200 memory=444652 CPUtime=820.39 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 73370 0 0 0 82013 26 0 0 20 0 1 0 23041469 510156800 111163 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 124550 111163 851 746 0 123614 0
Current children cumulated CPU time: 820.39 s
Current children cumulated vsize: 498200 KiB
Current children cumulated memory: 444652 KiB

[startup+882.3 s]
/proc/loadavg: 4.08 3.92 2.60 5/254 211329
/proc/meminfo: memFree=122604644/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=499992 memory=446676 CPUtime=880.26 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 73951 0 0 0 88000 26 0 0 20 0 1 0 23041469 511991808 111669 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 124998 111669 851 746 0 124062 0
Current children cumulated CPU time: 880.26 s
Current children cumulated vsize: 499992 KiB
Current children cumulated memory: 446676 KiB

[startup+942.3 s]
/proc/loadavg: 4.15 3.97 2.70 5/254 211342
/proc/meminfo: memFree=122319040/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=800684 memory=653828 CPUtime=940.13 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 109051 0 0 0 93976 37 0 0 20 0 1 0 23041469 819900416 163457 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 200171 163457 851 746 0 199235 0
Current children cumulated CPU time: 940.13 s
Current children cumulated vsize: 800684 KiB
Current children cumulated memory: 653828 KiB

[startup+1002.3 s]
/proc/loadavg: 4.11 3.99 2.79 5/254 211352
/proc/meminfo: memFree=122289912/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=800684 memory=653872 CPUtime=1000.01 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 109138 0 0 0 99964 37 0 0 20 0 1 0 23041469 819900416 163468 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 200171 163468 851 746 0 199235 0
Current children cumulated CPU time: 1000.01 s
Current children cumulated vsize: 800684 KiB
Current children cumulated memory: 653872 KiB

[startup+1062.3 s]
/proc/loadavg: 4.04 4.00 2.87 5/254 211362
/proc/meminfo: memFree=122253296/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=810668 memory=663108 CPUtime=1059.88 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 111516 0 0 0 105950 38 0 0 20 0 1 0 23041469 830124032 165777 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 202667 165777 851 746 0 201731 0
Current children cumulated CPU time: 1059.88 s
Current children cumulated vsize: 810668 KiB
Current children cumulated memory: 663108 KiB

[startup+1122.3 s]
/proc/loadavg: 4.11 4.03 2.95 5/256 211377
/proc/meminfo: memFree=122169748/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=810668 memory=663212 CPUtime=1119.75 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 111639 0 0 0 111936 39 0 0 20 0 1 0 23041469 830124032 165803 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 202667 165803 851 746 0 201731 0
Current children cumulated CPU time: 1119.75 s
Current children cumulated vsize: 810668 KiB
Current children cumulated memory: 663212 KiB

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

# cumulated CPU time of all completed processes:  user=1170.9 s, system=0.427901 s

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

[startup+1126.4 s]
/proc/loadavg: 4.11 4.03 2.95 5/256 211377
/proc/meminfo: memFree=122169776/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=810668 memory=663212 CPUtime=1123.84 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 111643 0 0 0 112345 39 0 0 20 0 1 0 23041469 830124032 165803 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 202667 165803 851 746 0 201731 0
Current children cumulated CPU time: 1123.84 s
Current children cumulated vsize: 810668 KiB
Current children cumulated memory: 663212 KiB

[startup+1152 s]*
/proc/loadavg: 4.07 4.02 2.99 5/256 211382
/proc/meminfo: memFree=122124736/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=846512 memory=686880 CPUtime=1149.39 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 117590 0 0 0 114899 40 0 0 20 0 1 0 23041469 866828288 171720 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 211628 171720 851 746 0 210692 0
Current children cumulated CPU time: 1149.39 s
Current children cumulated vsize: 846512 KiB
Current children cumulated memory: 686880 KiB

[startup+1164.8 s]
/proc/loadavg: 4.13 4.04 3.01 5/256 211385
/proc/meminfo: memFree=122115724/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=846512 memory=687144 CPUtime=1162.16 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 117655 0 0 0 116176 40 0 0 20 0 1 0 23041469 866828288 171786 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 211628 171786 851 746 0 210692 0
Current children cumulated CPU time: 1162.16 s
Current children cumulated vsize: 846512 KiB
Current children cumulated memory: 687144 KiB

[startup+1168 s]*
/proc/loadavg: 4.12 4.04 3.01 5/256 211385
/proc/meminfo: memFree=122115704/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=846512 memory=687144 CPUtime=1165.35 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 117663 0 0 0 116495 40 0 0 20 0 1 0 23041469 866828288 171786 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 211628 171786 851 746 0 210692 0
Current children cumulated CPU time: 1165.35 s
Current children cumulated vsize: 846512 KiB
Current children cumulated memory: 687144 KiB

[startup+1171.2 s]
/proc/loadavg: 4.12 4.04 3.01 5/256 211386
/proc/meminfo: memFree=122108712/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=846512 memory=687144 CPUtime=1168.54 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 117680 0 0 0 116814 40 0 0 20 0 1 0 23041469 866828288 171786 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 211628 171786 851 746 0 210692 0
Current children cumulated CPU time: 1168.54 s
Current children cumulated vsize: 846512 KiB
Current children cumulated memory: 687144 KiB

[startup+1172.8 s]
/proc/loadavg: 4.11 4.04 3.02 5/256 211386
/proc/meminfo: memFree=122108672/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=846512 memory=687308 CPUtime=1170.14 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 117711 0 0 0 116974 40 0 0 20 0 1 0 23041469 866828288 171827 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 211628 171827 851 746 0 210692 0
Current children cumulated CPU time: 1170.14 s
Current children cumulated vsize: 846512 KiB
Current children cumulated memory: 687308 KiB

[startup+1173.6 s]
/proc/loadavg: 4.11 4.04 3.02 5/256 211386
/proc/meminfo: memFree=122108608/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=846512 memory=687308 CPUtime=1170.93 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 117742 0 0 0 117053 40 0 0 20 0 1 0 23041469 866828288 171827 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 211628 171827 851 746 0 210692 0
Current children cumulated CPU time: 1170.93 s
Current children cumulated vsize: 846512 KiB
Current children cumulated memory: 687308 KiB

[startup+1173.8 s]
/proc/loadavg: 4.11 4.04 3.02 5/256 211386
/proc/meminfo: memFree=122108608/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=846512 memory=687568 CPUtime=1171.13 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 117754 0 0 0 117073 40 0 0 20 0 1 0 23041469 866828288 171892 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 211628 171892 851 746 0 210692 0
Current children cumulated CPU time: 1171.13 s
Current children cumulated vsize: 846512 KiB
Current children cumulated memory: 687568 KiB

[startup+1173.9 s]
/proc/loadavg: 4.11 4.04 3.02 5/256 211386
/proc/meminfo: memFree=122108608/131524600 swapFree=131055836/131071996
[pid=210322] ppid=210319 vsize=846512 memory=687568 CPUtime=1171.23 cores=4,6
/proc/210322/stat : 210322 (Exact_nosoplex) R 210319 210322 210064 0 -1 4194304 117755 0 0 0 117083 40 0 0 20 0 1 0 23041469 866828288 171892 134679101440 4194304 7248369 140720860109536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 41525248 140720860115884 140720860116063 140720860116063 140720860123078 0
/proc/210322/statm: 211628 171892 851 746 0 210692 0
Current children cumulated CPU time: 1171.23 s
Current children cumulated vsize: 846512 KiB
Current children cumulated memory: 687568 KiB

Child status: 30

Real time (s): 1173.99
CPU time (s): 1171.33
CPU user time (s): 1170.9
CPU system time (s): 0.427901
CPU usage (%): 99.7738
Max. virtual memory (cumulated for all children) (KiB): 846512
Max. memory (cumulated for all children) (KiB): 687568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1170.9
system time used= 0.427901
maximum resident set size= 687568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117756
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= 1136


# summary of solver processes directly reported to runsolver:
#   pid: 210322
#   total CPU time (s): 1171.33
#   total CPU user time (s): 1170.9
#   total CPU system time (s): 0.427901

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.06018 second user time and 6.03486 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-25 01:51:58
IDJOB=4457755
IDBENCH=176755
IDSOLVER=3061
FILE ID=nodeC033/4457755-1721865118
RUNJOBID= nodeC033-1721865115-210075
SLURM_JOB_ID= 8089192
Free space on /tmp= 890068 MiB

SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/normalized-knapPI_1_2000_1000_1_-110625.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-4457755-1721865118/watcher-4457755-1721865118 -o /tmp/evaluation-result-4457755-1721865118/solver-4457755-1721865118 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721865115-210075 --watchdog 3760  HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1191891005 HOME/instance-4457755-1721865118.opb

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

MD5SUM BENCH= 4e250cdab7b4044f2b74367cd304c22b
RANDOM SEED=1191891005

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		: 3658.197
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.99
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		: 3671.118
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125390768 kB
MemAvailable:   129049656 kB
Buffers:          276500 kB
Cached:          4180292 kB
SwapCached:          300 kB
Active:          2417740 kB
Inactive:        3055800 kB
Active(anon):       2260 kB
Inactive(anon):  1067556 kB
Active(file):    2415480 kB
Inactive(file):  1988244 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131055836 kB
Dirty:             19736 kB
Writeback:             8 kB
AnonPages:       1017024 kB
Mapped:           118100 kB
Shmem:             53064 kB
KReclaimable:     189972 kB
Slab:             305840 kB
SReclaimable:     189972 kB
SUnreclaim:       115868 kB
KernelStack:        4192 kB
PageTables:        11368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1507828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16704 kB
HardwareCorrupted:     0 kB
AnonHugePages:    323584 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:      391892 kB
DirectMap2M:    39227392 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC033 at 2024-07-25 02:11:32