Trace number 4504941

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-log 63f22ad? (TO) 3602.25 3623.66

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.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
5.06/5.22	c #variables 370300 #constraints 855312
5.06/5.22	c objective is ce32 
5.95/6.19	c initial watched  CF 32, 64, 128, Arb: 50 , 0 , 0 , 0
5.95/6.19	c initial counting CF 32, 64, 128, Arb: 241376 , 0 , 0 , 0
5.95/6.19	c GLOBAL bounds - >= -50 @ 4.77267
6.45/6.62	c GLOBAL bounds - >= -50 @ 4.97841
6.85/7.08	c GLOBAL bounds - >= -50 @ 5.28078
7.24/7.49	c GLOBAL bounds - >= -50 @ 5.54788
7.83/8.07	c GLOBAL bounds - >= -50 @ 5.96157
8.53/8.72	c GLOBAL bounds - >= -50 @ 6.44571
9.51/9.73	c GLOBAL bounds - >= -50 @ 7.06191
10.61/10.86	c GLOBAL bounds - >= -50 @ 7.98272
11.11/11.36	c GLOBAL bounds - >= -50 @ 8.2986
11.62/11.90	c GLOBAL bounds - >= -50 @ 8.67986
12.12/12.33	c GLOBAL bounds - >= -50 @ 8.96664
12.51/12.76	c GLOBAL bounds - >= -50 @ 9.24984
13.01/13.21	c GLOBAL bounds - >= -50 @ 9.53348
13.41/13.68	c GLOBAL bounds - >= -50 @ 9.8367
14.01/14.28	c GLOBAL bounds - >= -50 @ 10.2778
14.51/14.71	c GLOBAL bounds - >= -50 @ 10.5505
14.92/15.14	c GLOBAL bounds - >= -50 @ 10.8228
15.31/15.58	c GLOBAL bounds - >= -50 @ 11.0952
15.82/16.03	c GLOBAL bounds - >= -50 @ 11.3822
16.61/16.86	c GLOBAL bounds - >= -50 @ 12.0409
17.10/17.37	c GLOBAL bounds - >= -50 @ 12.4016
17.60/17.88	c GLOBAL bounds - >= -50 @ 12.755
18.20/18.41	c GLOBAL bounds - >= -50 @ 13.1284
19.30/19.53	c GLOBAL bounds - >= -50 @ 14.0637
19.70/19.96	c GLOBAL bounds - >= -50 @ 14.3403
20.49/20.72	c GLOBAL bounds - >= -50 @ 14.9108
22.39/22.68	c GLOBAL bounds - >= -50 @ 16.5661
23.80/24.04	c GLOBAL bounds - >= -50 @ 17.6872
25.48/25.73	c GLOBAL bounds - >= 28973 @ 19.3482
29.17/29.47	c GLOBAL bounds - >= 28973 @ 22.8701
29.79/30.02	c GLOBAL bounds - >= 28973 @ 23.2016
29.88/30.16	c GLOBAL bounds - >= 28973 @ 23.3009
30.47/30.71	c GLOBAL bounds - >= 28973 @ 23.6312
30.56/30.86	c GLOBAL bounds - >= 28973 @ 23.7463
31.26/31.52	c GLOBAL bounds - >= 28973 @ 24.1926
31.36/31.67	c GLOBAL bounds - >= 28973 @ 24.3042
31.77/32.03	c GLOBAL bounds - >= 28973 @ 24.499
31.87/32.15	c GLOBAL bounds - >= 28973 @ 24.5963
32.16/32.43	c GLOBAL bounds - >= 28973 @ 24.6931
32.26/32.55	c GLOBAL bounds - >= 28973 @ 24.7989
32.56/32.82	c GLOBAL bounds - >= 28973 @ 24.909
32.66/32.97	c GLOBAL bounds - >= 28973 @ 25.022
32.96/33.24	c GLOBAL bounds - >= 28973 @ 25.1445
33.06/33.39	c GLOBAL bounds - >= 28973 @ 25.2529
33.35/33.66	c GLOBAL bounds - >= 28973 @ 25.3768
33.56/33.81	c GLOBAL bounds - >= 28973 @ 25.4932
33.87/34.17	c GLOBAL bounds - >= 28973 @ 25.6903
34.05/34.32	c GLOBAL bounds - >= 28973 @ 25.8058
34.35/34.67	c GLOBAL bounds - >= 28973 @ 25.9987
34.77/35.10	c GLOBAL bounds - >= 28973 @ 26.2929
35.76/36.08	c GLOBAL bounds - >= 28973 @ 27.0968
36.66/36.95	c GLOBAL bounds - >= 28973 @ 27.8194
37.25/37.59	c GLOBAL bounds - >= 28973 @ 28.2617
38.25/38.53	c GLOBAL bounds - >= 28973 @ 28.962
40.44/40.79	c GLOBAL bounds - >= 28973 @ 30.9778
42.34/42.66	c GLOBAL bounds - >= 28973 @ 32.6077
44.63/44.97	c GLOBAL bounds - >= 39065 @ 34.8882
44.85/45.18	c GLOBAL bounds - >= 39065 @ 35.0581
45.03/45.32	c GLOBAL bounds - >= 39065 @ 35.1669
45.13/45.47	c GLOBAL bounds - >= 39065 @ 35.2685
45.33/45.61	c GLOBAL bounds - >= 39065 @ 35.3765
45.84/46.16	c GLOBAL bounds - >= 39065 @ 35.7041
45.93/46.24	c GLOBAL bounds - >= 39065 @ 35.7602
46.52/46.80	c GLOBAL bounds - >= 39065 @ 36.0839
46.52/46.87	c GLOBAL bounds - >= 39065 @ 36.1353
47.12/47.40	c GLOBAL bounds - >= 39065 @ 36.4392
47.23/47.55	c GLOBAL bounds - >= 39065 @ 36.5452
47.52/47.83	c GLOBAL bounds - >= 39065 @ 36.6606
47.63/47.97	c GLOBAL bounds - >= 39065 @ 36.766
47.92/48.25	c GLOBAL bounds - >= 39065 @ 36.8933
48.12/48.40	c GLOBAL bounds - >= 39065 @ 37.0105
48.42/48.75	c GLOBAL bounds - >= 39065 @ 37.2144
48.62/48.90	c GLOBAL bounds - >= 39065 @ 37.3312
48.92/49.26	c GLOBAL bounds - >= 39065 @ 37.5246
49.12/49.41	c GLOBAL bounds - >= 39065 @ 37.6352
49.42/49.77	c GLOBAL bounds - >= 39065 @ 37.8338
49.62/49.91	c GLOBAL bounds - >= 39065 @ 37.9286
49.83/50.18	c GLOBAL bounds - >= 39065 @ 38.054
50.01/50.33	c GLOBAL bounds - >= 39065 @ 38.1652
50.32/50.68	c GLOBAL bounds - >= 39065 @ 38.3605
50.83/51.12	c GLOBAL bounds - >= 39065 @ 38.6411
51.32/51.67	c GLOBAL bounds - >= 39065 @ 39.0266
51.73/52.02	c GLOBAL bounds - >= 39065 @ 39.2349
52.31/52.63	c GLOBAL bounds - >= 39065 @ 39.6506
53.11/53.41	c GLOBAL bounds - >= 39065 @ 40.2242
54.21/54.56	c GLOBAL bounds - >= 39065 @ 41.1759
55.51/55.87	c GLOBAL bounds - >= 39065 @ 42.2672
57.72/58.05	c GLOBAL bounds - >= 39065 @ 44.2072
60.49/60.88	c GLOBAL bounds - >= 39065 @ 46.7157
62.58/62.94	c GLOBAL bounds - >= 39065 @ 48.5465
64.79/65.16	c GLOBAL bounds - >= 39065 @ 50.5423
68.16/68.59	c GLOBAL bounds - >= 83455 @ 53.9179
68.57/68.90	c GLOBAL bounds - >= 83455 @ 54.1886
68.67/69.04	c GLOBAL bounds - >= 83455 @ 54.2933
69.26/69.62	c GLOBAL bounds - >= 83455 @ 54.6503
69.36/69.76	c GLOBAL bounds - >= 83455 @ 54.752
69.96/70.30	c GLOBAL bounds - >= 83455 @ 55.0733
70.06/70.44	c GLOBAL bounds - >= 83455 @ 55.1823
70.56/70.95	c GLOBAL bounds - >= 83455 @ 55.4841
70.68/71.09	c GLOBAL bounds - >= 83455 @ 55.5805
71.16/71.53	c GLOBAL bounds - >= 83455 @ 55.8371
71.16/71.54	c GLOBAL bounds - >= 83455 @ 55.8447
71.46/71.89	c GLOBAL bounds - >= 83455 @ 56.0181
71.56/71.94	c GLOBAL bounds - >= 83455 @ 56.0492
71.86/72.29	c GLOBAL bounds - >= 83455 @ 56.2054
71.96/72.36	c GLOBAL bounds - >= 83455 @ 56.2521
72.35/72.70	c GLOBAL bounds - >= 83455 @ 56.4092
72.45/72.82	c GLOBAL bounds - >= 83455 @ 56.4946
72.77/73.16	c GLOBAL bounds - >= 83455 @ 56.65
72.85/73.21	c GLOBAL bounds - >= 83455 @ 56.6841
73.16/73.55	c GLOBAL bounds - >= 83455 @ 56.8527
73.25/73.60	c GLOBAL bounds - >= 83455 @ 56.8828
73.66/74.05	c GLOBAL bounds - >= 83455 @ 57.1505
74.35/74.77	c GLOBAL bounds - >= 83455 @ 57.6881
76.35/76.76	c GLOBAL bounds - >= 83455 @ 59.4695
78.75/79.13	c GLOBAL bounds - >= 83455 @ 61.5892
80.32/80.70	c GLOBAL bounds - >= 83455 @ 62.9855
81.74/82.13	c GLOBAL bounds - >= 83455 @ 64.2141
82.92/83.31	c GLOBAL bounds - >= 83455 @ 65.1838
84.02/84.45	c GLOBAL bounds - >= 83455 @ 66.1094
86.21/86.61	c GLOBAL bounds - >= 83455 @ 68.0588
89.40/89.87	c GLOBAL bounds - >= 83455 @ 71.0619
90.50/90.92	c GLOBAL bounds - >= 83455 @ 71.9051
94.71/95.12	c GLOBAL bounds - >= 96409 @ 75.9273
94.89/95.34	c GLOBAL bounds - >= 96409 @ 76.111
95.60/96.03	c GLOBAL bounds - >= 96409 @ 76.5413
95.71/96.17	c GLOBAL bounds - >= 96409 @ 76.6483
96.38/96.85	c GLOBAL bounds - >= 96409 @ 77.1161
96.49/97.00	c GLOBAL bounds - >= 96409 @ 77.2223
97.09/97.55	c GLOBAL bounds - >= 96409 @ 77.5343
97.28/97.70	c GLOBAL bounds - >= 96409 @ 77.643
97.78/98.22	c GLOBAL bounds - >= 96409 @ 77.9614
97.88/98.36	c GLOBAL bounds - >= 96409 @ 78.0734
98.38/98.82	c GLOBAL bounds - >= 96409 @ 78.328
98.48/98.97	c GLOBAL bounds - >= 96409 @ 78.4375
98.98/99.41	c GLOBAL bounds - >= 96409 @ 78.6916
99.08/99.56	c GLOBAL bounds - >= 96409 @ 78.7953
99.48/99.99	c GLOBAL bounds - >= 96409 @ 79.0485
99.69/100.14	c GLOBAL bounds - >= 96409 @ 79.1584
100.08/100.58	c GLOBAL bounds - >= 96409 @ 79.4288
100.28/100.73	c GLOBAL bounds - >= 96409 @ 79.5378
100.69/101.18	c GLOBAL bounds - >= 96409 @ 79.8128
100.87/101.33	c GLOBAL bounds - >= 96409 @ 79.9128
101.28/101.78	c GLOBAL bounds - >= 96409 @ 80.1867
102.17/102.60	c GLOBAL bounds - >= 96409 @ 80.8161
102.68/103.13	c GLOBAL bounds - >= 96409 @ 81.1785
104.86/105.31	c GLOBAL bounds - >= 96409 @ 83.1452
105.36/105.88	c GLOBAL bounds - >= 96409 @ 83.5318
107.57/108.08	c GLOBAL bounds - >= 96409 @ 85.4882
108.46/109.00	c GLOBAL bounds - >= 96409 @ 86.1889
109.93/110.44	c GLOBAL bounds - >= 96409 @ 87.1669
111.42/111.91	c GLOBAL bounds - >= 103143 @ 88.5854
111.62/112.16	c GLOBAL bounds - >= 103143 @ 88.7981
112.11/112.69	c GLOBAL bounds - >= 103143 @ 89.0791
112.31/112.82	c GLOBAL bounds - >= 103143 @ 89.1719
112.71/113.21	c GLOBAL bounds - >= 103143 @ 89.3834
112.80/113.35	c GLOBAL bounds - >= 103143 @ 89.4805
113.20/113.73	c GLOBAL bounds - >= 103143 @ 89.6981
113.30/113.87	c GLOBAL bounds - >= 103143 @ 89.8044
113.70/114.25	c GLOBAL bounds - >= 103143 @ 90.0083
113.79/114.39	c GLOBAL bounds - >= 103143 @ 90.1096
114.09/114.68	c GLOBAL bounds - >= 103143 @ 90.2125
114.30/114.81	c GLOBAL bounds - >= 103143 @ 90.3119
114.69/115.20	c GLOBAL bounds - >= 103143 @ 90.5104
114.78/115.34	c GLOBAL bounds - >= 103143 @ 90.6238
115.18/115.72	c GLOBAL bounds - >= 103143 @ 90.8295
115.28/115.88	c GLOBAL bounds - >= 103143 @ 90.9468
115.97/116.50	c GLOBAL bounds - >= 103143 @ 91.1853
116.18/116.71	c GLOBAL bounds - >= 103143 @ 91.3215
116.59/117.18	c GLOBAL bounds - >= 103143 @ 91.5404
116.77/117.35	c GLOBAL bounds - >= 103143 @ 91.6577
117.27/117.82	c GLOBAL bounds - >= 103143 @ 91.9316
117.77/118.30	c GLOBAL bounds - >= 103143 @ 92.2419
118.27/118.84	c GLOBAL bounds - >= 103143 @ 92.5949
118.77/119.35	c GLOBAL bounds - >= 103143 @ 92.9273
119.59/120.18	c GLOBAL bounds - >= 103143 @ 93.5713
121.96/122.58	c GLOBAL bounds - >= 103143 @ 95.7378
124.16/124.72	c GLOBAL bounds - >= 103143 @ 97.6355
128.45/129.10	c GLOBAL bounds - >= 119233 @ 101.947
128.85/129.48	c GLOBAL bounds - >= 119233 @ 102.277
129.46/130.06	c GLOBAL bounds - >= 119233 @ 102.634
129.56/130.16	c GLOBAL bounds - >= 119233 @ 102.701
130.14/130.70	c GLOBAL bounds - >= 119233 @ 103.012
130.24/130.85	c GLOBAL bounds - >= 119233 @ 103.123
130.74/131.35	c GLOBAL bounds - >= 119233 @ 103.435
130.95/131.50	c GLOBAL bounds - >= 119233 @ 103.546
131.34/132.00	c GLOBAL bounds - >= 119233 @ 103.858
131.56/132.14	c GLOBAL bounds - >= 119233 @ 103.96
132.04/132.63	c GLOBAL bounds - >= 119233 @ 104.255
132.13/132.77	c GLOBAL bounds - >= 119233 @ 104.36
132.63/133.24	c GLOBAL bounds - >= 119233 @ 104.635
132.74/133.38	c GLOBAL bounds - >= 119233 @ 104.742
133.23/133.84	c GLOBAL bounds - >= 119233 @ 105.01
133.33/133.99	c GLOBAL bounds - >= 119233 @ 105.121
133.83/134.44	c GLOBAL bounds - >= 119233 @ 105.387
133.93/134.59	c GLOBAL bounds - >= 119233 @ 105.493
134.44/135.05	c GLOBAL bounds - >= 119233 @ 105.767
134.54/135.19	c GLOBAL bounds - >= 119233 @ 105.871
135.03/135.60	c GLOBAL bounds - >= 119233 @ 106.115
135.33/136.00	c GLOBAL bounds - >= 119233 @ 106.339
135.92/136.50	c GLOBAL bounds - >= 119233 @ 106.685
137.32/138.00	c GLOBAL bounds - >= 119233 @ 107.998
138.02/138.69	c GLOBAL bounds - >= 119233 @ 108.514
139.32/139.93	c GLOBAL bounds - >= 119233 @ 109.567
142.61/143.26	c GLOBAL bounds - >= 119233 @ 112.682
146.10/146.70	c GLOBAL bounds - >= 119233 @ 115.911
147.79/148.44	c GLOBAL bounds - >= 119233 @ 117.445
151.18/151.84	c GLOBAL bounds - >= 119233 @ 120.614
151.79/152.43	c GLOBAL bounds - >= 119233 @ 121.019
152.87/153.57	c GLOBAL bounds - >= 119233 @ 121.966
154.39/155.09	c GLOBAL bounds - >= 119233 @ 123.29
156.48/157.17	c GLOBAL bounds - >= 119233 @ 125.166
157.45/158.15	c GLOBAL bounds - >= 119233 @ 125.857
159.52/160.21	c GLOBAL bounds - >= 119233 @ 127.67
161.99/162.70	c GLOBAL bounds - >= 119233 @ 129.927
163.09/163.84	c GLOBAL bounds - >= 119233 @ 130.863
163.98/164.70	c GLOBAL bounds - >= 119233 @ 131.507
167.28/168.02	c GLOBAL bounds - >= 119233 @ 134.555
169.66/170.43	c GLOBAL bounds - >= 119233 @ 136.752
173.54/174.37	c GLOBAL bounds - >= 119233 @ 140.412
176.03/176.89	c GLOBAL bounds - >= 132863 @ 142.852
176.35/177.18	c GLOBAL bounds - >= 132863 @ 143.101
176.53/177.30	c GLOBAL bounds - >= 132863 @ 143.187
177.03/177.84	c GLOBAL bounds - >= 132863 @ 143.508
177.13/177.98	c GLOBAL bounds - >= 132863 @ 143.612
177.83/178.64	c GLOBAL bounds - >= 132863 @ 144.021
177.93/178.79	c GLOBAL bounds - >= 132863 @ 144.138
178.53/179.31	c GLOBAL bounds - >= 132863 @ 144.461
178.63/179.46	c GLOBAL bounds - >= 132863 @ 144.574
179.12/179.97	c GLOBAL bounds - >= 132863 @ 144.868
179.33/180.13	c GLOBAL bounds - >= 132863 @ 144.974
179.80/180.62	c GLOBAL bounds - >= 132863 @ 145.252
179.89/180.76	c GLOBAL bounds - >= 132863 @ 145.362
180.39/181.23	c GLOBAL bounds - >= 132863 @ 145.657
180.49/181.38	c GLOBAL bounds - >= 132863 @ 145.766
180.99/181.85	c GLOBAL bounds - >= 132863 @ 146.047
181.10/182.00	c GLOBAL bounds - >= 132863 @ 146.154
181.59/182.40	c GLOBAL bounds - >= 132863 @ 146.38
181.69/182.55	c GLOBAL bounds - >= 132863 @ 146.493
182.09/182.94	c GLOBAL bounds - >= 132863 @ 146.726
182.20/183.08	c GLOBAL bounds - >= 132863 @ 146.838
182.59/183.46	c GLOBAL bounds - >= 132863 @ 147.056
183.08/183.92	c GLOBAL bounds - >= 132863 @ 147.358
183.69/184.55	c GLOBAL bounds - >= 132863 @ 147.831
184.08/184.93	c GLOBAL bounds - >= 132863 @ 148.047
184.79/185.67	c GLOBAL bounds - >= 132863 @ 148.62
185.29/186.15	c GLOBAL bounds - >= 132863 @ 148.94
185.89/186.75	c GLOBAL bounds - >= 132863 @ 149.368
188.29/189.17	c GLOBAL bounds - >= 132863 @ 151.569
191.18/192.07	c #Conflicts:       1000 | #Constraints:    5383142
191.18/192.07	c GLOBAL bounds - >= 132863 @ 154.247
192.57/193.43	c GLOBAL bounds - >= 132863 @ 155.435
195.17/196.04	c GLOBAL bounds - >= 132863 @ 157.828
198.54/199.49	c GLOBAL bounds - >= 132863 @ 161.018
200.04/200.99	c GLOBAL bounds - >= 132863 @ 162.331
202.83/203.73	c GLOBAL bounds - >= 132863 @ 164.832
212.12/213.09	c GLOBAL bounds - >= 132863 @ 173.796
212.89/213.87	c GLOBAL bounds - >= 132863 @ 174.397
215.78/216.77	c GLOBAL bounds - >= 132863 @ 176.841
218.15/219.11	c GLOBAL bounds - >= 132863 @ 178.949
221.02/222.07	c GLOBAL bounds - >= 132863 @ 181.668
227.49/228.52	c GLOBAL bounds - >= 132863 @ 187.822
230.38/231.46	c GLOBAL bounds - >= 132863 @ 190.505
235.86/236.95	c GLOBAL bounds - >= 146747 @ 195.911
236.25/237.37	c GLOBAL bounds - >= 146747 @ 196.248
237.05/238.16	c GLOBAL bounds - >= 146747 @ 196.776
237.14/238.29	c GLOBAL bounds - >= 146747 @ 196.87
237.84/238.92	c GLOBAL bounds - >= 146747 @ 197.285
237.94/239.08	c GLOBAL bounds - >= 146747 @ 197.397
238.54/239.68	c GLOBAL bounds - >= 146747 @ 197.79
238.73/239.82	c GLOBAL bounds - >= 146747 @ 197.896
239.72/240.87	c GLOBAL bounds - >= 146747 @ 198.468
239.93/241.07	c GLOBAL bounds - >= 146747 @ 198.608
240.52/241.65	c GLOBAL bounds - >= 146747 @ 198.932
240.72/241.80	c GLOBAL bounds - >= 146747 @ 199.046
241.21/242.32	c GLOBAL bounds - >= 146747 @ 199.358
241.32/242.47	c GLOBAL bounds - >= 146747 @ 199.474
241.81/242.99	c GLOBAL bounds - >= 146747 @ 199.807
242.02/243.14	c GLOBAL bounds - >= 146747 @ 199.916
242.52/243.61	c GLOBAL bounds - >= 146747 @ 200.208
242.61/243.76	c GLOBAL bounds - >= 146747 @ 200.318
243.11/244.23	c GLOBAL bounds - >= 146747 @ 200.616
243.21/244.38	c GLOBAL bounds - >= 146747 @ 200.725
243.71/244.83	c GLOBAL bounds - >= 146747 @ 200.993
247.47/248.61	c GLOBAL bounds - >= 146747 @ 204.458
248.77/249.92	c GLOBAL bounds - >= 146747 @ 205.568
249.26/250.50	c GLOBAL bounds - >= 146747 @ 205.948
252.42/253.62	c GLOBAL bounds - >= 146747 @ 208.812
269.34/270.66	c GLOBAL bounds - >= 146747 @ 225.327
270.44/271.76	c GLOBAL bounds - >= 146747 @ 226.231
271.33/272.66	c GLOBAL bounds - >= 146747 @ 226.932
272.03/273.33	c GLOBAL bounds - >= 146747 @ 227.428
279.01/280.39	c GLOBAL bounds - >= 146747 @ 234.203
280.11/281.42	c GLOBAL bounds - >= 146747 @ 235.041
282.90/284.29	c GLOBAL bounds - >= 146747 @ 237.678
288.70/290.01	c GLOBAL bounds - >= 146747 @ 243.131
292.79/294.14	c GLOBAL bounds - >= 146747 @ 247.008
293.47/294.82	c GLOBAL bounds - >= 146747 @ 247.487
295.37/296.71	c GLOBAL bounds - >= 146747 @ 249.182
308.73/310.13	c GLOBAL bounds - >= 154741 @ 262.439
308.92/310.38	c GLOBAL bounds - >= 154741 @ 262.66
309.52/310.95	c GLOBAL bounds - >= 154741 @ 263.002
309.64/311.09	c GLOBAL bounds - >= 154741 @ 263.102
310.32/311.70	c GLOBAL bounds - >= 154741 @ 263.51
310.42/311.85	c GLOBAL bounds - >= 154741 @ 263.627
311.01/312.40	c GLOBAL bounds - >= 154741 @ 263.967
311.12/312.56	c GLOBAL bounds - >= 154741 @ 264.081
311.62/313.06	c GLOBAL bounds - >= 154741 @ 264.381
311.81/313.21	c GLOBAL bounds - >= 154741 @ 264.504
312.21/313.67	c GLOBAL bounds - >= 154741 @ 264.771
312.42/313.82	c GLOBAL bounds - >= 154741 @ 264.882
312.91/314.32	c GLOBAL bounds - >= 154741 @ 265.178
313.01/314.47	c GLOBAL bounds - >= 154741 @ 265.285
313.51/314.94	c GLOBAL bounds - >= 154741 @ 265.573
313.62/315.09	c GLOBAL bounds - >= 154741 @ 265.689
314.11/315.53	c GLOBAL bounds - >= 154741 @ 265.952
314.21/315.65	c GLOBAL bounds - >= 154741 @ 266.033
314.71/316.12	c GLOBAL bounds - >= 154741 @ 266.311
314.81/316.27	c GLOBAL bounds - >= 154741 @ 266.421
315.30/316.72	c GLOBAL bounds - >= 154741 @ 266.691
316.00/317.44	c GLOBAL bounds - >= 154741 @ 267.233
317.50/318.92	c GLOBAL bounds - >= 154741 @ 268.539
319.00/320.42	c GLOBAL bounds - >= 154741 @ 269.831
320.00/321.49	c GLOBAL bounds - >= 154741 @ 270.719
325.17/326.69	c GLOBAL bounds - >= 154741 @ 275.661
326.27/327.74	c GLOBAL bounds - >= 154741 @ 276.514
327.07/328.57	c GLOBAL bounds - >= 154741 @ 277.137
329.46/330.94	c GLOBAL bounds - >= 154741 @ 279.296
333.25/334.72	c GLOBAL bounds - >= 154741 @ 282.819
335.94/337.43	c GLOBAL bounds - >= 154741 @ 285.242
337.71/339.26	c GLOBAL bounds - >= 154741 @ 286.813
340.69/342.23	c GLOBAL bounds - >= 154741 @ 289.519
342.47/344.09	c GLOBAL bounds - >= 154741 @ 291.161
344.36/345.97	c GLOBAL bounds - >= 154741 @ 292.795
358.88/360.51	c GLOBAL bounds - >= 154741 @ 306.721
380.01/381.73	c #Conflicts:       2000 | #Constraints:    7887158
380.01/381.73	c INPROCESSING
380.01/381.73	c GARBAGE COLLECT
380.01/381.73	c GLOBAL bounds - >= 154741 @ 327.424
391.88/393.60	c GLOBAL bounds - >= 172073 @ 339.154
392.28/394.06	c GLOBAL bounds - >= 172073 @ 339.583
392.38/394.19	c GLOBAL bounds - >= 172073 @ 339.676
392.97/394.75	c GLOBAL bounds - >= 172073 @ 340.021
393.07/394.89	c GLOBAL bounds - >= 172073 @ 340.129
393.57/395.38	c GLOBAL bounds - >= 172073 @ 340.418
393.77/395.52	c GLOBAL bounds - >= 172073 @ 340.526
394.17/395.97	c GLOBAL bounds - >= 172073 @ 340.778
394.38/396.12	c GLOBAL bounds - >= 172073 @ 340.882
394.76/396.59	c GLOBAL bounds - >= 172073 @ 341.158
394.97/396.73	c GLOBAL bounds - >= 172073 @ 341.273
395.28/397.10	c GLOBAL bounds - >= 172073 @ 341.448
395.46/397.25	c GLOBAL bounds - >= 172073 @ 341.554
395.96/397.72	c GLOBAL bounds - >= 172073 @ 341.836
396.07/397.86	c GLOBAL bounds - >= 172073 @ 341.943
396.56/398.32	c GLOBAL bounds - >= 172073 @ 342.211
396.66/398.47	c GLOBAL bounds - >= 172073 @ 342.317
397.16/398.90	c GLOBAL bounds - >= 172073 @ 342.567
397.28/399.05	c GLOBAL bounds - >= 172073 @ 342.673
397.66/399.42	c GLOBAL bounds - >= 172073 @ 342.863
397.76/399.56	c GLOBAL bounds - >= 172073 @ 342.961
398.16/399.91	c GLOBAL bounds - >= 172073 @ 343.135
400.95/402.76	c GLOBAL bounds - >= 172073 @ 345.762
404.74/406.58	c GLOBAL bounds - >= 172073 @ 349.35
405.35/407.19	c GLOBAL bounds - >= 172073 @ 349.788
407.83/409.61	c GLOBAL bounds - >= 172073 @ 352.023
409.73/411.54	c GLOBAL bounds - >= 172073 @ 353.75
414.33/416.18	c GLOBAL bounds - >= 172073 @ 358.144
415.00/416.86	c GLOBAL bounds - >= 172073 @ 358.644
415.51/417.35	c GLOBAL bounds - >= 172073 @ 358.956
418.50/420.32	c GLOBAL bounds - >= 172073 @ 361.711
422.88/424.74	c GLOBAL bounds - >= 172073 @ 365.898
423.78/425.60	c GLOBAL bounds - >= 172073 @ 366.569
424.20/426.10	c GLOBAL bounds - >= 172073 @ 366.881
424.78/426.62	c GLOBAL bounds - >= 172073 @ 367.202
427.19/429.05	c GLOBAL bounds - >= 172073 @ 369.405
431.77/433.69	c GLOBAL bounds - >= 172073 @ 373.819
431.86/433.78	c GLOBAL bounds - >= 172073 @ 373.908
432.18/434.09	c GLOBAL bounds - >= 172073 @ 374.175
432.37/434.22	c GLOBAL bounds - >= 172073 @ 374.268
432.96/434.84	c GLOBAL bounds - >= 172073 @ 374.68
433.06/434.99	c GLOBAL bounds - >= 172073 @ 374.793
433.66/435.50	c GLOBAL bounds - >= 172073 @ 375.119
433.76/435.65	c GLOBAL bounds - >= 172073 @ 375.22
434.27/436.13	c GLOBAL bounds - >= 172073 @ 375.498
434.36/436.29	c GLOBAL bounds - >= 172073 @ 375.61
434.86/436.72	c GLOBAL bounds - >= 172073 @ 375.877
434.96/436.86	c GLOBAL bounds - >= 172073 @ 375.989
435.35/437.27	c GLOBAL bounds - >= 172073 @ 376.228
435.56/437.42	c GLOBAL bounds - >= 172073 @ 376.337
435.96/437.82	c GLOBAL bounds - >= 172073 @ 376.562
436.05/437.97	c GLOBAL bounds - >= 172073 @ 376.685
436.45/438.37	c GLOBAL bounds - >= 172073 @ 376.919
436.65/438.52	c GLOBAL bounds - >= 172073 @ 377.038
437.05/438.91	c GLOBAL bounds - >= 172073 @ 377.264
437.17/439.05	c GLOBAL bounds - >= 172073 @ 377.372
437.55/439.44	c GLOBAL bounds - >= 172073 @ 377.598
437.65/439.59	c GLOBAL bounds - >= 172073 @ 377.71
438.05/439.98	c GLOBAL bounds - >= 172073 @ 377.907
438.84/440.71	c GLOBAL bounds - >= 172073 @ 378.478
439.44/441.36	c GLOBAL bounds - >= 172073 @ 378.932
440.04/441.94	c GLOBAL bounds - >= 172073 @ 379.348
440.54/442.42	c GLOBAL bounds - >= 172073 @ 379.648
441.04/442.91	c GLOBAL bounds - >= 172073 @ 379.971
442.15/444.11	c GLOBAL bounds - >= 172073 @ 380.99
442.73/444.67	c GLOBAL bounds - >= 172073 @ 381.397
443.53/445.49	c GLOBAL bounds - >= 172073 @ 382.039
444.93/446.87	c GLOBAL bounds - >= 172073 @ 383.228
445.43/447.38	c GLOBAL bounds - >= 172073 @ 383.568
446.53/448.43	c GLOBAL bounds - >= 172073 @ 384.435
449.02/450.99	c GLOBAL bounds - >= 172073 @ 386.775
453.90/455.88	c GLOBAL bounds - >= 172073 @ 391.424
475.63/477.67	c GLOBAL bounds - >= 172073 @ 412.78
483.50/485.54	c GLOBAL bounds - >= 172073 @ 420.343
494.87/496.97	c GLOBAL bounds - >= 183549 @ 431.656
495.47/497.59	c GLOBAL bounds - >= 183549 @ 432.185
495.67/497.73	c GLOBAL bounds - >= 183549 @ 432.286
496.27/498.32	c GLOBAL bounds - >= 183549 @ 432.686
496.37/498.46	c GLOBAL bounds - >= 183549 @ 432.797
496.98/499.05	c GLOBAL bounds - >= 183549 @ 433.197
497.17/499.20	c GLOBAL bounds - >= 183549 @ 433.313
497.66/499.73	c GLOBAL bounds - >= 183549 @ 433.667
497.76/499.88	c GLOBAL bounds - >= 183549 @ 433.777
498.26/500.39	c GLOBAL bounds - >= 183549 @ 434.105
498.46/500.53	c GLOBAL bounds - >= 183549 @ 434.215
498.98/501.03	c GLOBAL bounds - >= 183549 @ 434.525
499.08/501.17	c GLOBAL bounds - >= 183549 @ 434.634
499.46/501.57	c GLOBAL bounds - >= 183549 @ 434.856
499.66/501.71	c GLOBAL bounds - >= 183549 @ 434.971
500.08/502.15	c GLOBAL bounds - >= 183549 @ 435.249
500.16/502.30	c GLOBAL bounds - >= 183549 @ 435.356
500.56/502.67	c GLOBAL bounds - >= 183549 @ 435.568
500.76/502.82	c GLOBAL bounds - >= 183549 @ 435.663
501.25/503.30	c GLOBAL bounds - >= 183549 @ 435.959
501.36/503.45	c GLOBAL bounds - >= 183549 @ 436.067
501.86/503.90	c GLOBAL bounds - >= 183549 @ 436.341
502.75/504.83	c GLOBAL bounds - >= 183549 @ 437.112
509.95/512.09	c GLOBAL bounds - >= 183549 @ 444.134
511.94/514.07	c GLOBAL bounds - >= 183549 @ 445.916
530.47/532.61	c GLOBAL bounds - >= 183549 @ 463.865
534.75/536.97	c GLOBAL bounds - >= 183549 @ 467.955
535.45/537.69	c GLOBAL bounds - >= 183549 @ 468.489
541.64/543.80	c GLOBAL bounds - >= 183549 @ 474.308
543.54/545.72	c #Conflicts:       3000 | #Constraints:   10002408
543.54/545.72	c GLOBAL bounds - >= 183549 @ 476.024
548.01/550.21	c GLOBAL bounds - >= 187887 @ 480.451
548.31/550.56	c GLOBAL bounds - >= 187887 @ 480.738
548.51/550.71	c GLOBAL bounds - >= 187887 @ 480.853
548.62/550.85	c GLOBAL bounds - >= 187887 @ 480.962
549.21/551.46	c GLOBAL bounds - >= 187887 @ 481.358
549.41/551.60	c GLOBAL bounds - >= 187887 @ 481.466
549.92/552.15	c GLOBAL bounds - >= 187887 @ 481.818
550.12/552.30	c GLOBAL bounds - >= 187887 @ 481.926
550.61/552.81	c GLOBAL bounds - >= 187887 @ 482.249
550.71/552.95	c GLOBAL bounds - >= 187887 @ 482.352
551.21/553.42	c GLOBAL bounds - >= 187887 @ 482.637
551.31/553.56	c GLOBAL bounds - >= 187887 @ 482.735
551.82/554.03	c GLOBAL bounds - >= 187887 @ 483.036
551.92/554.18	c GLOBAL bounds - >= 187887 @ 483.144
552.40/554.65	c GLOBAL bounds - >= 187887 @ 483.43
552.61/554.81	c GLOBAL bounds - >= 187887 @ 483.554
553.01/555.26	c GLOBAL bounds - >= 187887 @ 483.819
553.20/555.41	c GLOBAL bounds - >= 187887 @ 483.935
553.60/555.85	c GLOBAL bounds - >= 187887 @ 484.203
553.70/556.00	c GLOBAL bounds - >= 187887 @ 484.315
554.20/556.45	c GLOBAL bounds - >= 187887 @ 484.602
554.40/556.60	c GLOBAL bounds - >= 187887 @ 484.709
554.81/557.04	c GLOBAL bounds - >= 187887 @ 484.971
555.69/557.96	c GLOBAL bounds - >= 187887 @ 485.711
556.59/558.86	c GLOBAL bounds - >= 187887 @ 486.442
557.91/560.16	c GLOBAL bounds - >= 187887 @ 487.543
560.28/562.58	c GLOBAL bounds - >= 187887 @ 489.74
561.29/563.53	c GLOBAL bounds - >= 187887 @ 490.514
562.89/565.14	c GLOBAL bounds - >= 187887 @ 491.929
567.87/570.16	c GLOBAL bounds - >= 187887 @ 496.674
569.46/571.76	c GLOBAL bounds - >= 187887 @ 498.09
570.87/573.19	c GLOBAL bounds - >= 187887 @ 499.32
573.76/576.10	c GLOBAL bounds - >= 187887 @ 501.998
583.02/585.30	c GLOBAL bounds - >= 187887 @ 510.877
591.21/593.51	c GLOBAL bounds - >= 187887 @ 518.774
592.20/594.53	c GLOBAL bounds - >= 187887 @ 519.619
593.60/595.96	c GLOBAL bounds - >= 187887 @ 520.857
606.96/609.33	c GLOBAL bounds - >= 187887 @ 533.849
608.95/611.34	c GLOBAL bounds - >= 187887 @ 535.665
610.76/613.15	c GLOBAL bounds - >= 187887 @ 537.253
612.44/614.87	c GLOBAL bounds - >= 187887 @ 538.776
613.14/615.59	c GLOBAL bounds - >= 187887 @ 539.308
633.38/635.80	c GLOBAL bounds - >= 206785 @ 559.226
634.08/636.52	c GLOBAL bounds - >= 206785 @ 559.893
634.18/636.66	c GLOBAL bounds - >= 206785 @ 559.998
634.38/636.80	c GLOBAL bounds - >= 206785 @ 560.107
634.48/636.94	c GLOBAL bounds - >= 206785 @ 560.206
634.59/637.09	c GLOBAL bounds - >= 206785 @ 560.312
636.18/638.67	c GLOBAL bounds - >= 206785 @ 561.674
636.37/638.81	c GLOBAL bounds - >= 206785 @ 561.783
636.87/639.37	c GLOBAL bounds - >= 206785 @ 562.14
637.07/639.51	c GLOBAL bounds - >= 206785 @ 562.242
637.47/640.00	c GLOBAL bounds - >= 206785 @ 562.527
637.69/640.15	c GLOBAL bounds - >= 206785 @ 562.637
638.07/640.59	c GLOBAL bounds - >= 206785 @ 562.905
638.27/640.74	c GLOBAL bounds - >= 206785 @ 563.008
638.68/641.16	c GLOBAL bounds - >= 206785 @ 563.256
638.87/641.30	c GLOBAL bounds - >= 206785 @ 563.363
639.26/641.72	c GLOBAL bounds - >= 206785 @ 563.615
639.37/641.87	c GLOBAL bounds - >= 206785 @ 563.735
639.78/642.29	c GLOBAL bounds - >= 206785 @ 563.984
639.96/642.43	c GLOBAL bounds - >= 206785 @ 564.078
640.36/642.82	c GLOBAL bounds - >= 206785 @ 564.297
640.46/642.96	c GLOBAL bounds - >= 206785 @ 564.403
640.86/643.35	c GLOBAL bounds - >= 206785 @ 564.607
640.96/643.49	c GLOBAL bounds - >= 206785 @ 564.711
641.36/643.87	c GLOBAL bounds - >= 206785 @ 564.928
641.76/644.24	c GLOBAL bounds - >= 206785 @ 565.148
642.57/645.04	c GLOBAL bounds - >= 206785 @ 565.786
643.36/645.82	c GLOBAL bounds - >= 206785 @ 566.392
644.26/646.78	c GLOBAL bounds - >= 206785 @ 567.192
644.76/647.25	c GLOBAL bounds - >= 206785 @ 567.495
645.35/647.89	c GLOBAL bounds - >= 206785 @ 567.963
651.64/654.15	c GLOBAL bounds - >= 206785 @ 573.938
652.43/654.98	c GLOBAL bounds - >= 206785 @ 574.59
655.93/658.46	c GLOBAL bounds - >= 206785 @ 577.834
656.63/659.12	c GLOBAL bounds - >= 206785 @ 578.327
659.11/661.64	c GLOBAL bounds - >= 206785 @ 580.643
659.53/662.06	c GLOBAL bounds - >= 206785 @ 580.903
661.62/664.11	c GLOBAL bounds - >= 206785 @ 582.745
662.51/665.03	c GLOBAL bounds - >= 206785 @ 583.475
664.70/667.26	c GLOBAL bounds - >= 206785 @ 585.501
665.30/667.82	c GLOBAL bounds - >= 206785 @ 585.892
666.00/668.58	c GLOBAL bounds - >= 206785 @ 586.469
674.07/676.65	c GLOBAL bounds - >= 206785 @ 594.211
678.86/681.47	c GLOBAL bounds - >= 206785 @ 598.78
697.10/699.74	c GLOBAL bounds - >= 206785 @ 616.576
705.77/708.43	c GLOBAL bounds - >= 208523 @ 625.135
706.16/708.82	c GLOBAL bounds - >= 208523 @ 625.488
706.27/708.97	c GLOBAL bounds - >= 208523 @ 625.603
706.48/709.12	c GLOBAL bounds - >= 208523 @ 625.722
706.57/709.28	c GLOBAL bounds - >= 208523 @ 625.84
706.77/709.43	c GLOBAL bounds - >= 208523 @ 625.959
706.86/709.58	c GLOBAL bounds - >= 208523 @ 626.058
707.66/710.36	c GLOBAL bounds - >= 208523 @ 626.597
707.86/710.51	c GLOBAL bounds - >= 208523 @ 626.709
708.26/711.00	c GLOBAL bounds - >= 208523 @ 627.006
708.47/711.14	c GLOBAL bounds - >= 208523 @ 627.115
708.95/711.62	c GLOBAL bounds - >= 208523 @ 627.411
709.06/711.77	c GLOBAL bounds - >= 208523 @ 627.52
709.56/712.25	c GLOBAL bounds - >= 208523 @ 627.815
709.75/712.40	c GLOBAL bounds - >= 208523 @ 627.918
710.15/712.87	c GLOBAL bounds - >= 208523 @ 628.2
710.37/713.01	c GLOBAL bounds - >= 208523 @ 628.303
710.75/713.46	c GLOBAL bounds - >= 208523 @ 628.555
710.96/713.60	c GLOBAL bounds - >= 208523 @ 628.662
711.36/714.05	c GLOBAL bounds - >= 208523 @ 628.933
711.46/714.19	c GLOBAL bounds - >= 208523 @ 629.044
711.95/714.63	c GLOBAL bounds - >= 208523 @ 629.315
712.05/714.78	c GLOBAL bounds - >= 208523 @ 629.421
712.46/715.12	c GLOBAL bounds - >= 208523 @ 629.597
712.55/715.26	c GLOBAL bounds - >= 208523 @ 629.697
713.05/715.70	c GLOBAL bounds - >= 208523 @ 629.947
714.84/717.57	c GLOBAL bounds - >= 208523 @ 631.625
715.54/718.28	c GLOBAL bounds - >= 208523 @ 632.148
716.04/718.79	c GLOBAL bounds - >= 208523 @ 632.497
716.64/719.30	c GLOBAL bounds - >= 208523 @ 632.857
720.52/723.27	c GLOBAL bounds - >= 208523 @ 636.609
722.62/725.31	c GLOBAL bounds - >= 208523 @ 638.443
724.71/727.42	c #Conflicts:       4000 | #Constraints:   11741212
724.71/727.42	c GLOBAL bounds - >= 208523 @ 640.358
728.00/730.76	c GLOBAL bounds - >= 208523 @ 643.468
729.80/732.53	c GLOBAL bounds - >= 208523 @ 645.038
735.78/738.56	c GLOBAL bounds - >= 208523 @ 650.821
747.55/750.33	c GLOBAL bounds - >= 208523 @ 662.261
751.26/754.04	c GLOBAL bounds - >= 208523 @ 665.73
790.74/793.80	c INPROCESSING
790.74/793.80	c GARBAGE COLLECT
790.74/793.80	c GLOBAL bounds - >= 208523 @ 704.754
792.94/795.92	c GLOBAL bounds - >= 208523 @ 706.669
793.64/796.65	c GLOBAL bounds - >= 208523 @ 707.205
797.63/800.66	c GLOBAL bounds - >= 208523 @ 710.98
810.29/813.38	c GLOBAL bounds - >= 208523 @ 723.31
812.79/815.88	c GLOBAL bounds - >= 211088 @ 725.773
813.09/816.16	c GLOBAL bounds - >= 211088 @ 726.024
813.28/816.30	c GLOBAL bounds - >= 211088 @ 726.135
813.78/816.87	c GLOBAL bounds - >= 211088 @ 726.498
814.00/817.02	c GLOBAL bounds - >= 211088 @ 726.605
814.38/817.45	c GLOBAL bounds - >= 211088 @ 726.852
814.58/817.60	c GLOBAL bounds - >= 211088 @ 726.956
814.99/818.02	c GLOBAL bounds - >= 211088 @ 727.209
815.10/818.17	c GLOBAL bounds - >= 211088 @ 727.327
815.48/818.51	c GLOBAL bounds - >= 211088 @ 727.499
815.57/818.67	c GLOBAL bounds - >= 211088 @ 727.622
815.99/819.09	c GLOBAL bounds - >= 211088 @ 727.863
816.17/819.24	c GLOBAL bounds - >= 211088 @ 727.971
816.57/819.64	c GLOBAL bounds - >= 211088 @ 728.195
816.67/819.79	c GLOBAL bounds - >= 211088 @ 728.299
817.08/820.19	c GLOBAL bounds - >= 211088 @ 728.53
817.27/820.34	c GLOBAL bounds - >= 211088 @ 728.644
817.67/820.75	c GLOBAL bounds - >= 211088 @ 728.877
817.77/820.89	c GLOBAL bounds - >= 211088 @ 728.98
818.17/821.29	c GLOBAL bounds - >= 211088 @ 729.207
818.37/821.44	c GLOBAL bounds - >= 211088 @ 729.317
818.77/821.85	c GLOBAL bounds - >= 211088 @ 729.539
820.16/823.21	c GLOBAL bounds - >= 211088 @ 730.729
820.56/823.69	c GLOBAL bounds - >= 211088 @ 731.063
821.46/824.58	c GLOBAL bounds - >= 211088 @ 731.788
823.05/826.11	c GLOBAL bounds - >= 211088 @ 733.106
828.32/831.48	c GLOBAL bounds - >= 211088 @ 738.215
828.93/832.03	c GLOBAL bounds - >= 211088 @ 738.598
831.21/834.35	c GLOBAL bounds - >= 211088 @ 740.721
846.77/849.96	c GLOBAL bounds - >= 211088 @ 755.94
849.45/852.61	c GLOBAL bounds - >= 211088 @ 758.126
870.68/874.03	c GLOBAL bounds - >= 211088 @ 778.716
891.21/894.63	c GLOBAL bounds - >= 211088 @ 798.931
898.78/902.24	c #Conflicts:       5000 | #Constraints:   12485356
898.78/902.24	c GLOBAL bounds - >= 211088 @ 806.282
933.14/936.75	c GLOBAL bounds - >= 211088 @ 840.105
941.91/945.57	c GLOBAL bounds - >= 215753 @ 848.824
942.42/946.03	c GLOBAL bounds - >= 215753 @ 849.237
942.53/946.17	c GLOBAL bounds - >= 215753 @ 849.346
942.71/946.32	c GLOBAL bounds - >= 215753 @ 849.462
944.71/948.38	c GLOBAL bounds - >= 215753 @ 851.308
944.91/948.53	c GLOBAL bounds - >= 215753 @ 851.423
945.41/949.10	c GLOBAL bounds - >= 215753 @ 851.802
945.60/949.25	c GLOBAL bounds - >= 215753 @ 851.913
946.20/949.83	c GLOBAL bounds - >= 215753 @ 852.278
946.30/949.99	c GLOBAL bounds - >= 215753 @ 852.39
946.89/950.55	c GLOBAL bounds - >= 215753 @ 852.764
947.09/950.71	c GLOBAL bounds - >= 215753 @ 852.874
947.59/951.28	c GLOBAL bounds - >= 215753 @ 853.242
947.80/951.43	c GLOBAL bounds - >= 215753 @ 853.363
948.29/951.99	c GLOBAL bounds - >= 215753 @ 853.72
948.51/952.14	c GLOBAL bounds - >= 215753 @ 853.838
949.09/952.70	c GLOBAL bounds - >= 215753 @ 854.211
949.20/952.85	c GLOBAL bounds - >= 215753 @ 854.333
949.69/953.39	c GLOBAL bounds - >= 215753 @ 854.683
949.89/953.54	c GLOBAL bounds - >= 215753 @ 854.796
950.40/954.05	c GLOBAL bounds - >= 215753 @ 855.122
950.59/954.20	c GLOBAL bounds - >= 215753 @ 855.237
950.99/954.69	c GLOBAL bounds - >= 215753 @ 855.552
951.51/955.16	c GLOBAL bounds - >= 215753 @ 855.859
951.99/955.64	c GLOBAL bounds - >= 215753 @ 856.159
952.59/956.23	c GLOBAL bounds - >= 215753 @ 856.572
953.40/957.10	c GLOBAL bounds - >= 215753 @ 857.251
954.28/957.96	c GLOBAL bounds - >= 215753 @ 857.933
955.57/959.27	c GLOBAL bounds - >= 215753 @ 859.05
956.28/959.92	c GLOBAL bounds - >= 215753 @ 859.523
957.49/961.14	c GLOBAL bounds - >= 215753 @ 860.558
988.29/992.08	c GLOBAL bounds - >= 215753 @ 890.876
988.97/992.78	c GLOBAL bounds - >= 215753 @ 891.406
994.46/998.25	c GLOBAL bounds - >= 215753 @ 896.636
995.55/999.30	c GLOBAL bounds - >= 215753 @ 897.495
996.36/1000.12	c GLOBAL bounds - >= 215753 @ 898.124
1020.27/1024.17	c GLOBAL bounds - >= 215753 @ 921.619
1042.28/1046.30	c GLOBAL bounds - >= 223287 @ 943.35
1042.89/1046.92	c GLOBAL bounds - >= 223287 @ 943.917
1045.67/1049.76	c GLOBAL bounds - >= 223287 @ 946.499
1045.78/1049.84	c GLOBAL bounds - >= 223287 @ 946.555
1046.28/1050.35	c GLOBAL bounds - >= 223287 @ 946.875
1046.37/1050.43	c GLOBAL bounds - >= 223287 @ 946.928
1046.77/1050.86	c GLOBAL bounds - >= 223287 @ 947.183
1046.88/1051.01	c GLOBAL bounds - >= 223287 @ 947.29
1047.37/1051.44	c GLOBAL bounds - >= 223287 @ 947.54
1047.47/1051.59	c GLOBAL bounds - >= 223287 @ 947.648
1047.99/1052.02	c GLOBAL bounds - >= 223287 @ 947.917
1048.09/1052.17	c GLOBAL bounds - >= 223287 @ 948.034
1048.47/1052.50	c GLOBAL bounds - >= 223287 @ 948.193
1048.57/1052.65	c GLOBAL bounds - >= 223287 @ 948.294
1048.98/1053.06	c GLOBAL bounds - >= 223287 @ 948.533
1049.17/1053.21	c GLOBAL bounds - >= 223287 @ 948.642
1049.46/1053.53	c GLOBAL bounds - >= 223287 @ 948.818
1049.56/1053.68	c GLOBAL bounds - >= 223287 @ 948.926
1049.98/1054.10	c GLOBAL bounds - >= 223287 @ 949.181
1050.16/1054.25	c GLOBAL bounds - >= 223287 @ 949.295
1050.57/1054.65	c GLOBAL bounds - >= 223287 @ 949.531
1051.36/1055.41	c GLOBAL bounds - >= 223287 @ 950.129
1051.86/1055.91	c GLOBAL bounds - >= 223287 @ 950.458
1052.26/1056.38	c GLOBAL bounds - >= 223287 @ 950.774
1052.76/1056.87	c GLOBAL bounds - >= 223287 @ 951.102
1053.56/1057.66	c GLOBAL bounds - >= 223287 @ 951.716
1056.55/1060.67	c GLOBAL bounds - >= 223287 @ 954.527
1057.15/1061.28	c GLOBAL bounds - >= 223287 @ 954.965
1057.64/1061.77	c GLOBAL bounds - >= 223287 @ 955.293
1060.64/1064.76	c GLOBAL bounds - >= 223287 @ 958.054
1061.34/1065.41	c GLOBAL bounds - >= 223287 @ 958.533
1061.84/1065.94	c GLOBAL bounds - >= 223287 @ 958.891
1062.33/1066.48	c GLOBAL bounds - >= 223287 @ 959.26
1063.24/1067.37	c GLOBAL bounds - >= 223287 @ 959.983
1063.83/1067.91	c GLOBAL bounds - >= 223287 @ 960.367
1066.93/1071.04	c GLOBAL bounds - >= 223287 @ 963.257
1068.42/1072.53	c GLOBAL bounds - >= 223287 @ 964.56
1069.03/1073.15	c GLOBAL bounds - >= 223287 @ 965.006
1070.61/1074.72	c GLOBAL bounds - >= 223287 @ 966.386
1071.92/1076.01	c GLOBAL bounds - >= 223287 @ 967.499
1072.92/1077.03	c GLOBAL bounds - >= 223287 @ 968.329
1077.59/1081.76	c GLOBAL bounds - >= 225693 @ 972.972
1078.01/1082.14	c GLOBAL bounds - >= 225693 @ 973.304
1078.90/1083.02	c GLOBAL bounds - >= 225693 @ 973.976
1079.00/1083.15	c GLOBAL bounds - >= 225693 @ 974.065
1079.58/1083.73	c GLOBAL bounds - >= 225693 @ 974.443
1079.69/1083.88	c GLOBAL bounds - >= 225693 @ 974.551
1080.29/1084.43	c GLOBAL bounds - >= 225693 @ 974.922
1080.39/1084.58	c GLOBAL bounds - >= 225693 @ 975.034
1080.89/1085.10	c GLOBAL bounds - >= 225693 @ 975.349
1081.08/1085.25	c GLOBAL bounds - >= 225693 @ 975.458
1081.58/1085.73	c GLOBAL bounds - >= 225693 @ 975.763
1081.68/1085.88	c GLOBAL bounds - >= 225693 @ 975.876
1082.18/1086.35	c GLOBAL bounds - >= 225693 @ 976.15
1082.38/1086.50	c GLOBAL bounds - >= 225693 @ 976.272
1082.78/1086.98	c GLOBAL bounds - >= 225693 @ 976.545
1082.99/1087.12	c GLOBAL bounds - >= 225693 @ 976.654
1083.37/1087.58	c GLOBAL bounds - >= 225693 @ 976.94
1083.58/1087.73	c GLOBAL bounds - >= 225693 @ 977.054
1083.99/1088.17	c GLOBAL bounds - >= 225693 @ 977.319
1084.18/1088.32	c GLOBAL bounds - >= 225693 @ 977.429
1084.47/1088.66	c GLOBAL bounds - >= 225693 @ 977.59
1085.88/1090.09	c GLOBAL bounds - >= 225693 @ 978.825
1086.47/1090.66	c GLOBAL bounds - >= 225693 @ 979.207
1089.06/1093.23	c GLOBAL bounds - >= 225693 @ 981.529
1094.86/1099.11	c GLOBAL bounds - >= 225693 @ 987.086
1095.64/1099.81	c GLOBAL bounds - >= 225693 @ 987.595
1096.54/1100.78	c GLOBAL bounds - >= 225693 @ 988.374
1102.42/1106.66	c #Conflicts:       6000 | #Constraints:   14175350
1102.42/1106.66	c GLOBAL bounds - >= 225693 @ 993.997
1103.51/1107.78	c GLOBAL bounds - >= 225693 @ 994.928
1104.71/1108.95	c GLOBAL bounds - >= 225693 @ 995.905
1117.27/1121.59	c GLOBAL bounds - >= 225693 @ 1008.19
1124.58/1128.98	c GLOBAL bounds - >= 225693 @ 1015.19
1125.37/1129.78	c GLOBAL bounds - >= 225693 @ 1015.79
1125.57/1129.96	c GLOBAL bounds - >= 225693 @ 1015.97
1125.87/1130.25	c GLOBAL bounds - >= 225693 @ 1016.21
1127.11/1131.55	c GLOBAL bounds - >= 225693 @ 1017.07
1127.30/1131.75	c GLOBAL bounds - >= 225693 @ 1017.2
1128.01/1132.47	c GLOBAL bounds - >= 225693 @ 1017.68
1128.20/1132.62	c GLOBAL bounds - >= 225693 @ 1017.8
1128.80/1133.20	c GLOBAL bounds - >= 225693 @ 1018.19
1128.91/1133.35	c GLOBAL bounds - >= 225693 @ 1018.3
1129.40/1133.83	c GLOBAL bounds - >= 225693 @ 1018.59
1129.50/1133.98	c GLOBAL bounds - >= 225693 @ 1018.7
1129.90/1134.38	c GLOBAL bounds - >= 225693 @ 1018.94
1130.10/1134.53	c GLOBAL bounds - >= 225693 @ 1019.06
1130.49/1134.95	c GLOBAL bounds - >= 225693 @ 1019.3
1130.61/1135.11	c GLOBAL bounds - >= 225693 @ 1019.42
1130.99/1135.49	c GLOBAL bounds - >= 225693 @ 1019.63
1131.20/1135.65	c GLOBAL bounds - >= 225693 @ 1019.75
1131.61/1136.04	c GLOBAL bounds - >= 225693 @ 1019.96
1131.71/1136.19	c GLOBAL bounds - >= 225693 @ 1020.08
1132.10/1136.58	c GLOBAL bounds - >= 225693 @ 1020.31
1132.29/1136.75	c GLOBAL bounds - >= 225693 @ 1020.44
1132.70/1137.15	c GLOBAL bounds - >= 225693 @ 1020.68
1133.09/1137.53	c GLOBAL bounds - >= 225693 @ 1020.91
1133.49/1138.00	c GLOBAL bounds - >= 225693 @ 1021.23
1133.98/1138.45	c GLOBAL bounds - >= 225693 @ 1021.52
1134.39/1138.84	c GLOBAL bounds - >= 225693 @ 1021.74
1134.79/1139.22	c GLOBAL bounds - >= 225693 @ 1021.97
1135.18/1139.68	c GLOBAL bounds - >= 225693 @ 1022.27
1135.69/1140.15	c GLOBAL bounds - >= 225693 @ 1022.57
1136.18/1140.65	c GLOBAL bounds - >= 225693 @ 1022.91
1136.69/1141.14	c GLOBAL bounds - >= 225693 @ 1023.23
1137.18/1141.65	c GLOBAL bounds - >= 225693 @ 1023.59
1138.38/1142.86	c GLOBAL bounds - >= 225693 @ 1024.61
1138.88/1143.37	c GLOBAL bounds - >= 225693 @ 1024.97
1141.77/1146.26	c GLOBAL bounds - >= 225693 @ 1027.59
1149.05/1153.51	c GLOBAL bounds - >= 225693 @ 1034.48
1149.84/1154.31	c GLOBAL bounds - >= 225693 @ 1035.09
1188.83/1193.42	c GLOBAL bounds - >= 225693 @ 1073.11
1198.20/1202.89	c GLOBAL bounds - >= 225693 @ 1082.23
1200.20/1204.83	c GLOBAL bounds - >= 225693 @ 1083.97
1289.07/1294.18	c INPROCESSING
1289.07/1294.18	c GARBAGE COLLECT
1289.07/1294.18	c GLOBAL bounds - >= 225693 @ 1171.38
1342.77/1348.08	c #Conflicts:       7000 | #Constraints:   14878083
1342.77/1348.08	c GLOBAL bounds - >= 233635 @ 1224.43
1343.27/1348.56	c GLOBAL bounds - >= 233635 @ 1224.87
1406.74/1412.27	c GLOBAL bounds - >= 233635 @ 1287.31
1406.85/1412.34	c GLOBAL bounds - >= 233635 @ 1287.36
1408.44/1413.90	c GLOBAL bounds - >= 233635 @ 1288.71
1408.55/1414.05	c GLOBAL bounds - >= 233635 @ 1288.81
1409.04/1414.55	c GLOBAL bounds - >= 233635 @ 1289.14
1409.24/1414.70	c GLOBAL bounds - >= 233635 @ 1289.25
1409.65/1415.17	c GLOBAL bounds - >= 233635 @ 1289.55
1409.84/1415.32	c GLOBAL bounds - >= 233635 @ 1289.66
1410.24/1415.77	c GLOBAL bounds - >= 233635 @ 1289.94
1410.44/1415.91	c GLOBAL bounds - >= 233635 @ 1290.04
1410.73/1416.27	c GLOBAL bounds - >= 233635 @ 1290.23
1410.94/1416.42	c GLOBAL bounds - >= 233635 @ 1290.34
1411.33/1416.86	c GLOBAL bounds - >= 233635 @ 1290.61
1411.43/1417.01	c GLOBAL bounds - >= 233635 @ 1290.72
1411.93/1417.46	c GLOBAL bounds - >= 233635 @ 1291
1412.13/1417.60	c GLOBAL bounds - >= 233635 @ 1291.11
1412.54/1418.02	c GLOBAL bounds - >= 233635 @ 1291.36
1412.64/1418.16	c GLOBAL bounds - >= 233635 @ 1291.47
1413.03/1418.59	c GLOBAL bounds - >= 233635 @ 1291.73
1413.54/1419.07	c GLOBAL bounds - >= 233635 @ 1292.06
1414.53/1420.02	c GLOBAL bounds - >= 233635 @ 1292.82
1415.02/1420.54	c GLOBAL bounds - >= 233635 @ 1293.19
1415.54/1421.04	c GLOBAL bounds - >= 233635 @ 1293.54
1416.03/1421.54	c GLOBAL bounds - >= 233635 @ 1293.88
1422.30/1427.84	c GLOBAL bounds - >= 233635 @ 1299.92
1424.10/1429.66	c GLOBAL bounds - >= 233635 @ 1301.55
1427.19/1432.71	c GLOBAL bounds - >= 233635 @ 1304.39
1449.09/1454.74	c GLOBAL bounds - >= 233635 @ 1325.83
1449.69/1455.33	c GLOBAL bounds - >= 233635 @ 1326.24
1459.95/1465.65	c #Conflicts:       8000 | #Constraints:   15194832
1459.95/1465.65	c GLOBAL bounds - >= 233635 @ 1336.18
1462.05/1467.79	c GLOBAL bounds - >= 233635 @ 1338.12
1465.35/1471.04	c GLOBAL bounds - >= 233635 @ 1341.15
1497.62/1503.53	c GLOBAL bounds - >= 233635 @ 1372.85
1498.42/1504.34	c GLOBAL bounds - >= 233635 @ 1373.47
1523.24/1529.23	c GLOBAL bounds - >= 245239 @ 1398.02
1523.85/1529.80	c GLOBAL bounds - >= 245239 @ 1398.57
1527.84/1533.83	c GLOBAL bounds - >= 245239 @ 1402.35
1527.93/1533.92	c GLOBAL bounds - >= 245239 @ 1402.41
1528.34/1534.31	c GLOBAL bounds - >= 245239 @ 1402.65
1528.34/1534.38	c GLOBAL bounds - >= 245239 @ 1402.69
1528.73/1534.77	c GLOBAL bounds - >= 245239 @ 1402.91
1528.93/1534.92	c GLOBAL bounds - >= 245239 @ 1403.02
1529.33/1535.31	c GLOBAL bounds - >= 245239 @ 1403.25
1529.43/1535.45	c GLOBAL bounds - >= 245239 @ 1403.36
1529.83/1535.84	c GLOBAL bounds - >= 245239 @ 1403.58
1529.93/1535.99	c GLOBAL bounds - >= 245239 @ 1403.7
1530.33/1536.39	c GLOBAL bounds - >= 245239 @ 1403.94
1530.52/1536.54	c GLOBAL bounds - >= 245239 @ 1404.04
1530.93/1536.92	c GLOBAL bounds - >= 245239 @ 1404.27
1531.04/1537.07	c GLOBAL bounds - >= 245239 @ 1404.38
1531.43/1537.46	c GLOBAL bounds - >= 245239 @ 1404.59
1531.62/1537.61	c GLOBAL bounds - >= 245239 @ 1404.71
1531.93/1538.00	c GLOBAL bounds - >= 245239 @ 1404.92
1532.04/1538.06	c GLOBAL bounds - >= 245239 @ 1404.96
1532.42/1538.47	c GLOBAL bounds - >= 245239 @ 1405.21
1532.82/1538.85	c GLOBAL bounds - >= 245239 @ 1405.44
1533.22/1539.24	c GLOBAL bounds - >= 245239 @ 1405.67
1536.41/1542.47	c GLOBAL bounds - >= 245239 @ 1408.67
1539.80/1545.87	c GLOBAL bounds - >= 245239 @ 1411.85
1543.29/1549.39	c GLOBAL bounds - >= 245239 @ 1415.14
1544.29/1550.33	c GLOBAL bounds - >= 245239 @ 1415.92
1546.58/1552.69	c GLOBAL bounds - >= 245239 @ 1418.08
1548.09/1554.15	c GLOBAL bounds - >= 245239 @ 1419.36
1549.47/1555.57	c GLOBAL bounds - >= 245239 @ 1420.62
1549.98/1556.03	c GLOBAL bounds - >= 245239 @ 1420.93
1552.27/1558.38	c GLOBAL bounds - >= 245239 @ 1423.06
1561.31/1567.44	c GLOBAL bounds - >= 245239 @ 1431.7
1562.30/1568.42	c GLOBAL bounds - >= 245239 @ 1432.49
1563.99/1570.17	c GLOBAL bounds - >= 245239 @ 1434.02
1576.73/1582.99	c GLOBAL bounds - >= 245239 @ 1446.44
1605.84/1612.12	c GLOBAL bounds - >= 245239 @ 1474.81
1633.04/1639.46	c #Conflicts:       9000 | #Constraints:   15580511
1633.04/1639.46	c GLOBAL bounds - >= 245239 @ 1501.36
1646.01/1652.43	c GLOBAL bounds - >= 245239 @ 1513.91
1682.00/1688.50	c INPROCESSING
1682.00/1688.50	c GARBAGE COLLECT
1682.00/1688.50	c GLOBAL bounds - >= 245239 @ 1549.03
1684.99/1691.56	c GLOBAL bounds - >= 245239 @ 1551.88
1687.60/1694.18	c GLOBAL bounds - >= 245239 @ 1554.32
1688.38/1694.96	c GLOBAL bounds - >= 245239 @ 1554.91
1689.49/1696.09	c GLOBAL bounds - >= 245239 @ 1555.85
1696.95/1703.51	c GLOBAL bounds - >= 245239 @ 1562.97
1791.35/1798.30	c GLOBAL bounds - >= 245239 @ 1656.02
1799.43/1806.49	c #Conflicts:      10000 | #Constraints:   15864380
1799.43/1806.49	c GLOBAL bounds - >= 245239 @ 1663.92
1844.19/1851.33	c GLOBAL bounds - >= 256724 @ 1708.11
1845.00/1852.11	c GLOBAL bounds - >= 256724 @ 1708.85
1846.18/1853.39	c GLOBAL bounds - >= 256724 @ 1709.92
1846.39/1853.54	c GLOBAL bounds - >= 256724 @ 1710.03
1848.18/1855.34	c GLOBAL bounds - >= 256724 @ 1711.6
1848.28/1855.50	c GLOBAL bounds - >= 256724 @ 1711.72
1848.77/1855.95	c GLOBAL bounds - >= 256724 @ 1712
1848.89/1856.10	c GLOBAL bounds - >= 256724 @ 1712.11
1849.37/1856.56	c GLOBAL bounds - >= 256724 @ 1712.37
1849.57/1856.71	c GLOBAL bounds - >= 256724 @ 1712.47
1849.99/1857.17	c GLOBAL bounds - >= 256724 @ 1712.74
1850.17/1857.32	c GLOBAL bounds - >= 256724 @ 1712.85
1850.67/1857.87	c GLOBAL bounds - >= 256724 @ 1713.23
1850.88/1858.02	c GLOBAL bounds - >= 256724 @ 1713.34
1851.37/1858.54	c GLOBAL bounds - >= 256724 @ 1713.68
1851.47/1858.68	c GLOBAL bounds - >= 256724 @ 1713.78
1852.06/1859.20	c GLOBAL bounds - >= 256724 @ 1714.12
1852.16/1859.34	c GLOBAL bounds - >= 256724 @ 1714.23
1852.56/1859.73	c GLOBAL bounds - >= 256724 @ 1714.44
1852.67/1859.88	c GLOBAL bounds - >= 256724 @ 1714.55
1853.17/1860.35	c GLOBAL bounds - >= 256724 @ 1714.84
1853.66/1860.88	c GLOBAL bounds - >= 256724 @ 1715.2
1858.25/1865.44	c GLOBAL bounds - >= 256724 @ 1719.49
1858.87/1866.03	c GLOBAL bounds - >= 256724 @ 1719.89
1859.54/1866.70	c GLOBAL bounds - >= 256724 @ 1720.4
1861.95/1869.15	c GLOBAL bounds - >= 256724 @ 1722.65
1862.53/1869.78	c GLOBAL bounds - >= 256724 @ 1723.11
1866.33/1873.55	c GLOBAL bounds - >= 256724 @ 1726.64
1868.22/1875.41	c GLOBAL bounds - >= 256724 @ 1728.3
1868.83/1876.10	c GLOBAL bounds - >= 256724 @ 1728.81
1871.21/1878.41	c GLOBAL bounds - >= 256724 @ 1730.93
1872.11/1879.35	c GLOBAL bounds - >= 256724 @ 1731.7
1873.71/1880.99	c GLOBAL bounds - >= 256724 @ 1733.14
1892.53/1899.83	c GLOBAL bounds - >= 256724 @ 1751.53
1989.54/1997.38	c #Conflicts:      11000 | #Constraints:   16505347
1989.54/1997.38	c GLOBAL bounds - >= 256724 @ 1847.18
1990.94/1998.70	c GLOBAL bounds - >= 256724 @ 1848.31
2022.75/2030.68	c GLOBAL bounds - >= 256724 @ 1879.71
2025.74/2033.62	c GLOBAL bounds - >= 256724 @ 1882.44
2029.43/2037.33	c GLOBAL bounds - >= 264149 @ 1886.12
2030.03/2037.98	c GLOBAL bounds - >= 264149 @ 1886.72
2030.62/2038.53	c GLOBAL bounds - >= 264149 @ 1887.1
2030.73/2038.63	c GLOBAL bounds - >= 264149 @ 1887.17
2031.14/2039.03	c GLOBAL bounds - >= 264149 @ 1887.4
2031.24/2039.18	c GLOBAL bounds - >= 264149 @ 1887.52
2031.62/2039.57	c GLOBAL bounds - >= 264149 @ 1887.75
2031.82/2039.72	c GLOBAL bounds - >= 264149 @ 1887.86
2032.13/2040.11	c GLOBAL bounds - >= 264149 @ 1888.09
2032.32/2040.25	c GLOBAL bounds - >= 264149 @ 1888.2
2032.72/2040.64	c GLOBAL bounds - >= 264149 @ 1888.42
2032.82/2040.79	c GLOBAL bounds - >= 264149 @ 1888.52
2033.23/2041.17	c GLOBAL bounds - >= 264149 @ 1888.74
2033.41/2041.32	c GLOBAL bounds - >= 264149 @ 1888.86
2033.82/2041.70	c GLOBAL bounds - >= 264149 @ 1889.09
2033.91/2041.83	c GLOBAL bounds - >= 264149 @ 1889.18
2034.32/2042.22	c GLOBAL bounds - >= 264149 @ 1889.4
2034.50/2042.44	c GLOBAL bounds - >= 264149 @ 1889.53
2034.90/2042.85	c GLOBAL bounds - >= 264149 @ 1889.77
2035.00/2043.01	c GLOBAL bounds - >= 264149 @ 1889.87
2035.40/2043.39	c GLOBAL bounds - >= 264149 @ 1890.09
2036.00/2043.97	c GLOBAL bounds - >= 264149 @ 1890.51
2036.89/2044.85	c GLOBAL bounds - >= 264149 @ 1891.22
2037.39/2045.32	c GLOBAL bounds - >= 264149 @ 1891.55
2038.10/2046.09	c GLOBAL bounds - >= 264149 @ 1892.16
2039.98/2048.00	c GLOBAL bounds - >= 264149 @ 1893.86
2042.68/2050.68	c GLOBAL bounds - >= 264149 @ 1896.35
2044.57/2052.56	c GLOBAL bounds - >= 264149 @ 1898.04
2069.50/2077.56	c GLOBAL bounds - >= 264149 @ 1922.41
2076.38/2084.45	c GLOBAL bounds - >= 264149 @ 1928.98
2097.00/2105.18	c GLOBAL bounds - >= 264149 @ 1949.17
2125.40/2133.67	c GLOBAL bounds - >= 264149 @ 1977.03
2129.48/2137.76	c GLOBAL bounds - >= 264149 @ 1980.91
2130.89/2139.12	c GLOBAL bounds - >= 267100 @ 1982.25
2131.49/2139.70	c GLOBAL bounds - >= 267100 @ 1982.76
2131.59/2139.85	c GLOBAL bounds - >= 267100 @ 1982.88
2131.68/2139.95	c GLOBAL bounds - >= 267100 @ 1982.94
2132.18/2140.48	c GLOBAL bounds - >= 267100 @ 1983.29
2132.37/2140.64	c GLOBAL bounds - >= 267100 @ 1983.41
2132.89/2141.17	c GLOBAL bounds - >= 267100 @ 1983.75
2133.08/2141.33	c GLOBAL bounds - >= 267100 @ 1983.86
2133.57/2141.84	c GLOBAL bounds - >= 267100 @ 1984.2
2133.68/2142.00	c GLOBAL bounds - >= 267100 @ 1984.32
2134.27/2142.50	c GLOBAL bounds - >= 267100 @ 1984.65
2134.38/2142.65	c GLOBAL bounds - >= 267100 @ 1984.77
2134.89/2143.14	c GLOBAL bounds - >= 267100 @ 1985.07
2135.07/2143.30	c GLOBAL bounds - >= 267100 @ 1985.19
2135.47/2143.77	c GLOBAL bounds - >= 267100 @ 1985.47
2135.67/2143.92	c GLOBAL bounds - >= 267100 @ 1985.59
2136.07/2144.37	c GLOBAL bounds - >= 267100 @ 1985.87
2136.27/2144.53	c GLOBAL bounds - >= 267100 @ 1985.99
2136.67/2144.97	c GLOBAL bounds - >= 267100 @ 1986.26
2136.88/2145.12	c GLOBAL bounds - >= 267100 @ 1986.39
2137.27/2145.54	c GLOBAL bounds - >= 267100 @ 1986.63
2137.46/2145.70	c GLOBAL bounds - >= 267100 @ 1986.75
2137.88/2146.11	c GLOBAL bounds - >= 267100 @ 1987
2138.26/2146.60	c GLOBAL bounds - >= 267100 @ 1987.32
2138.87/2147.12	c GLOBAL bounds - >= 267100 @ 1987.68
2139.56/2147.83	c GLOBAL bounds - >= 267100 @ 1988.22
2140.06/2148.35	c GLOBAL bounds - >= 267100 @ 1988.56
2140.66/2149.00	c GLOBAL bounds - >= 267100 @ 1989.04
2141.26/2149.54	c GLOBAL bounds - >= 267100 @ 1989.4
2141.95/2150.21	c GLOBAL bounds - >= 267100 @ 1989.9
2143.05/2151.32	c GLOBAL bounds - >= 267100 @ 1990.83
2147.33/2155.66	c GLOBAL bounds - >= 267100 @ 1994.91
2154.61/2162.94	c GLOBAL bounds - >= 267100 @ 2001.88
2215.64/2224.16	c #Conflicts:      12000 | #Constraints:   17218297
2215.64/2224.16	c INPROCESSING
2215.64/2224.16	c GARBAGE COLLECT
2215.64/2224.16	c GLOBAL bounds - >= 267100 @ 2061.64
2216.81/2225.36	c GLOBAL bounds - >= 267100 @ 2062.66
2222.00/2230.53	c GLOBAL bounds - >= 267100 @ 2067.58
2234.49/2243.12	c GLOBAL bounds - >= 267100 @ 2079.46
2284.41/2293.27	c GLOBAL bounds - >= 267100 @ 2128.69
2407.59/2416.92	c #Conflicts:      13000 | #Constraints:   17372363
2407.59/2416.92	c GLOBAL bounds - >= 280789 @ 2250.33
2408.48/2417.80	c GLOBAL bounds - >= 280789 @ 2251.14
2413.68/2423.10	c GLOBAL bounds - >= 280789 @ 2256.18
2413.79/2423.17	c GLOBAL bounds - >= 280789 @ 2256.23
2414.17/2423.59	c GLOBAL bounds - >= 280789 @ 2256.47
2414.36/2423.72	c GLOBAL bounds - >= 280789 @ 2256.57
2414.77/2424.13	c GLOBAL bounds - >= 280789 @ 2256.82
2414.86/2424.27	c GLOBAL bounds - >= 280789 @ 2256.91
2415.26/2424.67	c GLOBAL bounds - >= 280789 @ 2257.14
2415.47/2424.80	c GLOBAL bounds - >= 280789 @ 2257.24
2415.86/2425.20	c GLOBAL bounds - >= 280789 @ 2257.48
2415.96/2425.36	c GLOBAL bounds - >= 280789 @ 2257.59
2416.36/2425.78	c GLOBAL bounds - >= 280789 @ 2257.85
2416.56/2425.93	c GLOBAL bounds - >= 280789 @ 2257.97
2416.96/2426.33	c GLOBAL bounds - >= 280789 @ 2258.2
2417.06/2426.49	c GLOBAL bounds - >= 280789 @ 2258.31
2417.46/2426.88	c GLOBAL bounds - >= 280789 @ 2258.55
2417.67/2427.03	c GLOBAL bounds - >= 280789 @ 2258.67
2418.05/2427.46	c GLOBAL bounds - >= 280789 @ 2258.92
2418.26/2427.61	c GLOBAL bounds - >= 280789 @ 2259.04
2418.55/2428.00	c GLOBAL bounds - >= 280789 @ 2259.27
2419.15/2428.52	c GLOBAL bounds - >= 280789 @ 2259.64
2419.66/2429.09	c GLOBAL bounds - >= 280789 @ 2260.05
2420.05/2429.46	c GLOBAL bounds - >= 280789 @ 2260.26
2420.55/2429.93	c GLOBAL bounds - >= 280789 @ 2260.57
2421.34/2430.79	c GLOBAL bounds - >= 280789 @ 2261.27
2424.65/2434.09	c GLOBAL bounds - >= 280789 @ 2264.36
2425.14/2434.59	c GLOBAL bounds - >= 280789 @ 2264.69
2425.65/2435.08	c GLOBAL bounds - >= 280789 @ 2265.03
2426.13/2435.57	c GLOBAL bounds - >= 280789 @ 2265.36
2426.64/2436.07	c GLOBAL bounds - >= 280789 @ 2265.7
2430.82/2440.22	c GLOBAL bounds - >= 280789 @ 2269.62
2434.21/2443.60	c GLOBAL bounds - >= 280789 @ 2272.79
2438.60/2448.03	c GLOBAL bounds - >= 280789 @ 2276.98
2439.99/2449.45	c GLOBAL bounds - >= 280789 @ 2278.21
2440.79/2450.25	c GLOBAL bounds - >= 280789 @ 2278.84
2443.05/2452.53	c GLOBAL bounds - >= 280789 @ 2280.86
2444.84/2454.33	c GLOBAL bounds - >= 280789 @ 2282.46
2445.83/2455.38	c GLOBAL bounds - >= 280789 @ 2283.34
2446.84/2456.36	c GLOBAL bounds - >= 280789 @ 2284.12
2463.68/2473.26	c GLOBAL bounds - >= 280789 @ 2300.57
2490.30/2499.98	c GLOBAL bounds - >= 280789 @ 2326.74
2503.87/2513.60	c GLOBAL bounds - >= 280789 @ 2339.91
2504.66/2514.48	c GLOBAL bounds - >= 280789 @ 2340.61
2506.05/2515.81	c GLOBAL bounds - >= 280789 @ 2341.53
2528.19/2538.05	c #Conflicts:      14000 | #Constraints:   17714273
2528.19/2538.05	c GLOBAL bounds - >= 280789 @ 2363.2
2529.58/2539.42	c GLOBAL bounds - >= 280789 @ 2364.38
2531.07/2541.01	c GLOBAL bounds - >= 280789 @ 2365.78
2565.77/2575.70	c GLOBAL bounds - >= 280789 @ 2399.84
2589.28/2599.38	c GLOBAL bounds - >= 280789 @ 2423.02
2592.67/2602.75	c GLOBAL bounds - >= 280789 @ 2426.16
2681.15/2691.66	c GLOBAL bounds - >= 286385 @ 2513.68
2681.75/2692.24	c GLOBAL bounds - >= 286385 @ 2514.19
2714.05/2724.64	c GLOBAL bounds - >= 286385 @ 2545.91
2714.15/2724.79	c GLOBAL bounds - >= 286385 @ 2546.01
2714.85/2725.47	c GLOBAL bounds - >= 286385 @ 2546.48
2715.05/2725.61	c GLOBAL bounds - >= 286385 @ 2546.59
2715.46/2726.04	c GLOBAL bounds - >= 286385 @ 2546.85
2715.57/2726.19	c GLOBAL bounds - >= 286385 @ 2546.96
2716.05/2726.61	c GLOBAL bounds - >= 286385 @ 2547.21
2716.15/2726.76	c GLOBAL bounds - >= 286385 @ 2547.32
2716.57/2727.17	c GLOBAL bounds - >= 286385 @ 2547.57
2716.75/2727.32	c GLOBAL bounds - >= 286385 @ 2547.69
2717.15/2727.73	c GLOBAL bounds - >= 286385 @ 2547.92
2717.25/2727.88	c GLOBAL bounds - >= 286385 @ 2548.03
2717.64/2728.28	c GLOBAL bounds - >= 286385 @ 2548.27
2717.85/2728.43	c GLOBAL bounds - >= 286385 @ 2548.38
2718.25/2728.84	c GLOBAL bounds - >= 286385 @ 2548.62
2718.35/2728.99	c GLOBAL bounds - >= 286385 @ 2548.73
2718.75/2729.31	c GLOBAL bounds - >= 286385 @ 2548.88
2718.84/2729.46	c GLOBAL bounds - >= 286385 @ 2548.99
2719.24/2729.86	c GLOBAL bounds - >= 286385 @ 2549.22
2719.95/2730.54	c GLOBAL bounds - >= 286385 @ 2549.75
2720.46/2731.09	c GLOBAL bounds - >= 286385 @ 2550.14
2720.84/2731.48	c GLOBAL bounds - >= 286385 @ 2550.38
2721.55/2732.13	c GLOBAL bounds - >= 286385 @ 2550.87
2721.94/2732.52	c GLOBAL bounds - >= 286385 @ 2551.1
2758.72/2769.45	c #Conflicts:      15000 | #Constraints:   17995241
2758.72/2769.45	c INPROCESSING
2758.72/2769.45	c GARBAGE COLLECT
2758.72/2769.45	c GLOBAL bounds - >= 286385 @ 2586.97
2759.92/2770.63	c GLOBAL bounds - >= 286385 @ 2587.98
2761.01/2771.79	c GLOBAL bounds - >= 286385 @ 2588.98
2761.51/2772.26	c GLOBAL bounds - >= 286385 @ 2589.29
2762.11/2772.86	c GLOBAL bounds - >= 286385 @ 2589.74
2762.71/2773.43	c GLOBAL bounds - >= 286385 @ 2590.16
2763.20/2773.90	c GLOBAL bounds - >= 286385 @ 2590.47
2763.60/2774.37	c GLOBAL bounds - >= 286385 @ 2590.76
2764.11/2774.87	c GLOBAL bounds - >= 286385 @ 2591.11
2765.20/2775.93	c GLOBAL bounds - >= 286385 @ 2592
2765.70/2776.42	c GLOBAL bounds - >= 286385 @ 2592.34
2766.60/2777.30	c GLOBAL bounds - >= 286385 @ 2593.06
2772.78/2783.58	c GLOBAL bounds - >= 286385 @ 2599.08
2775.98/2786.77	c GLOBAL bounds - >= 286385 @ 2602.07
2778.17/2788.91	c GLOBAL bounds - >= 286385 @ 2604.01
2819.90/2830.93	c GLOBAL bounds - >= 286385 @ 2644.88
2925.58/2936.98	c #Conflicts:      16000 | #Constraints:   18149364
2925.58/2936.98	c GLOBAL bounds - >= 294894 @ 2749.16
2926.48/2937.82	c GLOBAL bounds - >= 294894 @ 2749.92
2926.57/2937.96	c GLOBAL bounds - >= 294894 @ 2750.02
2926.68/2938.02	c GLOBAL bounds - >= 294894 @ 2750.06
2928.27/2939.65	c GLOBAL bounds - >= 294894 @ 2751.47
2928.47/2939.81	c GLOBAL bounds - >= 294894 @ 2751.58
2929.36/2940.76	c GLOBAL bounds - >= 294894 @ 2752.34
2929.57/2940.91	c GLOBAL bounds - >= 294894 @ 2752.44
2930.06/2941.41	c GLOBAL bounds - >= 294894 @ 2752.76
2930.16/2941.56	c GLOBAL bounds - >= 294894 @ 2752.87
2930.68/2942.04	c GLOBAL bounds - >= 294894 @ 2753.18
2930.77/2942.19	c GLOBAL bounds - >= 294894 @ 2753.29
2931.26/2942.66	c GLOBAL bounds - >= 294894 @ 2753.59
2931.46/2942.81	c GLOBAL bounds - >= 294894 @ 2753.7
2931.86/2943.28	c GLOBAL bounds - >= 294894 @ 2753.99
2932.06/2943.42	c GLOBAL bounds - >= 294894 @ 2754.1
2932.46/2943.88	c GLOBAL bounds - >= 294894 @ 2754.39
2932.66/2944.04	c GLOBAL bounds - >= 294894 @ 2754.5
2933.06/2944.49	c GLOBAL bounds - >= 294894 @ 2754.77
2933.26/2944.64	c GLOBAL bounds - >= 294894 @ 2754.89
2933.67/2945.09	c GLOBAL bounds - >= 294894 @ 2755.16
2933.86/2945.24	c GLOBAL bounds - >= 294894 @ 2755.28
2934.25/2945.68	c GLOBAL bounds - >= 294894 @ 2755.55
2934.66/2946.11	c GLOBAL bounds - >= 294894 @ 2755.82
2935.15/2946.54	c GLOBAL bounds - >= 294894 @ 2756.09
2935.55/2946.97	c GLOBAL bounds - >= 294894 @ 2756.36
2936.15/2947.52	c GLOBAL bounds - >= 294894 @ 2756.75
2936.84/2948.22	c GLOBAL bounds - >= 294894 @ 2757.28
2937.44/2948.88	c GLOBAL bounds - >= 294894 @ 2757.77
2938.65/2950.02	c GLOBAL bounds - >= 294894 @ 2758.73
2939.24/2950.61	c GLOBAL bounds - >= 294894 @ 2759.16
2939.76/2951.20	c GLOBAL bounds - >= 294894 @ 2759.57
2947.42/2958.86	c GLOBAL bounds - >= 294894 @ 2766.93
2958.28/2969.73	c GLOBAL bounds - >= 294894 @ 2777.46
2973.44/2984.94	c GLOBAL bounds - >= 294894 @ 2792.21
2974.43/2985.92	c GLOBAL bounds - >= 294894 @ 2793.02
2975.43/2986.97	c GLOBAL bounds - >= 294894 @ 2793.9
2977.43/2988.94	c GLOBAL bounds - >= 294894 @ 2795.68
2981.21/2992.79	c GLOBAL bounds - >= 294894 @ 2799.3
3147.70/3159.83	c #Conflicts:      17000 | #Constraints:   18611709
3147.70/3159.83	c GLOBAL bounds - >= 303075 @ 2963.77
3148.40/3160.56	c GLOBAL bounds - >= 303075 @ 2964.34
3148.59/3160.70	c GLOBAL bounds - >= 303075 @ 2964.44
3148.69/3160.84	c GLOBAL bounds - >= 303075 @ 2964.55
3150.28/3162.46	c GLOBAL bounds - >= 303075 @ 2965.97
3150.49/3162.61	c GLOBAL bounds - >= 303075 @ 2966.08
3151.00/3163.15	c GLOBAL bounds - >= 303075 @ 2966.44
3151.19/3163.30	c GLOBAL bounds - >= 303075 @ 2966.55
3151.69/3163.82	c GLOBAL bounds - >= 303075 @ 2966.9
3151.79/3163.97	c GLOBAL bounds - >= 303075 @ 2967
3152.29/3164.40	c GLOBAL bounds - >= 303075 @ 2967.24
3152.38/3164.54	c GLOBAL bounds - >= 303075 @ 2967.34
3152.89/3165.06	c GLOBAL bounds - >= 303075 @ 2967.67
3153.09/3165.20	c GLOBAL bounds - >= 303075 @ 2967.76
3153.49/3165.63	c GLOBAL bounds - >= 303075 @ 2968
3153.59/3165.77	c GLOBAL bounds - >= 303075 @ 2968.1
3154.08/3166.29	c GLOBAL bounds - >= 303075 @ 2968.43
3154.27/3166.44	c GLOBAL bounds - >= 303075 @ 2968.53
3154.78/3166.93	c GLOBAL bounds - >= 303075 @ 2968.84
3154.89/3167.08	c GLOBAL bounds - >= 303075 @ 2968.95
3155.27/3167.48	c GLOBAL bounds - >= 303075 @ 2969.18
3155.47/3167.62	c GLOBAL bounds - >= 303075 @ 2969.31
3155.88/3168.05	c GLOBAL bounds - >= 303075 @ 2969.54
3156.77/3168.91	c GLOBAL bounds - >= 303075 @ 2970.23
3157.57/3169.77	c GLOBAL bounds - >= 303075 @ 2970.93
3158.16/3170.39	c GLOBAL bounds - >= 303075 @ 2971.39
3164.45/3176.64	c GLOBAL bounds - >= 303075 @ 2977.37
3165.15/3177.32	c GLOBAL bounds - >= 303075 @ 2977.87
3180.11/3192.39	c GLOBAL bounds - >= 303075 @ 2992.55
3201.54/3213.84	c GLOBAL bounds - >= 303075 @ 3013.52
3223.38/3235.76	c GLOBAL bounds - >= 303075 @ 3034.94
3423.15/3436.25	c #Conflicts:      18000 | #Constraints:   19010092
3423.15/3436.25	c GLOBAL bounds - >= 303075 @ 3232.06
3454.22/3467.43	c GLOBAL bounds - >= 303075 @ 3262.57
3463.87/3477.13	c GLOBAL bounds - >= 306329 @ 3272.11
3464.37/3477.61	c GLOBAL bounds - >= 306329 @ 3272.54
3464.47/3477.75	c GLOBAL bounds - >= 306329 @ 3272.64
3467.74/3481.03	c GLOBAL bounds - >= 306329 @ 3275.44
3467.92/3481.21	c GLOBAL bounds - >= 306329 @ 3275.57
3468.42/3481.77	c GLOBAL bounds - >= 306329 @ 3275.88
3468.62/3481.93	c GLOBAL bounds - >= 306329 @ 3275.99
3469.01/3482.38	c GLOBAL bounds - >= 306329 @ 3276.26
3469.22/3482.53	c GLOBAL bounds - >= 306329 @ 3276.37
3469.62/3482.95	c GLOBAL bounds - >= 306329 @ 3276.62
3469.73/3483.10	c GLOBAL bounds - >= 306329 @ 3276.74
3470.22/3483.51	c GLOBAL bounds - >= 306329 @ 3276.99
3470.31/3483.66	c GLOBAL bounds - >= 306329 @ 3277.1
3470.73/3484.06	c GLOBAL bounds - >= 306329 @ 3277.32
3470.92/3484.22	c GLOBAL bounds - >= 306329 @ 3277.43
3471.31/3484.62	c GLOBAL bounds - >= 306329 @ 3277.67
3471.41/3484.77	c GLOBAL bounds - >= 306329 @ 3277.78
3471.82/3485.18	c GLOBAL bounds - >= 306329 @ 3278.03
3472.01/3485.33	c GLOBAL bounds - >= 306329 @ 3278.14
3472.41/3485.73	c GLOBAL bounds - >= 306329 @ 3278.38
3472.51/3485.86	c GLOBAL bounds - >= 306329 @ 3278.47
3472.91/3486.26	c GLOBAL bounds - >= 306329 @ 3278.71
3473.41/3486.74	c GLOBAL bounds - >= 306329 @ 3279.02
3474.60/3487.99	c GLOBAL bounds - >= 306329 @ 3280.1
3477.99/3491.39	c #Conflicts:      19000 | #Constraints:   19139846
3477.99/3491.39	c GLOBAL bounds - >= 306329 @ 3283.28
3484.38/3497.73	c GLOBAL bounds - >= 306329 @ 3289.35
3485.87/3499.28	c GLOBAL bounds - >= 306329 @ 3290.73
3486.87/3500.28	c GLOBAL bounds - >= 306329 @ 3291.56
3487.37/3500.78	c GLOBAL bounds - >= 306329 @ 3291.91
3488.56/3501.91	c GLOBAL bounds - >= 306329 @ 3292.84
3489.36/3502.70	c GLOBAL bounds - >= 306329 @ 3293.47
3490.46/3503.88	c GLOBAL bounds - >= 306329 @ 3294.46
3493.25/3506.63	c GLOBAL bounds - >= 306329 @ 3296.97
3497.94/3511.37	c GLOBAL bounds - >= 306329 @ 3301.45
3505.22/3518.67	c GLOBAL bounds - >= 306329 @ 3308.43
3507.63/3521.07	c GLOBAL bounds - >= 306329 @ 3310.63
3511.10/3524.50	c GLOBAL bounds - >= 306329 @ 3313.82
3512.90/3526.32	c GLOBAL bounds - >= 306329 @ 3315.45
3513.90/3527.31	c GLOBAL bounds - >= 306329 @ 3316.28
3528.05/3541.59	c GLOBAL bounds - >= 306329 @ 3330.18
3528.75/3542.25	c GLOBAL bounds - >= 306329 @ 3330.66
3531.84/3545.31	c GLOBAL bounds - >= 306329 @ 3333.52
3532.44/3545.97	c GLOBAL bounds - >= 306329 @ 3334.01
3536.32/3549.81	c GLOBAL bounds - >= 306329 @ 3337.59
3537.71/3551.24	c GLOBAL bounds - >= 306329 @ 3338.81
3548.95/3562.51	c GLOBAL bounds - >= 306329 @ 3349.66
3554.46/3568.03	c GLOBAL bounds - >= 306329 @ 3354.91
3560.23/3573.83	c GLOBAL bounds - >= 306329 @ 3360.42
3566.70/3580.38	c GLOBAL bounds - >= 306329 @ 3366.72
3600.01/3613.76	c cpu time 3399.58 s
3600.01/3613.76	c deterministic time 844248041 8.44e+08
3600.01/3613.76	c optimization time 3359.28 s
3600.01/3613.76	c total solve time 36.2588 s
3600.01/3613.76	c core-guided solve time 0 s
3600.01/3613.76	c propagation time 18.7598 s
3600.01/3613.76	c conflict analysis time 10.8928 s
3600.01/3613.76	c propagations 162159614
3600.01/3613.76	c resolve steps 0
3600.01/3613.76	c decisions 57261797
3600.01/3613.76	c conflicts 155
3600.01/3613.76	c restarts 2
3600.01/3613.76	c inprocessing phases 0
3600.01/3613.76	c garbage collections 0 ,( -nan )
3600.01/3613.76	c input clauses 614330 ,( 71.75 )
3600.01/3613.76	c input cardinalities 63 ,( 0.01 )
3600.01/3613.76	c input general constraints 241771 ,( 28.24 )
3600.01/3613.76	c input average constraint length 52.29
3600.01/3613.76	c input average constraint degree 17368850.53
3600.01/3613.76	c learned clauses 116 ,( 40.00 )
3600.01/3613.76	c learned cardinalities 0 ,( 0.00 )
3600.01/3613.76	c learned general constraints 174 ,( 60.00 )
3600.01/3613.76	c learned average constraint length 1837.42
3600.01/3613.76	c learned average constraint degree 18.15
3600.01/3613.76	c watched  CF 32, 64, 128, Arb: 224 , 0 , 0 , 0
3600.01/3613.76	c counting CF 32, 64, 128, Arb: 241509 , 213 , 0 , 0
3600.01/3613.76	c watched   constraints 224 ,( 0.09 ) 
3600.01/3613.76	c counting  constraints 241721 ,( 99.91 ) 
3600.01/3613.76	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 14136172 , 596 , 113443889 ,( 75258 , 113368631 )
3600.01/3613.76	c gcd simplifications 0
3600.01/3613.76	c detected cardinalities 0
3600.01/3613.76	c weakened non-implied lits 0
3600.01/3613.76	c weakened non-implying lits 0
3600.01/3613.76	c original variables 370300
3600.01/3613.76	c clausal propagations 14081083
3600.01/3613.76	c cardinality propagations 58
3600.01/3613.76	c watched propagations 27473
3600.01/3613.76	c counting propagations 78425823
3600.01/3613.76	c watch lookups 130051866
3600.01/3613.76	c watch backjump lookups 0
3600.01/3613.76	c watch checks 40766335
3600.01/3613.76	c propagation checks 233910115
3600.01/3613.76	c constraint additions 673947
3600.01/3613.76	c trail pops 219421366
3600.01/3613.76	c formula constraints 855312
3600.01/3613.76	c learned constraints 290
3600.01/3613.76	c bound constraints 0
3600.01/3613.76	c core-guided constraints 0
3600.01/3613.76	c encountered formula constraints 48
3600.01/3613.76	c encountered learned constraints 81
3600.01/3613.76	c encountered bound constraints 0
3600.01/3613.76	c encountered core-guided constraints 0
3600.01/3613.76	c LP total time 3.39488 s
3600.01/3613.76	c LP solve time 2.91 s
3600.01/3613.76	c LP constraints added 855312
3600.01/3613.76	c LP constraints removed 0
3600.01/3613.76	c LP pivots internal 2000
3600.01/3613.76	c LP pivots root 1000
3600.01/3613.76	c LP calls 2
3600.01/3613.76	c LP optimalities 0
3600.01/3613.76	c LP no pivot count 0
3600.01/3613.76	c LP infeasibilities 0
3600.01/3613.76	c LP valid Farkas constraints 0
3600.01/3613.76	c LP learned Farkas constraints 0
3600.01/3613.76	c LP basis resets 0
3600.01/3613.76	c LP cycling count 0
3600.01/3613.76	c LP singular count 0
3600.01/3613.76	c LP no primal count 0
3600.01/3613.76	c LP no farkas count 0
3600.01/3613.76	c LP other issue count 0
3600.01/3613.76	c LP Gomory cuts 0
3600.01/3613.76	c LP learned cuts 0
3600.01/3613.76	c LP deleted cuts 0
3600.01/3613.76	c LP encountered Gomory constraints 0
3600.01/3613.76	c LP encountered Farkas constraints 0
3600.01/3613.76	c LP encountered learned Farkas constraints 0
3600.01/3613.76	c CG auxiliary variables introduced 684
3600.01/3613.76	c CG solutions found 0
3600.01/3613.76	c CG cores constructed 329
3600.01/3613.76	c CG core cardinality constraints returned 0
3600.01/3613.76	c CG unit cores 0
3600.01/3613.76	c CG single cores 0
3600.01/3613.76	c CG blocks removed during cardinality reduction 0
3600.01/3613.76	c CG first core best 0
3600.01/3613.76	c CG decision core best 0
3600.01/3613.76	c CG core reduction tie 0
3600.01/3613.76	c CG core degree average 0.00
3600.01/3613.76	c CG core slack average 0.00
3600.01/3613.76	c CG core upper bound improvements 0
3600.01/3613.76	c STR number of successful calls 0
3600.01/3613.76	c STR number of unsuccessful calls 0
3600.01/3613.76	c STR number of inconclusive calls 0
3600.01/3613.76	c STR number of successful attempts 0
3600.01/3613.76	c STR number of unsuccessful attempts 0
3600.01/3613.76	c STR number of inconclusive attempts 0
3600.01/3613.76	c STR average degree increase per successful call inf
3600.01/3613.76	c STR average degree increase per successful attempt inf
3600.01/3613.76	c STR total number of conflicts for successful attempts 0
3600.01/3613.76	c STR total number of conflicts for unsuccessful attempts 0
3600.01/3613.76	c STR total number of conflicts for inconclusive attempts 0
3600.01/3613.76	c STR average number of conflicts per successful attempt inf
3600.01/3613.76	c STR average number of conflicts per unsuccessful attempt inf
3600.01/3613.76	c STR average number of conflicts per inconclusive attempt inf
3600.01/3613.76	c AVG.sumWPerc 99.71 
3600.01/3613.76	c bigint constraints 213 
3600.01/3613.76	s UNKNOWN
3600.01/3613.76	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: 63794 MiB (45230 MiB free)
  memory of node 1: 64507 MiB (45395 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504941-1751476027/watcher-4504941-1751476027 -o /tmp/evaluation-result-4504941-1751476027/solver-4504941-1751476027 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751471575-62690 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4504941-1751476027.opb PROOFDIR/proof-4504941-1751476027 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=63568, runsolver pid=63565
Current StackSize limit: 8192 KiB


[startup+0.100072 s]*
/proc/loadavg: 4.17 4.18 4.17 5/267 63570
/proc/meminfo: memFree=92723320/131382112 swapFree=33010684/33010684
[pid=63568] ppid=63565 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63568/stat : 63568 (run-opt-log.sh) S 63565 63568 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63282421 4292608 736 18446744073709551615 94465321660416 94465322554949 140723659904224 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94465322794000 94465322841744 94465332445184 140723659913505 140723659913700 140723659913700 140723659919302 0
/proc/63568/statm: 1048 736 672 219 0 110 0
[pid=63570] ppid=63568 vsize=127288 memory=80240 CPUtime=0.08 cores=5,7
/proc/63570/stat : 63570 (roundingsat) R 63568 63568 62677 0 -1 4194304 6939 0 0 0 4 4 0 0 20 0 1 0 63282422 130342912 20060 18446744073709551615 4227072 8923433 140737478346832 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 22548480 140737478351186 140737478351400 140737478351400 140737478356970 0
/proc/63570/statm: 31822 20060 1984 1147 0 19249 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 131480 KiB
Current children cumulated memory: 83184 KiB

[startup+0.222704 s]*
/proc/loadavg: 4.17 4.18 4.17 5/267 63570
/proc/meminfo: memFree=92699188/131382112 swapFree=33010684/33010684
[pid=63568] ppid=63565 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63568/stat : 63568 (run-opt-log.sh) S 63565 63568 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63282421 4292608 736 18446744073709551615 94465321660416 94465322554949 140723659904224 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94465322794000 94465322841744 94465332445184 140723659913505 140723659913700 140723659913700 140723659919302 0
/proc/63568/statm: 1048 736 672 219 0 110 0
[pid=63570] ppid=63568 vsize=128280 memory=81508 CPUtime=0.19 cores=5,7
/proc/63570/stat : 63570 (roundingsat) R 63568 63568 62677 0 -1 4194304 9647 0 0 0 14 5 0 0 20 0 1 0 63282422 131358720 20377 18446744073709551615 4227072 8923433 140737478346832 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 22548480 140737478351186 140737478351400 140737478351400 140737478356970 0
/proc/63570/statm: 32070 20377 2016 1147 0 19497 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 132472 KiB
Current children cumulated memory: 84452 KiB

[startup+0.322598 s]*
/proc/loadavg: 4.17 4.18 4.17 5/267 63570
/proc/meminfo: memFree=92699188/131382112 swapFree=33010684/33010684
[pid=63568] ppid=63565 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63568/stat : 63568 (run-opt-log.sh) S 63565 63568 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63282421 4292608 736 18446744073709551615 94465321660416 94465322554949 140723659904224 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94465322794000 94465322841744 94465332445184 140723659913505 140723659913700 140723659913700 140723659919302 0
/proc/63568/statm: 1048 736 672 219 0 110 0
[pid=63570] ppid=63568 vsize=130992 memory=86380 CPUtime=0.27 cores=5,7
/proc/63570/stat : 63570 (roundingsat) R 63568 63568 62677 0 -1 4194304 10348 0 0 0 21 6 0 0 20 0 1 0 63282422 134135808 21595 18446744073709551615 4227072 8923433 140737478346832 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 22548480 140737478351186 140737478351400 140737478351400 140737478356970 0
/proc/63570/statm: 32748 21595 2016 1147 0 20175 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 135184 KiB
Current children cumulated memory: 89324 KiB

[startup+0.700296 s]
/proc/loadavg: 4.17 4.18 4.17 5/267 63570
/proc/meminfo: memFree=92669136/131382112 swapFree=33010684/33010684
[pid=63568] ppid=63565 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63568/stat : 63568 (run-opt-log.sh) S 63565 63568 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63282421 4292608 736 18446744073709551615 94465321660416 94465322554949 140723659904224 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94465322794000 94465322841744 94465332445184 140723659913505 140723659913700 140723659913700 140723659919302 0
/proc/63568/statm: 1048 736 672 219 0 110 0
[pid=63570] ppid=63568 vsize=137580 memory=95020 CPUtime=0.61 cores=5,7
/proc/63570/stat : 63570 (roundingsat) R 63568 63568 62677 0 -1 4194304 12010 0 0 0 46 15 0 0 20 0 1 0 63282422 140881920 23755 18446744073709551615 4227072 8923433 140737478346832 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 22548480 140737478351186 140737478351400 140737478351400 140737478356970 0
/proc/63570/statm: 34395 23755 2016 1147 0 21822 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 141772 KiB
Current children cumulated memory: 97964 KiB

[startup+1.50025 s]
/proc/loadavg: 4.17 4.18 4.17 6/267 63570
/proc/meminfo: memFree=92618896/131382112 swapFree=33010684/33010684
[pid=63568] ppid=63565 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63568/stat : 63568 (run-opt-log.sh) S 63565 63568 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63282421 4292608 736 18446744073709551615 94465321660416 94465322554949 140723659904224 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94465322794000 94465322841744 94465332445184 140723659913505 140723659913700 140723659913700 140723659919302 0
/proc/63568/statm: 1048 736 672 219 0 110 0
[pid=63570] ppid=63568 vsize=163820 memory=120252 CPUtime=1.39 cores=5,7
/proc/63570/stat : 63570 (roundingsat) R 63568 63568 62677 0 -1 4194304 17751 0 0 0 103 36 0 0 20 0 1 0 63282422 167751680 30063 18446744073709551615 4227072 8923433 140737478346832 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 22548480 140737478351186 140737478351400 140737478351400 140737478356970 0
/proc/63570/statm: 40955 30063 2016 1147 0 28382 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 168012 KiB
Current children cumulated memory: 123196 KiB

[startup+3.10597 s]
/proc/loadavg: 4.16 4.17 4.17 6/267 63570
/proc/meminfo: memFree=92363396/131382112 swapFree=33010684/33010684
[pid=63568] ppid=63565 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63568/stat : 63568 (run-opt-log.sh) S 63565 63568 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63282421 4292608 736 18446744073709551615 94465321660416 94465322554949 140723659904224 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94465322794000 94465322841744 94465332445184 140723659913505 140723659913700 140723659913700 140723659919302 0
/proc/63568/statm: 1048 736 672 219 0 110 0
[pid=63570] ppid=63568 vsize=255244 memory=199636 CPUtime=2.98 cores=5,7
/proc/63570/stat : 63570 (roundingsat) R 63568 63568 62677 0 -1 4194304 29264 0 0 0 227 71 0 0 20 0 1 0 63282422 261369856 49909 18446744073709551615 4227072 8923433 140737478346832 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 22548480 140737478351186 140737478351400 140737478351400 140737478356970 0
/proc/63570/statm: 63811 49909 2016 1147 0 51238 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 259436 KiB
Current children cumulated memory: 202580 KiB

[startup+6.30021 s]
/proc/loadavg: 4.16 4.17 4.17 6/267 63570
/proc/meminfo: memFree=91286716/131382112 swapFree=33010684/33010684
[pid=63568] ppid=63565 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63568/stat : 63568 (run-opt-log.sh) S 63565 63568 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63282421 4292608 736 18446744073709551615 94465321660416 94465322554949 140723659904224 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94465322794000 94465322841744 94465332445184 140723659913505 140723659913700 140723659913700 140723659919302 0
/proc/63568/statm: 1048 736 672 219 0 110 0
[pid=63570] ppid=63568 vsize=1206608 memory=1061688 CPUtime=6.14 cores=5,7
/proc/63570/stat : 63570 (roundingsat) R 63568 63568 62677 0 -1 4194304 102379 0 0 0 480 134 0 0 20 0 1 0 63282422 1235566592 265422 18446744073709551615 4227072 8923433 140737478346832 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 22548480 140737478351186 140737478351400 140737478351400 140737478356970 0
/proc/63570/statm: 301652 265422 2368 1147 0 289079 0
Current children cumulated CPU time: 6.14 s
Current children cumulated vsize: 1210800 KiB
Current children cumulated memory: 1064632 KiB

[startup+12.7004 s]
/proc/loadavg: 4.14 4.17 4.17 6/267 63570
/proc/meminfo: memFree=90683816/131382112 swapFree=33010684/33010684
[pid=63568] ppid=63565 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63568/stat : 63568 (run-opt-log.sh) S 63565 63568 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63282421 4292608 736 18446744073709551615 94465321660416 94465322554949 140723659904224 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94465322794000 94465322841744 94465332445184 140723659913505 140723659913700 140723659913700 140723659919302 0
/proc/63568/statm: 1048 736 672 219 0 110 0
[pid=63570] ppid=63568 vsize=1278972 memory=1118568 CPUtime=12.51 cores=5,7
/proc/63570/stat : 63570 (roundingsat) R 63568 63568 62677 0 -1 4194304 109967 0 0 0 919 332 0 0 20 0 1 0 63282422 1309667328 279642 18446744073709551615 4227072 8923433 140737478346832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22548480 140737478351186 140737478351400 140737478351400 140737478356970 0
/proc/63570/statm: 319743 279642 2400 1147 0 307170 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 1283164 KiB
Current children cumulated memory: 1121512 KiB

[startup+25.5004 s]
/proc/loadavg: 4.19 4.18 4.18 6/267 63570
/proc/meminfo: memFree=89355908/131382112 swapFree=33010684/33010684
[pid=63568] ppid=63565 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63568/stat : 63568 (run-opt-log.sh) S 63565 63568 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63282421 4292608 736 18446744073709551615 94465321660416 94465322554949 140723659904224 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94465322794000 94465322841744 94465332445184 140723659913505 140723659913700 140723659913700 140723659919302 0
/proc/63568/statm: 1048 736 672 219 0 110 0
[pid=63570] ppid=63568 vsize=1631316 memory=1436316 CPUtime=25.28 cores=5,7
/proc/63570/stat : 63570 (roundingsat) R 63568 63568 62677 0 -1 4194304 171045 0 0 0 1912 616 0 0 20 0 1 0 63282422 1670467584 359079 18446744073709551615 4227072 8923433 140737478346832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22548480 140737478351186 140737478351400 140737478351400 140737478356970 0
/proc/63570/statm: 407829 359079 2400 1147 0 395256 0
Current children cumulated CPU time: 25.28 s
Current children cumulated vsize: 1635508 KiB
Current children cumulated memory: 1439260 KiB

[startup+51.1138 s]
/proc/loadavg: 4.12 4.16 4.17 6/267 63571
/proc/meminfo: memFree=86555468/131382112 swapFree=33010684/33010684
[pid=63568] ppid=63565 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63568/stat : 63568 (run-opt-log.sh) S 63565 63568 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63282421 4292608 736 18446744073709551615 94465321660416 94465322554949 140723659904224 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94465322794000 94465322841744 94465332445184 140723659913505 140723659913700 140723659913700 140723659919302 0
/proc/63568/statm: 1048 736 672 219 0 110 0
[pid=63570] ppid=63568 vsize=2574876 memory=2321716 CPUtime=50.83 cores=5,7
/proc/63570/stat : 63570 (roundingsat) R 63568 63568 62677 0 -1 4194304 274788 0 0 0 3863 1220 0 0 20 0 1 0 63282422 2636673024 580429 18446744073709551615 4227072 8923433 140737478346832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22548480 140737478351186 140737478351400 140737478351400 140737478356970 0
/proc/63570/statm: 643719 580429 2432 1147 0 631146 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 2579068 KiB
Current children cumulated memory: 2324660 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 4.18 4.18 6/267 63572
/proc/meminfo: memFree=81380208/131382112 swapFree=33010684/33010684
[pid=63568] ppid=63565 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63568/stat : 63568 (run-opt-log.sh) S 63565 63568 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63282421 4292608 736 18446744073709551615 94465321660416 94465322554949 140723659904224 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94465322794000 94465322841744 94465332445184 140723659913505 140723659913700 140723659913700 140723659919302 0
/proc/63568/statm: 1048 736 672 219 0 110 0
[pid=63570] ppid=63568 vsize=4238136 memory=3795568 CPUtime=101.87 cores=5,7
/proc/63570/stat : 63570 (roundingsat) R 63568 63568 62677 0 -1 4194304 535303 0 0 0 8061 2126 0 0 20 0 1 0 63282422 4339851264 948892 18446744073709551615 4227072 8923433 140737478346832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22548480 140737478351186 140737478351400 140737478351400 140737478356970 0
/proc/63570/statm: 1059534 948892 2432 1147 0 1046961 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 4242328 KiB
Current children cumulated memory: 3798512 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.16 4.17 6/268 63579
/proc/meminfo: memFree=75627092/131382112 swapFree=33010684/33010684
[pid=63568] ppid=63565 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63568/stat : 63568 (run-opt-log.sh) S 63565 63568 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63282421 4292608 736 18446744073709551615 94465321660416 94465322554949 140723659904224 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94465322794000 94465322841744 94465332445184 140723659913505 140723659913700 140723659913700 140723659919302 0
/proc/63568/statm: 1048 736 672 219 0 110 0
[pid=63570] ppid=63568 vsize=5277612 memory=4772292 CPUtime=161.6 cores=5,7
/proc/63570/stat : 63570 (roundingsat) R 63568 63568 62677 0 -1 4194304 703761 0 0 0 12970 3190 0 0 20 0 1 0 63282422 5404274688 1193073 18446744073709551615 4227072 8923433 140737478346832 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 22548480 140737478351186 140737478351400 140737478351400 140737478356970 0
/proc/63570/statm: 1319403 1193073 2432 1147 0 1306830 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 5281804 KiB
Current children cumulated memory: 4775236 KiB

[startup+222.3 s]
/proc/loadavg: 4.22 4.18 4.18 6/265 63582
/proc/meminfo: memFree=70120084/131382112 swapFree=33010684/33010684
[pid=63568] ppid=63565 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63568/stat : 63568 (run-opt-log.sh) S 63565 63568 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63282421 4292608 736 18446744073709551615 94465321660416 94465322554949 140723659904224 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94465322794000 94465322841744 94465332445184 140723659913505 140723659913700 140723659913700 140723659919302 0
/proc/63568/statm: 1048 736 672 219 0 110 0
[pid=63570] ppid=63568 vsize=7133384 memory=6082452 CPUtime=221.31 cores=5,7
/proc/63570/stat : 63570 (roundingsat) R 63568 63568 62677 0 -1 4194304 949273 0 0 0 18189 3942 0 0 20 0 1 0 63282422 7304585216 1520613 18446744073709551615 4227072 8923433 140737478346832 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 22548480 140737478351186 140737478351400 140737478351400 140737478356970 0

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

Current children cumulated memory: 19087000 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.33 4.27 5/261 63842
/proc/meminfo: memFree=13363836/131382112 swapFree=33010416/33010684
[pid=63568] ppid=63565 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63568/stat : 63568 (run-opt-log.sh) S 63565 63568 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63282421 4292608 736 18446744073709551615 94465321660416 94465322554949 140723659904224 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94465322794000 94465322841744 94465332445184 140723659913505 140723659913700 140723659913700 140723659919302 0
/proc/63568/statm: 1048 736 672 219 0 110 0
[pid=63570] ppid=63568 vsize=21136604 memory=19349616 CPUtime=3329.5 cores=5,7
/proc/63570/stat : 63570 (roundingsat) R 63568 63568 62677 0 -1 4194304 8240674 0 0 0 313970 18980 0 0 20 0 1 0 63282422 21643882496 4837404 18446744073709551615 4227072 8923433 140737478346832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22548480 140737478351186 140737478351400 140737478351400 140737478356970 0
/proc/63570/statm: 5284151 4837404 2432 1147 0 5271578 0
Current children cumulated CPU time: 3329.5 s
Current children cumulated vsize: 21140796 KiB
Current children cumulated memory: 19352560 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.28 4.26 5/261 63844
/proc/meminfo: memFree=10878784/131382112 swapFree=33010416/33010684
[pid=63568] ppid=63565 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63568/stat : 63568 (run-opt-log.sh) S 63565 63568 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63282421 4292608 736 18446744073709551615 94465321660416 94465322554949 140723659904224 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94465322794000 94465322841744 94465332445184 140723659913505 140723659913700 140723659913700 140723659919302 0
/proc/63568/statm: 1048 736 672 219 0 110 0
[pid=63570] ppid=63568 vsize=21270124 memory=19679432 CPUtime=3389.34 cores=5,7
/proc/63570/stat : 63570 (roundingsat) R 63568 63568 62677 0 -1 4194304 8298915 0 0 0 319878 19056 0 0 20 0 1 0 63282422 21780606976 4919858 18446744073709551615 4227072 8923433 140737478346832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22548480 140737478351186 140737478351400 140737478351400 140737478356970 0
/proc/63570/statm: 5317531 4919858 2432 1147 0 5304958 0
Current children cumulated CPU time: 3389.34 s
Current children cumulated vsize: 21274316 KiB
Current children cumulated memory: 19682376 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.26 4.25 5/268 63853
/proc/meminfo: memFree=8622432/131382112 swapFree=33010416/33010684
[pid=63568] ppid=63565 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63568/stat : 63568 (run-opt-log.sh) S 63565 63568 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63282421 4292608 736 18446744073709551615 94465321660416 94465322554949 140723659904224 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94465322794000 94465322841744 94465332445184 140723659913505 140723659913700 140723659913700 140723659919302 0
/proc/63568/statm: 1048 736 672 219 0 110 0
[pid=63570] ppid=63568 vsize=21328776 memory=19884508 CPUtime=3449.14 cores=5,7
/proc/63570/stat : 63570 (roundingsat) R 63568 63568 62677 0 -1 4194304 8332569 0 0 0 325767 19147 0 0 20 0 1 0 63282422 21840666624 4971127 18446744073709551615 4227072 8923433 140737478346832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22548480 140737478351186 140737478351400 140737478351400 140737478356970 0
/proc/63570/statm: 5332194 4971127 2432 1147 0 5319621 0
Current children cumulated CPU time: 3449.14 s
Current children cumulated vsize: 21332968 KiB
Current children cumulated memory: 19887452 KiB

[startup+3522.3 s]
/proc/loadavg: 4.66 4.38 4.30 5/267 63855
/proc/meminfo: memFree=5222476/131382112 swapFree=33010416/33010684
[pid=63568] ppid=63565 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63568/stat : 63568 (run-opt-log.sh) S 63565 63568 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63282421 4292608 736 18446744073709551615 94465321660416 94465322554949 140723659904224 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94465322794000 94465322841744 94465332445184 140723659913505 140723659913700 140723659913700 140723659919302 0
/proc/63568/statm: 1048 736 672 219 0 110 0
[pid=63570] ppid=63568 vsize=24254964 memory=20540680 CPUtime=3508.91 cores=5,7
/proc/63570/stat : 63570 (roundingsat) R 63568 63568 62677 0 -1 4194304 8476980 0 0 0 331183 19708 0 0 20 0 1 0 63282422 24837083136 5135170 18446744073709551615 4227072 8923433 140737478346832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22548480 140737478351186 140737478351400 140737478351400 140737478356970 0
/proc/63570/statm: 6063741 5135170 2432 1147 0 6051168 0
Current children cumulated CPU time: 3508.91 s
Current children cumulated vsize: 24259156 KiB
Current children cumulated memory: 20543624 KiB

[startup+3582.3 s]
/proc/loadavg: 4.58 4.43 4.32 5/268 63905
/proc/meminfo: memFree=46706388/131382112 swapFree=33010416/33010684
[pid=63568] ppid=63565 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63568/stat : 63568 (run-opt-log.sh) S 63565 63568 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63282421 4292608 736 18446744073709551615 94465321660416 94465322554949 140723659904224 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94465322794000 94465322841744 94465332445184 140723659913505 140723659913700 140723659913700 140723659919302 0
/proc/63568/statm: 1048 736 672 219 0 110 0
[pid=63570] ppid=63568 vsize=24703404 memory=21199424 CPUtime=3568.71 cores=5,7
/proc/63570/stat : 63570 (roundingsat) R 63568 63568 62677 0 -1 4194304 8607900 0 0 0 336862 20009 0 0 20 0 1 0 63282422 25296285696 5299856 18446744073709551615 4227072 8923433 140737478346832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22548480 140737478351186 140737478351400 140737478351400 140737478356970 0
/proc/63570/statm: 6175851 5299856 2432 1147 0 6163278 0
Current children cumulated CPU time: 3568.71 s
Current children cumulated vsize: 24707596 KiB
Current children cumulated memory: 21202368 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.7 s]
/proc/loadavg: 4.40 4.40 4.31 5/267 63906
/proc/meminfo: memFree=45145996/131382112 swapFree=33010416/33010684
[pid=63568] ppid=63565 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63568/stat : 63568 (run-opt-log.sh) S 63565 63568 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63282421 4292608 736 18446744073709551615 94465321660416 94465322554949 140723659904224 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94465322794000 94465322841744 94465332445184 140723659913505 140723659913700 140723659913700 140723659919302 0
/proc/63568/statm: 1048 736 672 219 0 110 0
[pid=63570] ppid=63568 vsize=24922424 memory=21427140 CPUtime=3600.01 cores=5,7
/proc/63570/stat : 63570 (roundingsat) R 63568 63568 62677 0 -1 4194304 8658258 0 0 0 339955 20046 0 0 20 0 1 0 63282422 25520562176 5356785 18446744073709551615 4227072 8923433 140737478346832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22548480 140737478351186 140737478351400 140737478351400 140737478356970 0
/proc/63570/statm: 6230606 5356785 2432 1147 0 6218033 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 24926616 KiB
Current children cumulated memory: 21430084 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=0.002826 s, system=0 s

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.37 4.40 4.31 4/266 63907
/proc/meminfo: memFree=44944392/131382112 swapFree=33010416/33010684
[pid=63570] ppid=63565 vsize=24922672 memory=21428036 CPUtime=3600.56 cores=5,7
/proc/63570/stat : 63570 (roundingsat) D 63565 63568 62677 0 -1 4194304 8658477 0 1 0 339959 20097 0 0 20 0 1 0 63282422 25520816128 5357009 18446744073709551615 4227072 8923433 140737478346832 0 0 256 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 22548480 140737478351186 140737478351400 140737478351400 140737478356970 9
/proc/63570/statm: 6230668 5357009 2496 1147 0 6218095 0
??? kill 63570 sig 9
??? end of watcher thread

[startup+3623.66 s]
# the end of solver process 63570 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

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

Solver just ended.
Dumping a history of the last processes samples

[startup+3614.4 s]
/proc/loadavg: 4.37 4.40 4.31 5/266 63906
/proc/meminfo: memFree=45017876/131382112 swapFree=33010416/33010684
[pid=63570] ppid=63565 vsize=24922672 memory=21428036 CPUtime=3600.48 cores=5,7
/proc/63570/stat : 63570 (roundingsat) D 63565 63568 62677 0 -1 4194304 8658477 0 1 0 339958 20090 0 0 20 0 1 0 63282422 25520816128 5357009 18446744073709551615 4227072 8923433 140737478346832 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 22548480 140737478351186 140737478351400 140737478351400 140737478356970 0
/proc/63570/statm: 6230668 5357009 2496 1147 0 6218095 0
Current cumulated CPU time of completed processes: 0.002826 s
Current children cumulated CPU time: 3600.48 s
Current children cumulated vsize: 24922672 KiB
Current children cumulated memory: 21428036 KiB

[startup+3615.2 s]
/proc/loadavg: 4.37 4.40 4.31 4/266 63906
/proc/meminfo: memFree=44978572/131382112 swapFree=33010416/33010684
[pid=63570] ppid=63565 vsize=24922672 memory=21428036 CPUtime=3600.54 cores=5,7
/proc/63570/stat : 63570 (roundingsat) R 63565 63568 62677 0 -1 4194304 8658477 0 1 0 339959 20095 0 0 20 0 1 0 63282422 25520816128 5357009 18446744073709551615 4227072 8923433 140737478346832 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 22548480 140737478351186 140737478351400 140737478351400 140737478356970 0
/proc/63570/statm: 6230668 5357009 2496 1147 0 6218095 0
Current cumulated CPU time of completed processes: 0.002826 s
Current children cumulated CPU time: 3600.54 s
Current children cumulated vsize: 24922672 KiB
Current children cumulated memory: 21428036 KiB

[startup+3615.6 s]
/proc/loadavg: 4.37 4.40 4.31 4/266 63906
/proc/meminfo: memFree=44978572/131382112 swapFree=33010416/33010684
[pid=63570] ppid=63565 vsize=24922672 memory=21428036 CPUtime=3600.55 cores=5,7
/proc/63570/stat : 63570 (roundingsat) D 63565 63568 62677 0 -1 4194304 8658477 0 1 0 339959 20096 0 0 20 0 1 0 63282422 25520816128 5357009 18446744073709551615 4227072 8923433 140737478346832 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 22548480 140737478351186 140737478351400 140737478351400 140737478356970 0
/proc/63570/statm: 6230668 5357009 2496 1147 0 6218095 0
Current cumulated CPU time of completed processes: 0.002826 s
Current children cumulated CPU time: 3600.55 s
Current children cumulated vsize: 24922672 KiB
Current children cumulated memory: 21428036 KiB

[startup+3615.7 s]
/proc/loadavg: 4.37 4.40 4.31 4/266 63906
/proc/meminfo: memFree=44978572/131382112 swapFree=33010416/33010684
[pid=63570] ppid=63565 vsize=24922672 memory=21428036 CPUtime=3600.56 cores=5,7
/proc/63570/stat : 63570 (roundingsat) R 63565 63568 62677 0 -1 4194304 8658477 0 1 0 339959 20097 0 0 20 0 1 0 63282422 25520816128 5357009 18446744073709551615 4227072 8923433 140737478346832 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 22548480 140737478351186 140737478351400 140737478351400 140737478356970 0
/proc/63570/statm: 6230668 5357009 2496 1147 0 6218095 0
Current cumulated CPU time of completed processes: 0.002826 s
Current children cumulated CPU time: 3600.56 s
Current children cumulated vsize: 24922672 KiB
Current children cumulated memory: 21428036 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3623.66
CPU time (s): 3602.25
CPU user time (s): 3399.62
CPU system time (s): 202.63
CPU usage (%): 99.4091
Max. virtual memory (cumulated for all children) (KiB): 24926616
Max. memory (cumulated for all children) (KiB): 21430084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3399.62
system time used= 202.63
maximum resident set size= 21428036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8658685
page faults= 1
swaps= 0
block input operations= 4040
block output operations= 116511096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 140858
involuntary context switches= 16259


# summary of solver processes directly reported to runsolver:
#   pid: 63568,63570
#   total CPU time (s): 3602.25
#   total CPU user time (s): 3399.62
#   total CPU system time (s): 202.63

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1719 second user time and 38.9242 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-02 19:07:07
IDJOB=4504941
IDBENCH=155702
IDSOLVER=3351
FILE ID=nodeC012/4504941-1751476027
RUNJOBID= nodeC012-1751471575-62690
SLURM_JOB_ID= 9598495
Free space on /tmp= 432096 MiB

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

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

MD5SUM BENCH= 13b8bbb872de86791f42ef521acd2179
RANDOM SEED=84802367

nodeC012 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	: 0xb00001f
cpu MHz		: 3662.031
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1795.715
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.544
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3662.016
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3493.255
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.215
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.162
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        92808572 kB
MemAvailable:   123544092 kB
Buffers:            3280 kB
Cached:         31506620 kB
SwapCached:            0 kB
Active:          6460556 kB
Inactive:       31194756 kB
Active(anon):    6163456 kB
Inactive(anon):        0 kB
Active(file):     297100 kB
Inactive(file): 31194756 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           9846932 kB
Writeback:             4 kB
AnonPages:       6148548 kB
Mapped:           116664 kB
Shmem:             17960 kB
KReclaimable:     166200 kB
Slab:             557944 kB
SReclaimable:     166200 kB
SUnreclaim:       391744 kB
KernelStack:        4288 kB
PageTables:        16228 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    7327800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149608 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1030144 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431812 MiB
End job on nodeC012 at 2025-07-02 20:07:31