0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4507863-1751495777.opb'
0.00/0.06 c read 1.11MB (43.93ms)
0.00/0.06 c [cnf: #variables 9324 #clauses 28661 #duplicates 0 #arr 100770]
0.00/0.06 c output proof to 'PROOFDIR/proof-4507863-1751495777'
0.00/0.06 c
0.00/0.06 c make graph and approximate orbits
0.07/0.13 c [group: #orbits ~= 2664] (63.11ms)
0.07/0.13 c
0.07/0.13 c detect special group actions
0.07/0.13 c probe for Johnson action (limit=64)
0.07/0.15 c probe for row-column symmetry (limit=64, splits=16.78M)
0.07/0.18 c probe for row symmetry (limit=64, splits=16.78M)
0.07/0.20 c found row 11x666, generating row predicate
0.07/0.20 c (76.70ms)
0.07/0.20 c
0.07/0.20 c detect symmetries on remainder
0.07/0.20 c [graph: #vertices 80207 #edges 285984]
0.07/0.20 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.18/0.31 c [group: #symmetries 1.24*10^7 #generators 13] (108.56ms)
0.18/0.31 c
0.18/0.31 c optimize generators (opt_passes=64, conjugate_limit=256)
0.18/0.31 c ran it=0, +gens=2
0.54/0.69 c con best_support=1332, best_gens=13, +gens=224
0.54/0.69 c (380.97ms)
0.54/0.69 c
0.54/0.69 c finalize break order and special generators
0.62/0.70 c
0.62/0.70 c add generic predicates (break_depth=20)
0.62/0.70 c added predicates for 239 generators (5.34ms)
1.22/1.39 c
1.22/1.39 c generation finished
1.22/1.39 c [sbp: #constraints 33822 #add_vars 11191]
1.22/1.39 c
1.22/1.39 c write result to 'HOME/instance-4507863-1751495777.opb.pre'
1.32/1.40 c wrote 2.40MB (10.24ms)
1.32/1.40 c ------------------------------------------------------------------
1.32/1.40 c 694.67ms 50.06% other
1.32/1.40 c 380.97ms 27.45% optimize_gens
1.32/1.40 c 108.56ms 7.82% detect_generic
1.32/1.40 c 76.70ms 5.53% detect_special
1.32/1.40 c 63.11ms 4.55% approx_orbits
1.32/1.40 c 43.93ms 3.17% parse
1.32/1.40 c 10.24ms 0.74% output
1.32/1.40 c 5.34ms 0.39% break_generic
1.32/1.40 c 4.21ms 0.30% finalize_order
1.32/1.40 c ───────────────────────────────────────────────
1.32/1.40 c 1387.73ms 100% total
1.32/1.40 c ------------------------------------------------------------------
1.35/1.56 c RoundingSat 2
1.35/1.56 c branch pb25
1.35/1.56 c commit 63f22ad
2.28/2.57 c #variables 20515 #constraints 62482
2.28/2.57 c objective is ce32
2.89/3.14 c initial watched CF 32, 64, 128, Arb: 840 , 0 , 0 , 0
2.89/3.14 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
2.89/3.14 c bounds 148 >= 0 @ 1.3609
4.16/4.41 c #Conflicts: 1000 | #Constraints: 63482
4.16/4.41 c bounds 145 >= 0 @ 2.38929
6.76/7.09 c #Conflicts: 2000 | #Constraints: 64483
6.76/7.09 c INPROCESSING
6.76/7.09 c #Conflicts: 3000 | #Constraints: 64518
6.76/7.09 c #Conflicts: 4000 | #Constraints: 65518
6.76/7.09 c INPROCESSING
6.76/7.09 c GARBAGE COLLECT
6.76/7.09 c bounds 143 >= 0 @ 5.01228
6.76/7.11 c bounds 138 >= 0 @ 5.02133
6.87/7.13 c bounds 136 >= 0 @ 5.03533
40.45/40.88 c #Conflicts: 5000 | #Constraints: 64936
40.45/40.88 c #Conflicts: 6000 | #Constraints: 65936
40.45/40.88 c INPROCESSING
40.45/40.88 c #Conflicts: 7000 | #Constraints: 64973
40.45/40.88 c #Conflicts: 8000 | #Constraints: 65973
40.45/40.88 c #Conflicts: 9000 | #Constraints: 66973
40.45/40.88 c INPROCESSING
40.45/40.88 c GARBAGE COLLECT
40.45/40.88 c rational objective 9.5
41.54/41.95 c #Conflicts: 10000 | #Constraints: 65708
41.54/41.95 c #Conflicts: 11000 | #Constraints: 66708
41.54/41.95 c #Conflicts: 12000 | #Constraints: 67708
41.54/41.95 c INPROCESSING
41.54/41.95 c #Conflicts: 13000 | #Constraints: 66158
41.54/41.95 c #Conflicts: 14000 | #Constraints: 67158
41.54/41.95 c #Conflicts: 15000 | #Constraints: 68158
41.54/41.95 c INPROCESSING
41.54/41.95 c GARBAGE COLLECT
41.54/41.95 c #Conflicts: 16000 | #Constraints: 66377
41.54/41.95 c #Conflicts: 17000 | #Constraints: 67377
41.54/41.95 c #Conflicts: 18000 | #Constraints: 68377
41.54/41.95 c INPROCESSING
41.54/41.95 c GARBAGE COLLECT
41.54/41.95 c #Conflicts: 19000 | #Constraints: 66396
41.54/41.95 c bounds 136 >= 5 @ 39.5178
41.84/42.20 c #Conflicts: 20000 | #Constraints: 67399
41.84/42.20 c #Conflicts: 21000 | #Constraints: 68399
41.84/42.20 c INPROCESSING
41.84/42.20 c GARBAGE COLLECT
41.84/42.20 c bounds 136 >= 10 @ 39.7267
42.75/43.12 c #Conflicts: 22000 | #Constraints: 66219
42.75/43.12 c bounds 136 >= 15 @ 40.6334
62.59/63.01 c #Conflicts: 23000 | #Constraints: 67229
62.59/63.01 c #Conflicts: 24000 | #Constraints: 68229
62.59/63.01 c #Conflicts: 25000 | #Constraints: 69229
62.59/63.01 c INPROCESSING
62.59/63.01 c GARBAGE COLLECT
62.59/63.01 c #Conflicts: 26000 | #Constraints: 66830
62.59/63.01 c #Conflicts: 27000 | #Constraints: 67830
62.59/63.01 c #Conflicts: 28000 | #Constraints: 68830
62.59/63.01 c #Conflicts: 29000 | #Constraints: 69830
62.59/63.01 c INPROCESSING
62.59/63.01 c GARBAGE COLLECT
62.59/63.01 c #Conflicts: 30000 | #Constraints: 67240
62.59/63.01 c #Conflicts: 31000 | #Constraints: 68240
62.59/63.01 c #Conflicts: 32000 | #Constraints: 69240
62.59/63.01 c #Conflicts: 33000 | #Constraints: 70240
62.59/63.01 c INPROCESSING
62.59/63.01 c GARBAGE COLLECT
62.59/63.01 c rational objective 15
85.90/86.40 c #Conflicts: 34000 | #Constraints: 67464
85.90/86.40 c #Conflicts: 35000 | #Constraints: 68464
85.90/86.40 c #Conflicts: 36000 | #Constraints: 69464
85.90/86.40 c #Conflicts: 37000 | #Constraints: 70464
85.90/86.40 c INPROCESSING
85.90/86.40 c GARBAGE COLLECT
85.90/86.40 c #Conflicts: 38000 | #Constraints: 67458
85.90/86.40 c #Conflicts: 39000 | #Constraints: 68458
85.90/86.40 c #Conflicts: 40000 | #Constraints: 69458
85.90/86.40 c #Conflicts: 41000 | #Constraints: 70458
85.90/86.40 c INPROCESSING
85.90/86.40 c GARBAGE COLLECT
85.90/86.40 c #Conflicts: 42000 | #Constraints: 67260
85.90/86.40 c #Conflicts: 43000 | #Constraints: 68260
85.90/86.40 c #Conflicts: 44000 | #Constraints: 69260
85.90/86.40 c #Conflicts: 45000 | #Constraints: 70260
85.90/86.40 c #Conflicts: 46000 | #Constraints: 71260
85.90/86.40 c INPROCESSING
85.90/86.40 c GARBAGE COLLECT
85.90/86.40 c rational objective 15
86.20/86.78 c bounds 136 >= 20 @ 83.7647
86.31/86.87 c #Conflicts: 47000 | #Constraints: 67961
86.31/86.87 c bounds 136 >= 25 @ 83.8488
90.29/90.87 c #Conflicts: 48000 | #Constraints: 68976
90.29/90.87 c #Conflicts: 49000 | #Constraints: 69976
90.29/90.87 c #Conflicts: 50000 | #Constraints: 70976
90.29/90.87 c #Conflicts: 51000 | #Constraints: 71976
90.29/90.87 c INPROCESSING
90.29/90.87 c GARBAGE COLLECT
90.29/90.87 c #Conflicts: 52000 | #Constraints: 68343
90.29/90.87 c #Conflicts: 53000 | #Constraints: 69343
90.29/90.87 c #Conflicts: 54000 | #Constraints: 70343
90.29/90.87 c #Conflicts: 55000 | #Constraints: 71343
90.29/90.87 c #Conflicts: 56000 | #Constraints: 72343
90.29/90.87 c INPROCESSING
90.29/90.87 c GARBAGE COLLECT
90.29/90.87 c #Conflicts: 57000 | #Constraints: 68505
90.29/90.87 c bounds 135 >= 25 @ 87.7553
90.29/90.89 c bounds 133 >= 25 @ 87.7644
102.96/103.54 c #Conflicts: 58000 | #Constraints: 69507
102.96/103.54 c #Conflicts: 59000 | #Constraints: 70507
102.96/103.54 c #Conflicts: 60000 | #Constraints: 71507
102.96/103.54 c #Conflicts: 61000 | #Constraints: 72507
102.96/103.54 c INPROCESSING
102.96/103.54 c GARBAGE COLLECT
102.96/103.54 c #Conflicts: 62000 | #Constraints: 68519
102.96/103.54 c #Conflicts: 63000 | #Constraints: 69519
102.96/103.54 c #Conflicts: 64000 | #Constraints: 70519
102.96/103.54 c #Conflicts: 65000 | #Constraints: 71519
102.96/103.54 c #Conflicts: 66000 | #Constraints: 72519
102.96/103.54 c INPROCESSING
102.96/103.54 c GARBAGE COLLECT
102.96/103.54 c rational objective 25
105.04/105.89 c #Conflicts: 67000 | #Constraints: 68389
105.04/105.89 c #Conflicts: 68000 | #Constraints: 69389
105.04/105.89 c #Conflicts: 69000 | #Constraints: 70389
105.04/105.89 c #Conflicts: 70000 | #Constraints: 71389
105.04/105.89 c #Conflicts: 71000 | #Constraints: 72389
105.04/105.89 c #Conflicts: 72000 | #Constraints: 73389
105.04/105.89 c INPROCESSING
105.04/105.89 c GARBAGE COLLECT
105.04/105.89 c bounds 133 >= 27 @ 102.286
105.04/105.89 c bounds 133 >= 29 @ 102.288
120.28/121.19 c #Conflicts: 73000 | #Constraints: 68984
120.28/121.19 c #Conflicts: 74000 | #Constraints: 69984
120.28/121.19 c #Conflicts: 75000 | #Constraints: 70984
120.28/121.19 c #Conflicts: 76000 | #Constraints: 71984
120.28/121.19 c #Conflicts: 77000 | #Constraints: 72984
120.28/121.19 c #Conflicts: 78000 | #Constraints: 73984
120.28/121.19 c INPROCESSING
120.28/121.19 c GARBAGE COLLECT
120.28/121.19 c rational objective 29
174.60/175.62 c #Conflicts: 79000 | #Constraints: 69353
174.60/175.62 c #Conflicts: 80000 | #Constraints: 70353
174.60/175.62 c #Conflicts: 81000 | #Constraints: 71353
174.60/175.62 c #Conflicts: 82000 | #Constraints: 72353
174.60/175.62 c #Conflicts: 83000 | #Constraints: 73353
174.60/175.62 c #Conflicts: 84000 | #Constraints: 74353
174.60/175.62 c INPROCESSING
174.60/175.62 c GARBAGE COLLECT
174.60/175.62 c rational objective 29
189.65/190.78 c #Conflicts: 85000 | #Constraints: 69585
189.65/190.78 c #Conflicts: 86000 | #Constraints: 70585
189.65/190.78 c #Conflicts: 87000 | #Constraints: 71585
189.65/190.78 c #Conflicts: 88000 | #Constraints: 72585
189.65/190.78 c #Conflicts: 89000 | #Constraints: 73585
189.65/190.78 c #Conflicts: 90000 | #Constraints: 74585
189.65/190.78 c INPROCESSING
189.65/190.78 c GARBAGE COLLECT
189.65/190.78 c #Conflicts: 91000 | #Constraints: 69549
189.65/190.78 c #Conflicts: 92000 | #Constraints: 70549
189.65/190.78 c #Conflicts: 93000 | #Constraints: 71549
189.65/190.78 c #Conflicts: 94000 | #Constraints: 72549
189.65/190.78 c #Conflicts: 95000 | #Constraints: 73549
189.65/190.78 c #Conflicts: 96000 | #Constraints: 74549
189.65/190.78 c INPROCESSING
189.65/190.78 c GARBAGE COLLECT
189.65/190.78 c #Conflicts: 97000 | #Constraints: 69344
189.65/190.78 c #Conflicts: 98000 | #Constraints: 70344
189.65/190.78 c #Conflicts: 99000 | #Constraints: 71344
189.65/190.78 c #Conflicts: 100000 | #Constraints: 72344
189.65/190.78 c #Conflicts: 101000 | #Constraints: 73344
189.65/190.78 c #Conflicts: 102000 | #Constraints: 74344
189.65/190.78 c bounds 133 >= 31 @ 186.4
189.75/190.84 c bounds 128 >= 31 @ 186.451
189.75/190.86 c bounds 126 >= 31 @ 186.457
197.94/199.02 c #Conflicts: 103000 | #Constraints: 75355
197.94/199.02 c INPROCESSING
197.94/199.02 c GARBAGE COLLECT
197.94/199.02 c #Conflicts: 104000 | #Constraints: 69943
197.94/199.02 c #Conflicts: 105000 | #Constraints: 70943
197.94/199.02 c #Conflicts: 106000 | #Constraints: 71943
197.94/199.02 c #Conflicts: 107000 | #Constraints: 72943
197.94/199.02 c #Conflicts: 108000 | #Constraints: 73943
197.94/199.02 c #Conflicts: 109000 | #Constraints: 74943
197.94/199.02 c #Conflicts: 110000 | #Constraints: 75943
197.94/199.02 c INPROCESSING
197.94/199.02 c GARBAGE COLLECT
197.94/199.02 c rational objective 31
214.38/215.55 c #Conflicts: 111000 | #Constraints: 70362
214.38/215.55 c #Conflicts: 112000 | #Constraints: 71362
214.38/215.55 c #Conflicts: 113000 | #Constraints: 72362
214.38/215.55 c #Conflicts: 114000 | #Constraints: 73363
214.38/215.55 c #Conflicts: 115000 | #Constraints: 74363
214.38/215.55 c #Conflicts: 116000 | #Constraints: 75363
214.38/215.55 c #Conflicts: 117000 | #Constraints: 76363
214.38/215.55 c INPROCESSING
214.38/215.55 c GARBAGE COLLECT
214.38/215.55 c #Conflicts: 118000 | #Constraints: 70577
214.38/215.55 c #Conflicts: 119000 | #Constraints: 71577
214.38/215.55 c #Conflicts: 120000 | #Constraints: 72577
214.38/215.55 c #Conflicts: 121000 | #Constraints: 73577
214.38/215.55 c #Conflicts: 122000 | #Constraints: 74577
214.38/215.55 c #Conflicts: 123000 | #Constraints: 75577
214.38/215.55 c #Conflicts: 124000 | #Constraints: 76577
214.38/215.55 c INPROCESSING
214.38/215.55 c GARBAGE COLLECT
214.38/215.55 c rational objective 31
245.59/246.83 c #Conflicts: 125000 | #Constraints: 70616
245.59/246.83 c #Conflicts: 126000 | #Constraints: 71616
245.59/246.83 c #Conflicts: 127000 | #Constraints: 72616
245.59/246.83 c #Conflicts: 128000 | #Constraints: 73616
245.59/246.83 c #Conflicts: 129000 | #Constraints: 74616
245.59/246.83 c #Conflicts: 130000 | #Constraints: 75616
245.59/246.83 c #Conflicts: 131000 | #Constraints: 76616
245.59/246.83 c INPROCESSING
245.59/246.83 c GARBAGE COLLECT
245.59/246.83 c rational objective 31
270.60/271.91 c #Conflicts: 132000 | #Constraints: 70378
270.60/271.91 c #Conflicts: 133000 | #Constraints: 71378
270.60/271.91 c #Conflicts: 134000 | #Constraints: 72378
270.60/271.91 c #Conflicts: 135000 | #Constraints: 73378
270.60/271.91 c #Conflicts: 136000 | #Constraints: 74378
270.60/271.91 c #Conflicts: 137000 | #Constraints: 75378
270.60/271.91 c #Conflicts: 138000 | #Constraints: 76378
270.60/271.91 c #Conflicts: 139000 | #Constraints: 77378
270.60/271.91 c INPROCESSING
270.60/271.91 c GARBAGE COLLECT
270.60/271.91 c #Conflicts: 140000 | #Constraints: 70983
270.60/271.91 c #Conflicts: 141000 | #Constraints: 71983
270.60/271.91 c #Conflicts: 142000 | #Constraints: 72983
270.60/271.91 c #Conflicts: 143000 | #Constraints: 73983
270.60/271.91 c #Conflicts: 144000 | #Constraints: 74983
270.60/271.91 c #Conflicts: 145000 | #Constraints: 75983
270.60/271.91 c #Conflicts: 146000 | #Constraints: 76983
270.60/271.91 c #Conflicts: 147000 | #Constraints: 77983
270.60/271.91 c INPROCESSING
270.60/271.91 c GARBAGE COLLECT
270.60/271.91 c #Conflicts: 148000 | #Constraints: 71386
270.60/271.91 c #Conflicts: 149000 | #Constraints: 72386
270.60/271.91 c #Conflicts: 150000 | #Constraints: 73386
270.60/271.91 c #Conflicts: 151000 | #Constraints: 74386
270.60/271.91 c #Conflicts: 152000 | #Constraints: 75386
270.60/271.91 c #Conflicts: 153000 | #Constraints: 76386
270.60/271.91 c #Conflicts: 154000 | #Constraints: 77386
270.60/271.91 c #Conflicts: 155000 | #Constraints: 78386
270.60/271.91 c INPROCESSING
270.60/271.91 c GARBAGE COLLECT
270.60/271.91 c rational objective 31
328.74/330.23 c #Conflicts: 156000 | #Constraints: 71644
328.74/330.23 c #Conflicts: 157000 | #Constraints: 72644
328.74/330.23 c #Conflicts: 158000 | #Constraints: 73644
328.74/330.23 c #Conflicts: 159000 | #Constraints: 74644
328.74/330.23 c #Conflicts: 160000 | #Constraints: 75644
328.74/330.23 c #Conflicts: 161000 | #Constraints: 76644
328.74/330.23 c #Conflicts: 162000 | #Constraints: 77644
328.74/330.23 c #Conflicts: 163000 | #Constraints: 78644
328.74/330.23 c INPROCESSING
328.74/330.23 c GARBAGE COLLECT
328.74/330.23 c rational objective 31
358.86/360.46 c #Conflicts: 164000 | #Constraints: 71619
358.86/360.46 c #Conflicts: 165000 | #Constraints: 72620
358.86/360.46 c #Conflicts: 166000 | #Constraints: 73620
358.86/360.46 c #Conflicts: 167000 | #Constraints: 74620
358.86/360.46 c #Conflicts: 168000 | #Constraints: 75620
358.86/360.46 c #Conflicts: 169000 | #Constraints: 76620
358.86/360.46 c #Conflicts: 170000 | #Constraints: 77620
358.86/360.46 c #Conflicts: 171000 | #Constraints: 78620
358.86/360.46 c INPROCESSING
358.86/360.46 c GARBAGE COLLECT
358.86/360.46 c #Conflicts: 172000 | #Constraints: 71428
358.86/360.46 c #Conflicts: 173000 | #Constraints: 72428
358.86/360.46 c #Conflicts: 174000 | #Constraints: 73428
358.86/360.46 c #Conflicts: 175000 | #Constraints: 74428
358.86/360.46 c #Conflicts: 176000 | #Constraints: 75428
358.86/360.46 c #Conflicts: 177000 | #Constraints: 76428
358.86/360.46 c #Conflicts: 178000 | #Constraints: 77428
358.86/360.46 c #Conflicts: 179000 | #Constraints: 78428
358.86/360.46 c #Conflicts: 180000 | #Constraints: 79428
358.86/360.46 c INPROCESSING
358.86/360.46 c GARBAGE COLLECT
358.86/360.46 c #Conflicts: 181000 | #Constraints: 72052
358.86/360.46 c #Conflicts: 182000 | #Constraints: 73052
358.86/360.46 c #Conflicts: 183000 | #Constraints: 74052
358.86/360.46 c #Conflicts: 184000 | #Constraints: 75052
358.86/360.46 c #Conflicts: 185000 | #Constraints: 76052
358.86/360.46 c #Conflicts: 186000 | #Constraints: 77052
358.86/360.46 c #Conflicts: 187000 | #Constraints: 78052
358.86/360.46 c #Conflicts: 188000 | #Constraints: 79052
358.86/360.46 c #Conflicts: 189000 | #Constraints: 80052
358.86/360.46 c INPROCESSING
358.86/360.46 c GARBAGE COLLECT
358.86/360.46 c #Conflicts: 190000 | #Constraints: 72444
358.86/360.46 c #Conflicts: 191000 | #Constraints: 73444
358.86/360.46 c #Conflicts: 192000 | #Constraints: 74444
358.86/360.46 c #Conflicts: 193000 | #Constraints: 75444
358.86/360.46 c #Conflicts: 194000 | #Constraints: 76444
358.86/360.46 c #Conflicts: 195000 | #Constraints: 77444
358.86/360.46 c #Conflicts: 196000 | #Constraints: 78444
358.86/360.46 c #Conflicts: 197000 | #Constraints: 79445
358.86/360.46 c #Conflicts: 198000 | #Constraints: 80445
358.86/360.46 c INPROCESSING
358.86/360.46 c GARBAGE COLLECT
358.86/360.46 c rational objective 31
370.92/372.58 c #Conflicts: 199000 | #Constraints: 72675
370.92/372.58 c #Conflicts: 200000 | #Constraints: 73675
370.92/372.58 c #Conflicts: 201000 | #Constraints: 74675
370.92/372.58 c #Conflicts: 202000 | #Constraints: 75675
370.92/372.58 c #Conflicts: 203000 | #Constraints: 76675
370.92/372.58 c #Conflicts: 204000 | #Constraints: 77675
370.92/372.58 c #Conflicts: 205000 | #Constraints: 78676
370.92/372.58 c #Conflicts: 206000 | #Constraints: 79676
370.92/372.58 c #Conflicts: 207000 | #Constraints: 80676
370.92/372.58 c INPROCESSING
370.92/372.58 c GARBAGE COLLECT
370.92/372.58 c rational objective 31
400.53/402.28 c #Conflicts: 208000 | #Constraints: 72696
400.53/402.28 c #Conflicts: 209000 | #Constraints: 73696
400.53/402.28 c #Conflicts: 210000 | #Constraints: 74696
400.53/402.28 c #Conflicts: 211000 | #Constraints: 75696
400.53/402.28 c #Conflicts: 212000 | #Constraints: 76696
400.53/402.28 c #Conflicts: 213000 | #Constraints: 77696
400.53/402.28 c #Conflicts: 214000 | #Constraints: 78696
400.53/402.28 c #Conflicts: 215000 | #Constraints: 79696
400.53/402.28 c #Conflicts: 216000 | #Constraints: 80696
400.53/402.28 c INPROCESSING
400.53/402.28 c GARBAGE COLLECT
400.53/402.28 c rational objective 31
420.18/421.94 c #Conflicts: 217000 | #Constraints: 72431
420.18/421.94 c #Conflicts: 218000 | #Constraints: 73431
420.18/421.94 c #Conflicts: 219000 | #Constraints: 74431
420.18/421.94 c #Conflicts: 220000 | #Constraints: 75431
420.18/421.94 c #Conflicts: 221000 | #Constraints: 76431
420.18/421.94 c #Conflicts: 222000 | #Constraints: 77431
420.18/421.94 c #Conflicts: 223000 | #Constraints: 78431
420.18/421.94 c #Conflicts: 224000 | #Constraints: 79431
420.18/421.94 c #Conflicts: 225000 | #Constraints: 80431
420.18/421.94 c #Conflicts: 226000 | #Constraints: 81431
420.18/421.94 c INPROCESSING
420.18/421.94 c GARBAGE COLLECT
420.18/421.94 c #Conflicts: 227000 | #Constraints: 73014
420.18/421.94 c #Conflicts: 228000 | #Constraints: 74014
420.18/421.94 c #Conflicts: 229000 | #Constraints: 75014
420.18/421.94 c #Conflicts: 230000 | #Constraints: 76014
420.18/421.94 c #Conflicts: 231000 | #Constraints: 77014
420.18/421.94 c #Conflicts: 232000 | #Constraints: 78014
420.18/421.94 c #Conflicts: 233000 | #Constraints: 79014
420.18/421.94 c #Conflicts: 234000 | #Constraints: 80014
420.18/421.94 c #Conflicts: 235000 | #Constraints: 81014
420.18/421.94 c #Conflicts: 236000 | #Constraints: 82014
420.18/421.94 c INPROCESSING
420.18/421.94 c GARBAGE COLLECT
420.18/421.94 c rational objective 31
436.34/438.13 c #Conflicts: 237000 | #Constraints: 73412
436.34/438.13 c #Conflicts: 238000 | #Constraints: 74412
436.34/438.13 c #Conflicts: 239000 | #Constraints: 75412
436.34/438.13 c #Conflicts: 240000 | #Constraints: 76413
436.34/438.13 c #Conflicts: 241000 | #Constraints: 77413
436.34/438.13 c #Conflicts: 242000 | #Constraints: 78413
436.34/438.13 c #Conflicts: 243000 | #Constraints: 79413
436.34/438.13 c #Conflicts: 244000 | #Constraints: 80413
436.34/438.13 c #Conflicts: 245000 | #Constraints: 81413
436.34/438.13 c #Conflicts: 246000 | #Constraints: 82413
436.34/438.13 c INPROCESSING
436.34/438.13 c GARBAGE COLLECT
436.34/438.13 c rational objective 31
451.20/453.09 c #Conflicts: 247000 | #Constraints: 73625
451.20/453.09 c #Conflicts: 248000 | #Constraints: 74625
451.20/453.09 c #Conflicts: 249000 | #Constraints: 75625
451.20/453.09 c #Conflicts: 250000 | #Constraints: 76625
451.20/453.09 c #Conflicts: 251000 | #Constraints: 77625
451.20/453.09 c #Conflicts: 252000 | #Constraints: 78625
451.20/453.09 c #Conflicts: 253000 | #Constraints: 79625
451.20/453.09 c #Conflicts: 254000 | #Constraints: 80625
451.20/453.09 c #Conflicts: 255000 | #Constraints: 81625
451.20/453.09 c #Conflicts: 256000 | #Constraints: 82625
451.20/453.09 c INPROCESSING
451.20/453.09 c GARBAGE COLLECT
451.20/453.09 c rational objective 31
463.56/465.46 c #Conflicts: 257000 | #Constraints: 73693
463.56/465.46 c #Conflicts: 258000 | #Constraints: 74693
463.56/465.46 c #Conflicts: 259000 | #Constraints: 75693
463.56/465.46 c #Conflicts: 260000 | #Constraints: 76693
463.56/465.46 c #Conflicts: 261000 | #Constraints: 77693
463.56/465.46 c #Conflicts: 262000 | #Constraints: 78693
463.56/465.46 c #Conflicts: 263000 | #Constraints: 79694
463.56/465.46 c #Conflicts: 264000 | #Constraints: 80694
463.56/465.46 c #Conflicts: 265000 | #Constraints: 81694
463.56/465.46 c #Conflicts: 266000 | #Constraints: 82694
463.56/465.46 c INPROCESSING
463.56/465.46 c GARBAGE COLLECT
463.56/465.46 c rational objective 31
477.51/479.42 c #Conflicts: 267000 | #Constraints: 73504
477.51/479.42 c #Conflicts: 268000 | #Constraints: 74504
477.51/479.42 c #Conflicts: 269000 | #Constraints: 75504
477.51/479.42 c #Conflicts: 270000 | #Constraints: 76504
477.51/479.42 c #Conflicts: 271000 | #Constraints: 77504
477.51/479.42 c #Conflicts: 272000 | #Constraints: 78504
477.51/479.42 c #Conflicts: 273000 | #Constraints: 79504
477.51/479.42 c #Conflicts: 274000 | #Constraints: 80504
477.51/479.42 c #Conflicts: 275000 | #Constraints: 81504
477.51/479.42 c #Conflicts: 276000 | #Constraints: 82506
477.51/479.42 c #Conflicts: 277000 | #Constraints: 83506
477.51/479.42 c INPROCESSING
477.51/479.42 c GARBAGE COLLECT
477.51/479.42 c rational objective 31
533.08/535.12 c #Conflicts: 278000 | #Constraints: 74107
533.08/535.12 c #Conflicts: 279000 | #Constraints: 75107
533.08/535.12 c #Conflicts: 280000 | #Constraints: 76107
533.08/535.12 c #Conflicts: 281000 | #Constraints: 77107
533.08/535.12 c #Conflicts: 282000 | #Constraints: 78107
533.08/535.12 c #Conflicts: 283000 | #Constraints: 79107
533.08/535.12 c #Conflicts: 284000 | #Constraints: 80107
533.08/535.12 c #Conflicts: 285000 | #Constraints: 81107
533.08/535.12 c #Conflicts: 286000 | #Constraints: 82107
533.08/535.12 c #Conflicts: 287000 | #Constraints: 83107
533.08/535.12 c #Conflicts: 288000 | #Constraints: 84107
533.08/535.12 c INPROCESSING
533.08/535.12 c GARBAGE COLLECT
533.08/535.12 c rational objective 31
607.54/609.80 c #Conflicts: 289000 | #Constraints: 74475
607.54/609.80 c #Conflicts: 290000 | #Constraints: 75475
607.54/609.80 c #Conflicts: 291000 | #Constraints: 76475
607.54/609.80 c #Conflicts: 292000 | #Constraints: 77475
607.54/609.80 c #Conflicts: 293000 | #Constraints: 78475
607.54/609.80 c #Conflicts: 294000 | #Constraints: 79475
607.54/609.80 c #Conflicts: 295000 | #Constraints: 80475
607.54/609.80 c #Conflicts: 296000 | #Constraints: 81475
607.54/609.80 c #Conflicts: 297000 | #Constraints: 82475
607.54/609.80 c #Conflicts: 298000 | #Constraints: 83475
607.54/609.80 c #Conflicts: 299000 | #Constraints: 84475
607.54/609.80 c INPROCESSING
607.54/609.80 c GARBAGE COLLECT
607.54/609.80 c #Conflicts: 300000 | #Constraints: 74694
607.54/609.80 c #Conflicts: 301000 | #Constraints: 75694
607.54/609.80 c #Conflicts: 302000 | #Constraints: 76694
607.54/609.80 c #Conflicts: 303000 | #Constraints: 77694
607.54/609.80 c #Conflicts: 304000 | #Constraints: 78694
607.54/609.80 c #Conflicts: 305000 | #Constraints: 79694
607.54/609.80 c #Conflicts: 306000 | #Constraints: 80694
607.54/609.80 c #Conflicts: 307000 | #Constraints: 81694
607.54/609.80 c #Conflicts: 308000 | #Constraints: 82694
607.54/609.80 c #Conflicts: 309000 | #Constraints: 83694
607.54/609.80 c #Conflicts: 310000 | #Constraints: 84694
607.54/609.80 c INPROCESSING
607.54/609.80 c GARBAGE COLLECT
607.54/609.80 c #Conflicts: 311000 | #Constraints: 74693
607.54/609.80 c #Conflicts: 312000 | #Constraints: 75693
607.54/609.80 c #Conflicts: 313000 | #Constraints: 76693
607.54/609.80 c #Conflicts: 314000 | #Constraints: 77693
607.54/609.80 c #Conflicts: 315000 | #Constraints: 78693
607.54/609.80 c #Conflicts: 316000 | #Constraints: 79693
607.54/609.80 c #Conflicts: 317000 | #Constraints: 80693
607.54/609.80 c #Conflicts: 318000 | #Constraints: 81693
607.54/609.80 c #Conflicts: 319000 | #Constraints: 82693
607.54/609.80 c #Conflicts: 320000 | #Constraints: 83693
607.54/609.80 c #Conflicts: 321000 | #Constraints: 84693
607.54/609.80 c INPROCESSING
607.54/609.80 c GARBAGE COLLECT
607.54/609.80 c rational objective 31
667.07/669.53 c #Conflicts: 322000 | #Constraints: 74482
667.07/669.53 c #Conflicts: 323000 | #Constraints: 75482
667.07/669.53 c #Conflicts: 324000 | #Constraints: 76482
667.07/669.53 c #Conflicts: 325000 | #Constraints: 77482
667.07/669.53 c #Conflicts: 326000 | #Constraints: 78482
667.07/669.53 c #Conflicts: 327000 | #Constraints: 79482
667.07/669.53 c #Conflicts: 328000 | #Constraints: 80482
667.07/669.53 c #Conflicts: 329000 | #Constraints: 81482
667.07/669.53 c #Conflicts: 330000 | #Constraints: 82482
667.07/669.53 c #Conflicts: 331000 | #Constraints: 83482
667.07/669.53 c #Conflicts: 332000 | #Constraints: 84482
667.07/669.53 c #Conflicts: 333000 | #Constraints: 85482
667.07/669.53 c INPROCESSING
667.07/669.53 c GARBAGE COLLECT
667.07/669.53 c rational objective 31
677.94/680.45 c #Conflicts: 334000 | #Constraints: 75062
677.94/680.45 c #Conflicts: 335000 | #Constraints: 76062
677.94/680.45 c #Conflicts: 336000 | #Constraints: 77062
677.94/680.45 c #Conflicts: 337000 | #Constraints: 78062
677.94/680.45 c #Conflicts: 338000 | #Constraints: 79062
677.94/680.45 c #Conflicts: 339000 | #Constraints: 80062
677.94/680.45 c #Conflicts: 340000 | #Constraints: 81062
677.94/680.45 c #Conflicts: 341000 | #Constraints: 82062
677.94/680.45 c #Conflicts: 342000 | #Constraints: 83063
677.94/680.45 c #Conflicts: 343000 | #Constraints: 84063
677.94/680.45 c #Conflicts: 344000 | #Constraints: 85063
677.94/680.45 c #Conflicts: 345000 | #Constraints: 86063
677.94/680.45 c INPROCESSING
677.94/680.45 c GARBAGE COLLECT
677.94/680.45 c #Conflicts: 346000 | #Constraints: 75472
677.94/680.45 c #Conflicts: 347000 | #Constraints: 76472
677.94/680.45 c #Conflicts: 348000 | #Constraints: 77472
677.94/680.45 c #Conflicts: 349000 | #Constraints: 78472
677.94/680.45 c #Conflicts: 350000 | #Constraints: 79472
677.94/680.45 c #Conflicts: 351000 | #Constraints: 80472
677.94/680.45 c #Conflicts: 352000 | #Constraints: 81472
677.94/680.45 c #Conflicts: 353000 | #Constraints: 82472
677.94/680.45 c bounds 123 >= 31 @ 671.218
698.38/700.99 c #Conflicts: 354000 | #Constraints: 83473
698.38/700.99 c #Conflicts: 355000 | #Constraints: 84473
698.38/700.99 c #Conflicts: 356000 | #Constraints: 85473
698.38/700.99 c #Conflicts: 357000 | #Constraints: 86473
698.38/700.99 c INPROCESSING
698.38/700.99 c GARBAGE COLLECT
698.38/700.99 c rational objective 31
698.78/701.35 c bounds 121 >= 31 @ 691.921
751.93/754.60 c #Conflicts: 358000 | #Constraints: 75664
751.93/754.60 c #Conflicts: 359000 | #Constraints: 76664
751.93/754.60 c #Conflicts: 360000 | #Constraints: 77664
751.93/754.60 c #Conflicts: 361000 | #Constraints: 78664
751.93/754.60 c #Conflicts: 362000 | #Constraints: 79664
751.93/754.60 c #Conflicts: 363000 | #Constraints: 80664
751.93/754.60 c #Conflicts: 364000 | #Constraints: 81664
751.93/754.60 c #Conflicts: 365000 | #Constraints: 82664
751.93/754.60 c #Conflicts: 366000 | #Constraints: 83664
751.93/754.60 c #Conflicts: 367000 | #Constraints: 84664
751.93/754.60 c #Conflicts: 368000 | #Constraints: 85664
751.93/754.60 c #Conflicts: 369000 | #Constraints: 86664
751.93/754.60 c INPROCESSING
751.93/754.60 c GARBAGE COLLECT
751.93/754.60 c rational objective 31
775.81/778.67 c #Conflicts: 370000 | #Constraints: 75667
775.81/778.67 c #Conflicts: 371000 | #Constraints: 76667
775.81/778.67 c #Conflicts: 372000 | #Constraints: 77667
775.81/778.67 c #Conflicts: 373000 | #Constraints: 78667
775.81/778.67 c #Conflicts: 374000 | #Constraints: 79667
775.81/778.67 c #Conflicts: 375000 | #Constraints: 80667
775.81/778.67 c #Conflicts: 376000 | #Constraints: 81667
775.81/778.67 c #Conflicts: 377000 | #Constraints: 82668
775.81/778.67 c #Conflicts: 378000 | #Constraints: 83668
775.81/778.67 c #Conflicts: 379000 | #Constraints: 84668
775.81/778.67 c #Conflicts: 380000 | #Constraints: 85668
775.81/778.67 c #Conflicts: 381000 | #Constraints: 86668
775.81/778.67 c INPROCESSING
775.81/778.67 c GARBAGE COLLECT
775.81/778.67 c #Conflicts: 382000 | #Constraints: 75443
775.81/778.67 c #Conflicts: 383000 | #Constraints: 76443
775.81/778.67 c #Conflicts: 384000 | #Constraints: 77443
775.81/778.67 c #Conflicts: 385000 | #Constraints: 78443
775.81/778.67 c #Conflicts: 386000 | #Constraints: 79443
775.81/778.67 c #Conflicts: 387000 | #Constraints: 80443
775.81/778.67 c #Conflicts: 388000 | #Constraints: 81443
775.81/778.67 c #Conflicts: 389000 | #Constraints: 82443
775.81/778.67 c #Conflicts: 390000 | #Constraints: 83443
775.81/778.67 c #Conflicts: 391000 | #Constraints: 84443
775.81/778.67 c #Conflicts: 392000 | #Constraints: 85443
775.81/778.67 c #Conflicts: 393000 | #Constraints: 86443
775.81/778.67 c #Conflicts: 394000 | #Constraints: 87443
775.81/778.67 c INPROCESSING
775.81/778.67 c GARBAGE COLLECT
775.81/778.67 c rational objective 31
799.54/802.43 c #Conflicts: 395000 | #Constraints: 76079
799.54/802.43 c #Conflicts: 396000 | #Constraints: 77079
799.54/802.43 c #Conflicts: 397000 | #Constraints: 78080
799.54/802.43 c #Conflicts: 398000 | #Constraints: 79080
799.54/802.43 c #Conflicts: 399000 | #Constraints: 80081
799.54/802.43 c #Conflicts: 400000 | #Constraints: 81081
799.54/802.43 c #Conflicts: 401000 | #Constraints: 82081
799.54/802.43 c #Conflicts: 402000 | #Constraints: 83081
799.54/802.43 c #Conflicts: 403000 | #Constraints: 84081
799.54/802.43 c #Conflicts: 404000 | #Constraints: 85081
799.54/802.43 c #Conflicts: 405000 | #Constraints: 86081
799.54/802.43 c #Conflicts: 406000 | #Constraints: 87081
799.54/802.43 c #Conflicts: 407000 | #Constraints: 88081
799.54/802.43 c INPROCESSING
799.54/802.43 c GARBAGE COLLECT
799.54/802.43 c rational objective 31
823.08/826.04 c #Conflicts: 408000 | #Constraints: 76478
823.08/826.04 c #Conflicts: 409000 | #Constraints: 77478
823.08/826.04 c #Conflicts: 410000 | #Constraints: 78478
823.08/826.04 c #Conflicts: 411000 | #Constraints: 79478
823.08/826.04 c #Conflicts: 412000 | #Constraints: 80478
823.08/826.04 c #Conflicts: 413000 | #Constraints: 81478
823.08/826.04 c #Conflicts: 414000 | #Constraints: 82478
823.08/826.04 c #Conflicts: 415000 | #Constraints: 83478
823.08/826.04 c #Conflicts: 416000 | #Constraints: 84478
823.08/826.04 c #Conflicts: 417000 | #Constraints: 85478
823.08/826.04 c #Conflicts: 418000 | #Constraints: 86478
823.08/826.04 c #Conflicts: 419000 | #Constraints: 87478
823.08/826.04 c #Conflicts: 420000 | #Constraints: 88478
823.08/826.04 c INPROCESSING
823.08/826.04 c GARBAGE COLLECT
823.08/826.04 c rational objective 31
824.96/827.95 c #Conflicts: 421000 | #Constraints: 76733
824.96/827.95 c #Conflicts: 422000 | #Constraints: 77733
824.96/827.95 c #Conflicts: 423000 | #Constraints: 78733
824.96/827.95 c #Conflicts: 424000 | #Constraints: 79733
824.96/827.95 c #Conflicts: 425000 | #Constraints: 80733
824.96/827.95 c #Conflicts: 426000 | #Constraints: 81733
824.96/827.95 c #Conflicts: 427000 | #Constraints: 82733
824.96/827.95 c bounds 121 >= 32 @ 817.272
835.73/838.75 c #Conflicts: 428000 | #Constraints: 83745
835.73/838.75 c #Conflicts: 429000 | #Constraints: 84745
835.73/838.75 c #Conflicts: 430000 | #Constraints: 85745
835.73/838.75 c #Conflicts: 431000 | #Constraints: 86745
835.73/838.75 c #Conflicts: 432000 | #Constraints: 87745
835.73/838.75 c #Conflicts: 433000 | #Constraints: 88745
835.73/838.75 c INPROCESSING
835.73/838.75 c GARBAGE COLLECT
835.73/838.75 c rational objective 32
848.50/851.51 c #Conflicts: 434000 | #Constraints: 76757
848.50/851.51 c #Conflicts: 435000 | #Constraints: 77757
848.50/851.51 c #Conflicts: 436000 | #Constraints: 78757
848.50/851.51 c #Conflicts: 437000 | #Constraints: 79757
848.50/851.51 c #Conflicts: 438000 | #Constraints: 80757
848.50/851.51 c #Conflicts: 439000 | #Constraints: 81757
848.50/851.51 c #Conflicts: 440000 | #Constraints: 82757
848.50/851.51 c #Conflicts: 441000 | #Constraints: 83757
848.50/851.51 c #Conflicts: 442000 | #Constraints: 84757
848.50/851.51 c #Conflicts: 443000 | #Constraints: 85757
848.50/851.51 c #Conflicts: 444000 | #Constraints: 86757
848.50/851.51 c #Conflicts: 445000 | #Constraints: 87757
848.50/851.51 c #Conflicts: 446000 | #Constraints: 88757
848.50/851.51 c INPROCESSING
848.50/851.51 c GARBAGE COLLECT
848.50/851.51 c rational objective 32
848.80/851.86 c bounds 121 >= 33 @ 840.891
911.51/914.70 c #Conflicts: 447000 | #Constraints: 76551
911.51/914.70 c #Conflicts: 448000 | #Constraints: 77551
911.51/914.70 c #Conflicts: 449000 | #Constraints: 78551
911.51/914.70 c #Conflicts: 450000 | #Constraints: 79551
911.51/914.70 c #Conflicts: 451000 | #Constraints: 80551
911.51/914.70 c #Conflicts: 452000 | #Constraints: 81551
911.51/914.70 c #Conflicts: 453000 | #Constraints: 82551
911.51/914.70 c #Conflicts: 454000 | #Constraints: 83551
911.51/914.70 c #Conflicts: 455000 | #Constraints: 84551
911.51/914.70 c #Conflicts: 456000 | #Constraints: 85551
911.51/914.70 c #Conflicts: 457000 | #Constraints: 86551
911.51/914.70 c #Conflicts: 458000 | #Constraints: 87551
911.51/914.70 c #Conflicts: 459000 | #Constraints: 88551
911.51/914.70 c #Conflicts: 460000 | #Constraints: 89551
911.51/914.70 c INPROCESSING
911.51/914.70 c GARBAGE COLLECT
911.51/914.70 c rational objective 33
973.52/976.94 c #Conflicts: 461000 | #Constraints: 77163
973.52/976.94 c #Conflicts: 462000 | #Constraints: 78163
973.52/976.94 c #Conflicts: 463000 | #Constraints: 79163
973.52/976.94 c #Conflicts: 464000 | #Constraints: 80163
973.52/976.94 c #Conflicts: 465000 | #Constraints: 81163
973.52/976.94 c #Conflicts: 466000 | #Constraints: 82163
973.52/976.94 c #Conflicts: 467000 | #Constraints: 83163
973.52/976.94 c #Conflicts: 468000 | #Constraints: 84163
973.52/976.94 c #Conflicts: 469000 | #Constraints: 85163
973.52/976.94 c #Conflicts: 470000 | #Constraints: 86163
973.52/976.94 c #Conflicts: 471000 | #Constraints: 87163
973.52/976.94 c #Conflicts: 472000 | #Constraints: 88163
973.52/976.94 c #Conflicts: 473000 | #Constraints: 89163
973.52/976.94 c #Conflicts: 474000 | #Constraints: 90163
973.52/976.94 c INPROCESSING
973.52/976.94 c GARBAGE COLLECT
973.52/976.94 c rational objective 33
988.60/992.07 c #Conflicts: 475000 | #Constraints: 77583
988.60/992.07 c #Conflicts: 476000 | #Constraints: 78583
988.60/992.07 c #Conflicts: 477000 | #Constraints: 79583
988.60/992.07 c #Conflicts: 478000 | #Constraints: 80583
988.60/992.07 c #Conflicts: 479000 | #Constraints: 81583
988.60/992.07 c #Conflicts: 480000 | #Constraints: 82583
988.60/992.07 c #Conflicts: 481000 | #Constraints: 83583
988.60/992.07 c #Conflicts: 482000 | #Constraints: 84583
988.60/992.07 c #Conflicts: 483000 | #Constraints: 85583
988.60/992.07 c #Conflicts: 484000 | #Constraints: 86583
988.60/992.07 c #Conflicts: 485000 | #Constraints: 87583
988.60/992.07 c #Conflicts: 486000 | #Constraints: 88583
988.60/992.07 c #Conflicts: 487000 | #Constraints: 89583
988.60/992.07 c #Conflicts: 488000 | #Constraints: 90583
988.60/992.07 c INPROCESSING
988.60/992.07 c GARBAGE COLLECT
988.60/992.07 c rational objective 33
1062.49/1066.18 c #Conflicts: 489000 | #Constraints: 77762
1062.49/1066.18 c #Conflicts: 490000 | #Constraints: 78762
1062.49/1066.18 c #Conflicts: 491000 | #Constraints: 79762
1062.49/1066.18 c #Conflicts: 492000 | #Constraints: 80762
1062.49/1066.18 c #Conflicts: 493000 | #Constraints: 81762
1062.49/1066.18 c #Conflicts: 494000 | #Constraints: 82762
1062.49/1066.18 c #Conflicts: 495000 | #Constraints: 83762
1062.49/1066.18 c #Conflicts: 496000 | #Constraints: 84764
1062.49/1066.18 c #Conflicts: 497000 | #Constraints: 85764
1062.49/1066.18 c #Conflicts: 498000 | #Constraints: 86764
1062.49/1066.18 c #Conflicts: 499000 | #Constraints: 87765
1062.49/1066.18 c #Conflicts: 500000 | #Constraints: 88765
1062.49/1066.18 c #Conflicts: 501000 | #Constraints: 89766
1062.49/1066.18 c #Conflicts: 502000 | #Constraints: 90766
1062.49/1066.18 c INPROCESSING
1062.49/1066.18 c GARBAGE COLLECT
1062.49/1066.18 c rational objective 33
1096.58/1100.38 c #Conflicts: 503000 | #Constraints: 77762
1096.58/1100.38 c #Conflicts: 504000 | #Constraints: 78762
1096.58/1100.38 c #Conflicts: 505000 | #Constraints: 79762
1096.58/1100.38 c #Conflicts: 506000 | #Constraints: 80762
1096.58/1100.38 c #Conflicts: 507000 | #Constraints: 81762
1096.58/1100.38 c #Conflicts: 508000 | #Constraints: 82762
1096.58/1100.38 c #Conflicts: 509000 | #Constraints: 83762
1096.58/1100.38 c #Conflicts: 510000 | #Constraints: 84762
1096.58/1100.38 c #Conflicts: 511000 | #Constraints: 85762
1096.58/1100.38 c #Conflicts: 512000 | #Constraints: 86762
1096.58/1100.38 c #Conflicts: 513000 | #Constraints: 87762
1096.58/1100.38 c #Conflicts: 514000 | #Constraints: 88762
1096.58/1100.38 c #Conflicts: 515000 | #Constraints: 89762
1096.58/1100.38 c #Conflicts: 516000 | #Constraints: 90763
1096.58/1100.38 c INPROCESSING
1096.58/1100.38 c GARBAGE COLLECT
1096.58/1100.38 c #Conflicts: 517000 | #Constraints: 77558
1096.58/1100.38 c #Conflicts: 518000 | #Constraints: 78558
1096.58/1100.38 c #Conflicts: 519000 | #Constraints: 79558
1096.58/1100.38 c #Conflicts: 520000 | #Constraints: 80558
1096.58/1100.38 c #Conflicts: 521000 | #Constraints: 81558
1096.58/1100.38 c #Conflicts: 522000 | #Constraints: 82558
1096.58/1100.38 c #Conflicts: 523000 | #Constraints: 83558
1096.58/1100.38 c #Conflicts: 524000 | #Constraints: 84558
1096.58/1100.38 c #Conflicts: 525000 | #Constraints: 85558
1096.58/1100.38 c #Conflicts: 526000 | #Constraints: 86558
1096.58/1100.38 c #Conflicts: 527000 | #Constraints: 87558
1096.58/1100.38 c #Conflicts: 528000 | #Constraints: 88558
1096.58/1100.38 c #Conflicts: 529000 | #Constraints: 89558
1096.58/1100.38 c #Conflicts: 530000 | #Constraints: 90558
1096.58/1100.38 c #Conflicts: 531000 | #Constraints: 91558
1096.58/1100.38 c INPROCESSING
1096.58/1100.38 c GARBAGE COLLECT
1096.58/1100.38 c rational objective 33
1119.41/1123.25 c #Conflicts: 532000 | #Constraints: 78160
1119.41/1123.25 c #Conflicts: 533000 | #Constraints: 79160
1119.41/1123.25 c #Conflicts: 534000 | #Constraints: 80160
1119.41/1123.25 c #Conflicts: 535000 | #Constraints: 81160
1119.41/1123.25 c #Conflicts: 536000 | #Constraints: 82160
1119.41/1123.25 c #Conflicts: 537000 | #Constraints: 83160
1119.41/1123.25 c #Conflicts: 538000 | #Constraints: 84160
1119.41/1123.25 c #Conflicts: 539000 | #Constraints: 85160
1119.41/1123.25 c #Conflicts: 540000 | #Constraints: 86160
1119.41/1123.25 c #Conflicts: 541000 | #Constraints: 87160
1119.41/1123.25 c #Conflicts: 542000 | #Constraints: 88160
1119.41/1123.25 c #Conflicts: 543000 | #Constraints: 89160
1119.41/1123.25 c #Conflicts: 544000 | #Constraints: 90160
1119.41/1123.25 c #Conflicts: 545000 | #Constraints: 91160
1119.41/1123.25 c #Conflicts: 546000 | #Constraints: 92160
1119.41/1123.25 c INPROCESSING
1119.41/1123.25 c GARBAGE COLLECT
1119.41/1123.25 c rational objective 33
1146.83/1150.75 c #Conflicts: 547000 | #Constraints: 78601
1146.83/1150.75 c #Conflicts: 548000 | #Constraints: 79601
1146.83/1150.75 c #Conflicts: 549000 | #Constraints: 80601
1146.83/1150.75 c #Conflicts: 550000 | #Constraints: 81601
1146.83/1150.75 c #Conflicts: 551000 | #Constraints: 82601
1146.83/1150.75 c #Conflicts: 552000 | #Constraints: 83601
1146.83/1150.75 c #Conflicts: 553000 | #Constraints: 84601
1146.83/1150.75 c #Conflicts: 554000 | #Constraints: 85601
1146.83/1150.75 c #Conflicts: 555000 | #Constraints: 86601
1146.83/1150.75 c #Conflicts: 556000 | #Constraints: 87601
1146.83/1150.75 c #Conflicts: 557000 | #Constraints: 88601
1146.83/1150.75 c #Conflicts: 558000 | #Constraints: 89601
1146.83/1150.75 c #Conflicts: 559000 | #Constraints: 90601
1146.83/1150.75 c #Conflicts: 560000 | #Constraints: 91601
1146.83/1150.75 c #Conflicts: 561000 | #Constraints: 92601
1146.83/1150.75 c INPROCESSING
1146.83/1150.75 c GARBAGE COLLECT
1146.83/1150.75 c rational objective 33
1154.12/1158.07 c #Conflicts: 562000 | #Constraints: 78758
1154.12/1158.07 c #Conflicts: 563000 | #Constraints: 79758
1154.12/1158.07 c #Conflicts: 564000 | #Constraints: 80758
1154.12/1158.07 c #Conflicts: 565000 | #Constraints: 81758
1154.12/1158.07 c #Conflicts: 566000 | #Constraints: 82758
1154.12/1158.07 c #Conflicts: 567000 | #Constraints: 83758
1154.12/1158.07 c #Conflicts: 568000 | #Constraints: 84758
1154.12/1158.07 c #Conflicts: 569000 | #Constraints: 85758
1154.12/1158.07 c #Conflicts: 570000 | #Constraints: 86759
1154.12/1158.07 c bounds 121 >= 34 @ 1144.58
1214.64/1218.76 c #Conflicts: 571000 | #Constraints: 87765
1214.64/1218.76 c #Conflicts: 572000 | #Constraints: 88765
1214.64/1218.76 c #Conflicts: 573000 | #Constraints: 89765
1214.64/1218.76 c #Conflicts: 574000 | #Constraints: 90765
1214.64/1218.76 c #Conflicts: 575000 | #Constraints: 91765
1214.64/1218.76 c #Conflicts: 576000 | #Constraints: 92765
1214.64/1218.76 c INPROCESSING
1214.64/1218.76 c GARBAGE COLLECT
1214.64/1218.76 c rational objective 34
1244.86/1249.09 c #Conflicts: 577000 | #Constraints: 78812
1244.86/1249.09 c #Conflicts: 578000 | #Constraints: 79812
1244.86/1249.09 c #Conflicts: 579000 | #Constraints: 80812
1244.86/1249.09 c #Conflicts: 580000 | #Constraints: 81812
1244.86/1249.09 c #Conflicts: 581000 | #Constraints: 82812
1244.86/1249.09 c #Conflicts: 582000 | #Constraints: 83812
1244.86/1249.09 c #Conflicts: 583000 | #Constraints: 84812
1244.86/1249.09 c #Conflicts: 584000 | #Constraints: 85812
1244.86/1249.09 c #Conflicts: 585000 | #Constraints: 86812
1244.86/1249.09 c #Conflicts: 586000 | #Constraints: 87812
1244.86/1249.09 c #Conflicts: 587000 | #Constraints: 88812
1244.86/1249.09 c #Conflicts: 588000 | #Constraints: 89812
1244.86/1249.09 c #Conflicts: 589000 | #Constraints: 90812
1244.86/1249.09 c #Conflicts: 590000 | #Constraints: 91812
1244.86/1249.09 c #Conflicts: 591000 | #Constraints: 92812
1244.86/1249.09 c INPROCESSING
1244.86/1249.09 c GARBAGE COLLECT
1244.86/1249.09 c rational objective 34
1296.50/1300.88 c #Conflicts: 592000 | #Constraints: 78627
1296.50/1300.88 c #Conflicts: 593000 | #Constraints: 79627
1296.50/1300.88 c #Conflicts: 594000 | #Constraints: 80627
1296.50/1300.88 c #Conflicts: 595000 | #Constraints: 81627
1296.50/1300.88 c #Conflicts: 596000 | #Constraints: 82627
1296.50/1300.88 c #Conflicts: 597000 | #Constraints: 83627
1296.50/1300.88 c #Conflicts: 598000 | #Constraints: 84627
1296.50/1300.88 c #Conflicts: 599000 | #Constraints: 85627
1296.50/1300.88 c #Conflicts: 600000 | #Constraints: 86627
1296.50/1300.88 c #Conflicts: 601000 | #Constraints: 87627
1296.50/1300.88 c #Conflicts: 602000 | #Constraints: 88627
1296.50/1300.88 c #Conflicts: 603000 | #Constraints: 89627
1296.50/1300.88 c #Conflicts: 604000 | #Constraints: 90627
1296.50/1300.88 c #Conflicts: 605000 | #Constraints: 91627
1296.50/1300.88 c #Conflicts: 606000 | #Constraints: 92627
1296.50/1300.88 c #Conflicts: 607000 | #Constraints: 93627
1296.50/1300.88 c INPROCESSING
1296.50/1300.88 c GARBAGE COLLECT
1296.50/1300.88 c rational objective 34
1359.29/1363.89 c #Conflicts: 608000 | #Constraints: 79291
1359.29/1363.89 c #Conflicts: 609000 | #Constraints: 80291
1359.29/1363.89 c #Conflicts: 610000 | #Constraints: 81291
1359.29/1363.89 c #Conflicts: 611000 | #Constraints: 82291
1359.29/1363.89 c #Conflicts: 612000 | #Constraints: 83291
1359.29/1363.89 c #Conflicts: 613000 | #Constraints: 84291
1359.29/1363.89 c #Conflicts: 614000 | #Constraints: 85291
1359.29/1363.89 c #Conflicts: 615000 | #Constraints: 86291
1359.29/1363.89 c #Conflicts: 616000 | #Constraints: 87291
1359.29/1363.89 c #Conflicts: 617000 | #Constraints: 88291
1359.29/1363.89 c #Conflicts: 618000 | #Constraints: 89291
1359.29/1363.89 c #Conflicts: 619000 | #Constraints: 90291
1359.29/1363.89 c #Conflicts: 620000 | #Constraints: 91291
1359.29/1363.89 c #Conflicts: 621000 | #Constraints: 92291
1359.29/1363.89 c #Conflicts: 622000 | #Constraints: 93291
1359.29/1363.89 c #Conflicts: 623000 | #Constraints: 94291
1359.29/1363.89 c INPROCESSING
1359.29/1363.89 c GARBAGE COLLECT
1359.29/1363.89 c rational objective 34
1408.44/1413.12 c #Conflicts: 624000 | #Constraints: 79679
1408.44/1413.12 c #Conflicts: 625000 | #Constraints: 80679
1408.44/1413.12 c #Conflicts: 626000 | #Constraints: 81679
1408.44/1413.12 c #Conflicts: 627000 | #Constraints: 82679
1408.44/1413.12 c #Conflicts: 628000 | #Constraints: 83679
1408.44/1413.12 c #Conflicts: 629000 | #Constraints: 84679
1408.44/1413.12 c #Conflicts: 630000 | #Constraints: 85679
1408.44/1413.12 c #Conflicts: 631000 | #Constraints: 86679
1408.44/1413.12 c #Conflicts: 632000 | #Constraints: 87679
1408.44/1413.12 c #Conflicts: 633000 | #Constraints: 88679
1408.44/1413.12 c #Conflicts: 634000 | #Constraints: 89679
1408.44/1413.12 c #Conflicts: 635000 | #Constraints: 90679
1408.44/1413.12 c #Conflicts: 636000 | #Constraints: 91679
1408.44/1413.12 c #Conflicts: 637000 | #Constraints: 92679
1408.44/1413.12 c #Conflicts: 638000 | #Constraints: 93679
1408.44/1413.12 c #Conflicts: 639000 | #Constraints: 94679
1408.44/1413.12 c INPROCESSING
1408.44/1413.12 c GARBAGE COLLECT
1408.44/1413.12 c #Conflicts: 640000 | #Constraints: 79863
1408.44/1413.12 c #Conflicts: 641000 | #Constraints: 80863
1408.44/1413.12 c #Conflicts: 642000 | #Constraints: 81863
1408.44/1413.12 c #Conflicts: 643000 | #Constraints: 82863
1408.44/1413.12 c #Conflicts: 644000 | #Constraints: 83863
1408.44/1413.12 c #Conflicts: 645000 | #Constraints: 84863
1408.44/1413.12 c #Conflicts: 646000 | #Constraints: 85863
1408.44/1413.12 c #Conflicts: 647000 | #Constraints: 86863
1408.44/1413.12 c #Conflicts: 648000 | #Constraints: 87863
1408.44/1413.12 c #Conflicts: 649000 | #Constraints: 88863
1408.44/1413.12 c #Conflicts: 650000 | #Constraints: 89863
1408.44/1413.12 c #Conflicts: 651000 | #Constraints: 90863
1408.44/1413.12 c #Conflicts: 652000 | #Constraints: 91863
1408.44/1413.12 c #Conflicts: 653000 | #Constraints: 92863
1408.44/1413.12 c #Conflicts: 654000 | #Constraints: 93863
1408.44/1413.12 c #Conflicts: 655000 | #Constraints: 94863
1408.44/1413.12 c INPROCESSING
1408.44/1413.12 c GARBAGE COLLECT
1408.44/1413.12 c rational objective 34
1486.25/1491.24 c #Conflicts: 656000 | #Constraints: 79876
1486.25/1491.24 c #Conflicts: 657000 | #Constraints: 80876
1486.25/1491.24 c #Conflicts: 658000 | #Constraints: 81876
1486.25/1491.24 c #Conflicts: 659000 | #Constraints: 82876
1486.25/1491.24 c #Conflicts: 660000 | #Constraints: 83876
1486.25/1491.24 c #Conflicts: 661000 | #Constraints: 84876
1486.25/1491.24 c #Conflicts: 662000 | #Constraints: 85876
1486.25/1491.24 c #Conflicts: 663000 | #Constraints: 86876
1486.25/1491.24 c #Conflicts: 664000 | #Constraints: 87876
1486.25/1491.24 c #Conflicts: 665000 | #Constraints: 88876
1486.25/1491.24 c #Conflicts: 666000 | #Constraints: 89876
1486.25/1491.24 c #Conflicts: 667000 | #Constraints: 90876
1486.25/1491.24 c #Conflicts: 668000 | #Constraints: 91877
1486.25/1491.24 c #Conflicts: 669000 | #Constraints: 92877
1486.25/1491.24 c #Conflicts: 670000 | #Constraints: 93877
1486.25/1491.24 c #Conflicts: 671000 | #Constraints: 94877
1486.25/1491.24 c INPROCESSING
1486.25/1491.24 c GARBAGE COLLECT
1486.25/1491.24 c #Conflicts: 672000 | #Constraints: 79638
1486.25/1491.24 c #Conflicts: 673000 | #Constraints: 80638
1486.25/1491.24 c #Conflicts: 674000 | #Constraints: 81638
1486.25/1491.24 c #Conflicts: 675000 | #Constraints: 82638
1486.25/1491.24 c #Conflicts: 676000 | #Constraints: 83638
1486.25/1491.24 c #Conflicts: 677000 | #Constraints: 84638
1486.25/1491.24 c #Conflicts: 678000 | #Constraints: 85639
1486.25/1491.24 c #Conflicts: 679000 | #Constraints: 86639
1486.25/1491.24 c #Conflicts: 680000 | #Constraints: 87639
1486.25/1491.24 c #Conflicts: 681000 | #Constraints: 88639
1486.25/1491.24 c #Conflicts: 682000 | #Constraints: 89639
1486.25/1491.24 c #Conflicts: 683000 | #Constraints: 90639
1486.25/1491.24 c #Conflicts: 684000 | #Constraints: 91639
1486.25/1491.24 c #Conflicts: 685000 | #Constraints: 92639
1486.25/1491.24 c #Conflicts: 686000 | #Constraints: 93639
1486.25/1491.24 c #Conflicts: 687000 | #Constraints: 94639
1486.25/1491.24 c #Conflicts: 688000 | #Constraints: 95639
1486.25/1491.24 c INPROCESSING
1486.25/1491.24 c GARBAGE COLLECT
1486.25/1491.24 c #Conflicts: 689000 | #Constraints: 80204
1486.25/1491.24 c bounds 121 >= 35 @ 1475.04
1526.95/1532.07 c #Conflicts: 690000 | #Constraints: 81213
1526.95/1532.07 c #Conflicts: 691000 | #Constraints: 82213
1526.95/1532.07 c #Conflicts: 692000 | #Constraints: 83214
1526.95/1532.07 c #Conflicts: 693000 | #Constraints: 84214
1526.95/1532.07 c #Conflicts: 694000 | #Constraints: 85214
1526.95/1532.07 c #Conflicts: 695000 | #Constraints: 86214
1526.95/1532.07 c #Conflicts: 696000 | #Constraints: 87214
1526.95/1532.07 c #Conflicts: 697000 | #Constraints: 88214
1526.95/1532.07 c #Conflicts: 698000 | #Constraints: 89214
1526.95/1532.07 c #Conflicts: 699000 | #Constraints: 90214
1526.95/1532.07 c #Conflicts: 700000 | #Constraints: 91214
1526.95/1532.07 c #Conflicts: 701000 | #Constraints: 92214
1526.95/1532.07 c #Conflicts: 702000 | #Constraints: 93214
1526.95/1532.07 c #Conflicts: 703000 | #Constraints: 94214
1526.95/1532.07 c #Conflicts: 704000 | #Constraints: 95214
1526.95/1532.07 c #Conflicts: 705000 | #Constraints: 96214
1526.95/1532.07 c INPROCESSING
1526.95/1532.07 c GARBAGE COLLECT
1526.95/1532.07 c #Conflicts: 706000 | #Constraints: 80615
1526.95/1532.07 c #Conflicts: 707000 | #Constraints: 81615
1526.95/1532.07 c #Conflicts: 708000 | #Constraints: 82615
1526.95/1532.07 c #Conflicts: 709000 | #Constraints: 83615
1526.95/1532.07 c bounds 121 >= 36 @ 1515.49
1530.82/1535.97 c #Conflicts: 710000 | #Constraints: 84633
1530.82/1535.97 c #Conflicts: 711000 | #Constraints: 85633
1530.82/1535.97 c #Conflicts: 712000 | #Constraints: 86633
1530.82/1535.97 c #Conflicts: 713000 | #Constraints: 87633
1530.82/1535.97 c #Conflicts: 714000 | #Constraints: 88633
1530.82/1535.97 c #Conflicts: 715000 | #Constraints: 89633
1530.82/1535.97 c #Conflicts: 716000 | #Constraints: 90633
1530.82/1535.97 c #Conflicts: 717000 | #Constraints: 91633
1530.82/1535.97 c #Conflicts: 718000 | #Constraints: 92633
1530.82/1535.97 c #Conflicts: 719000 | #Constraints: 93633
1530.82/1535.97 c bounds 121 >= 37 @ 1519.33
1761.37/1767.22 c #Conflicts: 720000 | #Constraints: 94648
1761.37/1767.22 c #Conflicts: 721000 | #Constraints: 95648
1761.37/1767.22 c #Conflicts: 722000 | #Constraints: 96648
1761.37/1767.22 c INPROCESSING
1761.37/1767.22 c GARBAGE COLLECT
1761.37/1767.22 c #Conflicts: 723000 | #Constraints: 80836
1761.37/1767.22 c #Conflicts: 724000 | #Constraints: 81837
1761.37/1767.22 c #Conflicts: 725000 | #Constraints: 82837
1761.37/1767.22 c #Conflicts: 726000 | #Constraints: 84276
1761.37/1767.22 c #Conflicts: 727000 | #Constraints: 85770
1761.37/1767.22 c #Conflicts: 728000 | #Constraints: 87254
1761.37/1767.22 c #Conflicts: 729000 | #Constraints: 88767
1761.37/1767.22 c #Conflicts: 730000 | #Constraints: 90265
1761.37/1767.22 c #Conflicts: 731000 | #Constraints: 91762
1761.37/1767.22 c #Conflicts: 732000 | #Constraints: 93258
1761.37/1767.22 c #Conflicts: 733000 | #Constraints: 94767
1761.37/1767.22 c #Conflicts: 734000 | #Constraints: 96257
1761.37/1767.22 c #Conflicts: 735000 | #Constraints: 97775
1761.37/1767.22 c #Conflicts: 736000 | #Constraints: 99268
1761.37/1767.22 c #Conflicts: 737000 | #Constraints: 100772
1761.37/1767.22 c #Conflicts: 738000 | #Constraints: 102275
1761.37/1767.22 c #Conflicts: 739000 | #Constraints: 103747
1761.37/1767.22 c INPROCESSING
1761.37/1767.22 c GARBAGE COLLECT
1761.37/1767.22 c #Conflicts: 740000 | #Constraints: 84340
1761.37/1767.22 c #Conflicts: 741000 | #Constraints: 85340
1761.37/1767.22 c #Conflicts: 742000 | #Constraints: 86341
1761.37/1767.22 c #Conflicts: 743000 | #Constraints: 87341
1761.37/1767.22 c bounds 121 >= 38 @ 1749.13
1815.35/1821.43 c #Conflicts: 744000 | #Constraints: 88365
1815.35/1821.43 c #Conflicts: 745000 | #Constraints: 89365
1815.35/1821.43 c #Conflicts: 746000 | #Constraints: 90365
1815.35/1821.43 c #Conflicts: 747000 | #Constraints: 91365
1815.35/1821.43 c #Conflicts: 748000 | #Constraints: 92365
1815.35/1821.43 c #Conflicts: 749000 | #Constraints: 93365
1815.35/1821.43 c #Conflicts: 750000 | #Constraints: 94365
1815.35/1821.43 c #Conflicts: 751000 | #Constraints: 95365
1815.35/1821.43 c #Conflicts: 752000 | #Constraints: 96365
1815.35/1821.43 c #Conflicts: 753000 | #Constraints: 97365
1815.35/1821.43 c #Conflicts: 754000 | #Constraints: 98365
1815.35/1821.43 c #Conflicts: 755000 | #Constraints: 99365
1815.35/1821.43 c #Conflicts: 756000 | #Constraints: 100366
1815.35/1821.43 c INPROCESSING
1815.35/1821.43 c GARBAGE COLLECT
1815.35/1821.43 c #Conflicts: 757000 | #Constraints: 82387
1815.35/1821.43 c #Conflicts: 758000 | #Constraints: 83387
1815.35/1821.43 c #Conflicts: 759000 | #Constraints: 84387
1815.35/1821.43 c #Conflicts: 760000 | #Constraints: 85387
1815.35/1821.43 c #Conflicts: 761000 | #Constraints: 86387
1815.35/1821.43 c #Conflicts: 762000 | #Constraints: 87387
1815.35/1821.43 c #Conflicts: 763000 | #Constraints: 88387
1815.35/1821.43 c #Conflicts: 764000 | #Constraints: 89387
1815.35/1821.43 c #Conflicts: 765000 | #Constraints: 90387
1815.35/1821.43 c #Conflicts: 766000 | #Constraints: 91387
1815.35/1821.43 c bounds 121 >= 39 @ 1802.87
1835.47/1841.65 c #Conflicts: 767000 | #Constraints: 92402
1835.47/1841.65 c #Conflicts: 768000 | #Constraints: 93402
1835.47/1841.65 c #Conflicts: 769000 | #Constraints: 94402
1835.47/1841.65 c #Conflicts: 770000 | #Constraints: 95402
1835.47/1841.65 c #Conflicts: 771000 | #Constraints: 96402
1835.47/1841.65 c #Conflicts: 772000 | #Constraints: 97402
1835.47/1841.65 c #Conflicts: 773000 | #Constraints: 98402
1835.47/1841.65 c #Conflicts: 774000 | #Constraints: 99402
1835.47/1841.65 c INPROCESSING
1835.47/1841.65 c GARBAGE COLLECT
1835.47/1841.65 WSVECS04 Frhs2[7579]: 6 -20 0 shouldn't be
1909.78/1916.15 c rational objective 39
1913.84/1920.22 c #Conflicts: 775000 | #Constraints: 82160
1913.84/1920.22 c #Conflicts: 776000 | #Constraints: 83160
1913.84/1920.22 c #Conflicts: 777000 | #Constraints: 84160
1913.84/1920.22 c #Conflicts: 778000 | #Constraints: 85160
1913.84/1920.22 c #Conflicts: 779000 | #Constraints: 86160
1913.84/1920.22 c #Conflicts: 780000 | #Constraints: 87160
1913.84/1920.22 c #Conflicts: 781000 | #Constraints: 88160
1913.84/1920.22 c #Conflicts: 782000 | #Constraints: 89160
1913.84/1920.22 c #Conflicts: 783000 | #Constraints: 90160
1913.84/1920.22 c #Conflicts: 784000 | #Constraints: 91160
1913.84/1920.22 c #Conflicts: 785000 | #Constraints: 92160
1913.84/1920.22 c #Conflicts: 786000 | #Constraints: 93160
1913.84/1920.22 c #Conflicts: 787000 | #Constraints: 94160
1913.84/1920.22 c #Conflicts: 788000 | #Constraints: 95160
1913.84/1920.22 c #Conflicts: 789000 | #Constraints: 96160
1913.84/1920.22 c #Conflicts: 790000 | #Constraints: 97160
1913.84/1920.22 c #Conflicts: 791000 | #Constraints: 98160
1913.84/1920.22 c #Conflicts: 792000 | #Constraints: 99160
1913.84/1920.22 c INPROCESSING
1913.84/1920.22 c GARBAGE COLLECT
1913.84/1920.22 c bounds 121 >= 40 @ 1900.95
1963.51/1970.05 c #Conflicts: 793000 | #Constraints: 82137
1963.51/1970.05 c #Conflicts: 794000 | #Constraints: 83137
1963.51/1970.05 c #Conflicts: 795000 | #Constraints: 84137
1963.51/1970.05 c #Conflicts: 796000 | #Constraints: 85137
1963.51/1970.05 c #Conflicts: 797000 | #Constraints: 86137
1963.51/1970.05 c #Conflicts: 798000 | #Constraints: 87137
1963.51/1970.05 c #Conflicts: 799000 | #Constraints: 88137
1963.51/1970.05 c #Conflicts: 800000 | #Constraints: 89137
1963.51/1970.05 c #Conflicts: 801000 | #Constraints: 90137
1963.51/1970.05 c bounds 121 >= 41 @ 1950.46
1985.93/1992.54 c #Conflicts: 802000 | #Constraints: 91164
1985.93/1992.54 c #Conflicts: 803000 | #Constraints: 92164
1985.93/1992.54 c #Conflicts: 804000 | #Constraints: 93164
1985.93/1992.54 c #Conflicts: 805000 | #Constraints: 94164
1985.93/1992.54 c #Conflicts: 806000 | #Constraints: 95164
1985.93/1992.54 c #Conflicts: 807000 | #Constraints: 96164
1985.93/1992.54 c #Conflicts: 808000 | #Constraints: 97164
1985.93/1992.54 c #Conflicts: 809000 | #Constraints: 98164
1985.93/1992.54 c #Conflicts: 810000 | #Constraints: 99164
1985.93/1992.54 c INPROCESSING
1985.93/1992.54 c GARBAGE COLLECT
1985.93/1992.54 c #Conflicts: 811000 | #Constraints: 82154
1985.93/1992.54 c #Conflicts: 812000 | #Constraints: 83154
1985.93/1992.54 c #Conflicts: 813000 | #Constraints: 84154
1985.93/1992.54 c #Conflicts: 814000 | #Constraints: 85154
1985.93/1992.54 c #Conflicts: 815000 | #Constraints: 86154
1985.93/1992.54 c #Conflicts: 816000 | #Constraints: 87154
1985.93/1992.54 c #Conflicts: 817000 | #Constraints: 88154
1985.93/1992.54 c #Conflicts: 818000 | #Constraints: 89154
1985.93/1992.54 c #Conflicts: 819000 | #Constraints: 90154
1985.93/1992.54 c #Conflicts: 820000 | #Constraints: 91154
1985.93/1992.54 c #Conflicts: 821000 | #Constraints: 92154
1985.93/1992.54 c #Conflicts: 822000 | #Constraints: 93154
1985.93/1992.54 c #Conflicts: 823000 | #Constraints: 94154
1985.93/1992.54 c #Conflicts: 824000 | #Constraints: 95154
1985.93/1992.54 c #Conflicts: 825000 | #Constraints: 96154
1985.93/1992.54 c #Conflicts: 826000 | #Constraints: 97154
1985.93/1992.54 c #Conflicts: 827000 | #Constraints: 98154
1985.93/1992.54 c #Conflicts: 828000 | #Constraints: 99154
1985.93/1992.54 c INPROCESSING
1985.93/1992.54 c GARBAGE COLLECT
1985.93/1992.54 c rational objective 41
2015.37/2022.04 c #Conflicts: 829000 | #Constraints: 82042
2015.37/2022.04 c #Conflicts: 830000 | #Constraints: 83042
2015.37/2022.04 c #Conflicts: 831000 | #Constraints: 84042
2015.37/2022.04 c #Conflicts: 832000 | #Constraints: 85042
2015.37/2022.04 c #Conflicts: 833000 | #Constraints: 86042
2015.37/2022.04 c #Conflicts: 834000 | #Constraints: 87042
2015.37/2022.04 c #Conflicts: 835000 | #Constraints: 88042
2015.37/2022.04 c #Conflicts: 836000 | #Constraints: 89042
2015.37/2022.04 c #Conflicts: 837000 | #Constraints: 90042
2015.37/2022.04 c #Conflicts: 838000 | #Constraints: 91042
2015.37/2022.04 c #Conflicts: 839000 | #Constraints: 92042
2015.37/2022.04 c #Conflicts: 840000 | #Constraints: 93042
2015.37/2022.04 c #Conflicts: 841000 | #Constraints: 94042
2015.37/2022.04 c #Conflicts: 842000 | #Constraints: 95042
2015.37/2022.04 c #Conflicts: 843000 | #Constraints: 96042
2015.37/2022.04 c #Conflicts: 844000 | #Constraints: 97042
2015.37/2022.04 c #Conflicts: 845000 | #Constraints: 98042
2015.37/2022.04 c #Conflicts: 846000 | #Constraints: 99042
2015.37/2022.04 c INPROCESSING
2015.37/2022.04 c GARBAGE COLLECT
2015.37/2022.04 c rational objective 41
2057.44/2064.29 c #Conflicts: 847000 | #Constraints: 81740
2057.44/2064.29 c #Conflicts: 848000 | #Constraints: 82740
2057.44/2064.29 c #Conflicts: 849000 | #Constraints: 83740
2057.44/2064.29 c #Conflicts: 850000 | #Constraints: 84740
2057.44/2064.29 c #Conflicts: 851000 | #Constraints: 85740
2057.44/2064.29 c #Conflicts: 852000 | #Constraints: 86740
2057.44/2064.29 c #Conflicts: 853000 | #Constraints: 87740
2057.44/2064.29 c #Conflicts: 854000 | #Constraints: 88740
2057.44/2064.29 c #Conflicts: 855000 | #Constraints: 89740
2057.44/2064.29 c #Conflicts: 856000 | #Constraints: 90740
2057.44/2064.29 c #Conflicts: 857000 | #Constraints: 91740
2057.44/2064.29 c #Conflicts: 858000 | #Constraints: 92740
2057.44/2064.29 c #Conflicts: 859000 | #Constraints: 93740
2057.44/2064.29 c #Conflicts: 860000 | #Constraints: 94740
2057.44/2064.29 c #Conflicts: 861000 | #Constraints: 95740
2057.44/2064.29 c #Conflicts: 862000 | #Constraints: 96740
2057.44/2064.29 c #Conflicts: 863000 | #Constraints: 97740
2057.44/2064.29 c #Conflicts: 864000 | #Constraints: 98740
2057.44/2064.29 c #Conflicts: 865000 | #Constraints: 99740
2057.44/2064.29 c INPROCESSING
2057.44/2064.29 c GARBAGE COLLECT
2057.44/2064.29 c rational objective 41
2104.30/2111.22 c #Conflicts: 866000 | #Constraints: 82343
2104.30/2111.22 c #Conflicts: 867000 | #Constraints: 83343
2104.30/2111.22 c #Conflicts: 868000 | #Constraints: 84343
2104.30/2111.22 c #Conflicts: 869000 | #Constraints: 85343
2104.30/2111.22 c #Conflicts: 870000 | #Constraints: 86343
2104.30/2111.22 c #Conflicts: 871000 | #Constraints: 87343
2104.30/2111.22 c #Conflicts: 872000 | #Constraints: 88343
2104.30/2111.22 c #Conflicts: 873000 | #Constraints: 89343
2104.30/2111.22 c #Conflicts: 874000 | #Constraints: 90343
2104.30/2111.22 c #Conflicts: 875000 | #Constraints: 91343
2104.30/2111.22 c #Conflicts: 876000 | #Constraints: 92343
2104.30/2111.22 c #Conflicts: 877000 | #Constraints: 93343
2104.30/2111.22 c #Conflicts: 878000 | #Constraints: 94343
2104.30/2111.22 c #Conflicts: 879000 | #Constraints: 95343
2104.30/2111.22 c #Conflicts: 880000 | #Constraints: 96343
2104.30/2111.22 c #Conflicts: 881000 | #Constraints: 97343
2104.30/2111.22 c #Conflicts: 882000 | #Constraints: 98343
2104.30/2111.22 c #Conflicts: 883000 | #Constraints: 99343
2104.30/2111.22 c #Conflicts: 884000 | #Constraints: 100343
2104.30/2111.22 c INPROCESSING
2104.30/2111.22 c GARBAGE COLLECT
2104.30/2111.22 c rational objective 41
2131.72/2138.76 c #Conflicts: 885000 | #Constraints: 82776
2131.72/2138.76 c #Conflicts: 886000 | #Constraints: 83776
2131.72/2138.76 c #Conflicts: 887000 | #Constraints: 84776
2131.72/2138.76 c #Conflicts: 888000 | #Constraints: 85776
2131.72/2138.76 c #Conflicts: 889000 | #Constraints: 86776
2131.72/2138.76 c #Conflicts: 890000 | #Constraints: 87776
2131.72/2138.76 c #Conflicts: 891000 | #Constraints: 88776
2131.72/2138.76 c #Conflicts: 892000 | #Constraints: 89776
2131.72/2138.76 c #Conflicts: 893000 | #Constraints: 90776
2131.72/2138.76 c #Conflicts: 894000 | #Constraints: 91776
2131.72/2138.76 c #Conflicts: 895000 | #Constraints: 92776
2131.72/2138.76 c #Conflicts: 896000 | #Constraints: 93776
2131.72/2138.76 c #Conflicts: 897000 | #Constraints: 94776
2131.72/2138.76 c #Conflicts: 898000 | #Constraints: 95776
2131.72/2138.76 c #Conflicts: 899000 | #Constraints: 96776
2131.72/2138.76 c #Conflicts: 900000 | #Constraints: 97776
2131.72/2138.76 c #Conflicts: 901000 | #Constraints: 98776
2131.72/2138.76 c #Conflicts: 902000 | #Constraints: 99776
2131.72/2138.76 c #Conflicts: 903000 | #Constraints: 100776
2131.72/2138.76 c INPROCESSING
2131.72/2138.76 c GARBAGE COLLECT
2131.72/2138.76 c rational objective 41
2150.46/2157.51 c #Conflicts: 904000 | #Constraints: 82940
2150.46/2157.51 c #Conflicts: 905000 | #Constraints: 83940
2150.46/2157.51 c #Conflicts: 906000 | #Constraints: 84940
2150.46/2157.51 c #Conflicts: 907000 | #Constraints: 85940
2150.46/2157.51 c #Conflicts: 908000 | #Constraints: 86940
2150.46/2157.51 c #Conflicts: 909000 | #Constraints: 87940
2150.46/2157.51 c #Conflicts: 910000 | #Constraints: 88940
2150.46/2157.51 c #Conflicts: 911000 | #Constraints: 89940
2150.46/2157.51 c #Conflicts: 912000 | #Constraints: 90940
2150.46/2157.51 c #Conflicts: 913000 | #Constraints: 91940
2150.46/2157.51 c #Conflicts: 914000 | #Constraints: 92940
2150.46/2157.51 c #Conflicts: 915000 | #Constraints: 93940
2150.46/2157.51 c #Conflicts: 916000 | #Constraints: 94940
2150.46/2157.51 c #Conflicts: 917000 | #Constraints: 95940
2150.46/2157.51 c #Conflicts: 918000 | #Constraints: 96940
2150.46/2157.51 c #Conflicts: 919000 | #Constraints: 97940
2150.46/2157.51 c #Conflicts: 920000 | #Constraints: 98940
2150.46/2157.51 c #Conflicts: 921000 | #Constraints: 99940
2150.46/2157.51 c #Conflicts: 922000 | #Constraints: 100940
2150.46/2157.51 c INPROCESSING
2150.46/2157.51 c GARBAGE COLLECT
2150.46/2157.51 c rational objective 41
2180.77/2187.92 c #Conflicts: 923000 | #Constraints: 82974
2180.77/2187.92 c #Conflicts: 924000 | #Constraints: 83974
2180.77/2187.92 c #Conflicts: 925000 | #Constraints: 84974
2180.77/2187.92 c #Conflicts: 926000 | #Constraints: 85974
2180.77/2187.92 c #Conflicts: 927000 | #Constraints: 86974
2180.77/2187.92 c #Conflicts: 928000 | #Constraints: 87974
2180.77/2187.92 c #Conflicts: 929000 | #Constraints: 88974
2180.77/2187.92 c #Conflicts: 930000 | #Constraints: 89974
2180.77/2187.92 c #Conflicts: 931000 | #Constraints: 90974
2180.77/2187.92 c #Conflicts: 932000 | #Constraints: 91974
2180.77/2187.92 c #Conflicts: 933000 | #Constraints: 92974
2180.77/2187.92 c #Conflicts: 934000 | #Constraints: 93974
2180.77/2187.92 c #Conflicts: 935000 | #Constraints: 94974
2180.77/2187.92 c #Conflicts: 936000 | #Constraints: 95974
2180.77/2187.92 c #Conflicts: 937000 | #Constraints: 96974
2180.77/2187.92 c #Conflicts: 938000 | #Constraints: 97974
2180.77/2187.92 c #Conflicts: 939000 | #Constraints: 98974
2180.77/2187.92 c #Conflicts: 940000 | #Constraints: 99974
2180.77/2187.92 c #Conflicts: 941000 | #Constraints: 100974
2180.77/2187.92 c INPROCESSING
2180.77/2187.92 c GARBAGE COLLECT
2180.77/2187.92 c rational objective 41
2207.80/2215.07 c #Conflicts: 942000 | #Constraints: 82741
2207.80/2215.07 c #Conflicts: 943000 | #Constraints: 83741
2207.80/2215.07 c #Conflicts: 944000 | #Constraints: 84741
2207.80/2215.07 c #Conflicts: 945000 | #Constraints: 85741
2207.80/2215.07 c #Conflicts: 946000 | #Constraints: 86741
2207.80/2215.07 c #Conflicts: 947000 | #Constraints: 87741
2207.80/2215.07 c #Conflicts: 948000 | #Constraints: 88741
2207.80/2215.07 c #Conflicts: 949000 | #Constraints: 89741
2207.80/2215.07 c #Conflicts: 950000 | #Constraints: 90741
2207.80/2215.07 c #Conflicts: 951000 | #Constraints: 91741
2207.80/2215.07 c #Conflicts: 952000 | #Constraints: 92741
2207.80/2215.07 c #Conflicts: 953000 | #Constraints: 93741
2207.80/2215.07 c #Conflicts: 954000 | #Constraints: 94741
2207.80/2215.07 c #Conflicts: 955000 | #Constraints: 95741
2207.80/2215.07 c #Conflicts: 956000 | #Constraints: 96741
2207.80/2215.07 c #Conflicts: 957000 | #Constraints: 97741
2207.80/2215.07 c #Conflicts: 958000 | #Constraints: 98741
2207.80/2215.07 c #Conflicts: 959000 | #Constraints: 99741
2207.80/2215.07 c #Conflicts: 960000 | #Constraints: 100741
2207.80/2215.07 c #Conflicts: 961000 | #Constraints: 101741
2207.80/2215.07 c INPROCESSING
2207.80/2215.07 c GARBAGE COLLECT
2207.80/2215.07 c rational objective 41
2229.13/2236.44 c #Conflicts: 962000 | #Constraints: 83365
2229.13/2236.44 c #Conflicts: 963000 | #Constraints: 84365
2229.13/2236.44 c #Conflicts: 964000 | #Constraints: 85365
2229.13/2236.44 c #Conflicts: 965000 | #Constraints: 86365
2229.13/2236.44 c #Conflicts: 966000 | #Constraints: 87365
2229.13/2236.44 c #Conflicts: 967000 | #Constraints: 88365
2229.13/2236.44 c #Conflicts: 968000 | #Constraints: 89365
2229.13/2236.44 c #Conflicts: 969000 | #Constraints: 90365
2229.13/2236.44 c #Conflicts: 970000 | #Constraints: 91365
2229.13/2236.44 c #Conflicts: 971000 | #Constraints: 92365
2229.13/2236.44 c #Conflicts: 972000 | #Constraints: 93365
2229.13/2236.44 c #Conflicts: 973000 | #Constraints: 94365
2229.13/2236.44 c #Conflicts: 974000 | #Constraints: 95365
2229.13/2236.44 c #Conflicts: 975000 | #Constraints: 96365
2229.13/2236.44 c #Conflicts: 976000 | #Constraints: 97365
2229.13/2236.44 c #Conflicts: 977000 | #Constraints: 98365
2229.13/2236.44 c #Conflicts: 978000 | #Constraints: 99365
2229.13/2236.44 c #Conflicts: 979000 | #Constraints: 100365
2229.13/2236.44 c #Conflicts: 980000 | #Constraints: 101365
2229.13/2236.44 c #Conflicts: 981000 | #Constraints: 102365
2229.13/2236.44 c INPROCESSING
2229.13/2236.44 c GARBAGE COLLECT
2229.13/2236.44 c rational objective 41
2249.68/2257.11 c #Conflicts: 982000 | #Constraints: 83777
2249.68/2257.11 c #Conflicts: 983000 | #Constraints: 84777
2249.68/2257.11 c #Conflicts: 984000 | #Constraints: 85777
2249.68/2257.11 c #Conflicts: 985000 | #Constraints: 86777
2249.68/2257.11 c #Conflicts: 986000 | #Constraints: 87777
2249.68/2257.11 c #Conflicts: 987000 | #Constraints: 88777
2249.68/2257.11 c #Conflicts: 988000 | #Constraints: 89777
2249.68/2257.11 c #Conflicts: 989000 | #Constraints: 90777
2249.68/2257.11 c #Conflicts: 990000 | #Constraints: 91777
2249.68/2257.11 c #Conflicts: 991000 | #Constraints: 92777
2249.68/2257.11 c #Conflicts: 992000 | #Constraints: 93777
2249.68/2257.11 c #Conflicts: 993000 | #Constraints: 94777
2249.68/2257.11 c #Conflicts: 994000 | #Constraints: 95777
2249.68/2257.11 c #Conflicts: 995000 | #Constraints: 96777
2249.68/2257.11 c #Conflicts: 996000 | #Constraints: 97777
2249.68/2257.11 c #Conflicts: 997000 | #Constraints: 98777
2249.68/2257.11 c #Conflicts: 998000 | #Constraints: 99777
2249.68/2257.11 c #Conflicts: 999000 | #Constraints: 100777
2249.68/2257.11 c #Conflicts: 1000000 | #Constraints: 101777
2249.68/2257.11 c #Conflicts: 1001000 | #Constraints: 102777
2249.68/2257.11 c INPROCESSING
2249.68/2257.11 c GARBAGE COLLECT
2249.68/2257.11 c rational objective 41
2285.44/2292.95 c #Conflicts: 1002000 | #Constraints: 83993
2285.44/2292.95 c #Conflicts: 1003000 | #Constraints: 84993
2285.44/2292.95 c #Conflicts: 1004000 | #Constraints: 85993
2285.44/2292.95 c #Conflicts: 1005000 | #Constraints: 86993
2285.44/2292.95 c #Conflicts: 1006000 | #Constraints: 87993
2285.44/2292.95 c #Conflicts: 1007000 | #Constraints: 88993
2285.44/2292.95 c #Conflicts: 1008000 | #Constraints: 89993
2285.44/2292.95 c #Conflicts: 1009000 | #Constraints: 90993
2285.44/2292.95 c #Conflicts: 1010000 | #Constraints: 91993
2285.44/2292.95 c #Conflicts: 1011000 | #Constraints: 92993
2285.44/2292.95 c #Conflicts: 1012000 | #Constraints: 93993
2285.44/2292.95 c #Conflicts: 1013000 | #Constraints: 94993
2285.44/2292.95 c #Conflicts: 1014000 | #Constraints: 95993
2285.44/2292.95 c #Conflicts: 1015000 | #Constraints: 96993
2285.44/2292.95 c #Conflicts: 1016000 | #Constraints: 97993
2285.44/2292.95 c #Conflicts: 1017000 | #Constraints: 98993
2285.44/2292.95 c #Conflicts: 1018000 | #Constraints: 99993
2285.44/2292.95 c #Conflicts: 1019000 | #Constraints: 100993
2285.44/2292.95 c #Conflicts: 1020000 | #Constraints: 101993
2285.44/2292.95 c #Conflicts: 1021000 | #Constraints: 102993
2285.44/2292.95 c INPROCESSING
2285.44/2292.95 c GARBAGE COLLECT
2285.44/2292.95 c rational objective 41
2311.85/2319.50 c #Conflicts: 1022000 | #Constraints: 83933
2311.85/2319.50 c #Conflicts: 1023000 | #Constraints: 84933
2311.85/2319.50 c #Conflicts: 1024000 | #Constraints: 85933
2311.85/2319.50 c #Conflicts: 1025000 | #Constraints: 86933
2311.85/2319.50 c #Conflicts: 1026000 | #Constraints: 87933
2311.85/2319.50 c #Conflicts: 1027000 | #Constraints: 88933
2311.85/2319.50 c #Conflicts: 1028000 | #Constraints: 89933
2311.85/2319.50 c #Conflicts: 1029000 | #Constraints: 90933
2311.85/2319.50 c #Conflicts: 1030000 | #Constraints: 91933
2311.85/2319.50 c #Conflicts: 1031000 | #Constraints: 92933
2311.85/2319.50 c #Conflicts: 1032000 | #Constraints: 93933
2311.85/2319.50 c #Conflicts: 1033000 | #Constraints: 94933
2311.85/2319.50 c #Conflicts: 1034000 | #Constraints: 95933
2311.85/2319.50 c #Conflicts: 1035000 | #Constraints: 96933
2311.85/2319.50 c #Conflicts: 1036000 | #Constraints: 97933
2311.85/2319.50 c #Conflicts: 1037000 | #Constraints: 98933
2311.85/2319.50 c #Conflicts: 1038000 | #Constraints: 99933
2311.85/2319.50 c #Conflicts: 1039000 | #Constraints: 100933
2311.85/2319.50 c #Conflicts: 1040000 | #Constraints: 101933
2311.85/2319.50 c #Conflicts: 1041000 | #Constraints: 102933
2311.85/2319.50 c INPROCESSING
2311.85/2319.50 c GARBAGE COLLECT
2311.85/2319.50 c rational objective 41
2334.09/2341.83 c #Conflicts: 1042000 | #Constraints: 83720
2334.09/2341.83 c #Conflicts: 1043000 | #Constraints: 84720
2334.09/2341.83 c #Conflicts: 1044000 | #Constraints: 85721
2334.09/2341.83 c #Conflicts: 1045000 | #Constraints: 86721
2334.09/2341.83 c #Conflicts: 1046000 | #Constraints: 87721
2334.09/2341.83 c #Conflicts: 1047000 | #Constraints: 88721
2334.09/2341.83 c #Conflicts: 1048000 | #Constraints: 89721
2334.09/2341.83 c #Conflicts: 1049000 | #Constraints: 90721
2334.09/2341.83 c #Conflicts: 1050000 | #Constraints: 91721
2334.09/2341.83 c #Conflicts: 1051000 | #Constraints: 92721
2334.09/2341.83 c #Conflicts: 1052000 | #Constraints: 93721
2334.09/2341.83 c #Conflicts: 1053000 | #Constraints: 94721
2334.09/2341.83 c #Conflicts: 1054000 | #Constraints: 95721
2334.09/2341.83 c #Conflicts: 1055000 | #Constraints: 96721
2334.09/2341.83 c #Conflicts: 1056000 | #Constraints: 97721
2334.09/2341.83 c #Conflicts: 1057000 | #Constraints: 98721
2334.09/2341.83 c #Conflicts: 1058000 | #Constraints: 99721
2334.09/2341.83 c #Conflicts: 1059000 | #Constraints: 100721
2334.09/2341.83 c #Conflicts: 1060000 | #Constraints: 101721
2334.09/2341.83 c #Conflicts: 1061000 | #Constraints: 102721
2334.09/2341.83 c #Conflicts: 1062000 | #Constraints: 103721
2334.09/2341.83 c INPROCESSING
2334.09/2341.83 c GARBAGE COLLECT
2334.09/2341.83 c rational objective 41
2392.04/2399.95 c #Conflicts: 1063000 | #Constraints: 84339
2392.04/2399.95 c #Conflicts: 1064000 | #Constraints: 85339
2392.04/2399.95 c #Conflicts: 1065000 | #Constraints: 86339
2392.04/2399.95 c #Conflicts: 1066000 | #Constraints: 87339
2392.04/2399.95 c #Conflicts: 1067000 | #Constraints: 88339
2392.04/2399.95 c #Conflicts: 1068000 | #Constraints: 89339
2392.04/2399.95 c #Conflicts: 1069000 | #Constraints: 90339
2392.04/2399.95 c #Conflicts: 1070000 | #Constraints: 91339
2392.04/2399.95 c #Conflicts: 1071000 | #Constraints: 92339
2392.04/2399.95 c #Conflicts: 1072000 | #Constraints: 93339
2392.04/2399.95 c #Conflicts: 1073000 | #Constraints: 94339
2392.04/2399.95 c #Conflicts: 1074000 | #Constraints: 95339
2392.04/2399.95 c #Conflicts: 1075000 | #Constraints: 96339
2392.04/2399.95 c #Conflicts: 1076000 | #Constraints: 97339
2392.04/2399.95 c #Conflicts: 1077000 | #Constraints: 98339
2392.04/2399.95 c #Conflicts: 1078000 | #Constraints: 99339
2392.04/2399.95 c #Conflicts: 1079000 | #Constraints: 100339
2392.04/2399.95 c #Conflicts: 1080000 | #Constraints: 101339
2392.04/2399.95 c #Conflicts: 1081000 | #Constraints: 102339
2392.04/2399.95 c #Conflicts: 1082000 | #Constraints: 103339
2392.04/2399.95 c #Conflicts: 1083000 | #Constraints: 104339
2392.04/2399.95 c INPROCESSING
2392.04/2399.95 c GARBAGE COLLECT
2392.04/2399.95 c rational objective 41
2411.89/2419.84 c #Conflicts: 1084000 | #Constraints: 84733
2411.89/2419.84 c #Conflicts: 1085000 | #Constraints: 85733
2411.89/2419.84 c #Conflicts: 1086000 | #Constraints: 86733
2411.89/2419.84 c #Conflicts: 1087000 | #Constraints: 87733
2411.89/2419.84 c #Conflicts: 1088000 | #Constraints: 88733
2411.89/2419.84 c #Conflicts: 1089000 | #Constraints: 89733
2411.89/2419.84 c #Conflicts: 1090000 | #Constraints: 90733
2411.89/2419.84 c #Conflicts: 1091000 | #Constraints: 91733
2411.89/2419.84 c #Conflicts: 1092000 | #Constraints: 92733
2411.89/2419.84 c #Conflicts: 1093000 | #Constraints: 93733
2411.89/2419.84 c #Conflicts: 1094000 | #Constraints: 94733
2411.89/2419.84 c #Conflicts: 1095000 | #Constraints: 95733
2411.89/2419.84 c #Conflicts: 1096000 | #Constraints: 96733
2411.89/2419.84 c #Conflicts: 1097000 | #Constraints: 97733
2411.89/2419.84 c #Conflicts: 1098000 | #Constraints: 98733
2411.89/2419.84 c #Conflicts: 1099000 | #Constraints: 99733
2411.89/2419.84 c #Conflicts: 1100000 | #Constraints: 100733
2411.89/2419.84 c #Conflicts: 1101000 | #Constraints: 101733
2411.89/2419.84 c #Conflicts: 1102000 | #Constraints: 102733
2411.89/2419.84 c #Conflicts: 1103000 | #Constraints: 103733
2411.89/2419.84 c #Conflicts: 1104000 | #Constraints: 104733
2411.89/2419.84 c INPROCESSING
2411.89/2419.84 c GARBAGE COLLECT
2411.89/2419.84 c rational objective 41
2462.06/2470.19 c #Conflicts: 1105000 | #Constraints: 84950
2462.06/2470.19 c #Conflicts: 1106000 | #Constraints: 85950
2462.06/2470.19 c #Conflicts: 1107000 | #Constraints: 86950
2462.06/2470.19 c #Conflicts: 1108000 | #Constraints: 87950
2462.06/2470.19 c #Conflicts: 1109000 | #Constraints: 88950
2462.06/2470.19 c #Conflicts: 1110000 | #Constraints: 89950
2462.06/2470.19 c #Conflicts: 1111000 | #Constraints: 90950
2462.06/2470.19 c #Conflicts: 1112000 | #Constraints: 91950
2462.06/2470.19 c #Conflicts: 1113000 | #Constraints: 92950
2462.06/2470.19 c #Conflicts: 1114000 | #Constraints: 93950
2462.06/2470.19 c #Conflicts: 1115000 | #Constraints: 94950
2462.06/2470.19 c #Conflicts: 1116000 | #Constraints: 95950
2462.06/2470.19 c #Conflicts: 1117000 | #Constraints: 96950
2462.06/2470.19 c #Conflicts: 1118000 | #Constraints: 97950
2462.06/2470.19 c #Conflicts: 1119000 | #Constraints: 98950
2462.06/2470.19 c #Conflicts: 1120000 | #Constraints: 99950
2462.06/2470.19 c #Conflicts: 1121000 | #Constraints: 100950
2462.06/2470.19 c #Conflicts: 1122000 | #Constraints: 101950
2462.06/2470.19 c #Conflicts: 1123000 | #Constraints: 102950
2462.06/2470.19 c #Conflicts: 1124000 | #Constraints: 103950
2462.06/2470.19 c #Conflicts: 1125000 | #Constraints: 104950
2462.06/2470.19 c INPROCESSING
2462.06/2470.19 c GARBAGE COLLECT
2462.06/2470.19 c rational objective 41
2612.72/2621.26 c #Conflicts: 1126000 | #Constraints: 84913
2612.72/2621.26 c #Conflicts: 1127000 | #Constraints: 85913
2612.72/2621.26 c #Conflicts: 1128000 | #Constraints: 86913
2612.72/2621.26 c #Conflicts: 1129000 | #Constraints: 87913
2612.72/2621.26 c #Conflicts: 1130000 | #Constraints: 88913
2612.72/2621.26 c #Conflicts: 1131000 | #Constraints: 89913
2612.72/2621.26 c #Conflicts: 1132000 | #Constraints: 90913
2612.72/2621.26 c #Conflicts: 1133000 | #Constraints: 91913
2612.72/2621.26 c #Conflicts: 1134000 | #Constraints: 92913
2612.72/2621.26 c #Conflicts: 1135000 | #Constraints: 93913
2612.72/2621.26 c #Conflicts: 1136000 | #Constraints: 94913
2612.72/2621.26 c #Conflicts: 1137000 | #Constraints: 95913
2612.72/2621.26 c #Conflicts: 1138000 | #Constraints: 96913
2612.72/2621.26 c #Conflicts: 1139000 | #Constraints: 97913
2612.72/2621.26 c #Conflicts: 1140000 | #Constraints: 98913
2612.72/2621.26 c #Conflicts: 1141000 | #Constraints: 99913
2612.72/2621.26 c #Conflicts: 1142000 | #Constraints: 100913
2612.72/2621.26 c #Conflicts: 1143000 | #Constraints: 101913
2612.72/2621.26 c #Conflicts: 1144000 | #Constraints: 102913
2612.72/2621.26 c #Conflicts: 1145000 | #Constraints: 103913
2612.72/2621.26 c #Conflicts: 1146000 | #Constraints: 104913
2612.72/2621.26 c INPROCESSING
2612.72/2621.26 c GARBAGE COLLECT
2612.72/2621.26 c rational objective 41
2719.42/2728.27 c #Conflicts: 1147000 | #Constraints: 84744
2719.42/2728.27 c #Conflicts: 1148000 | #Constraints: 85744
2719.42/2728.27 c #Conflicts: 1149000 | #Constraints: 86744
2719.42/2728.27 c #Conflicts: 1150000 | #Constraints: 87744
2719.42/2728.27 c #Conflicts: 1151000 | #Constraints: 88744
2719.42/2728.27 c #Conflicts: 1152000 | #Constraints: 89744
2719.42/2728.27 c #Conflicts: 1153000 | #Constraints: 90744
2719.42/2728.27 c #Conflicts: 1154000 | #Constraints: 91744
2719.42/2728.27 c #Conflicts: 1155000 | #Constraints: 92744
2719.42/2728.27 c #Conflicts: 1156000 | #Constraints: 93744
2719.42/2728.27 c #Conflicts: 1157000 | #Constraints: 94744
2719.42/2728.27 c #Conflicts: 1158000 | #Constraints: 95744
2719.42/2728.27 c #Conflicts: 1159000 | #Constraints: 96744
2719.42/2728.27 c #Conflicts: 1160000 | #Constraints: 97744
2719.42/2728.27 c #Conflicts: 1161000 | #Constraints: 98744
2719.42/2728.27 c #Conflicts: 1162000 | #Constraints: 99744
2719.42/2728.27 c #Conflicts: 1163000 | #Constraints: 100744
2719.42/2728.27 c #Conflicts: 1164000 | #Constraints: 101744
2719.42/2728.27 c #Conflicts: 1165000 | #Constraints: 102744
2719.42/2728.27 c #Conflicts: 1166000 | #Constraints: 103744
2719.42/2728.27 c #Conflicts: 1167000 | #Constraints: 104744
2719.42/2728.27 c #Conflicts: 1168000 | #Constraints: 105744
2719.42/2728.27 c INPROCESSING
2719.42/2728.27 c GARBAGE COLLECT
2719.42/2728.27 c rational objective 41
2877.91/2887.11 c #Conflicts: 1169000 | #Constraints: 85390
2877.91/2887.11 c #Conflicts: 1170000 | #Constraints: 86390
2877.91/2887.11 c #Conflicts: 1171000 | #Constraints: 87390
2877.91/2887.11 c #Conflicts: 1172000 | #Constraints: 88390
2877.91/2887.11 c #Conflicts: 1173000 | #Constraints: 89390
2877.91/2887.11 c #Conflicts: 1174000 | #Constraints: 90390
2877.91/2887.11 c #Conflicts: 1175000 | #Constraints: 91390
2877.91/2887.11 c #Conflicts: 1176000 | #Constraints: 92390
2877.91/2887.11 c #Conflicts: 1177000 | #Constraints: 93390
2877.91/2887.11 c #Conflicts: 1178000 | #Constraints: 94390
2877.91/2887.11 c #Conflicts: 1179000 | #Constraints: 95390
2877.91/2887.11 c #Conflicts: 1180000 | #Constraints: 96390
2877.91/2887.11 c #Conflicts: 1181000 | #Constraints: 97390
2877.91/2887.11 c #Conflicts: 1182000 | #Constraints: 98390
2877.91/2887.11 c #Conflicts: 1183000 | #Constraints: 99390
2877.91/2887.11 c #Conflicts: 1184000 | #Constraints: 100390
2877.91/2887.11 c #Conflicts: 1185000 | #Constraints: 101390
2877.91/2887.11 c #Conflicts: 1186000 | #Constraints: 102390
2877.91/2887.11 c #Conflicts: 1187000 | #Constraints: 103390
2877.91/2887.11 c #Conflicts: 1188000 | #Constraints: 104390
2877.91/2887.11 c #Conflicts: 1189000 | #Constraints: 105390
2877.91/2887.11 c #Conflicts: 1190000 | #Constraints: 106390
2877.91/2887.11 c INPROCESSING
2877.91/2887.11 c GARBAGE COLLECT
2877.91/2887.11 c rational objective 41
2879.39/2888.68 c #Conflicts: 1191000 | #Constraints: 85865
2879.39/2888.68 c #Conflicts: 1192000 | #Constraints: 86865
2879.39/2888.68 c #Conflicts: 1193000 | #Constraints: 87865
2879.39/2888.68 c #Conflicts: 1194000 | #Constraints: 88865
2879.39/2888.68 c bounds 121 >= 42 @ 2861.32
2885.03/2894.39 c #Conflicts: 1195000 | #Constraints: 89883
2885.03/2894.39 c #Conflicts: 1196000 | #Constraints: 90883
2885.03/2894.39 c #Conflicts: 1197000 | #Constraints: 91883
2885.03/2894.39 c #Conflicts: 1198000 | #Constraints: 92883
2885.03/2894.39 c #Conflicts: 1199000 | #Constraints: 93883
2885.03/2894.39 c #Conflicts: 1200000 | #Constraints: 94883
2885.03/2894.39 c #Conflicts: 1201000 | #Constraints: 95883
2885.03/2894.39 c #Conflicts: 1202000 | #Constraints: 96883
2885.03/2894.39 c bounds 121 >= 43 @ 2866.93
3042.15/3052.06 c #Conflicts: 1203000 | #Constraints: 97913
3042.15/3052.06 c #Conflicts: 1204000 | #Constraints: 98913
3042.15/3052.06 c #Conflicts: 1205000 | #Constraints: 99913
3042.15/3052.06 c #Conflicts: 1206000 | #Constraints: 100913
3042.15/3052.06 c #Conflicts: 1207000 | #Constraints: 101913
3042.15/3052.06 c #Conflicts: 1208000 | #Constraints: 102913
3042.15/3052.06 c #Conflicts: 1209000 | #Constraints: 103913
3042.15/3052.06 c #Conflicts: 1210000 | #Constraints: 104913
3042.15/3052.06 c #Conflicts: 1211000 | #Constraints: 105913
3042.15/3052.06 c #Conflicts: 1212000 | #Constraints: 106913
3042.15/3052.06 c INPROCESSING
3042.15/3052.06 c GARBAGE COLLECT
3042.15/3052.06 c rational objective 43
3128.70/3138.86 c #Conflicts: 1213000 | #Constraints: 86070
3128.70/3138.86 c #Conflicts: 1214000 | #Constraints: 87070
3128.70/3138.86 c #Conflicts: 1215000 | #Constraints: 88070
3128.70/3138.86 c #Conflicts: 1216000 | #Constraints: 89070
3128.70/3138.86 c #Conflicts: 1217000 | #Constraints: 90070
3128.70/3138.86 c #Conflicts: 1218000 | #Constraints: 91070
3128.70/3138.86 c #Conflicts: 1219000 | #Constraints: 92070
3128.70/3138.86 c #Conflicts: 1220000 | #Constraints: 93070
3128.70/3138.86 c #Conflicts: 1221000 | #Constraints: 94070
3128.70/3138.86 c #Conflicts: 1222000 | #Constraints: 95070
3128.70/3138.86 c #Conflicts: 1223000 | #Constraints: 96070
3128.70/3138.86 c #Conflicts: 1224000 | #Constraints: 97070
3128.70/3138.86 c #Conflicts: 1225000 | #Constraints: 98070
3128.70/3138.86 c #Conflicts: 1226000 | #Constraints: 99070
3128.70/3138.86 c #Conflicts: 1227000 | #Constraints: 100070
3128.70/3138.86 c #Conflicts: 1228000 | #Constraints: 101070
3128.70/3138.86 c #Conflicts: 1229000 | #Constraints: 102070
3128.70/3138.86 c #Conflicts: 1230000 | #Constraints: 103070
3128.70/3138.86 c #Conflicts: 1231000 | #Constraints: 104070
3128.70/3138.86 c #Conflicts: 1232000 | #Constraints: 105070
3128.70/3138.86 c #Conflicts: 1233000 | #Constraints: 106070
3128.70/3138.86 c #Conflicts: 1234000 | #Constraints: 107070
3128.70/3138.86 c INPROCESSING
3128.70/3138.86 c GARBAGE COLLECT
3128.70/3138.86 c rational objective 43
3255.34/3265.85 c #Conflicts: 1235000 | #Constraints: 86001
3255.34/3265.85 c #Conflicts: 1236000 | #Constraints: 87001
3255.34/3265.85 c #Conflicts: 1237000 | #Constraints: 88001
3255.34/3265.85 c #Conflicts: 1238000 | #Constraints: 89001
3255.34/3265.85 c #Conflicts: 1239000 | #Constraints: 90001
3255.34/3265.85 c #Conflicts: 1240000 | #Constraints: 91001
3255.34/3265.85 c #Conflicts: 1241000 | #Constraints: 92001
3255.34/3265.85 c #Conflicts: 1242000 | #Constraints: 93001
3255.34/3265.85 c #Conflicts: 1243000 | #Constraints: 94001
3255.34/3265.85 c #Conflicts: 1244000 | #Constraints: 95001
3255.34/3265.85 c #Conflicts: 1245000 | #Constraints: 96001
3255.34/3265.85 c #Conflicts: 1246000 | #Constraints: 97001
3255.34/3265.85 c #Conflicts: 1247000 | #Constraints: 98001
3255.34/3265.85 c #Conflicts: 1248000 | #Constraints: 99001
3255.34/3265.85 c #Conflicts: 1249000 | #Constraints: 100001
3255.34/3265.85 c #Conflicts: 1250000 | #Constraints: 101001
3255.34/3265.85 c #Conflicts: 1251000 | #Constraints: 102001
3255.34/3265.85 c #Conflicts: 1252000 | #Constraints: 103001
3255.34/3265.85 c #Conflicts: 1253000 | #Constraints: 104001
3255.34/3265.85 c #Conflicts: 1254000 | #Constraints: 105001
3255.34/3265.85 c #Conflicts: 1255000 | #Constraints: 106001
3255.34/3265.85 c #Conflicts: 1256000 | #Constraints: 107001
3255.34/3265.85 c INPROCESSING
3255.34/3265.85 c GARBAGE COLLECT
3255.34/3265.85 c rational objective 43
3302.80/3313.42 c #Conflicts: 1257000 | #Constraints: 85796
3302.80/3313.42 c #Conflicts: 1258000 | #Constraints: 86796
3302.80/3313.42 c #Conflicts: 1259000 | #Constraints: 87796
3302.80/3313.42 c #Conflicts: 1260000 | #Constraints: 88796
3302.80/3313.42 c #Conflicts: 1261000 | #Constraints: 89796
3302.80/3313.42 c #Conflicts: 1262000 | #Constraints: 90796
3302.80/3313.42 c #Conflicts: 1263000 | #Constraints: 91796
3302.80/3313.42 c #Conflicts: 1264000 | #Constraints: 92796
3302.80/3313.42 c #Conflicts: 1265000 | #Constraints: 93796
3302.80/3313.42 c #Conflicts: 1266000 | #Constraints: 94796
3302.80/3313.42 c #Conflicts: 1267000 | #Constraints: 95796
3302.80/3313.42 c #Conflicts: 1268000 | #Constraints: 96796
3302.80/3313.42 c #Conflicts: 1269000 | #Constraints: 97796
3302.80/3313.42 c #Conflicts: 1270000 | #Constraints: 98796
3302.80/3313.42 c #Conflicts: 1271000 | #Constraints: 99796
3302.80/3313.42 c #Conflicts: 1272000 | #Constraints: 100796
3302.80/3313.42 c #Conflicts: 1273000 | #Constraints: 101796
3302.80/3313.42 c #Conflicts: 1274000 | #Constraints: 102796
3302.80/3313.42 c #Conflicts: 1275000 | #Constraints: 103796
3302.80/3313.42 c #Conflicts: 1276000 | #Constraints: 104796
3302.80/3313.42 c #Conflicts: 1277000 | #Constraints: 105796
3302.80/3313.42 c #Conflicts: 1278000 | #Constraints: 106796
3302.80/3313.42 c #Conflicts: 1279000 | #Constraints: 107796
3302.80/3313.42 c INPROCESSING
3302.80/3313.42 c GARBAGE COLLECT
3302.80/3313.42 c rational objective 43
3445.13/3456.22 c #Conflicts: 1280000 | #Constraints: 86362
3445.13/3456.22 c #Conflicts: 1281000 | #Constraints: 87362
3445.13/3456.22 c #Conflicts: 1282000 | #Constraints: 88362
3445.13/3456.22 c #Conflicts: 1283000 | #Constraints: 89362
3445.13/3456.22 c #Conflicts: 1284000 | #Constraints: 90362
3445.13/3456.22 c #Conflicts: 1285000 | #Constraints: 91362
3445.13/3456.22 c #Conflicts: 1286000 | #Constraints: 92362
3445.13/3456.22 c #Conflicts: 1287000 | #Constraints: 93362
3445.13/3456.22 c #Conflicts: 1288000 | #Constraints: 94362
3445.13/3456.22 c #Conflicts: 1289000 | #Constraints: 95362
3445.13/3456.22 c #Conflicts: 1290000 | #Constraints: 96362
3445.13/3456.22 c #Conflicts: 1291000 | #Constraints: 97362
3445.13/3456.22 c #Conflicts: 1292000 | #Constraints: 98362
3445.13/3456.22 c #Conflicts: 1293000 | #Constraints: 99362
3445.13/3456.22 c #Conflicts: 1294000 | #Constraints: 100362
3445.13/3456.22 c #Conflicts: 1295000 | #Constraints: 101362
3445.13/3456.22 c #Conflicts: 1296000 | #Constraints: 102362
3445.13/3456.22 c #Conflicts: 1297000 | #Constraints: 103362
3445.13/3456.22 c #Conflicts: 1298000 | #Constraints: 104362
3445.13/3456.22 c #Conflicts: 1299000 | #Constraints: 105362
3445.13/3456.22 c #Conflicts: 1300000 | #Constraints: 106362
3445.13/3456.22 c #Conflicts: 1301000 | #Constraints: 107362
3445.13/3456.22 c #Conflicts: 1302000 | #Constraints: 108362
3445.13/3456.22 c INPROCESSING
3445.13/3456.22 c GARBAGE COLLECT
3445.13/3456.22 c rational objective 43
3549.79/3561.27 c #Conflicts: 1303000 | #Constraints: 86806
3549.79/3561.27 c #Conflicts: 1304000 | #Constraints: 87806
3549.79/3561.27 c #Conflicts: 1305000 | #Constraints: 88806
3549.79/3561.27 c #Conflicts: 1306000 | #Constraints: 89806
3549.79/3561.27 c #Conflicts: 1307000 | #Constraints: 90806
3549.79/3561.27 c #Conflicts: 1308000 | #Constraints: 91806
3549.79/3561.27 c #Conflicts: 1309000 | #Constraints: 92806
3549.79/3561.27 c #Conflicts: 1310000 | #Constraints: 93806
3549.79/3561.27 c #Conflicts: 1311000 | #Constraints: 94806
3549.79/3561.27 c #Conflicts: 1312000 | #Constraints: 95806
3549.79/3561.27 c #Conflicts: 1313000 | #Constraints: 96806
3549.79/3561.27 c #Conflicts: 1314000 | #Constraints: 97806
3549.79/3561.27 c #Conflicts: 1315000 | #Constraints: 98806
3549.79/3561.27 c #Conflicts: 1316000 | #Constraints: 99806
3549.79/3561.27 c #Conflicts: 1317000 | #Constraints: 100806
3549.79/3561.27 c #Conflicts: 1318000 | #Constraints: 101806
3549.79/3561.27 c #Conflicts: 1319000 | #Constraints: 102806
3549.79/3561.27 c #Conflicts: 1320000 | #Constraints: 103806
3549.79/3561.27 c #Conflicts: 1321000 | #Constraints: 104806
3549.79/3561.27 c #Conflicts: 1322000 | #Constraints: 105806
3549.79/3561.27 c #Conflicts: 1323000 | #Constraints: 106806
3549.79/3561.27 c #Conflicts: 1324000 | #Constraints: 107806
3549.79/3561.27 c #Conflicts: 1325000 | #Constraints: 108806
3549.79/3561.27 c INPROCESSING
3549.79/3561.27 c GARBAGE COLLECT
3549.79/3561.27 c #Conflicts: 1326000 | #Constraints: 87016
3549.79/3561.27 c #Conflicts: 1327000 | #Constraints: 88016
3549.79/3561.27 c #Conflicts: 1328000 | #Constraints: 89016
3549.79/3561.27 c #Conflicts: 1329000 | #Constraints: 90016
3549.79/3561.27 c #Conflicts: 1330000 | #Constraints: 91016
3549.79/3561.27 c #Conflicts: 1331000 | #Constraints: 92016
3549.79/3561.27 c #Conflicts: 1332000 | #Constraints: 93016
3549.79/3561.27 c #Conflicts: 1333000 | #Constraints: 94016
3549.79/3561.27 c #Conflicts: 1334000 | #Constraints: 95016
3549.79/3561.27 c #Conflicts: 1335000 | #Constraints: 96016
3549.79/3561.27 c #Conflicts: 1336000 | #Constraints: 97016
3549.79/3561.27 c #Conflicts: 1337000 | #Constraints: 98016
3549.79/3561.27 c #Conflicts: 1338000 | #Constraints: 99016
3549.79/3561.27 c #Conflicts: 1339000 | #Constraints: 100016
3549.79/3561.27 c #Conflicts: 1340000 | #Constraints: 101016
3549.79/3561.27 c #Conflicts: 1341000 | #Constraints: 102016
3549.79/3561.27 c #Conflicts: 1342000 | #Constraints: 103016
3549.79/3561.27 c #Conflicts: 1343000 | #Constraints: 104016
3549.79/3561.27 c #Conflicts: 1344000 | #Constraints: 105016
3549.79/3561.27 c #Conflicts: 1345000 | #Constraints: 106016
3549.79/3561.27 c #Conflicts: 1346000 | #Constraints: 107016
3549.79/3561.27 c #Conflicts: 1347000 | #Constraints: 108016
3549.79/3561.27 c #Conflicts: 1348000 | #Constraints: 109016
3549.79/3561.27 c INPROCESSING
3549.79/3561.27 c GARBAGE COLLECT
3549.79/3561.27 c #Conflicts: 1349000 | #Constraints: 86987
3549.79/3561.27 c #Conflicts: 1350000 | #Constraints: 87987
3549.79/3561.27 c #Conflicts: 1351000 | #Constraints: 88987
3549.79/3561.27 c #Conflicts: 1352000 | #Constraints: 89987
3549.79/3561.27 c #Conflicts: 1353000 | #Constraints: 90987
3549.79/3561.27 c #Conflicts: 1354000 | #Constraints: 91987
3549.79/3561.27 c #Conflicts: 1355000 | #Constraints: 92987
3549.79/3561.27 c #Conflicts: 1356000 | #Constraints: 93987
3549.79/3561.27 c #Conflicts: 1357000 | #Constraints: 94987
3549.79/3561.27 c #Conflicts: 1358000 | #Constraints: 95987
3549.79/3561.27 c #Conflicts: 1359000 | #Constraints: 96987
3549.79/3561.27 c #Conflicts: 1360000 | #Constraints: 97987
3549.79/3561.27 c #Conflicts: 1361000 | #Constraints: 98987
3549.79/3561.27 c #Conflicts: 1362000 | #Constraints: 99987
3549.79/3561.27 c #Conflicts: 1363000 | #Constraints: 100987
3549.79/3561.27 c #Conflicts: 1364000 | #Constraints: 101987
3549.79/3561.27 c #Conflicts: 1365000 | #Constraints: 102987
3549.79/3561.27 c #Conflicts: 1366000 | #Constraints: 103987
3549.79/3561.27 c #Conflicts: 1367000 | #Constraints: 104987
3549.79/3561.27 c #Conflicts: 1368000 | #Constraints: 105987
3549.79/3561.27 c #Conflicts: 1369000 | #Constraints: 106987
3549.79/3561.27 c #Conflicts: 1370000 | #Constraints: 107987
3549.79/3561.27 c #Conflicts: 1371000 | #Constraints: 108987
3549.79/3561.27 c INPROCESSING
3549.79/3561.27 c GARBAGE COLLECT
3549.79/3561.27 c rational objective 43
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (61423 MiB free)
memory of node 1: 64507 MiB (62968 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507863-1751495777/watcher-4507863-1751495777 -o /tmp/evaluation-result-4507863-1751495777/solver-4507863-1751495777 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751492040-70862 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4507863-1751495777.opb PROOFDIR/proof-4507863-1751495777
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=71558, runsolver pid=71555
[startup+0.10007 s]*
/proc/loadavg: 4.16 4.18 4.12 5/258 71560
/proc/meminfo: memFree=127372792/131382112 swapFree=33009904/33010684
[pid=71558] ppid=71555 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71558/stat : 71558 (run-opt-ls-log.) S 71555 71558 70849 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65256633 4292608 768 18446744073709551615 93826199445504 93826200340037 140722643749648 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93826200579088 93826200626832 93826221314048 140722643757339 140722643757537 140722643757537 140722643763139 0
/proc/71558/statm: 1048 768 704 219 0 110 0
[pid=71560] ppid=71558 vsize=34652 memory=23256 CPUtime=0.07 cores=5,7
/proc/71560/stat : 71560 (pbsuma) R 71558 71558 70849 0 -1 4194304 5025 0 0 0 6 1 0 0 20 0 1 0 65256634 35483648 5814 18446744073709551615 4210688 4653049 140722787591968 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 36614144 140722787600611 140722787600946 140722787600946 140722787606511 0
/proc/71560/statm: 8663 5814 992 108 0 6071 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 38844 KiB
Current children cumulated memory: 26328 KiB
[startup+0.217302 s]*
/proc/loadavg: 4.16 4.18 4.12 5/258 71560
/proc/meminfo: memFree=127368508/131382112 swapFree=33009904/33010684
[pid=71558] ppid=71555 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71558/stat : 71558 (run-opt-ls-log.) S 71555 71558 70849 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65256633 4292608 768 18446744073709551615 93826199445504 93826200340037 140722643749648 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93826200579088 93826200626832 93826221314048 140722643757339 140722643757537 140722643757537 140722643763139 0
/proc/71558/statm: 1048 768 704 219 0 110 0
[pid=71560] ppid=71558 vsize=41656 memory=28012 CPUtime=0.18 cores=5,7
/proc/71560/stat : 71560 (pbsuma) R 71558 71558 70849 0 -1 4194304 7357 0 0 0 16 2 0 0 20 0 1 0 65256634 42655744 7003 18446744073709551615 4210688 4653049 140722787591968 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 36614144 140722787600611 140722787600946 140722787600946 140722787606511 0
/proc/71560/statm: 10414 7003 992 108 0 7822 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 45848 KiB
Current children cumulated memory: 31084 KiB
[startup+0.317931 s]*
/proc/loadavg: 4.16 4.18 4.12 5/258 71560
/proc/meminfo: memFree=127338268/131382112 swapFree=33009904/33010684
[pid=71558] ppid=71555 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71558/stat : 71558 (run-opt-ls-log.) S 71555 71558 70849 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65256633 4292608 768 18446744073709551615 93826199445504 93826200340037 140722643749648 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93826200579088 93826200626832 93826221314048 140722643757339 140722643757537 140722643757537 140722643763139 0
/proc/71558/statm: 1048 768 704 219 0 110 0
[pid=71560] ppid=71558 vsize=40052 memory=28376 CPUtime=0.27 cores=5,7
/proc/71560/stat : 71560 (pbsuma) R 71558 71558 70849 0 -1 4194304 9933 0 0 0 24 3 0 0 20 0 1 0 65256634 41013248 7094 18446744073709551615 4210688 4653049 140722787591968 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 36614144 140722787600611 140722787600946 140722787600946 140722787606511 0
/proc/71560/statm: 10013 7094 992 108 0 7421 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 44244 KiB
Current children cumulated memory: 31448 KiB
[startup+0.700511 s]
/proc/loadavg: 4.16 4.18 4.12 5/258 71560
/proc/meminfo: memFree=127338268/131382112 swapFree=33009904/33010684
[pid=71558] ppid=71555 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71558/stat : 71558 (run-opt-ls-log.) S 71555 71558 70849 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65256633 4292608 768 18446744073709551615 93826199445504 93826200340037 140722643749648 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93826200579088 93826200626832 93826221314048 140722643757339 140722643757537 140722643757537 140722643763139 0
/proc/71558/statm: 1048 768 704 219 0 110 0
[pid=71560] ppid=71558 vsize=40052 memory=28376 CPUtime=0.62 cores=5,7
/proc/71560/stat : 71560 (pbsuma) R 71558 71558 70849 0 -1 4194304 9933 0 0 0 59 3 0 0 20 0 1 0 65256634 41013248 7094 18446744073709551615 4210688 4653049 140722787591968 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 36614144 140722787600611 140722787600946 140722787600946 140722787606511 0
/proc/71560/statm: 10013 7094 992 108 0 7421 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 44244 KiB
Current children cumulated memory: 31448 KiB
[startup+1.50036 s]
/proc/loadavg: 4.16 4.18 4.12 5/258 71560
/proc/meminfo: memFree=127306264/131382112 swapFree=33009904/33010684
[pid=71558] ppid=71555 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71558/stat : 71558 (run-opt-ls-log.) S 71555 71558 70849 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65256633 4292608 768 18446744073709551615 93826199445504 93826200340037 140722643749648 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93826200579088 93826200626832 93826221314048 140722643757339 140722643757537 140722643757537 140722643763139 0
/proc/71558/statm: 1048 768 704 219 0 110 0
[pid=71560] ppid=71558 vsize=40092 memory=28676 CPUtime=1.35 cores=5,7
/proc/71560/stat : 71560 (pbsuma) R 71558 71558 70849 0 -1 4194304 10622 0 0 0 118 17 0 0 20 0 1 0 65256634 41054208 7169 18446744073709551615 4210688 4653049 140722787591968 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 36614144 140722787600611 140722787600946 140722787600946 140722787606511 0
/proc/71560/statm: 10023 7169 992 108 0 7431 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 44284 KiB
Current children cumulated memory: 31748 KiB
[startup+3.11355 s]
/proc/loadavg: 4.16 4.18 4.12 5/258 71561
/proc/meminfo: memFree=127115816/131382112 swapFree=33009904/33010684
[pid=71558] ppid=71555 vsize=4192 memory=3072 CPUtime=1.36 cores=5,7
/proc/71558/stat : 71558 (run-opt-ls-log.) S 71555 71558 70849 0 -1 4194304 240 10625 0 0 0 0 118 18 20 0 1 0 65256633 4292608 768 18446744073709551615 93826199445504 93826200340037 140722643749648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93826200579088 93826200626832 93826221314048 140722643757339 140722643757537 140722643757537 140722643763139 0
/proc/71558/statm: 1048 768 704 219 0 110 0
[pid=71561] ppid=71558 vsize=127956 memory=84616 CPUtime=1.53 cores=5,7
/proc/71561/stat : 71561 (roundingsat) R 71558 71558 70849 0 -1 4194304 13423 0 0 0 133 20 0 0 20 0 1 0 65256787 131026944 21154 18446744073709551615 4227072 8923433 140721456207648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29995008 140721456216310 140721456216616 140721456216616 140721456222186 0
/proc/71561/statm: 31989 21154 2336 1147 0 19416 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 132148 KiB
Current children cumulated memory: 87688 KiB
[startup+6.3004 s]
/proc/loadavg: 4.15 4.17 4.12 5/263 71582
/proc/meminfo: memFree=127512136/131382112 swapFree=33009904/33010684
[pid=71558] ppid=71555 vsize=4192 memory=3072 CPUtime=1.36 cores=5,7
/proc/71558/stat : 71558 (run-opt-ls-log.) S 71555 71558 70849 0 -1 4194304 240 10625 0 0 0 0 118 18 20 0 1 0 65256633 4292608 768 18446744073709551615 93826199445504 93826200340037 140722643749648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93826200579088 93826200626832 93826221314048 140722643757339 140722643757537 140722643757537 140722643763139 0
/proc/71558/statm: 1048 768 704 219 0 110 0
[pid=71561] ppid=71558 vsize=164024 memory=120540 CPUtime=4.69 cores=5,7
/proc/71561/stat : 71561 (roundingsat) R 71558 71558 70849 0 -1 4194304 19947 0 0 0 423 46 0 0 20 0 1 0 65256787 167960576 30135 18446744073709551615 4227072 8923433 140721456207648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29995008 140721456216310 140721456216616 140721456216616 140721456222186 0
/proc/71561/statm: 41006 30135 2432 1147 0 28433 0
Current children cumulated CPU time: 6.05 s
Current children cumulated vsize: 168216 KiB
Current children cumulated memory: 123612 KiB
[startup+12.7004 s]
/proc/loadavg: 4.13 4.17 4.11 5/263 71582
/proc/meminfo: memFree=127477816/131382112 swapFree=33009904/33010684
[pid=71558] ppid=71555 vsize=4192 memory=3072 CPUtime=1.36 cores=5,7
/proc/71558/stat : 71558 (run-opt-ls-log.) S 71555 71558 70849 0 -1 4194304 240 10625 0 0 0 0 118 18 20 0 1 0 65256633 4292608 768 18446744073709551615 93826199445504 93826200340037 140722643749648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93826200579088 93826200626832 93826221314048 140722643757339 140722643757537 140722643757537 140722643763139 0
/proc/71558/statm: 1048 768 704 219 0 110 0
[pid=71561] ppid=71558 vsize=166488 memory=123836 CPUtime=11.07 cores=5,7
/proc/71561/stat : 71561 (roundingsat) R 71558 71558 70849 0 -1 4194304 20912 0 0 0 1053 54 0 0 20 0 1 0 65256787 170483712 30959 18446744073709551615 4227072 8923433 140721456207648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29995008 140721456216310 140721456216616 140721456216616 140721456222186 0
/proc/71561/statm: 41622 30959 2432 1147 0 29049 0
Current children cumulated CPU time: 12.43 s
Current children cumulated vsize: 170680 KiB
Current children cumulated memory: 126908 KiB
[startup+25.5004 s]
/proc/loadavg: 4.10 4.16 4.11 5/261 71583
/proc/meminfo: memFree=127443500/131382112 swapFree=33009904/33010684
[pid=71558] ppid=71555 vsize=4192 memory=3072 CPUtime=1.36 cores=5,7
/proc/71558/stat : 71558 (run-opt-ls-log.) S 71555 71558 70849 0 -1 4194304 240 10625 0 0 0 0 118 18 20 0 1 0 65256633 4292608 768 18446744073709551615 93826199445504 93826200340037 140722643749648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93826200579088 93826200626832 93826221314048 140722643757339 140722643757537 140722643757537 140722643763139 0
/proc/71558/statm: 1048 768 704 219 0 110 0
[pid=71561] ppid=71558 vsize=173936 memory=129980 CPUtime=23.83 cores=5,7
/proc/71561/stat : 71561 (roundingsat) R 71558 71558 70849 0 -1 4194304 22455 0 0 0 2323 60 0 0 20 0 1 0 65256787 178110464 32495 18446744073709551615 4227072 8923433 140721456207648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29995008 140721456216310 140721456216616 140721456216616 140721456222186 0
/proc/71561/statm: 43484 32495 2432 1147 0 30911 0
Current children cumulated CPU time: 25.19 s
Current children cumulated vsize: 178128 KiB
Current children cumulated memory: 133052 KiB
[startup+51.1138 s]
/proc/loadavg: 4.15 4.16 4.11 5/259 71583
/proc/meminfo: memFree=127410948/131382112 swapFree=33009904/33010684
[pid=71558] ppid=71555 vsize=4192 memory=3072 CPUtime=1.36 cores=5,7
/proc/71558/stat : 71558 (run-opt-ls-log.) S 71555 71558 70849 0 -1 4194304 240 10625 0 0 0 0 118 18 20 0 1 0 65256633 4292608 768 18446744073709551615 93826199445504 93826200340037 140722643749648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93826200579088 93826200626832 93826221314048 140722643757339 140722643757537 140722643757537 140722643763139 0
/proc/71558/statm: 1048 768 704 219 0 110 0
[pid=71561] ppid=71558 vsize=193644 memory=143988 CPUtime=49.37 cores=5,7
/proc/71561/stat : 71561 (roundingsat) R 71558 71558 70849 0 -1 4194304 25316 0 0 0 4845 92 0 0 20 0 1 0 65256787 198291456 35997 18446744073709551615 4227072 8923433 140721456207648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29995008 140721456216310 140721456216616 140721456216616 140721456222186 0
/proc/71561/statm: 48411 35997 2464 1147 0 35838 0
Current children cumulated CPU time: 50.73 s
Current children cumulated vsize: 197836 KiB
Current children cumulated memory: 147060 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/259 71585
/proc/meminfo: memFree=127348300/131382112 swapFree=33009904/33010684
[pid=71558] ppid=71555 vsize=4192 memory=3072 CPUtime=1.36 cores=5,7
/proc/71558/stat : 71558 (run-opt-ls-log.) S 71555 71558 70849 0 -1 4194304 240 10625 0 0 0 0 118 18 20 0 1 0 65256633 4292608 768 18446744073709551615 93826199445504 93826200340037 140722643749648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93826200579088 93826200626832 93826221314048 140722643757339 140722643757537 140722643757537 140722643763139 0
/proc/71558/statm: 1048 768 704 219 0 110 0
[pid=71561] ppid=71558 vsize=198868 memory=150132 CPUtime=100.4 cores=5,7
/proc/71561/stat : 71561 (roundingsat) R 71558 71558 70849 0 -1 4194304 26840 0 0 0 9898 142 0 0 20 0 1 0 65256787 203640832 37533 18446744073709551615 4227072 8923433 140721456207648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29995008 140721456216310 140721456216616 140721456216616 140721456222186 0
/proc/71561/statm: 49717 37533 2464 1147 0 37144 0
Current children cumulated CPU time: 101.76 s
Current children cumulated vsize: 203060 KiB
Current children cumulated memory: 153204 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/259 71635
/proc/meminfo: memFree=127831464/131382112 swapFree=33009904/33010684
[pid=71558] ppid=71555 vsize=4192 memory=3072 CPUtime=1.36 cores=5,7
/proc/71558/stat : 71558 (run-opt-ls-log.) S 71555 71558 70849 0 -1 4194304 240 10625 0 0 0 0 118 18 20 0 1 0 65256633 4292608 768 18446744073709551615 93826199445504 93826200340037 140722643749648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93826200579088 93826200626832 93826221314048 140722643757339 140722643757537 140722643757537 140722643763139 0
/proc/71558/statm: 1048 768 704 219 0 110 0
[pid=71561] ppid=71558 vsize=202812 memory=154612 CPUtime=159.97 cores=5,7
/proc/71561/stat : 71561 (roundingsat) R 71558 71558 70849 0 -1 4194304 27976 0 0 0 15820 177 0 0 20 0 1 0 65256787 207679488 38653 18446744073709551615 4227072 8923433 140721456207648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29995008 140721456216310 140721456216616 140721456216616 140721456222186 0
/proc/71561/statm: 50703 38653 2464 1147 0 38130 0
Current children cumulated CPU time: 161.33 s
Current children cumulated vsize: 207004 KiB
Current children cumulated memory: 157684 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/259 71642
/proc/meminfo: memFree=127777116/131382112 swapFree=33009904/33010684
[pid=71558] ppid=71555 vsize=4192 memory=3072 CPUtime=1.36 cores=5,7
/proc/71558/stat : 71558 (run-opt-ls-log.) S 71555 71558 70849 0 -1 4194304 240 10625 0 0 0 0 118 18 20 0 1 0 65256633 4292608 768 18446744073709551615 93826199445504 93826200340037 140722643749648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93826200579088 93826200626832 93826221314048 140722643757339 140722643757537 140722643757537 140722643763139 0
/proc/71558/statm: 1048 768 704 219 0 110 0
[pid=71561] ppid=71558 vsize=214432 memory=162548 CPUtime=219.8 cores=5,7
/proc/71561/stat : 71561 (roundingsat) R 71558 71558 70849 0 -1 4194304 29970 0 0 0 21739 241 0 0 20 0 1 0 65256787 219578368 40637 18446744073709551615 4227072 8923433 140721456207648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29995008 140721456216310 140721456216616 140721456216616 140721456222186 0
################
# More data... #
################
/proc/71558/stat : 71558 (run-opt-ls-log.) S 71555 71558 70849 0 -1 4194304 240 10625 0 0 0 0 118 18 20 0 1 0 65256633 4292608 768 18446744073709551615 93826199445504 93826200340037 140722643749648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93826200579088 93826200626832 93826221314048 140722643757339 140722643757537 140722643757537 140722643763139 0
/proc/71558/statm: 1048 768 704 219 0 110 0
[pid=71561] ppid=71558 vsize=434156 memory=346768 CPUtime=3210.6 cores=5,7
/proc/71561/stat : 71561 (roundingsat) R 71558 71558 70849 0 -1 4194304 54861 0 0 0 319264 1796 0 0 20 0 1 0 65256787 444575744 86692 18446744073709551615 4227072 8923433 140721456207648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29995008 140721456216310 140721456216616 140721456216616 140721456222186 0
/proc/71561/statm: 108539 86692 2464 1147 0 95966 0
Current children cumulated CPU time: 3211.96 s
Current children cumulated vsize: 438348 KiB
Current children cumulated memory: 349840 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.13 5/257 71863
/proc/meminfo: memFree=125613424/131382112 swapFree=33009904/33010684
[pid=71558] ppid=71555 vsize=4192 memory=3072 CPUtime=1.36 cores=5,7
/proc/71558/stat : 71558 (run-opt-ls-log.) S 71555 71558 70849 0 -1 4194304 240 10625 0 0 0 0 118 18 20 0 1 0 65256633 4292608 768 18446744073709551615 93826199445504 93826200340037 140722643749648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93826200579088 93826200626832 93826221314048 140722643757339 140722643757537 140722643757537 140722643763139 0
/proc/71558/statm: 1048 768 704 219 0 110 0
[pid=71561] ppid=71558 vsize=434156 memory=346768 CPUtime=3270.43 cores=5,7
/proc/71561/stat : 71561 (roundingsat) R 71558 71558 70849 0 -1 4194304 54880 0 0 0 325220 1823 0 0 20 0 1 0 65256787 444575744 86692 18446744073709551615 4227072 8923433 140721456207648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29995008 140721456216310 140721456216616 140721456216616 140721456222186 0
/proc/71561/statm: 108539 86692 2464 1147 0 95966 0
Current children cumulated CPU time: 3271.79 s
Current children cumulated vsize: 438348 KiB
Current children cumulated memory: 349840 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.12 4.13 5/257 71865
/proc/meminfo: memFree=125559340/131382112 swapFree=33009904/33010684
[pid=71558] ppid=71555 vsize=4192 memory=3072 CPUtime=1.36 cores=5,7
/proc/71558/stat : 71558 (run-opt-ls-log.) S 71555 71558 70849 0 -1 4194304 240 10625 0 0 0 0 118 18 20 0 1 0 65256633 4292608 768 18446744073709551615 93826199445504 93826200340037 140722643749648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93826200579088 93826200626832 93826221314048 140722643757339 140722643757537 140722643757537 140722643763139 0
/proc/71558/statm: 1048 768 704 219 0 110 0
[pid=71561] ppid=71558 vsize=436228 memory=348816 CPUtime=3330.25 cores=5,7
/proc/71561/stat : 71561 (roundingsat) R 71558 71558 70849 0 -1 4194304 55399 0 0 0 331165 1860 0 0 20 0 1 0 65256787 446697472 87204 18446744073709551615 4227072 8923433 140721456207648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29995008 140721456216310 140721456216616 140721456216616 140721456222186 0
/proc/71561/statm: 109057 87204 2464 1147 0 96484 0
Current children cumulated CPU time: 3331.61 s
Current children cumulated vsize: 440420 KiB
Current children cumulated memory: 351888 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/256 71867
/proc/meminfo: memFree=125469496/131382112 swapFree=33009904/33010684
[pid=71558] ppid=71555 vsize=4192 memory=3072 CPUtime=1.36 cores=5,7
/proc/71558/stat : 71558 (run-opt-ls-log.) S 71555 71558 70849 0 -1 4194304 240 10625 0 0 0 0 118 18 20 0 1 0 65256633 4292608 768 18446744073709551615 93826199445504 93826200340037 140722643749648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93826200579088 93826200626832 93826221314048 140722643757339 140722643757537 140722643757537 140722643763139 0
/proc/71558/statm: 1048 768 704 219 0 110 0
[pid=71561] ppid=71558 vsize=436228 memory=348816 CPUtime=3390.05 cores=5,7
/proc/71561/stat : 71561 (roundingsat) R 71558 71558 70849 0 -1 4194304 55402 0 0 0 337132 1873 0 0 20 0 1 0 65256787 446697472 87204 18446744073709551615 4227072 8923433 140721456207648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29995008 140721456216310 140721456216616 140721456216616 140721456222186 0
/proc/71561/statm: 109057 87204 2464 1147 0 96484 0
Current children cumulated CPU time: 3391.41 s
Current children cumulated vsize: 440420 KiB
Current children cumulated memory: 351888 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.13 3/256 71869
/proc/meminfo: memFree=125407156/131382112 swapFree=33009904/33010684
[pid=71558] ppid=71555 vsize=4192 memory=3072 CPUtime=1.36 cores=5,7
/proc/71558/stat : 71558 (run-opt-ls-log.) S 71555 71558 70849 0 -1 4194304 240 10625 0 0 0 0 118 18 20 0 1 0 65256633 4292608 768 18446744073709551615 93826199445504 93826200340037 140722643749648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93826200579088 93826200626832 93826221314048 140722643757339 140722643757537 140722643757537 140722643763139 0
/proc/71558/statm: 1048 768 704 219 0 110 0
[pid=71561] ppid=71558 vsize=436228 memory=348816 CPUtime=3449.85 cores=5,7
/proc/71561/stat : 71561 (roundingsat) R 71558 71558 70849 0 -1 4194304 55402 0 0 0 343091 1894 0 0 20 0 1 0 65256787 446697472 87204 18446744073709551615 4227072 8923433 140721456207648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29995008 140721456216310 140721456216616 140721456216616 140721456222186 0
/proc/71561/statm: 109057 87204 2464 1147 0 96484 0
Current children cumulated CPU time: 3451.21 s
Current children cumulated vsize: 440420 KiB
Current children cumulated memory: 351888 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.09 4.12 5/258 71874
/proc/meminfo: memFree=125336200/131382112 swapFree=33009904/33010684
[pid=71558] ppid=71555 vsize=4192 memory=3072 CPUtime=1.36 cores=5,7
/proc/71558/stat : 71558 (run-opt-ls-log.) S 71555 71558 70849 0 -1 4194304 240 10625 0 0 0 0 118 18 20 0 1 0 65256633 4292608 768 18446744073709551615 93826199445504 93826200340037 140722643749648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93826200579088 93826200626832 93826221314048 140722643757339 140722643757537 140722643757537 140722643763139 0
/proc/71558/statm: 1048 768 704 219 0 110 0
[pid=71561] ppid=71558 vsize=436228 memory=348816 CPUtime=3509.64 cores=5,7
/proc/71561/stat : 71561 (roundingsat) R 71558 71558 70849 0 -1 4194304 55405 0 0 0 349032 1932 0 0 20 0 1 0 65256787 446697472 87204 18446744073709551615 4227072 8923433 140721456207648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29995008 140721456216310 140721456216616 140721456216616 140721456222186 0
/proc/71561/statm: 109057 87204 2464 1147 0 96484 0
Current children cumulated CPU time: 3511 s
Current children cumulated vsize: 440420 KiB
Current children cumulated memory: 351888 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.12 5/258 71876
/proc/meminfo: memFree=125256132/131382112 swapFree=33009904/33010684
[pid=71558] ppid=71555 vsize=4192 memory=3072 CPUtime=1.36 cores=5,7
/proc/71558/stat : 71558 (run-opt-ls-log.) S 71555 71558 70849 0 -1 4194304 240 10625 0 0 0 0 118 18 20 0 1 0 65256633 4292608 768 18446744073709551615 93826199445504 93826200340037 140722643749648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93826200579088 93826200626832 93826221314048 140722643757339 140722643757537 140722643757537 140722643763139 0
/proc/71558/statm: 1048 768 704 219 0 110 0
[pid=71561] ppid=71558 vsize=441620 memory=354192 CPUtime=3569.47 cores=5,7
/proc/71561/stat : 71561 (roundingsat) R 71558 71558 70849 0 -1 4194304 56237 0 0 0 354979 1968 0 0 20 0 1 0 65256787 452218880 88548 18446744073709551615 4227072 8923433 140721456207648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29995008 140721456216310 140721456216616 140721456216616 140721456222186 0
/proc/71561/statm: 110405 88548 2464 1147 0 97832 0
Current children cumulated CPU time: 3570.83 s
Current children cumulated vsize: 445812 KiB
Current children cumulated memory: 357264 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 4.08 4.09 4.11 5/258 71876
/proc/meminfo: memFree=125240768/131382112 swapFree=33009904/33010684
[pid=71558] ppid=71555 vsize=4192 memory=3072 CPUtime=1.36 cores=5,7
/proc/71558/stat : 71558 (run-opt-ls-log.) S 71555 71558 70849 0 -1 4194304 240 10625 0 0 0 0 118 18 20 0 1 0 65256633 4292608 768 18446744073709551615 93826199445504 93826200340037 140722643749648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93826200579088 93826200626832 93826221314048 140722643757339 140722643757537 140722643757537 140722643763139 0
/proc/71558/statm: 1048 768 704 219 0 110 0
[pid=71561] ppid=71558 vsize=441620 memory=354192 CPUtime=3598.68 cores=5,7
/proc/71561/stat : 71561 (roundingsat) R 71558 71558 70849 0 -1 4194304 56237 0 0 0 357890 1978 0 0 20 0 1 0 65256787 452218880 88548 18446744073709551615 4227072 8923433 140721456207648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29995008 140721456216310 140721456216616 140721456216616 140721456222186 0
/proc/71561/statm: 110405 88548 2464 1147 0 97832 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 445812 KiB
Current children cumulated memory: 357264 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.61 s]
# the end of solver process 71558 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.18483 s, system=0.190895 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3613.6 s]
# the end of solver process 71561 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3582.09 s, system=19.984 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.08 4.09 4.11 5/255 71884
/proc/meminfo: memFree=125595140/131382112 swapFree=33009904/33010684
[pid=71561] ppid=71555 vsize=441620 memory=354192 CPUtime=3599.88 cores=5,7
/proc/71561/stat : 71561 (roundingsat) R 71555 71558 70849 0 -1 4194304 56237 0 0 0 358010 1978 0 0 20 0 1 0 65256787 452218880 88548 18446744073709551615 4227072 8923433 140721456207648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29995008 140721456216310 140721456216616 140721456216616 140721456222186 0
/proc/71561/statm: 110405 88548 2464 1147 0 97832 0
Current cumulated CPU time of completed processes: 1.37573 s
Current children cumulated CPU time: 3599.88 s
Current children cumulated vsize: 441620 KiB
Current children cumulated memory: 354192 KiB
[startup+3613.2 s]
/proc/loadavg: 4.08 4.09 4.11 4/251 71902
/proc/meminfo: memFree=125595392/131382112 swapFree=33009904/33010684
[pid=71561] ppid=71555 vsize=441620 memory=354192 CPUtime=3600.29 cores=5,7
/proc/71561/stat : 71561 (roundingsat) R 71555 71558 70849 0 -1 4194304 56237 0 0 0 358050 1979 0 0 20 0 1 0 65256787 452218880 88548 18446744073709551615 4227072 8923433 140721456207648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29995008 140721456216310 140721456216616 140721456216616 140721456222186 0
/proc/71561/statm: 110405 88548 2464 1147 0 97832 0
Current cumulated CPU time of completed processes: 1.37573 s
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 441620 KiB
Current children cumulated memory: 354192 KiB
[startup+3613.6 s]
/proc/loadavg: 4.08 4.09 4.11 4/251 71902
/proc/meminfo: memFree=125595392/131382112 swapFree=33009904/33010684
[pid=71561] ppid=71555 vsize=441620 memory=354192 CPUtime=3600.69 cores=5,7
/proc/71561/stat : 71561 (roundingsat) R 71555 71558 70849 0 -1 4194304 56237 0 0 0 358090 1979 0 0 20 0 1 0 65256787 452218880 88548 18446744073709551615 4227072 8923433 140721456207648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29995008 140721456216310 140721456216616 140721456216616 140721456222186 0
/proc/71561/statm: 110405 88548 2464 1147 0 97832 0
Current cumulated CPU time of completed processes: 1.37573 s
Current children cumulated CPU time: 3600.69 s
Current children cumulated vsize: 441620 KiB
Current children cumulated memory: 354192 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3613.6
CPU time (s): 3602.07
CPU user time (s): 3582.09
CPU system time (s): 19.984
CPU usage (%): 99.6808
Max. virtual memory (cumulated for all children) (KiB): 445812
Max. memory (cumulated for all children) (KiB): 357264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.09
system time used= 19.984
maximum resident set size= 354192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67102
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1221984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1661
involuntary context switches= 3992
# summary of solver processes directly reported to runsolver:
# pid: 71558,71561
# total CPU time (s): 3602.07
# total CPU user time (s): 3582.09
# total CPU system time (s): 19.984
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9828 second user time and 38.3082 second system time
The end
Begin job on nodeC001 at 2025-07-03 00:36:17
IDJOB=4507863
IDBENCH=158386
IDSOLVER=3356
FILE ID=nodeC001/4507863-1751495777
RUNJOBID= nodeC001-1751492040-70862
SLURM_JOB_ID= 9598558
Free space on /tmp= 432200 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-sep5.5.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507863-1751495777/watcher-4507863-1751495777 -o /tmp/evaluation-result-4507863-1751495777/solver-4507863-1751495777 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751492040-70862 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4507863-1751495777.opb PROOFDIR/proof-4507863-1751495777
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 57020c0b0c1558ae6f18629e32faebb8
RANDOM SEED=1441715378
nodeC001 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.420
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.751
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.398
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.169
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.446
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.490
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.539
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.135
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 127383100 kB
MemAvailable: 129128424 kB
Buffers: 1668 kB
Cached: 2540604 kB
SwapCached: 32 kB
Active: 1187708 kB
Inactive: 2231212 kB
Active(anon): 872100 kB
Inactive(anon): 22532 kB
Active(file): 315608 kB
Inactive(file): 2208680 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 73048 kB
Writeback: 0 kB
AnonPages: 879772 kB
Mapped: 113524 kB
Shmem: 17900 kB
KReclaimable: 120944 kB
Slab: 207676 kB
SReclaimable: 120944 kB
SUnreclaim: 86732 kB
KernelStack: 4176 kB
PageTables: 4944 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1373924 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149512 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 325632 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432464 MiB
End job on nodeC001 at 2025-07-03 01:36:31