0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4531952-1752683077.opb'
0.00/0.01 c read 0.47MB (6.10ms)
0.00/0.01 c [cnf: #variables 4977 #clauses 5495 #duplicates 0 #arr 48524]
0.00/0.01 c output proof to '/tmp/proof-4531952-1752683077'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 42] (6.22ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.06 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07 c recursing 280 blocks of candidate 7x1422r
0.00/0.07 c found row 3x14, generating row predicate
0.00/0.08 c found row 11x14, generating row predicate
0.00/0.09 c found row 7x1422, generating row predicate
0.00/0.09 c (66.91ms)
0.00/0.09 c
0.00/0.09 c detect symmetries on remainder
0.00/0.09 c [graph: #vertices 29897 #edges 135898]
0.00/0.09 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.08/0.13 c [group: #symmetries 2.94*10^155 #generators 224] (47.43ms)
0.08/0.13 c
0.08/0.13 c optimize generators (opt_passes=64, conjugate_limit=256)
0.08/0.17 c opt it=15, l=6786, m=433, opt=33, avg=916, b=20, gens=224
0.08/0.20 c opt it=31, l=10692, m=839, opt=67, avg=907, b=20, gens=224
0.19/0.23 c opt it=47, l=14597, m=1263, opt=104, avg=895, b=20, gens=224
0.19/0.26 c opt it=63, l=18492, m=1667, opt=128, avg=888, b=20, gens=224
0.19/0.27 c ran it=0, +gens=86
0.29/0.40 c con best_support=20, best_gens=103, +gens=250
0.29/0.40 c (267.56ms)
0.29/0.40 c
0.29/0.40 c finalize break order and special generators
0.29/0.40 c
0.29/0.40 c add generic predicates (break_depth=20)
0.39/0.41 c added predicates for 560 generators (7.18ms)
0.58/0.65 c
0.58/0.65 c generation finished
0.58/0.65 c [sbp: #constraints 31150 #add_vars 10333]
0.58/0.65 c
0.58/0.65 c write result to 'HOME/instance-4531952-1752683077.opb.pre'
0.58/0.66 c wrote 1.63MB (3.76ms)
0.58/0.66 c ------------------------------------------------------------------
0.58/0.66 c 267.56ms 41.17% optimize_gens
0.58/0.66 c 241.38ms 37.14% other
0.58/0.66 c 66.91ms 10.30% detect_special
0.58/0.66 c 47.43ms 7.30% detect_generic
0.58/0.66 c 7.18ms 1.10% break_generic
0.58/0.66 c 6.22ms 0.96% approx_orbits
0.58/0.66 c 6.09ms 0.94% parse
0.58/0.66 c 3.76ms 0.58% output
0.58/0.66 c 3.40ms 0.52% finalize_order
0.58/0.66 c ───────────────────────────────────────────────
0.58/0.66 c 649.94ms 100% total
0.58/0.66 c ------------------------------------------------------------------
0.58/0.67 c RoundingSat 2
0.58/0.67 c branch pb25
0.58/0.67 c commit 0f876b3
0.64/0.92 c #variables 15310 #constraints 36695
0.64/0.92 c objective is ce32
1.06/1.14 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.06/1.14 c initial counting CF 32, 64, 128, Arb: 449 , 0 , 0 , 0
1.06/1.14 c bounds - >= 0 @ 0.427893
2.45/2.50 c #Conflicts: 1000 | #Constraints: 37695
2.45/2.50 c #Conflicts: 2000 | #Constraints: 38698
2.45/2.50 c INPROCESSING
2.45/2.50 c GARBAGE COLLECT
2.45/2.50 c rational objective 7
4.45/4.52 c #Conflicts: 3000 | #Constraints: 33729
4.45/4.52 c #Conflicts: 4000 | #Constraints: 34731
4.45/4.52 c INPROCESSING
4.45/4.52 c GARBAGE COLLECT
4.45/4.52 c rational objective 7
5.74/5.87 c #Conflicts: 5000 | #Constraints: 34072
5.74/5.87 c #Conflicts: 6000 | #Constraints: 35072
5.74/5.87 c INPROCESSING
5.74/5.87 c GARBAGE COLLECT
5.74/5.87 c rational objective 7
8.34/8.46 c #Conflicts: 7000 | #Constraints: 34076
8.34/8.46 c #Conflicts: 8000 | #Constraints: 35077
8.34/8.46 c #Conflicts: 9000 | #Constraints: 36081
8.34/8.46 c INPROCESSING
8.34/8.46 c GARBAGE COLLECT
8.34/8.46 c rational objective 7
10.73/10.83 c #Conflicts: 10000 | #Constraints: 34768
10.73/10.83 c #Conflicts: 11000 | #Constraints: 35769
10.73/10.83 c #Conflicts: 12000 | #Constraints: 36770
10.73/10.83 c INPROCESSING
10.73/10.83 c GARBAGE COLLECT
10.73/10.83 c rational objective 7
13.13/13.29 c #Conflicts: 13000 | #Constraints: 35197
13.13/13.29 c #Conflicts: 14000 | #Constraints: 36200
13.13/13.29 c #Conflicts: 15000 | #Constraints: 37204
13.13/13.29 c INPROCESSING
13.13/13.29 c GARBAGE COLLECT
13.13/13.29 c rational objective 7
16.61/16.73 c #Conflicts: 16000 | #Constraints: 35426
16.61/16.73 c #Conflicts: 17000 | #Constraints: 36426
16.61/16.73 c #Conflicts: 18000 | #Constraints: 37429
16.61/16.73 c INPROCESSING
16.61/16.73 c GARBAGE COLLECT
16.61/16.73 c rational objective 7
20.80/20.99 c #Conflicts: 19000 | #Constraints: 35438
20.80/20.99 c #Conflicts: 20000 | #Constraints: 36442
20.80/20.99 c #Conflicts: 21000 | #Constraints: 37447
20.80/20.99 c INPROCESSING
20.80/20.99 c GARBAGE COLLECT
20.80/20.99 c rational objective 7
23.20/23.37 c #Conflicts: 22000 | #Constraints: 35246
23.20/23.37 c #Conflicts: 23000 | #Constraints: 36248
23.20/23.37 c #Conflicts: 24000 | #Constraints: 37249
23.20/23.37 c #Conflicts: 25000 | #Constraints: 38252
23.20/23.37 c INPROCESSING
23.20/23.37 c GARBAGE COLLECT
23.20/23.37 c rational objective 7
27.19/27.30 c #Conflicts: 26000 | #Constraints: 35838
27.19/27.30 c #Conflicts: 27000 | #Constraints: 36838
27.19/27.30 c #Conflicts: 28000 | #Constraints: 37839
27.19/27.30 c #Conflicts: 29000 | #Constraints: 38840
27.19/27.30 c INPROCESSING
27.19/27.30 c GARBAGE COLLECT
27.19/27.30 c rational objective 7
30.78/30.92 c #Conflicts: 30000 | #Constraints: 36235
30.78/30.92 c #Conflicts: 31000 | #Constraints: 37235
30.78/30.92 c #Conflicts: 32000 | #Constraints: 38237
30.78/30.92 c #Conflicts: 33000 | #Constraints: 39242
30.78/30.92 c INPROCESSING
30.78/30.92 c GARBAGE COLLECT
30.78/30.92 c rational objective 7
36.76/36.98 c #Conflicts: 34000 | #Constraints: 36419
36.76/36.98 c #Conflicts: 35000 | #Constraints: 37419
36.76/36.98 c #Conflicts: 36000 | #Constraints: 38421
36.76/36.98 c #Conflicts: 37000 | #Constraints: 39424
36.76/36.98 c INPROCESSING
36.76/36.98 c GARBAGE COLLECT
36.76/36.98 c rational objective 7
42.14/42.35 c #Conflicts: 38000 | #Constraints: 36415
42.14/42.35 c #Conflicts: 39000 | #Constraints: 37415
42.14/42.35 c #Conflicts: 40000 | #Constraints: 38417
42.14/42.35 c #Conflicts: 41000 | #Constraints: 39420
42.14/42.35 c INPROCESSING
42.14/42.35 c GARBAGE COLLECT
42.14/42.35 c rational objective 7
47.93/48.13 c #Conflicts: 42000 | #Constraints: 36214
47.93/48.13 c #Conflicts: 43000 | #Constraints: 37214
47.93/48.13 c #Conflicts: 44000 | #Constraints: 38215
47.93/48.13 c #Conflicts: 45000 | #Constraints: 39217
47.93/48.13 c #Conflicts: 46000 | #Constraints: 40219
47.93/48.13 c INPROCESSING
47.93/48.13 c GARBAGE COLLECT
47.93/48.13 c rational objective 7
53.62/53.80 c #Conflicts: 47000 | #Constraints: 36804
53.62/53.80 c #Conflicts: 48000 | #Constraints: 37806
53.62/53.80 c #Conflicts: 49000 | #Constraints: 38806
53.62/53.80 c #Conflicts: 50000 | #Constraints: 39808
53.62/53.80 c #Conflicts: 51000 | #Constraints: 40813
53.62/53.80 c INPROCESSING
53.62/53.80 c GARBAGE COLLECT
53.62/53.80 c rational objective 7
58.60/58.84 c #Conflicts: 52000 | #Constraints: 37192
58.60/58.84 c #Conflicts: 53000 | #Constraints: 38194
58.60/58.84 c #Conflicts: 54000 | #Constraints: 39197
58.60/58.84 c #Conflicts: 55000 | #Constraints: 40199
58.60/58.84 c #Conflicts: 56000 | #Constraints: 41201
58.60/58.84 c INPROCESSING
58.60/58.84 c GARBAGE COLLECT
58.60/58.84 c rational objective 7
63.70/63.94 c #Conflicts: 57000 | #Constraints: 37400
63.70/63.94 c #Conflicts: 58000 | #Constraints: 38404
63.70/63.94 c #Conflicts: 59000 | #Constraints: 39406
63.70/63.94 c #Conflicts: 60000 | #Constraints: 40411
63.70/63.94 c #Conflicts: 61000 | #Constraints: 41413
63.70/63.94 c INPROCESSING
63.70/63.94 c GARBAGE COLLECT
63.70/63.94 c rational objective 7
69.28/69.59 c #Conflicts: 62000 | #Constraints: 37394
69.28/69.59 c #Conflicts: 63000 | #Constraints: 38395
69.28/69.59 c #Conflicts: 64000 | #Constraints: 39396
69.28/69.59 c #Conflicts: 65000 | #Constraints: 40397
69.28/69.59 c #Conflicts: 66000 | #Constraints: 41399
69.28/69.59 c INPROCESSING
69.28/69.59 c GARBAGE COLLECT
69.28/69.59 c rational objective 7
76.77/77.09 c #Conflicts: 67000 | #Constraints: 37185
76.77/77.09 c #Conflicts: 68000 | #Constraints: 38185
76.77/77.09 c #Conflicts: 69000 | #Constraints: 39186
76.77/77.09 c #Conflicts: 70000 | #Constraints: 40189
76.77/77.09 c #Conflicts: 71000 | #Constraints: 41190
76.77/77.09 c #Conflicts: 72000 | #Constraints: 42191
76.77/77.09 c INPROCESSING
76.77/77.09 c GARBAGE COLLECT
76.77/77.09 c rational objective 7
84.14/84.41 c #Conflicts: 73000 | #Constraints: 37777
84.14/84.41 c #Conflicts: 74000 | #Constraints: 38777
84.14/84.41 c #Conflicts: 75000 | #Constraints: 39782
84.14/84.41 c #Conflicts: 76000 | #Constraints: 40783
84.14/84.41 c #Conflicts: 77000 | #Constraints: 41785
84.14/84.41 c #Conflicts: 78000 | #Constraints: 42788
84.14/84.41 c INPROCESSING
84.14/84.41 c GARBAGE COLLECT
84.14/84.41 c rational objective 7
91.62/91.96 c #Conflicts: 79000 | #Constraints: 38196
91.62/91.96 c #Conflicts: 80000 | #Constraints: 39197
91.62/91.96 c #Conflicts: 81000 | #Constraints: 40204
91.62/91.96 c #Conflicts: 82000 | #Constraints: 41206
91.62/91.96 c #Conflicts: 83000 | #Constraints: 42209
91.62/91.96 c #Conflicts: 84000 | #Constraints: 43213
91.62/91.96 c INPROCESSING
91.62/91.96 c GARBAGE COLLECT
91.62/91.96 c rational objective 7
100.80/101.10 c #Conflicts: 85000 | #Constraints: 38390
100.80/101.10 c #Conflicts: 86000 | #Constraints: 39394
100.80/101.10 c #Conflicts: 87000 | #Constraints: 40403
100.80/101.10 c #Conflicts: 88000 | #Constraints: 41403
100.80/101.10 c #Conflicts: 89000 | #Constraints: 42404
100.80/101.10 c #Conflicts: 90000 | #Constraints: 43408
100.80/101.10 c INPROCESSING
100.80/101.10 c GARBAGE COLLECT
100.80/101.10 c rational objective 7
112.07/112.45 c #Conflicts: 91000 | #Constraints: 38313
112.07/112.45 c #Conflicts: 92000 | #Constraints: 39316
112.07/112.45 c #Conflicts: 93000 | #Constraints: 40316
112.07/112.45 c #Conflicts: 94000 | #Constraints: 41317
112.07/112.45 c #Conflicts: 95000 | #Constraints: 42317
112.07/112.45 c #Conflicts: 96000 | #Constraints: 43318
112.07/112.45 c INPROCESSING
112.07/112.45 c GARBAGE COLLECT
112.07/112.45 c rational objective 7
118.55/118.95 c #Conflicts: 97000 | #Constraints: 38070
118.55/118.95 c #Conflicts: 98000 | #Constraints: 39070
118.55/118.95 c #Conflicts: 99000 | #Constraints: 40071
118.55/118.95 c #Conflicts: 100000 | #Constraints: 41074
118.55/118.95 c #Conflicts: 101000 | #Constraints: 42086
118.55/118.95 c #Conflicts: 102000 | #Constraints: 43091
118.55/118.95 c #Conflicts: 103000 | #Constraints: 44092
118.55/118.95 c INPROCESSING
118.55/118.95 c GARBAGE COLLECT
118.55/118.95 c rational objective 7
130.11/130.56 c #Conflicts: 104000 | #Constraints: 38661
130.11/130.56 c #Conflicts: 105000 | #Constraints: 39661
130.11/130.56 c #Conflicts: 106000 | #Constraints: 40661
130.11/130.56 c #Conflicts: 107000 | #Constraints: 41664
130.11/130.56 c #Conflicts: 108000 | #Constraints: 42665
130.11/130.56 c #Conflicts: 109000 | #Constraints: 43666
130.11/130.56 c #Conflicts: 110000 | #Constraints: 44668
130.11/130.56 c INPROCESSING
130.11/130.56 c GARBAGE COLLECT
130.11/130.56 c rational objective 7
139.60/140.03 c #Conflicts: 111000 | #Constraints: 39035
139.60/140.03 c #Conflicts: 112000 | #Constraints: 40035
139.60/140.03 c #Conflicts: 113000 | #Constraints: 41037
139.60/140.03 c #Conflicts: 114000 | #Constraints: 42037
139.60/140.03 c #Conflicts: 115000 | #Constraints: 43038
139.60/140.03 c #Conflicts: 116000 | #Constraints: 44039
139.60/140.03 c #Conflicts: 117000 | #Constraints: 45039
139.60/140.03 c INPROCESSING
139.60/140.03 c GARBAGE COLLECT
139.60/140.03 c rational objective 7
146.37/146.83 c #Conflicts: 118000 | #Constraints: 39216
146.37/146.83 c #Conflicts: 119000 | #Constraints: 40216
146.37/146.83 c #Conflicts: 120000 | #Constraints: 41219
146.37/146.83 c #Conflicts: 121000 | #Constraints: 42220
146.37/146.83 c #Conflicts: 122000 | #Constraints: 43222
146.37/146.83 c #Conflicts: 123000 | #Constraints: 44225
146.37/146.83 c #Conflicts: 124000 | #Constraints: 45227
146.37/146.83 c INPROCESSING
146.37/146.83 c GARBAGE COLLECT
146.37/146.83 c rational objective 7
156.65/157.14 c #Conflicts: 125000 | #Constraints: 39218
156.65/157.14 c #Conflicts: 126000 | #Constraints: 40219
156.65/157.14 c #Conflicts: 127000 | #Constraints: 41226
156.65/157.14 c #Conflicts: 128000 | #Constraints: 42232
156.65/157.14 c #Conflicts: 129000 | #Constraints: 43235
156.65/157.14 c #Conflicts: 130000 | #Constraints: 44238
156.65/157.14 c #Conflicts: 131000 | #Constraints: 45243
156.65/157.14 c INPROCESSING
156.65/157.14 c GARBAGE COLLECT
156.65/157.14 c rational objective 7
167.42/167.99 c #Conflicts: 132000 | #Constraints: 39009
167.42/167.99 c #Conflicts: 133000 | #Constraints: 40010
167.42/167.99 c #Conflicts: 134000 | #Constraints: 41012
167.42/167.99 c #Conflicts: 135000 | #Constraints: 42014
167.42/167.99 c #Conflicts: 136000 | #Constraints: 43016
167.42/167.99 c #Conflicts: 137000 | #Constraints: 44019
167.42/167.99 c #Conflicts: 138000 | #Constraints: 45021
167.42/167.99 c #Conflicts: 139000 | #Constraints: 46027
167.42/167.99 c INPROCESSING
167.42/167.99 c GARBAGE COLLECT
167.42/167.99 c rational objective 7
187.86/188.41 c #Conflicts: 140000 | #Constraints: 39616
187.86/188.41 c #Conflicts: 141000 | #Constraints: 40616
187.86/188.41 c #Conflicts: 142000 | #Constraints: 41620
187.86/188.41 c #Conflicts: 143000 | #Constraints: 42621
187.86/188.41 c #Conflicts: 144000 | #Constraints: 43623
187.86/188.41 c #Conflicts: 145000 | #Constraints: 44624
187.86/188.41 c #Conflicts: 146000 | #Constraints: 45626
187.86/188.41 c #Conflicts: 147000 | #Constraints: 46626
187.86/188.41 c INPROCESSING
187.86/188.41 c GARBAGE COLLECT
187.86/188.41 c rational objective 7
197.84/198.48 c #Conflicts: 148000 | #Constraints: 40012
197.84/198.48 c #Conflicts: 149000 | #Constraints: 41013
197.84/198.48 c #Conflicts: 150000 | #Constraints: 42017
197.84/198.48 c #Conflicts: 151000 | #Constraints: 43018
197.84/198.48 c #Conflicts: 152000 | #Constraints: 44019
197.84/198.48 c #Conflicts: 153000 | #Constraints: 45020
197.84/198.48 c #Conflicts: 154000 | #Constraints: 46022
197.84/198.48 c #Conflicts: 155000 | #Constraints: 47022
197.84/198.48 c INPROCESSING
197.84/198.48 c GARBAGE COLLECT
197.84/198.48 c rational objective 7
210.11/210.71 c #Conflicts: 156000 | #Constraints: 40205
210.11/210.71 c #Conflicts: 157000 | #Constraints: 41208
210.11/210.71 c #Conflicts: 158000 | #Constraints: 42209
210.11/210.71 c #Conflicts: 159000 | #Constraints: 43210
210.11/210.71 c #Conflicts: 160000 | #Constraints: 44212
210.11/210.71 c #Conflicts: 161000 | #Constraints: 45214
210.11/210.71 c #Conflicts: 162000 | #Constraints: 46217
210.11/210.71 c #Conflicts: 163000 | #Constraints: 47217
210.11/210.71 c INPROCESSING
210.11/210.71 c GARBAGE COLLECT
210.11/210.71 c rational objective 7
221.68/222.39 c #Conflicts: 164000 | #Constraints: 40143
221.68/222.39 c #Conflicts: 165000 | #Constraints: 41143
221.68/222.39 c #Conflicts: 166000 | #Constraints: 42144
221.68/222.39 c #Conflicts: 167000 | #Constraints: 43144
221.68/222.39 c #Conflicts: 168000 | #Constraints: 44146
221.68/222.39 c #Conflicts: 169000 | #Constraints: 45147
221.68/222.39 c #Conflicts: 170000 | #Constraints: 46148
221.68/222.39 c #Conflicts: 171000 | #Constraints: 47148
221.68/222.39 c INPROCESSING
221.68/222.39 c GARBAGE COLLECT
221.68/222.39 c rational objective 7
232.74/233.45 c #Conflicts: 172000 | #Constraints: 39933
232.74/233.45 c #Conflicts: 173000 | #Constraints: 40934
232.74/233.45 c #Conflicts: 174000 | #Constraints: 41934
232.74/233.45 c #Conflicts: 175000 | #Constraints: 42935
232.74/233.45 c #Conflicts: 176000 | #Constraints: 43936
232.74/233.45 c #Conflicts: 177000 | #Constraints: 44937
232.74/233.45 c #Conflicts: 178000 | #Constraints: 45939
232.74/233.45 c #Conflicts: 179000 | #Constraints: 46942
232.74/233.45 c #Conflicts: 180000 | #Constraints: 47943
232.74/233.45 c INPROCESSING
232.74/233.45 c GARBAGE COLLECT
232.74/233.45 c rational objective 7
246.51/247.28 c #Conflicts: 181000 | #Constraints: 40515
246.51/247.28 c #Conflicts: 182000 | #Constraints: 41516
246.51/247.28 c #Conflicts: 183000 | #Constraints: 42516
246.51/247.28 c #Conflicts: 184000 | #Constraints: 43517
246.51/247.28 c #Conflicts: 185000 | #Constraints: 44520
246.51/247.28 c #Conflicts: 186000 | #Constraints: 45523
246.51/247.28 c #Conflicts: 187000 | #Constraints: 46527
246.51/247.28 c #Conflicts: 188000 | #Constraints: 47532
246.51/247.28 c #Conflicts: 189000 | #Constraints: 48532
246.51/247.28 c INPROCESSING
246.51/247.28 c GARBAGE COLLECT
246.51/247.28 c rational objective 7
258.47/259.22 c #Conflicts: 190000 | #Constraints: 40910
258.47/259.22 c #Conflicts: 191000 | #Constraints: 41911
258.47/259.22 c #Conflicts: 192000 | #Constraints: 42914
258.47/259.22 c #Conflicts: 193000 | #Constraints: 43919
258.47/259.22 c #Conflicts: 194000 | #Constraints: 44921
258.47/259.22 c #Conflicts: 195000 | #Constraints: 45922
258.47/259.22 c #Conflicts: 196000 | #Constraints: 46924
258.47/259.22 c #Conflicts: 197000 | #Constraints: 47926
258.47/259.22 c #Conflicts: 198000 | #Constraints: 48927
258.47/259.22 c INPROCESSING
258.47/259.22 c GARBAGE COLLECT
258.47/259.22 c rational objective 7
271.14/271.90 c #Conflicts: 199000 | #Constraints: 41105
271.14/271.90 c #Conflicts: 200000 | #Constraints: 42106
271.14/271.90 c #Conflicts: 201000 | #Constraints: 43108
271.14/271.90 c #Conflicts: 202000 | #Constraints: 44109
271.14/271.90 c #Conflicts: 203000 | #Constraints: 45111
271.14/271.90 c #Conflicts: 204000 | #Constraints: 46113
271.14/271.90 c #Conflicts: 205000 | #Constraints: 47114
271.14/271.90 c #Conflicts: 206000 | #Constraints: 48116
271.14/271.90 c #Conflicts: 207000 | #Constraints: 49119
271.14/271.90 c INPROCESSING
271.14/271.90 c GARBAGE COLLECT
271.14/271.90 c rational objective 7
284.71/285.52 c #Conflicts: 208000 | #Constraints: 41103
284.71/285.52 c #Conflicts: 209000 | #Constraints: 42105
284.71/285.52 c #Conflicts: 210000 | #Constraints: 43107
284.71/285.52 c #Conflicts: 211000 | #Constraints: 44110
284.71/285.52 c #Conflicts: 212000 | #Constraints: 45113
284.71/285.52 c #Conflicts: 213000 | #Constraints: 46114
284.71/285.52 c #Conflicts: 214000 | #Constraints: 47116
284.71/285.52 c #Conflicts: 215000 | #Constraints: 48117
284.71/285.52 c #Conflicts: 216000 | #Constraints: 49118
284.71/285.52 c INPROCESSING
284.71/285.52 c GARBAGE COLLECT
284.71/285.52 c rational objective 7
303.05/303.94 c #Conflicts: 217000 | #Constraints: 40825
303.05/303.94 c #Conflicts: 218000 | #Constraints: 41825
303.05/303.94 c #Conflicts: 219000 | #Constraints: 42826
303.05/303.94 c #Conflicts: 220000 | #Constraints: 43826
303.05/303.94 c #Conflicts: 221000 | #Constraints: 44829
303.05/303.94 c #Conflicts: 222000 | #Constraints: 45830
303.05/303.94 c #Conflicts: 223000 | #Constraints: 46832
303.05/303.94 c #Conflicts: 224000 | #Constraints: 47833
303.05/303.94 c #Conflicts: 225000 | #Constraints: 48833
303.05/303.94 c #Conflicts: 226000 | #Constraints: 49834
303.05/303.94 c INPROCESSING
303.05/303.94 c GARBAGE COLLECT
303.05/303.94 c rational objective 7
316.72/317.68 c #Conflicts: 227000 | #Constraints: 41408
316.72/317.68 c #Conflicts: 228000 | #Constraints: 42413
316.72/317.68 c #Conflicts: 229000 | #Constraints: 43415
316.72/317.68 c #Conflicts: 230000 | #Constraints: 44419
316.72/317.68 c #Conflicts: 231000 | #Constraints: 45420
316.72/317.68 c #Conflicts: 232000 | #Constraints: 46420
316.72/317.68 c #Conflicts: 233000 | #Constraints: 47421
316.72/317.68 c #Conflicts: 234000 | #Constraints: 48424
316.72/317.68 c #Conflicts: 235000 | #Constraints: 49425
316.72/317.68 c #Conflicts: 236000 | #Constraints: 50426
316.72/317.68 c INPROCESSING
316.72/317.68 c GARBAGE COLLECT
316.72/317.68 c rational objective 7
332.48/333.46 c #Conflicts: 237000 | #Constraints: 41774
332.48/333.46 c #Conflicts: 238000 | #Constraints: 42776
332.48/333.46 c #Conflicts: 239000 | #Constraints: 43782
332.48/333.46 c #Conflicts: 240000 | #Constraints: 44783
332.48/333.46 c #Conflicts: 241000 | #Constraints: 45785
332.48/333.46 c #Conflicts: 242000 | #Constraints: 46786
332.48/333.46 c #Conflicts: 243000 | #Constraints: 47791
332.48/333.46 c #Conflicts: 244000 | #Constraints: 48792
332.48/333.46 c #Conflicts: 245000 | #Constraints: 49794
332.48/333.46 c #Conflicts: 246000 | #Constraints: 50795
332.48/333.46 c INPROCESSING
332.48/333.46 c GARBAGE COLLECT
332.48/333.46 c rational objective 7
345.94/346.94 c #Conflicts: 247000 | #Constraints: 41979
345.94/346.94 c #Conflicts: 248000 | #Constraints: 42979
345.94/346.94 c #Conflicts: 249000 | #Constraints: 43981
345.94/346.94 c #Conflicts: 250000 | #Constraints: 44987
345.94/346.94 c #Conflicts: 251000 | #Constraints: 45991
345.94/346.94 c #Conflicts: 252000 | #Constraints: 46995
345.94/346.94 c #Conflicts: 253000 | #Constraints: 48014
345.94/346.94 c #Conflicts: 254000 | #Constraints: 49019
345.94/346.94 c #Conflicts: 255000 | #Constraints: 50022
345.94/346.94 c #Conflicts: 256000 | #Constraints: 51023
345.94/346.94 c INPROCESSING
345.94/346.94 c GARBAGE COLLECT
345.94/346.94 c rational objective 7
364.09/365.13 c #Conflicts: 257000 | #Constraints: 41989
364.09/365.13 c #Conflicts: 258000 | #Constraints: 42990
364.09/365.13 c #Conflicts: 259000 | #Constraints: 43991
364.09/365.13 c #Conflicts: 260000 | #Constraints: 44994
364.09/365.13 c #Conflicts: 261000 | #Constraints: 45996
364.09/365.13 c #Conflicts: 262000 | #Constraints: 46997
364.09/365.13 c #Conflicts: 263000 | #Constraints: 47999
364.09/365.13 c #Conflicts: 264000 | #Constraints: 49000
364.09/365.13 c #Conflicts: 265000 | #Constraints: 50001
364.09/365.13 c #Conflicts: 266000 | #Constraints: 51001
364.09/365.13 c INPROCESSING
364.09/365.13 c GARBAGE COLLECT
364.09/365.13 c rational objective 7
384.04/385.18 c #Conflicts: 267000 | #Constraints: 41751
384.04/385.18 c #Conflicts: 268000 | #Constraints: 42752
384.04/385.18 c #Conflicts: 269000 | #Constraints: 43755
384.04/385.18 c #Conflicts: 270000 | #Constraints: 44759
384.04/385.18 c #Conflicts: 271000 | #Constraints: 45767
384.04/385.18 c #Conflicts: 272000 | #Constraints: 46773
384.04/385.18 c #Conflicts: 273000 | #Constraints: 47776
384.04/385.18 c #Conflicts: 274000 | #Constraints: 48778
384.04/385.18 c #Conflicts: 275000 | #Constraints: 49780
384.04/385.18 c #Conflicts: 276000 | #Constraints: 50784
384.04/385.18 c #Conflicts: 277000 | #Constraints: 51786
384.04/385.18 c INPROCESSING
384.04/385.18 c GARBAGE COLLECT
384.04/385.18 c rational objective 7
400.90/402.08 c #Conflicts: 278000 | #Constraints: 42349
400.90/402.08 c #Conflicts: 279000 | #Constraints: 43350
400.90/402.08 c #Conflicts: 280000 | #Constraints: 44354
400.90/402.08 c #Conflicts: 281000 | #Constraints: 45357
400.90/402.08 c #Conflicts: 282000 | #Constraints: 46358
400.90/402.08 c #Conflicts: 283000 | #Constraints: 47359
400.90/402.08 c #Conflicts: 284000 | #Constraints: 48360
400.90/402.08 c #Conflicts: 285000 | #Constraints: 49361
400.90/402.08 c #Conflicts: 286000 | #Constraints: 50362
400.90/402.08 c #Conflicts: 287000 | #Constraints: 51364
400.90/402.08 c #Conflicts: 288000 | #Constraints: 52366
400.90/402.08 c INPROCESSING
400.90/402.08 c GARBAGE COLLECT
400.90/402.08 c rational objective 7
422.03/423.23 c #Conflicts: 289000 | #Constraints: 42737
422.03/423.23 c #Conflicts: 290000 | #Constraints: 43737
422.03/423.23 c #Conflicts: 291000 | #Constraints: 44740
422.03/423.23 c #Conflicts: 292000 | #Constraints: 45742
422.03/423.23 c #Conflicts: 293000 | #Constraints: 46746
422.03/423.23 c #Conflicts: 294000 | #Constraints: 47749
422.03/423.23 c #Conflicts: 295000 | #Constraints: 48753
422.03/423.23 c #Conflicts: 296000 | #Constraints: 49755
422.03/423.23 c #Conflicts: 297000 | #Constraints: 50756
422.03/423.23 c #Conflicts: 298000 | #Constraints: 51757
422.03/423.23 c #Conflicts: 299000 | #Constraints: 52759
422.03/423.23 c INPROCESSING
422.03/423.23 c GARBAGE COLLECT
422.03/423.23 c rational objective 7
441.08/442.39 c #Conflicts: 300000 | #Constraints: 42935
441.08/442.39 c #Conflicts: 301000 | #Constraints: 43937
441.08/442.39 c #Conflicts: 302000 | #Constraints: 44939
441.08/442.39 c #Conflicts: 303000 | #Constraints: 45942
441.08/442.39 c #Conflicts: 304000 | #Constraints: 46943
441.08/442.39 c #Conflicts: 305000 | #Constraints: 47944
441.08/442.39 c #Conflicts: 306000 | #Constraints: 48949
441.08/442.39 c #Conflicts: 307000 | #Constraints: 49953
441.08/442.39 c #Conflicts: 308000 | #Constraints: 50957
441.08/442.39 c #Conflicts: 309000 | #Constraints: 51958
441.08/442.39 c #Conflicts: 310000 | #Constraints: 52959
441.08/442.39 c INPROCESSING
441.08/442.39 c GARBAGE COLLECT
441.08/442.39 c rational objective 7
459.04/460.31 c #Conflicts: 311000 | #Constraints: 42940
459.04/460.31 c #Conflicts: 312000 | #Constraints: 43940
459.04/460.31 c #Conflicts: 313000 | #Constraints: 44943
459.04/460.31 c #Conflicts: 314000 | #Constraints: 45944
459.04/460.31 c #Conflicts: 315000 | #Constraints: 46946
459.04/460.31 c #Conflicts: 316000 | #Constraints: 47950
459.04/460.31 c #Conflicts: 317000 | #Constraints: 48951
459.04/460.31 c #Conflicts: 318000 | #Constraints: 49952
459.04/460.31 c #Conflicts: 319000 | #Constraints: 50952
459.04/460.31 c #Conflicts: 320000 | #Constraints: 51953
459.04/460.31 c #Conflicts: 321000 | #Constraints: 52956
459.04/460.31 c INPROCESSING
459.04/460.31 c GARBAGE COLLECT
459.04/460.31 c rational objective 7
490.14/491.52 c #Conflicts: 322000 | #Constraints: 42746
490.14/491.52 c #Conflicts: 323000 | #Constraints: 43747
490.14/491.52 c #Conflicts: 324000 | #Constraints: 44748
490.14/491.52 c #Conflicts: 325000 | #Constraints: 45750
490.14/491.52 c #Conflicts: 326000 | #Constraints: 46751
490.14/491.52 c #Conflicts: 327000 | #Constraints: 47753
490.14/491.52 c #Conflicts: 328000 | #Constraints: 48759
490.14/491.52 c #Conflicts: 329000 | #Constraints: 49767
490.14/491.52 c #Conflicts: 330000 | #Constraints: 50770
490.14/491.52 c #Conflicts: 331000 | #Constraints: 51771
490.14/491.52 c #Conflicts: 332000 | #Constraints: 52772
490.14/491.52 c #Conflicts: 333000 | #Constraints: 53773
490.14/491.52 c INPROCESSING
490.14/491.52 c GARBAGE COLLECT
490.14/491.52 c rational objective 7
513.57/515.01 c #Conflicts: 334000 | #Constraints: 43327
513.57/515.01 c #Conflicts: 335000 | #Constraints: 44327
513.57/515.01 c #Conflicts: 336000 | #Constraints: 45331
513.57/515.01 c #Conflicts: 337000 | #Constraints: 46334
513.57/515.01 c #Conflicts: 338000 | #Constraints: 47336
513.57/515.01 c #Conflicts: 339000 | #Constraints: 48338
513.57/515.01 c #Conflicts: 340000 | #Constraints: 49340
513.57/515.01 c #Conflicts: 341000 | #Constraints: 50345
513.57/515.01 c #Conflicts: 342000 | #Constraints: 51349
513.57/515.01 c #Conflicts: 343000 | #Constraints: 52353
513.57/515.01 c #Conflicts: 344000 | #Constraints: 53354
513.57/515.01 c #Conflicts: 345000 | #Constraints: 54355
513.57/515.01 c INPROCESSING
513.57/515.01 c GARBAGE COLLECT
513.57/515.01 c rational objective 7
537.51/539.00 c #Conflicts: 346000 | #Constraints: 43713
537.51/539.00 c #Conflicts: 347000 | #Constraints: 44714
537.51/539.00 c #Conflicts: 348000 | #Constraints: 45715
537.51/539.00 c #Conflicts: 349000 | #Constraints: 46716
537.51/539.00 c #Conflicts: 350000 | #Constraints: 47719
537.51/539.00 c #Conflicts: 351000 | #Constraints: 48721
537.51/539.00 c #Conflicts: 352000 | #Constraints: 49726
537.51/539.00 c #Conflicts: 353000 | #Constraints: 50726
537.51/539.00 c #Conflicts: 354000 | #Constraints: 51729
537.51/539.00 c #Conflicts: 355000 | #Constraints: 52731
537.51/539.00 c #Conflicts: 356000 | #Constraints: 53736
537.51/539.00 c #Conflicts: 357000 | #Constraints: 54738
537.51/539.00 c INPROCESSING
537.51/539.00 c GARBAGE COLLECT
537.51/539.00 c rational objective 7
558.55/560.16 c #Conflicts: 358000 | #Constraints: 43858
558.55/560.16 c #Conflicts: 359000 | #Constraints: 44859
558.55/560.16 c #Conflicts: 360000 | #Constraints: 45861
558.55/560.16 c #Conflicts: 361000 | #Constraints: 46863
558.55/560.16 c #Conflicts: 362000 | #Constraints: 47865
558.55/560.16 c #Conflicts: 363000 | #Constraints: 48867
558.55/560.16 c #Conflicts: 364000 | #Constraints: 49878
558.55/560.16 c #Conflicts: 365000 | #Constraints: 50880
558.55/560.16 c #Conflicts: 366000 | #Constraints: 51884
558.55/560.16 c #Conflicts: 367000 | #Constraints: 52887
558.55/560.16 c #Conflicts: 368000 | #Constraints: 53891
558.55/560.16 c #Conflicts: 369000 | #Constraints: 54892
558.55/560.16 c INPROCESSING
558.55/560.16 c GARBAGE COLLECT
558.55/560.16 c rational objective 7
579.09/580.72 c #Conflicts: 370000 | #Constraints: 43864
579.09/580.72 c #Conflicts: 371000 | #Constraints: 44868
579.09/580.72 c #Conflicts: 372000 | #Constraints: 45877
579.09/580.72 c #Conflicts: 373000 | #Constraints: 46881
579.09/580.72 c #Conflicts: 374000 | #Constraints: 47883
579.09/580.72 c #Conflicts: 375000 | #Constraints: 48886
579.09/580.72 c #Conflicts: 376000 | #Constraints: 49895
579.09/580.72 c #Conflicts: 377000 | #Constraints: 50906
579.09/580.72 c #Conflicts: 378000 | #Constraints: 51917
579.09/580.72 c #Conflicts: 379000 | #Constraints: 52925
579.09/580.72 c #Conflicts: 380000 | #Constraints: 53928
579.09/580.72 c #Conflicts: 381000 | #Constraints: 54928
579.09/580.72 c INPROCESSING
579.09/580.72 c GARBAGE COLLECT
579.09/580.72 c rational objective 7
597.54/599.20 c #Conflicts: 382000 | #Constraints: 43679
597.54/599.20 c #Conflicts: 383000 | #Constraints: 44680
597.54/599.20 c #Conflicts: 384000 | #Constraints: 45682
597.54/599.20 c #Conflicts: 385000 | #Constraints: 46685
597.54/599.20 c #Conflicts: 386000 | #Constraints: 47687
597.54/599.20 c #Conflicts: 387000 | #Constraints: 48690
597.54/599.20 c #Conflicts: 388000 | #Constraints: 49696
597.54/599.20 c #Conflicts: 389000 | #Constraints: 50702
597.54/599.20 c #Conflicts: 390000 | #Constraints: 51704
597.54/599.20 c #Conflicts: 391000 | #Constraints: 52707
597.54/599.20 c #Conflicts: 392000 | #Constraints: 53712
597.54/599.20 c #Conflicts: 393000 | #Constraints: 54712
597.54/599.20 c #Conflicts: 394000 | #Constraints: 55712
597.54/599.20 c INPROCESSING
597.54/599.20 c GARBAGE COLLECT
597.54/599.20 c rational objective 7
615.80/617.53 c #Conflicts: 395000 | #Constraints: 44284
615.80/617.53 c #Conflicts: 396000 | #Constraints: 45285
615.80/617.53 c #Conflicts: 397000 | #Constraints: 46288
615.80/617.53 c #Conflicts: 398000 | #Constraints: 47291
615.80/617.53 c #Conflicts: 399000 | #Constraints: 48294
615.80/617.53 c #Conflicts: 400000 | #Constraints: 49295
615.80/617.53 c #Conflicts: 401000 | #Constraints: 50297
615.80/617.53 c #Conflicts: 402000 | #Constraints: 51298
615.80/617.53 c #Conflicts: 403000 | #Constraints: 52298
615.80/617.53 c #Conflicts: 404000 | #Constraints: 53298
615.80/617.53 c #Conflicts: 405000 | #Constraints: 54298
615.80/617.53 c #Conflicts: 406000 | #Constraints: 55299
615.80/617.53 c #Conflicts: 407000 | #Constraints: 56300
615.80/617.53 c INPROCESSING
615.80/617.53 c GARBAGE COLLECT
615.80/617.53 c rational objective 7
639.93/641.75 c #Conflicts: 408000 | #Constraints: 44660
639.93/641.75 c #Conflicts: 409000 | #Constraints: 45664
639.93/641.75 c #Conflicts: 410000 | #Constraints: 46666
639.93/641.75 c #Conflicts: 411000 | #Constraints: 47670
639.93/641.75 c #Conflicts: 412000 | #Constraints: 48671
639.93/641.75 c #Conflicts: 413000 | #Constraints: 49671
639.93/641.75 c #Conflicts: 414000 | #Constraints: 50673
639.93/641.75 c #Conflicts: 415000 | #Constraints: 51676
639.93/641.75 c #Conflicts: 416000 | #Constraints: 52681
639.93/641.75 c #Conflicts: 417000 | #Constraints: 53683
639.93/641.75 c #Conflicts: 418000 | #Constraints: 54684
639.93/641.75 c #Conflicts: 419000 | #Constraints: 55684
639.93/641.75 c #Conflicts: 420000 | #Constraints: 56685
639.93/641.75 c INPROCESSING
639.93/641.75 c GARBAGE COLLECT
639.93/641.75 c rational objective 7
661.28/663.13 c #Conflicts: 421000 | #Constraints: 44851
661.28/663.13 c #Conflicts: 422000 | #Constraints: 45852
661.28/663.13 c #Conflicts: 423000 | #Constraints: 46852
661.28/663.13 c #Conflicts: 424000 | #Constraints: 47856
661.28/663.13 c #Conflicts: 425000 | #Constraints: 48859
661.28/663.13 c #Conflicts: 426000 | #Constraints: 49865
661.28/663.13 c #Conflicts: 427000 | #Constraints: 50871
661.28/663.13 c #Conflicts: 428000 | #Constraints: 51876
661.28/663.13 c #Conflicts: 429000 | #Constraints: 52882
661.28/663.13 c #Conflicts: 430000 | #Constraints: 53885
661.28/663.13 c #Conflicts: 431000 | #Constraints: 54887
661.28/663.13 c #Conflicts: 432000 | #Constraints: 55888
661.28/663.13 c #Conflicts: 433000 | #Constraints: 56893
661.28/663.13 c INPROCESSING
661.28/663.13 c GARBAGE COLLECT
661.28/663.13 c rational objective 7
692.90/694.84 c #Conflicts: 434000 | #Constraints: 44867
692.90/694.84 c #Conflicts: 435000 | #Constraints: 45867
692.90/694.84 c #Conflicts: 436000 | #Constraints: 46868
692.90/694.84 c #Conflicts: 437000 | #Constraints: 47869
692.90/694.84 c #Conflicts: 438000 | #Constraints: 48871
692.90/694.84 c #Conflicts: 439000 | #Constraints: 49876
692.90/694.84 c #Conflicts: 440000 | #Constraints: 50883
692.90/694.84 c #Conflicts: 441000 | #Constraints: 51885
692.90/694.84 c #Conflicts: 442000 | #Constraints: 52886
692.90/694.84 c #Conflicts: 443000 | #Constraints: 53886
692.90/694.84 c #Conflicts: 444000 | #Constraints: 54888
692.90/694.84 c #Conflicts: 445000 | #Constraints: 55888
692.90/694.84 c #Conflicts: 446000 | #Constraints: 56891
692.90/694.84 c INPROCESSING
692.90/694.84 c GARBAGE COLLECT
692.90/694.84 c rational objective 7
724.21/726.29 c #Conflicts: 447000 | #Constraints: 44664
724.21/726.29 c #Conflicts: 448000 | #Constraints: 45667
724.21/726.29 c #Conflicts: 449000 | #Constraints: 46669
724.21/726.29 c #Conflicts: 450000 | #Constraints: 47674
724.21/726.29 c #Conflicts: 451000 | #Constraints: 48683
724.21/726.29 c #Conflicts: 452000 | #Constraints: 49690
724.21/726.29 c #Conflicts: 453000 | #Constraints: 50708
724.21/726.29 c #Conflicts: 454000 | #Constraints: 51719
724.21/726.29 c #Conflicts: 455000 | #Constraints: 52723
724.21/726.29 c #Conflicts: 456000 | #Constraints: 53727
724.21/726.29 c #Conflicts: 457000 | #Constraints: 54730
724.21/726.29 c #Conflicts: 458000 | #Constraints: 55734
724.21/726.29 c #Conflicts: 459000 | #Constraints: 56735
724.21/726.29 c #Conflicts: 460000 | #Constraints: 57738
724.21/726.29 c INPROCESSING
724.21/726.29 c GARBAGE COLLECT
724.21/726.29 c rational objective 7
755.32/757.41 c #Conflicts: 461000 | #Constraints: 45299
755.32/757.41 c #Conflicts: 462000 | #Constraints: 46299
755.32/757.41 c #Conflicts: 463000 | #Constraints: 47302
755.32/757.41 c #Conflicts: 464000 | #Constraints: 48304
755.32/757.41 c #Conflicts: 465000 | #Constraints: 49305
755.32/757.41 c #Conflicts: 466000 | #Constraints: 50307
755.32/757.41 c #Conflicts: 467000 | #Constraints: 51309
755.32/757.41 c #Conflicts: 468000 | #Constraints: 52309
755.32/757.41 c #Conflicts: 469000 | #Constraints: 53310
755.32/757.41 c #Conflicts: 470000 | #Constraints: 54311
755.32/757.41 c #Conflicts: 471000 | #Constraints: 55312
755.32/757.41 c #Conflicts: 472000 | #Constraints: 56314
755.32/757.41 c #Conflicts: 473000 | #Constraints: 57315
755.32/757.41 c #Conflicts: 474000 | #Constraints: 58316
755.32/757.41 c INPROCESSING
755.32/757.41 c GARBAGE COLLECT
755.32/757.41 c rational objective 7
784.85/787.03 c #Conflicts: 475000 | #Constraints: 45679
784.85/787.03 c #Conflicts: 476000 | #Constraints: 46679
784.85/787.03 c #Conflicts: 477000 | #Constraints: 47684
784.85/787.03 c #Conflicts: 478000 | #Constraints: 48685
784.85/787.03 c #Conflicts: 479000 | #Constraints: 49686
784.85/787.03 c #Conflicts: 480000 | #Constraints: 50688
784.85/787.03 c #Conflicts: 481000 | #Constraints: 51688
784.85/787.03 c #Conflicts: 482000 | #Constraints: 52688
784.85/787.03 c #Conflicts: 483000 | #Constraints: 53689
784.85/787.03 c #Conflicts: 484000 | #Constraints: 54689
784.85/787.03 c #Conflicts: 485000 | #Constraints: 55691
784.85/787.03 c #Conflicts: 486000 | #Constraints: 56691
784.85/787.03 c #Conflicts: 487000 | #Constraints: 57692
784.85/787.03 c #Conflicts: 488000 | #Constraints: 58693
784.85/787.03 c INPROCESSING
784.85/787.03 c GARBAGE COLLECT
784.85/787.03 c rational objective 7
815.56/817.86 c #Conflicts: 489000 | #Constraints: 45821
815.56/817.86 c #Conflicts: 490000 | #Constraints: 46821
815.56/817.86 c #Conflicts: 491000 | #Constraints: 47822
815.56/817.86 c #Conflicts: 492000 | #Constraints: 48826
815.56/817.86 c #Conflicts: 493000 | #Constraints: 49828
815.56/817.86 c #Conflicts: 494000 | #Constraints: 50831
815.56/817.86 c #Conflicts: 495000 | #Constraints: 51832
815.56/817.86 c #Conflicts: 496000 | #Constraints: 52835
815.56/817.86 c #Conflicts: 497000 | #Constraints: 53836
815.56/817.86 c #Conflicts: 498000 | #Constraints: 54839
815.56/817.86 c #Conflicts: 499000 | #Constraints: 55840
815.56/817.86 c #Conflicts: 500000 | #Constraints: 56840
815.56/817.86 c #Conflicts: 501000 | #Constraints: 57841
815.56/817.86 c #Conflicts: 502000 | #Constraints: 58841
815.56/817.86 c INPROCESSING
815.56/817.86 c GARBAGE COLLECT
815.56/817.86 c rational objective 7
849.67/852.01 c #Conflicts: 503000 | #Constraints: 45801
849.67/852.01 c #Conflicts: 504000 | #Constraints: 46801
849.67/852.01 c #Conflicts: 505000 | #Constraints: 47802
849.67/852.01 c #Conflicts: 506000 | #Constraints: 48803
849.67/852.01 c #Conflicts: 507000 | #Constraints: 49807
849.67/852.01 c #Conflicts: 508000 | #Constraints: 50809
849.67/852.01 c #Conflicts: 509000 | #Constraints: 51811
849.67/852.01 c #Conflicts: 510000 | #Constraints: 52812
849.67/852.01 c #Conflicts: 511000 | #Constraints: 53812
849.67/852.01 c #Conflicts: 512000 | #Constraints: 54812
849.67/852.01 c #Conflicts: 513000 | #Constraints: 55812
849.67/852.01 c #Conflicts: 514000 | #Constraints: 56813
849.67/852.01 c #Conflicts: 515000 | #Constraints: 57814
849.67/852.01 c #Conflicts: 516000 | #Constraints: 58814
849.67/852.01 c INPROCESSING
849.67/852.01 c GARBAGE COLLECT
849.67/852.01 c rational objective 7
877.69/880.17 c #Conflicts: 517000 | #Constraints: 45523
877.69/880.17 c #Conflicts: 518000 | #Constraints: 46524
877.69/880.17 c #Conflicts: 519000 | #Constraints: 47524
877.69/880.17 c #Conflicts: 520000 | #Constraints: 48525
877.69/880.17 c #Conflicts: 521000 | #Constraints: 49530
877.69/880.17 c #Conflicts: 522000 | #Constraints: 50536
877.69/880.17 c #Conflicts: 523000 | #Constraints: 51537
877.69/880.17 c #Conflicts: 524000 | #Constraints: 52538
877.69/880.17 c #Conflicts: 525000 | #Constraints: 53539
877.69/880.17 c #Conflicts: 526000 | #Constraints: 54540
877.69/880.17 c #Conflicts: 527000 | #Constraints: 55541
877.69/880.17 c #Conflicts: 528000 | #Constraints: 56543
877.69/880.17 c #Conflicts: 529000 | #Constraints: 57546
877.69/880.17 c #Conflicts: 530000 | #Constraints: 58547
877.69/880.17 c #Conflicts: 531000 | #Constraints: 59549
877.69/880.17 c INPROCESSING
877.69/880.17 c GARBAGE COLLECT
877.69/880.17 c rational objective 7
903.81/906.37 c #Conflicts: 532000 | #Constraints: 46115
903.81/906.37 c #Conflicts: 533000 | #Constraints: 47115
903.81/906.37 c #Conflicts: 534000 | #Constraints: 48117
903.81/906.37 c #Conflicts: 535000 | #Constraints: 49118
903.81/906.37 c #Conflicts: 536000 | #Constraints: 50123
903.81/906.37 c #Conflicts: 537000 | #Constraints: 51126
903.81/906.37 c #Conflicts: 538000 | #Constraints: 52127
903.81/906.37 c #Conflicts: 539000 | #Constraints: 53128
903.81/906.37 c #Conflicts: 540000 | #Constraints: 54129
903.81/906.37 c #Conflicts: 541000 | #Constraints: 55131
903.81/906.37 c #Conflicts: 542000 | #Constraints: 56132
903.81/906.37 c #Conflicts: 543000 | #Constraints: 57133
903.81/906.37 c #Conflicts: 544000 | #Constraints: 58135
903.81/906.37 c #Conflicts: 545000 | #Constraints: 59137
903.81/906.37 c #Conflicts: 546000 | #Constraints: 60139
903.81/906.37 c INPROCESSING
903.81/906.37 c GARBAGE COLLECT
903.81/906.37 c rational objective 7
940.12/942.79 c #Conflicts: 547000 | #Constraints: 46517
940.12/942.79 c #Conflicts: 548000 | #Constraints: 47517
940.12/942.79 c #Conflicts: 549000 | #Constraints: 48522
940.12/942.79 c #Conflicts: 550000 | #Constraints: 49527
940.12/942.79 c #Conflicts: 551000 | #Constraints: 50532
940.12/942.79 c #Conflicts: 552000 | #Constraints: 51538
940.12/942.79 c #Conflicts: 553000 | #Constraints: 52542
940.12/942.79 c #Conflicts: 554000 | #Constraints: 53544
940.12/942.79 c #Conflicts: 555000 | #Constraints: 54545
940.12/942.79 c #Conflicts: 556000 | #Constraints: 55546
940.12/942.79 c #Conflicts: 557000 | #Constraints: 56548
940.12/942.79 c #Conflicts: 558000 | #Constraints: 57549
940.12/942.79 c #Conflicts: 559000 | #Constraints: 58554
940.12/942.79 c #Conflicts: 560000 | #Constraints: 59555
940.12/942.79 c #Conflicts: 561000 | #Constraints: 60558
940.12/942.79 c INPROCESSING
940.12/942.79 c GARBAGE COLLECT
940.12/942.79 c rational objective 7
969.54/972.26 c #Conflicts: 562000 | #Constraints: 46708
969.54/972.26 c #Conflicts: 563000 | #Constraints: 47713
969.54/972.26 c #Conflicts: 564000 | #Constraints: 48714
969.54/972.26 c #Conflicts: 565000 | #Constraints: 49715
969.54/972.26 c #Conflicts: 566000 | #Constraints: 50718
969.54/972.26 c #Conflicts: 567000 | #Constraints: 51719
969.54/972.26 c #Conflicts: 568000 | #Constraints: 52720
969.54/972.26 c #Conflicts: 569000 | #Constraints: 53722
969.54/972.26 c #Conflicts: 570000 | #Constraints: 54724
969.54/972.26 c #Conflicts: 571000 | #Constraints: 55726
969.54/972.26 c #Conflicts: 572000 | #Constraints: 56727
969.54/972.26 c #Conflicts: 573000 | #Constraints: 57729
969.54/972.26 c #Conflicts: 574000 | #Constraints: 58731
969.54/972.26 c #Conflicts: 575000 | #Constraints: 59733
969.54/972.26 c #Conflicts: 576000 | #Constraints: 60734
969.54/972.26 c INPROCESSING
969.54/972.26 c GARBAGE COLLECT
969.54/972.26 c rational objective 7
1002.06/1004.83 c #Conflicts: 577000 | #Constraints: 46723
1002.06/1004.83 c #Conflicts: 578000 | #Constraints: 47724
1002.06/1004.83 c #Conflicts: 579000 | #Constraints: 48727
1002.06/1004.83 c #Conflicts: 580000 | #Constraints: 49728
1002.06/1004.83 c #Conflicts: 581000 | #Constraints: 50731
1002.06/1004.83 c #Conflicts: 582000 | #Constraints: 51734
1002.06/1004.83 c #Conflicts: 583000 | #Constraints: 52736
1002.06/1004.83 c #Conflicts: 584000 | #Constraints: 53743
1002.06/1004.83 c #Conflicts: 585000 | #Constraints: 54750
1002.06/1004.83 c #Conflicts: 586000 | #Constraints: 55753
1002.06/1004.83 c #Conflicts: 587000 | #Constraints: 56756
1002.06/1004.83 c #Conflicts: 588000 | #Constraints: 57756
1002.06/1004.83 c #Conflicts: 589000 | #Constraints: 58758
1002.06/1004.83 c #Conflicts: 590000 | #Constraints: 59758
1002.06/1004.83 c #Conflicts: 591000 | #Constraints: 60759
1002.06/1004.83 c INPROCESSING
1002.06/1004.83 c GARBAGE COLLECT
1002.06/1004.83 c rational objective 7
1040.05/1042.92 c #Conflicts: 592000 | #Constraints: 46517
1040.05/1042.92 c #Conflicts: 593000 | #Constraints: 47517
1040.05/1042.92 c #Conflicts: 594000 | #Constraints: 48519
1040.05/1042.92 c #Conflicts: 595000 | #Constraints: 49520
1040.05/1042.92 c #Conflicts: 596000 | #Constraints: 50522
1040.05/1042.92 c #Conflicts: 597000 | #Constraints: 51524
1040.05/1042.92 c #Conflicts: 598000 | #Constraints: 52525
1040.05/1042.92 c #Conflicts: 599000 | #Constraints: 53527
1040.05/1042.92 c #Conflicts: 600000 | #Constraints: 54528
1040.05/1042.92 c #Conflicts: 601000 | #Constraints: 55529
1040.05/1042.92 c #Conflicts: 602000 | #Constraints: 56530
1040.05/1042.92 c #Conflicts: 603000 | #Constraints: 57531
1040.05/1042.92 c #Conflicts: 604000 | #Constraints: 58533
1040.05/1042.92 c #Conflicts: 605000 | #Constraints: 59535
1040.05/1042.92 c #Conflicts: 606000 | #Constraints: 60535
1040.05/1042.92 c #Conflicts: 607000 | #Constraints: 61537
1040.05/1042.92 c INPROCESSING
1040.05/1042.92 c GARBAGE COLLECT
1040.05/1042.92 c rational objective 7
1109.06/1112.16 c #Conflicts: 608000 | #Constraints: 47100
1109.06/1112.16 c #Conflicts: 609000 | #Constraints: 48100
1109.06/1112.16 c #Conflicts: 610000 | #Constraints: 49100
1109.06/1112.16 c #Conflicts: 611000 | #Constraints: 50101
1109.06/1112.16 c #Conflicts: 612000 | #Constraints: 51104
1109.06/1112.16 c #Conflicts: 613000 | #Constraints: 52108
1109.06/1112.16 c #Conflicts: 614000 | #Constraints: 53109
1109.06/1112.16 c #Conflicts: 615000 | #Constraints: 54109
1109.06/1112.16 c #Conflicts: 616000 | #Constraints: 55113
1109.06/1112.16 c #Conflicts: 617000 | #Constraints: 56121
1109.06/1112.16 c #Conflicts: 618000 | #Constraints: 57122
1109.06/1112.16 c #Conflicts: 619000 | #Constraints: 58125
1109.06/1112.16 c #Conflicts: 620000 | #Constraints: 59126
1109.06/1112.16 c #Conflicts: 621000 | #Constraints: 60126
1109.06/1112.16 c #Conflicts: 622000 | #Constraints: 61127
1109.06/1112.16 c #Conflicts: 623000 | #Constraints: 62129
1109.06/1112.16 c INPROCESSING
1109.06/1112.16 c GARBAGE COLLECT
1109.06/1112.16 c #Conflicts: 624000 | #Constraints: 47477
1109.06/1112.16 c #Conflicts: 625000 | #Constraints: 48478
1109.06/1112.16 c #Conflicts: 626000 | #Constraints: 49478
1109.06/1112.16 c #Conflicts: 627000 | #Constraints: 50478
1109.06/1112.16 c #Conflicts: 628000 | #Constraints: 51480
1109.06/1112.16 c #Conflicts: 629000 | #Constraints: 52482
1109.06/1112.16 c #Conflicts: 630000 | #Constraints: 53483
1109.06/1112.16 c #Conflicts: 631000 | #Constraints: 54484
1109.06/1112.16 c #Conflicts: 632000 | #Constraints: 55485
1109.06/1112.16 c #Conflicts: 633000 | #Constraints: 56486
1109.06/1112.16 c #Conflicts: 634000 | #Constraints: 57487
1109.06/1112.16 c #Conflicts: 635000 | #Constraints: 58488
1109.06/1112.16 c #Conflicts: 636000 | #Constraints: 59489
1109.06/1112.16 c #Conflicts: 637000 | #Constraints: 60490
1109.06/1112.16 c #Conflicts: 638000 | #Constraints: 61491
1109.06/1112.16 c #Conflicts: 639000 | #Constraints: 62492
1109.06/1112.16 c INPROCESSING
1109.06/1112.16 c GARBAGE COLLECT
1109.06/1112.16 c rational objective 7
1142.28/1145.45 c #Conflicts: 640000 | #Constraints: 47670
1142.28/1145.45 c #Conflicts: 641000 | #Constraints: 48670
1142.28/1145.45 c #Conflicts: 642000 | #Constraints: 49672
1142.28/1145.45 c #Conflicts: 643000 | #Constraints: 50673
1142.28/1145.45 c #Conflicts: 644000 | #Constraints: 51673
1142.28/1145.45 c #Conflicts: 645000 | #Constraints: 52674
1142.28/1145.45 c #Conflicts: 646000 | #Constraints: 53674
1142.28/1145.45 c #Conflicts: 647000 | #Constraints: 54675
1142.28/1145.45 c #Conflicts: 648000 | #Constraints: 55675
1142.28/1145.45 c #Conflicts: 649000 | #Constraints: 56678
1142.28/1145.45 c #Conflicts: 650000 | #Constraints: 57678
1142.28/1145.45 c #Conflicts: 651000 | #Constraints: 58678
1142.28/1145.45 c #Conflicts: 652000 | #Constraints: 59680
1142.28/1145.45 c #Conflicts: 653000 | #Constraints: 60682
1142.28/1145.45 c #Conflicts: 654000 | #Constraints: 61682
1142.28/1145.45 c #Conflicts: 655000 | #Constraints: 62683
1142.28/1145.45 c INPROCESSING
1142.28/1145.45 c GARBAGE COLLECT
1142.28/1145.45 c rational objective 7
1180.27/1183.50 c #Conflicts: 656000 | #Constraints: 47681
1180.27/1183.50 c #Conflicts: 657000 | #Constraints: 48682
1180.27/1183.50 c #Conflicts: 658000 | #Constraints: 49683
1180.27/1183.50 c #Conflicts: 659000 | #Constraints: 50684
1180.27/1183.50 c #Conflicts: 660000 | #Constraints: 51685
1180.27/1183.50 c #Conflicts: 661000 | #Constraints: 52686
1180.27/1183.50 c #Conflicts: 662000 | #Constraints: 53689
1180.27/1183.50 c #Conflicts: 663000 | #Constraints: 54691
1180.27/1183.50 c #Conflicts: 664000 | #Constraints: 55694
1180.27/1183.50 c #Conflicts: 665000 | #Constraints: 56697
1180.27/1183.50 c #Conflicts: 666000 | #Constraints: 57700
1180.27/1183.50 c #Conflicts: 667000 | #Constraints: 58703
1180.27/1183.50 c #Conflicts: 668000 | #Constraints: 59704
1180.27/1183.50 c #Conflicts: 669000 | #Constraints: 60705
1180.27/1183.50 c #Conflicts: 670000 | #Constraints: 61707
1180.27/1183.50 c #Conflicts: 671000 | #Constraints: 62709
1180.27/1183.50 c INPROCESSING
1180.27/1183.50 c GARBAGE COLLECT
1180.27/1183.50 c rational objective 7
1226.64/1230.05 c #Conflicts: 672000 | #Constraints: 47487
1226.64/1230.05 c #Conflicts: 673000 | #Constraints: 48487
1226.64/1230.05 c #Conflicts: 674000 | #Constraints: 49493
1226.64/1230.05 c #Conflicts: 675000 | #Constraints: 50495
1226.64/1230.05 c #Conflicts: 676000 | #Constraints: 51495
1226.64/1230.05 c #Conflicts: 677000 | #Constraints: 52496
1226.64/1230.05 c #Conflicts: 678000 | #Constraints: 53497
1226.64/1230.05 c #Conflicts: 679000 | #Constraints: 54500
1226.64/1230.05 c #Conflicts: 680000 | #Constraints: 55501
1226.64/1230.05 c #Conflicts: 681000 | #Constraints: 56505
1226.64/1230.05 c #Conflicts: 682000 | #Constraints: 57507
1226.64/1230.05 c #Conflicts: 683000 | #Constraints: 58507
1226.64/1230.05 c #Conflicts: 684000 | #Constraints: 59508
1226.64/1230.05 c #Conflicts: 685000 | #Constraints: 60510
1226.64/1230.05 c #Conflicts: 686000 | #Constraints: 61510
1226.64/1230.05 c #Conflicts: 687000 | #Constraints: 62510
1226.64/1230.05 c #Conflicts: 688000 | #Constraints: 63510
1226.64/1230.05 c INPROCESSING
1226.64/1230.05 c GARBAGE COLLECT
1226.64/1230.05 c rational objective 7
1275.31/1278.89 c #Conflicts: 689000 | #Constraints: 48065
1275.31/1278.89 c #Conflicts: 690000 | #Constraints: 49066
1275.31/1278.89 c #Conflicts: 691000 | #Constraints: 50067
1275.31/1278.89 c #Conflicts: 692000 | #Constraints: 51067
1275.31/1278.89 c #Conflicts: 693000 | #Constraints: 52068
1275.31/1278.89 c #Conflicts: 694000 | #Constraints: 53069
1275.31/1278.89 c #Conflicts: 695000 | #Constraints: 54071
1275.31/1278.89 c #Conflicts: 696000 | #Constraints: 55072
1275.31/1278.89 c #Conflicts: 697000 | #Constraints: 56074
1275.31/1278.89 c #Conflicts: 698000 | #Constraints: 57077
1275.31/1278.89 c #Conflicts: 699000 | #Constraints: 58078
1275.31/1278.89 c #Conflicts: 700000 | #Constraints: 59080
1275.31/1278.89 c #Conflicts: 701000 | #Constraints: 60081
1275.31/1278.89 c #Conflicts: 702000 | #Constraints: 61081
1275.31/1278.89 c #Conflicts: 703000 | #Constraints: 62081
1275.31/1278.89 c #Conflicts: 704000 | #Constraints: 63082
1275.31/1278.89 c #Conflicts: 705000 | #Constraints: 64082
1275.31/1278.89 c INPROCESSING
1275.31/1278.89 c GARBAGE COLLECT
1275.31/1278.89 c rational objective 7
1303.24/1306.89 c #Conflicts: 706000 | #Constraints: 48474
1303.24/1306.89 c #Conflicts: 707000 | #Constraints: 49474
1303.24/1306.89 c #Conflicts: 708000 | #Constraints: 50475
1303.24/1306.89 c #Conflicts: 709000 | #Constraints: 51476
1303.24/1306.89 c #Conflicts: 710000 | #Constraints: 52478
1303.24/1306.89 c #Conflicts: 711000 | #Constraints: 53479
1303.24/1306.89 c #Conflicts: 712000 | #Constraints: 54483
1303.24/1306.89 c #Conflicts: 713000 | #Constraints: 55485
1303.24/1306.89 c #Conflicts: 714000 | #Constraints: 56495
1303.24/1306.89 c #Conflicts: 715000 | #Constraints: 57495
1303.24/1306.89 c #Conflicts: 716000 | #Constraints: 58495
1303.24/1306.89 c #Conflicts: 717000 | #Constraints: 59495
1303.24/1306.89 c #Conflicts: 718000 | #Constraints: 60495
1303.24/1306.89 c #Conflicts: 719000 | #Constraints: 61495
1303.24/1306.89 c #Conflicts: 720000 | #Constraints: 62495
1303.24/1306.89 c #Conflicts: 721000 | #Constraints: 63496
1303.24/1306.89 c #Conflicts: 722000 | #Constraints: 64497
1303.24/1306.89 c INPROCESSING
1303.24/1306.89 c GARBAGE COLLECT
1303.24/1306.89 c rational objective 7
1380.12/1383.99 c #Conflicts: 723000 | #Constraints: 48681
1380.12/1383.99 c #Conflicts: 724000 | #Constraints: 49681
1380.12/1383.99 c #Conflicts: 725000 | #Constraints: 50682
1380.12/1383.99 c #Conflicts: 726000 | #Constraints: 51682
1380.12/1383.99 c #Conflicts: 727000 | #Constraints: 52684
1380.12/1383.99 c #Conflicts: 728000 | #Constraints: 53684
1380.12/1383.99 c #Conflicts: 729000 | #Constraints: 54685
1380.12/1383.99 c #Conflicts: 730000 | #Constraints: 55686
1380.12/1383.99 c #Conflicts: 731000 | #Constraints: 56686
1380.12/1383.99 c #Conflicts: 732000 | #Constraints: 57687
1380.12/1383.99 c #Conflicts: 733000 | #Constraints: 58687
1380.12/1383.99 c #Conflicts: 734000 | #Constraints: 59688
1380.12/1383.99 c #Conflicts: 735000 | #Constraints: 60688
1380.12/1383.99 c #Conflicts: 736000 | #Constraints: 61689
1380.12/1383.99 c #Conflicts: 737000 | #Constraints: 62691
1380.12/1383.99 c #Conflicts: 738000 | #Constraints: 63692
1380.12/1383.99 c #Conflicts: 739000 | #Constraints: 64692
1380.12/1383.99 c INPROCESSING
1380.12/1383.99 c GARBAGE COLLECT
1380.12/1383.99 c rational objective 7
1415.31/1419.23 c #Conflicts: 740000 | #Constraints: 48728
1415.31/1419.23 c #Conflicts: 741000 | #Constraints: 49729
1415.31/1419.23 c #Conflicts: 742000 | #Constraints: 50729
1415.31/1419.23 c #Conflicts: 743000 | #Constraints: 51732
1415.31/1419.23 c #Conflicts: 744000 | #Constraints: 52733
1415.31/1419.23 c #Conflicts: 745000 | #Constraints: 53735
1415.31/1419.23 c #Conflicts: 746000 | #Constraints: 54737
1415.31/1419.23 c #Conflicts: 747000 | #Constraints: 55737
1415.31/1419.23 c #Conflicts: 748000 | #Constraints: 56740
1415.31/1419.23 c #Conflicts: 749000 | #Constraints: 57741
1415.31/1419.23 c #Conflicts: 750000 | #Constraints: 58743
1415.31/1419.23 c #Conflicts: 751000 | #Constraints: 59744
1415.31/1419.23 c #Conflicts: 752000 | #Constraints: 60744
1415.31/1419.23 c #Conflicts: 753000 | #Constraints: 61745
1415.31/1419.23 c #Conflicts: 754000 | #Constraints: 62746
1415.31/1419.23 c #Conflicts: 755000 | #Constraints: 63748
1415.31/1419.23 c #Conflicts: 756000 | #Constraints: 64748
1415.31/1419.23 c INPROCESSING
1415.31/1419.23 c GARBAGE COLLECT
1415.31/1419.23 c rational objective 7
1461.48/1465.54 c #Conflicts: 757000 | #Constraints: 48492
1461.48/1465.54 c #Conflicts: 758000 | #Constraints: 49496
1461.48/1465.54 c #Conflicts: 759000 | #Constraints: 50503
1461.48/1465.54 c #Conflicts: 760000 | #Constraints: 51506
1461.48/1465.54 c #Conflicts: 761000 | #Constraints: 52508
1461.48/1465.54 c #Conflicts: 762000 | #Constraints: 53511
1461.48/1465.54 c #Conflicts: 763000 | #Constraints: 54513
1461.48/1465.54 c #Conflicts: 764000 | #Constraints: 55515
1461.48/1465.54 c #Conflicts: 765000 | #Constraints: 56517
1461.48/1465.54 c #Conflicts: 766000 | #Constraints: 57519
1461.48/1465.54 c #Conflicts: 767000 | #Constraints: 58521
1461.48/1465.54 c #Conflicts: 768000 | #Constraints: 59523
1461.48/1465.54 c #Conflicts: 769000 | #Constraints: 60524
1461.48/1465.54 c #Conflicts: 770000 | #Constraints: 61526
1461.48/1465.54 c #Conflicts: 771000 | #Constraints: 62529
1461.48/1465.54 c #Conflicts: 772000 | #Constraints: 63531
1461.48/1465.54 c #Conflicts: 773000 | #Constraints: 64532
1461.48/1465.54 c #Conflicts: 774000 | #Constraints: 65532
1461.48/1465.54 c INPROCESSING
1461.48/1465.54 c GARBAGE COLLECT
1461.48/1465.54 c rational objective 7
1498.39/1502.57 c #Conflicts: 775000 | #Constraints: 49093
1498.39/1502.57 c #Conflicts: 776000 | #Constraints: 50093
1498.39/1502.57 c #Conflicts: 777000 | #Constraints: 51094
1498.39/1502.57 c #Conflicts: 778000 | #Constraints: 52094
1498.39/1502.57 c #Conflicts: 779000 | #Constraints: 53098
1498.39/1502.57 c #Conflicts: 780000 | #Constraints: 54104
1498.39/1502.57 c #Conflicts: 781000 | #Constraints: 55105
1498.39/1502.57 c #Conflicts: 782000 | #Constraints: 56106
1498.39/1502.57 c #Conflicts: 783000 | #Constraints: 57110
1498.39/1502.57 c #Conflicts: 784000 | #Constraints: 58113
1498.39/1502.57 c #Conflicts: 785000 | #Constraints: 59115
1498.39/1502.57 c #Conflicts: 786000 | #Constraints: 60117
1498.39/1502.57 c #Conflicts: 787000 | #Constraints: 61119
1498.39/1502.57 c #Conflicts: 788000 | #Constraints: 62123
1498.39/1502.57 c #Conflicts: 789000 | #Constraints: 63123
1498.39/1502.57 c #Conflicts: 790000 | #Constraints: 64124
1498.39/1502.57 c #Conflicts: 791000 | #Constraints: 65125
1498.39/1502.57 c #Conflicts: 792000 | #Constraints: 66125
1498.39/1502.57 c INPROCESSING
1498.39/1502.57 c GARBAGE COLLECT
1498.39/1502.57 c rational objective 7
1536.49/1540.73 c #Conflicts: 793000 | #Constraints: 49475
1536.49/1540.73 c #Conflicts: 794000 | #Constraints: 50475
1536.49/1540.73 c #Conflicts: 795000 | #Constraints: 51477
1536.49/1540.73 c #Conflicts: 796000 | #Constraints: 52485
1536.49/1540.73 c #Conflicts: 797000 | #Constraints: 53490
1536.49/1540.73 c #Conflicts: 798000 | #Constraints: 54492
1536.49/1540.73 c #Conflicts: 799000 | #Constraints: 55496
1536.49/1540.73 c #Conflicts: 800000 | #Constraints: 56501
1536.49/1540.73 c #Conflicts: 801000 | #Constraints: 57502
1536.49/1540.73 c #Conflicts: 802000 | #Constraints: 58503
1536.49/1540.73 c #Conflicts: 803000 | #Constraints: 59503
1536.49/1540.73 c #Conflicts: 804000 | #Constraints: 60503
1536.49/1540.73 c #Conflicts: 805000 | #Constraints: 61504
1536.49/1540.73 c #Conflicts: 806000 | #Constraints: 62505
1536.49/1540.73 c #Conflicts: 807000 | #Constraints: 63507
1536.49/1540.73 c #Conflicts: 808000 | #Constraints: 64508
1536.49/1540.73 c #Conflicts: 809000 | #Constraints: 65508
1536.49/1540.73 c #Conflicts: 810000 | #Constraints: 66509
1536.49/1540.73 c INPROCESSING
1536.49/1540.73 c GARBAGE COLLECT
1536.49/1540.73 c rational objective 7
1566.91/1571.28 c #Conflicts: 811000 | #Constraints: 49674
1566.91/1571.28 c #Conflicts: 812000 | #Constraints: 50676
1566.91/1571.28 c #Conflicts: 813000 | #Constraints: 51679
1566.91/1571.28 c #Conflicts: 814000 | #Constraints: 52681
1566.91/1571.28 c #Conflicts: 815000 | #Constraints: 53686
1566.91/1571.28 c #Conflicts: 816000 | #Constraints: 54687
1566.91/1571.28 c #Conflicts: 817000 | #Constraints: 55688
1566.91/1571.28 c #Conflicts: 818000 | #Constraints: 56689
1566.91/1571.28 c #Conflicts: 819000 | #Constraints: 57689
1566.91/1571.28 c #Conflicts: 820000 | #Constraints: 58691
1566.91/1571.28 c #Conflicts: 821000 | #Constraints: 59692
1566.91/1571.28 c #Conflicts: 822000 | #Constraints: 60693
1566.91/1571.28 c #Conflicts: 823000 | #Constraints: 61695
1566.91/1571.28 c #Conflicts: 824000 | #Constraints: 62696
1566.91/1571.28 c #Conflicts: 825000 | #Constraints: 63697
1566.91/1571.28 c #Conflicts: 826000 | #Constraints: 64699
1566.91/1571.28 c #Conflicts: 827000 | #Constraints: 65700
1566.91/1571.28 c #Conflicts: 828000 | #Constraints: 66700
1566.91/1571.28 c INPROCESSING
1566.91/1571.28 c GARBAGE COLLECT
1566.91/1571.28 c rational objective 7
1629.12/1633.69 c #Conflicts: 829000 | #Constraints: 49684
1629.12/1633.69 c #Conflicts: 830000 | #Constraints: 50685
1629.12/1633.69 c #Conflicts: 831000 | #Constraints: 51685
1629.12/1633.69 c #Conflicts: 832000 | #Constraints: 52688
1629.12/1633.69 c #Conflicts: 833000 | #Constraints: 53690
1629.12/1633.69 c #Conflicts: 834000 | #Constraints: 54692
1629.12/1633.69 c #Conflicts: 835000 | #Constraints: 55695
1629.12/1633.69 c #Conflicts: 836000 | #Constraints: 56696
1629.12/1633.69 c #Conflicts: 837000 | #Constraints: 57698
1629.12/1633.69 c #Conflicts: 838000 | #Constraints: 58701
1629.12/1633.69 c #Conflicts: 839000 | #Constraints: 59701
1629.12/1633.69 c #Conflicts: 840000 | #Constraints: 60702
1629.12/1633.69 c #Conflicts: 841000 | #Constraints: 61704
1629.12/1633.69 c #Conflicts: 842000 | #Constraints: 62706
1629.12/1633.69 c #Conflicts: 843000 | #Constraints: 63706
1629.12/1633.69 c #Conflicts: 844000 | #Constraints: 64707
1629.12/1633.69 c #Conflicts: 845000 | #Constraints: 65707
1629.12/1633.69 c #Conflicts: 846000 | #Constraints: 66708
1629.12/1633.69 c INPROCESSING
1629.12/1633.69 c GARBAGE COLLECT
1629.12/1633.69 c rational objective 7
1672.19/1676.83 c #Conflicts: 847000 | #Constraints: 49469
1672.19/1676.83 c #Conflicts: 848000 | #Constraints: 50469
1672.19/1676.83 c #Conflicts: 849000 | #Constraints: 51470
1672.19/1676.83 c #Conflicts: 850000 | #Constraints: 52472
1672.19/1676.83 c #Conflicts: 851000 | #Constraints: 53476
1672.19/1676.83 c #Conflicts: 852000 | #Constraints: 54479
1672.19/1676.83 c #Conflicts: 853000 | #Constraints: 55482
1672.19/1676.83 c #Conflicts: 854000 | #Constraints: 56485
1672.19/1676.83 c #Conflicts: 855000 | #Constraints: 57487
1672.19/1676.83 c #Conflicts: 856000 | #Constraints: 58488
1672.19/1676.83 c #Conflicts: 857000 | #Constraints: 59491
1672.19/1676.83 c #Conflicts: 858000 | #Constraints: 60496
1672.19/1676.83 c #Conflicts: 859000 | #Constraints: 61497
1672.19/1676.83 c #Conflicts: 860000 | #Constraints: 62499
1672.19/1676.83 c #Conflicts: 861000 | #Constraints: 63500
1672.19/1676.83 c #Conflicts: 862000 | #Constraints: 64502
1672.19/1676.83 c #Conflicts: 863000 | #Constraints: 65504
1672.19/1676.83 c #Conflicts: 864000 | #Constraints: 66505
1672.19/1676.83 c #Conflicts: 865000 | #Constraints: 67510
1672.19/1676.83 c INPROCESSING
1672.19/1676.83 c GARBAGE COLLECT
1672.19/1676.83 c rational objective 7
1713.27/1718.04 c #Conflicts: 866000 | #Constraints: 50071
1713.27/1718.04 c #Conflicts: 867000 | #Constraints: 51072
1713.27/1718.04 c #Conflicts: 868000 | #Constraints: 52075
1713.27/1718.04 c #Conflicts: 869000 | #Constraints: 53080
1713.27/1718.04 c #Conflicts: 870000 | #Constraints: 54083
1713.27/1718.04 c #Conflicts: 871000 | #Constraints: 55087
1713.27/1718.04 c #Conflicts: 872000 | #Constraints: 56087
1713.27/1718.04 c #Conflicts: 873000 | #Constraints: 57088
1713.27/1718.04 c #Conflicts: 874000 | #Constraints: 58088
1713.27/1718.04 c #Conflicts: 875000 | #Constraints: 59090
1713.27/1718.04 c #Conflicts: 876000 | #Constraints: 60092
1713.27/1718.04 c #Conflicts: 877000 | #Constraints: 61093
1713.27/1718.04 c #Conflicts: 878000 | #Constraints: 62093
1713.27/1718.04 c #Conflicts: 879000 | #Constraints: 63096
1713.27/1718.04 c #Conflicts: 880000 | #Constraints: 64097
1713.27/1718.04 c #Conflicts: 881000 | #Constraints: 65099
1713.27/1718.04 c #Conflicts: 882000 | #Constraints: 66101
1713.27/1718.04 c #Conflicts: 883000 | #Constraints: 67103
1713.27/1718.04 c #Conflicts: 884000 | #Constraints: 68105
1713.27/1718.04 c INPROCESSING
1713.27/1718.04 c GARBAGE COLLECT
1713.27/1718.04 c rational objective 7
1776.50/1781.44 c #Conflicts: 885000 | #Constraints: 50494
1776.50/1781.44 c #Conflicts: 886000 | #Constraints: 51496
1776.50/1781.44 c #Conflicts: 887000 | #Constraints: 52498
1776.50/1781.44 c #Conflicts: 888000 | #Constraints: 53501
1776.50/1781.44 c #Conflicts: 889000 | #Constraints: 54503
1776.50/1781.44 c #Conflicts: 890000 | #Constraints: 55505
1776.50/1781.44 c #Conflicts: 891000 | #Constraints: 56506
1776.50/1781.44 c #Conflicts: 892000 | #Constraints: 57509
1776.50/1781.44 c #Conflicts: 893000 | #Constraints: 58511
1776.50/1781.44 c #Conflicts: 894000 | #Constraints: 59512
1776.50/1781.44 c #Conflicts: 895000 | #Constraints: 60515
1776.50/1781.44 c #Conflicts: 896000 | #Constraints: 61517
1776.50/1781.44 c #Conflicts: 897000 | #Constraints: 62519
1776.50/1781.44 c #Conflicts: 898000 | #Constraints: 63519
1776.50/1781.44 c #Conflicts: 899000 | #Constraints: 64519
1776.50/1781.44 c #Conflicts: 900000 | #Constraints: 65519
1776.50/1781.44 c #Conflicts: 901000 | #Constraints: 66520
1776.50/1781.44 c #Conflicts: 902000 | #Constraints: 67521
1776.50/1781.44 c #Conflicts: 903000 | #Constraints: 68522
1776.50/1781.44 c INPROCESSING
1776.50/1781.44 c GARBAGE COLLECT
1776.50/1781.44 c rational objective 7
1810.60/1815.66 c #Conflicts: 904000 | #Constraints: 50707
1810.60/1815.66 c #Conflicts: 905000 | #Constraints: 51707
1810.60/1815.66 c #Conflicts: 906000 | #Constraints: 52707
1810.60/1815.66 c #Conflicts: 907000 | #Constraints: 53710
1810.60/1815.66 c #Conflicts: 908000 | #Constraints: 54712
1810.60/1815.66 c #Conflicts: 909000 | #Constraints: 55713
1810.60/1815.66 c #Conflicts: 910000 | #Constraints: 56714
1810.60/1815.66 c #Conflicts: 911000 | #Constraints: 57714
1810.60/1815.66 c #Conflicts: 912000 | #Constraints: 58716
1810.60/1815.66 c #Conflicts: 913000 | #Constraints: 59717
1810.60/1815.66 c #Conflicts: 914000 | #Constraints: 60718
1810.60/1815.66 c #Conflicts: 915000 | #Constraints: 61719
1810.60/1815.66 c #Conflicts: 916000 | #Constraints: 62723
1810.60/1815.66 c #Conflicts: 917000 | #Constraints: 63725
1810.60/1815.66 c #Conflicts: 918000 | #Constraints: 64727
1810.60/1815.66 c #Conflicts: 919000 | #Constraints: 65729
1810.60/1815.66 c #Conflicts: 920000 | #Constraints: 66731
1810.60/1815.66 c #Conflicts: 921000 | #Constraints: 67731
1810.60/1815.66 c #Conflicts: 922000 | #Constraints: 68732
1810.60/1815.66 c INPROCESSING
1810.60/1815.66 c GARBAGE COLLECT
1810.60/1815.66 c rational objective 7
1861.06/1866.29 c #Conflicts: 923000 | #Constraints: 50692
1861.06/1866.29 c #Conflicts: 924000 | #Constraints: 51693
1861.06/1866.29 c #Conflicts: 925000 | #Constraints: 52695
1861.06/1866.29 c #Conflicts: 926000 | #Constraints: 53696
1861.06/1866.29 c #Conflicts: 927000 | #Constraints: 54698
1861.06/1866.29 c #Conflicts: 928000 | #Constraints: 55705
1861.06/1866.29 c #Conflicts: 929000 | #Constraints: 56706
1861.06/1866.29 c #Conflicts: 930000 | #Constraints: 57707
1861.06/1866.29 c #Conflicts: 931000 | #Constraints: 58713
1861.06/1866.29 c #Conflicts: 932000 | #Constraints: 59713
1861.06/1866.29 c #Conflicts: 933000 | #Constraints: 60716
1861.06/1866.29 c #Conflicts: 934000 | #Constraints: 61722
1861.06/1866.29 c #Conflicts: 935000 | #Constraints: 62722
1861.06/1866.29 c #Conflicts: 936000 | #Constraints: 63724
1861.06/1866.29 c #Conflicts: 937000 | #Constraints: 64726
1861.06/1866.29 c #Conflicts: 938000 | #Constraints: 65727
1861.06/1866.29 c #Conflicts: 939000 | #Constraints: 66728
1861.06/1866.29 c #Conflicts: 940000 | #Constraints: 67729
1861.06/1866.29 c #Conflicts: 941000 | #Constraints: 68730
1861.06/1866.29 c INPROCESSING
1861.06/1866.29 c GARBAGE COLLECT
1861.06/1866.29 c rational objective 7
1908.23/1913.50 c #Conflicts: 942000 | #Constraints: 50505
1908.23/1913.50 c #Conflicts: 943000 | #Constraints: 51507
1908.23/1913.50 c #Conflicts: 944000 | #Constraints: 52507
1908.23/1913.50 c #Conflicts: 945000 | #Constraints: 53511
1908.23/1913.50 c #Conflicts: 946000 | #Constraints: 54513
1908.23/1913.50 c #Conflicts: 947000 | #Constraints: 55513
1908.23/1913.50 c #Conflicts: 948000 | #Constraints: 56513
1908.23/1913.50 c #Conflicts: 949000 | #Constraints: 57513
1908.23/1913.50 c #Conflicts: 950000 | #Constraints: 58515
1908.23/1913.50 c #Conflicts: 951000 | #Constraints: 59518
1908.23/1913.50 c #Conflicts: 952000 | #Constraints: 60519
1908.23/1913.50 c #Conflicts: 953000 | #Constraints: 61520
1908.23/1913.50 c #Conflicts: 954000 | #Constraints: 62521
1908.23/1913.50 c #Conflicts: 955000 | #Constraints: 63522
1908.23/1913.50 c #Conflicts: 956000 | #Constraints: 64523
1908.23/1913.50 c #Conflicts: 957000 | #Constraints: 65523
1908.23/1913.50 c #Conflicts: 958000 | #Constraints: 66524
1908.23/1913.50 c #Conflicts: 959000 | #Constraints: 67525
1908.23/1913.50 c #Conflicts: 960000 | #Constraints: 68525
1908.23/1913.50 c #Conflicts: 961000 | #Constraints: 69526
1908.23/1913.50 c INPROCESSING
1908.23/1913.50 c GARBAGE COLLECT
1908.23/1913.50 c rational objective 7
1967.67/1973.18 c #Conflicts: 962000 | #Constraints: 51075
1967.67/1973.18 c #Conflicts: 963000 | #Constraints: 52075
1967.67/1973.18 c #Conflicts: 964000 | #Constraints: 53076
1967.67/1973.18 c #Conflicts: 965000 | #Constraints: 54078
1967.67/1973.18 c #Conflicts: 966000 | #Constraints: 55080
1967.67/1973.18 c #Conflicts: 967000 | #Constraints: 56083
1967.67/1973.18 c #Conflicts: 968000 | #Constraints: 57086
1967.67/1973.18 c #Conflicts: 969000 | #Constraints: 58088
1967.67/1973.18 c #Conflicts: 970000 | #Constraints: 59089
1967.67/1973.18 c #Conflicts: 971000 | #Constraints: 60091
1967.67/1973.18 c #Conflicts: 972000 | #Constraints: 61092
1967.67/1973.18 c #Conflicts: 973000 | #Constraints: 62093
1967.67/1973.18 c #Conflicts: 974000 | #Constraints: 63095
1967.67/1973.18 c #Conflicts: 975000 | #Constraints: 64097
1967.67/1973.18 c #Conflicts: 976000 | #Constraints: 65098
1967.67/1973.18 c #Conflicts: 977000 | #Constraints: 66100
1967.67/1973.18 c #Conflicts: 978000 | #Constraints: 67100
1967.67/1973.18 c #Conflicts: 979000 | #Constraints: 68101
1967.67/1973.18 c #Conflicts: 980000 | #Constraints: 69102
1967.67/1973.18 c #Conflicts: 981000 | #Constraints: 70102
1967.67/1973.18 c INPROCESSING
1967.67/1973.18 c GARBAGE COLLECT
1967.67/1973.18 c rational objective 7
2026.00/2031.61 c #Conflicts: 982000 | #Constraints: 51487
2026.00/2031.61 c #Conflicts: 983000 | #Constraints: 52487
2026.00/2031.61 c #Conflicts: 984000 | #Constraints: 53489
2026.00/2031.61 c #Conflicts: 985000 | #Constraints: 54491
2026.00/2031.61 c #Conflicts: 986000 | #Constraints: 55492
2026.00/2031.61 c #Conflicts: 987000 | #Constraints: 56493
2026.00/2031.61 c #Conflicts: 988000 | #Constraints: 57494
2026.00/2031.61 c #Conflicts: 989000 | #Constraints: 58494
2026.00/2031.61 c #Conflicts: 990000 | #Constraints: 59495
2026.00/2031.61 c #Conflicts: 991000 | #Constraints: 60495
2026.00/2031.61 c #Conflicts: 992000 | #Constraints: 61497
2026.00/2031.61 c #Conflicts: 993000 | #Constraints: 62497
2026.00/2031.61 c #Conflicts: 994000 | #Constraints: 63498
2026.00/2031.61 c #Conflicts: 995000 | #Constraints: 64498
2026.00/2031.61 c #Conflicts: 996000 | #Constraints: 65499
2026.00/2031.61 c #Conflicts: 997000 | #Constraints: 66499
2026.00/2031.61 c #Conflicts: 998000 | #Constraints: 67500
2026.00/2031.61 c #Conflicts: 999000 | #Constraints: 68500
2026.00/2031.61 c #Conflicts: 1000000 | #Constraints: 69500
2026.00/2031.61 c #Conflicts: 1001000 | #Constraints: 70501
2026.00/2031.61 c INPROCESSING
2026.00/2031.61 c GARBAGE COLLECT
2026.00/2031.61 c rational objective 7
2074.28/2080.10 c #Conflicts: 1002000 | #Constraints: 51674
2074.28/2080.10 c #Conflicts: 1003000 | #Constraints: 52674
2074.28/2080.10 c #Conflicts: 1004000 | #Constraints: 53674
2074.28/2080.10 c #Conflicts: 1005000 | #Constraints: 54674
2074.28/2080.10 c #Conflicts: 1006000 | #Constraints: 55674
2074.28/2080.10 c #Conflicts: 1007000 | #Constraints: 56675
2074.28/2080.10 c #Conflicts: 1008000 | #Constraints: 57677
2074.28/2080.10 c #Conflicts: 1009000 | #Constraints: 58678
2074.28/2080.10 c #Conflicts: 1010000 | #Constraints: 59679
2074.28/2080.10 c #Conflicts: 1011000 | #Constraints: 60680
2074.28/2080.10 c #Conflicts: 1012000 | #Constraints: 61680
2074.28/2080.10 c #Conflicts: 1013000 | #Constraints: 62681
2074.28/2080.10 c #Conflicts: 1014000 | #Constraints: 63681
2074.28/2080.10 c #Conflicts: 1015000 | #Constraints: 64682
2074.28/2080.10 c #Conflicts: 1016000 | #Constraints: 65682
2074.28/2080.10 c #Conflicts: 1017000 | #Constraints: 66683
2074.28/2080.10 c #Conflicts: 1018000 | #Constraints: 67683
2074.28/2080.10 c #Conflicts: 1019000 | #Constraints: 68683
2074.28/2080.10 c #Conflicts: 1020000 | #Constraints: 69684
2074.28/2080.10 c #Conflicts: 1021000 | #Constraints: 70684
2074.28/2080.10 c INPROCESSING
2074.28/2080.10 c GARBAGE COLLECT
2074.28/2080.10 c rational objective 7
2132.91/2138.86 c #Conflicts: 1022000 | #Constraints: 51641
2132.91/2138.86 c #Conflicts: 1023000 | #Constraints: 52642
2132.91/2138.86 c #Conflicts: 1024000 | #Constraints: 53642
2132.91/2138.86 c #Conflicts: 1025000 | #Constraints: 54642
2132.91/2138.86 c #Conflicts: 1026000 | #Constraints: 55642
2132.91/2138.86 c #Conflicts: 1027000 | #Constraints: 56643
2132.91/2138.86 c #Conflicts: 1028000 | #Constraints: 57645
2132.91/2138.86 c #Conflicts: 1029000 | #Constraints: 58646
2132.91/2138.86 c #Conflicts: 1030000 | #Constraints: 59647
2132.91/2138.86 c #Conflicts: 1031000 | #Constraints: 60647
2132.91/2138.86 c #Conflicts: 1032000 | #Constraints: 61648
2132.91/2138.86 c #Conflicts: 1033000 | #Constraints: 62648
2132.91/2138.86 c #Conflicts: 1034000 | #Constraints: 63648
2132.91/2138.86 c #Conflicts: 1035000 | #Constraints: 64649
2132.91/2138.86 c #Conflicts: 1036000 | #Constraints: 65649
2132.91/2138.86 c #Conflicts: 1037000 | #Constraints: 66649
2132.91/2138.86 c #Conflicts: 1038000 | #Constraints: 67649
2132.91/2138.86 c #Conflicts: 1039000 | #Constraints: 68649
2132.91/2138.86 c #Conflicts: 1040000 | #Constraints: 69650
2132.91/2138.86 c #Conflicts: 1041000 | #Constraints: 70651
2132.91/2138.86 c INPROCESSING
2132.91/2138.86 c GARBAGE COLLECT
2132.91/2138.86 c rational objective 7
2200.04/2206.14 c #Conflicts: 1042000 | #Constraints: 51458
2200.04/2206.14 c #Conflicts: 1043000 | #Constraints: 52458
2200.04/2206.14 c #Conflicts: 1044000 | #Constraints: 53459
2200.04/2206.14 c #Conflicts: 1045000 | #Constraints: 54460
2200.04/2206.14 c #Conflicts: 1046000 | #Constraints: 55461
2200.04/2206.14 c #Conflicts: 1047000 | #Constraints: 56462
2200.04/2206.14 c #Conflicts: 1048000 | #Constraints: 57464
2200.04/2206.14 c #Conflicts: 1049000 | #Constraints: 58465
2200.04/2206.14 c #Conflicts: 1050000 | #Constraints: 59466
2200.04/2206.14 c #Conflicts: 1051000 | #Constraints: 60469
2200.04/2206.14 c #Conflicts: 1052000 | #Constraints: 61471
2200.04/2206.14 c #Conflicts: 1053000 | #Constraints: 62473
2200.04/2206.14 c #Conflicts: 1054000 | #Constraints: 63474
2200.04/2206.14 c #Conflicts: 1055000 | #Constraints: 64475
2200.04/2206.14 c #Conflicts: 1056000 | #Constraints: 65475
2200.04/2206.14 c #Conflicts: 1057000 | #Constraints: 66476
2200.04/2206.14 c #Conflicts: 1058000 | #Constraints: 67477
2200.04/2206.14 c #Conflicts: 1059000 | #Constraints: 68478
2200.04/2206.14 c #Conflicts: 1060000 | #Constraints: 69478
2200.04/2206.14 c #Conflicts: 1061000 | #Constraints: 70479
2200.04/2206.14 c #Conflicts: 1062000 | #Constraints: 71479
2200.04/2206.14 c INPROCESSING
2200.04/2206.14 c GARBAGE COLLECT
2200.04/2206.14 c rational objective 7
2311.31/2317.73 c #Conflicts: 1063000 | #Constraints: 52064
2311.31/2317.73 c #Conflicts: 1064000 | #Constraints: 53065
2311.31/2317.73 c #Conflicts: 1065000 | #Constraints: 54067
2311.31/2317.73 c #Conflicts: 1066000 | #Constraints: 55073
2311.31/2317.73 c #Conflicts: 1067000 | #Constraints: 56078
2311.31/2317.73 c #Conflicts: 1068000 | #Constraints: 57081
2311.31/2317.73 c #Conflicts: 1069000 | #Constraints: 58084
2311.31/2317.73 c #Conflicts: 1070000 | #Constraints: 59086
2311.31/2317.73 c #Conflicts: 1071000 | #Constraints: 60090
2311.31/2317.73 c #Conflicts: 1072000 | #Constraints: 61091
2311.31/2317.73 c #Conflicts: 1073000 | #Constraints: 62093
2311.31/2317.73 c #Conflicts: 1074000 | #Constraints: 63096
2311.31/2317.73 c #Conflicts: 1075000 | #Constraints: 64099
2311.31/2317.73 c #Conflicts: 1076000 | #Constraints: 65101
2311.31/2317.73 c #Conflicts: 1077000 | #Constraints: 66102
2311.31/2317.73 c #Conflicts: 1078000 | #Constraints: 67102
2311.31/2317.73 c #Conflicts: 1079000 | #Constraints: 68103
2311.31/2317.73 c #Conflicts: 1080000 | #Constraints: 69103
2311.31/2317.73 c #Conflicts: 1081000 | #Constraints: 70104
2311.31/2317.73 c #Conflicts: 1082000 | #Constraints: 71104
2311.31/2317.73 c #Conflicts: 1083000 | #Constraints: 72106
2311.31/2317.73 c INPROCESSING
2311.31/2317.73 c GARBAGE COLLECT
2311.31/2317.73 c rational objective 7
2354.50/2361.01 c #Conflicts: 1084000 | #Constraints: 52498
2354.50/2361.01 c #Conflicts: 1085000 | #Constraints: 53498
2354.50/2361.01 c #Conflicts: 1086000 | #Constraints: 54501
2354.50/2361.01 c #Conflicts: 1087000 | #Constraints: 55501
2354.50/2361.01 c #Conflicts: 1088000 | #Constraints: 56502
2354.50/2361.01 c #Conflicts: 1089000 | #Constraints: 57504
2354.50/2361.01 c #Conflicts: 1090000 | #Constraints: 58505
2354.50/2361.01 c #Conflicts: 1091000 | #Constraints: 59506
2354.50/2361.01 c #Conflicts: 1092000 | #Constraints: 60507
2354.50/2361.01 c #Conflicts: 1093000 | #Constraints: 61507
2354.50/2361.01 c #Conflicts: 1094000 | #Constraints: 62508
2354.50/2361.01 c #Conflicts: 1095000 | #Constraints: 63509
2354.50/2361.01 c #Conflicts: 1096000 | #Constraints: 64509
2354.50/2361.01 c #Conflicts: 1097000 | #Constraints: 65509
2354.50/2361.01 c #Conflicts: 1098000 | #Constraints: 66510
2354.50/2361.01 c #Conflicts: 1099000 | #Constraints: 67510
2354.50/2361.01 c #Conflicts: 1100000 | #Constraints: 68511
2354.50/2361.01 c #Conflicts: 1101000 | #Constraints: 69511
2354.50/2361.01 c #Conflicts: 1102000 | #Constraints: 70512
2354.50/2361.01 c #Conflicts: 1103000 | #Constraints: 71513
2354.50/2361.01 c #Conflicts: 1104000 | #Constraints: 72513
2354.50/2361.01 c INPROCESSING
2354.50/2361.01 c GARBAGE COLLECT
2354.50/2361.01 c rational objective 7
2436.74/2443.50 c #Conflicts: 1105000 | #Constraints: 52652
2436.74/2443.50 c #Conflicts: 1106000 | #Constraints: 53655
2436.74/2443.50 c #Conflicts: 1107000 | #Constraints: 54658
2436.74/2443.50 c #Conflicts: 1108000 | #Constraints: 55659
2436.74/2443.50 c #Conflicts: 1109000 | #Constraints: 56660
2436.74/2443.50 c #Conflicts: 1110000 | #Constraints: 57661
2436.74/2443.50 c #Conflicts: 1111000 | #Constraints: 58661
2436.74/2443.50 c #Conflicts: 1112000 | #Constraints: 59662
2436.74/2443.50 c #Conflicts: 1113000 | #Constraints: 60662
2436.74/2443.50 c #Conflicts: 1114000 | #Constraints: 61662
2436.74/2443.50 c #Conflicts: 1115000 | #Constraints: 62662
2436.74/2443.50 c #Conflicts: 1116000 | #Constraints: 63662
2436.74/2443.50 c #Conflicts: 1117000 | #Constraints: 64662
2436.74/2443.50 c #Conflicts: 1118000 | #Constraints: 65662
2436.74/2443.50 c #Conflicts: 1119000 | #Constraints: 66662
2436.74/2443.50 c #Conflicts: 1120000 | #Constraints: 67662
2436.74/2443.50 c #Conflicts: 1121000 | #Constraints: 68662
2436.74/2443.50 c #Conflicts: 1122000 | #Constraints: 69662
2436.74/2443.50 c #Conflicts: 1123000 | #Constraints: 70662
2436.74/2443.50 c #Conflicts: 1124000 | #Constraints: 71663
2436.74/2443.50 c #Conflicts: 1125000 | #Constraints: 72663
2436.74/2443.50 c INPROCESSING
2436.74/2443.50 c GARBAGE COLLECT
2436.74/2443.50 c rational objective 7
2491.29/2498.24 c #Conflicts: 1126000 | #Constraints: 52629
2491.29/2498.24 c #Conflicts: 1127000 | #Constraints: 53629
2491.29/2498.24 c #Conflicts: 1128000 | #Constraints: 54630
2491.29/2498.24 c #Conflicts: 1129000 | #Constraints: 55630
2491.29/2498.24 c #Conflicts: 1130000 | #Constraints: 56631
2491.29/2498.24 c #Conflicts: 1131000 | #Constraints: 57633
2491.29/2498.24 c #Conflicts: 1132000 | #Constraints: 58636
2491.29/2498.24 c #Conflicts: 1133000 | #Constraints: 59637
2491.29/2498.24 c #Conflicts: 1134000 | #Constraints: 60639
2491.29/2498.24 c #Conflicts: 1135000 | #Constraints: 61640
2491.29/2498.24 c #Conflicts: 1136000 | #Constraints: 62642
2491.29/2498.24 c #Conflicts: 1137000 | #Constraints: 63643
2491.29/2498.24 c #Conflicts: 1138000 | #Constraints: 64644
2491.29/2498.24 c #Conflicts: 1139000 | #Constraints: 65646
2491.29/2498.24 c #Conflicts: 1140000 | #Constraints: 66647
2491.29/2498.24 c #Conflicts: 1141000 | #Constraints: 67649
2491.29/2498.24 c #Conflicts: 1142000 | #Constraints: 68650
2491.29/2498.24 c #Conflicts: 1143000 | #Constraints: 69651
2491.29/2498.24 c #Conflicts: 1144000 | #Constraints: 70651
2491.29/2498.24 c #Conflicts: 1145000 | #Constraints: 71652
2491.29/2498.24 c #Conflicts: 1146000 | #Constraints: 72653
2491.29/2498.24 c INPROCESSING
2491.29/2498.24 c GARBAGE COLLECT
2491.29/2498.24 c rational objective 7
2535.98/2543.04 c #Conflicts: 1147000 | #Constraints: 52430
2535.98/2543.04 c #Conflicts: 1148000 | #Constraints: 53430
2535.98/2543.04 c #Conflicts: 1149000 | #Constraints: 54431
2535.98/2543.04 c #Conflicts: 1150000 | #Constraints: 55434
2535.98/2543.04 c #Conflicts: 1151000 | #Constraints: 56436
2535.98/2543.04 c #Conflicts: 1152000 | #Constraints: 57438
2535.98/2543.04 c #Conflicts: 1153000 | #Constraints: 58441
2535.98/2543.04 c #Conflicts: 1154000 | #Constraints: 59441
2535.98/2543.04 c #Conflicts: 1155000 | #Constraints: 60442
2535.98/2543.04 c #Conflicts: 1156000 | #Constraints: 61443
2535.98/2543.04 c #Conflicts: 1157000 | #Constraints: 62447
2535.98/2543.04 c #Conflicts: 1158000 | #Constraints: 63448
2535.98/2543.04 c #Conflicts: 1159000 | #Constraints: 64449
2535.98/2543.04 c #Conflicts: 1160000 | #Constraints: 65450
2535.98/2543.04 c #Conflicts: 1161000 | #Constraints: 66451
2535.98/2543.04 c #Conflicts: 1162000 | #Constraints: 67454
2535.98/2543.04 c #Conflicts: 1163000 | #Constraints: 68454
2535.98/2543.04 c #Conflicts: 1164000 | #Constraints: 69455
2535.98/2543.04 c #Conflicts: 1165000 | #Constraints: 70457
2535.98/2543.04 c #Conflicts: 1166000 | #Constraints: 71460
2535.98/2543.04 c #Conflicts: 1167000 | #Constraints: 72462
2535.98/2543.04 c #Conflicts: 1168000 | #Constraints: 73464
2535.98/2543.04 c INPROCESSING
2535.98/2543.04 c GARBAGE COLLECT
2535.98/2543.04 c rational objective 7
2600.31/2607.58 c #Conflicts: 1169000 | #Constraints: 53031
2600.31/2607.58 c #Conflicts: 1170000 | #Constraints: 54031
2600.31/2607.58 c #Conflicts: 1171000 | #Constraints: 55032
2600.31/2607.58 c #Conflicts: 1172000 | #Constraints: 56045
2600.31/2607.58 c #Conflicts: 1173000 | #Constraints: 57055
2600.31/2607.58 c #Conflicts: 1174000 | #Constraints: 58059
2600.31/2607.58 c #Conflicts: 1175000 | #Constraints: 59063
2600.31/2607.58 c #Conflicts: 1176000 | #Constraints: 60067
2600.31/2607.58 c #Conflicts: 1177000 | #Constraints: 61070
2600.31/2607.58 c #Conflicts: 1178000 | #Constraints: 62072
2600.31/2607.58 c #Conflicts: 1179000 | #Constraints: 63074
2600.31/2607.58 c #Conflicts: 1180000 | #Constraints: 64075
2600.31/2607.58 c #Conflicts: 1181000 | #Constraints: 65077
2600.31/2607.58 c #Conflicts: 1182000 | #Constraints: 66079
2600.31/2607.58 c #Conflicts: 1183000 | #Constraints: 67080
2600.31/2607.58 c #Conflicts: 1184000 | #Constraints: 68083
2600.31/2607.58 c #Conflicts: 1185000 | #Constraints: 69085
2600.31/2607.58 c #Conflicts: 1186000 | #Constraints: 70086
2600.31/2607.58 c #Conflicts: 1187000 | #Constraints: 71089
2600.31/2607.58 c #Conflicts: 1188000 | #Constraints: 72091
2600.31/2607.58 c #Conflicts: 1189000 | #Constraints: 73094
2600.31/2607.58 c #Conflicts: 1190000 | #Constraints: 74097
2600.31/2607.58 c INPROCESSING
2600.31/2607.58 c GARBAGE COLLECT
2600.31/2607.58 c rational objective 7
2657.48/2664.87 c #Conflicts: 1191000 | #Constraints: 53423
2657.48/2664.87 c #Conflicts: 1192000 | #Constraints: 54425
2657.48/2664.87 c #Conflicts: 1193000 | #Constraints: 55428
2657.48/2664.87 c #Conflicts: 1194000 | #Constraints: 56432
2657.48/2664.87 c #Conflicts: 1195000 | #Constraints: 57434
2657.48/2664.87 c #Conflicts: 1196000 | #Constraints: 58434
2657.48/2664.87 c #Conflicts: 1197000 | #Constraints: 59435
2657.48/2664.87 c #Conflicts: 1198000 | #Constraints: 60437
2657.48/2664.87 c #Conflicts: 1199000 | #Constraints: 61438
2657.48/2664.87 c #Conflicts: 1200000 | #Constraints: 62441
2657.48/2664.87 c #Conflicts: 1201000 | #Constraints: 63443
2657.48/2664.87 c #Conflicts: 1202000 | #Constraints: 64445
2657.48/2664.87 c #Conflicts: 1203000 | #Constraints: 65448
2657.48/2664.87 c #Conflicts: 1204000 | #Constraints: 66450
2657.48/2664.87 c #Conflicts: 1205000 | #Constraints: 67453
2657.48/2664.87 c #Conflicts: 1206000 | #Constraints: 68455
2657.48/2664.87 c #Conflicts: 1207000 | #Constraints: 69456
2657.48/2664.87 c #Conflicts: 1208000 | #Constraints: 70457
2657.48/2664.87 c #Conflicts: 1209000 | #Constraints: 71457
2657.48/2664.87 c #Conflicts: 1210000 | #Constraints: 72458
2657.48/2664.87 c #Conflicts: 1211000 | #Constraints: 73459
2657.48/2664.87 c #Conflicts: 1212000 | #Constraints: 74461
2657.48/2664.87 c INPROCESSING
2657.48/2664.87 c GARBAGE COLLECT
2657.48/2664.87 c rational objective 7
2731.59/2739.19 c #Conflicts: 1213000 | #Constraints: 53600
2731.59/2739.19 c #Conflicts: 1214000 | #Constraints: 54600
2731.59/2739.19 c #Conflicts: 1215000 | #Constraints: 55601
2731.59/2739.19 c #Conflicts: 1216000 | #Constraints: 56601
2731.59/2739.19 c #Conflicts: 1217000 | #Constraints: 57602
2731.59/2739.19 c #Conflicts: 1218000 | #Constraints: 58602
2731.59/2739.19 c #Conflicts: 1219000 | #Constraints: 59603
2731.59/2739.19 c #Conflicts: 1220000 | #Constraints: 60603
2731.59/2739.19 c #Conflicts: 1221000 | #Constraints: 61603
2731.59/2739.19 c #Conflicts: 1222000 | #Constraints: 62603
2731.59/2739.19 c #Conflicts: 1223000 | #Constraints: 63603
2731.59/2739.19 c #Conflicts: 1224000 | #Constraints: 64603
2731.59/2739.19 c #Conflicts: 1225000 | #Constraints: 65603
2731.59/2739.19 c #Conflicts: 1226000 | #Constraints: 66603
2731.59/2739.19 c #Conflicts: 1227000 | #Constraints: 67603
2731.59/2739.19 c #Conflicts: 1228000 | #Constraints: 68603
2731.59/2739.19 c #Conflicts: 1229000 | #Constraints: 69603
2731.59/2739.19 c #Conflicts: 1230000 | #Constraints: 70604
2731.59/2739.19 c #Conflicts: 1231000 | #Constraints: 71604
2731.59/2739.19 c #Conflicts: 1232000 | #Constraints: 72604
2731.59/2739.19 c #Conflicts: 1233000 | #Constraints: 73604
2731.59/2739.19 c #Conflicts: 1234000 | #Constraints: 74604
2731.59/2739.19 c INPROCESSING
2731.59/2739.19 c GARBAGE COLLECT
2731.59/2739.19 c rational objective 7
2786.36/2794.09 c #Conflicts: 1235000 | #Constraints: 53584
2786.36/2794.09 c #Conflicts: 1236000 | #Constraints: 54585
2786.36/2794.09 c #Conflicts: 1237000 | #Constraints: 55585
2786.36/2794.09 c #Conflicts: 1238000 | #Constraints: 56587
2786.36/2794.09 c #Conflicts: 1239000 | #Constraints: 57589
2786.36/2794.09 c #Conflicts: 1240000 | #Constraints: 58594
2786.36/2794.09 c #Conflicts: 1241000 | #Constraints: 59598
2786.36/2794.09 c #Conflicts: 1242000 | #Constraints: 60603
2786.36/2794.09 c #Conflicts: 1243000 | #Constraints: 61608
2786.36/2794.09 c #Conflicts: 1244000 | #Constraints: 62609
2786.36/2794.09 c #Conflicts: 1245000 | #Constraints: 63610
2786.36/2794.09 c #Conflicts: 1246000 | #Constraints: 64612
2786.36/2794.09 c #Conflicts: 1247000 | #Constraints: 65614
2786.36/2794.09 c #Conflicts: 1248000 | #Constraints: 66619
2786.36/2794.09 c #Conflicts: 1249000 | #Constraints: 67620
2786.36/2794.09 c #Conflicts: 1250000 | #Constraints: 68621
2786.36/2794.09 c #Conflicts: 1251000 | #Constraints: 69623
2786.36/2794.09 c #Conflicts: 1252000 | #Constraints: 70625
2786.36/2794.09 c #Conflicts: 1253000 | #Constraints: 71629
2786.36/2794.09 c #Conflicts: 1254000 | #Constraints: 72634
2786.36/2794.09 c #Conflicts: 1255000 | #Constraints: 73636
2786.36/2794.09 c #Conflicts: 1256000 | #Constraints: 74640
2786.36/2794.09 c INPROCESSING
2786.36/2794.09 c GARBAGE COLLECT
2786.36/2794.09 c rational objective 7
2860.16/2868.01 c #Conflicts: 1257000 | #Constraints: 53404
2860.16/2868.01 c #Conflicts: 1258000 | #Constraints: 54405
2860.16/2868.01 c #Conflicts: 1259000 | #Constraints: 55411
2860.16/2868.01 c #Conflicts: 1260000 | #Constraints: 56416
2860.16/2868.01 c #Conflicts: 1261000 | #Constraints: 57418
2860.16/2868.01 c #Conflicts: 1262000 | #Constraints: 58421
2860.16/2868.01 c #Conflicts: 1263000 | #Constraints: 59424
2860.16/2868.01 c #Conflicts: 1264000 | #Constraints: 60428
2860.16/2868.01 c #Conflicts: 1265000 | #Constraints: 61430
2860.16/2868.01 c #Conflicts: 1266000 | #Constraints: 62435
2860.16/2868.01 c #Conflicts: 1267000 | #Constraints: 63437
2860.16/2868.01 c #Conflicts: 1268000 | #Constraints: 64440
2860.16/2868.01 c #Conflicts: 1269000 | #Constraints: 65441
2860.16/2868.01 c #Conflicts: 1270000 | #Constraints: 66442
2860.16/2868.01 c #Conflicts: 1271000 | #Constraints: 67449
2860.16/2868.01 c #Conflicts: 1272000 | #Constraints: 68451
2860.16/2868.01 c #Conflicts: 1273000 | #Constraints: 69452
2860.16/2868.01 c #Conflicts: 1274000 | #Constraints: 70454
2860.16/2868.01 c #Conflicts: 1275000 | #Constraints: 71456
2860.16/2868.01 c #Conflicts: 1276000 | #Constraints: 72457
2860.16/2868.01 c #Conflicts: 1277000 | #Constraints: 73458
2860.16/2868.01 c #Conflicts: 1278000 | #Constraints: 74460
2860.16/2868.01 c #Conflicts: 1279000 | #Constraints: 75461
2860.16/2868.01 c INPROCESSING
2860.16/2868.01 c GARBAGE COLLECT
2860.16/2868.01 c rational objective 7
2915.51/2923.55 c #Conflicts: 1280000 | #Constraints: 54016
2915.51/2923.55 c #Conflicts: 1281000 | #Constraints: 55016
2915.51/2923.55 c #Conflicts: 1282000 | #Constraints: 56016
2915.51/2923.55 c #Conflicts: 1283000 | #Constraints: 57019
2915.51/2923.55 c #Conflicts: 1284000 | #Constraints: 58021
2915.51/2923.55 c #Conflicts: 1285000 | #Constraints: 59022
2915.51/2923.55 c #Conflicts: 1286000 | #Constraints: 60026
2915.51/2923.55 c #Conflicts: 1287000 | #Constraints: 61031
2915.51/2923.55 c #Conflicts: 1288000 | #Constraints: 62034
2915.51/2923.55 c #Conflicts: 1289000 | #Constraints: 63037
2915.51/2923.55 c #Conflicts: 1290000 | #Constraints: 64040
2915.51/2923.55 c #Conflicts: 1291000 | #Constraints: 65041
2915.51/2923.55 c #Conflicts: 1292000 | #Constraints: 66044
2915.51/2923.55 c #Conflicts: 1293000 | #Constraints: 67048
2915.51/2923.55 c #Conflicts: 1294000 | #Constraints: 68053
2915.51/2923.55 c #Conflicts: 1295000 | #Constraints: 69055
2915.51/2923.55 c #Conflicts: 1296000 | #Constraints: 70057
2915.51/2923.55 c #Conflicts: 1297000 | #Constraints: 71059
2915.51/2923.55 c #Conflicts: 1298000 | #Constraints: 72063
2915.51/2923.55 c #Conflicts: 1299000 | #Constraints: 73063
2915.51/2923.55 c #Conflicts: 1300000 | #Constraints: 74064
2915.51/2923.55 c #Conflicts: 1301000 | #Constraints: 75065
2915.51/2923.55 c #Conflicts: 1302000 | #Constraints: 76066
2915.51/2923.55 c INPROCESSING
2915.51/2923.55 c GARBAGE COLLECT
2915.51/2923.55 c rational objective 7
2975.46/2983.67 c #Conflicts: 1303000 | #Constraints: 54428
2975.46/2983.67 c #Conflicts: 1304000 | #Constraints: 55429
2975.46/2983.67 c #Conflicts: 1305000 | #Constraints: 56430
2975.46/2983.67 c #Conflicts: 1306000 | #Constraints: 57432
2975.46/2983.67 c #Conflicts: 1307000 | #Constraints: 58435
2975.46/2983.67 c #Conflicts: 1308000 | #Constraints: 59440
2975.46/2983.67 c #Conflicts: 1309000 | #Constraints: 60446
2975.46/2983.67 c #Conflicts: 1310000 | #Constraints: 61448
2975.46/2983.67 c #Conflicts: 1311000 | #Constraints: 62450
2975.46/2983.67 c #Conflicts: 1312000 | #Constraints: 63452
2975.46/2983.67 c #Conflicts: 1313000 | #Constraints: 64455
2975.46/2983.67 c #Conflicts: 1314000 | #Constraints: 65458
2975.46/2983.67 c #Conflicts: 1315000 | #Constraints: 66459
2975.46/2983.67 c #Conflicts: 1316000 | #Constraints: 67466
2975.46/2983.67 c #Conflicts: 1317000 | #Constraints: 68472
2975.46/2983.67 c #Conflicts: 1318000 | #Constraints: 69473
2975.46/2983.67 c #Conflicts: 1319000 | #Constraints: 70476
2975.46/2983.67 c #Conflicts: 1320000 | #Constraints: 71476
2975.46/2983.67 c #Conflicts: 1321000 | #Constraints: 72481
2975.46/2983.67 c #Conflicts: 1322000 | #Constraints: 73482
2975.46/2983.67 c #Conflicts: 1323000 | #Constraints: 74483
2975.46/2983.67 c #Conflicts: 1324000 | #Constraints: 75484
2975.46/2983.67 c #Conflicts: 1325000 | #Constraints: 76487
2975.46/2983.67 c INPROCESSING
2975.46/2983.67 c GARBAGE COLLECT
2975.46/2983.67 c rational objective 7
3053.76/3062.19 c #Conflicts: 1326000 | #Constraints: 54659
3053.76/3062.19 c #Conflicts: 1327000 | #Constraints: 55661
3053.76/3062.19 c #Conflicts: 1328000 | #Constraints: 56664
3053.76/3062.19 c #Conflicts: 1329000 | #Constraints: 57665
3053.76/3062.19 c #Conflicts: 1330000 | #Constraints: 58669
3053.76/3062.19 c #Conflicts: 1331000 | #Constraints: 59670
3053.76/3062.19 c #Conflicts: 1332000 | #Constraints: 60671
3053.76/3062.19 c #Conflicts: 1333000 | #Constraints: 61671
3053.76/3062.19 c #Conflicts: 1334000 | #Constraints: 62673
3053.76/3062.19 c #Conflicts: 1335000 | #Constraints: 63675
3053.76/3062.19 c #Conflicts: 1336000 | #Constraints: 64678
3053.76/3062.19 c #Conflicts: 1337000 | #Constraints: 65678
3053.76/3062.19 c #Conflicts: 1338000 | #Constraints: 66679
3053.76/3062.19 c #Conflicts: 1339000 | #Constraints: 67681
3053.76/3062.19 c #Conflicts: 1340000 | #Constraints: 68681
3053.76/3062.19 c #Conflicts: 1341000 | #Constraints: 69870
3053.76/3062.19 c #Conflicts: 1342000 | #Constraints: 71425
3053.76/3062.19 c #Conflicts: 1343000 | #Constraints: 72973
3053.76/3062.19 c #Conflicts: 1344000 | #Constraints: 74506
3053.76/3062.19 c #Conflicts: 1345000 | #Constraints: 76043
3053.76/3062.19 c #Conflicts: 1346000 | #Constraints: 77538
3053.76/3062.19 c #Conflicts: 1347000 | #Constraints: 79040
3053.76/3062.19 c #Conflicts: 1348000 | #Constraints: 80575
3053.76/3062.19 c INPROCESSING
3053.76/3062.19 c GARBAGE COLLECT
3053.76/3062.19 c rational objective 7
3317.97/3327.05 c #Conflicts: 1349000 | #Constraints: 57039
3317.97/3327.05 c #Conflicts: 1350000 | #Constraints: 58088
3317.97/3327.05 c #Conflicts: 1351000 | #Constraints: 59584
3317.97/3327.05 c #Conflicts: 1352000 | #Constraints: 61105
3317.97/3327.05 c #Conflicts: 1353000 | #Constraints: 62652
3317.97/3327.05 c #Conflicts: 1354000 | #Constraints: 64177
3317.97/3327.05 c #Conflicts: 1355000 | #Constraints: 65695
3317.97/3327.05 c #Conflicts: 1356000 | #Constraints: 67197
3317.97/3327.05 c #Conflicts: 1357000 | #Constraints: 68694
3317.97/3327.05 c #Conflicts: 1358000 | #Constraints: 70180
3317.97/3327.05 c #Conflicts: 1359000 | #Constraints: 71722
3317.97/3327.05 c #Conflicts: 1360000 | #Constraints: 73262
3317.97/3327.05 c #Conflicts: 1361000 | #Constraints: 74595
3317.97/3327.05 c #Conflicts: 1362000 | #Constraints: 75953
3317.97/3327.05 c #Conflicts: 1363000 | #Constraints: 77518
3317.97/3327.05 c #Conflicts: 1364000 | #Constraints: 78919
3317.97/3327.05 c #Conflicts: 1365000 | #Constraints: 79951
3317.97/3327.05 c #Conflicts: 1366000 | #Constraints: 80951
3317.97/3327.05 c #Conflicts: 1367000 | #Constraints: 81952
3317.97/3327.05 c #Conflicts: 1368000 | #Constraints: 82952
3317.97/3327.05 c #Conflicts: 1369000 | #Constraints: 83952
3317.97/3327.05 c #Conflicts: 1370000 | #Constraints: 84952
3317.97/3327.05 c #Conflicts: 1371000 | #Constraints: 85952
3317.97/3327.05 c INPROCESSING
3317.97/3327.05 c GARBAGE COLLECT
3317.97/3327.05 c #Conflicts: 1372000 | #Constraints: 59044
3317.97/3327.05 c #Conflicts: 1373000 | #Constraints: 60044
3317.97/3327.05 c #Conflicts: 1374000 | #Constraints: 61044
3317.97/3327.05 c #Conflicts: 1375000 | #Constraints: 62044
3317.97/3327.05 c #Conflicts: 1376000 | #Constraints: 63044
3317.97/3327.05 c #Conflicts: 1377000 | #Constraints: 64044
3317.97/3327.05 c #Conflicts: 1378000 | #Constraints: 65044
3317.97/3327.05 c #Conflicts: 1379000 | #Constraints: 66047
3317.97/3327.05 c #Conflicts: 1380000 | #Constraints: 67055
3317.97/3327.05 c #Conflicts: 1381000 | #Constraints: 68057
3317.97/3327.05 c #Conflicts: 1382000 | #Constraints: 69059
3317.97/3327.05 c #Conflicts: 1383000 | #Constraints: 70066
3317.97/3327.05 c #Conflicts: 1384000 | #Constraints: 71066
3317.97/3327.05 c #Conflicts: 1385000 | #Constraints: 72066
3317.97/3327.05 c #Conflicts: 1386000 | #Constraints: 73069
3317.97/3327.05 c #Conflicts: 1387000 | #Constraints: 74069
3317.97/3327.05 c #Conflicts: 1388000 | #Constraints: 75069
3317.97/3327.05 c #Conflicts: 1389000 | #Constraints: 76069
3317.97/3327.05 c #Conflicts: 1390000 | #Constraints: 77069
3317.97/3327.05 c #Conflicts: 1391000 | #Constraints: 78081
3317.97/3327.05 c #Conflicts: 1392000 | #Constraints: 79081
3317.97/3327.05 c #Conflicts: 1393000 | #Constraints: 80095
3317.97/3327.05 c #Conflicts: 1394000 | #Constraints: 81104
3317.97/3327.05 c #Conflicts: 1395000 | #Constraints: 82110
3317.97/3327.05 c INPROCESSING
3317.97/3327.05 c GARBAGE COLLECT
3317.97/3327.05 c rational objective 7
3359.16/3368.35 c #Conflicts: 1396000 | #Constraints: 57365
3359.16/3368.35 c #Conflicts: 1397000 | #Constraints: 58366
3359.16/3368.35 c #Conflicts: 1398000 | #Constraints: 59366
3359.16/3368.35 c #Conflicts: 1399000 | #Constraints: 60366
3359.16/3368.35 c #Conflicts: 1400000 | #Constraints: 61369
3359.16/3368.35 c #Conflicts: 1401000 | #Constraints: 62372
3359.16/3368.35 c #Conflicts: 1402000 | #Constraints: 63373
3359.16/3368.35 c #Conflicts: 1403000 | #Constraints: 64374
3359.16/3368.35 c #Conflicts: 1404000 | #Constraints: 65375
3359.16/3368.35 c #Conflicts: 1405000 | #Constraints: 66375
3359.16/3368.35 c #Conflicts: 1406000 | #Constraints: 67376
3359.16/3368.35 c #Conflicts: 1407000 | #Constraints: 68377
3359.16/3368.35 c #Conflicts: 1408000 | #Constraints: 69378
3359.16/3368.35 c #Conflicts: 1409000 | #Constraints: 70381
3359.16/3368.35 c #Conflicts: 1410000 | #Constraints: 71383
3359.16/3368.35 c #Conflicts: 1411000 | #Constraints: 72385
3359.16/3368.35 c #Conflicts: 1412000 | #Constraints: 73386
3359.16/3368.35 c #Conflicts: 1413000 | #Constraints: 74387
3359.16/3368.35 c #Conflicts: 1414000 | #Constraints: 75387
3359.16/3368.35 c #Conflicts: 1415000 | #Constraints: 76389
3359.16/3368.35 c #Conflicts: 1416000 | #Constraints: 77390
3359.16/3368.35 c #Conflicts: 1417000 | #Constraints: 78390
3359.16/3368.35 c #Conflicts: 1418000 | #Constraints: 79391
3359.16/3368.35 c #Conflicts: 1419000 | #Constraints: 80391
3359.16/3368.35 c INPROCESSING
3359.16/3368.35 c GARBAGE COLLECT
3359.16/3368.35 c rational objective 7
3419.30/3428.60 c #Conflicts: 1420000 | #Constraints: 56602
3419.30/3428.60 c #Conflicts: 1421000 | #Constraints: 57602
3419.30/3428.60 c #Conflicts: 1422000 | #Constraints: 58607
3419.30/3428.60 c #Conflicts: 1423000 | #Constraints: 59611
3419.30/3428.60 c #Conflicts: 1424000 | #Constraints: 60612
3419.30/3428.60 c #Conflicts: 1425000 | #Constraints: 61615
3419.30/3428.60 c #Conflicts: 1426000 | #Constraints: 62620
3419.30/3428.60 c #Conflicts: 1427000 | #Constraints: 63622
3419.30/3428.60 c #Conflicts: 1428000 | #Constraints: 64626
3419.30/3428.60 c #Conflicts: 1429000 | #Constraints: 65629
3419.30/3428.60 c #Conflicts: 1430000 | #Constraints: 66634
3419.30/3428.60 c #Conflicts: 1431000 | #Constraints: 67635
3419.30/3428.60 c #Conflicts: 1432000 | #Constraints: 68638
3419.30/3428.60 c #Conflicts: 1433000 | #Constraints: 69640
3419.30/3428.60 c #Conflicts: 1434000 | #Constraints: 70641
3419.30/3428.60 c #Conflicts: 1435000 | #Constraints: 71642
3419.30/3428.60 c #Conflicts: 1436000 | #Constraints: 72642
3419.30/3428.60 c #Conflicts: 1437000 | #Constraints: 73642
3419.30/3428.60 c #Conflicts: 1438000 | #Constraints: 74642
3419.30/3428.60 c #Conflicts: 1439000 | #Constraints: 75643
3419.30/3428.60 c #Conflicts: 1440000 | #Constraints: 76644
3419.30/3428.60 c #Conflicts: 1441000 | #Constraints: 77645
3419.30/3428.60 c #Conflicts: 1442000 | #Constraints: 78647
3419.30/3428.60 c #Conflicts: 1443000 | #Constraints: 79650
3419.30/3428.60 c INPROCESSING
3419.30/3428.60 c GARBAGE COLLECT
3419.30/3428.60 c rational objective 7
3518.26/3527.81 c #Conflicts: 1444000 | #Constraints: 56211
3518.26/3527.81 c #Conflicts: 1445000 | #Constraints: 57213
3518.26/3527.81 c #Conflicts: 1446000 | #Constraints: 58215
3518.26/3527.81 c #Conflicts: 1447000 | #Constraints: 59216
3518.26/3527.81 c #Conflicts: 1448000 | #Constraints: 60217
3518.26/3527.81 c #Conflicts: 1449000 | #Constraints: 61218
3518.26/3527.81 c #Conflicts: 1450000 | #Constraints: 62219
3518.26/3527.81 c #Conflicts: 1451000 | #Constraints: 63221
3518.26/3527.81 c #Conflicts: 1452000 | #Constraints: 64223
3518.26/3527.81 c #Conflicts: 1453000 | #Constraints: 65223
3518.26/3527.81 c #Conflicts: 1454000 | #Constraints: 66225
3518.26/3527.81 c #Conflicts: 1455000 | #Constraints: 67226
3518.26/3527.81 c #Conflicts: 1456000 | #Constraints: 68227
3518.26/3527.81 c #Conflicts: 1457000 | #Constraints: 69230
3518.26/3527.81 c #Conflicts: 1458000 | #Constraints: 70231
3518.26/3527.81 c #Conflicts: 1459000 | #Constraints: 71232
3518.26/3527.81 c #Conflicts: 1460000 | #Constraints: 72233
3518.26/3527.81 c #Conflicts: 1461000 | #Constraints: 73234
3518.26/3527.81 c #Conflicts: 1462000 | #Constraints: 74235
3518.26/3527.81 c #Conflicts: 1463000 | #Constraints: 75236
3518.26/3527.81 c #Conflicts: 1464000 | #Constraints: 76238
3518.26/3527.81 c #Conflicts: 1465000 | #Constraints: 77239
3518.26/3527.81 c #Conflicts: 1466000 | #Constraints: 78240
3518.26/3527.81 c #Conflicts: 1467000 | #Constraints: 79241
3518.26/3527.81 c INPROCESSING
3518.26/3527.81 c GARBAGE COLLECT
3518.26/3527.81 c rational objective 7
3598.71/3608.52 c #Conflicts: 1468000 | #Constraints: 55911
3598.71/3608.52 c #Conflicts: 1469000 | #Constraints: 56912
3598.71/3608.52 c #Conflicts: 1470000 | #Constraints: 57916
3598.71/3608.52 c #Conflicts: 1471000 | #Constraints: 58921
3598.71/3608.52 c #Conflicts: 1472000 | #Constraints: 59922
3598.71/3608.52 c #Conflicts: 1473000 | #Constraints: 60928
3598.71/3608.52 c #Conflicts: 1474000 | #Constraints: 61930
3598.71/3608.52 c #Conflicts: 1475000 | #Constraints: 62932
3598.71/3608.52 c #Conflicts: 1476000 | #Constraints: 63935
3598.71/3608.52 c #Conflicts: 1477000 | #Constraints: 64938
3598.71/3608.52 c #Conflicts: 1478000 | #Constraints: 65941
3598.71/3608.52 c #Conflicts: 1479000 | #Constraints: 66945
3598.71/3608.52 c #Conflicts: 1480000 | #Constraints: 67949
3598.71/3608.52 c #Conflicts: 1481000 | #Constraints: 68952
3598.71/3608.52 c #Conflicts: 1482000 | #Constraints: 69957
3598.71/3608.52 c #Conflicts: 1483000 | #Constraints: 70960
3598.71/3608.52 c #Conflicts: 1484000 | #Constraints: 71961
3598.71/3608.52 c #Conflicts: 1485000 | #Constraints: 72963
3598.71/3608.52 c #Conflicts: 1486000 | #Constraints: 73965
3598.71/3608.52 c #Conflicts: 1487000 | #Constraints: 74968
3598.71/3608.52 c #Conflicts: 1488000 | #Constraints: 75968
3598.71/3608.52 c #Conflicts: 1489000 | #Constraints: 76970
3598.71/3608.52 c #Conflicts: 1490000 | #Constraints: 77973
3598.71/3608.52 c #Conflicts: 1491000 | #Constraints: 78974
3598.71/3608.52 c INPROCESSING
3598.71/3608.52 c GARBAGE COLLECT
3598.71/3608.52 c rational objective 7
3600.02/3609.83 c #Conflicts: 1492000 | #Constraints: 55579
3600.02/3609.83 c cpu time 3562.18 s
3600.02/3609.83 c deterministic time 298934849788 2.99e+11
3600.02/3609.83 c optimization time 1.15355 s
3600.02/3609.83 c total solve time 3560.82 s
3600.02/3609.83 c core-guided solve time 1791.06 s
3600.02/3609.83 c propagation time 2255.92 s
3600.02/3609.83 c conflict analysis time 960.776 s
3600.02/3609.83 c propagations 521881215
3600.02/3609.83 c resolve steps 10860213
3600.02/3609.83 c decisions 9051540
3600.02/3609.83 c conflicts 1492926
3600.02/3609.83 c restarts 2931
3600.02/3609.83 c inprocessing phases 113
3600.02/3609.83 c garbage collections 113 ,( 100.00 )
3600.02/3609.83 c input clauses 36171 ,( 98.57 )
3600.02/3609.83 c input cardinalities 76 ,( 0.21 )
3600.02/3609.83 c input general constraints 448 ,( 1.22 )
3600.02/3609.83 c input average constraint length 3.99
3600.02/3609.83 c input average constraint degree 11.66
3600.02/3609.83 c learned clauses 178009 ,( 11.81 )
3600.02/3609.83 c learned cardinalities 11951 ,( 0.79 )
3600.02/3609.83 c learned general constraints 1317370 ,( 87.40 )
3600.02/3609.83 c learned average constraint length 829.20
3600.02/3609.83 c learned average constraint degree 5885541200.62
3600.02/3609.83 c watched CF 32, 64, 128, Arb: 504910 , 0 , 0 , 0
3600.02/3609.83 c counting CF 32, 64, 128, Arb: 812909 , 0 , 0 , 0
3600.02/3609.83 c watched constraints 504910 ,( 38.31 )
3600.02/3609.83 c counting constraints 812908 ,( 61.69 )
3600.02/3609.83 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 148282787 , 46639474 , 2724932624 ,( 355946693 , 2368985931 )
3600.02/3609.83 c gcd simplifications 114060
3600.02/3609.83 c detected cardinalities 351
3600.02/3609.83 c weakened non-implied lits 304092244
3600.02/3609.83 c weakened non-implying lits 994154
3600.02/3609.83 c original variables 15310
3600.02/3609.83 c clausal propagations 117222573
3600.02/3609.83 c cardinality propagations 34292519
3600.02/3609.83 c watched propagations 3003423
3600.02/3609.83 c counting propagations 356586551
3600.02/3609.83 c watch lookups 154343186926
3600.02/3609.83 c watch backjump lookups 0
3600.02/3609.83 c watch checks 59071122542
3600.02/3609.83 c propagation checks 80573108379
3600.02/3609.83 c constraint additions 3882397850
3600.02/3609.83 c trail pops 532416775
3600.02/3609.83 c formula constraints 36695
3600.02/3609.83 c learned constraints 1490343
3600.02/3609.83 c bound constraints 0
3600.02/3609.83 c core-guided constraints 0
3600.02/3609.83 c encountered formula constraints 7141683
3600.02/3609.83 c encountered learned constraints 4757941
3600.02/3609.83 c encountered bound constraints 0
3600.02/3609.83 c encountered core-guided constraints 0
3600.02/3609.83 c LP total time 750.9 s
3600.02/3609.83 c LP solve time 674.84 s
3600.02/3609.83 c LP constraints added 38606
3600.02/3609.83 c LP constraints removed 1900
3600.02/3609.83 c LP pivots internal 1493832
3600.02/3609.83 c LP pivots root 190728
3600.02/3609.83 c LP calls 14899
3600.02/3609.83 c LP optimalities 924
3600.02/3609.83 c LP no pivot count 102
3600.02/3609.83 c LP infeasibilities 13970
3600.02/3609.83 c LP valid Farkas constraints 13968
3600.02/3609.83 c LP learned Farkas constraints 2582
3600.02/3609.83 c LP basis resets 2
3600.02/3609.83 c LP cycling count 0
3600.02/3609.83 c LP singular count 0
3600.02/3609.83 c LP no primal count 0
3600.02/3609.83 c LP no farkas count 2
3600.02/3609.83 c LP other issue count 0
3600.02/3609.83 c LP Gomory cuts 437
3600.02/3609.83 c LP learned cuts 1474
3600.02/3609.83 c LP deleted cuts 1900
3600.02/3609.83 c LP encountered Gomory constraints 16427
3600.02/3609.83 c LP encountered Farkas constraints 396877
3600.02/3609.83 c LP encountered learned Farkas constraints 37629
3600.02/3609.83 c CG auxiliary variables introduced 0
3600.02/3609.83 c CG solutions found 0
3600.02/3609.83 c CG cores constructed 0
3600.02/3609.83 c CG core cardinality constraints returned 0
3600.02/3609.83 c CG unit cores 0
3600.02/3609.83 c CG single cores 0
3600.02/3609.83 c CG blocks removed during cardinality reduction 0
3600.02/3609.83 c CG first core best 0
3600.02/3609.83 c CG decision core best 0
3600.02/3609.83 c CG core reduction tie 0
3600.02/3609.83 c CG core degree average 0.00
3600.02/3609.83 c CG core slack average 0.00
3600.02/3609.83 c CG core upper bound improvements 0
3600.02/3609.83 c STR number of successful calls 0
3600.02/3609.83 c STR number of unsuccessful calls 0
3600.02/3609.83 c STR number of inconclusive calls 0
3600.02/3609.83 c STR number of successful attempts 0
3600.02/3609.83 c STR number of unsuccessful attempts 0
3600.02/3609.83 c STR number of inconclusive attempts 0
3600.02/3609.83 c STR average degree increase per successful call inf
3600.02/3609.83 c STR average degree increase per successful attempt inf
3600.02/3609.83 c STR total number of conflicts for successful attempts 0
3600.02/3609.83 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3609.83 c STR total number of conflicts for inconclusive attempts 0
3600.02/3609.83 c STR average number of conflicts per successful attempt inf
3600.02/3609.83 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3609.83 c STR average number of conflicts per inconclusive attempt inf
3600.02/3609.83 c AVG.sumWPerc 50.02
3600.02/3609.83 c bigint constraints 0
3600.02/3609.83 s UNKNOWN
3600.02/3609.83 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (46699 MiB free)
memory of node 1: 64465 MiB (47883 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4531952-1752683077/watcher-4531952-1752683077 -o /tmp/evaluation-result-4531952-1752683077/solver-4531952-1752683077 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1752683038-132599 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531952-1752683077.opb /tmp/proof-4531952-1752683077
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=132865, runsolver pid=132862
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 2.04 0.58 0.25 5/269 132867
/proc/meminfo: memFree=96846976/131249988 swapFree=33010416/33010684
[pid=132865] ppid=132862 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/132865/stat : 132865 (run-opt-ls-log.) S 132862 132865 132581 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 183986225 4292608 768 18446744073709551615 94548550275072 94548551169605 140733246202384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94548551408656 94548551456400 94548582842368 140733246208319 140733246208479 140733246208479 140733246214083 0
/proc/132865/statm: 1048 768 704 219 0 110 0
[pid=132867] ppid=132865 vsize=28156 memory=18036 CPUtime=0.08 cores=4,6
/proc/132867/stat : 132867 (pbsuma) R 132865 132865 132581 0 -1 4194304 4482 0 0 0 8 0 0 0 20 0 1 0 183986226 28831744 4509 18446744073709551615 4210688 4653049 140726615489056 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 10067968 140726615496967 140726615497264 140726615497264 140726615502831 0
/proc/132867/statm: 7039 4509 1024 108 0 4447 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 32348 KiB
Current children cumulated memory: 21108 KiB
[startup+0.205698 s]*
/proc/loadavg: 2.04 0.58 0.25 5/269 132867
/proc/meminfo: memFree=96841180/131249988 swapFree=33010416/33010684
[pid=132865] ppid=132862 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/132865/stat : 132865 (run-opt-ls-log.) S 132862 132865 132581 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 183986225 4292608 768 18446744073709551615 94548550275072 94548551169605 140733246202384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94548551408656 94548551456400 94548582842368 140733246208319 140733246208479 140733246208479 140733246214083 0
/proc/132865/statm: 1048 768 704 219 0 110 0
[pid=132867] ppid=132865 vsize=23900 memory=15264 CPUtime=0.19 cores=4,6
/proc/132867/stat : 132867 (pbsuma) R 132865 132865 132581 0 -1 4194304 4610 0 0 0 19 0 0 0 20 0 1 0 183986226 24473600 3816 18446744073709551615 4210688 4653049 140726615489056 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 10067968 140726615496967 140726615497264 140726615497264 140726615502831 0
/proc/132867/statm: 5975 3816 1024 108 0 3383 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 28092 KiB
Current children cumulated memory: 18336 KiB
[startup+0.305567 s]*
/proc/loadavg: 2.04 0.58 0.25 5/269 132867
/proc/meminfo: memFree=96841180/131249988 swapFree=33010416/33010684
[pid=132865] ppid=132862 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/132865/stat : 132865 (run-opt-ls-log.) S 132862 132865 132581 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 183986225 4292608 768 18446744073709551615 94548550275072 94548551169605 140733246202384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94548551408656 94548551456400 94548582842368 140733246208319 140733246208479 140733246208479 140733246214083 0
/proc/132865/statm: 1048 768 704 219 0 110 0
[pid=132867] ppid=132865 vsize=24680 memory=16032 CPUtime=0.29 cores=4,6
/proc/132867/stat : 132867 (pbsuma) R 132865 132865 132581 0 -1 4194304 4827 0 0 0 29 0 0 0 20 0 1 0 183986226 25272320 4008 18446744073709551615 4210688 4653049 140726615489056 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 10067968 140726615496967 140726615497264 140726615497264 140726615502831 0
/proc/132867/statm: 6170 4008 1024 108 0 3578 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 28872 KiB
Current children cumulated memory: 19104 KiB
[startup+0.700194 s]
/proc/loadavg: 2.04 0.58 0.25 5/269 132867
/proc/meminfo: memFree=96809176/131249988 swapFree=33010416/33010684
[pid=132865] ppid=132862 vsize=4192 memory=3072 CPUtime=0.64 cores=4,6
/proc/132865/stat : 132865 (run-opt-ls-log.) S 132862 132865 132581 0 -1 4194304 240 7410 0 0 0 0 62 2 20 0 1 0 183986225 4292608 768 18446744073709551615 94548550275072 94548551169605 140733246202384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94548551408656 94548551456400 94548582842368 140733246208319 140733246208479 140733246208479 140733246214083 0
/proc/132865/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
[startup+1.5002 s]
/proc/loadavg: 2.27 0.66 0.28 6/269 132868
/proc/meminfo: memFree=96706816/131249988 swapFree=33010416/33010684
[pid=132865] ppid=132862 vsize=4192 memory=3072 CPUtime=0.64 cores=4,6
/proc/132865/stat : 132865 (run-opt-ls-log.) S 132862 132865 132581 0 -1 4194304 240 7410 0 0 0 0 62 2 20 0 1 0 183986225 4292608 768 18446744073709551615 94548550275072 94548551169605 140733246202384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94548551408656 94548551456400 94548582842368 140733246208319 140733246208479 140733246208479 140733246214083 0
/proc/132865/statm: 1048 768 704 219 0 110 0
[pid=132868] ppid=132865 vsize=137948 memory=80300 CPUtime=0.82 cores=4,6
/proc/132868/stat : 132868 (roundingsat) R 132865 132865 132581 0 -1 4194304 14108 0 0 0 76 6 0 0 20 0 1 0 183986292 141258752 20075 18446744073709551615 4227072 8923577 140726568398864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10399744 140726568405274 140726568405542 140726568405542 140726568411114 0
/proc/132868/statm: 34487 20075 2368 1147 0 21913 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 142140 KiB
Current children cumulated memory: 83372 KiB
[startup+3.10538 s]
/proc/loadavg: 2.27 0.66 0.28 6/269 132868
/proc/meminfo: memFree=96625492/131249988 swapFree=33010416/33010684
[pid=132865] ppid=132862 vsize=4192 memory=3072 CPUtime=0.64 cores=4,6
/proc/132865/stat : 132865 (run-opt-ls-log.) S 132862 132865 132581 0 -1 4194304 240 7410 0 0 0 0 62 2 20 0 1 0 183986225 4292608 768 18446744073709551615 94548550275072 94548551169605 140733246202384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94548551408656 94548551456400 94548582842368 140733246208319 140733246208479 140733246208479 140733246214083 0
/proc/132865/statm: 1048 768 704 219 0 110 0
[pid=132868] ppid=132865 vsize=156212 memory=97080 CPUtime=2.42 cores=4,6
/proc/132868/stat : 132868 (roundingsat) R 132865 132865 132581 0 -1 4194304 17773 0 0 0 232 10 0 0 20 0 1 0 183986292 159961088 24270 18446744073709551615 4227072 8923577 140726568398864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10399744 140726568405274 140726568405542 140726568405542 140726568411114 0
/proc/132868/statm: 39053 24270 2400 1147 0 26479 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 160404 KiB
Current children cumulated memory: 100152 KiB
[startup+6.30019 s]
/proc/loadavg: 2.49 0.73 0.30 6/269 132868
/proc/meminfo: memFree=96492684/131249988 swapFree=33010416/33010684
[pid=132865] ppid=132862 vsize=4192 memory=3072 CPUtime=0.64 cores=4,6
/proc/132865/stat : 132865 (run-opt-ls-log.) S 132862 132865 132581 0 -1 4194304 240 7410 0 0 0 0 62 2 20 0 1 0 183986225 4292608 768 18446744073709551615 94548550275072 94548551169605 140733246202384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94548551408656 94548551456400 94548582842368 140733246208319 140733246208479 140733246208479 140733246214083 0
/proc/132865/statm: 1048 768 704 219 0 110 0
[pid=132868] ppid=132865 vsize=176876 memory=118208 CPUtime=5.61 cores=4,6
/proc/132868/stat : 132868 (roundingsat) R 132865 132865 132581 0 -1 4194304 22061 0 0 0 543 18 0 0 20 0 1 0 183986292 181121024 29552 18446744073709551615 4227072 8923577 140726568398864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10399744 140726568405274 140726568405542 140726568405542 140726568411114 0
/proc/132868/statm: 44219 29552 2400 1147 0 31645 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 181068 KiB
Current children cumulated memory: 121280 KiB
[startup+12.7002 s]
/proc/loadavg: 2.61 0.78 0.32 6/269 132868
/proc/meminfo: memFree=96094084/131249988 swapFree=33010416/33010684
[pid=132865] ppid=132862 vsize=4192 memory=3072 CPUtime=0.64 cores=4,6
/proc/132865/stat : 132865 (run-opt-ls-log.) S 132862 132865 132581 0 -1 4194304 240 7410 0 0 0 0 62 2 20 0 1 0 183986225 4292608 768 18446744073709551615 94548550275072 94548551169605 140733246202384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94548551408656 94548551456400 94548582842368 140733246208319 140733246208479 140733246208479 140733246214083 0
/proc/132865/statm: 1048 768 704 219 0 110 0
[pid=132868] ppid=132865 vsize=229080 memory=159828 CPUtime=11.99 cores=4,6
/proc/132868/stat : 132868 (roundingsat) R 132865 132865 132581 0 -1 4194304 30455 0 0 0 1168 31 0 0 20 0 1 0 183986292 234577920 39957 18446744073709551615 4227072 8923577 140726568398864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10399744 140726568405274 140726568405542 140726568405542 140726568411114 0
/proc/132868/statm: 57270 39957 2400 1147 0 44696 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 233272 KiB
Current children cumulated memory: 162900 KiB
[startup+25.5002 s]
/proc/loadavg: 2.83 0.89 0.36 6/269 132868
/proc/meminfo: memFree=95699572/131249988 swapFree=33010416/33010684
[pid=132865] ppid=132862 vsize=4192 memory=3072 CPUtime=0.64 cores=4,6
/proc/132865/stat : 132865 (run-opt-ls-log.) S 132862 132865 132581 0 -1 4194304 240 7410 0 0 0 0 62 2 20 0 1 0 183986225 4292608 768 18446744073709551615 94548550275072 94548551169605 140733246202384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94548551408656 94548551456400 94548582842368 140733246208319 140733246208479 140733246208479 140733246214083 0
/proc/132865/statm: 1048 768 704 219 0 110 0
[pid=132868] ppid=132865 vsize=246416 memory=177992 CPUtime=24.75 cores=4,6
/proc/132868/stat : 132868 (roundingsat) R 132865 132865 132581 0 -1 4194304 35138 0 0 0 2420 55 0 0 20 0 1 0 183986292 252329984 44498 18446744073709551615 4227072 8923577 140726568398864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10399744 140726568405274 140726568405542 140726568405542 140726568411114 0
/proc/132868/statm: 61604 44498 2400 1147 0 49030 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 250608 KiB
Current children cumulated memory: 181064 KiB
[startup+51.1054 s]
/proc/loadavg: 3.48 1.24 0.50 6/269 132869
/proc/meminfo: memFree=94699960/131249988 swapFree=33010416/33010684
[pid=132865] ppid=132862 vsize=4192 memory=3072 CPUtime=0.64 cores=4,6
/proc/132865/stat : 132865 (run-opt-ls-log.) S 132862 132865 132581 0 -1 4194304 240 7410 0 0 0 0 62 2 20 0 1 0 183986225 4292608 768 18446744073709551615 94548550275072 94548551169605 140733246202384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94548551408656 94548551456400 94548582842368 140733246208319 140733246208479 140733246208479 140733246214083 0
/proc/132865/statm: 1048 768 704 219 0 110 0
[pid=132868] ppid=132865 vsize=310216 memory=234444 CPUtime=50.29 cores=4,6
/proc/132868/stat : 132868 (roundingsat) R 132865 132865 132581 0 -1 4194304 46220 0 0 0 4931 98 0 0 20 0 1 0 183986292 317661184 58611 18446744073709551615 4227072 8923577 140726568398864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10399744 140726568405274 140726568405542 140726568405542 140726568411114 0
/proc/132868/statm: 77554 58611 2400 1147 0 64980 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 314408 KiB
Current children cumulated memory: 237516 KiB
[startup+102.3 s]
/proc/loadavg: 3.94 1.71 0.70 6/273 132874
/proc/meminfo: memFree=91920572/131249988 swapFree=33010416/33010684
[pid=132865] ppid=132862 vsize=4192 memory=3072 CPUtime=0.64 cores=4,6
/proc/132865/stat : 132865 (run-opt-ls-log.) S 132862 132865 132581 0 -1 4194304 240 7410 0 0 0 0 62 2 20 0 1 0 183986225 4292608 768 18446744073709551615 94548550275072 94548551169605 140733246202384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94548551408656 94548551456400 94548582842368 140733246208319 140733246208479 140733246208479 140733246214083 0
/proc/132865/statm: 1048 768 704 219 0 110 0
[pid=132868] ppid=132865 vsize=384868 memory=308660 CPUtime=101.35 cores=4,6
/proc/132868/stat : 132868 (roundingsat) R 132865 132865 132581 0 -1 4194304 62312 0 0 0 9958 177 0 0 20 0 1 0 183986292 394104832 77165 18446744073709551615 4227072 8923577 140726568398864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10399744 140726568405274 140726568405542 140726568405542 140726568411114 0
/proc/132868/statm: 96217 77165 2400 1147 0 83643 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 389060 KiB
Current children cumulated memory: 311732 KiB
[startup+162.3 s]
/proc/loadavg: 4.35 2.24 0.94 6/273 132876
/proc/meminfo: memFree=89587524/131249988 swapFree=33010416/33010684
[pid=132865] ppid=132862 vsize=4192 memory=3072 CPUtime=0.64 cores=4,6
/proc/132865/stat : 132865 (run-opt-ls-log.) S 132862 132865 132581 0 -1 4194304 240 7410 0 0 0 0 62 2 20 0 1 0 183986225 4292608 768 18446744073709551615 94548550275072 94548551169605 140733246202384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94548551408656 94548551456400 94548582842368 140733246208319 140733246208479 140733246208479 140733246214083 0
/proc/132865/statm: 1048 768 704 219 0 110 0
[pid=132868] ppid=132865 vsize=465932 memory=355468 CPUtime=161.19 cores=4,6
/proc/132868/stat : 132868 (roundingsat) R 132865 132865 132581 0 -1 4194304 72983 0 0 0 15856 263 0 0 20 0 1 0 183986292 477114368 88867 18446744073709551615 4227072 8923577 140726568398864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10399744 140726568405274 140726568405542 140726568405542 140726568411114 0
/proc/132868/statm: 116483 88867 2400 1147 0 103909 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 470124 KiB
Current children cumulated memory: 358540 KiB
[startup+222.3 s]
/proc/loadavg: 4.46 2.65 1.17 6/273 132878
/proc/meminfo: memFree=86483220/131249988 swapFree=33010416/33010684
[pid=132865] ppid=132862 vsize=4192 memory=3072 CPUtime=0.64 cores=4,6
/proc/132865/stat : 132865 (run-opt-ls-log.) S 132862 132865 132581 0 -1 4194304 240 7410 0 0 0 0 62 2 20 0 1 0 183986225 4292608 768 18446744073709551615 94548550275072 94548551169605 140733246202384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94548551408656 94548551456400 94548582842368 140733246208319 140733246208479 140733246208479 140733246214083 0
/proc/132865/statm: 1048 768 704 219 0 110 0
[pid=132868] ppid=132865 vsize=491640 memory=391912 CPUtime=221.04 cores=4,6
/proc/132868/stat : 132868 (roundingsat) R 132865 132865 132581 0 -1 4194304 79606 0 0 0 21768 336 0 0 20 0 1 0 183986292 503439360 97978 18446744073709551615 4227072 8923577 140726568398864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10399744 140726568405274 140726568405542 140726568405542 140726568411114 0
/proc/132868/statm: 122910 97978 2400 1147 0 110336 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 495832 KiB
Current children cumulated memory: 394984 KiB
################
# More data... #
################
/proc/132868/statm: 488029 456547 2464 1147 0 475455 0
Current children cumulated CPU time: 3034.01 s
Current children cumulated vsize: 1956308 KiB
Current children cumulated memory: 1829260 KiB
[startup+3102.3 s]
/proc/loadavg: 4.35 4.35 4.25 6/269 133036
/proc/meminfo: memFree=870052/131249988 swapFree=33010416/33010684
[pid=132865] ppid=132862 vsize=4192 memory=3072 CPUtime=0.64 cores=4,6
/proc/132865/stat : 132865 (run-opt-ls-log.) S 132862 132865 132581 0 -1 4194304 240 7410 0 0 0 0 62 2 20 0 1 0 183986225 4292608 768 18446744073709551615 94548550275072 94548551169605 140733246202384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94548551408656 94548551456400 94548582842368 140733246208319 140733246208479 140733246208479 140733246214083 0
/proc/132865/statm: 1048 768 704 219 0 110 0
[pid=132868] ppid=132865 vsize=1962800 memory=1836812 CPUtime=3093.21 cores=4,6
/proc/132868/stat : 132868 (roundingsat) R 132865 132865 132581 0 -1 4194304 325282 0 0 0 305942 3379 0 0 20 0 1 0 183986292 2009907200 459203 18446744073709551615 4227072 8923577 140726568398864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10399744 140726568405274 140726568405542 140726568405542 140726568411114 0
/proc/132868/statm: 490700 459203 2464 1147 0 478126 0
Current children cumulated CPU time: 3093.85 s
Current children cumulated vsize: 1966992 KiB
Current children cumulated memory: 1839884 KiB
[startup+3162.3 s]
/proc/loadavg: 4.26 4.33 4.25 6/267 133038
/proc/meminfo: memFree=817596/131249988 swapFree=33010416/33010684
[pid=132865] ppid=132862 vsize=4192 memory=3072 CPUtime=0.64 cores=4,6
/proc/132865/stat : 132865 (run-opt-ls-log.) S 132862 132865 132581 0 -1 4194304 240 7410 0 0 0 0 62 2 20 0 1 0 183986225 4292608 768 18446744073709551615 94548550275072 94548551169605 140733246202384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94548551408656 94548551456400 94548582842368 140733246208319 140733246208479 140733246208479 140733246214083 0
/proc/132865/statm: 1048 768 704 219 0 110 0
[pid=132868] ppid=132865 vsize=1962800 memory=1836812 CPUtime=3153.05 cores=4,6
/proc/132868/stat : 132868 (roundingsat) R 132865 132865 132581 0 -1 4194304 325375 0 0 0 311889 3416 0 0 20 0 1 0 183986292 2009907200 459203 18446744073709551615 4227072 8923577 140726568398864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10399744 140726568405274 140726568405542 140726568405542 140726568411114 0
/proc/132868/statm: 490700 459203 2464 1147 0 478126 0
Current children cumulated CPU time: 3153.69 s
Current children cumulated vsize: 1966992 KiB
Current children cumulated memory: 1839884 KiB
[startup+3222.3 s]
/proc/loadavg: 4.52 4.39 4.28 6/267 133040
/proc/meminfo: memFree=820452/131249988 swapFree=33010416/33010684
[pid=132865] ppid=132862 vsize=4192 memory=3072 CPUtime=0.64 cores=4,6
/proc/132865/stat : 132865 (run-opt-ls-log.) S 132862 132865 132581 0 -1 4194304 240 7410 0 0 0 0 62 2 20 0 1 0 183986225 4292608 768 18446744073709551615 94548550275072 94548551169605 140733246202384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94548551408656 94548551456400 94548582842368 140733246208319 140733246208479 140733246208479 140733246214083 0
/proc/132865/statm: 1048 768 704 219 0 110 0
[pid=132868] ppid=132865 vsize=1967736 memory=1839756 CPUtime=3212.89 cores=4,6
/proc/132868/stat : 132868 (roundingsat) R 132865 132865 132581 0 -1 4194304 326118 0 0 0 317846 3443 0 0 20 0 1 0 183986292 2014961664 459939 18446744073709551615 4227072 8923577 140726568398864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10399744 140726568405274 140726568405542 140726568405542 140726568411114 0
/proc/132868/statm: 491934 459939 2464 1147 0 479360 0
Current children cumulated CPU time: 3213.53 s
Current children cumulated vsize: 1971928 KiB
Current children cumulated memory: 1842828 KiB
[startup+3282.3 s]
/proc/loadavg: 4.40 4.38 4.28 6/267 133042
/proc/meminfo: memFree=765832/131249988 swapFree=33010416/33010684
[pid=132865] ppid=132862 vsize=4192 memory=3072 CPUtime=0.64 cores=4,6
/proc/132865/stat : 132865 (run-opt-ls-log.) S 132862 132865 132581 0 -1 4194304 240 7410 0 0 0 0 62 2 20 0 1 0 183986225 4292608 768 18446744073709551615 94548550275072 94548551169605 140733246202384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94548551408656 94548551456400 94548582842368 140733246208319 140733246208479 140733246208479 140733246214083 0
/proc/132865/statm: 1048 768 704 219 0 110 0
[pid=132868] ppid=132865 vsize=1967736 memory=1839884 CPUtime=3272.73 cores=4,6
/proc/132868/stat : 132868 (roundingsat) R 132865 132865 132581 0 -1 4194304 326129 0 0 0 323792 3481 0 0 20 0 1 0 183986292 2014961664 459971 18446744073709551615 4227072 8923577 140726568398864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10399744 140726568405274 140726568405542 140726568405542 140726568411114 0
/proc/132868/statm: 491934 459971 2464 1147 0 479360 0
Current children cumulated CPU time: 3273.37 s
Current children cumulated vsize: 1971928 KiB
Current children cumulated memory: 1842956 KiB
[startup+3342.3 s]
/proc/loadavg: 4.50 4.40 4.29 6/267 133044
/proc/meminfo: memFree=831596/131249988 swapFree=33010416/33010684
[pid=132865] ppid=132862 vsize=4192 memory=3072 CPUtime=0.64 cores=4,6
/proc/132865/stat : 132865 (run-opt-ls-log.) S 132862 132865 132581 0 -1 4194304 240 7410 0 0 0 0 62 2 20 0 1 0 183986225 4292608 768 18446744073709551615 94548550275072 94548551169605 140733246202384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94548551408656 94548551456400 94548582842368 140733246208319 140733246208479 140733246208479 140733246214083 0
/proc/132865/statm: 1048 768 704 219 0 110 0
[pid=132868] ppid=132865 vsize=1972364 memory=1844492 CPUtime=3332.58 cores=4,6
/proc/132868/stat : 132868 (roundingsat) R 132865 132865 132581 0 -1 4194304 327304 0 0 0 329747 3511 0 0 20 0 1 0 183986292 2019700736 461123 18446744073709551615 4227072 8923577 140726568398864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10399744 140726568405274 140726568405542 140726568405542 140726568411114 0
/proc/132868/statm: 493091 461123 2464 1147 0 480517 0
Current children cumulated CPU time: 3333.22 s
Current children cumulated vsize: 1976556 KiB
Current children cumulated memory: 1847564 KiB
[startup+3402.3 s]
/proc/loadavg: 4.55 4.42 4.30 6/267 133046
/proc/meminfo: memFree=870732/131249988 swapFree=33010416/33010684
[pid=132865] ppid=132862 vsize=4192 memory=3072 CPUtime=0.64 cores=4,6
/proc/132865/stat : 132865 (run-opt-ls-log.) S 132862 132865 132581 0 -1 4194304 240 7410 0 0 0 0 62 2 20 0 1 0 183986225 4292608 768 18446744073709551615 94548550275072 94548551169605 140733246202384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94548551408656 94548551456400 94548582842368 140733246208319 140733246208479 140733246208479 140733246214083 0
/proc/132865/statm: 1048 768 704 219 0 110 0
[pid=132868] ppid=132865 vsize=1972364 memory=1844492 CPUtime=3392.43 cores=4,6
/proc/132868/stat : 132868 (roundingsat) R 132865 132865 132581 0 -1 4194304 327360 0 0 0 335670 3573 0 0 20 0 1 0 183986292 2019700736 461123 18446744073709551615 4227072 8923577 140726568398864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10399744 140726568405274 140726568405542 140726568405542 140726568411114 0
/proc/132868/statm: 493091 461123 2464 1147 0 480517 0
Current children cumulated CPU time: 3393.07 s
Current children cumulated vsize: 1976556 KiB
Current children cumulated memory: 1847564 KiB
[startup+3462.3 s]
/proc/loadavg: 4.52 4.44 4.31 6/266 133048
/proc/meminfo: memFree=961020/131249988 swapFree=33010416/33010684
[pid=132865] ppid=132862 vsize=4192 memory=3072 CPUtime=0.64 cores=4,6
/proc/132865/stat : 132865 (run-opt-ls-log.) S 132862 132865 132581 0 -1 4194304 240 7410 0 0 0 0 62 2 20 0 1 0 183986225 4292608 768 18446744073709551615 94548550275072 94548551169605 140733246202384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94548551408656 94548551456400 94548582842368 140733246208319 140733246208479 140733246208479 140733246214083 0
/proc/132865/statm: 1048 768 704 219 0 110 0
[pid=132868] ppid=132865 vsize=1972364 memory=1844492 CPUtime=3452.27 cores=4,6
/proc/132868/stat : 132868 (roundingsat) R 132865 132865 132581 0 -1 4194304 327381 0 0 0 341603 3624 0 0 20 0 1 0 183986292 2019700736 461123 18446744073709551615 4227072 8923577 140726568398864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10399744 140726568405274 140726568405542 140726568405542 140726568411114 0
/proc/132868/statm: 493091 461123 2464 1147 0 480517 0
Current children cumulated CPU time: 3452.91 s
Current children cumulated vsize: 1976556 KiB
Current children cumulated memory: 1847564 KiB
[startup+3522.3 s]
/proc/loadavg: 4.51 4.45 4.33 6/267 133051
/proc/meminfo: memFree=976388/131249988 swapFree=33010416/33010684
[pid=132865] ppid=132862 vsize=4192 memory=3072 CPUtime=0.64 cores=4,6
/proc/132865/stat : 132865 (run-opt-ls-log.) S 132862 132865 132581 0 -1 4194304 240 7410 0 0 0 0 62 2 20 0 1 0 183986225 4292608 768 18446744073709551615 94548550275072 94548551169605 140733246202384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94548551408656 94548551456400 94548582842368 140733246208319 140733246208479 140733246208479 140733246214083 0
/proc/132865/statm: 1048 768 704 219 0 110 0
[pid=132868] ppid=132865 vsize=1972364 memory=1844492 CPUtime=3512.13 cores=4,6
/proc/132868/stat : 132868 (roundingsat) R 132865 132865 132581 0 -1 4194304 327408 0 0 0 347560 3653 0 0 20 0 1 0 183986292 2019700736 461123 18446744073709551615 4227072 8923577 140726568398864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10399744 140726568405274 140726568405542 140726568405542 140726568411114 0
/proc/132868/statm: 493091 461123 2464 1147 0 480517 0
Current children cumulated CPU time: 3512.77 s
Current children cumulated vsize: 1976556 KiB
Current children cumulated memory: 1847564 KiB
[startup+3582.3 s]
/proc/loadavg: 4.30 4.41 4.32 5/255 133151
/proc/meminfo: memFree=90015996/131249988 swapFree=33010416/33010684
[pid=132865] ppid=132862 vsize=4192 memory=3072 CPUtime=0.64 cores=4,6
/proc/132865/stat : 132865 (run-opt-ls-log.) S 132862 132865 132581 0 -1 4194304 240 7410 0 0 0 0 62 2 20 0 1 0 183986225 4292608 768 18446744073709551615 94548550275072 94548551169605 140733246202384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94548551408656 94548551456400 94548582842368 140733246208319 140733246208479 140733246208479 140733246214083 0
/proc/132865/statm: 1048 768 704 219 0 110 0
[pid=132868] ppid=132865 vsize=1972364 memory=1844492 CPUtime=3571.95 cores=4,6
/proc/132868/stat : 132868 (roundingsat) R 132865 132865 132581 0 -1 4194304 327472 0 0 0 353489 3706 0 0 20 0 1 0 183986292 2019700736 461123 18446744073709551615 4227072 8923577 140726568398864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10399744 140726568405274 140726568405542 140726568405542 140726568411114 0
/proc/132868/statm: 493091 461123 2464 1147 0 480517 0
Current children cumulated CPU time: 3572.59 s
Current children cumulated vsize: 1976556 KiB
Current children cumulated memory: 1847564 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.27 4.39 4.32 5/269 133197
/proc/meminfo: memFree=105719372/131249988 swapFree=33010416/33010684
[pid=132865] ppid=132862 vsize=4192 memory=3072 CPUtime=0.64 cores=4,6
/proc/132865/stat : 132865 (run-opt-ls-log.) S 132862 132865 132581 0 -1 4194304 240 7410 0 0 0 0 62 2 20 0 1 0 183986225 4292608 768 18446744073709551615 94548550275072 94548551169605 140733246202384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94548551408656 94548551456400 94548582842368 140733246208319 140733246208479 140733246208479 140733246214083 0
/proc/132865/statm: 1048 768 704 219 0 110 0
[pid=132868] ppid=132865 vsize=1972364 memory=1844492 CPUtime=3599.38 cores=4,6
/proc/132868/stat : 132868 (roundingsat) R 132865 132865 132581 0 -1 4194304 327493 0 0 0 356218 3720 0 0 20 0 1 0 183986292 2019700736 461123 18446744073709551615 4227072 8923577 140726568398864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10399744 140726568405274 140726568405542 140726568405542 140726568411114 0
/proc/132868/statm: 493091 461123 2464 1147 0 480517 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1976556 KiB
Current children cumulated memory: 1847564 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 132865 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.62603 s, system=0.029051 s
[startup+3609.85 s]
# the end of solver process 132868 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3562.82 s, system=37.2358 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.85
CPU time (s): 3600.05
CPU user time (s): 3562.82
CPU system time (s): 37.2358
CPU usage (%): 99.7287
Max. virtual memory (cumulated for all children) (KiB): 1976556
Max. memory (cumulated for all children) (KiB): 1847564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.82
system time used= 37.2358
maximum resident set size= 1844748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335160
page faults= 2
swaps= 0
block input operations= 3528
block output operations= 31425816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 401
involuntary context switches= 4731
# summary of solver processes directly reported to runsolver:
# pid: 132865,132868
# total CPU time (s): 3600.05
# total CPU user time (s): 3562.82
# total CPU system time (s): 37.2358
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.12013 second user time and 16.4149 second system time
The end
Begin job on nodeC031 at 2025-07-16 18:24:37
IDJOB=4531952
IDBENCH=148775
IDSOLVER=3392
FILE ID=nodeC031/4531952-1752683077
RUNJOBID= nodeC031-1752683038-132599
SLURM_JOB_ID= 9686926
Free space on /tmp= 430004 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx75.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4531952-1752683077/watcher-4531952-1752683077 -o /tmp/evaluation-result-4531952-1752683077/solver-4531952-1752683077 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1752683038-132599 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531952-1752683077.opb /tmp/proof-4531952-1752683077
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593
RANDOM SEED=2102461089
nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.947
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.871
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.501
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3565.760
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.128
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.969
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.499
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 96854536 kB
MemAvailable: 127385472 kB
Buffers: 2128 kB
Cached: 31217996 kB
SwapCached: 12 kB
Active: 3180384 kB
Inactive: 30345912 kB
Active(anon): 2321680 kB
Inactive(anon): 10468 kB
Active(file): 858704 kB
Inactive(file): 30335444 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 707116 kB
Writeback: 28604 kB
AnonPages: 2309312 kB
Mapped: 122060 kB
Shmem: 26244 kB
KReclaimable: 352056 kB
Slab: 450324 kB
SReclaimable: 352056 kB
SUnreclaim: 98268 kB
KernelStack: 4336 kB
PageTables: 7840 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 3207828 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1314816 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: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 414084 MiB
End job on nodeC031 at 2025-07-16 19:24:47