Trace number 4504940

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
roundingsat-ihs 63f22ad? (MO) 3414.33 3424.52

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_7_mh_ic.opb
MD5SUM13b8bbb872de86791f42ef521acd2179
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3135704
Best CPU time to get the best result obtained on this benchmark3585.4
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables370300
Total number of constraints847958
Number of constraints which are clauses597900
Number of constraints which are cardinality constraints (but not clauses)58
Number of constraints which are nor clauses,nor cardinality constraints250000
Minimum length of a constraint2
Maximum length of a constraint3725
Number of terms in the objective function 132350
Biggest coefficient in the objective function 135796744
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 69525451982
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 135796744
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 69525451982
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
3.47/3.53	c #variables 370300 #constraints 855312
3.47/3.53	c objective is ce32 
4.07/4.15	c initial watched  CF 32, 64, 128, Arb: 50 , 0 , 0 , 0
4.07/4.15	c initial counting CF 32, 64, 128, Arb: 241376 , 0 , 0 , 0
4.07/4.15	c GLOBAL bounds - >= -50 @ 3.05072
4.47/4.54	c GLOBAL bounds - >= -50 @ 3.24787
4.86/4.90	c GLOBAL bounds - >= -50 @ 3.4531
5.16/5.23	c GLOBAL bounds - >= -50 @ 3.64533
5.56/5.64	c GLOBAL bounds - >= -50 @ 3.89415
5.97/6.08	c GLOBAL bounds - >= -50 @ 4.19007
6.47/6.50	c GLOBAL bounds - >= -50 @ 4.4657
6.97/7.07	c GLOBAL bounds - >= -50 @ 4.88533
7.36/7.43	c GLOBAL bounds - >= -50 @ 5.09118
7.76/7.83	c GLOBAL bounds - >= -50 @ 5.33982
8.07/8.18	c GLOBAL bounds - >= -50 @ 5.52869
8.46/8.54	c GLOBAL bounds - >= -50 @ 5.72558
8.86/8.90	c GLOBAL bounds - >= -50 @ 5.92378
9.16/9.28	c GLOBAL bounds - >= -50 @ 6.1391
9.66/9.70	c GLOBAL bounds - >= -50 @ 6.39457
9.96/10.05	c GLOBAL bounds - >= -50 @ 6.5994
10.36/10.40	c GLOBAL bounds - >= -50 @ 6.7917
10.65/10.74	c GLOBAL bounds - >= -50 @ 6.96908
11.06/11.11	c GLOBAL bounds - >= -50 @ 7.15894
11.55/11.66	c GLOBAL bounds - >= -50 @ 7.53862
11.95/12.07	c GLOBAL bounds - >= -50 @ 7.80372
12.35/12.47	c GLOBAL bounds - >= -50 @ 8.05538
12.75/12.87	c GLOBAL bounds - >= -50 @ 8.29776
13.55/13.65	c GLOBAL bounds - >= -50 @ 8.9281
13.95/14.02	c GLOBAL bounds - >= -50 @ 9.12954
14.54/14.60	c GLOBAL bounds - >= -50 @ 9.55882
15.95/16.01	c GLOBAL bounds - >= -50 @ 10.689
16.84/16.94	c GLOBAL bounds - >= -50 @ 11.3825
17.95/18.03	c GLOBAL bounds - >= 28973 @ 12.4692
21.53/21.63	c GLOBAL bounds - >= 28973 @ 15.8484
21.93/22.04	c GLOBAL bounds - >= 28973 @ 16.0406
22.04/22.16	c GLOBAL bounds - >= 28973 @ 16.1252
22.43/22.58	c GLOBAL bounds - >= 28973 @ 16.333
22.63/22.71	c GLOBAL bounds - >= 28973 @ 16.4318
23.03/23.18	c GLOBAL bounds - >= 28973 @ 16.6675
23.23/23.32	c GLOBAL bounds - >= 28973 @ 16.7629
23.52/23.63	c GLOBAL bounds - >= 28973 @ 16.9395
23.63/23.75	c GLOBAL bounds - >= 28973 @ 17.0303
23.93/24.03	c GLOBAL bounds - >= 28973 @ 17.1599
24.03/24.15	c GLOBAL bounds - >= 28973 @ 17.2447
24.32/24.42	c GLOBAL bounds - >= 28973 @ 17.3686
24.43/24.56	c GLOBAL bounds - >= 28973 @ 17.4722
24.72/24.84	c GLOBAL bounds - >= 28973 @ 17.5966
24.82/24.97	c GLOBAL bounds - >= 28973 @ 17.7011
25.12/25.25	c GLOBAL bounds - >= 28973 @ 17.8123
25.22/25.39	c GLOBAL bounds - >= 28973 @ 17.9132
25.62/25.71	c GLOBAL bounds - >= 28973 @ 18.075
25.72/25.85	c GLOBAL bounds - >= 28973 @ 18.1866
26.03/26.16	c GLOBAL bounds - >= 28973 @ 18.3424
26.42/26.52	c GLOBAL bounds - >= 28973 @ 18.5586
27.12/27.22	c GLOBAL bounds - >= 28973 @ 19.1112
27.72/27.89	c GLOBAL bounds - >= 28973 @ 19.6378
28.32/28.43	c GLOBAL bounds - >= 28973 @ 19.9768
28.92/29.06	c GLOBAL bounds - >= 28973 @ 20.3622
30.51/30.63	c GLOBAL bounds - >= 28973 @ 21.6826
31.70/31.89	c GLOBAL bounds - >= 28973 @ 22.6981
33.30/33.43	c GLOBAL bounds - >= 39065 @ 24.2306
33.50/33.63	c GLOBAL bounds - >= 39065 @ 24.3962
33.60/33.77	c GLOBAL bounds - >= 39065 @ 24.4971
33.80/33.91	c GLOBAL bounds - >= 39065 @ 24.5973
33.91/34.04	c GLOBAL bounds - >= 39065 @ 24.6952
34.30/34.47	c GLOBAL bounds - >= 39065 @ 24.8927
34.40/34.54	c GLOBAL bounds - >= 39065 @ 24.9427
34.80/34.96	c GLOBAL bounds - >= 39065 @ 25.1506
34.90/35.04	c GLOBAL bounds - >= 39065 @ 25.1955
35.29/35.44	c GLOBAL bounds - >= 39065 @ 25.3899
35.40/35.58	c GLOBAL bounds - >= 39065 @ 25.493
35.70/35.86	c GLOBAL bounds - >= 39065 @ 25.6023
35.90/36.00	c GLOBAL bounds - >= 39065 @ 25.7083
36.10/36.28	c GLOBAL bounds - >= 39065 @ 25.8263
36.30/36.42	c GLOBAL bounds - >= 39065 @ 25.9301
36.59/36.74	c GLOBAL bounds - >= 39065 @ 26.0878
36.70/36.88	c GLOBAL bounds - >= 39065 @ 26.1982
37.10/37.20	c GLOBAL bounds - >= 39065 @ 26.356
37.20/37.34	c GLOBAL bounds - >= 39065 @ 26.466
37.49/37.66	c GLOBAL bounds - >= 39065 @ 26.6204
37.69/37.80	c GLOBAL bounds - >= 39065 @ 26.7187
37.90/38.08	c GLOBAL bounds - >= 39065 @ 26.8359
38.09/38.22	c GLOBAL bounds - >= 39065 @ 26.9356
38.39/38.53	c GLOBAL bounds - >= 39065 @ 27.0976
38.70/38.89	c GLOBAL bounds - >= 39065 @ 27.2899
39.19/39.32	c GLOBAL bounds - >= 39065 @ 27.5712
39.49/39.63	c GLOBAL bounds - >= 39065 @ 27.723
39.89/40.08	c GLOBAL bounds - >= 39065 @ 27.9674
40.49/40.64	c GLOBAL bounds - >= 39065 @ 28.3342
41.28/41.45	c GLOBAL bounds - >= 39065 @ 28.9518
42.18/42.37	c GLOBAL bounds - >= 39065 @ 29.658
43.68/43.84	c GLOBAL bounds - >= 39065 @ 30.891
45.57/45.74	c GLOBAL bounds - >= 39065 @ 32.497
47.18/47.32	c GLOBAL bounds - >= 39065 @ 33.8394
48.67/48.85	c GLOBAL bounds - >= 39065 @ 35.1585
51.16/51.32	c GLOBAL bounds - >= 83455 @ 37.6048
51.46/51.61	c GLOBAL bounds - >= 83455 @ 37.8542
51.56/51.74	c GLOBAL bounds - >= 83455 @ 37.95
51.96/52.18	c GLOBAL bounds - >= 83455 @ 38.1717
52.16/52.31	c GLOBAL bounds - >= 83455 @ 38.2723
52.56/52.73	c GLOBAL bounds - >= 83455 @ 38.4894
52.66/52.87	c GLOBAL bounds - >= 83455 @ 38.5876
53.06/53.27	c GLOBAL bounds - >= 83455 @ 38.7922
53.25/53.41	c GLOBAL bounds - >= 83455 @ 38.8909
53.56/53.78	c GLOBAL bounds - >= 83455 @ 39.0858
53.56/53.79	c GLOBAL bounds - >= 83455 @ 39.0926
53.96/54.12	c GLOBAL bounds - >= 83455 @ 39.223
53.96/54.17	c GLOBAL bounds - >= 83455 @ 39.2487
54.26/54.49	c GLOBAL bounds - >= 83455 @ 39.3808
54.35/54.56	c GLOBAL bounds - >= 83455 @ 39.4219
54.65/54.88	c GLOBAL bounds - >= 83455 @ 39.5575
54.75/54.99	c GLOBAL bounds - >= 83455 @ 39.6306
55.15/55.31	c GLOBAL bounds - >= 83455 @ 39.7583
55.15/55.36	c GLOBAL bounds - >= 83455 @ 39.7843
55.46/55.67	c GLOBAL bounds - >= 83455 @ 39.9202
55.55/55.72	c GLOBAL bounds - >= 83455 @ 39.9585
55.85/56.09	c GLOBAL bounds - >= 83455 @ 40.1412
56.45/56.63	c GLOBAL bounds - >= 83455 @ 40.5073
57.75/57.96	c GLOBAL bounds - >= 83455 @ 41.6344
59.44/59.62	c GLOBAL bounds - >= 83455 @ 43.1055
60.64/60.85	c GLOBAL bounds - >= 83455 @ 44.132
61.84/62.03	c GLOBAL bounds - >= 83455 @ 45.1259
62.74/62.92	c GLOBAL bounds - >= 83455 @ 45.8239
63.54/63.77	c GLOBAL bounds - >= 83455 @ 46.4891
65.13/65.32	c GLOBAL bounds - >= 83455 @ 47.8368
67.63/67.80	c GLOBAL bounds - >= 83455 @ 50.0816
68.32/68.55	c GLOBAL bounds - >= 83455 @ 50.6229
71.42/71.64	c GLOBAL bounds - >= 96409 @ 53.5472
71.61/71.85	c GLOBAL bounds - >= 96409 @ 53.7255
72.11/72.36	c GLOBAL bounds - >= 96409 @ 53.9975
72.21/72.49	c GLOBAL bounds - >= 96409 @ 54.0899
72.82/73.01	c GLOBAL bounds - >= 96409 @ 54.3656
72.92/73.15	c GLOBAL bounds - >= 96409 @ 54.4652
73.31/73.59	c GLOBAL bounds - >= 96409 @ 54.6804
73.50/73.73	c GLOBAL bounds - >= 96409 @ 54.777
73.91/74.15	c GLOBAL bounds - >= 96409 @ 54.9915
74.01/74.29	c GLOBAL bounds - >= 96409 @ 55.0944
74.41/74.67	c GLOBAL bounds - >= 96409 @ 55.2894
74.60/74.81	c GLOBAL bounds - >= 96409 @ 55.3898
74.91/75.18	c GLOBAL bounds - >= 96409 @ 55.5752
75.10/75.32	c GLOBAL bounds - >= 96409 @ 55.6808
75.40/75.68	c GLOBAL bounds - >= 96409 @ 55.8563
75.60/75.82	c GLOBAL bounds - >= 96409 @ 55.9528
75.91/76.18	c GLOBAL bounds - >= 96409 @ 56.1427
76.10/76.32	c GLOBAL bounds - >= 96409 @ 56.2426
76.40/76.69	c GLOBAL bounds - >= 96409 @ 56.4327
76.60/76.83	c GLOBAL bounds - >= 96409 @ 56.5329
77.00/77.20	c GLOBAL bounds - >= 96409 @ 56.7031
77.60/77.80	c GLOBAL bounds - >= 96409 @ 57.1104
78.00/78.21	c GLOBAL bounds - >= 96409 @ 57.3556
79.39/79.67	c GLOBAL bounds - >= 96409 @ 58.6161
79.90/80.12	c GLOBAL bounds - >= 96409 @ 58.8759
81.39/81.65	c GLOBAL bounds - >= 96409 @ 60.1918
82.09/82.32	c GLOBAL bounds - >= 96409 @ 60.6691
82.68/82.93	c GLOBAL bounds - >= 96409 @ 61.067
83.59/83.80	c GLOBAL bounds - >= 103143 @ 61.9258
83.79/84.04	c GLOBAL bounds - >= 103143 @ 62.1203
84.18/84.47	c GLOBAL bounds - >= 103143 @ 62.3376
84.38/84.60	c GLOBAL bounds - >= 103143 @ 62.4354
84.68/84.93	c GLOBAL bounds - >= 103143 @ 62.6072
84.79/85.07	c GLOBAL bounds - >= 103143 @ 62.7114
85.18/85.40	c GLOBAL bounds - >= 103143 @ 62.8831
85.28/85.54	c GLOBAL bounds - >= 103143 @ 62.9813
85.58/85.87	c GLOBAL bounds - >= 103143 @ 63.153
85.78/86.01	c GLOBAL bounds - >= 103143 @ 63.2584
86.07/86.31	c GLOBAL bounds - >= 103143 @ 63.3833
86.18/86.44	c GLOBAL bounds - >= 103143 @ 63.4752
86.48/86.77	c GLOBAL bounds - >= 103143 @ 63.6434
86.67/86.92	c GLOBAL bounds - >= 103143 @ 63.7456
86.97/87.25	c GLOBAL bounds - >= 103143 @ 63.9008
87.08/87.39	c GLOBAL bounds - >= 103143 @ 64.0134
87.37/87.68	c GLOBAL bounds - >= 103143 @ 64.143
87.58/87.82	c GLOBAL bounds - >= 103143 @ 64.248
87.88/88.11	c GLOBAL bounds - >= 103143 @ 64.3772
87.97/88.25	c GLOBAL bounds - >= 103143 @ 64.4762
88.28/88.59	c GLOBAL bounds - >= 103143 @ 64.6448
88.68/88.96	c GLOBAL bounds - >= 103143 @ 64.8529
89.07/89.36	c GLOBAL bounds - >= 103143 @ 65.1001
89.47/89.76	c GLOBAL bounds - >= 103143 @ 65.3304
90.07/90.37	c GLOBAL bounds - >= 103143 @ 65.7411
91.77/92.05	c GLOBAL bounds - >= 103143 @ 67.2317
93.26/93.50	c GLOBAL bounds - >= 103143 @ 68.4608
96.25/96.53	c GLOBAL bounds - >= 119233 @ 71.4569
96.64/96.90	c GLOBAL bounds - >= 119233 @ 71.7778
97.05/97.34	c GLOBAL bounds - >= 119233 @ 72.0064
97.14/97.44	c GLOBAL bounds - >= 119233 @ 72.0686
97.54/97.86	c GLOBAL bounds - >= 119233 @ 72.2679
97.64/98.00	c GLOBAL bounds - >= 119233 @ 72.3726
98.14/98.40	c GLOBAL bounds - >= 119233 @ 72.5846
98.24/98.54	c GLOBAL bounds - >= 119233 @ 72.6837
98.65/98.94	c GLOBAL bounds - >= 119233 @ 72.8917
98.74/99.07	c GLOBAL bounds - >= 119233 @ 72.9883
99.14/99.47	c GLOBAL bounds - >= 119233 @ 73.1864
99.34/99.61	c GLOBAL bounds - >= 119233 @ 73.2927
99.64/99.99	c GLOBAL bounds - >= 119233 @ 73.4961
99.84/100.13	c GLOBAL bounds - >= 119233 @ 73.5948
100.23/100.50	c GLOBAL bounds - >= 119233 @ 73.7785
100.34/100.63	c GLOBAL bounds - >= 119233 @ 73.8754
100.74/101.00	c GLOBAL bounds - >= 119233 @ 74.0819
100.84/101.14	c GLOBAL bounds - >= 119233 @ 74.1837
101.24/101.52	c GLOBAL bounds - >= 119233 @ 74.3822
101.33/101.66	c GLOBAL bounds - >= 119233 @ 74.4668
101.74/102.01	c GLOBAL bounds - >= 119233 @ 74.6366
102.03/102.34	c GLOBAL bounds - >= 119233 @ 74.8113
102.43/102.73	c GLOBAL bounds - >= 119233 @ 75.0393
103.43/103.73	c GLOBAL bounds - >= 119233 @ 75.8539
103.93/104.26	c GLOBAL bounds - >= 119233 @ 76.2133
104.83/105.14	c GLOBAL bounds - >= 119233 @ 76.9105
107.01/107.38	c GLOBAL bounds - >= 119233 @ 78.9577
109.41/109.73	c GLOBAL bounds - >= 119233 @ 81.1234
110.71/111.00	c GLOBAL bounds - >= 119233 @ 82.2049
113.10/113.40	c GLOBAL bounds - >= 119233 @ 84.395
113.50/113.86	c GLOBAL bounds - >= 119233 @ 84.6877
114.39/114.71	c GLOBAL bounds - >= 119233 @ 85.3275
115.49/115.86	c GLOBAL bounds - >= 119233 @ 86.2908
116.99/117.38	c GLOBAL bounds - >= 119233 @ 87.6175
117.48/117.88	c GLOBAL bounds - >= 119233 @ 87.9201
118.79/119.14	c GLOBAL bounds - >= 119233 @ 88.9754
120.57/120.96	c GLOBAL bounds - >= 119233 @ 90.5942
121.37/121.79	c GLOBAL bounds - >= 119233 @ 91.2337
122.08/122.44	c GLOBAL bounds - >= 119233 @ 91.6821
123.67/124.09	c GLOBAL bounds - >= 119233 @ 93.1278
125.46/125.83	c GLOBAL bounds - >= 119233 @ 94.658
128.45/128.86	c GLOBAL bounds - >= 119233 @ 97.4615
130.25/130.63	c GLOBAL bounds - >= 132863 @ 99.1769
130.55/130.92	c GLOBAL bounds - >= 132863 @ 99.4205
130.65/131.04	c GLOBAL bounds - >= 132863 @ 99.5139
131.15/131.50	c GLOBAL bounds - >= 132863 @ 99.7615
131.24/131.64	c GLOBAL bounds - >= 132863 @ 99.8701
131.75/132.18	c GLOBAL bounds - >= 132863 @ 100.168
131.94/132.32	c GLOBAL bounds - >= 132863 @ 100.267
132.34/132.75	c GLOBAL bounds - >= 132863 @ 100.505
132.54/132.90	c GLOBAL bounds - >= 132863 @ 100.604
132.94/133.32	c GLOBAL bounds - >= 132863 @ 100.801
133.04/133.46	c GLOBAL bounds - >= 132863 @ 100.904
133.44/133.85	c GLOBAL bounds - >= 132863 @ 101.108
133.54/133.99	c GLOBAL bounds - >= 132863 @ 101.206
133.93/134.38	c GLOBAL bounds - >= 132863 @ 101.401
134.14/134.52	c GLOBAL bounds - >= 132863 @ 101.509
134.53/134.92	c GLOBAL bounds - >= 132863 @ 101.709
134.64/135.05	c GLOBAL bounds - >= 132863 @ 101.807
134.93/135.39	c GLOBAL bounds - >= 132863 @ 101.975
135.13/135.53	c GLOBAL bounds - >= 132863 @ 102.084
135.43/135.86	c GLOBAL bounds - >= 132863 @ 102.249
135.53/136.00	c GLOBAL bounds - >= 132863 @ 102.349
135.93/136.33	c GLOBAL bounds - >= 132863 @ 102.523
136.33/136.70	c GLOBAL bounds - >= 132863 @ 102.728
136.73/137.16	c GLOBAL bounds - >= 132863 @ 103.02
137.03/137.49	c GLOBAL bounds - >= 132863 @ 103.186
137.63/138.06	c GLOBAL bounds - >= 132863 @ 103.589
138.03/138.44	c GLOBAL bounds - >= 132863 @ 103.81
138.43/138.83	c GLOBAL bounds - >= 132863 @ 104.037
140.02/140.42	c GLOBAL bounds - >= 132863 @ 105.446
141.92/142.39	c #Conflicts:       1000 | #Constraints:    5383142
141.92/142.39	c GLOBAL bounds - >= 132863 @ 107.214
142.91/143.35	c GLOBAL bounds - >= 132863 @ 108.015
144.71/145.14	c GLOBAL bounds - >= 132863 @ 109.605
147.20/147.60	c GLOBAL bounds - >= 132863 @ 111.865
148.19/148.67	c GLOBAL bounds - >= 132863 @ 112.728
150.19/150.60	c GLOBAL bounds - >= 132863 @ 114.447
156.58/157.07	c GLOBAL bounds - >= 132863 @ 120.631
157.16/157.68	c GLOBAL bounds - >= 132863 @ 121.038
158.86/159.34	c GLOBAL bounds - >= 132863 @ 122.488
160.46/160.98	c GLOBAL bounds - >= 132863 @ 123.931
162.75/163.24	c GLOBAL bounds - >= 132863 @ 125.978
167.14/167.65	c GLOBAL bounds - >= 132863 @ 130.146
169.43/169.92	c GLOBAL bounds - >= 132863 @ 132.203
173.22/173.76	c GLOBAL bounds - >= 146747 @ 136.016
173.52/174.08	c GLOBAL bounds - >= 146747 @ 136.293
174.12/174.65	c GLOBAL bounds - >= 146747 @ 136.631
174.22/174.78	c GLOBAL bounds - >= 146747 @ 136.72
174.71/175.26	c GLOBAL bounds - >= 146747 @ 136.987
174.91/175.40	c GLOBAL bounds - >= 146747 @ 137.09
175.31/175.88	c GLOBAL bounds - >= 146747 @ 137.363
175.52/176.02	c GLOBAL bounds - >= 146747 @ 137.46
175.91/176.46	c GLOBAL bounds - >= 146747 @ 137.696
176.11/176.60	c GLOBAL bounds - >= 146747 @ 137.803
176.41/177.00	c GLOBAL bounds - >= 146747 @ 138.008
176.62/177.14	c GLOBAL bounds - >= 146747 @ 138.117
177.00/177.54	c GLOBAL bounds - >= 146747 @ 138.343
177.11/177.68	c GLOBAL bounds - >= 146747 @ 138.442
177.51/178.09	c GLOBAL bounds - >= 146747 @ 138.656
177.70/178.23	c GLOBAL bounds - >= 146747 @ 138.762
178.10/178.62	c GLOBAL bounds - >= 146747 @ 138.988
178.20/178.77	c GLOBAL bounds - >= 146747 @ 139.091
178.60/179.16	c GLOBAL bounds - >= 146747 @ 139.28
178.80/179.30	c GLOBAL bounds - >= 146747 @ 139.385
179.10/179.68	c GLOBAL bounds - >= 146747 @ 139.585
181.29/181.82	c GLOBAL bounds - >= 146747 @ 141.539
182.19/182.75	c GLOBAL bounds - >= 146747 @ 142.297
182.69/183.20	c GLOBAL bounds - >= 146747 @ 142.589
184.68/185.21	c GLOBAL bounds - >= 146747 @ 144.406
195.46/196.08	c GLOBAL bounds - >= 146747 @ 155.006
196.35/196.94	c GLOBAL bounds - >= 146747 @ 155.703
197.05/197.64	c GLOBAL bounds - >= 146747 @ 156.23
197.55/198.17	c GLOBAL bounds - >= 146747 @ 156.568
202.53/203.19	c GLOBAL bounds - >= 146747 @ 161.363
203.33/203.96	c GLOBAL bounds - >= 146747 @ 161.949
205.32/205.93	c GLOBAL bounds - >= 146747 @ 163.72
209.41/210.06	c GLOBAL bounds - >= 146747 @ 167.621
212.60/213.27	c GLOBAL bounds - >= 146747 @ 170.623
213.19/213.83	c GLOBAL bounds - >= 146747 @ 170.996
214.79/215.40	c GLOBAL bounds - >= 146747 @ 172.358
224.86/225.59	c GLOBAL bounds - >= 154741 @ 182.483
225.16/225.84	c GLOBAL bounds - >= 154741 @ 182.695
225.66/226.34	c GLOBAL bounds - >= 154741 @ 182.971
225.76/226.48	c GLOBAL bounds - >= 154741 @ 183.074
226.25/226.97	c GLOBAL bounds - >= 154741 @ 183.364
226.47/227.11	c GLOBAL bounds - >= 154741 @ 183.47
226.86/227.56	c GLOBAL bounds - >= 154741 @ 183.713
227.06/227.70	c GLOBAL bounds - >= 154741 @ 183.818
227.46/228.11	c GLOBAL bounds - >= 154741 @ 184.061
227.55/228.25	c GLOBAL bounds - >= 154741 @ 184.161
227.95/228.64	c GLOBAL bounds - >= 154741 @ 184.367
228.05/228.79	c GLOBAL bounds - >= 154741 @ 184.472
228.55/229.20	c GLOBAL bounds - >= 154741 @ 184.685
228.65/229.35	c GLOBAL bounds - >= 154741 @ 184.787
229.05/229.74	c GLOBAL bounds - >= 154741 @ 184.995
229.15/229.88	c GLOBAL bounds - >= 154741 @ 185.105
229.55/230.26	c GLOBAL bounds - >= 154741 @ 185.309
229.64/230.37	c GLOBAL bounds - >= 154741 @ 185.388
230.04/230.77	c GLOBAL bounds - >= 154741 @ 185.583
230.24/230.91	c GLOBAL bounds - >= 154741 @ 185.683
230.54/231.29	c GLOBAL bounds - >= 154741 @ 185.871
231.15/231.86	c GLOBAL bounds - >= 154741 @ 186.258
232.24/232.92	c GLOBAL bounds - >= 154741 @ 187.137
233.23/233.94	c GLOBAL bounds - >= 154741 @ 187.972
234.04/234.74	c GLOBAL bounds - >= 154741 @ 188.604
237.53/238.27	c GLOBAL bounds - >= 154741 @ 191.928
238.33/239.04	c GLOBAL bounds - >= 154741 @ 192.524
238.92/239.69	c GLOBAL bounds - >= 154741 @ 192.986
240.72/241.46	c GLOBAL bounds - >= 154741 @ 194.574
243.51/244.20	c GLOBAL bounds - >= 154741 @ 197.112
245.40/246.18	c GLOBAL bounds - >= 154741 @ 198.877
246.50/247.22	c GLOBAL bounds - >= 154741 @ 199.743
248.80/249.50	c GLOBAL bounds - >= 154741 @ 201.822
250.18/250.91	c GLOBAL bounds - >= 154741 @ 203.03
251.18/251.92	c GLOBAL bounds - >= 154741 @ 203.833
261.36/262.12	c GLOBAL bounds - >= 154741 @ 213.732
280.20/281.08	c #Conflicts:       2000 | #Constraints:    7887158
280.20/281.08	c INPROCESSING
280.20/281.08	c GARBAGE COLLECT
280.20/281.08	c GLOBAL bounds - >= 154741 @ 232.26
288.37/289.26	c GLOBAL bounds - >= 172073 @ 240.417
288.86/289.70	c GLOBAL bounds - >= 172073 @ 240.825
288.97/289.84	c GLOBAL bounds - >= 172073 @ 240.92
289.36/290.28	c GLOBAL bounds - >= 172073 @ 241.177
289.56/290.43	c GLOBAL bounds - >= 172073 @ 241.284
289.96/290.83	c GLOBAL bounds - >= 172073 @ 241.509
290.06/290.97	c GLOBAL bounds - >= 172073 @ 241.615
290.46/291.36	c GLOBAL bounds - >= 172073 @ 241.811
290.66/291.50	c GLOBAL bounds - >= 172073 @ 241.912
290.96/291.88	c GLOBAL bounds - >= 172073 @ 242.11
291.17/292.03	c GLOBAL bounds - >= 172073 @ 242.215
291.46/292.37	c GLOBAL bounds - >= 172073 @ 242.372
291.66/292.51	c GLOBAL bounds - >= 172073 @ 242.468
292.06/292.92	c GLOBAL bounds - >= 172073 @ 242.67
292.16/293.06	c GLOBAL bounds - >= 172073 @ 242.78
292.56/293.44	c GLOBAL bounds - >= 172073 @ 242.981
292.66/293.59	c GLOBAL bounds - >= 172073 @ 243.084
293.05/293.96	c GLOBAL bounds - >= 172073 @ 243.264
293.26/294.10	c GLOBAL bounds - >= 172073 @ 243.372
293.55/294.45	c GLOBAL bounds - >= 172073 @ 243.534
293.65/294.59	c GLOBAL bounds - >= 172073 @ 243.643
294.05/294.92	c GLOBAL bounds - >= 172073 @ 243.781
295.94/296.81	c GLOBAL bounds - >= 172073 @ 245.496
298.54/299.45	c GLOBAL bounds - >= 172073 @ 247.945
299.04/299.94	c GLOBAL bounds - >= 172073 @ 248.256
300.73/301.64	c GLOBAL bounds - >= 172073 @ 249.769
302.13/303.01	c GLOBAL bounds - >= 172073 @ 250.955
305.61/306.53	c GLOBAL bounds - >= 172073 @ 254.274
306.12/307.10	c GLOBAL bounds - >= 172073 @ 254.643
306.62/307.52	c GLOBAL bounds - >= 172073 @ 254.888
308.80/309.77	c GLOBAL bounds - >= 172073 @ 256.961
312.00/312.93	c GLOBAL bounds - >= 172073 @ 259.925
312.69/313.66	c GLOBAL bounds - >= 172073 @ 260.461
313.10/314.08	c GLOBAL bounds - >= 172073 @ 260.69
313.59/314.51	c GLOBAL bounds - >= 172073 @ 260.923
315.29/316.24	c GLOBAL bounds - >= 172073 @ 262.455
318.68/319.65	c GLOBAL bounds - >= 172073 @ 265.677
318.78/319.74	c GLOBAL bounds - >= 172073 @ 265.764
319.08/320.04	c GLOBAL bounds - >= 172073 @ 266.015
319.18/320.16	c GLOBAL bounds - >= 172073 @ 266.104
319.67/320.66	c GLOBAL bounds - >= 172073 @ 266.391
319.87/320.80	c GLOBAL bounds - >= 172073 @ 266.499
320.27/321.22	c GLOBAL bounds - >= 172073 @ 266.72
320.37/321.37	c GLOBAL bounds - >= 172073 @ 266.823
320.77/321.77	c GLOBAL bounds - >= 172073 @ 267.049
320.97/321.91	c GLOBAL bounds - >= 172073 @ 267.16
321.26/322.28	c GLOBAL bounds - >= 172073 @ 267.353
321.47/322.42	c GLOBAL bounds - >= 172073 @ 267.463
321.77/322.77	c GLOBAL bounds - >= 172073 @ 267.649
321.97/322.92	c GLOBAL bounds - >= 172073 @ 267.764
322.27/323.26	c GLOBAL bounds - >= 172073 @ 267.939
322.46/323.41	c GLOBAL bounds - >= 172073 @ 268.039
322.77/323.75	c GLOBAL bounds - >= 172073 @ 268.217
322.96/323.90	c GLOBAL bounds - >= 172073 @ 268.332
323.27/324.24	c GLOBAL bounds - >= 172073 @ 268.502
323.36/324.39	c GLOBAL bounds - >= 172073 @ 268.61
323.76/324.72	c GLOBAL bounds - >= 172073 @ 268.788
323.86/324.87	c GLOBAL bounds - >= 172073 @ 268.908
324.26/325.21	c GLOBAL bounds - >= 172073 @ 269.07
324.76/325.79	c GLOBAL bounds - >= 172073 @ 269.488
325.36/326.30	c GLOBAL bounds - >= 172073 @ 269.817
325.75/326.75	c GLOBAL bounds - >= 172073 @ 270.096
326.15/327.15	c GLOBAL bounds - >= 172073 @ 270.32
326.56/327.55	c GLOBAL bounds - >= 172073 @ 270.543
327.35/328.30	c GLOBAL bounds - >= 172073 @ 271.147
327.75/328.75	c GLOBAL bounds - >= 172073 @ 271.438
328.35/329.34	c GLOBAL bounds - >= 172073 @ 271.858
329.34/330.32	c GLOBAL bounds - >= 172073 @ 272.662
329.74/330.73	c GLOBAL bounds - >= 172073 @ 272.902
330.54/331.51	c GLOBAL bounds - >= 172073 @ 273.497
332.24/333.21	c GLOBAL bounds - >= 172073 @ 275.021
335.82/336.87	c GLOBAL bounds - >= 172073 @ 278.472
351.18/352.24	c GLOBAL bounds - >= 172073 @ 293.607
356.96/358.10	c GLOBAL bounds - >= 172073 @ 299.268
365.73/366.83	c GLOBAL bounds - >= 183549 @ 307.968
366.33/367.41	c GLOBAL bounds - >= 183549 @ 308.462
366.43/367.55	c GLOBAL bounds - >= 183549 @ 308.563
366.93/368.02	c GLOBAL bounds - >= 183549 @ 308.851
367.03/368.17	c GLOBAL bounds - >= 183549 @ 308.962
367.53/368.64	c GLOBAL bounds - >= 183549 @ 309.256
367.63/368.78	c GLOBAL bounds - >= 183549 @ 309.359
368.13/369.22	c GLOBAL bounds - >= 183549 @ 309.608
368.22/369.36	c GLOBAL bounds - >= 183549 @ 309.716
368.62/369.78	c GLOBAL bounds - >= 183549 @ 309.953
368.82/369.92	c GLOBAL bounds - >= 183549 @ 310.059
369.22/370.33	c GLOBAL bounds - >= 183549 @ 310.287
369.32/370.47	c GLOBAL bounds - >= 183549 @ 310.392
369.73/370.84	c GLOBAL bounds - >= 183549 @ 310.572
369.82/370.97	c GLOBAL bounds - >= 183549 @ 310.673
370.21/371.34	c GLOBAL bounds - >= 183549 @ 310.865
370.32/371.48	c GLOBAL bounds - >= 183549 @ 310.97
370.72/371.83	c GLOBAL bounds - >= 183549 @ 311.132
370.81/371.97	c GLOBAL bounds - >= 183549 @ 311.235
371.21/372.36	c GLOBAL bounds - >= 183549 @ 311.446
371.42/372.50	c GLOBAL bounds - >= 183549 @ 311.546
371.71/372.87	c GLOBAL bounds - >= 183549 @ 311.733
372.42/373.53	c GLOBAL bounds - >= 183549 @ 312.233
377.00/378.19	c GLOBAL bounds - >= 183549 @ 316.709
378.39/379.60	c GLOBAL bounds - >= 183549 @ 317.931
391.15/392.31	c GLOBAL bounds - >= 183549 @ 330.241
394.45/395.66	c GLOBAL bounds - >= 183549 @ 333.355
395.05/396.24	c GLOBAL bounds - >= 183549 @ 333.742
399.63/400.85	c GLOBAL bounds - >= 183549 @ 338.13
401.23/402.41	c #Conflicts:       3000 | #Constraints:   10002408
401.23/402.41	c GLOBAL bounds - >= 183549 @ 339.497
404.42/405.69	c GLOBAL bounds - >= 187887 @ 342.744
404.82/406.02	c GLOBAL bounds - >= 187887 @ 343.03
404.92/406.16	c GLOBAL bounds - >= 187887 @ 343.134
405.11/406.30	c GLOBAL bounds - >= 187887 @ 343.241
405.51/406.79	c GLOBAL bounds - >= 187887 @ 343.539
405.71/406.93	c GLOBAL bounds - >= 187887 @ 343.644
406.11/407.38	c GLOBAL bounds - >= 187887 @ 343.905
406.30/407.52	c GLOBAL bounds - >= 187887 @ 344.004
406.71/407.95	c GLOBAL bounds - >= 187887 @ 344.24
406.81/408.09	c GLOBAL bounds - >= 187887 @ 344.341
407.21/408.47	c GLOBAL bounds - >= 187887 @ 344.555
407.41/408.62	c GLOBAL bounds - >= 187887 @ 344.664
407.81/409.01	c GLOBAL bounds - >= 187887 @ 344.884
407.91/409.15	c GLOBAL bounds - >= 187887 @ 344.989
408.31/409.54	c GLOBAL bounds - >= 187887 @ 345.191
408.40/409.68	c GLOBAL bounds - >= 187887 @ 345.3
408.81/410.05	c GLOBAL bounds - >= 187887 @ 345.5
408.91/410.19	c GLOBAL bounds - >= 187887 @ 345.608
409.30/410.56	c GLOBAL bounds - >= 187887 @ 345.798
409.50/410.71	c GLOBAL bounds - >= 187887 @ 345.907
409.80/411.08	c GLOBAL bounds - >= 187887 @ 346.109
410.00/411.22	c GLOBAL bounds - >= 187887 @ 346.211
410.30/411.60	c GLOBAL bounds - >= 187887 @ 346.405
411.00/412.26	c GLOBAL bounds - >= 187887 @ 346.89
411.69/412.92	c GLOBAL bounds - >= 187887 @ 347.362
412.59/413.89	c GLOBAL bounds - >= 187887 @ 348.154
414.28/415.57	c GLOBAL bounds - >= 187887 @ 349.638
414.98/416.28	c GLOBAL bounds - >= 187887 @ 350.168
416.18/417.47	c GLOBAL bounds - >= 187887 @ 351.158
419.78/421.06	c GLOBAL bounds - >= 187887 @ 354.52
420.96/422.20	c GLOBAL bounds - >= 187887 @ 355.479
421.96/423.24	c GLOBAL bounds - >= 187887 @ 356.329
424.15/425.45	c GLOBAL bounds - >= 187887 @ 358.338
431.03/432.32	c GLOBAL bounds - >= 187887 @ 364.979
437.21/438.51	c GLOBAL bounds - >= 187887 @ 370.936
438.01/439.32	c GLOBAL bounds - >= 187887 @ 371.554
439.11/440.47	c GLOBAL bounds - >= 187887 @ 372.516
449.07/450.47	c GLOBAL bounds - >= 187887 @ 382.269
450.68/452.05	c GLOBAL bounds - >= 187887 @ 383.647
452.07/453.48	c GLOBAL bounds - >= 187887 @ 384.869
453.47/454.83	c GLOBAL bounds - >= 187887 @ 386.033
454.06/455.45	c GLOBAL bounds - >= 187887 @ 386.464
469.81/471.29	c GLOBAL bounds - >= 206785 @ 402.179
470.51/471.99	c GLOBAL bounds - >= 206785 @ 402.83
470.72/472.13	c GLOBAL bounds - >= 206785 @ 402.933
470.81/472.26	c GLOBAL bounds - >= 206785 @ 403.024
471.01/472.40	c GLOBAL bounds - >= 206785 @ 403.122
471.11/472.54	c GLOBAL bounds - >= 206785 @ 403.228
472.41/473.80	c GLOBAL bounds - >= 206785 @ 404.296
472.51/473.93	c GLOBAL bounds - >= 206785 @ 404.387
473.01/474.40	c GLOBAL bounds - >= 206785 @ 404.656
473.10/474.54	c GLOBAL bounds - >= 206785 @ 404.763
473.51/474.96	c GLOBAL bounds - >= 206785 @ 404.999
473.71/475.10	c GLOBAL bounds - >= 206785 @ 405.108
474.00/475.47	c GLOBAL bounds - >= 206785 @ 405.299
474.20/475.62	c GLOBAL bounds - >= 206785 @ 405.409
474.50/475.98	c GLOBAL bounds - >= 206785 @ 405.615
474.71/476.12	c GLOBAL bounds - >= 206785 @ 405.718
475.00/476.48	c GLOBAL bounds - >= 206785 @ 405.901
475.20/476.62	c GLOBAL bounds - >= 206785 @ 406.011
475.50/476.97	c GLOBAL bounds - >= 206785 @ 406.199
475.70/477.11	c GLOBAL bounds - >= 206785 @ 406.304
475.99/477.45	c GLOBAL bounds - >= 206785 @ 406.472
476.19/477.60	c GLOBAL bounds - >= 206785 @ 406.575
476.50/477.93	c GLOBAL bounds - >= 206785 @ 406.743
476.60/478.07	c GLOBAL bounds - >= 206785 @ 406.845
476.99/478.41	c GLOBAL bounds - >= 206785 @ 407.021
477.29/478.73	c GLOBAL bounds - >= 206785 @ 407.206
477.79/479.29	c GLOBAL bounds - >= 206785 @ 407.61
478.39/479.86	c GLOBAL bounds - >= 206785 @ 408.043
479.09/480.58	c GLOBAL bounds - >= 206785 @ 408.598
479.48/480.97	c GLOBAL bounds - >= 206785 @ 408.828
479.99/481.48	c GLOBAL bounds - >= 206785 @ 409.19
483.87/485.32	c GLOBAL bounds - >= 206785 @ 412.818
484.48/485.97	c GLOBAL bounds - >= 206785 @ 413.313
486.76/488.20	c GLOBAL bounds - >= 206785 @ 415.348
487.26/488.72	c GLOBAL bounds - >= 206785 @ 415.693
488.96/490.41	c GLOBAL bounds - >= 206785 @ 417.21
489.26/490.77	c GLOBAL bounds - >= 206785 @ 417.408
490.66/492.10	c GLOBAL bounds - >= 206785 @ 418.563
491.25/492.78	c GLOBAL bounds - >= 206785 @ 419.057
492.74/494.29	c GLOBAL bounds - >= 206785 @ 420.389
493.24/494.74	c GLOBAL bounds - >= 206785 @ 420.68
493.84/495.31	c GLOBAL bounds - >= 206785 @ 421.075
499.53/501.03	c GLOBAL bounds - >= 206785 @ 426.545
503.31/504.80	c GLOBAL bounds - >= 206785 @ 430.099
516.48/518.08	c GLOBAL bounds - >= 206785 @ 443.11
522.75/524.36	c GLOBAL bounds - >= 208523 @ 449.361
523.15/524.72	c GLOBAL bounds - >= 208523 @ 449.678
523.25/524.86	c GLOBAL bounds - >= 208523 @ 449.779
523.35/525.00	c GLOBAL bounds - >= 208523 @ 449.885
523.56/525.14	c GLOBAL bounds - >= 208523 @ 449.991
523.65/525.29	c GLOBAL bounds - >= 208523 @ 450.095
523.85/525.43	c GLOBAL bounds - >= 208523 @ 450.212
524.25/525.87	c GLOBAL bounds - >= 208523 @ 450.467
524.45/526.01	c GLOBAL bounds - >= 208523 @ 450.571
524.85/526.43	c GLOBAL bounds - >= 208523 @ 450.806
524.95/526.57	c GLOBAL bounds - >= 208523 @ 450.909
525.35/526.98	c GLOBAL bounds - >= 208523 @ 451.12
525.55/527.12	c GLOBAL bounds - >= 208523 @ 451.223
525.95/527.53	c GLOBAL bounds - >= 208523 @ 451.441
526.05/527.67	c GLOBAL bounds - >= 208523 @ 451.548
526.44/528.06	c GLOBAL bounds - >= 208523 @ 451.762
526.64/528.20	c GLOBAL bounds - >= 208523 @ 451.864
526.94/528.58	c GLOBAL bounds - >= 208523 @ 452.056
527.14/528.72	c GLOBAL bounds - >= 208523 @ 452.158
527.55/529.11	c GLOBAL bounds - >= 208523 @ 452.354
527.64/529.25	c GLOBAL bounds - >= 208523 @ 452.454
528.03/529.62	c GLOBAL bounds - >= 208523 @ 452.658
528.14/529.76	c GLOBAL bounds - >= 208523 @ 452.761
528.44/530.09	c GLOBAL bounds - >= 208523 @ 452.91
528.63/530.23	c GLOBAL bounds - >= 208523 @ 453.012
529.04/530.61	c GLOBAL bounds - >= 208523 @ 453.211
530.33/531.90	c GLOBAL bounds - >= 208523 @ 454.328
530.83/532.45	c GLOBAL bounds - >= 208523 @ 454.719
531.23/532.87	c GLOBAL bounds - >= 208523 @ 454.975
531.63/533.29	c GLOBAL bounds - >= 208523 @ 455.234
534.32/536.00	c GLOBAL bounds - >= 208523 @ 457.774
535.82/537.44	c GLOBAL bounds - >= 208523 @ 459.04
537.31/538.93	c #Conflicts:       4000 | #Constraints:   11741212
537.31/538.93	c GLOBAL bounds - >= 208523 @ 460.356
539.61/541.27	c GLOBAL bounds - >= 208523 @ 462.515
541.10/542.72	c GLOBAL bounds - >= 208523 @ 463.776
545.69/547.38	c GLOBAL bounds - >= 208523 @ 468.223
554.56/556.20	c GLOBAL bounds - >= 208523 @ 476.769
557.25/558.99	c GLOBAL bounds - >= 208523 @ 479.381
590.25/592.01	c INPROCESSING
590.25/592.01	c GARBAGE COLLECT
590.25/592.01	c GLOBAL bounds - >= 208523 @ 511.943
591.74/593.56	c GLOBAL bounds - >= 208523 @ 513.3
592.34/594.13	c GLOBAL bounds - >= 208523 @ 513.692
595.34/597.13	c GLOBAL bounds - >= 208523 @ 516.496
604.50/606.37	c GLOBAL bounds - >= 208523 @ 525.477
606.30/608.19	c GLOBAL bounds - >= 211088 @ 527.293
606.59/608.47	c GLOBAL bounds - >= 211088 @ 527.536
606.79/608.61	c GLOBAL bounds - >= 211088 @ 527.64
607.20/609.07	c GLOBAL bounds - >= 211088 @ 527.903
607.40/609.22	c GLOBAL bounds - >= 211088 @ 528.009
607.69/609.59	c GLOBAL bounds - >= 211088 @ 528.202
607.90/609.74	c GLOBAL bounds - >= 211088 @ 528.31
608.29/610.11	c GLOBAL bounds - >= 211088 @ 528.512
608.39/610.26	c GLOBAL bounds - >= 211088 @ 528.629
608.69/610.59	c GLOBAL bounds - >= 211088 @ 528.792
608.89/610.74	c GLOBAL bounds - >= 211088 @ 528.901
609.19/611.10	c GLOBAL bounds - >= 211088 @ 529.072
609.39/611.24	c GLOBAL bounds - >= 211088 @ 529.182
609.78/611.60	c GLOBAL bounds - >= 211088 @ 529.369
609.88/611.74	c GLOBAL bounds - >= 211088 @ 529.472
610.19/612.10	c GLOBAL bounds - >= 211088 @ 529.658
610.38/612.24	c GLOBAL bounds - >= 211088 @ 529.768
610.78/612.60	c GLOBAL bounds - >= 211088 @ 529.955
610.88/612.75	c GLOBAL bounds - >= 211088 @ 530.064
611.28/613.10	c GLOBAL bounds - >= 211088 @ 530.258
611.38/613.25	c GLOBAL bounds - >= 211088 @ 530.362
611.78/613.60	c GLOBAL bounds - >= 211088 @ 530.553
612.67/614.56	c GLOBAL bounds - >= 211088 @ 531.356
613.08/614.96	c GLOBAL bounds - >= 211088 @ 531.59
613.77/615.62	c GLOBAL bounds - >= 211088 @ 532.075
614.77/616.68	c GLOBAL bounds - >= 211088 @ 532.978
618.27/620.19	c GLOBAL bounds - >= 211088 @ 536.308
618.75/620.64	c GLOBAL bounds - >= 211088 @ 536.608
620.35/622.27	c GLOBAL bounds - >= 211088 @ 538.08
630.62/632.59	c GLOBAL bounds - >= 211088 @ 548.183
632.12/634.07	c GLOBAL bounds - >= 211088 @ 549.482
646.67/648.63	c GLOBAL bounds - >= 211088 @ 563.813
662.03/664.05	c GLOBAL bounds - >= 211088 @ 579.009
667.80/669.82	c #Conflicts:       5000 | #Constraints:   12485356
667.80/669.82	c GLOBAL bounds - >= 211088 @ 584.559
691.53/693.62	c GLOBAL bounds - >= 211088 @ 608.087
698.41/700.52	c GLOBAL bounds - >= 215753 @ 614.966
698.81/700.96	c GLOBAL bounds - >= 215753 @ 615.358
698.91/701.10	c GLOBAL bounds - >= 215753 @ 615.463
699.10/701.24	c GLOBAL bounds - >= 215753 @ 615.57
700.70/702.84	c GLOBAL bounds - >= 215753 @ 616.966
700.80/702.99	c GLOBAL bounds - >= 215753 @ 617.074
701.29/703.47	c GLOBAL bounds - >= 215753 @ 617.358
701.50/703.61	c GLOBAL bounds - >= 215753 @ 617.461
701.90/704.09	c GLOBAL bounds - >= 215753 @ 617.75
702.10/704.24	c GLOBAL bounds - >= 215753 @ 617.86
702.59/704.72	c GLOBAL bounds - >= 215753 @ 618.146
702.69/704.86	c GLOBAL bounds - >= 215753 @ 618.259
703.20/705.34	c GLOBAL bounds - >= 215753 @ 618.536
703.29/705.49	c GLOBAL bounds - >= 215753 @ 618.645
703.79/705.96	c GLOBAL bounds - >= 215753 @ 618.925
704.00/706.11	c GLOBAL bounds - >= 215753 @ 619.043
704.39/706.58	c GLOBAL bounds - >= 215753 @ 619.327
704.59/706.73	c GLOBAL bounds - >= 215753 @ 619.443
704.99/707.19	c GLOBAL bounds - >= 215753 @ 619.711
705.18/707.34	c GLOBAL bounds - >= 215753 @ 619.829
705.58/707.77	c GLOBAL bounds - >= 215753 @ 620.07
705.78/707.92	c GLOBAL bounds - >= 215753 @ 620.184
706.18/708.34	c GLOBAL bounds - >= 215753 @ 620.415
706.58/708.74	c GLOBAL bounds - >= 215753 @ 620.645
706.98/709.15	c GLOBAL bounds - >= 215753 @ 620.869
707.48/709.63	c GLOBAL bounds - >= 215753 @ 621.174
708.08/710.29	c GLOBAL bounds - >= 215753 @ 621.647
708.77/710.94	c GLOBAL bounds - >= 215753 @ 622.128
709.77/711.98	c GLOBAL bounds - >= 215753 @ 622.975
710.37/712.52	c GLOBAL bounds - >= 215753 @ 623.321
711.26/713.49	c GLOBAL bounds - >= 215753 @ 624.105
733.10/735.38	c GLOBAL bounds - >= 215753 @ 645.736
733.69/735.96	c GLOBAL bounds - >= 215753 @ 646.149
737.88/740.17	c GLOBAL bounds - >= 215753 @ 650.165
738.79/741.03	c GLOBAL bounds - >= 215753 @ 650.848
739.48/741.70	c GLOBAL bounds - >= 215753 @ 651.335
757.32/759.63	c GLOBAL bounds - >= 215753 @ 669.026
772.37/774.78	c GLOBAL bounds - >= 223287 @ 684.111
772.98/775.33	c GLOBAL bounds - >= 223287 @ 684.627
774.87/777.29	c GLOBAL bounds - >= 223287 @ 686.383
774.96/777.36	c GLOBAL bounds - >= 223287 @ 686.431
775.37/777.78	c GLOBAL bounds - >= 223287 @ 686.674
775.47/777.86	c GLOBAL bounds - >= 223287 @ 686.726
775.86/778.23	c GLOBAL bounds - >= 223287 @ 686.934
775.96/778.37	c GLOBAL bounds - >= 223287 @ 687.034
776.36/778.74	c GLOBAL bounds - >= 223287 @ 687.239
776.47/778.88	c GLOBAL bounds - >= 223287 @ 687.343
776.86/779.25	c GLOBAL bounds - >= 223287 @ 687.542
776.96/779.39	c GLOBAL bounds - >= 223287 @ 687.655
777.36/779.71	c GLOBAL bounds - >= 223287 @ 687.798
777.46/779.85	c GLOBAL bounds - >= 223287 @ 687.906
777.86/780.21	c GLOBAL bounds - >= 223287 @ 688.101
777.96/780.35	c GLOBAL bounds - >= 223287 @ 688.208
778.26/780.67	c GLOBAL bounds - >= 223287 @ 688.337
778.46/780.81	c GLOBAL bounds - >= 223287 @ 688.443
778.76/781.17	c GLOBAL bounds - >= 223287 @ 688.635
778.96/781.31	c GLOBAL bounds - >= 223287 @ 688.734
779.25/781.65	c GLOBAL bounds - >= 223287 @ 688.918
779.85/782.22	c GLOBAL bounds - >= 223287 @ 689.324
780.25/782.62	c GLOBAL bounds - >= 223287 @ 689.569
780.65/783.01	c GLOBAL bounds - >= 223287 @ 689.795
781.05/783.41	c GLOBAL bounds - >= 223287 @ 690.027
781.55/783.98	c GLOBAL bounds - >= 223287 @ 690.436
783.44/785.88	c GLOBAL bounds - >= 223287 @ 692.178
783.94/786.36	c GLOBAL bounds - >= 223287 @ 692.487
784.34/786.76	c GLOBAL bounds - >= 223287 @ 692.724
786.33/788.71	c GLOBAL bounds - >= 223287 @ 694.494
786.83/789.23	c GLOBAL bounds - >= 223287 @ 694.827
787.23/789.66	c GLOBAL bounds - >= 223287 @ 695.1
787.64/790.09	c GLOBAL bounds - >= 223287 @ 695.375
788.33/790.76	c GLOBAL bounds - >= 223287 @ 695.869
788.74/791.19	c GLOBAL bounds - >= 223287 @ 696.137
790.82/793.26	c GLOBAL bounds - >= 223287 @ 698.029
791.92/794.35	c GLOBAL bounds - >= 223287 @ 698.966
792.41/794.85	c GLOBAL bounds - >= 223287 @ 699.295
793.62/796.00	c GLOBAL bounds - >= 223287 @ 700.275
794.62/797.02	c GLOBAL bounds - >= 223287 @ 701.105
795.41/797.86	c GLOBAL bounds - >= 223287 @ 701.745
798.90/801.36	c GLOBAL bounds - >= 225693 @ 705.227
799.30/801.71	c GLOBAL bounds - >= 225693 @ 705.535
799.99/802.44	c GLOBAL bounds - >= 225693 @ 706.07
800.09/802.57	c GLOBAL bounds - >= 225693 @ 706.158
800.59/803.06	c GLOBAL bounds - >= 225693 @ 706.435
800.79/803.20	c GLOBAL bounds - >= 225693 @ 706.55
801.19/803.66	c GLOBAL bounds - >= 225693 @ 706.83
801.39/803.81	c GLOBAL bounds - >= 225693 @ 706.943
801.78/804.24	c GLOBAL bounds - >= 225693 @ 707.197
801.88/804.39	c GLOBAL bounds - >= 225693 @ 707.3
802.28/804.79	c GLOBAL bounds - >= 225693 @ 707.53
802.48/804.94	c GLOBAL bounds - >= 225693 @ 707.629
802.88/805.34	c GLOBAL bounds - >= 225693 @ 707.843
802.99/805.48	c GLOBAL bounds - >= 225693 @ 707.954
803.38/805.88	c GLOBAL bounds - >= 225693 @ 708.168
803.59/806.03	c GLOBAL bounds - >= 225693 @ 708.266
803.98/806.41	c GLOBAL bounds - >= 225693 @ 708.503
804.08/806.56	c GLOBAL bounds - >= 225693 @ 708.611
804.48/806.93	c GLOBAL bounds - >= 225693 @ 708.797
804.59/807.08	c GLOBAL bounds - >= 225693 @ 708.899
804.98/807.41	c GLOBAL bounds - >= 225693 @ 709.058
805.97/808.40	c GLOBAL bounds - >= 225693 @ 709.877
806.37/808.86	c GLOBAL bounds - >= 225693 @ 710.172
808.17/810.68	c GLOBAL bounds - >= 225693 @ 711.783
812.16/814.68	c GLOBAL bounds - >= 225693 @ 715.57
812.76/815.26	c GLOBAL bounds - >= 225693 @ 715.979
813.56/816.02	c GLOBAL bounds - >= 225693 @ 716.568
818.04/820.50	c #Conflicts:       6000 | #Constraints:   14175350
818.04/820.50	c GLOBAL bounds - >= 225693 @ 720.837
818.84/821.36	c GLOBAL bounds - >= 225693 @ 721.502
819.83/822.31	c GLOBAL bounds - >= 225693 @ 722.264
829.20/831.73	c GLOBAL bounds - >= 225693 @ 731.431
834.49/837.08	c GLOBAL bounds - >= 225693 @ 736.542
835.18/837.77	c GLOBAL bounds - >= 225693 @ 737.041
835.38/837.94	c GLOBAL bounds - >= 225693 @ 737.213
835.69/838.20	c GLOBAL bounds - >= 225693 @ 737.437
836.18/838.76	c GLOBAL bounds - >= 225693 @ 737.815
836.38/838.91	c GLOBAL bounds - >= 225693 @ 737.923
836.88/839.41	c GLOBAL bounds - >= 225693 @ 738.231
836.97/839.56	c GLOBAL bounds - >= 225693 @ 738.351
837.48/840.03	c GLOBAL bounds - >= 225693 @ 738.636
837.58/840.17	c GLOBAL bounds - >= 225693 @ 738.737
837.98/840.57	c GLOBAL bounds - >= 225693 @ 738.949
838.18/840.72	c GLOBAL bounds - >= 225693 @ 739.053
838.48/841.06	c GLOBAL bounds - >= 225693 @ 739.22
838.67/841.21	c GLOBAL bounds - >= 225693 @ 739.333
838.97/841.58	c GLOBAL bounds - >= 225693 @ 739.519
839.17/841.73	c GLOBAL bounds - >= 225693 @ 739.631
839.47/842.07	c GLOBAL bounds - >= 225693 @ 739.819
839.67/842.22	c GLOBAL bounds - >= 225693 @ 739.925
839.97/842.56	c GLOBAL bounds - >= 225693 @ 740.103
840.17/842.71	c GLOBAL bounds - >= 225693 @ 740.22
840.47/843.05	c GLOBAL bounds - >= 225693 @ 740.412
840.67/843.20	c GLOBAL bounds - >= 225693 @ 740.529
840.96/843.54	c GLOBAL bounds - >= 225693 @ 740.705
841.27/843.87	c GLOBAL bounds - >= 225693 @ 740.877
841.66/844.26	c GLOBAL bounds - >= 225693 @ 741.098
842.07/844.64	c GLOBAL bounds - >= 225693 @ 741.319
842.36/844.97	c GLOBAL bounds - >= 225693 @ 741.495
842.76/845.30	c GLOBAL bounds - >= 225693 @ 741.673
843.06/845.69	c GLOBAL bounds - >= 225693 @ 741.9
843.47/846.07	c GLOBAL bounds - >= 225693 @ 742.134
843.86/846.47	c GLOBAL bounds - >= 225693 @ 742.375
844.26/846.87	c GLOBAL bounds - >= 225693 @ 742.605
844.66/847.29	c GLOBAL bounds - >= 225693 @ 742.851
845.55/848.15	c GLOBAL bounds - >= 225693 @ 743.536
845.95/848.58	c GLOBAL bounds - >= 225693 @ 743.796
847.84/850.43	c GLOBAL bounds - >= 225693 @ 745.445
852.93/855.55	c GLOBAL bounds - >= 225693 @ 750.304
853.63/856.20	c GLOBAL bounds - >= 225693 @ 750.762
882.93/885.64	c GLOBAL bounds - >= 225693 @ 779.596
890.11/892.88	c GLOBAL bounds - >= 225693 @ 786.579
891.70/894.43	c GLOBAL bounds - >= 225693 @ 787.935
958.99/962.00	c INPROCESSING
958.99/962.00	c GARBAGE COLLECT
958.99/962.00	c GLOBAL bounds - >= 225693 @ 854.831
997.18/1000.28	c #Conflicts:       7000 | #Constraints:   14878083
997.18/1000.28	c GLOBAL bounds - >= 233635 @ 892.958
997.67/1000.72	c GLOBAL bounds - >= 233635 @ 893.375
1041.74/1044.94	c GLOBAL bounds - >= 233635 @ 937.215
1041.84/1045.02	c GLOBAL bounds - >= 233635 @ 937.261
1043.03/1046.26	c GLOBAL bounds - >= 233635 @ 938.294
1043.23/1046.40	c GLOBAL bounds - >= 233635 @ 938.4
1043.63/1046.82	c GLOBAL bounds - >= 233635 @ 938.643
1043.73/1046.97	c GLOBAL bounds - >= 233635 @ 938.747
1044.13/1047.37	c GLOBAL bounds - >= 233635 @ 938.969
1044.32/1047.51	c GLOBAL bounds - >= 233635 @ 939.078
1044.72/1047.90	c GLOBAL bounds - >= 233635 @ 939.277
1044.83/1048.04	c GLOBAL bounds - >= 233635 @ 939.381
1045.12/1048.38	c GLOBAL bounds - >= 233635 @ 939.553
1045.33/1048.52	c GLOBAL bounds - >= 233635 @ 939.656
1045.63/1048.89	c GLOBAL bounds - >= 233635 @ 939.861
1045.83/1049.04	c GLOBAL bounds - >= 233635 @ 939.959
1046.22/1049.42	c GLOBAL bounds - >= 233635 @ 940.168
1046.32/1049.56	c GLOBAL bounds - >= 233635 @ 940.272
1046.72/1049.93	c GLOBAL bounds - >= 233635 @ 940.478
1046.83/1050.07	c GLOBAL bounds - >= 233635 @ 940.591
1047.22/1050.43	c GLOBAL bounds - >= 233635 @ 940.796
1047.61/1050.83	c GLOBAL bounds - >= 233635 @ 941.039
1048.31/1051.53	c GLOBAL bounds - >= 233635 @ 941.576
1048.71/1051.96	c GLOBAL bounds - >= 233635 @ 941.844
1049.11/1052.37	c GLOBAL bounds - >= 233635 @ 942.096
1049.51/1052.79	c GLOBAL bounds - >= 233635 @ 942.355
1053.50/1056.76	c GLOBAL bounds - >= 233635 @ 946.135
1054.89/1058.11	c GLOBAL bounds - >= 233635 @ 947.325
1056.89/1060.14	c GLOBAL bounds - >= 233635 @ 949.186
1070.45/1073.73	c GLOBAL bounds - >= 233635 @ 962.543
1070.95/1074.21	c GLOBAL bounds - >= 233635 @ 962.861
1078.02/1081.38	c #Conflicts:       8000 | #Constraints:   15194832
1078.02/1081.38	c GLOBAL bounds - >= 233635 @ 969.818
1079.72/1083.03	c GLOBAL bounds - >= 233635 @ 971.292
1082.11/1085.49	c GLOBAL bounds - >= 233635 @ 973.564
1104.75/1108.10	c GLOBAL bounds - >= 233635 @ 995.931
1105.33/1108.77	c GLOBAL bounds - >= 233635 @ 996.392
1123.58/1127.07	c GLOBAL bounds - >= 245239 @ 1014.63
1124.07/1127.58	c GLOBAL bounds - >= 245239 @ 1015.13
1126.87/1130.39	c GLOBAL bounds - >= 245239 @ 1017.74
1126.97/1130.48	c GLOBAL bounds - >= 245239 @ 1017.81
1127.36/1130.82	c GLOBAL bounds - >= 245239 @ 1017.98
1127.36/1130.89	c GLOBAL bounds - >= 245239 @ 1018.02
1127.76/1131.23	c GLOBAL bounds - >= 245239 @ 1018.19
1127.86/1131.37	c GLOBAL bounds - >= 245239 @ 1018.29
1128.27/1131.71	c GLOBAL bounds - >= 245239 @ 1018.48
1128.36/1131.86	c GLOBAL bounds - >= 245239 @ 1018.58
1128.77/1132.20	c GLOBAL bounds - >= 245239 @ 1018.76
1128.86/1132.35	c GLOBAL bounds - >= 245239 @ 1018.86
1129.16/1132.69	c GLOBAL bounds - >= 245239 @ 1019.06
1129.36/1132.84	c GLOBAL bounds - >= 245239 @ 1019.17
1129.67/1133.18	c GLOBAL bounds - >= 245239 @ 1019.35
1129.86/1133.33	c GLOBAL bounds - >= 245239 @ 1019.46
1130.15/1133.66	c GLOBAL bounds - >= 245239 @ 1019.66
1130.36/1133.80	c GLOBAL bounds - >= 245239 @ 1019.76
1130.66/1134.15	c GLOBAL bounds - >= 245239 @ 1019.93
1130.76/1134.21	c GLOBAL bounds - >= 245239 @ 1019.97
1131.06/1134.57	c GLOBAL bounds - >= 245239 @ 1020.16
1131.35/1134.89	c GLOBAL bounds - >= 245239 @ 1020.34
1131.75/1135.22	c GLOBAL bounds - >= 245239 @ 1020.5
1133.65/1137.18	c GLOBAL bounds - >= 245239 @ 1022.31
1135.84/1139.35	c GLOBAL bounds - >= 245239 @ 1024.32
1138.03/1141.51	c GLOBAL bounds - >= 245239 @ 1026.31
1138.73/1142.21	c GLOBAL bounds - >= 245239 @ 1026.85
1140.13/1143.69	c GLOBAL bounds - >= 245239 @ 1028.16
1141.13/1144.69	c GLOBAL bounds - >= 245239 @ 1029
1142.12/1145.68	c GLOBAL bounds - >= 245239 @ 1029.82
1142.52/1146.06	c GLOBAL bounds - >= 245239 @ 1030.05
1144.12/1147.61	c GLOBAL bounds - >= 245239 @ 1031.42
1149.90/1153.45	c GLOBAL bounds - >= 245239 @ 1037.07
1150.60/1154.18	c GLOBAL bounds - >= 245239 @ 1037.64
1151.99/1155.51	c GLOBAL bounds - >= 245239 @ 1038.78
1160.17/1163.79	c GLOBAL bounds - >= 245239 @ 1046.84
1180.20/1183.84	c GLOBAL bounds - >= 245239 @ 1066.5
1198.95/1202.61	c #Conflicts:       9000 | #Constraints:   15580511
1198.95/1202.61	c GLOBAL bounds - >= 245239 @ 1084.96
1208.32/1212.08	c GLOBAL bounds - >= 245239 @ 1094.15
1239.62/1243.47	c INPROCESSING
1239.62/1243.47	c GARBAGE COLLECT
1239.62/1243.47	c GLOBAL bounds - >= 245239 @ 1125.07
1242.01/1245.80	c GLOBAL bounds - >= 245239 @ 1127.21
1243.70/1247.59	c GLOBAL bounds - >= 245239 @ 1128.83
1244.40/1248.21	c GLOBAL bounds - >= 245239 @ 1129.26
1245.30/1249.13	c GLOBAL bounds - >= 245239 @ 1130
1250.88/1254.70	c GLOBAL bounds - >= 245239 @ 1135.38
1318.46/1322.56	c GLOBAL bounds - >= 245239 @ 1202.79
1324.75/1328.86	c #Conflicts:      10000 | #Constraints:   15864380
1324.75/1328.86	c GLOBAL bounds - >= 245239 @ 1208.9
1356.95/1361.18	c GLOBAL bounds - >= 256724 @ 1241.1
1357.74/1361.90	c GLOBAL bounds - >= 256724 @ 1241.78
1358.73/1362.97	c GLOBAL bounds - >= 256724 @ 1242.66
1358.95/1363.11	c GLOBAL bounds - >= 256724 @ 1242.76
1360.24/1364.43	c GLOBAL bounds - >= 256724 @ 1243.89
1360.33/1364.58	c GLOBAL bounds - >= 256724 @ 1243.99
1360.84/1365.00	c GLOBAL bounds - >= 256724 @ 1244.22
1360.94/1365.14	c GLOBAL bounds - >= 256724 @ 1244.32
1361.33/1365.57	c GLOBAL bounds - >= 256724 @ 1244.56
1361.53/1365.71	c GLOBAL bounds - >= 256724 @ 1244.67
1361.94/1366.13	c GLOBAL bounds - >= 256724 @ 1244.91
1362.03/1366.28	c GLOBAL bounds - >= 256724 @ 1245.02
1362.53/1366.74	c GLOBAL bounds - >= 256724 @ 1245.3
1362.62/1366.88	c GLOBAL bounds - >= 256724 @ 1245.4
1363.12/1367.32	c GLOBAL bounds - >= 256724 @ 1245.67
1363.22/1367.46	c GLOBAL bounds - >= 256724 @ 1245.77
1363.63/1367.89	c GLOBAL bounds - >= 256724 @ 1246.02
1363.82/1368.04	c GLOBAL bounds - >= 256724 @ 1246.12
1364.23/1368.40	c GLOBAL bounds - >= 256724 @ 1246.31
1364.32/1368.55	c GLOBAL bounds - >= 256724 @ 1246.43
1364.73/1368.94	c GLOBAL bounds - >= 256724 @ 1246.66
1365.12/1369.37	c GLOBAL bounds - >= 256724 @ 1246.93
1368.11/1372.35	c GLOBAL bounds - >= 256724 @ 1249.74
1368.61/1372.83	c GLOBAL bounds - >= 256724 @ 1250.05
1369.11/1373.37	c GLOBAL bounds - >= 256724 @ 1250.42
1370.81/1375.02	c GLOBAL bounds - >= 256724 @ 1251.89
1371.30/1375.53	c GLOBAL bounds - >= 256724 @ 1252.25
1373.90/1378.16	c GLOBAL bounds - >= 256724 @ 1254.69
1375.29/1379.53	c GLOBAL bounds - >= 256724 @ 1255.88
1375.79/1380.09	c GLOBAL bounds - >= 256724 @ 1256.25
1377.58/1381.89	c GLOBAL bounds - >= 256724 @ 1257.86
1378.37/1382.65	c GLOBAL bounds - >= 256724 @ 1258.45
1379.57/1383.87	c GLOBAL bounds - >= 256724 @ 1259.51
1393.13/1397.48	c GLOBAL bounds - >= 256724 @ 1272.9
1461.21/1465.73	c #Conflicts:      11000 | #Constraints:   16505347
1461.21/1465.73	c GLOBAL bounds - >= 256724 @ 1340.68
1462.31/1466.84	c GLOBAL bounds - >= 256724 @ 1341.62
1486.93/1491.53	c GLOBAL bounds - >= 256724 @ 1366.03
1489.33/1493.98	c GLOBAL bounds - >= 256724 @ 1368.29
1492.22/1496.84	c GLOBAL bounds - >= 264149 @ 1371.14
1492.82/1497.41	c GLOBAL bounds - >= 264149 @ 1371.68
1493.21/1497.87	c GLOBAL bounds - >= 264149 @ 1371.95
1493.32/1497.96	c GLOBAL bounds - >= 264149 @ 1372.02
1493.71/1498.31	c GLOBAL bounds - >= 264149 @ 1372.2
1493.81/1498.44	c GLOBAL bounds - >= 264149 @ 1372.3
1494.12/1498.78	c GLOBAL bounds - >= 264149 @ 1372.47
1494.31/1498.92	c GLOBAL bounds - >= 264149 @ 1372.57
1494.61/1499.26	c GLOBAL bounds - >= 264149 @ 1372.73
1494.81/1499.40	c GLOBAL bounds - >= 264149 @ 1372.84
1495.11/1499.73	c GLOBAL bounds - >= 264149 @ 1373
1495.21/1499.87	c GLOBAL bounds - >= 264149 @ 1373.09
1495.60/1500.21	c GLOBAL bounds - >= 264149 @ 1373.26
1495.70/1500.35	c GLOBAL bounds - >= 264149 @ 1373.36
1496.01/1500.69	c GLOBAL bounds - >= 264149 @ 1373.53
1496.20/1500.81	c GLOBAL bounds - >= 264149 @ 1373.62
1496.51/1501.14	c GLOBAL bounds - >= 264149 @ 1373.81
1496.60/1501.28	c GLOBAL bounds - >= 264149 @ 1373.9
1497.00/1501.62	c GLOBAL bounds - >= 264149 @ 1374.09
1497.10/1501.76	c GLOBAL bounds - >= 264149 @ 1374.19
1497.41/1502.10	c GLOBAL bounds - >= 264149 @ 1374.36
1497.90/1502.55	c GLOBAL bounds - >= 264149 @ 1374.65
1498.60/1503.20	c GLOBAL bounds - >= 264149 @ 1375.16
1498.90/1503.59	c GLOBAL bounds - >= 264149 @ 1375.4
1499.51/1504.16	c GLOBAL bounds - >= 264149 @ 1375.81
1500.79/1505.46	c GLOBAL bounds - >= 264149 @ 1376.93
1502.79/1507.43	c GLOBAL bounds - >= 264149 @ 1378.74
1504.08/1508.77	c GLOBAL bounds - >= 264149 @ 1379.91
1520.34/1525.09	c GLOBAL bounds - >= 264149 @ 1395.98
1525.12/1529.88	c GLOBAL bounds - >= 264149 @ 1400.56
1540.17/1544.96	c GLOBAL bounds - >= 264149 @ 1415.36
1560.80/1565.65	c GLOBAL bounds - >= 264149 @ 1435.71
1564.09/1568.93	c GLOBAL bounds - >= 264149 @ 1438.78
1565.09/1569.96	c GLOBAL bounds - >= 267100 @ 1439.81
1565.59/1570.49	c GLOBAL bounds - >= 267100 @ 1440.29
1565.79/1570.64	c GLOBAL bounds - >= 267100 @ 1440.4
1565.89/1570.73	c GLOBAL bounds - >= 267100 @ 1440.46
1566.29/1571.18	c GLOBAL bounds - >= 267100 @ 1440.73
1566.49/1571.33	c GLOBAL bounds - >= 267100 @ 1440.85
1566.88/1571.78	c GLOBAL bounds - >= 267100 @ 1441.12
1567.08/1571.93	c GLOBAL bounds - >= 267100 @ 1441.23
1567.48/1572.36	c GLOBAL bounds - >= 267100 @ 1441.48
1567.68/1572.52	c GLOBAL bounds - >= 267100 @ 1441.6
1568.08/1572.95	c GLOBAL bounds - >= 267100 @ 1441.87
1568.19/1573.10	c GLOBAL bounds - >= 267100 @ 1441.98
1568.68/1573.51	c GLOBAL bounds - >= 267100 @ 1442.22
1568.78/1573.66	c GLOBAL bounds - >= 267100 @ 1442.33
1569.19/1574.06	c GLOBAL bounds - >= 267100 @ 1442.55
1569.38/1574.21	c GLOBAL bounds - >= 267100 @ 1442.67
1569.68/1574.59	c GLOBAL bounds - >= 267100 @ 1442.87
1569.88/1574.74	c GLOBAL bounds - >= 267100 @ 1442.99
1570.28/1575.12	c GLOBAL bounds - >= 267100 @ 1443.18
1570.38/1575.27	c GLOBAL bounds - >= 267100 @ 1443.29
1570.77/1575.64	c GLOBAL bounds - >= 267100 @ 1443.49
1570.88/1575.79	c GLOBAL bounds - >= 267100 @ 1443.6
1571.27/1576.15	c GLOBAL bounds - >= 267100 @ 1443.78
1571.67/1576.55	c GLOBAL bounds - >= 267100 @ 1444.02
1572.07/1576.97	c GLOBAL bounds - >= 267100 @ 1444.27
1572.66/1577.53	c GLOBAL bounds - >= 267100 @ 1444.66
1573.06/1577.95	c GLOBAL bounds - >= 267100 @ 1444.93
1573.56/1578.45	c GLOBAL bounds - >= 267100 @ 1445.28
1573.97/1578.89	c GLOBAL bounds - >= 267100 @ 1445.54
1574.56/1579.42	c GLOBAL bounds - >= 267100 @ 1445.92
1575.35/1580.28	c GLOBAL bounds - >= 267100 @ 1446.61
1578.55/1583.42	c GLOBAL bounds - >= 267100 @ 1449.54
1583.63/1588.51	c GLOBAL bounds - >= 267100 @ 1454.42
1632.58/1637.64	c #Conflicts:      12000 | #Constraints:   17218297
1632.58/1637.64	c INPROCESSING
1632.58/1637.64	c GARBAGE COLLECT
1632.58/1637.64	c GLOBAL bounds - >= 267100 @ 1502.99
1633.47/1638.59	c GLOBAL bounds - >= 267100 @ 1503.77
1637.16/1642.28	c GLOBAL bounds - >= 267100 @ 1507.28
1645.23/1650.36	c GLOBAL bounds - >= 267100 @ 1515.15
1681.32/1686.50	c GLOBAL bounds - >= 267100 @ 1550.98
1767.84/1773.34	c #Conflicts:      13000 | #Constraints:   17372363
1767.84/1773.34	c GLOBAL bounds - >= 280789 @ 1637.44
1768.64/1774.11	c GLOBAL bounds - >= 280789 @ 1638.18
1772.33/1777.81	c GLOBAL bounds - >= 280789 @ 1641.7
1772.33/1777.88	c GLOBAL bounds - >= 280789 @ 1641.74
1772.72/1778.24	c GLOBAL bounds - >= 280789 @ 1641.93
1772.83/1778.36	c GLOBAL bounds - >= 280789 @ 1642.02
1773.22/1778.71	c GLOBAL bounds - >= 280789 @ 1642.19
1773.33/1778.83	c GLOBAL bounds - >= 280789 @ 1642.27
1773.63/1779.17	c GLOBAL bounds - >= 280789 @ 1642.45
1773.72/1779.29	c GLOBAL bounds - >= 280789 @ 1642.53
1774.13/1779.63	c GLOBAL bounds - >= 280789 @ 1642.71
1774.23/1779.77	c GLOBAL bounds - >= 280789 @ 1642.81
1774.63/1780.13	c GLOBAL bounds - >= 280789 @ 1643
1774.72/1780.28	c GLOBAL bounds - >= 280789 @ 1643.12
1775.12/1780.63	c GLOBAL bounds - >= 280789 @ 1643.29
1775.22/1780.77	c GLOBAL bounds - >= 280789 @ 1643.4
1775.62/1781.11	c GLOBAL bounds - >= 280789 @ 1643.57
1775.72/1781.26	c GLOBAL bounds - >= 280789 @ 1643.68
1776.11/1781.63	c GLOBAL bounds - >= 280789 @ 1643.88
1776.21/1781.77	c GLOBAL bounds - >= 280789 @ 1643.99
1776.62/1782.12	c GLOBAL bounds - >= 280789 @ 1644.17
1777.01/1782.54	c GLOBAL bounds - >= 280789 @ 1644.44
1777.42/1782.98	c GLOBAL bounds - >= 280789 @ 1644.73
1777.81/1783.31	c GLOBAL bounds - >= 280789 @ 1644.91
1778.11/1783.68	c GLOBAL bounds - >= 280789 @ 1645.14
1778.81/1784.31	c GLOBAL bounds - >= 280789 @ 1645.6
1780.81/1786.39	c GLOBAL bounds - >= 280789 @ 1647.52
1781.20/1786.80	c GLOBAL bounds - >= 280789 @ 1647.77
1781.70/1787.20	c GLOBAL bounds - >= 280789 @ 1648.03
1782.10/1787.61	c GLOBAL bounds - >= 280789 @ 1648.29
1782.50/1788.01	c GLOBAL bounds - >= 280789 @ 1648.53
1785.09/1790.65	c GLOBAL bounds - >= 280789 @ 1651
1787.38/1792.94	c GLOBAL bounds - >= 280789 @ 1653.12
1790.27/1795.87	c GLOBAL bounds - >= 280789 @ 1655.89
1791.37/1796.93	c GLOBAL bounds - >= 280789 @ 1656.8
1791.97/1797.54	c GLOBAL bounds - >= 280789 @ 1657.24
1793.47/1799.08	c GLOBAL bounds - >= 280789 @ 1658.62
1794.76/1800.35	c GLOBAL bounds - >= 280789 @ 1659.72
1795.56/1801.19	c GLOBAL bounds - >= 280789 @ 1660.39
1796.35/1801.94	c GLOBAL bounds - >= 280789 @ 1660.98
1808.01/1813.67	c GLOBAL bounds - >= 280789 @ 1672.5
1826.85/1832.50	c GLOBAL bounds - >= 280789 @ 1691.09
1836.44/1842.12	c GLOBAL bounds - >= 280789 @ 1700.49
1837.13/1842.83	c GLOBAL bounds - >= 280789 @ 1701.02
1837.83/1843.54	c GLOBAL bounds - >= 280789 @ 1701.55
1853.57/1859.35	c #Conflicts:      14000 | #Constraints:   17714273
1853.57/1859.35	c GLOBAL bounds - >= 280789 @ 1717.1
1854.66/1860.45	c GLOBAL bounds - >= 280789 @ 1718.01
1855.87/1861.68	c GLOBAL bounds - >= 280789 @ 1719.06
1881.78/1887.69	c GLOBAL bounds - >= 280789 @ 1744.78
1899.43/1905.38	c GLOBAL bounds - >= 280789 @ 1762.22
1902.13/1908.03	c GLOBAL bounds - >= 280789 @ 1764.69
1964.72/1970.87	c GLOBAL bounds - >= 286385 @ 1827.21
1965.22/1971.37	c GLOBAL bounds - >= 286385 @ 1827.67
1989.45/1995.60	c GLOBAL bounds - >= 286385 @ 1851.53
1989.54/1995.75	c GLOBAL bounds - >= 286385 @ 1851.65
1990.15/1996.32	c GLOBAL bounds - >= 286385 @ 1852.03
1990.25/1996.47	c GLOBAL bounds - >= 286385 @ 1852.15
1990.64/1996.84	c GLOBAL bounds - >= 286385 @ 1852.36
1990.74/1996.99	c GLOBAL bounds - >= 286385 @ 1852.48
1991.14/1997.36	c GLOBAL bounds - >= 286385 @ 1852.67
1991.34/1997.50	c GLOBAL bounds - >= 286385 @ 1852.76
1991.64/1997.86	c GLOBAL bounds - >= 286385 @ 1852.95
1991.84/1998.01	c GLOBAL bounds - >= 286385 @ 1853.06
1992.14/1998.37	c GLOBAL bounds - >= 286385 @ 1853.25
1992.34/1998.51	c GLOBAL bounds - >= 286385 @ 1853.35
1992.63/1998.87	c GLOBAL bounds - >= 286385 @ 1853.54
1992.84/1999.01	c GLOBAL bounds - >= 286385 @ 1853.64
1993.14/1999.37	c GLOBAL bounds - >= 286385 @ 1853.83
1993.33/1999.51	c GLOBAL bounds - >= 286385 @ 1853.94
1993.64/1999.84	c GLOBAL bounds - >= 286385 @ 1854.09
1993.74/1999.98	c GLOBAL bounds - >= 286385 @ 1854.2
1994.13/2000.33	c GLOBAL bounds - >= 286385 @ 1854.4
1994.63/2000.83	c GLOBAL bounds - >= 286385 @ 1854.73
1995.03/2001.27	c GLOBAL bounds - >= 286385 @ 1855.01
1995.43/2001.61	c GLOBAL bounds - >= 286385 @ 1855.18
1995.93/2002.12	c GLOBAL bounds - >= 286385 @ 1855.53
1996.23/2002.45	c GLOBAL bounds - >= 286385 @ 1855.73
2029.32/2035.61	c #Conflicts:      15000 | #Constraints:   17995241
2029.32/2035.61	c INPROCESSING
2029.32/2035.61	c GARBAGE COLLECT
2029.32/2035.61	c GLOBAL bounds - >= 286385 @ 1888.33
2030.11/2036.47	c GLOBAL bounds - >= 286385 @ 1889.05
2030.92/2037.27	c GLOBAL bounds - >= 286385 @ 1889.7
2031.31/2037.67	c GLOBAL bounds - >= 286385 @ 1889.94
2031.82/2038.15	c GLOBAL bounds - >= 286385 @ 1890.27
2032.31/2038.61	c GLOBAL bounds - >= 286385 @ 1890.58
2032.62/2039.00	c GLOBAL bounds - >= 286385 @ 1890.81
2033.01/2039.39	c GLOBAL bounds - >= 286385 @ 1891.05
2033.51/2039.80	c GLOBAL bounds - >= 286385 @ 1891.3
2034.21/2040.56	c GLOBAL bounds - >= 286385 @ 1891.9
2034.61/2040.97	c GLOBAL bounds - >= 286385 @ 1892.15
2035.31/2041.61	c GLOBAL bounds - >= 286385 @ 1892.65
2039.49/2045.87	c GLOBAL bounds - >= 286385 @ 1896.73
2041.88/2048.21	c GLOBAL bounds - >= 286385 @ 1898.9
2043.37/2049.72	c GLOBAL bounds - >= 286385 @ 1900.23
2070.40/2076.85	c GLOBAL bounds - >= 286385 @ 1927.1
2145.19/2151.82	c #Conflicts:      16000 | #Constraints:   18149364
2145.19/2151.82	c GLOBAL bounds - >= 294894 @ 2001.78
2145.89/2152.58	c GLOBAL bounds - >= 294894 @ 2002.5
2146.08/2152.72	c GLOBAL bounds - >= 294894 @ 2002.6
2146.08/2152.79	c GLOBAL bounds - >= 294894 @ 2002.64
2147.38/2154.02	c GLOBAL bounds - >= 294894 @ 2003.68
2147.48/2154.17	c GLOBAL bounds - >= 294894 @ 2003.8
2148.27/2154.94	c GLOBAL bounds - >= 294894 @ 2004.4
2148.38/2155.09	c GLOBAL bounds - >= 294894 @ 2004.5
2148.87/2155.52	c GLOBAL bounds - >= 294894 @ 2004.74
2148.98/2155.67	c GLOBAL bounds - >= 294894 @ 2004.85
2149.38/2156.08	c GLOBAL bounds - >= 294894 @ 2005.08
2149.58/2156.22	c GLOBAL bounds - >= 294894 @ 2005.19
2149.97/2156.62	c GLOBAL bounds - >= 294894 @ 2005.42
2150.08/2156.77	c GLOBAL bounds - >= 294894 @ 2005.54
2150.47/2157.17	c GLOBAL bounds - >= 294894 @ 2005.77
2150.67/2157.32	c GLOBAL bounds - >= 294894 @ 2005.88
2151.07/2157.71	c GLOBAL bounds - >= 294894 @ 2006.09
2151.17/2157.86	c GLOBAL bounds - >= 294894 @ 2006.21
2151.57/2158.25	c GLOBAL bounds - >= 294894 @ 2006.42
2151.77/2158.40	c GLOBAL bounds - >= 294894 @ 2006.52
2152.07/2158.79	c GLOBAL bounds - >= 294894 @ 2006.75
2152.27/2158.94	c GLOBAL bounds - >= 294894 @ 2006.86
2152.67/2159.32	c GLOBAL bounds - >= 294894 @ 2007.07
2152.96/2159.69	c GLOBAL bounds - >= 294894 @ 2007.29
2153.37/2160.06	c GLOBAL bounds - >= 294894 @ 2007.49
2153.76/2160.43	c GLOBAL bounds - >= 294894 @ 2007.7
2154.16/2160.89	c GLOBAL bounds - >= 294894 @ 2008
2154.76/2161.45	c GLOBAL bounds - >= 294894 @ 2008.41
2155.26/2161.99	c GLOBAL bounds - >= 294894 @ 2008.8
2156.15/2162.86	c GLOBAL bounds - >= 294894 @ 2009.5
2156.65/2163.35	c GLOBAL bounds - >= 294894 @ 2009.83
2157.16/2163.83	c GLOBAL bounds - >= 294894 @ 2010.15
2162.34/2169.05	c GLOBAL bounds - >= 294894 @ 2015.16
2170.61/2177.38	c GLOBAL bounds - >= 294894 @ 2023.31
2181.98/2188.70	c GLOBAL bounds - >= 294894 @ 2034.41
2182.78/2189.51	c GLOBAL bounds - >= 294894 @ 2035.05
2183.68/2190.42	c GLOBAL bounds - >= 294894 @ 2035.78
2185.28/2192.09	c GLOBAL bounds - >= 294894 @ 2037.28
2188.37/2195.19	c GLOBAL bounds - >= 294894 @ 2040.2
2311.61/2318.70	c #Conflicts:      17000 | #Constraints:   18611709
2311.61/2318.70	c GLOBAL bounds - >= 303075 @ 2163.28
2312.21/2319.30	c GLOBAL bounds - >= 303075 @ 2163.84
2312.31/2319.45	c GLOBAL bounds - >= 303075 @ 2163.94
2312.41/2319.59	c GLOBAL bounds - >= 303075 @ 2164.06
2313.71/2320.87	c GLOBAL bounds - >= 303075 @ 2165.13
2313.91/2321.01	c GLOBAL bounds - >= 303075 @ 2165.24
2314.30/2321.48	c GLOBAL bounds - >= 303075 @ 2165.5
2314.51/2321.62	c GLOBAL bounds - >= 303075 @ 2165.6
2314.91/2322.07	c GLOBAL bounds - >= 303075 @ 2165.87
2315.10/2322.22	c GLOBAL bounds - >= 303075 @ 2165.98
2315.50/2322.63	c GLOBAL bounds - >= 303075 @ 2166.21
2315.60/2322.78	c GLOBAL bounds - >= 303075 @ 2166.32
2316.10/2323.23	c GLOBAL bounds - >= 303075 @ 2166.56
2316.20/2323.38	c GLOBAL bounds - >= 303075 @ 2166.67
2316.60/2323.79	c GLOBAL bounds - >= 303075 @ 2166.89
2316.80/2323.93	c GLOBAL bounds - >= 303075 @ 2167
2317.20/2324.38	c GLOBAL bounds - >= 303075 @ 2167.26
2317.40/2324.53	c GLOBAL bounds - >= 303075 @ 2167.37
2317.79/2324.96	c GLOBAL bounds - >= 303075 @ 2167.62
2318.00/2325.11	c GLOBAL bounds - >= 303075 @ 2167.72
2318.30/2325.48	c GLOBAL bounds - >= 303075 @ 2167.9
2318.49/2325.62	c GLOBAL bounds - >= 303075 @ 2168.01
2318.90/2326.02	c GLOBAL bounds - >= 303075 @ 2168.23
2319.59/2326.72	c GLOBAL bounds - >= 303075 @ 2168.78
2320.29/2327.41	c GLOBAL bounds - >= 303075 @ 2169.31
2320.78/2327.93	c GLOBAL bounds - >= 303075 @ 2169.66
2325.27/2332.49	c GLOBAL bounds - >= 303075 @ 2174.02
2325.88/2333.07	c GLOBAL bounds - >= 303075 @ 2174.44
2337.14/2344.30	c GLOBAL bounds - >= 303075 @ 2185.45
2353.49/2360.75	c GLOBAL bounds - >= 303075 @ 2201.69
2370.15/2377.42	c GLOBAL bounds - >= 303075 @ 2218.12
2519.01/2526.75	c #Conflicts:      18000 | #Constraints:   19010092
2519.01/2526.75	c GLOBAL bounds - >= 303075 @ 2366.36
2541.85/2549.61	c GLOBAL bounds - >= 303075 @ 2388.93
2548.13/2555.96	c GLOBAL bounds - >= 306329 @ 2395.25
2548.63/2556.41	c GLOBAL bounds - >= 306329 @ 2395.66
2548.73/2556.55	c GLOBAL bounds - >= 306329 @ 2395.75
2550.73/2558.57	c GLOBAL bounds - >= 306329 @ 2397.58
2550.93/2558.71	c GLOBAL bounds - >= 306329 @ 2397.68
2551.23/2559.09	c GLOBAL bounds - >= 306329 @ 2397.89
2551.43/2559.24	c GLOBAL bounds - >= 306329 @ 2398
2551.82/2559.61	c GLOBAL bounds - >= 306329 @ 2398.2
2551.92/2559.76	c GLOBAL bounds - >= 306329 @ 2398.31
2552.33/2560.12	c GLOBAL bounds - >= 306329 @ 2398.5
2552.42/2560.27	c GLOBAL bounds - >= 306329 @ 2398.61
2552.82/2560.62	c GLOBAL bounds - >= 306329 @ 2398.81
2552.92/2560.77	c GLOBAL bounds - >= 306329 @ 2398.93
2553.32/2561.12	c GLOBAL bounds - >= 306329 @ 2399.11
2553.41/2561.27	c GLOBAL bounds - >= 306329 @ 2399.21
2553.81/2561.62	c GLOBAL bounds - >= 306329 @ 2399.39
2553.92/2561.76	c GLOBAL bounds - >= 306329 @ 2399.51
2554.32/2562.12	c GLOBAL bounds - >= 306329 @ 2399.7
2554.41/2562.26	c GLOBAL bounds - >= 306329 @ 2399.81
2554.81/2562.62	c GLOBAL bounds - >= 306329 @ 2399.99
2554.91/2562.76	c GLOBAL bounds - >= 306329 @ 2400.1
2555.32/2563.12	c GLOBAL bounds - >= 306329 @ 2400.29
2555.71/2563.52	c GLOBAL bounds - >= 306329 @ 2400.54
2556.61/2564.42	c GLOBAL bounds - >= 306329 @ 2401.26
2558.80/2566.64	c #Conflicts:      19000 | #Constraints:   19139846
2558.80/2566.64	c GLOBAL bounds - >= 306329 @ 2403.31
2562.89/2570.79	c GLOBAL bounds - >= 306329 @ 2407.25
2564.09/2571.95	c GLOBAL bounds - >= 306329 @ 2408.25
2564.79/2572.68	c GLOBAL bounds - >= 306329 @ 2408.8
2565.19/2573.10	c GLOBAL bounds - >= 306329 @ 2409.07
2566.19/2574.03	c GLOBAL bounds - >= 306329 @ 2409.83
2566.78/2574.66	c GLOBAL bounds - >= 306329 @ 2410.3
2567.68/2575.56	c GLOBAL bounds - >= 306329 @ 2411.04
2569.67/2577.52	c GLOBAL bounds - >= 306329 @ 2412.8
2573.06/2580.95	c GLOBAL bounds - >= 306329 @ 2416.02
2578.35/2586.24	c GLOBAL bounds - >= 306329 @ 2421.07
2580.25/2588.16	c GLOBAL bounds - >= 306329 @ 2422.82
2582.94/2590.83	c GLOBAL bounds - >= 306329 @ 2425.31
2584.33/2592.21	c GLOBAL bounds - >= 306329 @ 2426.51
2585.13/2593.02	c GLOBAL bounds - >= 306329 @ 2427.16
2595.50/2603.47	c GLOBAL bounds - >= 306329 @ 2437.35
2596.11/2604.00	c GLOBAL bounds - >= 306329 @ 2437.72
2598.50/2606.44	c GLOBAL bounds - >= 306329 @ 2439.98
2599.00/2607.00	c GLOBAL bounds - >= 306329 @ 2440.37
2602.09/2610.02	c GLOBAL bounds - >= 306329 @ 2443.19
2603.19/2611.18	c GLOBAL bounds - >= 306329 @ 2444.17
2611.76/2619.73	c GLOBAL bounds - >= 306329 @ 2452.46
2616.06/2624.02	c GLOBAL bounds - >= 306329 @ 2456.53
2620.53/2628.57	c GLOBAL bounds - >= 306329 @ 2460.86
2625.92/2633.91	c GLOBAL bounds - >= 306329 @ 2466.01
2667.80/2675.92	c GLOBAL bounds - >= 317713 @ 2507.72
2668.51/2676.60	c GLOBAL bounds - >= 317713 @ 2508.36
2674.08/2682.23	c GLOBAL bounds - >= 317713 @ 2513.79
2674.19/2682.37	c GLOBAL bounds - >= 317713 @ 2513.89
2674.69/2682.81	c GLOBAL bounds - >= 317713 @ 2514.15
2674.79/2682.96	c GLOBAL bounds - >= 317713 @ 2514.26
2675.18/2683.39	c GLOBAL bounds - >= 317713 @ 2514.51
2675.38/2683.53	c GLOBAL bounds - >= 317713 @ 2514.61
2675.78/2683.95	c GLOBAL bounds - >= 317713 @ 2514.85
2675.89/2684.09	c GLOBAL bounds - >= 317713 @ 2514.95
2676.29/2684.47	c GLOBAL bounds - >= 317713 @ 2515.17
2676.48/2684.61	c GLOBAL bounds - >= 317713 @ 2515.29
2676.78/2684.99	c GLOBAL bounds - >= 317713 @ 2515.5
2676.98/2685.13	c GLOBAL bounds - >= 317713 @ 2515.61
2677.28/2685.46	c GLOBAL bounds - >= 317713 @ 2515.77
2677.48/2685.61	c GLOBAL bounds - >= 317713 @ 2515.86
2677.78/2685.98	c GLOBAL bounds - >= 317713 @ 2516.07
2677.98/2686.12	c GLOBAL bounds - >= 317713 @ 2516.17
2678.38/2686.50	c GLOBAL bounds - >= 317713 @ 2516.38
2678.48/2686.64	c GLOBAL bounds - >= 317713 @ 2516.47
2678.88/2687.03	c GLOBAL bounds - >= 317713 @ 2516.69
2679.38/2687.57	c GLOBAL bounds - >= 317713 @ 2517.06
2679.77/2687.99	c GLOBAL bounds - >= 317713 @ 2517.34
2683.36/2691.53	c GLOBAL bounds - >= 317713 @ 2520.67
2685.26/2693.41	c GLOBAL bounds - >= 317713 @ 2522.35
2686.06/2694.29	c GLOBAL bounds - >= 317713 @ 2523.07
2686.75/2694.91	c GLOBAL bounds - >= 317713 @ 2523.52
2687.55/2695.71	c GLOBAL bounds - >= 317713 @ 2524.17
2688.05/2696.23	c GLOBAL bounds - >= 317713 @ 2524.53
2695.53/2703.72	c GLOBAL bounds - >= 317713 @ 2531.77
2706.90/2715.14	c #Conflicts:      20000 | #Constraints:   19744649
2706.90/2715.14	c GLOBAL bounds - >= 317713 @ 2542.9
2708.70/2716.92	c GLOBAL bounds - >= 317713 @ 2544.49
2710.80/2719.10	c GLOBAL bounds - >= 317713 @ 2546.49
2729.63/2737.92	c GLOBAL bounds - >= 317713 @ 2564.86
2733.42/2741.79	c GLOBAL bounds - >= 317713 @ 2568.51
2735.12/2743.46	c GLOBAL bounds - >= 317713 @ 2569.98
2749.48/2757.85	c GLOBAL bounds - >= 317713 @ 2584.08
2782.48/2790.95	c GLOBAL bounds - >= 317713 @ 2616.7
2829.75/2838.30	c GLOBAL bounds - >= 317713 @ 2663.52
2830.45/2839.03	c GLOBAL bounds - >= 317713 @ 2664.06
2831.14/2839.76	c GLOBAL bounds - >= 317713 @ 2664.61
2842.21/2850.85	c #Conflicts:      21000 | #Constraints:   19994072
2842.21/2850.85	c GLOBAL bounds - >= 317713 @ 2675.47
2843.61/2852.28	c GLOBAL bounds - >= 317713 @ 2676.7
2864.46/2873.15	c GLOBAL bounds - >= 317957 @ 2697.47
2864.86/2873.51	c GLOBAL bounds - >= 317957 @ 2697.78
2864.95/2873.65	c GLOBAL bounds - >= 317957 @ 2697.89
2865.15/2873.80	c GLOBAL bounds - >= 317957 @ 2697.99
2865.26/2873.94	c GLOBAL bounds - >= 317957 @ 2698.11
2865.36/2874.08	c GLOBAL bounds - >= 317957 @ 2698.2
2865.56/2874.22	c GLOBAL bounds - >= 317957 @ 2698.32
2866.15/2874.85	c GLOBAL bounds - >= 317957 @ 2698.75
2866.25/2875.00	c GLOBAL bounds - >= 317957 @ 2698.86
2868.15/2876.82	c GLOBAL bounds - >= 317957 @ 2700.46
2868.24/2876.97	c GLOBAL bounds - >= 317957 @ 2700.57
2868.85/2877.50	c GLOBAL bounds - >= 317957 @ 2700.91
2868.94/2877.64	c GLOBAL bounds - >= 317957 @ 2701.01
2869.45/2878.13	c GLOBAL bounds - >= 317957 @ 2701.3
2869.54/2878.27	c GLOBAL bounds - >= 317957 @ 2701.42
2870.04/2878.72	c GLOBAL bounds - >= 317957 @ 2701.69
2870.15/2878.87	c GLOBAL bounds - >= 317957 @ 2701.8
2870.64/2879.31	c GLOBAL bounds - >= 317957 @ 2702.07
2870.74/2879.46	c GLOBAL bounds - >= 317957 @ 2702.18
2871.13/2879.89	c GLOBAL bounds - >= 317957 @ 2702.42
2871.35/2880.04	c GLOBAL bounds - >= 317957 @ 2702.53
2871.73/2880.45	c GLOBAL bounds - >= 317957 @ 2702.78
2871.94/2880.61	c GLOBAL bounds - >= 317957 @ 2702.89
2872.34/2881.02	c GLOBAL bounds - >= 317957 @ 2703.13
2872.45/2881.17	c GLOBAL bounds - >= 317957 @ 2703.24
2872.83/2881.58	c GLOBAL bounds - >= 317957 @ 2703.48
2873.33/2882.07	c GLOBAL bounds - >= 317957 @ 2703.81
2873.83/2882.59	c GLOBAL bounds - >= 317957 @ 2704.15
2874.33/2883.09	c GLOBAL bounds - >= 317957 @ 2704.48
2874.93/2883.60	c GLOBAL bounds - >= 317957 @ 2704.81
2875.43/2884.19	c GLOBAL bounds - >= 317957 @ 2705.24
2878.02/2886.72	c GLOBAL bounds - >= 317957 @ 2707.59
2880.12/2888.82	c GLOBAL bounds - >= 317957 @ 2709.51
2885.41/2894.16	c GLOBAL bounds - >= 317957 @ 2714.62
2887.20/2895.94	c GLOBAL bounds - >= 317957 @ 2716.22
2891.88/2900.67	c GLOBAL bounds - >= 317957 @ 2720.73
2893.48/2902.21	c GLOBAL bounds - >= 317957 @ 2722.08
2927.78/2936.65	c GLOBAL bounds - >= 317957 @ 2756.05
2930.07/2938.95	c GLOBAL bounds - >= 317957 @ 2758.16
2931.18/2940.02	c GLOBAL bounds - >= 317957 @ 2759.05
3020.12/3029.27	c GLOBAL bounds - >= 317957 @ 2847.47
3030.19/3039.37	c GLOBAL bounds - >= 317957 @ 2857.34
3093.91/3103.29	c #Conflicts:      22000 | #Constraints:   20568011
3093.91/3103.29	c GLOBAL bounds - >= 322867 @ 2920.93
3094.50/3103.84	c GLOBAL bounds - >= 322867 @ 2921.43
3094.90/3104.26	c GLOBAL bounds - >= 322867 @ 2921.68
3095.00/3104.36	c GLOBAL bounds - >= 322867 @ 2921.75
3095.40/3104.72	c GLOBAL bounds - >= 322867 @ 2921.93
3095.50/3104.86	c GLOBAL bounds - >= 322867 @ 2922.03
3095.90/3105.23	c GLOBAL bounds - >= 322867 @ 2922.23
3096.00/3105.37	c GLOBAL bounds - >= 322867 @ 2922.33
3096.40/3105.74	c GLOBAL bounds - >= 322867 @ 2922.52
3096.49/3105.88	c GLOBAL bounds - >= 322867 @ 2922.61
3096.90/3106.25	c GLOBAL bounds - >= 322867 @ 2922.82
3096.99/3106.39	c GLOBAL bounds - >= 322867 @ 2922.92
3097.40/3106.75	c GLOBAL bounds - >= 322867 @ 2923.12
3097.50/3106.89	c GLOBAL bounds - >= 322867 @ 2923.21
3097.89/3107.28	c GLOBAL bounds - >= 322867 @ 2923.44
3098.09/3107.42	c GLOBAL bounds - >= 322867 @ 2923.55
3098.39/3107.77	c GLOBAL bounds - >= 322867 @ 2923.74
3098.60/3107.91	c GLOBAL bounds - >= 322867 @ 2923.84
3098.90/3108.22	c GLOBAL bounds - >= 322867 @ 2924
3098.99/3108.36	c GLOBAL bounds - >= 322867 @ 2924.1
3099.39/3108.71	c GLOBAL bounds - >= 322867 @ 2924.29
3100.09/3109.48	c GLOBAL bounds - >= 322867 @ 2924.89
3100.49/3109.83	c GLOBAL bounds - >= 322867 @ 2925.09
3100.98/3110.35	c GLOBAL bounds - >= 322867 @ 2925.46
3101.39/3110.75	c GLOBAL bounds - >= 322867 @ 2925.7
3101.88/3111.23	c GLOBAL bounds - >= 322867 @ 2926.01
3102.38/3111.74	c GLOBAL bounds - >= 322867 @ 2926.37
3104.28/3113.63	c GLOBAL bounds - >= 322867 @ 2928.08
3104.78/3114.12	c GLOBAL bounds - >= 322867 @ 2928.42
3105.18/3114.51	c GLOBAL bounds - >= 322867 @ 2928.65
3105.87/3115.22	c GLOBAL bounds - >= 322867 @ 2929.21
3106.57/3116.00	c GLOBAL bounds - >= 322867 @ 2929.82
3107.47/3116.84	c GLOBAL bounds - >= 322867 @ 2930.49
3107.97/3117.31	c GLOBAL bounds - >= 322867 @ 2930.8
3108.37/3117.70	c GLOBAL bounds - >= 322867 @ 2931.05
3108.77/3118.15	c GLOBAL bounds - >= 322867 @ 2931.33
3109.17/3118.54	c GLOBAL bounds - >= 322867 @ 2931.57
3110.16/3119.56	c GLOBAL bounds - >= 322867 @ 2932.42
3110.56/3119.98	c GLOBAL bounds - >= 322867 @ 2932.71
3111.16/3120.51	c GLOBAL bounds - >= 322867 @ 2933.07
3112.26/3121.63	c GLOBAL bounds - >= 322867 @ 2934.01
3113.76/3123.11	c GLOBAL bounds - >= 322867 @ 2935.31
3118.14/3127.59	c GLOBAL bounds - >= 322867 @ 2939.55
3121.74/3131.16	c GLOBAL bounds - >= 322867 @ 2942.91
3123.43/3132.89	c GLOBAL bounds - >= 322867 @ 2944.46
3139.78/3149.27	c GLOBAL bounds - >= 322867 @ 2960.6
3141.58/3151.01	c GLOBAL bounds - >= 322867 @ 2962.14
3276.69/3286.58	c #Conflicts:      23000 | #Constraints:   20784048
3276.69/3286.58	c GLOBAL bounds - >= 326815 @ 3096.96
3277.39/3287.20	c GLOBAL bounds - >= 326815 @ 3097.53
3277.48/3287.34	c GLOBAL bounds - >= 326815 @ 3097.63
3277.59/3287.48	c GLOBAL bounds - >= 326815 @ 3097.72
3277.78/3287.62	c GLOBAL bounds - >= 326815 @ 3097.83
3277.88/3287.75	c GLOBAL bounds - >= 326815 @ 3097.92
3277.99/3287.85	c GLOBAL bounds - >= 326815 @ 3097.98
3278.59/3288.49	c GLOBAL bounds - >= 326815 @ 3098.44
3278.78/3288.62	c GLOBAL bounds - >= 326815 @ 3098.54
3281.38/3291.28	c GLOBAL bounds - >= 326815 @ 3101.02
3281.57/3291.43	c GLOBAL bounds - >= 326815 @ 3101.13
3281.97/3291.82	c GLOBAL bounds - >= 326815 @ 3101.36
3282.07/3291.96	c GLOBAL bounds - >= 326815 @ 3101.46
3282.47/3292.33	c GLOBAL bounds - >= 326815 @ 3101.65
3282.57/3292.47	c GLOBAL bounds - >= 326815 @ 3101.75
3282.87/3292.80	c GLOBAL bounds - >= 326815 @ 3101.89
3283.07/3292.94	c GLOBAL bounds - >= 326815 @ 3102.01
3283.47/3293.31	c GLOBAL bounds - >= 326815 @ 3102.2
3283.57/3293.46	c GLOBAL bounds - >= 326815 @ 3102.3
3283.97/3293.85	c GLOBAL bounds - >= 326815 @ 3102.52
3284.07/3293.99	c GLOBAL bounds - >= 326815 @ 3102.63
3284.47/3294.37	c GLOBAL bounds - >= 326815 @ 3102.84
3284.67/3294.51	c GLOBAL bounds - >= 326815 @ 3102.95
3284.97/3294.89	c GLOBAL bounds - >= 326815 @ 3103.15
3285.17/3295.03	c GLOBAL bounds - >= 326815 @ 3103.24
3285.56/3295.40	c GLOBAL bounds - >= 326815 @ 3103.45
3287.66/3297.53	c GLOBAL bounds - >= 326815 @ 3105.4
3288.36/3298.26	c GLOBAL bounds - >= 326815 @ 3105.97
3289.06/3298.91	c GLOBAL bounds - >= 326815 @ 3106.43
3289.55/3299.45	c GLOBAL bounds - >= 326815 @ 3106.81
3294.44/3304.37	c GLOBAL bounds - >= 326815 @ 3111.53
3297.33/3307.25	c GLOBAL bounds - >= 326815 @ 3114.2
3298.03/3307.91	c GLOBAL bounds - >= 326815 @ 3114.68
3298.63/3308.58	c GLOBAL bounds - >= 326815 @ 3115.19
3303.52/3313.49	c GLOBAL bounds - >= 326815 @ 3119.84
3304.71/3314.68	c GLOBAL bounds - >= 326815 @ 3120.84
3311.99/3321.90	c GLOBAL bounds - >= 326815 @ 3127.84
3335.83/3345.86	c GLOBAL bounds - >= 326815 @ 3151.51
3336.72/3346.74	c GLOBAL bounds - >= 326815 @ 3152.22
3337.91/3347.97	c GLOBAL bounds - >= 326815 @ 3153.27
3339.31/3349.33	c GLOBAL bounds - >= 326815 @ 3154.44
3351.47/3361.51	c GLOBAL bounds - >= 326815 @ 3166.39
3377.40/3387.60	c GLOBAL bounds - >= 326936 @ 3192.37
3377.90/3388.02	c GLOBAL bounds - >= 326936 @ 3192.76
3378.00/3388.17	c GLOBAL bounds - >= 326936 @ 3192.86
3378.20/3388.31	c GLOBAL bounds - >= 326936 @ 3192.97
3378.30/3388.46	c GLOBAL bounds - >= 326936 @ 3193.07
3378.50/3388.60	c GLOBAL bounds - >= 326936 @ 3193.17
3378.60/3388.75	c GLOBAL bounds - >= 326936 @ 3193.28
3378.80/3388.90	c GLOBAL bounds - >= 326936 @ 3193.39
3378.91/3389.04	c GLOBAL bounds - >= 326936 @ 3193.49
3379.00/3389.19	c GLOBAL bounds - >= 326936 @ 3193.6
3379.20/3389.33	c GLOBAL bounds - >= 326936 @ 3193.71
3379.30/3389.48	c GLOBAL bounds - >= 326936 @ 3193.82
3379.50/3389.63	c GLOBAL bounds - >= 326936 @ 3193.92
3382.19/3392.35	c GLOBAL bounds - >= 326936 @ 3196.44
3382.39/3392.50	c GLOBAL bounds - >= 326936 @ 3196.55
3383.09/3393.21	c GLOBAL bounds - >= 326936 @ 3197.09
3383.19/3393.36	c GLOBAL bounds - >= 326936 @ 3197.2
3383.79/3393.90	c GLOBAL bounds - >= 326936 @ 3197.55
3383.89/3394.04	c GLOBAL bounds - >= 326936 @ 3197.66
3384.29/3394.47	c GLOBAL bounds - >= 326936 @ 3197.91
3384.48/3394.62	c GLOBAL bounds - >= 326936 @ 3198.02
3384.89/3395.04	c GLOBAL bounds - >= 326936 @ 3198.29
3384.99/3395.19	c GLOBAL bounds - >= 326936 @ 3198.39
3385.39/3395.58	c GLOBAL bounds - >= 326936 @ 3198.62
3385.58/3395.73	c GLOBAL bounds - >= 326936 @ 3198.73
3385.98/3396.13	c GLOBAL bounds - >= 326936 @ 3198.95
3386.08/3396.28	c GLOBAL bounds - >= 326936 @ 3199.06
3386.48/3396.67	c GLOBAL bounds - >= 326936 @ 3199.28
3386.67/3396.82	c GLOBAL bounds - >= 326936 @ 3199.39
3387.07/3397.20	c GLOBAL bounds - >= 326936 @ 3199.6
3387.18/3397.35	c GLOBAL bounds - >= 326936 @ 3199.72
3387.57/3397.74	c GLOBAL bounds - >= 326936 @ 3199.93
3387.98/3398.11	c GLOBAL bounds - >= 326936 @ 3200.14
3388.28/3398.47	c GLOBAL bounds - >= 326936 @ 3200.35
3388.67/3398.85	c GLOBAL bounds - >= 326936 @ 3200.56
3389.08/3399.22	c GLOBAL bounds - >= 326936 @ 3200.78
3389.47/3399.67	c GLOBAL bounds - >= 326936 @ 3201.07
3390.37/3400.57	c GLOBAL bounds - >= 326936 @ 3201.82
3391.77/3401.93	c GLOBAL bounds - >= 326936 @ 3203.01
3392.36/3402.51	c GLOBAL bounds - >= 326936 @ 3203.41
3393.26/3403.47	c GLOBAL bounds - >= 326936 @ 3204.19
3397.45/3407.69	c GLOBAL bounds - >= 326936 @ 3208.18
3397.96/3408.13	c GLOBAL bounds - >= 326936 @ 3208.45
3399.05/3409.29	c GLOBAL bounds - >= 326936 @ 3209.43
3400.74/3411.00	c GLOBAL bounds - >= 326936 @ 3210.97
3402.14/3412.39	c GLOBAL bounds - >= 326936 @ 3212.17
3404.23/3414.42	c GLOBAL bounds - >= 326936 @ 3214.03
3406.62/3416.82	c GLOBAL bounds - >= 326936 @ 3216.22
3408.92/3419.16	c GLOBAL bounds - >= 326936 @ 3218.39
3409.82/3420.07	c GLOBAL bounds - >= 326936 @ 3219.14
3412.71/3422.96	c GLOBAL bounds - >= 326936 @ 3221.84
3412.81/3423.02	c cpu time 3221.89 s
3412.81/3423.02	c deterministic time 1044041254 1.04e+09
3412.81/3423.02	c optimization time 3177.55 s
3412.81/3423.02	c total solve time 41.6707 s
3412.81/3423.02	c core-guided solve time 0 s
3412.81/3423.02	c propagation time 21.3395 s
3412.81/3423.02	c conflict analysis time 12.7847 s
3412.81/3423.02	c propagations 198053490
3412.81/3423.02	c resolve steps 0
3412.81/3423.02	c decisions 69899010
3412.81/3423.02	c conflicts 178
3412.81/3423.02	c restarts 2
3412.81/3423.02	c inprocessing phases 0
3412.81/3423.02	c garbage collections 0 ,( -nan )
3412.81/3423.02	c input clauses 614425 ,( 71.75 )
3412.81/3423.02	c input cardinalities 63 ,( 0.01 )
3412.81/3423.02	c input general constraints 241846 ,( 28.24 )
3412.81/3423.02	c input average constraint length 63.02
3412.81/3423.02	c input average constraint degree 20954906.69
3412.81/3423.02	c learned clauses 152 ,( 42.46 )
3412.81/3423.02	c learned cardinalities 0 ,( 0.00 )
3412.81/3423.02	c learned general constraints 206 ,( 57.54 )
3412.81/3423.02	c learned average constraint length 1846.23
3412.81/3423.02	c learned average constraint degree 17.99
3412.81/3423.02	c watched  CF 32, 64, 128, Arb: 256 , 0 , 0 , 0
3412.81/3423.02	c counting CF 32, 64, 128, Arb: 241540 , 257 , 0 , 0
3412.81/3423.02	c watched   constraints 256 ,( 0.11 ) 
3412.81/3423.02	c counting  constraints 241796 ,( 99.89 ) 
3412.81/3423.02	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 17291004 , 663 , 138784735 ,( 101062 , 138683673 )
3412.81/3423.02	c gcd simplifications 0
3412.81/3423.02	c detected cardinalities 0
3412.81/3423.02	c weakened non-implied lits 0
3412.81/3423.02	c weakened non-implying lits 0
3412.81/3423.02	c original variables 370300
3412.81/3423.02	c clausal propagations 17223523
3412.81/3423.02	c cardinality propagations 58
3412.81/3423.02	c watched propagations 33542
3412.81/3423.02	c counting propagations 95797542
3412.81/3423.02	c watch lookups 159828938
3412.81/3423.02	c watch backjump lookups 0
3412.81/3423.02	c watch checks 57650481
3412.81/3423.02	c propagation checks 289805528
3412.81/3423.02	c constraint additions 848328
3412.81/3423.02	c trail pops 267952478
3412.81/3423.02	c formula constraints 855312
3412.81/3423.02	c learned constraints 358
3412.81/3423.02	c bound constraints 0
3412.81/3423.02	c core-guided constraints 0
3412.81/3423.02	c encountered formula constraints 50
3412.81/3423.02	c encountered learned constraints 86
3412.81/3423.02	c encountered bound constraints 0
3412.81/3423.02	c encountered core-guided constraints 0
3412.81/3423.02	c LP total time 3.25119 s
3412.81/3423.02	c LP solve time 2.79 s
3412.81/3423.02	c LP constraints added 855312
3412.81/3423.02	c LP constraints removed 0
3412.81/3423.02	c LP pivots internal 2000
3412.81/3423.02	c LP pivots root 1000
3412.81/3423.02	c LP calls 2
3412.81/3423.02	c LP optimalities 0
3412.81/3423.02	c LP no pivot count 0
3412.81/3423.02	c LP infeasibilities 0
3412.81/3423.02	c LP valid Farkas constraints 0
3412.81/3423.02	c LP learned Farkas constraints 0
3412.81/3423.02	c LP basis resets 0
3412.81/3423.02	c LP cycling count 0
3412.81/3423.02	c LP singular count 0
3412.81/3423.02	c LP no primal count 0
3412.81/3423.02	c LP no farkas count 0
3412.81/3423.02	c LP other issue count 0
3412.81/3423.02	c LP Gomory cuts 0
3412.81/3423.02	c LP learned cuts 0
3412.81/3423.02	c LP deleted cuts 0
3412.81/3423.02	c LP encountered Gomory constraints 0
3412.81/3423.02	c LP encountered Farkas constraints 0
3412.81/3423.02	c LP encountered learned Farkas constraints 0
3412.81/3423.02	c CG auxiliary variables introduced 825
3412.81/3423.02	c CG solutions found 0
3412.81/3423.02	c CG cores constructed 400
3412.81/3423.02	c CG core cardinality constraints returned 0
3412.81/3423.02	c CG unit cores 0
3412.81/3423.02	c CG single cores 0
3412.81/3423.02	c CG blocks removed during cardinality reduction 0
3412.81/3423.02	c CG first core best 0
3412.81/3423.02	c CG decision core best 0
3412.81/3423.02	c CG core reduction tie 0
3412.81/3423.02	c CG core degree average 0.00
3412.81/3423.02	c CG core slack average 0.00
3412.81/3423.02	c CG core upper bound improvements 0
3412.81/3423.02	c STR number of successful calls 0
3412.81/3423.02	c STR number of unsuccessful calls 0
3412.81/3423.02	c STR number of inconclusive calls 0
3412.81/3423.02	c STR number of successful attempts 0
3412.81/3423.02	c STR number of unsuccessful attempts 0
3412.81/3423.02	c STR number of inconclusive attempts 0
3412.81/3423.02	c STR average degree increase per successful call inf
3412.81/3423.02	c STR average degree increase per successful attempt inf
3412.81/3423.02	c STR total number of conflicts for successful attempts 0
3412.81/3423.02	c STR total number of conflicts for unsuccessful attempts 0
3412.81/3423.02	c STR total number of conflicts for inconclusive attempts 0
3412.81/3423.02	c STR average number of conflicts per successful attempt inf
3412.81/3423.02	c STR average number of conflicts per unsuccessful attempt inf
3412.81/3423.02	c STR average number of conflicts per inconclusive attempt inf
3412.81/3423.02	c AVG.sumWPerc 99.70 
3412.81/3423.02	c bigint constraints 257 
3412.81/3423.02	s UNKNOWN
3412.81/3423.02	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

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: 63708 MiB (62315 MiB free)
  memory of node 1: 64465 MiB (62581 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504940-1751466415/watcher-4504940-1751466415 -o /tmp/evaluation-result-4504940-1751466415/solver-4504940-1751466415 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751466415-66044 --watchdog 3760 run-opt.sh HOME/instance-4504940-1751466415.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=66104, runsolver pid=66101

[startup+0.100062 s]*
/proc/loadavg: 0.71 1.01 1.35 5/269 66106
/proc/meminfo: memFree=127769112/131250000 swapFree=33010672/33010684
[pid=66104] ppid=66101 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66104/stat : 66104 (run-opt.sh) S 66101 66104 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318119 4292608 768 18446744073709551615 94126361264128 94126362158661 140731752233536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94126362397712 94126362445456 94126368169984 140731752241517 140731752241640 140731752241640 140731752247242 0
/proc/66104/statm: 1048 768 704 219 0 110 0
[pid=66106] ppid=66104 vsize=128384 memory=83428 CPUtime=0.08 cores=1,3
/proc/66106/stat : 66106 (roundingsat) R 66104 66104 66032 0 -1 4194304 9437 0 0 0 6 2 0 0 20 0 1 0 62318120 131465216 20857 18446744073709551615 4227072 8923433 140726294015056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37920768 140726294018466 140726294018600 140726294018600 140726294024170 0
/proc/66106/statm: 32096 20857 1920 1147 0 19523 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 132576 KiB
Current children cumulated memory: 86500 KiB

[startup+0.205673 s]*
/proc/loadavg: 0.71 1.01 1.35 5/269 66106
/proc/meminfo: memFree=127706476/131250000 swapFree=33010672/33010684
[pid=66104] ppid=66101 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66104/stat : 66104 (run-opt.sh) S 66101 66104 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318119 4292608 768 18446744073709551615 94126361264128 94126362158661 140731752233536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94126362397712 94126362445456 94126368169984 140731752241517 140731752241640 140731752241640 140731752247242 0
/proc/66104/statm: 1048 768 704 219 0 110 0
[pid=66106] ppid=66104 vsize=132992 memory=90224 CPUtime=0.19 cores=1,3
/proc/66106/stat : 66106 (roundingsat) R 66104 66104 66032 0 -1 4194304 10592 0 0 0 14 5 0 0 20 0 1 0 62318120 136183808 22556 18446744073709551615 4227072 8923433 140726294015056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37920768 140726294018466 140726294018600 140726294018600 140726294024170 0
/proc/66106/statm: 33248 22556 1952 1147 0 20675 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 137184 KiB
Current children cumulated memory: 93296 KiB

[startup+0.305411 s]*
/proc/loadavg: 0.71 1.01 1.35 5/269 66106
/proc/meminfo: memFree=127668864/131250000 swapFree=33010672/33010684
[pid=66104] ppid=66101 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66104/stat : 66104 (run-opt.sh) S 66101 66104 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318119 4292608 768 18446744073709551615 94126361264128 94126362158661 140731752233536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94126362397712 94126362445456 94126368169984 140731752241517 140731752241640 140731752241640 140731752247242 0
/proc/66104/statm: 1048 768 704 219 0 110 0
[pid=66106] ppid=66104 vsize=136384 memory=93168 CPUtime=0.28 cores=1,3
/proc/66106/stat : 66106 (roundingsat) R 66104 66104 66032 0 -1 4194304 11338 0 0 0 20 8 0 0 20 0 1 0 62318120 139657216 23292 18446744073709551615 4227072 8923433 140726294015056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37920768 140726294018466 140726294018600 140726294018600 140726294024170 0
/proc/66106/statm: 34096 23292 1952 1147 0 21523 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 140576 KiB
Current children cumulated memory: 96240 KiB

[startup+0.700169 s]
/proc/loadavg: 0.71 1.01 1.35 5/269 66106
/proc/meminfo: memFree=127649712/131250000 swapFree=33010672/33010684
[pid=66104] ppid=66101 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66104/stat : 66104 (run-opt.sh) S 66101 66104 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318119 4292608 768 18446744073709551615 94126361264128 94126362158661 140731752233536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94126362397712 94126362445456 94126368169984 140731752241517 140731752241640 140731752241640 140731752247242 0
/proc/66104/statm: 1048 768 704 219 0 110 0
[pid=66106] ppid=66104 vsize=157420 memory=113160 CPUtime=0.67 cores=1,3
/proc/66106/stat : 66106 (roundingsat) R 66104 66104 66032 0 -1 4194304 15801 0 0 0 48 19 0 0 20 0 1 0 62318120 161198080 28290 18446744073709551615 4227072 8923433 140726294015056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37920768 140726294018466 140726294018600 140726294018600 140726294024170 0
/proc/66106/statm: 39355 28290 1952 1147 0 26782 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 161612 KiB
Current children cumulated memory: 116232 KiB

[startup+1.50015 s]
/proc/loadavg: 0.71 1.01 1.35 5/269 66106
/proc/meminfo: memFree=127421996/131250000 swapFree=33010672/33010684
[pid=66104] ppid=66101 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66104/stat : 66104 (run-opt.sh) S 66101 66104 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318119 4292608 768 18446744073709551615 94126361264128 94126362158661 140731752233536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94126362397712 94126362445456 94126368169984 140731752241517 140731752241640 140731752241640 140731752247242 0
/proc/66104/statm: 1048 768 704 219 0 110 0
[pid=66106] ppid=66104 vsize=198728 memory=151688 CPUtime=1.48 cores=1,3
/proc/66106/stat : 66106 (roundingsat) R 66104 66104 66032 0 -1 4194304 20555 0 0 0 107 41 0 0 20 0 1 0 62318120 203497472 37922 18446744073709551615 4227072 8923433 140726294015056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37920768 140726294018466 140726294018600 140726294018600 140726294024170 0
/proc/66106/statm: 49682 37922 1952 1147 0 37109 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 202920 KiB
Current children cumulated memory: 154760 KiB

[startup+3.10557 s]
/proc/loadavg: 0.71 1.01 1.35 5/269 66106
/proc/meminfo: memFree=126642636/131250000 swapFree=33010672/33010684
[pid=66104] ppid=66101 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66104/stat : 66104 (run-opt.sh) S 66101 66104 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318119 4292608 768 18446744073709551615 94126361264128 94126362158661 140731752233536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94126362397712 94126362445456 94126368169984 140731752241517 140731752241640 140731752241640 140731752247242 0
/proc/66104/statm: 1048 768 704 219 0 110 0
[pid=66106] ppid=66104 vsize=1175380 memory=783612 CPUtime=3.07 cores=1,3
/proc/66106/stat : 66106 (roundingsat) R 66104 66104 66032 0 -1 4194304 48866 0 0 0 229 78 0 0 20 0 1 0 62318120 1203589120 195903 18446744073709551615 4227072 8923433 140726294015056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37920768 140726294018466 140726294018600 140726294018600 140726294024170 0
/proc/66106/statm: 293845 195903 2304 1147 0 281272 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1179572 KiB
Current children cumulated memory: 786684 KiB

[startup+6.30018 s]
/proc/loadavg: 0.98 1.06 1.36 5/269 66106
/proc/meminfo: memFree=125841556/131250000 swapFree=33010672/33010684
[pid=66104] ppid=66101 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66104/stat : 66104 (run-opt.sh) S 66101 66104 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318119 4292608 768 18446744073709551615 94126361264128 94126362158661 140731752233536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94126362397712 94126362445456 94126368169984 140731752241517 140731752241640 140731752241640 140731752247242 0
/proc/66104/statm: 1048 768 704 219 0 110 0
[pid=66106] ppid=66104 vsize=1164364 memory=1020032 CPUtime=6.27 cores=1,3
/proc/66106/stat : 66106 (roundingsat) R 66104 66104 66032 0 -1 4194304 96778 0 0 0 436 191 0 0 20 0 1 0 62318120 1192308736 255008 18446744073709551615 4227072 8923433 140726294015056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37920768 140726294018466 140726294018600 140726294018600 140726294024170 0
/proc/66106/statm: 291091 255008 2400 1147 0 278518 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1168556 KiB
Current children cumulated memory: 1023104 KiB

[startup+12.7002 s]
/proc/loadavg: 1.22 1.11 1.38 5/269 66106
/proc/meminfo: memFree=125333500/131250000 swapFree=33010672/33010684
[pid=66104] ppid=66101 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66104/stat : 66104 (run-opt.sh) S 66101 66104 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318119 4292608 768 18446744073709551615 94126361264128 94126362158661 140731752233536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94126362397712 94126362445456 94126368169984 140731752241517 140731752241640 140731752241640 140731752247242 0
/proc/66104/statm: 1048 768 704 219 0 110 0
[pid=66106] ppid=66104 vsize=1287056 memory=1124860 CPUtime=12.65 cores=1,3
/proc/66106/stat : 66106 (roundingsat) R 66104 66104 66032 0 -1 4194304 120515 0 0 0 820 445 0 0 20 0 1 0 62318120 1317945344 281215 18446744073709551615 4227072 8923433 140726294015056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37920768 140726294018466 140726294018600 140726294018600 140726294024170 0
/proc/66106/statm: 321764 281215 2400 1147 0 309191 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1291248 KiB
Current children cumulated memory: 1127932 KiB

[startup+25.5002 s]
/proc/loadavg: 1.91 1.27 1.42 5/269 66106
/proc/meminfo: memFree=123845064/131250000 swapFree=33010672/33010684
[pid=66104] ppid=66101 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66104/stat : 66104 (run-opt.sh) S 66101 66104 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318119 4292608 768 18446744073709551615 94126361264128 94126362158661 140731752233536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94126362397712 94126362445456 94126368169984 140731752241517 140731752241640 140731752241640 140731752247242 0
/proc/66104/statm: 1048 768 704 219 0 110 0
[pid=66106] ppid=66104 vsize=2039300 memory=1806188 CPUtime=25.42 cores=1,3
/proc/66106/stat : 66106 (roundingsat) R 66104 66104 66032 0 -1 4194304 198016 0 0 0 1797 745 0 0 20 0 1 0 62318120 2088243200 451547 18446744073709551615 4227072 8923433 140726294015056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37920768 140726294018466 140726294018600 140726294018600 140726294024170 0
/proc/66106/statm: 509825 451547 2432 1147 0 497252 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2043492 KiB
Current children cumulated memory: 1809260 KiB

[startup+51.1057 s]
/proc/loadavg: 2.62 1.49 1.49 5/268 66107
/proc/meminfo: memFree=121762992/131250000 swapFree=33010672/33010684
[pid=66104] ppid=66101 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66104/stat : 66104 (run-opt.sh) S 66101 66104 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318119 4292608 768 18446744073709551615 94126361264128 94126362158661 140731752233536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94126362397712 94126362445456 94126368169984 140731752241517 140731752241640 140731752241640 140731752247242 0
/proc/66104/statm: 1048 768 704 219 0 110 0
[pid=66106] ppid=66104 vsize=3034352 memory=2776692 CPUtime=50.97 cores=1,3
/proc/66106/stat : 66106 (roundingsat) R 66104 66104 66032 0 -1 4194304 380534 0 0 0 3739 1358 0 0 20 0 1 0 62318120 3107176448 694173 18446744073709551615 4227072 8923433 140726294015056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37920768 140726294018466 140726294018600 140726294018600 140726294024170 0
/proc/66106/statm: 758588 694173 2432 1147 0 746015 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 3038544 KiB
Current children cumulated memory: 2779764 KiB

[startup+102.3 s]
/proc/loadavg: 3.45 1.89 1.63 5/268 66109
/proc/meminfo: memFree=119296108/131250000 swapFree=33010672/33010684
[pid=66104] ppid=66101 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66104/stat : 66104 (run-opt.sh) S 66101 66104 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318119 4292608 768 18446744073709551615 94126361264128 94126362158661 140731752233536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94126362397712 94126362445456 94126368169984 140731752241517 140731752241640 140731752241640 140731752247242 0
/proc/66104/statm: 1048 768 704 219 0 110 0
[pid=66106] ppid=66104 vsize=4815552 memory=4164360 CPUtime=102.03 cores=1,3
/proc/66106/stat : 66106 (roundingsat) R 66104 66104 66032 0 -1 4194304 624518 0 0 0 7477 2726 0 0 20 0 1 0 62318120 4931125248 1041090 18446744073709551615 4227072 8923433 140726294015056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37920768 140726294018466 140726294018600 140726294018600 140726294024170 0
/proc/66106/statm: 1203888 1041090 2432 1147 0 1191315 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 4819744 KiB
Current children cumulated memory: 4167432 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.31 1.79 5/269 66112
/proc/meminfo: memFree=116556752/131250000 swapFree=33010672/33010684
[pid=66104] ppid=66101 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66104/stat : 66104 (run-opt.sh) S 66101 66104 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318119 4292608 768 18446744073709551615 94126361264128 94126362158661 140731752233536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94126362397712 94126362445456 94126368169984 140731752241517 140731752241640 140731752241640 140731752247242 0
/proc/66104/statm: 1048 768 704 219 0 110 0
[pid=66106] ppid=66104 vsize=6758216 memory=5716888 CPUtime=161.85 cores=1,3
/proc/66106/stat : 66106 (roundingsat) R 66104 66104 66032 0 -1 4194304 913165 0 0 0 12523 3662 0 0 20 0 1 0 62318120 6920413184 1429222 18446744073709551615 4227072 8923433 140726294015056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37920768 140726294018466 140726294018600 140726294018600 140726294024170 0
/proc/66106/statm: 1689554 1429222 2432 1147 0 1676981 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 6762408 KiB
Current children cumulated memory: 5719960 KiB

[startup+222.3 s]
/proc/loadavg: 3.97 2.62 1.93 5/269 66114
/proc/meminfo: memFree=114955316/131250000 swapFree=33010672/33010684
[pid=66104] ppid=66101 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66104/stat : 66104 (run-opt.sh) S 66101 66104 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318119 4292608 768 18446744073709551615 94126361264128 94126362158661 140731752233536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94126362397712 94126362445456 94126368169984 140731752241517 140731752241640 140731752241640 140731752247242 0
/proc/66104/statm: 1048 768 704 219 0 110 0
[pid=66106] ppid=66104 vsize=7380436 memory=6751308 CPUtime=221.67 cores=1,3
/proc/66106/stat : 66106 (roundingsat) R 66104 66104 66032 0 -1 4194304 1081896 0 0 0 17920 4247 0 0 20 0 1 0 62318120 7557566464 1687827 18446744073709551615 4227072 8923433 140726294015056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37920768 140726294018466 140726294018600 140726294018600 140726294024170 0
/proc/66106/statm: 1845109 1687827 2432 1147 0 1832536 0
Current children cumulated CPU time: 221.67 s

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

/proc/66104/stat : 66104 (run-opt.sh) S 66101 66104 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318119 4292608 768 18446744073709551615 94126361264128 94126362158661 140731752233536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94126362397712 94126362445456 94126368169984 140731752241517 140731752241640 140731752241640 140731752247242 0
/proc/66104/statm: 1048 768 704 219 0 110 0
[pid=66106] ppid=66104 vsize=29688992 memory=25763392 CPUtime=3033.18 cores=1,3
/proc/66106/stat : 66106 (roundingsat) R 66104 66104 66032 0 -1 4194304 4818128 0 0 0 286024 17294 0 0 20 0 1 0 62318120 30401527808 6440848 18446744073709551615 4227072 8923433 140726294015056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37920768 140726294018466 140726294018600 140726294018600 140726294024170 0
/proc/66106/statm: 7422248 6440848 2432 1147 0 7409675 0
Current children cumulated CPU time: 3033.18 s
Current children cumulated vsize: 29693184 KiB
Current children cumulated memory: 25766464 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.14 4.06 5/267 66261
/proc/meminfo: memFree=78265520/131250000 swapFree=33010672/33010684
[pid=66104] ppid=66101 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66104/stat : 66104 (run-opt.sh) S 66101 66104 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318119 4292608 768 18446744073709551615 94126361264128 94126362158661 140731752233536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94126362397712 94126362445456 94126368169984 140731752241517 140731752241640 140731752241640 140731752247242 0
/proc/66104/statm: 1048 768 704 219 0 110 0
[pid=66106] ppid=66104 vsize=29828532 memory=25984696 CPUtime=3093.01 cores=1,3
/proc/66106/stat : 66106 (roundingsat) R 66104 66104 66032 0 -1 4194304 4856466 0 0 0 291994 17307 0 0 20 0 1 0 62318120 30544416768 6496174 18446744073709551615 4227072 8923433 140726294015056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37920768 140726294018466 140726294018600 140726294018600 140726294024170 0
/proc/66106/statm: 7457133 6496174 2432 1147 0 7444560 0
Current children cumulated CPU time: 3093.01 s
Current children cumulated vsize: 29832724 KiB
Current children cumulated memory: 25987768 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.06 5/266 66263
/proc/meminfo: memFree=77422392/131250000 swapFree=33010672/33010684
[pid=66104] ppid=66101 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66104/stat : 66104 (run-opt.sh) S 66101 66104 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318119 4292608 768 18446744073709551615 94126361264128 94126362158661 140731752233536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94126362397712 94126362445456 94126368169984 140731752241517 140731752241640 140731752241640 140731752247242 0
/proc/66104/statm: 1048 768 704 219 0 110 0
[pid=66106] ppid=66104 vsize=30496608 memory=26770312 CPUtime=3152.84 cores=1,3
/proc/66106/stat : 66106 (roundingsat) R 66104 66104 66032 0 -1 4194304 5004400 0 0 0 297337 17947 0 0 20 0 1 0 62318120 31228526592 6692578 18446744073709551615 4227072 8923433 140726294015056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37920768 140726294018466 140726294018600 140726294018600 140726294024170 0
/proc/66106/statm: 7624152 6692578 2432 1147 0 7611579 0
Current children cumulated CPU time: 3152.84 s
Current children cumulated vsize: 30500800 KiB
Current children cumulated memory: 26773384 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.07 5/267 66266
/proc/meminfo: memFree=77150872/131250000 swapFree=33010672/33010684
[pid=66104] ppid=66101 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66104/stat : 66104 (run-opt.sh) S 66101 66104 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318119 4292608 768 18446744073709551615 94126361264128 94126362158661 140731752233536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94126362397712 94126362445456 94126368169984 140731752241517 140731752241640 140731752241640 140731752247242 0
/proc/66104/statm: 1048 768 704 219 0 110 0
[pid=66106] ppid=66104 vsize=30691112 memory=27012612 CPUtime=3212.67 cores=1,3
/proc/66106/stat : 66106 (roundingsat) R 66104 66104 66032 0 -1 4194304 5049174 0 0 0 303303 17964 0 0 20 0 1 0 62318120 31427698688 6753153 18446744073709551615 4227072 8923433 140726294015056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37920768 140726294018466 140726294018600 140726294018600 140726294024170 0
/proc/66106/statm: 7672778 6753153 2432 1147 0 7660205 0
Current children cumulated CPU time: 3212.67 s
Current children cumulated vsize: 30695304 KiB
Current children cumulated memory: 27015684 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.07 5/267 66267
/proc/meminfo: memFree=76836344/131250000 swapFree=33010672/33010684
[pid=66104] ppid=66101 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66104/stat : 66104 (run-opt.sh) S 66101 66104 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318119 4292608 768 18446744073709551615 94126361264128 94126362158661 140731752233536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94126362397712 94126362445456 94126368169984 140731752241517 140731752241640 140731752241640 140731752247242 0
/proc/66104/statm: 1048 768 704 219 0 110 0
[pid=66106] ppid=66104 vsize=30890236 memory=27269216 CPUtime=3272.5 cores=1,3
/proc/66106/stat : 66106 (roundingsat) R 66104 66104 66032 0 -1 4194304 5096865 0 0 0 309268 17982 0 0 20 0 1 0 62318120 31631601664 6817304 18446744073709551615 4227072 8923433 140726294015056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37920768 140726294018466 140726294018600 140726294018600 140726294024170 0
/proc/66106/statm: 7722559 6817304 2432 1147 0 7709986 0
Current children cumulated CPU time: 3272.5 s
Current children cumulated vsize: 30894428 KiB
Current children cumulated memory: 27272288 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.07 5/268 66270
/proc/meminfo: memFree=76227592/131250000 swapFree=33010672/33010684
[pid=66104] ppid=66101 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66104/stat : 66104 (run-opt.sh) S 66101 66104 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318119 4292608 768 18446744073709551615 94126361264128 94126362158661 140731752233536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94126362397712 94126362445456 94126368169984 140731752241517 140731752241640 140731752241640 140731752247242 0
/proc/66104/statm: 1048 768 704 219 0 110 0
[pid=66106] ppid=66104 vsize=31441156 memory=27899712 CPUtime=3332.34 cores=1,3
/proc/66106/stat : 66106 (roundingsat) R 66104 66104 66032 0 -1 4194304 5215511 0 0 0 314813 18421 0 0 20 0 1 0 62318120 32195743744 6974928 18446744073709551615 4227072 8923433 140726294015056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37920768 140726294018466 140726294018600 140726294018600 140726294024170 0
/proc/66106/statm: 7860289 6974928 2432 1147 0 7847716 0
Current children cumulated CPU time: 3332.34 s
Current children cumulated vsize: 31445348 KiB
Current children cumulated memory: 27902784 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.07 5/268 66272
/proc/meminfo: memFree=75909600/131250000 swapFree=33010672/33010684
[pid=66104] ppid=66101 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66104/stat : 66104 (run-opt.sh) S 66101 66104 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318119 4292608 768 18446744073709551615 94126361264128 94126362158661 140731752233536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94126362397712 94126362445456 94126368169984 140731752241517 140731752241640 140731752241640 140731752247242 0
/proc/66104/statm: 1048 768 704 219 0 110 0
[pid=66106] ppid=66104 vsize=31537828 memory=28132128 CPUtime=3392.16 cores=1,3
/proc/66106/stat : 66106 (roundingsat) R 66104 66104 66032 0 -1 4194304 5251980 0 0 0 320330 18886 0 0 20 0 1 0 62318120 32294735872 7033032 18446744073709551615 4227072 8923433 140726294015056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37920768 140726294018466 140726294018600 140726294018600 140726294024170 0
/proc/66106/statm: 7884457 7033032 2432 1147 0 7871884 0
Current children cumulated CPU time: 3392.16 s
Current children cumulated vsize: 31542020 KiB
Current children cumulated memory: 28135200 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+3423 s]*
/proc/loadavg: 4.08 4.11 4.07 5/268 66273
/proc/meminfo: memFree=75516768/131250000 swapFree=33010672/33010684
[pid=66104] ppid=66101 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/66104/stat : 66104 (run-opt.sh) S 66101 66104 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318119 4292608 768 18446744073709551615 94126361264128 94126362158661 140731752233536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94126362397712 94126362445456 94126368169984 140731752241517 140731752241640 140731752241640 140731752247242 0
/proc/66104/statm: 1048 768 704 219 0 110 0
[pid=66106] ppid=66104 vsize=31742492 memory=28424084 CPUtime=3412.81 cores=1,3
/proc/66106/stat : 66106 (roundingsat) R 66104 66104 66032 0 -1 4194304 5303273 0 0 0 322187 19094 0 0 20 0 1 0 62318120 32504311808 7106021 18446744073709551615 4227072 8923433 140726294015056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37920768 140726294018466 140726294018600 140726294018600 140726294024170 0
/proc/66106/statm: 7935623 7106021 2432 1147 0 7923050 0
Current children cumulated CPU time: 3412.81 s
Current children cumulated vsize: 31746684 KiB
Current children cumulated memory: 28427156 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3423.01 s]
# the end of solver process 66104 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.000694 s, system=0.00139 s
Sleeping 2 seconds

[startup+3424.52 s]
# the end of solver process 66106 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3222.54 s, system=191.798 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3423.21 s]
/proc/loadavg: 4.08 4.11 4.07 5/267 66273
/proc/meminfo: memFree=75516768/131250000 swapFree=33010672/33010684
[pid=66106] ppid=66101 vsize=31717916 memory=28399824 CPUtime=3413.01 cores=1,3
/proc/66106/stat : 66106 (roundingsat) R 66101 66104 66032 0 -1 4194304 5303573 0 0 0 322207 19094 0 0 20 0 1 0 62318120 32479145984 7099956 18446744073709551615 4227072 8923433 140726294015056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37920768 140726294018466 140726294018600 140726294018600 140726294024170 0
/proc/66106/statm: 7929479 7099956 2496 1147 0 7916906 0
Current cumulated CPU time of completed processes: 0.002084 s
Current children cumulated CPU time: 3413.01 s
Current children cumulated vsize: 31717916 KiB
Current children cumulated memory: 28399824 KiB

[startup+3424 s]*
/proc/loadavg: 4.08 4.11 4.07 5/267 66274
/proc/meminfo: memFree=91085136/131250000 swapFree=33010672/33010684
Current cumulated CPU time of completed processes: 0.002084 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3424.4 s]
/proc/loadavg: 4.08 4.11 4.07 5/267 66274
/proc/meminfo: memFree=91085136/131250000 swapFree=33010672/33010684
Current cumulated CPU time of completed processes: 0.002084 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3424.5 s]
/proc/loadavg: 4.08 4.11 4.07 5/267 66274
/proc/meminfo: memFree=91085136/131250000 swapFree=33010672/33010684
Current cumulated CPU time of completed processes: 0.002084 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3424.52
CPU time (s): 3414.33
CPU user time (s): 3222.54
CPU system time (s): 191.798
CPU usage (%): 99.7025
Max. virtual memory (cumulated for all children) (KiB): 31746684
Max. memory (cumulated for all children) (KiB): 28427156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3222.54
system time used= 191.798
maximum resident set size= 28424340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5304126
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= 183
involuntary context switches= 7007


# summary of solver processes directly reported to runsolver:
#   pid: 66104,66106
#   total CPU time (s): 3414.33
#   total CPU user time (s): 3222.54
#   total CPU system time (s): 191.798

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.21682 second user time and 15.7252 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2025-07-02 16:26:55
IDJOB=4504940
IDBENCH=155702
IDSOLVER=3350
FILE ID=nodeC014/4504940-1751466415
RUNJOBID= nodeC014-1751466415-66044
SLURM_JOB_ID= 9598484
Free space on /tmp= 430464 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_7_mh_ic.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504940-1751466415/watcher-4504940-1751466415 -o /tmp/evaluation-result-4504940-1751466415/solver-4504940-1751466415 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751466415-66044 --watchdog 3760  run-opt.sh HOME/instance-4504940-1751466415.opb

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

MD5SUM BENCH= 13b8bbb872de86791f42ef521acd2179
RANDOM SEED=1285562696

nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3600.101
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3600.111
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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.675
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3591.631
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3599.306
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3600.120
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3600.105
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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.513
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127896168 kB
MemAvailable:   129676012 kB
Buffers:            2508 kB
Cached:          2575668 kB
SwapCached:            4 kB
Active:           709244 kB
Inactive:        2028252 kB
Active(anon):     173540 kB
Inactive(anon):     3852 kB
Active(file):     535704 kB
Inactive(file):  2024400 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             84460 kB
Writeback:             0 kB
AnonPages:        162800 kB
Mapped:           113828 kB
Shmem:             18064 kB
KReclaimable:     117956 kB
Slab:             208304 kB
SReclaimable:     117956 kB
SUnreclaim:        90348 kB
KernelStack:        4240 kB
PageTables:         3176 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     513832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     55296 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430456 MiB
End job on nodeC014 at 2025-07-02 17:24:00