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-4507865-1751494072.opb'
0.00/0.04 c read 1.11MB (18.20ms)
0.00/0.04 c [cnf: #variables 9324 #clauses 28661 #duplicates 0 #arr 100770]
0.01/1.18 c output proof to 'PROOFDIR/proof-4507865-1751494072'
0.01/1.18 c
0.01/1.18 c make graph and approximate orbits
0.03/1.23 c [group: #orbits ~= 2664] (49.18ms)
0.03/1.23 c
0.03/1.23 c detect special group actions
0.03/1.23 c probe for Johnson action (limit=64)
0.03/1.25 c probe for row-column symmetry (limit=64, splits=16.78M)
0.03/1.29 c probe for row symmetry (limit=64, splits=16.78M)
0.13/1.31 c found row 11x666, generating row predicate
0.13/1.31 c (82.34ms)
0.13/1.31 c
0.13/1.31 c detect symmetries on remainder
0.13/1.31 c [graph: #vertices 80207 #edges 285984]
0.13/1.31 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.23/1.41 c [group: #symmetries 1.24*10^7 #generators 13] (96.15ms)
0.23/1.41 c
0.23/1.41 c optimize generators (opt_passes=64, conjugate_limit=256)
0.23/1.41 c ran it=0, +gens=2
0.52/1.73 c con best_support=1332, best_gens=13, +gens=224
0.52/1.73 c (322.57ms)
0.52/1.73 c
0.52/1.73 c finalize break order and special generators
0.52/1.73 c
0.52/1.73 c add generic predicates (break_depth=20)
0.52/1.74 c added predicates for 239 generators (3.56ms)
1.22/2.44 c
1.22/2.44 c generation finished
1.22/2.44 c [sbp: #constraints 33822 #add_vars 11191]
1.22/2.44 c
1.22/2.44 c write result to 'HOME/instance-4507865-1751494072.opb.pre'
1.22/2.46 c wrote 2.40MB (14.93ms)
1.22/2.46 c ------------------------------------------------------------------
1.22/2.46 c 1853.63ms 75.87% other
1.22/2.46 c 322.57ms 13.20% optimize_gens
1.22/2.46 c 96.15ms 3.94% detect_generic
1.22/2.46 c 82.34ms 3.37% detect_special
1.22/2.46 c 49.18ms 2.01% approx_orbits
1.22/2.46 c 18.20ms 0.74% parse
1.22/2.46 c 14.93ms 0.61% output
1.22/2.46 c 3.56ms 0.15% break_generic
1.22/2.46 c 2.74ms 0.11% finalize_order
1.22/2.46 c ───────────────────────────────────────────────
1.22/2.46 c 2443.30ms 100% total
1.22/2.46 c ------------------------------------------------------------------
1.33/2.62 c RoundingSat 2
1.33/2.62 c branch pb25
1.33/2.62 c commit 63f22ad
2.31/3.61 c #variables 20515 #constraints 62482
2.31/3.61 c objective is ce32
2.31/3.61 c initial watched CF 32, 64, 128, Arb: 840 , 0 , 0 , 0
2.31/3.61 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
2.31/3.61 c bounds - >= 0 @ 0.81688
8.59/9.91 c #Conflicts: 1000 | #Constraints: 63481
8.59/9.91 c #Conflicts: 2000 | #Constraints: 64481
8.59/9.91 c INPROCESSING
8.59/9.91 c #Conflicts: 3000 | #Constraints: 64514
8.59/9.91 c #Conflicts: 4000 | #Constraints: 65514
8.59/9.91 c INPROCESSING
8.59/9.91 c #Conflicts: 5000 | #Constraints: 64920
8.59/9.91 c bounds 211 >= 0 @ 6.89444
9.38/10.71 c #Conflicts: 6000 | #Constraints: 65921
9.38/10.71 c bounds 211 >= 5 @ 7.67654
9.38/10.78 c INPROCESSING
9.38/10.78 c GARBAGE COLLECT
9.38/10.78 c bounds 211 >= 10 @ 7.73204
9.38/10.78 c bounds 211 >= 15 @ 7.73441
9.59/10.91 c #Conflicts: 7000 | #Constraints: 64961
9.59/10.91 c #Conflicts: 8000 | #Constraints: 65961
9.59/10.91 c bounds 211 >= 20 @ 7.8673
9.59/10.94 c bounds 206 >= 20 @ 7.8869
9.59/10.95 c bounds 204 >= 20 @ 7.89595
9.59/11.00 c bounds 201 >= 20 @ 7.92917
9.70/11.01 c bounds 196 >= 20 @ 7.93679
9.70/11.02 c bounds 194 >= 20 @ 7.94479
9.70/11.04 c bounds 192 >= 20 @ 7.95241
20.26/21.67 c #Conflicts: 9000 | #Constraints: 66973
20.26/21.67 c INPROCESSING
20.26/21.67 c bounds 182 >= 20 @ 18.4812
20.26/21.68 c bounds 180 >= 20 @ 18.4883
20.36/21.73 c bounds 177 >= 20 @ 18.5268
20.36/21.75 c bounds 175 >= 20 @ 18.5339
20.36/21.78 c bounds 170 >= 20 @ 18.5549
20.36/21.79 c bounds 168 >= 20 @ 18.562
33.21/34.61 c #Conflicts: 10000 | #Constraints: 65685
33.21/34.61 c #Conflicts: 11000 | #Constraints: 66685
33.21/34.61 c bounds 165 >= 20 @ 31.2445
33.31/34.71 c #Conflicts: 12000 | #Constraints: 67686
33.31/34.71 c INPROCESSING
33.31/34.71 c GARBAGE COLLECT
33.31/34.71 c bounds 163 >= 20 @ 31.3413
33.52/34.93 c #Conflicts: 13000 | #Constraints: 66151
33.52/34.93 c #Conflicts: 14000 | #Constraints: 67151
33.52/34.93 c #Conflicts: 15000 | #Constraints: 68151
33.52/34.93 c INPROCESSING
33.52/34.93 c GARBAGE COLLECT
33.52/34.93 c bounds 163 >= 22 @ 31.5453
33.52/34.93 c bounds 163 >= 24 @ 31.547
34.22/35.66 c #Conflicts: 16000 | #Constraints: 66420
34.22/35.66 c #Conflicts: 17000 | #Constraints: 67420
34.22/35.66 c #Conflicts: 18000 | #Constraints: 68420
34.22/35.66 c INPROCESSING
34.22/35.66 c GARBAGE COLLECT
34.22/35.66 c #Conflicts: 19000 | #Constraints: 66429
34.22/35.66 c #Conflicts: 20000 | #Constraints: 67429
34.22/35.66 c #Conflicts: 21000 | #Constraints: 68429
34.22/35.66 c INPROCESSING
34.22/35.66 c GARBAGE COLLECT
34.22/35.66 c #Conflicts: 22000 | #Constraints: 66272
34.22/35.66 c bounds 155 >= 24 @ 32.2232
34.22/35.67 c bounds 153 >= 24 @ 32.2318
67.63/69.13 c #Conflicts: 23000 | #Constraints: 67274
67.63/69.13 c #Conflicts: 24000 | #Constraints: 68274
67.63/69.13 c #Conflicts: 25000 | #Constraints: 69274
67.63/69.13 c INPROCESSING
67.63/69.13 c GARBAGE COLLECT
67.63/69.13 c rational objective 24
78.49/80.05 c #Conflicts: 26000 | #Constraints: 66927
78.49/80.05 c #Conflicts: 27000 | #Constraints: 67927
78.49/80.05 c bounds 153 >= 25 @ 76.2687
78.60/80.15 c #Conflicts: 28000 | #Constraints: 68936
78.60/80.15 c bounds 145 >= 25 @ 76.3509
78.60/80.16 c bounds 143 >= 25 @ 76.3591
78.98/80.50 c #Conflicts: 29000 | #Constraints: 69938
78.98/80.50 c INPROCESSING
78.98/80.50 c GARBAGE COLLECT
78.98/80.50 c #Conflicts: 30000 | #Constraints: 67328
78.98/80.50 c #Conflicts: 31000 | #Constraints: 68328
78.98/80.50 c bounds 135 >= 25 @ 76.6525
78.98/80.50 c bounds 135 >= 26 @ 76.6538
78.98/80.50 c bounds 135 >= 27 @ 76.6557
78.98/80.50 c bounds 135 >= 28 @ 76.6577
78.98/80.50 c bounds 135 >= 29 @ 76.6596
79.08/80.67 c #Conflicts: 32000 | #Constraints: 69362
79.08/80.67 c #Conflicts: 33000 | #Constraints: 70362
79.08/80.67 c INPROCESSING
79.08/80.67 c GARBAGE COLLECT
79.08/80.67 c bounds 133 >= 29 @ 76.8171
91.24/92.83 c #Conflicts: 34000 | #Constraints: 67547
91.24/92.83 c #Conflicts: 35000 | #Constraints: 68547
91.24/92.83 c #Conflicts: 36000 | #Constraints: 69547
91.24/92.83 c #Conflicts: 37000 | #Constraints: 70547
91.24/92.83 c INPROCESSING
91.24/92.83 c GARBAGE COLLECT
91.24/92.83 c #Conflicts: 38000 | #Constraints: 67542
91.24/92.83 c #Conflicts: 39000 | #Constraints: 68542
91.24/92.83 c bounds 133 >= 30 @ 88.849
91.74/93.35 c #Conflicts: 40000 | #Constraints: 69557
91.74/93.35 c #Conflicts: 41000 | #Constraints: 70557
91.74/93.35 c INPROCESSING
91.74/93.35 c GARBAGE COLLECT
91.74/93.35 c #Conflicts: 42000 | #Constraints: 67349
91.74/93.35 c #Conflicts: 43000 | #Constraints: 68349
91.74/93.35 c #Conflicts: 44000 | #Constraints: 69349
91.74/93.35 c #Conflicts: 45000 | #Constraints: 70349
91.74/93.35 c #Conflicts: 46000 | #Constraints: 71349
91.74/93.35 c INPROCESSING
91.74/93.35 c GARBAGE COLLECT
91.74/93.35 c bounds 133 >= 31 @ 89.3328
153.76/155.56 c #Conflicts: 47000 | #Constraints: 67953
153.76/155.56 c #Conflicts: 48000 | #Constraints: 68953
153.76/155.56 c #Conflicts: 49000 | #Constraints: 69953
153.76/155.56 c #Conflicts: 50000 | #Constraints: 70953
153.76/155.56 c #Conflicts: 51000 | #Constraints: 71954
153.76/155.56 c INPROCESSING
153.76/155.56 c GARBAGE COLLECT
153.76/155.56 c #Conflicts: 52000 | #Constraints: 68333
153.76/155.56 c #Conflicts: 53000 | #Constraints: 69333
153.76/155.56 c #Conflicts: 54000 | #Constraints: 70333
153.76/155.56 c #Conflicts: 55000 | #Constraints: 71333
153.76/155.56 c #Conflicts: 56000 | #Constraints: 72333
153.76/155.56 c INPROCESSING
153.76/155.56 c GARBAGE COLLECT
153.76/155.56 c rational objective 31
272.92/275.01 c #Conflicts: 57000 | #Constraints: 68589
272.92/275.01 c #Conflicts: 58000 | #Constraints: 69589
272.92/275.01 c #Conflicts: 59000 | #Constraints: 70589
272.92/275.01 c #Conflicts: 60000 | #Constraints: 71589
272.92/275.01 c #Conflicts: 61000 | #Constraints: 72589
272.92/275.01 c INPROCESSING
272.92/275.01 c GARBAGE COLLECT
272.92/275.01 c #Conflicts: 62000 | #Constraints: 68581
272.92/275.01 c #Conflicts: 63000 | #Constraints: 69581
272.92/275.01 c #Conflicts: 64000 | #Constraints: 70581
272.92/275.01 c #Conflicts: 65000 | #Constraints: 71581
272.92/275.01 c #Conflicts: 66000 | #Constraints: 72581
272.92/275.01 c INPROCESSING
272.92/275.01 c GARBAGE COLLECT
272.92/275.01 c #Conflicts: 67000 | #Constraints: 68357
272.92/275.01 c #Conflicts: 68000 | #Constraints: 69357
272.92/275.01 c #Conflicts: 69000 | #Constraints: 70357
272.92/275.01 c #Conflicts: 70000 | #Constraints: 71357
272.92/275.01 c #Conflicts: 71000 | #Constraints: 72357
272.92/275.01 c #Conflicts: 72000 | #Constraints: 73357
272.92/275.01 c INPROCESSING
272.92/275.01 c GARBAGE COLLECT
272.92/275.01 c #Conflicts: 73000 | #Constraints: 68945
272.92/275.01 c #Conflicts: 74000 | #Constraints: 69945
272.92/275.01 c #Conflicts: 75000 | #Constraints: 70945
272.92/275.01 c #Conflicts: 76000 | #Constraints: 71945
272.92/275.01 c #Conflicts: 77000 | #Constraints: 72945
272.92/275.01 c #Conflicts: 78000 | #Constraints: 73945
272.92/275.01 c INPROCESSING
272.92/275.01 c GARBAGE COLLECT
272.92/275.01 c #Conflicts: 79000 | #Constraints: 69377
272.92/275.01 c #Conflicts: 80000 | #Constraints: 70377
272.92/275.01 c #Conflicts: 81000 | #Constraints: 71377
272.92/275.01 c #Conflicts: 82000 | #Constraints: 72377
272.92/275.01 c #Conflicts: 83000 | #Constraints: 73377
272.92/275.01 c #Conflicts: 84000 | #Constraints: 74377
272.92/275.01 c INPROCESSING
272.92/275.01 c GARBAGE COLLECT
272.92/275.01 c #Conflicts: 85000 | #Constraints: 69578
272.92/275.01 c #Conflicts: 86000 | #Constraints: 70578
272.92/275.01 c #Conflicts: 87000 | #Constraints: 71578
272.92/275.01 c #Conflicts: 88000 | #Constraints: 72578
272.92/275.01 c #Conflicts: 89000 | #Constraints: 73578
272.92/275.01 c #Conflicts: 90000 | #Constraints: 74578
272.92/275.01 c INPROCESSING
272.92/275.01 c GARBAGE COLLECT
272.92/275.01 c #Conflicts: 91000 | #Constraints: 69577
272.92/275.01 c #Conflicts: 92000 | #Constraints: 70577
272.92/275.01 c #Conflicts: 93000 | #Constraints: 71577
272.92/275.01 c #Conflicts: 94000 | #Constraints: 72577
272.92/275.01 c #Conflicts: 95000 | #Constraints: 73577
272.92/275.01 c #Conflicts: 96000 | #Constraints: 74577
272.92/275.01 c INPROCESSING
272.92/275.01 c GARBAGE COLLECT
272.92/275.01 c #Conflicts: 97000 | #Constraints: 69373
272.92/275.01 c #Conflicts: 98000 | #Constraints: 70373
272.92/275.01 c #Conflicts: 99000 | #Constraints: 71373
272.92/275.01 c #Conflicts: 100000 | #Constraints: 72373
272.92/275.01 c #Conflicts: 101000 | #Constraints: 73373
272.92/275.01 c #Conflicts: 102000 | #Constraints: 74373
272.92/275.01 c #Conflicts: 103000 | #Constraints: 75373
272.92/275.01 c INPROCESSING
272.92/275.01 c GARBAGE COLLECT
272.92/275.01 c rational objective 31
456.82/459.56 c #Conflicts: 104000 | #Constraints: 70016
456.82/459.56 c #Conflicts: 105000 | #Constraints: 71016
456.82/459.56 c #Conflicts: 106000 | #Constraints: 72016
456.82/459.56 c #Conflicts: 107000 | #Constraints: 73016
456.82/459.56 c #Conflicts: 108000 | #Constraints: 74016
456.82/459.56 c #Conflicts: 109000 | #Constraints: 75016
456.82/459.56 c #Conflicts: 110000 | #Constraints: 76016
456.82/459.56 c INPROCESSING
456.82/459.56 c GARBAGE COLLECT
456.82/459.56 c #Conflicts: 111000 | #Constraints: 70429
456.82/459.56 c #Conflicts: 112000 | #Constraints: 71429
456.82/459.56 c #Conflicts: 113000 | #Constraints: 72429
456.82/459.56 c #Conflicts: 114000 | #Constraints: 73429
456.82/459.56 c #Conflicts: 115000 | #Constraints: 74429
456.82/459.56 c #Conflicts: 116000 | #Constraints: 75429
456.82/459.56 c #Conflicts: 117000 | #Constraints: 76429
456.82/459.56 c INPROCESSING
456.82/459.56 c GARBAGE COLLECT
456.82/459.56 c #Conflicts: 118000 | #Constraints: 70624
456.82/459.56 c #Conflicts: 119000 | #Constraints: 71624
456.82/459.56 c #Conflicts: 120000 | #Constraints: 72624
456.82/459.56 c #Conflicts: 121000 | #Constraints: 73624
456.82/459.56 c #Conflicts: 122000 | #Constraints: 74624
456.82/459.56 c #Conflicts: 123000 | #Constraints: 75624
456.82/459.56 c #Conflicts: 124000 | #Constraints: 76624
456.82/459.56 c INPROCESSING
456.82/459.56 c GARBAGE COLLECT
456.82/459.56 c #Conflicts: 125000 | #Constraints: 70595
456.82/459.56 c #Conflicts: 126000 | #Constraints: 71595
456.82/459.56 c #Conflicts: 127000 | #Constraints: 72595
456.82/459.56 c #Conflicts: 128000 | #Constraints: 73595
456.82/459.56 c #Conflicts: 129000 | #Constraints: 74596
456.82/459.56 c #Conflicts: 130000 | #Constraints: 75596
456.82/459.56 c #Conflicts: 131000 | #Constraints: 76596
456.82/459.56 c INPROCESSING
456.82/459.56 c GARBAGE COLLECT
456.82/459.56 c #Conflicts: 132000 | #Constraints: 70417
456.82/459.56 c #Conflicts: 133000 | #Constraints: 71419
456.82/459.56 c #Conflicts: 134000 | #Constraints: 72422
456.82/459.56 c #Conflicts: 135000 | #Constraints: 73422
456.82/459.56 c #Conflicts: 136000 | #Constraints: 74422
456.82/459.56 c #Conflicts: 137000 | #Constraints: 75422
456.82/459.56 c #Conflicts: 138000 | #Constraints: 76422
456.82/459.56 c #Conflicts: 139000 | #Constraints: 77422
456.82/459.56 c INPROCESSING
456.82/459.56 c GARBAGE COLLECT
456.82/459.56 c #Conflicts: 140000 | #Constraints: 71178
456.82/459.56 c #Conflicts: 141000 | #Constraints: 72659
456.82/459.56 c #Conflicts: 142000 | #Constraints: 73664
456.82/459.56 c #Conflicts: 143000 | #Constraints: 74664
456.82/459.56 c #Conflicts: 144000 | #Constraints: 75664
456.82/459.56 c #Conflicts: 145000 | #Constraints: 76664
456.82/459.56 c #Conflicts: 146000 | #Constraints: 77714
456.82/459.56 c #Conflicts: 147000 | #Constraints: 79235
456.82/459.56 c INPROCESSING
456.82/459.56 c GARBAGE COLLECT
456.82/459.56 c #Conflicts: 148000 | #Constraints: 72050
456.82/459.56 c #Conflicts: 149000 | #Constraints: 73050
456.82/459.56 c #Conflicts: 150000 | #Constraints: 74050
456.82/459.56 c #Conflicts: 151000 | #Constraints: 75050
456.82/459.56 c #Conflicts: 152000 | #Constraints: 76050
456.82/459.56 c #Conflicts: 153000 | #Constraints: 77050
456.82/459.56 c #Conflicts: 154000 | #Constraints: 78050
456.82/459.56 c #Conflicts: 155000 | #Constraints: 79050
456.82/459.56 c INPROCESSING
456.82/459.56 c GARBAGE COLLECT
456.82/459.56 c #Conflicts: 156000 | #Constraints: 71963
456.82/459.56 c #Conflicts: 157000 | #Constraints: 72963
456.82/459.56 c #Conflicts: 158000 | #Constraints: 73963
456.82/459.56 c #Conflicts: 159000 | #Constraints: 74963
456.82/459.56 c #Conflicts: 160000 | #Constraints: 75963
456.82/459.56 c #Conflicts: 161000 | #Constraints: 76963
456.82/459.56 c #Conflicts: 162000 | #Constraints: 77964
456.82/459.56 c #Conflicts: 163000 | #Constraints: 78964
456.82/459.56 c INPROCESSING
456.82/459.56 c GARBAGE COLLECT
456.82/459.56 c #Conflicts: 164000 | #Constraints: 71794
456.82/459.56 c #Conflicts: 165000 | #Constraints: 72794
456.82/459.56 c #Conflicts: 166000 | #Constraints: 73794
456.82/459.56 c #Conflicts: 167000 | #Constraints: 74794
456.82/459.56 c #Conflicts: 168000 | #Constraints: 75794
456.82/459.56 c #Conflicts: 169000 | #Constraints: 76794
456.82/459.56 c #Conflicts: 170000 | #Constraints: 77794
456.82/459.56 c bounds 128 >= 31 @ 452.623
457.12/459.83 c #Conflicts: 171000 | #Constraints: 78795
457.12/459.83 c INPROCESSING
457.12/459.83 c GARBAGE COLLECT
457.12/459.83 c bounds 126 >= 31 @ 452.887
457.22/460.00 c #Conflicts: 172000 | #Constraints: 71491
457.22/460.00 c #Conflicts: 173000 | #Constraints: 72491
457.22/460.00 c bounds 123 >= 31 @ 453.033
457.33/460.02 c bounds 121 >= 31 @ 453.045
485.45/488.21 c #Conflicts: 174000 | #Constraints: 73493
485.45/488.21 c #Conflicts: 175000 | #Constraints: 74494
485.45/488.21 c #Conflicts: 176000 | #Constraints: 75494
485.45/488.21 c #Conflicts: 177000 | #Constraints: 76494
485.45/488.21 c #Conflicts: 178000 | #Constraints: 77494
485.45/488.21 c #Conflicts: 179000 | #Constraints: 78495
485.45/488.21 c #Conflicts: 180000 | #Constraints: 79495
485.45/488.21 c INPROCESSING
485.45/488.21 c GARBAGE COLLECT
485.45/488.21 c rational objective 31
545.78/548.72 c #Conflicts: 181000 | #Constraints: 72107
545.78/548.72 c #Conflicts: 182000 | #Constraints: 73107
545.78/548.72 c #Conflicts: 183000 | #Constraints: 74107
545.78/548.72 c #Conflicts: 184000 | #Constraints: 75107
545.78/548.72 c #Conflicts: 185000 | #Constraints: 76107
545.78/548.72 c #Conflicts: 186000 | #Constraints: 77107
545.78/548.72 c #Conflicts: 187000 | #Constraints: 78107
545.78/548.72 c #Conflicts: 188000 | #Constraints: 79107
545.78/548.72 c #Conflicts: 189000 | #Constraints: 80107
545.78/548.72 c INPROCESSING
545.78/548.72 c GARBAGE COLLECT
545.78/548.72 c #Conflicts: 190000 | #Constraints: 72468
545.78/548.72 c #Conflicts: 191000 | #Constraints: 73468
545.78/548.72 c #Conflicts: 192000 | #Constraints: 74468
545.78/548.72 c #Conflicts: 193000 | #Constraints: 75468
545.78/548.72 c #Conflicts: 194000 | #Constraints: 76468
545.78/548.72 c #Conflicts: 195000 | #Constraints: 77468
545.78/548.72 c #Conflicts: 196000 | #Constraints: 78468
545.78/548.72 c #Conflicts: 197000 | #Constraints: 79468
545.78/548.72 c #Conflicts: 198000 | #Constraints: 80468
545.78/548.72 c INPROCESSING
545.78/548.72 c GARBAGE COLLECT
545.78/548.72 c #Conflicts: 199000 | #Constraints: 72654
545.78/548.72 c #Conflicts: 200000 | #Constraints: 73654
545.78/548.72 c #Conflicts: 201000 | #Constraints: 74654
545.78/548.72 c #Conflicts: 202000 | #Constraints: 75654
545.78/548.72 c #Conflicts: 203000 | #Constraints: 76654
545.78/548.72 c #Conflicts: 204000 | #Constraints: 77654
545.78/548.72 c #Conflicts: 205000 | #Constraints: 78654
545.78/548.72 c #Conflicts: 206000 | #Constraints: 79654
545.78/548.72 c #Conflicts: 207000 | #Constraints: 80654
545.78/548.72 c INPROCESSING
545.78/548.72 c GARBAGE COLLECT
545.78/548.72 c rational objective 31
721.47/725.00 c #Conflicts: 208000 | #Constraints: 72666
721.47/725.00 c #Conflicts: 209000 | #Constraints: 73666
721.47/725.00 c #Conflicts: 210000 | #Constraints: 74666
721.47/725.00 c #Conflicts: 211000 | #Constraints: 75666
721.47/725.00 c #Conflicts: 212000 | #Constraints: 76666
721.47/725.00 c #Conflicts: 213000 | #Constraints: 77666
721.47/725.00 c #Conflicts: 214000 | #Constraints: 78666
721.47/725.00 c #Conflicts: 215000 | #Constraints: 79666
721.47/725.00 c #Conflicts: 216000 | #Constraints: 80666
721.47/725.00 c INPROCESSING
721.47/725.00 c GARBAGE COLLECT
721.47/725.00 c rational objective 31
790.68/794.35 c #Conflicts: 217000 | #Constraints: 72491
790.68/794.35 c #Conflicts: 218000 | #Constraints: 73491
790.68/794.35 c #Conflicts: 219000 | #Constraints: 74491
790.68/794.35 c #Conflicts: 220000 | #Constraints: 75491
790.68/794.35 c #Conflicts: 221000 | #Constraints: 76491
790.68/794.35 c #Conflicts: 222000 | #Constraints: 77491
790.68/794.35 c #Conflicts: 223000 | #Constraints: 78491
790.68/794.35 c #Conflicts: 224000 | #Constraints: 79491
790.68/794.35 c #Conflicts: 225000 | #Constraints: 80491
790.68/794.35 c #Conflicts: 226000 | #Constraints: 81491
790.68/794.35 c INPROCESSING
790.68/794.35 c GARBAGE COLLECT
790.68/794.35 c #Conflicts: 227000 | #Constraints: 73038
790.68/794.35 c #Conflicts: 228000 | #Constraints: 74038
790.68/794.35 c #Conflicts: 229000 | #Constraints: 75038
790.68/794.35 c #Conflicts: 230000 | #Constraints: 76038
790.68/794.35 c #Conflicts: 231000 | #Constraints: 77038
790.68/794.35 c #Conflicts: 232000 | #Constraints: 78038
790.68/794.35 c #Conflicts: 233000 | #Constraints: 79038
790.68/794.35 c #Conflicts: 234000 | #Constraints: 80038
790.68/794.35 c #Conflicts: 235000 | #Constraints: 81038
790.68/794.35 c #Conflicts: 236000 | #Constraints: 82038
790.68/794.35 c INPROCESSING
790.68/794.35 c GARBAGE COLLECT
790.68/794.35 c #Conflicts: 237000 | #Constraints: 73460
790.68/794.35 c #Conflicts: 238000 | #Constraints: 74460
790.68/794.35 c #Conflicts: 239000 | #Constraints: 75460
790.68/794.35 c #Conflicts: 240000 | #Constraints: 76460
790.68/794.35 c #Conflicts: 241000 | #Constraints: 77460
790.68/794.35 c #Conflicts: 242000 | #Constraints: 78460
790.68/794.35 c #Conflicts: 243000 | #Constraints: 79460
790.68/794.35 c #Conflicts: 244000 | #Constraints: 80460
790.68/794.35 c #Conflicts: 245000 | #Constraints: 81460
790.68/794.35 c #Conflicts: 246000 | #Constraints: 82460
790.68/794.35 c INPROCESSING
790.68/794.35 c GARBAGE COLLECT
790.68/794.35 c #Conflicts: 247000 | #Constraints: 73646
790.68/794.35 c #Conflicts: 248000 | #Constraints: 74646
790.68/794.35 c #Conflicts: 249000 | #Constraints: 75646
790.68/794.35 c #Conflicts: 250000 | #Constraints: 76646
790.68/794.35 c #Conflicts: 251000 | #Constraints: 77646
790.68/794.35 c #Conflicts: 252000 | #Constraints: 78646
790.68/794.35 c #Conflicts: 253000 | #Constraints: 79646
790.68/794.35 c #Conflicts: 254000 | #Constraints: 80646
790.68/794.35 c #Conflicts: 255000 | #Constraints: 81646
790.68/794.35 c #Conflicts: 256000 | #Constraints: 82646
790.68/794.35 c INPROCESSING
790.68/794.35 c GARBAGE COLLECT
790.68/794.35 c #Conflicts: 257000 | #Constraints: 73638
790.68/794.35 c #Conflicts: 258000 | #Constraints: 74638
790.68/794.35 c #Conflicts: 259000 | #Constraints: 75638
790.68/794.35 c #Conflicts: 260000 | #Constraints: 76638
790.68/794.35 c #Conflicts: 261000 | #Constraints: 77638
790.68/794.35 c #Conflicts: 262000 | #Constraints: 78638
790.68/794.35 c #Conflicts: 263000 | #Constraints: 79638
790.68/794.35 c #Conflicts: 264000 | #Constraints: 80638
790.68/794.35 c #Conflicts: 265000 | #Constraints: 81638
790.68/794.35 c #Conflicts: 266000 | #Constraints: 82638
790.68/794.35 c INPROCESSING
790.68/794.35 c GARBAGE COLLECT
790.68/794.35 c #Conflicts: 267000 | #Constraints: 73454
790.68/794.35 c #Conflicts: 268000 | #Constraints: 74454
790.68/794.35 c #Conflicts: 269000 | #Constraints: 75454
790.68/794.35 c #Conflicts: 270000 | #Constraints: 76454
790.68/794.35 c #Conflicts: 271000 | #Constraints: 77454
790.68/794.35 c #Conflicts: 272000 | #Constraints: 78454
790.68/794.35 c #Conflicts: 273000 | #Constraints: 79454
790.68/794.35 c #Conflicts: 274000 | #Constraints: 80454
790.68/794.35 c #Conflicts: 275000 | #Constraints: 81454
790.68/794.35 c #Conflicts: 276000 | #Constraints: 82454
790.68/794.35 c #Conflicts: 277000 | #Constraints: 83454
790.68/794.35 c INPROCESSING
790.68/794.35 c GARBAGE COLLECT
790.68/794.35 c #Conflicts: 278000 | #Constraints: 74037
790.68/794.35 c #Conflicts: 279000 | #Constraints: 75037
790.68/794.35 c #Conflicts: 280000 | #Constraints: 76037
790.68/794.35 c #Conflicts: 281000 | #Constraints: 77037
790.68/794.35 c #Conflicts: 282000 | #Constraints: 78037
790.68/794.35 c #Conflicts: 283000 | #Constraints: 79037
790.68/794.35 c #Conflicts: 284000 | #Constraints: 80037
790.68/794.35 c #Conflicts: 285000 | #Constraints: 81037
790.68/794.35 c #Conflicts: 286000 | #Constraints: 82037
790.68/794.35 c #Conflicts: 287000 | #Constraints: 83037
790.68/794.35 c #Conflicts: 288000 | #Constraints: 84037
790.68/794.35 c INPROCESSING
790.68/794.35 c GARBAGE COLLECT
790.68/794.35 c rational objective 31
830.28/834.07 c #Conflicts: 289000 | #Constraints: 74446
830.28/834.07 c #Conflicts: 290000 | #Constraints: 75446
830.28/834.07 c #Conflicts: 291000 | #Constraints: 76446
830.28/834.07 c #Conflicts: 292000 | #Constraints: 77446
830.28/834.07 c #Conflicts: 293000 | #Constraints: 78446
830.28/834.07 c #Conflicts: 294000 | #Constraints: 79446
830.28/834.07 c #Conflicts: 295000 | #Constraints: 80446
830.28/834.07 c #Conflicts: 296000 | #Constraints: 81446
830.28/834.07 c #Conflicts: 297000 | #Constraints: 82446
830.28/834.07 c #Conflicts: 298000 | #Constraints: 83446
830.28/834.07 c #Conflicts: 299000 | #Constraints: 84446
830.28/834.07 c INPROCESSING
830.28/834.07 c GARBAGE COLLECT
830.28/834.07 c rational objective 31
834.85/838.67 c #Conflicts: 300000 | #Constraints: 74657
834.85/838.67 c #Conflicts: 301000 | #Constraints: 75657
834.85/838.67 c #Conflicts: 302000 | #Constraints: 76657
834.85/838.67 c #Conflicts: 303000 | #Constraints: 77657
834.85/838.67 c #Conflicts: 304000 | #Constraints: 78657
834.85/838.67 c #Conflicts: 305000 | #Constraints: 79657
834.85/838.67 c bounds 121 >= 32 @ 828.816
897.08/901.09 c #Conflicts: 306000 | #Constraints: 80666
897.08/901.09 c #Conflicts: 307000 | #Constraints: 81666
897.08/901.09 c #Conflicts: 308000 | #Constraints: 82666
897.08/901.09 c #Conflicts: 309000 | #Constraints: 83666
897.08/901.09 c #Conflicts: 310000 | #Constraints: 84666
897.08/901.09 c INPROCESSING
897.08/901.09 c GARBAGE COLLECT
897.08/901.09 c rational objective 32
932.27/936.32 c #Conflicts: 311000 | #Constraints: 74677
932.27/936.32 c #Conflicts: 312000 | #Constraints: 75677
932.27/936.32 c #Conflicts: 313000 | #Constraints: 76677
932.27/936.32 c #Conflicts: 314000 | #Constraints: 77677
932.27/936.32 c #Conflicts: 315000 | #Constraints: 78678
932.27/936.32 c #Conflicts: 316000 | #Constraints: 79678
932.27/936.32 c #Conflicts: 317000 | #Constraints: 80678
932.27/936.32 c #Conflicts: 318000 | #Constraints: 81678
932.27/936.32 c #Conflicts: 319000 | #Constraints: 82678
932.27/936.32 c #Conflicts: 320000 | #Constraints: 83678
932.27/936.32 c #Conflicts: 321000 | #Constraints: 84678
932.27/936.32 c INPROCESSING
932.27/936.32 c GARBAGE COLLECT
932.27/936.32 c #Conflicts: 322000 | #Constraints: 74466
932.27/936.32 c #Conflicts: 323000 | #Constraints: 75466
932.27/936.32 c #Conflicts: 324000 | #Constraints: 76466
932.27/936.32 c #Conflicts: 325000 | #Constraints: 77466
932.27/936.32 c #Conflicts: 326000 | #Constraints: 78466
932.27/936.32 c #Conflicts: 327000 | #Constraints: 79466
932.27/936.32 c #Conflicts: 328000 | #Constraints: 80466
932.27/936.32 c #Conflicts: 329000 | #Constraints: 81466
932.27/936.32 c #Conflicts: 330000 | #Constraints: 82466
932.27/936.32 c #Conflicts: 331000 | #Constraints: 83466
932.27/936.32 c #Conflicts: 332000 | #Constraints: 84466
932.27/936.32 c #Conflicts: 333000 | #Constraints: 85466
932.27/936.32 c INPROCESSING
932.27/936.32 c GARBAGE COLLECT
932.27/936.32 c #Conflicts: 334000 | #Constraints: 75048
932.27/936.32 c #Conflicts: 335000 | #Constraints: 76048
932.27/936.32 c #Conflicts: 336000 | #Constraints: 77048
932.27/936.32 c #Conflicts: 337000 | #Constraints: 78048
932.27/936.32 c #Conflicts: 338000 | #Constraints: 79048
932.27/936.32 c #Conflicts: 339000 | #Constraints: 80048
932.27/936.32 c #Conflicts: 340000 | #Constraints: 81048
932.27/936.32 c #Conflicts: 341000 | #Constraints: 82048
932.27/936.32 c #Conflicts: 342000 | #Constraints: 83048
932.27/936.32 c #Conflicts: 343000 | #Constraints: 84048
932.27/936.32 c #Conflicts: 344000 | #Constraints: 85048
932.27/936.32 c #Conflicts: 345000 | #Constraints: 86048
932.27/936.32 c INPROCESSING
932.27/936.32 c GARBAGE COLLECT
932.27/936.32 c rational objective 32
932.67/936.71 c bounds 121 >= 33 @ 926.136
988.62/992.85 c #Conflicts: 346000 | #Constraints: 75477
988.62/992.85 c #Conflicts: 347000 | #Constraints: 76477
988.62/992.85 c #Conflicts: 348000 | #Constraints: 77477
988.62/992.85 c #Conflicts: 349000 | #Constraints: 78477
988.62/992.85 c #Conflicts: 350000 | #Constraints: 79477
988.62/992.85 c #Conflicts: 351000 | #Constraints: 80477
988.62/992.85 c #Conflicts: 352000 | #Constraints: 81477
988.62/992.85 c #Conflicts: 353000 | #Constraints: 82477
988.62/992.85 c #Conflicts: 354000 | #Constraints: 83477
988.62/992.85 c #Conflicts: 355000 | #Constraints: 84477
988.62/992.85 c #Conflicts: 356000 | #Constraints: 85477
988.62/992.85 c #Conflicts: 357000 | #Constraints: 86477
988.62/992.85 c INPROCESSING
988.62/992.85 c GARBAGE COLLECT
988.62/992.85 c rational objective 33
1043.27/1047.63 c #Conflicts: 358000 | #Constraints: 75675
1043.27/1047.63 c #Conflicts: 359000 | #Constraints: 76675
1043.27/1047.63 c #Conflicts: 360000 | #Constraints: 77675
1043.27/1047.63 c #Conflicts: 361000 | #Constraints: 78675
1043.27/1047.63 c #Conflicts: 362000 | #Constraints: 79675
1043.27/1047.63 c #Conflicts: 363000 | #Constraints: 80675
1043.27/1047.63 c #Conflicts: 364000 | #Constraints: 81675
1043.27/1047.63 c #Conflicts: 365000 | #Constraints: 82675
1043.27/1047.63 c #Conflicts: 366000 | #Constraints: 83675
1043.27/1047.63 c #Conflicts: 367000 | #Constraints: 84675
1043.27/1047.63 c #Conflicts: 368000 | #Constraints: 85675
1043.27/1047.63 c #Conflicts: 369000 | #Constraints: 86675
1043.27/1047.63 c INPROCESSING
1043.27/1047.63 c GARBAGE COLLECT
1043.27/1047.63 c rational objective 33
1073.37/1077.80 c #Conflicts: 370000 | #Constraints: 75714
1073.37/1077.80 c #Conflicts: 371000 | #Constraints: 76714
1073.37/1077.80 c #Conflicts: 372000 | #Constraints: 77714
1073.37/1077.80 c #Conflicts: 373000 | #Constraints: 78714
1073.37/1077.80 c #Conflicts: 374000 | #Constraints: 79714
1073.37/1077.80 c #Conflicts: 375000 | #Constraints: 80714
1073.37/1077.80 c #Conflicts: 376000 | #Constraints: 81714
1073.37/1077.80 c #Conflicts: 377000 | #Constraints: 82714
1073.37/1077.80 c #Conflicts: 378000 | #Constraints: 83714
1073.37/1077.80 c #Conflicts: 379000 | #Constraints: 84714
1073.37/1077.80 c #Conflicts: 380000 | #Constraints: 85714
1073.37/1077.80 c #Conflicts: 381000 | #Constraints: 86714
1073.37/1077.80 c INPROCESSING
1073.37/1077.80 c GARBAGE COLLECT
1073.37/1077.80 c #Conflicts: 382000 | #Constraints: 75502
1073.37/1077.80 c #Conflicts: 383000 | #Constraints: 76502
1073.37/1077.80 c #Conflicts: 384000 | #Constraints: 77502
1073.37/1077.80 c #Conflicts: 385000 | #Constraints: 78502
1073.37/1077.80 c #Conflicts: 386000 | #Constraints: 79502
1073.37/1077.80 c #Conflicts: 387000 | #Constraints: 80502
1073.37/1077.80 c #Conflicts: 388000 | #Constraints: 81502
1073.37/1077.80 c #Conflicts: 389000 | #Constraints: 82502
1073.37/1077.80 c #Conflicts: 390000 | #Constraints: 83502
1073.37/1077.80 c #Conflicts: 391000 | #Constraints: 84502
1073.37/1077.80 c #Conflicts: 392000 | #Constraints: 85502
1073.37/1077.80 c #Conflicts: 393000 | #Constraints: 86502
1073.37/1077.80 c #Conflicts: 394000 | #Constraints: 87502
1073.37/1077.80 c INPROCESSING
1073.37/1077.80 c GARBAGE COLLECT
1073.37/1077.80 c rational objective 33
1143.98/1148.66 c #Conflicts: 395000 | #Constraints: 76108
1143.98/1148.66 c #Conflicts: 396000 | #Constraints: 77108
1143.98/1148.66 c #Conflicts: 397000 | #Constraints: 78108
1143.98/1148.66 c #Conflicts: 398000 | #Constraints: 79109
1143.98/1148.66 c #Conflicts: 399000 | #Constraints: 80109
1143.98/1148.66 c #Conflicts: 400000 | #Constraints: 81109
1143.98/1148.66 c #Conflicts: 401000 | #Constraints: 82109
1143.98/1148.66 c #Conflicts: 402000 | #Constraints: 83109
1143.98/1148.66 c #Conflicts: 403000 | #Constraints: 84109
1143.98/1148.66 c #Conflicts: 404000 | #Constraints: 85109
1143.98/1148.66 c #Conflicts: 405000 | #Constraints: 86109
1143.98/1148.66 c #Conflicts: 406000 | #Constraints: 87109
1143.98/1148.66 c #Conflicts: 407000 | #Constraints: 88109
1143.98/1148.66 c INPROCESSING
1143.98/1148.66 c GARBAGE COLLECT
1143.98/1148.66 c rational objective 33
1174.41/1179.16 c #Conflicts: 408000 | #Constraints: 76493
1174.41/1179.16 c #Conflicts: 409000 | #Constraints: 77493
1174.41/1179.16 c #Conflicts: 410000 | #Constraints: 78493
1174.41/1179.16 c #Conflicts: 411000 | #Constraints: 79493
1174.41/1179.16 c #Conflicts: 412000 | #Constraints: 80493
1174.41/1179.16 c #Conflicts: 413000 | #Constraints: 81493
1174.41/1179.16 c #Conflicts: 414000 | #Constraints: 82493
1174.41/1179.16 c #Conflicts: 415000 | #Constraints: 83493
1174.41/1179.16 c #Conflicts: 416000 | #Constraints: 84493
1174.41/1179.16 c #Conflicts: 417000 | #Constraints: 85493
1174.41/1179.16 c #Conflicts: 418000 | #Constraints: 86493
1174.41/1179.16 c #Conflicts: 419000 | #Constraints: 87493
1174.41/1179.16 c #Conflicts: 420000 | #Constraints: 88493
1174.41/1179.16 c INPROCESSING
1174.41/1179.16 c GARBAGE COLLECT
1174.41/1179.16 c #Conflicts: 421000 | #Constraints: 76716
1174.41/1179.16 c #Conflicts: 422000 | #Constraints: 77716
1174.41/1179.16 c #Conflicts: 423000 | #Constraints: 78716
1174.41/1179.16 c #Conflicts: 424000 | #Constraints: 79716
1174.41/1179.16 c #Conflicts: 425000 | #Constraints: 80716
1174.41/1179.16 c #Conflicts: 426000 | #Constraints: 81716
1174.41/1179.16 c #Conflicts: 427000 | #Constraints: 82716
1174.41/1179.16 c #Conflicts: 428000 | #Constraints: 83716
1174.41/1179.16 c #Conflicts: 429000 | #Constraints: 84716
1174.41/1179.16 c #Conflicts: 430000 | #Constraints: 85716
1174.41/1179.16 c #Conflicts: 431000 | #Constraints: 86717
1174.41/1179.16 c #Conflicts: 432000 | #Constraints: 87717
1174.41/1179.16 c #Conflicts: 433000 | #Constraints: 88717
1174.41/1179.16 c INPROCESSING
1174.41/1179.16 c GARBAGE COLLECT
1174.41/1179.16 c rational objective 33
1198.43/1203.27 c #Conflicts: 434000 | #Constraints: 76738
1198.43/1203.27 c #Conflicts: 435000 | #Constraints: 77738
1198.43/1203.27 c #Conflicts: 436000 | #Constraints: 78738
1198.43/1203.27 c #Conflicts: 437000 | #Constraints: 79738
1198.43/1203.27 c #Conflicts: 438000 | #Constraints: 80738
1198.43/1203.27 c #Conflicts: 439000 | #Constraints: 81738
1198.43/1203.27 c #Conflicts: 440000 | #Constraints: 82738
1198.43/1203.27 c #Conflicts: 441000 | #Constraints: 83738
1198.43/1203.27 c #Conflicts: 442000 | #Constraints: 84738
1198.43/1203.27 c #Conflicts: 443000 | #Constraints: 85738
1198.43/1203.27 c #Conflicts: 444000 | #Constraints: 86738
1198.43/1203.27 c #Conflicts: 445000 | #Constraints: 87738
1198.43/1203.27 c #Conflicts: 446000 | #Constraints: 88738
1198.43/1203.27 c INPROCESSING
1198.43/1203.27 c GARBAGE COLLECT
1198.43/1203.27 c rational objective 33
1222.06/1226.97 c #Conflicts: 447000 | #Constraints: 76534
1222.06/1226.97 c #Conflicts: 448000 | #Constraints: 77534
1222.06/1226.97 c #Conflicts: 449000 | #Constraints: 78534
1222.06/1226.97 c #Conflicts: 450000 | #Constraints: 79534
1222.06/1226.97 c #Conflicts: 451000 | #Constraints: 80534
1222.06/1226.97 c #Conflicts: 452000 | #Constraints: 81534
1222.06/1226.97 c #Conflicts: 453000 | #Constraints: 82534
1222.06/1226.97 c #Conflicts: 454000 | #Constraints: 83534
1222.06/1226.97 c #Conflicts: 455000 | #Constraints: 84534
1222.06/1226.97 c #Conflicts: 456000 | #Constraints: 85534
1222.06/1226.97 c #Conflicts: 457000 | #Constraints: 86534
1222.06/1226.97 c #Conflicts: 458000 | #Constraints: 87534
1222.06/1226.97 c #Conflicts: 459000 | #Constraints: 88534
1222.06/1226.97 c #Conflicts: 460000 | #Constraints: 89534
1222.06/1226.97 c INPROCESSING
1222.06/1226.97 c GARBAGE COLLECT
1222.06/1226.97 c rational objective 33
1244.60/1249.51 c #Conflicts: 461000 | #Constraints: 77139
1244.60/1249.51 c #Conflicts: 462000 | #Constraints: 78139
1244.60/1249.51 c #Conflicts: 463000 | #Constraints: 79139
1244.60/1249.51 c #Conflicts: 464000 | #Constraints: 80139
1244.60/1249.51 c #Conflicts: 465000 | #Constraints: 81139
1244.60/1249.51 c #Conflicts: 466000 | #Constraints: 82139
1244.60/1249.51 c #Conflicts: 467000 | #Constraints: 83139
1244.60/1249.51 c #Conflicts: 468000 | #Constraints: 84139
1244.60/1249.51 c #Conflicts: 469000 | #Constraints: 85139
1244.60/1249.51 c #Conflicts: 470000 | #Constraints: 86139
1244.60/1249.51 c #Conflicts: 471000 | #Constraints: 87139
1244.60/1249.51 c #Conflicts: 472000 | #Constraints: 88139
1244.60/1249.51 c #Conflicts: 473000 | #Constraints: 89139
1244.60/1249.51 c #Conflicts: 474000 | #Constraints: 90139
1244.60/1249.51 c INPROCESSING
1244.60/1249.51 c GARBAGE COLLECT
1244.60/1249.51 c rational objective 33
1256.37/1261.37 c #Conflicts: 475000 | #Constraints: 77562
1256.37/1261.37 c #Conflicts: 476000 | #Constraints: 78562
1256.37/1261.37 c #Conflicts: 477000 | #Constraints: 79562
1256.37/1261.37 c #Conflicts: 478000 | #Constraints: 80562
1256.37/1261.37 c #Conflicts: 479000 | #Constraints: 81562
1256.37/1261.37 c #Conflicts: 480000 | #Constraints: 82562
1256.37/1261.37 c #Conflicts: 481000 | #Constraints: 83562
1256.37/1261.37 c #Conflicts: 482000 | #Constraints: 84562
1256.37/1261.37 c #Conflicts: 483000 | #Constraints: 85562
1256.37/1261.37 c #Conflicts: 484000 | #Constraints: 86563
1256.37/1261.37 c #Conflicts: 485000 | #Constraints: 87563
1256.37/1261.37 c #Conflicts: 486000 | #Constraints: 88563
1256.37/1261.37 c #Conflicts: 487000 | #Constraints: 89563
1256.37/1261.37 c #Conflicts: 488000 | #Constraints: 90563
1256.37/1261.37 c INPROCESSING
1256.37/1261.37 c GARBAGE COLLECT
1256.37/1261.37 c rational objective 33
1278.12/1283.13 c #Conflicts: 489000 | #Constraints: 77753
1278.12/1283.13 c #Conflicts: 490000 | #Constraints: 78753
1278.12/1283.13 c #Conflicts: 491000 | #Constraints: 79753
1278.12/1283.13 c #Conflicts: 492000 | #Constraints: 80753
1278.12/1283.13 c #Conflicts: 493000 | #Constraints: 81753
1278.12/1283.13 c #Conflicts: 494000 | #Constraints: 82753
1278.12/1283.13 c #Conflicts: 495000 | #Constraints: 83753
1278.12/1283.13 c #Conflicts: 496000 | #Constraints: 84753
1278.12/1283.13 c #Conflicts: 497000 | #Constraints: 85753
1278.12/1283.13 c #Conflicts: 498000 | #Constraints: 86753
1278.12/1283.13 c #Conflicts: 499000 | #Constraints: 87753
1278.12/1283.13 c #Conflicts: 500000 | #Constraints: 88753
1278.12/1283.13 c #Conflicts: 501000 | #Constraints: 89753
1278.12/1283.13 c #Conflicts: 502000 | #Constraints: 90753
1278.12/1283.13 c INPROCESSING
1278.12/1283.13 c GARBAGE COLLECT
1278.12/1283.13 c rational objective 33
1299.97/1305.08 c #Conflicts: 503000 | #Constraints: 77757
1299.97/1305.08 c #Conflicts: 504000 | #Constraints: 78757
1299.97/1305.08 c #Conflicts: 505000 | #Constraints: 79757
1299.97/1305.08 c #Conflicts: 506000 | #Constraints: 80757
1299.97/1305.08 c #Conflicts: 507000 | #Constraints: 81757
1299.97/1305.08 c #Conflicts: 508000 | #Constraints: 82757
1299.97/1305.08 c bounds 121 >= 34 @ 1291.41
1345.03/1350.29 c #Conflicts: 509000 | #Constraints: 83769
1345.03/1350.29 c #Conflicts: 510000 | #Constraints: 84769
1345.03/1350.29 c #Conflicts: 511000 | #Constraints: 85769
1345.03/1350.29 c #Conflicts: 512000 | #Constraints: 86769
1345.03/1350.29 c #Conflicts: 513000 | #Constraints: 87769
1345.03/1350.29 c #Conflicts: 514000 | #Constraints: 88769
1345.03/1350.29 c #Conflicts: 515000 | #Constraints: 89769
1345.03/1350.29 c #Conflicts: 516000 | #Constraints: 90769
1345.03/1350.29 c INPROCESSING
1345.03/1350.29 c GARBAGE COLLECT
1345.03/1350.29 c rational objective 34
1371.45/1376.74 c #Conflicts: 517000 | #Constraints: 77611
1371.45/1376.74 c #Conflicts: 518000 | #Constraints: 78611
1371.45/1376.74 c #Conflicts: 519000 | #Constraints: 79611
1371.45/1376.74 c #Conflicts: 520000 | #Constraints: 80611
1371.45/1376.74 c #Conflicts: 521000 | #Constraints: 81611
1371.45/1376.74 c #Conflicts: 522000 | #Constraints: 82611
1371.45/1376.74 c #Conflicts: 523000 | #Constraints: 83611
1371.45/1376.74 c #Conflicts: 524000 | #Constraints: 84611
1371.45/1376.74 c #Conflicts: 525000 | #Constraints: 85611
1371.45/1376.74 c #Conflicts: 526000 | #Constraints: 86611
1371.45/1376.74 c #Conflicts: 527000 | #Constraints: 87611
1371.45/1376.74 c #Conflicts: 528000 | #Constraints: 88611
1371.45/1376.74 c #Conflicts: 529000 | #Constraints: 89611
1371.45/1376.74 c #Conflicts: 530000 | #Constraints: 90611
1371.45/1376.74 c #Conflicts: 531000 | #Constraints: 91611
1371.45/1376.74 c INPROCESSING
1371.45/1376.74 c GARBAGE COLLECT
1371.45/1376.74 c rational objective 34
1372.55/1377.87 c #Conflicts: 532000 | #Constraints: 78179
1372.55/1377.87 c #Conflicts: 533000 | #Constraints: 79179
1372.55/1377.87 c bounds 121 >= 35 @ 1363.58
1390.40/1395.70 c #Conflicts: 534000 | #Constraints: 80206
1390.40/1395.70 c #Conflicts: 535000 | #Constraints: 81206
1390.40/1395.70 c #Conflicts: 536000 | #Constraints: 82206
1390.40/1395.70 c #Conflicts: 537000 | #Constraints: 83206
1390.40/1395.70 c #Conflicts: 538000 | #Constraints: 84206
1390.40/1395.70 c #Conflicts: 539000 | #Constraints: 85206
1390.40/1395.70 c #Conflicts: 540000 | #Constraints: 86206
1390.40/1395.70 c #Conflicts: 541000 | #Constraints: 87206
1390.40/1395.70 c #Conflicts: 542000 | #Constraints: 88206
1390.40/1395.70 c #Conflicts: 543000 | #Constraints: 89206
1390.40/1395.70 c #Conflicts: 544000 | #Constraints: 90206
1390.40/1395.70 c #Conflicts: 545000 | #Constraints: 91206
1390.40/1395.70 c #Conflicts: 546000 | #Constraints: 92206
1390.40/1395.70 c INPROCESSING
1390.40/1395.70 c GARBAGE COLLECT
1390.40/1395.70 c rational objective 35
1392.00/1397.37 c #Conflicts: 547000 | #Constraints: 78599
1392.00/1397.37 c #Conflicts: 548000 | #Constraints: 79599
1392.00/1397.37 c #Conflicts: 549000 | #Constraints: 80599
1392.00/1397.37 c bounds 121 >= 36 @ 1382.82
1418.92/1424.38 c #Conflicts: 550000 | #Constraints: 81611
1418.92/1424.38 c #Conflicts: 551000 | #Constraints: 82611
1418.92/1424.38 c #Conflicts: 552000 | #Constraints: 83611
1418.92/1424.38 c #Conflicts: 553000 | #Constraints: 84611
1418.92/1424.38 c #Conflicts: 554000 | #Constraints: 85611
1418.92/1424.38 c #Conflicts: 555000 | #Constraints: 86611
1418.92/1424.38 c #Conflicts: 556000 | #Constraints: 87611
1418.92/1424.38 c #Conflicts: 557000 | #Constraints: 88611
1418.92/1424.38 c #Conflicts: 558000 | #Constraints: 89611
1418.92/1424.38 c #Conflicts: 559000 | #Constraints: 90611
1418.92/1424.38 c #Conflicts: 560000 | #Constraints: 91611
1418.92/1424.38 c #Conflicts: 561000 | #Constraints: 92611
1418.92/1424.38 c INPROCESSING
1418.92/1424.38 c GARBAGE COLLECT
1418.92/1424.38 c rational objective 36
1452.21/1457.70 c #Conflicts: 562000 | #Constraints: 78763
1452.21/1457.70 c #Conflicts: 563000 | #Constraints: 79763
1452.21/1457.70 c #Conflicts: 564000 | #Constraints: 80763
1452.21/1457.70 c #Conflicts: 565000 | #Constraints: 81763
1452.21/1457.70 c #Conflicts: 566000 | #Constraints: 82763
1452.21/1457.70 c #Conflicts: 567000 | #Constraints: 83763
1452.21/1457.70 c #Conflicts: 568000 | #Constraints: 84763
1452.21/1457.70 c bounds 121 >= 37 @ 1442.62
1483.73/1489.36 c #Conflicts: 569000 | #Constraints: 85784
1483.73/1489.36 c #Conflicts: 570000 | #Constraints: 86784
1483.73/1489.36 c #Conflicts: 571000 | #Constraints: 87784
1483.73/1489.36 c #Conflicts: 572000 | #Constraints: 88784
1483.73/1489.36 c #Conflicts: 573000 | #Constraints: 89784
1483.73/1489.36 c #Conflicts: 574000 | #Constraints: 90784
1483.73/1489.36 c #Conflicts: 575000 | #Constraints: 91784
1483.73/1489.36 c #Conflicts: 576000 | #Constraints: 92784
1483.73/1489.36 c INPROCESSING
1483.73/1489.36 c GARBAGE COLLECT
1483.73/1489.36 c rational objective 37
1504.08/1509.77 c #Conflicts: 577000 | #Constraints: 78864
1504.08/1509.77 c #Conflicts: 578000 | #Constraints: 79864
1504.08/1509.77 c #Conflicts: 579000 | #Constraints: 80864
1504.08/1509.77 c #Conflicts: 580000 | #Constraints: 81864
1504.08/1509.77 c #Conflicts: 581000 | #Constraints: 82864
1504.08/1509.77 c #Conflicts: 582000 | #Constraints: 83864
1504.08/1509.77 c #Conflicts: 583000 | #Constraints: 84864
1504.08/1509.77 c #Conflicts: 584000 | #Constraints: 85864
1504.08/1509.77 c #Conflicts: 585000 | #Constraints: 86864
1504.08/1509.77 c #Conflicts: 586000 | #Constraints: 87864
1504.08/1509.77 c #Conflicts: 587000 | #Constraints: 88864
1504.08/1509.77 c #Conflicts: 588000 | #Constraints: 89864
1504.08/1509.77 c #Conflicts: 589000 | #Constraints: 90864
1504.08/1509.77 c #Conflicts: 590000 | #Constraints: 91864
1504.08/1509.77 c #Conflicts: 591000 | #Constraints: 92864
1504.08/1509.77 c INPROCESSING
1504.08/1509.77 c GARBAGE COLLECT
1504.08/1509.77 c rational objective 37
1529.11/1534.86 c #Conflicts: 592000 | #Constraints: 78697
1529.11/1534.86 c #Conflicts: 593000 | #Constraints: 79697
1529.11/1534.86 c #Conflicts: 594000 | #Constraints: 80697
1529.11/1534.86 c #Conflicts: 595000 | #Constraints: 81697
1529.11/1534.86 c #Conflicts: 596000 | #Constraints: 82697
1529.11/1534.86 c #Conflicts: 597000 | #Constraints: 83697
1529.11/1534.86 c #Conflicts: 598000 | #Constraints: 84697
1529.11/1534.86 c #Conflicts: 599000 | #Constraints: 85697
1529.11/1534.86 c #Conflicts: 600000 | #Constraints: 86697
1529.11/1534.86 c #Conflicts: 601000 | #Constraints: 87697
1529.11/1534.86 c #Conflicts: 602000 | #Constraints: 88697
1529.11/1534.86 c #Conflicts: 603000 | #Constraints: 89697
1529.11/1534.86 c #Conflicts: 604000 | #Constraints: 90697
1529.11/1534.86 c #Conflicts: 605000 | #Constraints: 91697
1529.11/1534.86 c #Conflicts: 606000 | #Constraints: 92697
1529.11/1534.86 c #Conflicts: 607000 | #Constraints: 93697
1529.11/1534.86 c INPROCESSING
1529.11/1534.86 c GARBAGE COLLECT
1529.11/1534.86 c rational objective 37
1530.42/1536.18 c #Conflicts: 608000 | #Constraints: 79293
1530.42/1536.18 c bounds 121 >= 38 @ 1520.28
1531.31/1537.07 c #Conflicts: 609000 | #Constraints: 80305
1531.31/1537.07 c #Conflicts: 610000 | #Constraints: 81305
1531.31/1537.07 c #Conflicts: 611000 | #Constraints: 82305
1531.31/1537.07 c #Conflicts: 612000 | #Constraints: 83305
1531.31/1537.07 c bounds 121 >= 39 @ 1521.15
1560.12/1565.92 c #Conflicts: 613000 | #Constraints: 84329
1560.12/1565.92 c #Conflicts: 614000 | #Constraints: 85329
1560.12/1565.92 c #Conflicts: 615000 | #Constraints: 86329
1560.12/1565.92 c #Conflicts: 616000 | #Constraints: 87329
1560.12/1565.92 c #Conflicts: 617000 | #Constraints: 88329
1560.12/1565.92 c #Conflicts: 618000 | #Constraints: 89329
1560.12/1565.92 c #Conflicts: 619000 | #Constraints: 90329
1560.12/1565.92 c #Conflicts: 620000 | #Constraints: 91329
1560.12/1565.92 c #Conflicts: 621000 | #Constraints: 92329
1560.12/1565.92 c #Conflicts: 622000 | #Constraints: 93329
1560.12/1565.92 c #Conflicts: 623000 | #Constraints: 94329
1560.12/1565.92 c INPROCESSING
1560.12/1565.92 c GARBAGE COLLECT
1560.12/1565.92 c rational objective 39
1560.52/1566.34 c bounds 121 >= 40 @ 1550.17
1561.82/1567.65 c #Conflicts: 624000 | #Constraints: 79697
1561.82/1567.65 c #Conflicts: 625000 | #Constraints: 80697
1561.82/1567.65 c #Conflicts: 626000 | #Constraints: 81697
1561.82/1567.65 c #Conflicts: 627000 | #Constraints: 82697
1561.82/1567.65 c bounds 121 >= 41 @ 1551.46
1588.45/1594.39 c #Conflicts: 628000 | #Constraints: 83718
1588.45/1594.39 c #Conflicts: 629000 | #Constraints: 84718
1588.45/1594.39 c #Conflicts: 630000 | #Constraints: 85718
1588.45/1594.39 c #Conflicts: 631000 | #Constraints: 86718
1588.45/1594.39 c #Conflicts: 632000 | #Constraints: 87718
1588.45/1594.39 c #Conflicts: 633000 | #Constraints: 88718
1588.45/1594.39 c #Conflicts: 634000 | #Constraints: 89718
1588.45/1594.39 c #Conflicts: 635000 | #Constraints: 90718
1588.45/1594.39 c #Conflicts: 636000 | #Constraints: 91718
1588.45/1594.39 c #Conflicts: 637000 | #Constraints: 92718
1588.45/1594.39 c #Conflicts: 638000 | #Constraints: 93718
1588.45/1594.39 c #Conflicts: 639000 | #Constraints: 94718
1588.45/1594.39 c INPROCESSING
1588.45/1594.39 c GARBAGE COLLECT
1588.45/1594.39 c rational objective 41
1599.23/1605.14 c #Conflicts: 640000 | #Constraints: 79908
1599.23/1605.14 c #Conflicts: 641000 | #Constraints: 80908
1599.23/1605.14 c #Conflicts: 642000 | #Constraints: 81908
1599.23/1605.14 c #Conflicts: 643000 | #Constraints: 82908
1599.23/1605.14 c #Conflicts: 644000 | #Constraints: 83908
1599.23/1605.14 c #Conflicts: 645000 | #Constraints: 84908
1599.23/1605.14 c #Conflicts: 646000 | #Constraints: 85908
1599.23/1605.14 c #Conflicts: 647000 | #Constraints: 86908
1599.23/1605.14 c #Conflicts: 648000 | #Constraints: 87908
1599.23/1605.14 c #Conflicts: 649000 | #Constraints: 88908
1599.23/1605.14 c #Conflicts: 650000 | #Constraints: 89908
1599.23/1605.14 c #Conflicts: 651000 | #Constraints: 90908
1599.23/1605.14 c #Conflicts: 652000 | #Constraints: 91908
1599.23/1605.14 c #Conflicts: 653000 | #Constraints: 92908
1599.23/1605.14 c #Conflicts: 654000 | #Constraints: 93908
1599.23/1605.14 c #Conflicts: 655000 | #Constraints: 94908
1599.23/1605.14 c INPROCESSING
1599.23/1605.14 c GARBAGE COLLECT
1599.23/1605.14 c rational objective 41
1623.45/1629.45 c #Conflicts: 656000 | #Constraints: 79955
1623.45/1629.45 c #Conflicts: 657000 | #Constraints: 80955
1623.45/1629.45 c #Conflicts: 658000 | #Constraints: 81955
1623.45/1629.45 c #Conflicts: 659000 | #Constraints: 82955
1623.45/1629.45 c #Conflicts: 660000 | #Constraints: 83955
1623.45/1629.45 c #Conflicts: 661000 | #Constraints: 84955
1623.45/1629.45 c #Conflicts: 662000 | #Constraints: 85955
1623.45/1629.45 c #Conflicts: 663000 | #Constraints: 86955
1623.45/1629.45 c #Conflicts: 664000 | #Constraints: 87955
1623.45/1629.45 c #Conflicts: 665000 | #Constraints: 88955
1623.45/1629.45 c #Conflicts: 666000 | #Constraints: 89955
1623.45/1629.45 c #Conflicts: 667000 | #Constraints: 90955
1623.45/1629.45 c #Conflicts: 668000 | #Constraints: 91955
1623.45/1629.45 c bounds 121 >= 42 @ 1612.58
1660.15/1666.24 c #Conflicts: 669000 | #Constraints: 92973
1660.15/1666.24 c #Conflicts: 670000 | #Constraints: 93973
1660.15/1666.24 c #Conflicts: 671000 | #Constraints: 94973
1660.15/1666.24 c INPROCESSING
1660.15/1666.24 c GARBAGE COLLECT
1660.15/1666.24 c rational objective 42
1675.50/1681.69 c #Conflicts: 672000 | #Constraints: 79730
1675.50/1681.69 c #Conflicts: 673000 | #Constraints: 80730
1675.50/1681.69 c #Conflicts: 674000 | #Constraints: 81730
1675.50/1681.69 c #Conflicts: 675000 | #Constraints: 82730
1675.50/1681.69 c #Conflicts: 676000 | #Constraints: 83730
1675.50/1681.69 c #Conflicts: 677000 | #Constraints: 84730
1675.50/1681.69 c #Conflicts: 678000 | #Constraints: 85731
1675.50/1681.69 c #Conflicts: 679000 | #Constraints: 86731
1675.50/1681.69 c #Conflicts: 680000 | #Constraints: 87731
1675.50/1681.69 c #Conflicts: 681000 | #Constraints: 88731
1675.50/1681.69 c #Conflicts: 682000 | #Constraints: 89731
1675.50/1681.69 c #Conflicts: 683000 | #Constraints: 90731
1675.50/1681.69 c #Conflicts: 684000 | #Constraints: 91731
1675.50/1681.69 c #Conflicts: 685000 | #Constraints: 92731
1675.50/1681.69 c #Conflicts: 686000 | #Constraints: 93731
1675.50/1681.69 c #Conflicts: 687000 | #Constraints: 94732
1675.50/1681.69 c #Conflicts: 688000 | #Constraints: 95732
1675.50/1681.69 c INPROCESSING
1675.50/1681.69 c GARBAGE COLLECT
1675.50/1681.69 c rational objective 42
1700.84/1707.01 c #Conflicts: 689000 | #Constraints: 80297
1700.84/1707.01 c #Conflicts: 690000 | #Constraints: 81297
1700.84/1707.01 c #Conflicts: 691000 | #Constraints: 82297
1700.84/1707.01 c #Conflicts: 692000 | #Constraints: 83297
1700.84/1707.01 c #Conflicts: 693000 | #Constraints: 84297
1700.84/1707.01 c #Conflicts: 694000 | #Constraints: 85297
1700.84/1707.01 c #Conflicts: 695000 | #Constraints: 86297
1700.84/1707.01 c #Conflicts: 696000 | #Constraints: 87297
1700.84/1707.01 c #Conflicts: 697000 | #Constraints: 88297
1700.84/1707.01 c #Conflicts: 698000 | #Constraints: 89297
1700.84/1707.01 c #Conflicts: 699000 | #Constraints: 90297
1700.84/1707.01 c #Conflicts: 700000 | #Constraints: 91297
1700.84/1707.01 c #Conflicts: 701000 | #Constraints: 92297
1700.84/1707.01 c #Conflicts: 702000 | #Constraints: 93297
1700.84/1707.01 c #Conflicts: 703000 | #Constraints: 94297
1700.84/1707.01 c #Conflicts: 704000 | #Constraints: 95297
1700.84/1707.01 c #Conflicts: 705000 | #Constraints: 96297
1700.84/1707.01 c INPROCESSING
1700.84/1707.01 c GARBAGE COLLECT
1700.84/1707.01 c rational objective 42
1723.88/1730.16 c #Conflicts: 706000 | #Constraints: 80700
1723.88/1730.16 c #Conflicts: 707000 | #Constraints: 81700
1723.88/1730.16 c #Conflicts: 708000 | #Constraints: 82700
1723.88/1730.16 c #Conflicts: 709000 | #Constraints: 83700
1723.88/1730.16 c #Conflicts: 710000 | #Constraints: 84700
1723.88/1730.16 c bounds 121 >= 43 @ 1712.37
1773.44/1779.82 c #Conflicts: 711000 | #Constraints: 85718
1773.44/1779.82 c #Conflicts: 712000 | #Constraints: 86718
1773.44/1779.82 c #Conflicts: 713000 | #Constraints: 87718
1773.44/1779.82 c #Conflicts: 714000 | #Constraints: 88718
1773.44/1779.82 c #Conflicts: 715000 | #Constraints: 89718
1773.44/1779.82 c #Conflicts: 716000 | #Constraints: 90718
1773.44/1779.82 c #Conflicts: 717000 | #Constraints: 91718
1773.44/1779.82 c #Conflicts: 718000 | #Constraints: 92718
1773.44/1779.82 c #Conflicts: 719000 | #Constraints: 93718
1773.44/1779.82 c #Conflicts: 720000 | #Constraints: 94718
1773.44/1779.82 c #Conflicts: 721000 | #Constraints: 95718
1773.44/1779.82 c #Conflicts: 722000 | #Constraints: 96718
1773.44/1779.82 c INPROCESSING
1773.44/1779.82 c GARBAGE COLLECT
1773.44/1779.82 c rational objective 43
1799.47/1805.99 c #Conflicts: 723000 | #Constraints: 80915
1799.47/1805.99 c #Conflicts: 724000 | #Constraints: 81915
1799.47/1805.99 c #Conflicts: 725000 | #Constraints: 82915
1799.47/1805.99 c #Conflicts: 726000 | #Constraints: 83915
1799.47/1805.99 c #Conflicts: 727000 | #Constraints: 84915
1799.47/1805.99 c #Conflicts: 728000 | #Constraints: 85915
1799.47/1805.99 c #Conflicts: 729000 | #Constraints: 86915
1799.47/1805.99 c #Conflicts: 730000 | #Constraints: 87915
1799.47/1805.99 c #Conflicts: 731000 | #Constraints: 88915
1799.47/1805.99 c #Conflicts: 732000 | #Constraints: 89915
1799.47/1805.99 c #Conflicts: 733000 | #Constraints: 90915
1799.47/1805.99 c #Conflicts: 734000 | #Constraints: 91915
1799.47/1805.99 c #Conflicts: 735000 | #Constraints: 92915
1799.47/1805.99 c #Conflicts: 736000 | #Constraints: 93915
1799.47/1805.99 c #Conflicts: 737000 | #Constraints: 94915
1799.47/1805.99 c #Conflicts: 738000 | #Constraints: 95915
1799.47/1805.99 c #Conflicts: 739000 | #Constraints: 96915
1799.47/1805.99 c INPROCESSING
1799.47/1805.99 c GARBAGE COLLECT
1799.47/1805.99 c rational objective 43
1817.31/1823.85 c #Conflicts: 740000 | #Constraints: 80874
1817.31/1823.85 c #Conflicts: 741000 | #Constraints: 81874
1817.31/1823.85 c #Conflicts: 742000 | #Constraints: 82874
1817.31/1823.85 c #Conflicts: 743000 | #Constraints: 83874
1817.31/1823.85 c #Conflicts: 744000 | #Constraints: 84874
1817.31/1823.85 c #Conflicts: 745000 | #Constraints: 85874
1817.31/1823.85 c #Conflicts: 746000 | #Constraints: 86874
1817.31/1823.85 c #Conflicts: 747000 | #Constraints: 87874
1817.31/1823.85 c #Conflicts: 748000 | #Constraints: 88874
1817.31/1823.85 c #Conflicts: 749000 | #Constraints: 89874
1817.31/1823.85 c #Conflicts: 750000 | #Constraints: 90874
1817.31/1823.85 c #Conflicts: 751000 | #Constraints: 91874
1817.31/1823.85 c #Conflicts: 752000 | #Constraints: 92874
1817.31/1823.85 c #Conflicts: 753000 | #Constraints: 93874
1817.31/1823.85 c #Conflicts: 754000 | #Constraints: 94874
1817.31/1823.85 c #Conflicts: 755000 | #Constraints: 95874
1817.31/1823.85 c #Conflicts: 756000 | #Constraints: 96874
1817.31/1823.85 c INPROCESSING
1817.31/1823.85 c GARBAGE COLLECT
1817.31/1823.85 c rational objective 43
1842.25/1848.81 c #Conflicts: 757000 | #Constraints: 80699
1842.25/1848.81 c #Conflicts: 758000 | #Constraints: 81699
1842.25/1848.81 c #Conflicts: 759000 | #Constraints: 82699
1842.25/1848.81 c #Conflicts: 760000 | #Constraints: 83699
1842.25/1848.81 c #Conflicts: 761000 | #Constraints: 84699
1842.25/1848.81 c #Conflicts: 762000 | #Constraints: 85699
1842.25/1848.81 c #Conflicts: 763000 | #Constraints: 86699
1842.25/1848.81 c #Conflicts: 764000 | #Constraints: 87699
1842.25/1848.81 c #Conflicts: 765000 | #Constraints: 88699
1842.25/1848.81 c #Conflicts: 766000 | #Constraints: 89699
1842.25/1848.81 c #Conflicts: 767000 | #Constraints: 90699
1842.25/1848.81 c #Conflicts: 768000 | #Constraints: 91699
1842.25/1848.81 c #Conflicts: 769000 | #Constraints: 92699
1842.25/1848.81 c #Conflicts: 770000 | #Constraints: 93699
1842.25/1848.81 c #Conflicts: 771000 | #Constraints: 94699
1842.25/1848.81 c #Conflicts: 772000 | #Constraints: 95699
1842.25/1848.81 c #Conflicts: 773000 | #Constraints: 96699
1842.25/1848.81 c #Conflicts: 774000 | #Constraints: 97699
1842.25/1848.81 c INPROCESSING
1842.25/1848.81 c GARBAGE COLLECT
1842.25/1848.81 c rational objective 43
1866.49/1873.14 c #Conflicts: 775000 | #Constraints: 81301
1866.49/1873.14 c #Conflicts: 776000 | #Constraints: 82301
1866.49/1873.14 c #Conflicts: 777000 | #Constraints: 83301
1866.49/1873.14 c #Conflicts: 778000 | #Constraints: 84301
1866.49/1873.14 c #Conflicts: 779000 | #Constraints: 85301
1866.49/1873.14 c #Conflicts: 780000 | #Constraints: 86302
1866.49/1873.14 c #Conflicts: 781000 | #Constraints: 87302
1866.49/1873.14 c #Conflicts: 782000 | #Constraints: 88302
1866.49/1873.14 c #Conflicts: 783000 | #Constraints: 89302
1866.49/1873.14 c #Conflicts: 784000 | #Constraints: 90302
1866.49/1873.14 c #Conflicts: 785000 | #Constraints: 91302
1866.49/1873.14 c #Conflicts: 786000 | #Constraints: 92302
1866.49/1873.14 c #Conflicts: 787000 | #Constraints: 93302
1866.49/1873.14 c #Conflicts: 788000 | #Constraints: 94302
1866.49/1873.14 c #Conflicts: 789000 | #Constraints: 95302
1866.49/1873.14 c #Conflicts: 790000 | #Constraints: 96302
1866.49/1873.14 c #Conflicts: 791000 | #Constraints: 97302
1866.49/1873.14 c #Conflicts: 792000 | #Constraints: 98302
1866.49/1873.14 c INPROCESSING
1866.49/1873.14 c GARBAGE COLLECT
1866.49/1873.14 c rational objective 43
1889.91/1896.64 c #Conflicts: 793000 | #Constraints: 81727
1889.91/1896.64 c #Conflicts: 794000 | #Constraints: 82727
1889.91/1896.64 c #Conflicts: 795000 | #Constraints: 83727
1889.91/1896.64 c #Conflicts: 796000 | #Constraints: 84727
1889.91/1896.64 c #Conflicts: 797000 | #Constraints: 85727
1889.91/1896.64 c #Conflicts: 798000 | #Constraints: 86727
1889.91/1896.64 c #Conflicts: 799000 | #Constraints: 87727
1889.91/1896.64 c #Conflicts: 800000 | #Constraints: 88727
1889.91/1896.64 c #Conflicts: 801000 | #Constraints: 89727
1889.91/1896.64 c #Conflicts: 802000 | #Constraints: 90727
1889.91/1896.64 c #Conflicts: 803000 | #Constraints: 91727
1889.91/1896.64 c #Conflicts: 804000 | #Constraints: 92727
1889.91/1896.64 c #Conflicts: 805000 | #Constraints: 93727
1889.91/1896.64 c #Conflicts: 806000 | #Constraints: 94727
1889.91/1896.64 c #Conflicts: 807000 | #Constraints: 95727
1889.91/1896.64 c #Conflicts: 808000 | #Constraints: 96727
1889.91/1896.64 c #Conflicts: 809000 | #Constraints: 97727
1889.91/1896.64 c #Conflicts: 810000 | #Constraints: 98727
1889.91/1896.64 c INPROCESSING
1889.91/1896.64 c GARBAGE COLLECT
1889.91/1896.64 c rational objective 43
1924.00/1930.89 c #Conflicts: 811000 | #Constraints: 82009
1924.00/1930.89 c #Conflicts: 812000 | #Constraints: 83009
1924.00/1930.89 c #Conflicts: 813000 | #Constraints: 84009
1924.00/1930.89 c #Conflicts: 814000 | #Constraints: 85009
1924.00/1930.89 c #Conflicts: 815000 | #Constraints: 86009
1924.00/1930.89 c #Conflicts: 816000 | #Constraints: 87009
1924.00/1930.89 c #Conflicts: 817000 | #Constraints: 88009
1924.00/1930.89 c #Conflicts: 818000 | #Constraints: 89009
1924.00/1930.89 c #Conflicts: 819000 | #Constraints: 90009
1924.00/1930.89 c #Conflicts: 820000 | #Constraints: 91009
1924.00/1930.89 c #Conflicts: 821000 | #Constraints: 92009
1924.00/1930.89 c #Conflicts: 822000 | #Constraints: 93009
1924.00/1930.89 c #Conflicts: 823000 | #Constraints: 94009
1924.00/1930.89 c #Conflicts: 824000 | #Constraints: 95009
1924.00/1930.89 c #Conflicts: 825000 | #Constraints: 96009
1924.00/1930.89 c #Conflicts: 826000 | #Constraints: 97009
1924.00/1930.89 c #Conflicts: 827000 | #Constraints: 98009
1924.00/1930.89 c #Conflicts: 828000 | #Constraints: 99009
1924.00/1930.89 c INPROCESSING
1924.00/1930.89 c GARBAGE COLLECT
1924.00/1930.89 c rational objective 43
1948.43/1955.32 c #Conflicts: 829000 | #Constraints: 81984
1948.43/1955.32 c #Conflicts: 830000 | #Constraints: 82984
1948.43/1955.32 c #Conflicts: 831000 | #Constraints: 83984
1948.43/1955.32 c #Conflicts: 832000 | #Constraints: 84984
1948.43/1955.32 c #Conflicts: 833000 | #Constraints: 85984
1948.43/1955.32 c #Conflicts: 834000 | #Constraints: 86984
1948.43/1955.32 c #Conflicts: 835000 | #Constraints: 87984
1948.43/1955.32 c #Conflicts: 836000 | #Constraints: 88984
1948.43/1955.32 c #Conflicts: 837000 | #Constraints: 89984
1948.43/1955.32 c #Conflicts: 838000 | #Constraints: 90984
1948.43/1955.32 c #Conflicts: 839000 | #Constraints: 91984
1948.43/1955.32 c #Conflicts: 840000 | #Constraints: 92984
1948.43/1955.32 c #Conflicts: 841000 | #Constraints: 93984
1948.43/1955.32 c #Conflicts: 842000 | #Constraints: 94984
1948.43/1955.32 c #Conflicts: 843000 | #Constraints: 95984
1948.43/1955.32 c #Conflicts: 844000 | #Constraints: 96984
1948.43/1955.32 c #Conflicts: 845000 | #Constraints: 97984
1948.43/1955.32 c #Conflicts: 846000 | #Constraints: 98984
1948.43/1955.32 c INPROCESSING
1948.43/1955.32 c GARBAGE COLLECT
1948.43/1955.32 c rational objective 43
1995.77/2002.81 c #Conflicts: 847000 | #Constraints: 81740
1995.77/2002.81 c #Conflicts: 848000 | #Constraints: 82740
1995.77/2002.81 c #Conflicts: 849000 | #Constraints: 83740
1995.77/2002.81 c #Conflicts: 850000 | #Constraints: 84740
1995.77/2002.81 c #Conflicts: 851000 | #Constraints: 85740
1995.77/2002.81 c #Conflicts: 852000 | #Constraints: 86740
1995.77/2002.81 c #Conflicts: 853000 | #Constraints: 87740
1995.77/2002.81 c #Conflicts: 854000 | #Constraints: 88740
1995.77/2002.81 c #Conflicts: 855000 | #Constraints: 89740
1995.77/2002.81 c #Conflicts: 856000 | #Constraints: 90740
1995.77/2002.81 c #Conflicts: 857000 | #Constraints: 91740
1995.77/2002.81 c #Conflicts: 858000 | #Constraints: 92740
1995.77/2002.81 c #Conflicts: 859000 | #Constraints: 93740
1995.77/2002.81 c #Conflicts: 860000 | #Constraints: 94740
1995.77/2002.81 c #Conflicts: 861000 | #Constraints: 95740
1995.77/2002.81 c #Conflicts: 862000 | #Constraints: 96740
1995.77/2002.81 c #Conflicts: 863000 | #Constraints: 97740
1995.77/2002.81 c #Conflicts: 864000 | #Constraints: 98740
1995.77/2002.81 c #Conflicts: 865000 | #Constraints: 99740
1995.77/2002.81 c INPROCESSING
1995.77/2002.81 c GARBAGE COLLECT
1995.77/2002.81 c rational objective 43
2055.51/2062.77 c #Conflicts: 866000 | #Constraints: 82358
2055.51/2062.77 c #Conflicts: 867000 | #Constraints: 83358
2055.51/2062.77 c #Conflicts: 868000 | #Constraints: 84358
2055.51/2062.77 c #Conflicts: 869000 | #Constraints: 85358
2055.51/2062.77 c #Conflicts: 870000 | #Constraints: 86358
2055.51/2062.77 c #Conflicts: 871000 | #Constraints: 87358
2055.51/2062.77 c #Conflicts: 872000 | #Constraints: 88358
2055.51/2062.77 c #Conflicts: 873000 | #Constraints: 89358
2055.51/2062.77 c #Conflicts: 874000 | #Constraints: 90358
2055.51/2062.77 c #Conflicts: 875000 | #Constraints: 91358
2055.51/2062.77 c #Conflicts: 876000 | #Constraints: 92358
2055.51/2062.77 c #Conflicts: 877000 | #Constraints: 93358
2055.51/2062.77 c #Conflicts: 878000 | #Constraints: 94358
2055.51/2062.77 c #Conflicts: 879000 | #Constraints: 95358
2055.51/2062.77 c #Conflicts: 880000 | #Constraints: 96358
2055.51/2062.77 c #Conflicts: 881000 | #Constraints: 97358
2055.51/2062.77 c #Conflicts: 882000 | #Constraints: 98358
2055.51/2062.77 c #Conflicts: 883000 | #Constraints: 99358
2055.51/2062.77 c #Conflicts: 884000 | #Constraints: 100358
2055.51/2062.77 c INPROCESSING
2055.51/2062.77 c GARBAGE COLLECT
2055.51/2062.77 c rational objective 43
2081.62/2088.91 c #Conflicts: 885000 | #Constraints: 82813
2081.62/2088.91 c #Conflicts: 886000 | #Constraints: 83813
2081.62/2088.91 c #Conflicts: 887000 | #Constraints: 84813
2081.62/2088.91 c #Conflicts: 888000 | #Constraints: 85813
2081.62/2088.91 c #Conflicts: 889000 | #Constraints: 86813
2081.62/2088.91 c #Conflicts: 890000 | #Constraints: 87813
2081.62/2088.91 c #Conflicts: 891000 | #Constraints: 88813
2081.62/2088.91 c #Conflicts: 892000 | #Constraints: 89813
2081.62/2088.91 c #Conflicts: 893000 | #Constraints: 90813
2081.62/2088.91 c #Conflicts: 894000 | #Constraints: 91813
2081.62/2088.91 c #Conflicts: 895000 | #Constraints: 92813
2081.62/2088.91 c #Conflicts: 896000 | #Constraints: 93813
2081.62/2088.91 c #Conflicts: 897000 | #Constraints: 94813
2081.62/2088.91 c #Conflicts: 898000 | #Constraints: 95813
2081.62/2088.91 c #Conflicts: 899000 | #Constraints: 96813
2081.62/2088.91 c #Conflicts: 900000 | #Constraints: 97813
2081.62/2088.91 c #Conflicts: 901000 | #Constraints: 98813
2081.62/2088.91 c #Conflicts: 902000 | #Constraints: 99813
2081.62/2088.91 c #Conflicts: 903000 | #Constraints: 100813
2081.62/2088.91 c INPROCESSING
2081.62/2088.91 c GARBAGE COLLECT
2081.62/2088.91 c rational objective 43
2123.90/2131.37 c #Conflicts: 904000 | #Constraints: 82954
2123.90/2131.37 c #Conflicts: 905000 | #Constraints: 83954
2123.90/2131.37 c #Conflicts: 906000 | #Constraints: 84954
2123.90/2131.37 c #Conflicts: 907000 | #Constraints: 85954
2123.90/2131.37 c #Conflicts: 908000 | #Constraints: 86954
2123.90/2131.37 c #Conflicts: 909000 | #Constraints: 87954
2123.90/2131.37 c #Conflicts: 910000 | #Constraints: 88954
2123.90/2131.37 c #Conflicts: 911000 | #Constraints: 89954
2123.90/2131.37 c #Conflicts: 912000 | #Constraints: 90954
2123.90/2131.37 c #Conflicts: 913000 | #Constraints: 91954
2123.90/2131.37 c #Conflicts: 914000 | #Constraints: 92954
2123.90/2131.37 c #Conflicts: 915000 | #Constraints: 93954
2123.90/2131.37 c #Conflicts: 916000 | #Constraints: 94954
2123.90/2131.37 c #Conflicts: 917000 | #Constraints: 95954
2123.90/2131.37 c #Conflicts: 918000 | #Constraints: 96954
2123.90/2131.37 c #Conflicts: 919000 | #Constraints: 97954
2123.90/2131.37 c #Conflicts: 920000 | #Constraints: 98954
2123.90/2131.37 c #Conflicts: 921000 | #Constraints: 99954
2123.90/2131.37 c #Conflicts: 922000 | #Constraints: 100954
2123.90/2131.37 c INPROCESSING
2123.90/2131.37 c GARBAGE COLLECT
2123.90/2131.37 c rational objective 43
2137.06/2144.50 c #Conflicts: 923000 | #Constraints: 82958
2137.06/2144.50 c #Conflicts: 924000 | #Constraints: 83958
2137.06/2144.50 c #Conflicts: 925000 | #Constraints: 84958
2137.06/2144.50 c #Conflicts: 926000 | #Constraints: 85958
2137.06/2144.50 c #Conflicts: 927000 | #Constraints: 86958
2137.06/2144.50 c #Conflicts: 928000 | #Constraints: 87958
2137.06/2144.50 c #Conflicts: 929000 | #Constraints: 88958
2137.06/2144.50 c #Conflicts: 930000 | #Constraints: 89958
2137.06/2144.50 c #Conflicts: 931000 | #Constraints: 90958
2137.06/2144.50 c #Conflicts: 932000 | #Constraints: 91958
2137.06/2144.50 c #Conflicts: 933000 | #Constraints: 92958
2137.06/2144.50 c #Conflicts: 934000 | #Constraints: 93958
2137.06/2144.50 c #Conflicts: 935000 | #Constraints: 94958
2137.06/2144.50 c #Conflicts: 936000 | #Constraints: 95958
2137.06/2144.50 c #Conflicts: 937000 | #Constraints: 96958
2137.06/2144.50 c #Conflicts: 938000 | #Constraints: 97958
2137.06/2144.50 c #Conflicts: 939000 | #Constraints: 98958
2137.06/2144.50 c #Conflicts: 940000 | #Constraints: 99959
2137.06/2144.50 c #Conflicts: 941000 | #Constraints: 100960
2137.06/2144.50 c INPROCESSING
2137.06/2144.50 c GARBAGE COLLECT
2137.06/2144.50 c rational objective 43
2158.90/2166.49 c #Conflicts: 942000 | #Constraints: 82826
2158.90/2166.49 c #Conflicts: 943000 | #Constraints: 83827
2158.90/2166.49 c #Conflicts: 944000 | #Constraints: 84827
2158.90/2166.49 c #Conflicts: 945000 | #Constraints: 85827
2158.90/2166.49 c #Conflicts: 946000 | #Constraints: 86827
2158.90/2166.49 c #Conflicts: 947000 | #Constraints: 87827
2158.90/2166.49 c #Conflicts: 948000 | #Constraints: 88827
2158.90/2166.49 c #Conflicts: 949000 | #Constraints: 89827
2158.90/2166.49 c #Conflicts: 950000 | #Constraints: 90827
2158.90/2166.49 c #Conflicts: 951000 | #Constraints: 91827
2158.90/2166.49 c #Conflicts: 952000 | #Constraints: 92827
2158.90/2166.49 c #Conflicts: 953000 | #Constraints: 93827
2158.90/2166.49 c #Conflicts: 954000 | #Constraints: 94827
2158.90/2166.49 c #Conflicts: 955000 | #Constraints: 95827
2158.90/2166.49 c #Conflicts: 956000 | #Constraints: 96827
2158.90/2166.49 c #Conflicts: 957000 | #Constraints: 97827
2158.90/2166.49 c #Conflicts: 958000 | #Constraints: 98827
2158.90/2166.49 c #Conflicts: 959000 | #Constraints: 99827
2158.90/2166.49 c #Conflicts: 960000 | #Constraints: 100827
2158.90/2166.49 c #Conflicts: 961000 | #Constraints: 101827
2158.90/2166.49 c INPROCESSING
2158.90/2166.49 c GARBAGE COLLECT
2158.90/2166.49 c rational objective 43
2190.62/2198.24 c #Conflicts: 962000 | #Constraints: 83356
2190.62/2198.24 c #Conflicts: 963000 | #Constraints: 84356
2190.62/2198.24 c #Conflicts: 964000 | #Constraints: 85356
2190.62/2198.24 c #Conflicts: 965000 | #Constraints: 86356
2190.62/2198.24 c #Conflicts: 966000 | #Constraints: 87356
2190.62/2198.24 c #Conflicts: 967000 | #Constraints: 88356
2190.62/2198.24 c #Conflicts: 968000 | #Constraints: 89356
2190.62/2198.24 c #Conflicts: 969000 | #Constraints: 90356
2190.62/2198.24 c #Conflicts: 970000 | #Constraints: 91356
2190.62/2198.24 c #Conflicts: 971000 | #Constraints: 92356
2190.62/2198.24 c #Conflicts: 972000 | #Constraints: 93356
2190.62/2198.24 c #Conflicts: 973000 | #Constraints: 94356
2190.62/2198.24 c #Conflicts: 974000 | #Constraints: 95356
2190.62/2198.24 c #Conflicts: 975000 | #Constraints: 96356
2190.62/2198.24 c #Conflicts: 976000 | #Constraints: 97356
2190.62/2198.24 c #Conflicts: 977000 | #Constraints: 98356
2190.62/2198.24 c #Conflicts: 978000 | #Constraints: 99356
2190.62/2198.24 c #Conflicts: 979000 | #Constraints: 100356
2190.62/2198.24 c #Conflicts: 980000 | #Constraints: 101356
2190.62/2198.24 c #Conflicts: 981000 | #Constraints: 102356
2190.62/2198.24 c INPROCESSING
2190.62/2198.24 c GARBAGE COLLECT
2190.62/2198.24 c rational objective 43
2216.35/2224.04 c #Conflicts: 982000 | #Constraints: 83744
2216.35/2224.04 c #Conflicts: 983000 | #Constraints: 84744
2216.35/2224.04 c #Conflicts: 984000 | #Constraints: 85744
2216.35/2224.04 c #Conflicts: 985000 | #Constraints: 86744
2216.35/2224.04 c #Conflicts: 986000 | #Constraints: 87744
2216.35/2224.04 c #Conflicts: 987000 | #Constraints: 88744
2216.35/2224.04 c #Conflicts: 988000 | #Constraints: 89744
2216.35/2224.04 c #Conflicts: 989000 | #Constraints: 90744
2216.35/2224.04 c #Conflicts: 990000 | #Constraints: 91744
2216.35/2224.04 c #Conflicts: 991000 | #Constraints: 92744
2216.35/2224.04 c #Conflicts: 992000 | #Constraints: 93744
2216.35/2224.04 c #Conflicts: 993000 | #Constraints: 94744
2216.35/2224.04 c #Conflicts: 994000 | #Constraints: 95744
2216.35/2224.04 c #Conflicts: 995000 | #Constraints: 96744
2216.35/2224.04 c #Conflicts: 996000 | #Constraints: 97744
2216.35/2224.04 c #Conflicts: 997000 | #Constraints: 98744
2216.35/2224.04 c #Conflicts: 998000 | #Constraints: 99744
2216.35/2224.04 c #Conflicts: 999000 | #Constraints: 100744
2216.35/2224.04 c #Conflicts: 1000000 | #Constraints: 101744
2216.35/2224.04 c #Conflicts: 1001000 | #Constraints: 102744
2216.35/2224.04 c INPROCESSING
2216.35/2224.04 c GARBAGE COLLECT
2216.35/2224.04 c rational objective 43
2241.77/2249.56 c #Conflicts: 1002000 | #Constraints: 84012
2241.77/2249.56 c #Conflicts: 1003000 | #Constraints: 85012
2241.77/2249.56 c #Conflicts: 1004000 | #Constraints: 86012
2241.77/2249.56 c #Conflicts: 1005000 | #Constraints: 87012
2241.77/2249.56 c #Conflicts: 1006000 | #Constraints: 88012
2241.77/2249.56 c #Conflicts: 1007000 | #Constraints: 89012
2241.77/2249.56 c #Conflicts: 1008000 | #Constraints: 90012
2241.77/2249.56 c #Conflicts: 1009000 | #Constraints: 91012
2241.77/2249.56 c #Conflicts: 1010000 | #Constraints: 92012
2241.77/2249.56 c #Conflicts: 1011000 | #Constraints: 93012
2241.77/2249.56 c #Conflicts: 1012000 | #Constraints: 94012
2241.77/2249.56 c #Conflicts: 1013000 | #Constraints: 95012
2241.77/2249.56 c #Conflicts: 1014000 | #Constraints: 96012
2241.77/2249.56 c #Conflicts: 1015000 | #Constraints: 97012
2241.77/2249.56 c #Conflicts: 1016000 | #Constraints: 98012
2241.77/2249.56 c #Conflicts: 1017000 | #Constraints: 99012
2241.77/2249.56 c #Conflicts: 1018000 | #Constraints: 100012
2241.77/2249.56 c #Conflicts: 1019000 | #Constraints: 101012
2241.77/2249.56 c #Conflicts: 1020000 | #Constraints: 102012
2241.77/2249.56 c #Conflicts: 1021000 | #Constraints: 103012
2241.77/2249.56 c INPROCESSING
2241.77/2249.56 c GARBAGE COLLECT
2241.77/2249.56 c rational objective 43
2272.16/2280.01 c #Conflicts: 1022000 | #Constraints: 83984
2272.16/2280.01 c #Conflicts: 1023000 | #Constraints: 84984
2272.16/2280.01 c #Conflicts: 1024000 | #Constraints: 85984
2272.16/2280.01 c #Conflicts: 1025000 | #Constraints: 86984
2272.16/2280.01 c #Conflicts: 1026000 | #Constraints: 87984
2272.16/2280.01 c #Conflicts: 1027000 | #Constraints: 88984
2272.16/2280.01 c #Conflicts: 1028000 | #Constraints: 89984
2272.16/2280.01 c #Conflicts: 1029000 | #Constraints: 90984
2272.16/2280.01 c #Conflicts: 1030000 | #Constraints: 91984
2272.16/2280.01 c #Conflicts: 1031000 | #Constraints: 92984
2272.16/2280.01 c #Conflicts: 1032000 | #Constraints: 93984
2272.16/2280.01 c #Conflicts: 1033000 | #Constraints: 94984
2272.16/2280.01 c #Conflicts: 1034000 | #Constraints: 95984
2272.16/2280.01 c #Conflicts: 1035000 | #Constraints: 96984
2272.16/2280.01 c #Conflicts: 1036000 | #Constraints: 97984
2272.16/2280.01 c #Conflicts: 1037000 | #Constraints: 98984
2272.16/2280.01 c #Conflicts: 1038000 | #Constraints: 99984
2272.16/2280.01 c #Conflicts: 1039000 | #Constraints: 100984
2272.16/2280.01 c #Conflicts: 1040000 | #Constraints: 101984
2272.16/2280.01 c #Conflicts: 1041000 | #Constraints: 102984
2272.16/2280.01 c INPROCESSING
2272.16/2280.01 c GARBAGE COLLECT
2272.16/2280.01 c rational objective 43
2299.19/2307.18 c #Conflicts: 1042000 | #Constraints: 83745
2299.19/2307.18 c #Conflicts: 1043000 | #Constraints: 84745
2299.19/2307.18 c #Conflicts: 1044000 | #Constraints: 85746
2299.19/2307.18 c #Conflicts: 1045000 | #Constraints: 86746
2299.19/2307.18 c #Conflicts: 1046000 | #Constraints: 87746
2299.19/2307.18 c #Conflicts: 1047000 | #Constraints: 88746
2299.19/2307.18 c #Conflicts: 1048000 | #Constraints: 89746
2299.19/2307.18 c #Conflicts: 1049000 | #Constraints: 90746
2299.19/2307.18 c #Conflicts: 1050000 | #Constraints: 91746
2299.19/2307.18 c #Conflicts: 1051000 | #Constraints: 92746
2299.19/2307.18 c #Conflicts: 1052000 | #Constraints: 93746
2299.19/2307.18 c #Conflicts: 1053000 | #Constraints: 94746
2299.19/2307.18 c #Conflicts: 1054000 | #Constraints: 95746
2299.19/2307.18 c #Conflicts: 1055000 | #Constraints: 96746
2299.19/2307.18 c #Conflicts: 1056000 | #Constraints: 97746
2299.19/2307.18 c #Conflicts: 1057000 | #Constraints: 98746
2299.19/2307.18 c #Conflicts: 1058000 | #Constraints: 99746
2299.19/2307.18 c #Conflicts: 1059000 | #Constraints: 100746
2299.19/2307.18 c #Conflicts: 1060000 | #Constraints: 101746
2299.19/2307.18 c #Conflicts: 1061000 | #Constraints: 102746
2299.19/2307.18 c #Conflicts: 1062000 | #Constraints: 103746
2299.19/2307.18 c INPROCESSING
2299.19/2307.18 c GARBAGE COLLECT
2299.19/2307.18 c rational objective 43
2324.13/2332.17 c #Conflicts: 1063000 | #Constraints: 84321
2324.13/2332.17 c #Conflicts: 1064000 | #Constraints: 85321
2324.13/2332.17 c #Conflicts: 1065000 | #Constraints: 86321
2324.13/2332.17 c #Conflicts: 1066000 | #Constraints: 87321
2324.13/2332.17 c #Conflicts: 1067000 | #Constraints: 88321
2324.13/2332.17 c #Conflicts: 1068000 | #Constraints: 89321
2324.13/2332.17 c #Conflicts: 1069000 | #Constraints: 90321
2324.13/2332.17 c #Conflicts: 1070000 | #Constraints: 91321
2324.13/2332.17 c #Conflicts: 1071000 | #Constraints: 92321
2324.13/2332.17 c #Conflicts: 1072000 | #Constraints: 93321
2324.13/2332.17 c #Conflicts: 1073000 | #Constraints: 94321
2324.13/2332.17 c #Conflicts: 1074000 | #Constraints: 95321
2324.13/2332.17 c #Conflicts: 1075000 | #Constraints: 96321
2324.13/2332.17 c #Conflicts: 1076000 | #Constraints: 97321
2324.13/2332.17 c #Conflicts: 1077000 | #Constraints: 98321
2324.13/2332.17 c #Conflicts: 1078000 | #Constraints: 99321
2324.13/2332.17 c #Conflicts: 1079000 | #Constraints: 100321
2324.13/2332.17 c #Conflicts: 1080000 | #Constraints: 101321
2324.13/2332.17 c #Conflicts: 1081000 | #Constraints: 102321
2324.13/2332.17 c #Conflicts: 1082000 | #Constraints: 103321
2324.13/2332.17 c #Conflicts: 1083000 | #Constraints: 104321
2324.13/2332.17 c INPROCESSING
2324.13/2332.17 c GARBAGE COLLECT
2324.13/2332.17 c rational objective 43
2352.73/2360.89 c #Conflicts: 1084000 | #Constraints: 84759
2352.73/2360.89 c #Conflicts: 1085000 | #Constraints: 85759
2352.73/2360.89 c #Conflicts: 1086000 | #Constraints: 86759
2352.73/2360.89 c #Conflicts: 1087000 | #Constraints: 87759
2352.73/2360.89 c #Conflicts: 1088000 | #Constraints: 88759
2352.73/2360.89 c #Conflicts: 1089000 | #Constraints: 89759
2352.73/2360.89 c #Conflicts: 1090000 | #Constraints: 90759
2352.73/2360.89 c #Conflicts: 1091000 | #Constraints: 91759
2352.73/2360.89 c #Conflicts: 1092000 | #Constraints: 92759
2352.73/2360.89 c #Conflicts: 1093000 | #Constraints: 93759
2352.73/2360.89 c #Conflicts: 1094000 | #Constraints: 94759
2352.73/2360.89 c #Conflicts: 1095000 | #Constraints: 95759
2352.73/2360.89 c #Conflicts: 1096000 | #Constraints: 96759
2352.73/2360.89 c #Conflicts: 1097000 | #Constraints: 97759
2352.73/2360.89 c #Conflicts: 1098000 | #Constraints: 98759
2352.73/2360.89 c #Conflicts: 1099000 | #Constraints: 99759
2352.73/2360.89 c #Conflicts: 1100000 | #Constraints: 100759
2352.73/2360.89 c #Conflicts: 1101000 | #Constraints: 101759
2352.73/2360.89 c #Conflicts: 1102000 | #Constraints: 102759
2352.73/2360.89 c #Conflicts: 1103000 | #Constraints: 103759
2352.73/2360.89 c #Conflicts: 1104000 | #Constraints: 104759
2352.73/2360.89 c INPROCESSING
2352.73/2360.89 c GARBAGE COLLECT
2352.73/2360.89 c rational objective 43
2391.11/2399.37 c #Conflicts: 1105000 | #Constraints: 84919
2391.11/2399.37 c #Conflicts: 1106000 | #Constraints: 85919
2391.11/2399.37 c #Conflicts: 1107000 | #Constraints: 86919
2391.11/2399.37 c #Conflicts: 1108000 | #Constraints: 87919
2391.11/2399.37 c #Conflicts: 1109000 | #Constraints: 88919
2391.11/2399.37 c #Conflicts: 1110000 | #Constraints: 89919
2391.11/2399.37 c #Conflicts: 1111000 | #Constraints: 90919
2391.11/2399.37 c #Conflicts: 1112000 | #Constraints: 91919
2391.11/2399.37 c #Conflicts: 1113000 | #Constraints: 92919
2391.11/2399.37 c #Conflicts: 1114000 | #Constraints: 93919
2391.11/2399.37 c #Conflicts: 1115000 | #Constraints: 94919
2391.11/2399.37 c #Conflicts: 1116000 | #Constraints: 95919
2391.11/2399.37 c #Conflicts: 1117000 | #Constraints: 96919
2391.11/2399.37 c #Conflicts: 1118000 | #Constraints: 97919
2391.11/2399.37 c #Conflicts: 1119000 | #Constraints: 98919
2391.11/2399.37 c #Conflicts: 1120000 | #Constraints: 99919
2391.11/2399.37 c #Conflicts: 1121000 | #Constraints: 100919
2391.11/2399.37 c #Conflicts: 1122000 | #Constraints: 101919
2391.11/2399.37 c #Conflicts: 1123000 | #Constraints: 102919
2391.11/2399.37 c #Conflicts: 1124000 | #Constraints: 103919
2391.11/2399.37 c #Conflicts: 1125000 | #Constraints: 104919
2391.11/2399.37 c INPROCESSING
2391.11/2399.37 c GARBAGE COLLECT
2391.11/2399.37 c rational objective 43
2448.13/2456.57 c #Conflicts: 1126000 | #Constraints: 84916
2448.13/2456.57 c #Conflicts: 1127000 | #Constraints: 85916
2448.13/2456.57 c #Conflicts: 1128000 | #Constraints: 86916
2448.13/2456.57 c #Conflicts: 1129000 | #Constraints: 87916
2448.13/2456.57 c #Conflicts: 1130000 | #Constraints: 88916
2448.13/2456.57 c #Conflicts: 1131000 | #Constraints: 89916
2448.13/2456.57 c #Conflicts: 1132000 | #Constraints: 90916
2448.13/2456.57 c #Conflicts: 1133000 | #Constraints: 91916
2448.13/2456.57 c #Conflicts: 1134000 | #Constraints: 92916
2448.13/2456.57 c #Conflicts: 1135000 | #Constraints: 93916
2448.13/2456.57 c #Conflicts: 1136000 | #Constraints: 94916
2448.13/2456.57 c #Conflicts: 1137000 | #Constraints: 95916
2448.13/2456.57 c #Conflicts: 1138000 | #Constraints: 96916
2448.13/2456.57 c #Conflicts: 1139000 | #Constraints: 97916
2448.13/2456.57 c #Conflicts: 1140000 | #Constraints: 98916
2448.13/2456.57 c #Conflicts: 1141000 | #Constraints: 99916
2448.13/2456.57 c #Conflicts: 1142000 | #Constraints: 100916
2448.13/2456.57 c #Conflicts: 1143000 | #Constraints: 101916
2448.13/2456.57 c #Conflicts: 1144000 | #Constraints: 102916
2448.13/2456.57 c #Conflicts: 1145000 | #Constraints: 103916
2448.13/2456.57 c #Conflicts: 1146000 | #Constraints: 104916
2448.13/2456.57 c INPROCESSING
2448.13/2456.57 c GARBAGE COLLECT
2448.13/2456.57 c rational objective 43
2614.83/2623.76 c #Conflicts: 1147000 | #Constraints: 84698
2614.83/2623.76 c #Conflicts: 1148000 | #Constraints: 85698
2614.83/2623.76 c #Conflicts: 1149000 | #Constraints: 86698
2614.83/2623.76 c #Conflicts: 1150000 | #Constraints: 87698
2614.83/2623.76 c #Conflicts: 1151000 | #Constraints: 88698
2614.83/2623.76 c #Conflicts: 1152000 | #Constraints: 89698
2614.83/2623.76 c #Conflicts: 1153000 | #Constraints: 90698
2614.83/2623.76 c #Conflicts: 1154000 | #Constraints: 91698
2614.83/2623.76 c #Conflicts: 1155000 | #Constraints: 92698
2614.83/2623.76 c #Conflicts: 1156000 | #Constraints: 93698
2614.83/2623.76 c #Conflicts: 1157000 | #Constraints: 94698
2614.83/2623.76 c #Conflicts: 1158000 | #Constraints: 95698
2614.83/2623.76 c #Conflicts: 1159000 | #Constraints: 96698
2614.83/2623.76 c #Conflicts: 1160000 | #Constraints: 97698
2614.83/2623.76 c #Conflicts: 1161000 | #Constraints: 98698
2614.83/2623.76 c #Conflicts: 1162000 | #Constraints: 99698
2614.83/2623.76 c #Conflicts: 1163000 | #Constraints: 100698
2614.83/2623.76 c #Conflicts: 1164000 | #Constraints: 101698
2614.83/2623.76 c #Conflicts: 1165000 | #Constraints: 102698
2614.83/2623.76 c #Conflicts: 1166000 | #Constraints: 103698
2614.83/2623.76 c #Conflicts: 1167000 | #Constraints: 104698
2614.83/2623.76 c #Conflicts: 1168000 | #Constraints: 105698
2614.83/2623.76 c INPROCESSING
2614.83/2623.76 c GARBAGE COLLECT
2614.83/2623.76 c rational objective 43
2639.96/2648.92 c #Conflicts: 1169000 | #Constraints: 85337
2639.96/2648.92 c #Conflicts: 1170000 | #Constraints: 86337
2639.96/2648.92 c #Conflicts: 1171000 | #Constraints: 87337
2639.96/2648.92 c #Conflicts: 1172000 | #Constraints: 88337
2639.96/2648.92 c #Conflicts: 1173000 | #Constraints: 89337
2639.96/2648.92 c #Conflicts: 1174000 | #Constraints: 90337
2639.96/2648.92 c #Conflicts: 1175000 | #Constraints: 91337
2639.96/2648.92 c #Conflicts: 1176000 | #Constraints: 92337
2639.96/2648.92 c #Conflicts: 1177000 | #Constraints: 93337
2639.96/2648.92 c #Conflicts: 1178000 | #Constraints: 94337
2639.96/2648.92 c #Conflicts: 1179000 | #Constraints: 95337
2639.96/2648.92 c #Conflicts: 1180000 | #Constraints: 96337
2639.96/2648.92 c #Conflicts: 1181000 | #Constraints: 97337
2639.96/2648.92 c #Conflicts: 1182000 | #Constraints: 98337
2639.96/2648.92 c #Conflicts: 1183000 | #Constraints: 99337
2639.96/2648.92 c #Conflicts: 1184000 | #Constraints: 100337
2639.96/2648.92 c #Conflicts: 1185000 | #Constraints: 101337
2639.96/2648.92 c #Conflicts: 1186000 | #Constraints: 102337
2639.96/2648.92 c #Conflicts: 1187000 | #Constraints: 103337
2639.96/2648.92 c #Conflicts: 1188000 | #Constraints: 104337
2639.96/2648.92 c #Conflicts: 1189000 | #Constraints: 105337
2639.96/2648.92 c #Conflicts: 1190000 | #Constraints: 106337
2639.96/2648.92 c INPROCESSING
2639.96/2648.92 c GARBAGE COLLECT
2639.96/2648.92 c rational objective 43
2720.00/2729.29 c #Conflicts: 1191000 | #Constraints: 85757
2720.00/2729.29 c #Conflicts: 1192000 | #Constraints: 86757
2720.00/2729.29 c #Conflicts: 1193000 | #Constraints: 87757
2720.00/2729.29 c #Conflicts: 1194000 | #Constraints: 88757
2720.00/2729.29 c #Conflicts: 1195000 | #Constraints: 89757
2720.00/2729.29 c #Conflicts: 1196000 | #Constraints: 90757
2720.00/2729.29 c #Conflicts: 1197000 | #Constraints: 91757
2720.00/2729.29 c #Conflicts: 1198000 | #Constraints: 92757
2720.00/2729.29 c #Conflicts: 1199000 | #Constraints: 93757
2720.00/2729.29 c #Conflicts: 1200000 | #Constraints: 94757
2720.00/2729.29 c #Conflicts: 1201000 | #Constraints: 95757
2720.00/2729.29 c #Conflicts: 1202000 | #Constraints: 96757
2720.00/2729.29 c #Conflicts: 1203000 | #Constraints: 97757
2720.00/2729.29 c #Conflicts: 1204000 | #Constraints: 98757
2720.00/2729.29 c #Conflicts: 1205000 | #Constraints: 99757
2720.00/2729.29 c #Conflicts: 1206000 | #Constraints: 100757
2720.00/2729.29 c #Conflicts: 1207000 | #Constraints: 101757
2720.00/2729.29 c #Conflicts: 1208000 | #Constraints: 102757
2720.00/2729.29 c #Conflicts: 1209000 | #Constraints: 103757
2720.00/2729.29 c #Conflicts: 1210000 | #Constraints: 104757
2720.00/2729.29 c #Conflicts: 1211000 | #Constraints: 105757
2720.00/2729.29 c #Conflicts: 1212000 | #Constraints: 106757
2720.00/2729.29 c INPROCESSING
2720.00/2729.29 c GARBAGE COLLECT
2720.00/2729.29 c rational objective 43
2856.01/2865.64 c #Conflicts: 1213000 | #Constraints: 85992
2856.01/2865.64 c #Conflicts: 1214000 | #Constraints: 86992
2856.01/2865.64 c #Conflicts: 1215000 | #Constraints: 87992
2856.01/2865.64 c #Conflicts: 1216000 | #Constraints: 88992
2856.01/2865.64 c #Conflicts: 1217000 | #Constraints: 89992
2856.01/2865.64 c #Conflicts: 1218000 | #Constraints: 90992
2856.01/2865.64 c #Conflicts: 1219000 | #Constraints: 91992
2856.01/2865.64 c #Conflicts: 1220000 | #Constraints: 92992
2856.01/2865.64 c #Conflicts: 1221000 | #Constraints: 93992
2856.01/2865.64 c #Conflicts: 1222000 | #Constraints: 94992
2856.01/2865.64 c #Conflicts: 1223000 | #Constraints: 95992
2856.01/2865.64 c #Conflicts: 1224000 | #Constraints: 96992
2856.01/2865.64 c #Conflicts: 1225000 | #Constraints: 97992
2856.01/2865.64 c #Conflicts: 1226000 | #Constraints: 98992
2856.01/2865.64 c #Conflicts: 1227000 | #Constraints: 99992
2856.01/2865.64 c #Conflicts: 1228000 | #Constraints: 100992
2856.01/2865.64 c #Conflicts: 1229000 | #Constraints: 101992
2856.01/2865.64 c #Conflicts: 1230000 | #Constraints: 102992
2856.01/2865.64 c #Conflicts: 1231000 | #Constraints: 103992
2856.01/2865.64 c #Conflicts: 1232000 | #Constraints: 104992
2856.01/2865.64 c #Conflicts: 1233000 | #Constraints: 105992
2856.01/2865.64 c #Conflicts: 1234000 | #Constraints: 106992
2856.01/2865.64 c INPROCESSING
2856.01/2865.64 c GARBAGE COLLECT
2856.01/2865.64 c rational objective 43
2857.01/2866.67 c #Conflicts: 1235000 | #Constraints: 86027
2857.01/2866.67 c bounds 121 >= 44 @ 2839.14
2857.11/2866.76 c bounds 121 >= 45 @ 2839.24
2998.82/3008.87 c #Conflicts: 1236000 | #Constraints: 87087
2998.82/3008.87 c #Conflicts: 1237000 | #Constraints: 88087
2998.82/3008.87 c #Conflicts: 1238000 | #Constraints: 89087
2998.82/3008.87 c #Conflicts: 1239000 | #Constraints: 90087
2998.82/3008.87 c #Conflicts: 1240000 | #Constraints: 91087
2998.82/3008.87 c #Conflicts: 1241000 | #Constraints: 92087
2998.82/3008.87 c #Conflicts: 1242000 | #Constraints: 93087
2998.82/3008.87 c #Conflicts: 1243000 | #Constraints: 94087
2998.82/3008.87 c #Conflicts: 1244000 | #Constraints: 95087
2998.82/3008.87 c #Conflicts: 1245000 | #Constraints: 96087
2998.82/3008.87 c #Conflicts: 1246000 | #Constraints: 97087
2998.82/3008.87 c #Conflicts: 1247000 | #Constraints: 98087
2998.82/3008.87 c #Conflicts: 1248000 | #Constraints: 99087
2998.82/3008.87 c #Conflicts: 1249000 | #Constraints: 100087
2998.82/3008.87 c #Conflicts: 1250000 | #Constraints: 101087
2998.82/3008.87 c #Conflicts: 1251000 | #Constraints: 102087
2998.82/3008.87 c #Conflicts: 1252000 | #Constraints: 103087
2998.82/3008.87 c #Conflicts: 1253000 | #Constraints: 104087
2998.82/3008.87 c #Conflicts: 1254000 | #Constraints: 105087
2998.82/3008.87 c #Conflicts: 1255000 | #Constraints: 106087
2998.82/3008.87 c #Conflicts: 1256000 | #Constraints: 107087
2998.82/3008.87 c INPROCESSING
2998.82/3008.87 c GARBAGE COLLECT
2998.82/3008.87 c rational objective 45
3026.25/3036.32 c #Conflicts: 1257000 | #Constraints: 85821
3026.25/3036.32 c #Conflicts: 1258000 | #Constraints: 86821
3026.25/3036.32 c #Conflicts: 1259000 | #Constraints: 87821
3026.25/3036.32 c #Conflicts: 1260000 | #Constraints: 88821
3026.25/3036.32 c #Conflicts: 1261000 | #Constraints: 89821
3026.25/3036.32 c #Conflicts: 1262000 | #Constraints: 90821
3026.25/3036.32 c #Conflicts: 1263000 | #Constraints: 91821
3026.25/3036.32 c #Conflicts: 1264000 | #Constraints: 92821
3026.25/3036.32 c #Conflicts: 1265000 | #Constraints: 93821
3026.25/3036.32 c #Conflicts: 1266000 | #Constraints: 94821
3026.25/3036.32 c #Conflicts: 1267000 | #Constraints: 95821
3026.25/3036.32 c #Conflicts: 1268000 | #Constraints: 96821
3026.25/3036.32 c #Conflicts: 1269000 | #Constraints: 97821
3026.25/3036.32 c #Conflicts: 1270000 | #Constraints: 98821
3026.25/3036.32 c #Conflicts: 1271000 | #Constraints: 99821
3026.25/3036.32 c #Conflicts: 1272000 | #Constraints: 100821
3026.25/3036.32 c #Conflicts: 1273000 | #Constraints: 101821
3026.25/3036.32 c #Conflicts: 1274000 | #Constraints: 102821
3026.25/3036.32 c #Conflicts: 1275000 | #Constraints: 103821
3026.25/3036.32 c #Conflicts: 1276000 | #Constraints: 104821
3026.25/3036.32 c #Conflicts: 1277000 | #Constraints: 105821
3026.25/3036.32 c #Conflicts: 1278000 | #Constraints: 106821
3026.25/3036.32 c #Conflicts: 1279000 | #Constraints: 107821
3026.25/3036.32 c INPROCESSING
3026.25/3036.32 c GARBAGE COLLECT
3026.25/3036.32 c rational objective 45
3080.99/3091.26 c #Conflicts: 1280000 | #Constraints: 86440
3080.99/3091.26 c #Conflicts: 1281000 | #Constraints: 87440
3080.99/3091.26 c #Conflicts: 1282000 | #Constraints: 88440
3080.99/3091.26 c #Conflicts: 1283000 | #Constraints: 89440
3080.99/3091.26 c #Conflicts: 1284000 | #Constraints: 90440
3080.99/3091.26 c #Conflicts: 1285000 | #Constraints: 91440
3080.99/3091.26 c #Conflicts: 1286000 | #Constraints: 92440
3080.99/3091.26 c #Conflicts: 1287000 | #Constraints: 93440
3080.99/3091.26 c #Conflicts: 1288000 | #Constraints: 94440
3080.99/3091.26 c #Conflicts: 1289000 | #Constraints: 95440
3080.99/3091.26 c #Conflicts: 1290000 | #Constraints: 96440
3080.99/3091.26 c #Conflicts: 1291000 | #Constraints: 97440
3080.99/3091.26 c #Conflicts: 1292000 | #Constraints: 98440
3080.99/3091.26 c #Conflicts: 1293000 | #Constraints: 99440
3080.99/3091.26 c #Conflicts: 1294000 | #Constraints: 100440
3080.99/3091.26 c #Conflicts: 1295000 | #Constraints: 101440
3080.99/3091.26 c #Conflicts: 1296000 | #Constraints: 102440
3080.99/3091.26 c #Conflicts: 1297000 | #Constraints: 103440
3080.99/3091.26 c #Conflicts: 1298000 | #Constraints: 104440
3080.99/3091.26 c #Conflicts: 1299000 | #Constraints: 105440
3080.99/3091.26 c #Conflicts: 1300000 | #Constraints: 106440
3080.99/3091.26 c #Conflicts: 1301000 | #Constraints: 107440
3080.99/3091.26 c #Conflicts: 1302000 | #Constraints: 108440
3080.99/3091.26 c INPROCESSING
3080.99/3091.26 c GARBAGE COLLECT
3080.99/3091.26 c rational objective 45
3095.96/3106.27 c #Conflicts: 1303000 | #Constraints: 86875
3095.96/3106.27 c #Conflicts: 1304000 | #Constraints: 87875
3095.96/3106.27 c #Conflicts: 1305000 | #Constraints: 88875
3095.96/3106.27 c #Conflicts: 1306000 | #Constraints: 89875
3095.96/3106.27 c #Conflicts: 1307000 | #Constraints: 90875
3095.96/3106.27 c #Conflicts: 1308000 | #Constraints: 91875
3095.96/3106.27 c #Conflicts: 1309000 | #Constraints: 92875
3095.96/3106.27 c #Conflicts: 1310000 | #Constraints: 93875
3095.96/3106.27 c #Conflicts: 1311000 | #Constraints: 94875
3095.96/3106.27 c #Conflicts: 1312000 | #Constraints: 95875
3095.96/3106.27 c #Conflicts: 1313000 | #Constraints: 96875
3095.96/3106.27 c #Conflicts: 1314000 | #Constraints: 97875
3095.96/3106.27 c #Conflicts: 1315000 | #Constraints: 98875
3095.96/3106.27 c #Conflicts: 1316000 | #Constraints: 99875
3095.96/3106.27 c #Conflicts: 1317000 | #Constraints: 100875
3095.96/3106.27 c #Conflicts: 1318000 | #Constraints: 101875
3095.96/3106.27 c #Conflicts: 1319000 | #Constraints: 102875
3095.96/3106.27 c #Conflicts: 1320000 | #Constraints: 103875
3095.96/3106.27 c #Conflicts: 1321000 | #Constraints: 104875
3095.96/3106.27 c #Conflicts: 1322000 | #Constraints: 105875
3095.96/3106.27 c #Conflicts: 1323000 | #Constraints: 106875
3095.96/3106.27 c #Conflicts: 1324000 | #Constraints: 107875
3095.96/3106.27 c #Conflicts: 1325000 | #Constraints: 108875
3095.96/3106.27 c INPROCESSING
3095.96/3106.27 c GARBAGE COLLECT
3095.96/3106.27 c rational objective 45
3096.65/3106.97 c #Conflicts: 1326000 | #Constraints: 87095
3096.65/3106.97 c #Conflicts: 1327000 | #Constraints: 88095
3096.65/3106.97 c bounds 121 >= 46 @ 3077.5
3144.33/3154.76 c #Conflicts: 1328000 | #Constraints: 89113
3144.33/3154.76 c #Conflicts: 1329000 | #Constraints: 90113
3144.33/3154.76 c #Conflicts: 1330000 | #Constraints: 91113
3144.33/3154.76 c #Conflicts: 1331000 | #Constraints: 92113
3144.33/3154.76 c #Conflicts: 1332000 | #Constraints: 93113
3144.33/3154.76 c #Conflicts: 1333000 | #Constraints: 94113
3144.33/3154.76 c #Conflicts: 1334000 | #Constraints: 95113
3144.33/3154.76 c #Conflicts: 1335000 | #Constraints: 96113
3144.33/3154.76 c #Conflicts: 1336000 | #Constraints: 97113
3144.33/3154.76 c #Conflicts: 1337000 | #Constraints: 98113
3144.33/3154.76 c #Conflicts: 1338000 | #Constraints: 99113
3144.33/3154.76 c #Conflicts: 1339000 | #Constraints: 100113
3144.33/3154.76 c #Conflicts: 1340000 | #Constraints: 101113
3144.33/3154.76 c #Conflicts: 1341000 | #Constraints: 102113
3144.33/3154.76 c #Conflicts: 1342000 | #Constraints: 103113
3144.33/3154.76 c #Conflicts: 1343000 | #Constraints: 104113
3144.33/3154.76 c #Conflicts: 1344000 | #Constraints: 105113
3144.33/3154.76 c #Conflicts: 1345000 | #Constraints: 106113
3144.33/3154.76 c #Conflicts: 1346000 | #Constraints: 107113
3144.33/3154.76 c #Conflicts: 1347000 | #Constraints: 108113
3144.33/3154.76 c #Conflicts: 1348000 | #Constraints: 109113
3144.33/3154.76 c INPROCESSING
3144.33/3154.76 c GARBAGE COLLECT
3144.33/3154.76 c rational objective 46
3224.31/3234.91 c #Conflicts: 1349000 | #Constraints: 87096
3224.31/3234.91 c #Conflicts: 1350000 | #Constraints: 88096
3224.31/3234.91 c #Conflicts: 1351000 | #Constraints: 89096
3224.31/3234.91 c #Conflicts: 1352000 | #Constraints: 90096
3224.31/3234.91 c #Conflicts: 1353000 | #Constraints: 91096
3224.31/3234.91 c #Conflicts: 1354000 | #Constraints: 92096
3224.31/3234.91 c #Conflicts: 1355000 | #Constraints: 93096
3224.31/3234.91 c #Conflicts: 1356000 | #Constraints: 94096
3224.31/3234.91 c #Conflicts: 1357000 | #Constraints: 95096
3224.31/3234.91 c #Conflicts: 1358000 | #Constraints: 96096
3224.31/3234.91 c #Conflicts: 1359000 | #Constraints: 97096
3224.31/3234.91 c #Conflicts: 1360000 | #Constraints: 98096
3224.31/3234.91 c #Conflicts: 1361000 | #Constraints: 99096
3224.31/3234.91 c #Conflicts: 1362000 | #Constraints: 100096
3224.31/3234.91 c #Conflicts: 1363000 | #Constraints: 101096
3224.31/3234.91 c #Conflicts: 1364000 | #Constraints: 102096
3224.31/3234.91 c #Conflicts: 1365000 | #Constraints: 103096
3224.31/3234.91 c #Conflicts: 1366000 | #Constraints: 104096
3224.31/3234.91 c #Conflicts: 1367000 | #Constraints: 105096
3224.31/3234.91 c #Conflicts: 1368000 | #Constraints: 106096
3224.31/3234.91 c #Conflicts: 1369000 | #Constraints: 107096
3224.31/3234.91 c #Conflicts: 1370000 | #Constraints: 108096
3224.31/3234.91 c #Conflicts: 1371000 | #Constraints: 109096
3224.31/3234.91 c INPROCESSING
3224.31/3234.91 c GARBAGE COLLECT
3224.31/3234.91 c rational objective 46
3389.05/3400.16 c #Conflicts: 1372000 | #Constraints: 86884
3389.05/3400.16 c #Conflicts: 1373000 | #Constraints: 87884
3389.05/3400.16 c #Conflicts: 1374000 | #Constraints: 88884
3389.05/3400.16 c #Conflicts: 1375000 | #Constraints: 89884
3389.05/3400.16 c #Conflicts: 1376000 | #Constraints: 90884
3389.05/3400.16 c #Conflicts: 1377000 | #Constraints: 91884
3389.05/3400.16 c #Conflicts: 1378000 | #Constraints: 92884
3389.05/3400.16 c #Conflicts: 1379000 | #Constraints: 93884
3389.05/3400.16 c #Conflicts: 1380000 | #Constraints: 94884
3389.05/3400.16 c #Conflicts: 1381000 | #Constraints: 95884
3389.05/3400.16 c #Conflicts: 1382000 | #Constraints: 96884
3389.05/3400.16 c #Conflicts: 1383000 | #Constraints: 97884
3389.05/3400.16 c #Conflicts: 1384000 | #Constraints: 98884
3389.05/3400.16 c #Conflicts: 1385000 | #Constraints: 99884
3389.05/3400.16 c #Conflicts: 1386000 | #Constraints: 100884
3389.05/3400.16 c #Conflicts: 1387000 | #Constraints: 101884
3389.05/3400.16 c #Conflicts: 1388000 | #Constraints: 102884
3389.05/3400.16 c #Conflicts: 1389000 | #Constraints: 103884
3389.05/3400.16 c #Conflicts: 1390000 | #Constraints: 104884
3389.05/3400.16 c #Conflicts: 1391000 | #Constraints: 105884
3389.05/3400.16 c #Conflicts: 1392000 | #Constraints: 106884
3389.05/3400.16 c #Conflicts: 1393000 | #Constraints: 107884
3389.05/3400.16 c #Conflicts: 1394000 | #Constraints: 108884
3389.05/3400.16 c #Conflicts: 1395000 | #Constraints: 109884
3389.05/3400.16 c INPROCESSING
3389.05/3400.16 c GARBAGE COLLECT
3389.05/3400.16 c #Conflicts: 1396000 | #Constraints: 87507
3389.05/3400.16 c #Conflicts: 1397000 | #Constraints: 88507
3389.05/3400.16 c #Conflicts: 1398000 | #Constraints: 89507
3389.05/3400.16 c #Conflicts: 1399000 | #Constraints: 90507
3389.05/3400.16 c #Conflicts: 1400000 | #Constraints: 91507
3389.05/3400.16 c #Conflicts: 1401000 | #Constraints: 92507
3389.05/3400.16 c #Conflicts: 1402000 | #Constraints: 93507
3389.05/3400.16 c #Conflicts: 1403000 | #Constraints: 94507
3389.05/3400.16 c #Conflicts: 1404000 | #Constraints: 95507
3389.05/3400.16 c #Conflicts: 1405000 | #Constraints: 96507
3389.05/3400.16 c #Conflicts: 1406000 | #Constraints: 97507
3389.05/3400.16 c #Conflicts: 1407000 | #Constraints: 98507
3389.05/3400.16 c #Conflicts: 1408000 | #Constraints: 99507
3389.05/3400.16 c #Conflicts: 1409000 | #Constraints: 100507
3389.05/3400.16 c #Conflicts: 1410000 | #Constraints: 101507
3389.05/3400.16 c #Conflicts: 1411000 | #Constraints: 102507
3389.05/3400.16 c #Conflicts: 1412000 | #Constraints: 103507
3389.05/3400.16 c #Conflicts: 1413000 | #Constraints: 104507
3389.05/3400.16 c #Conflicts: 1414000 | #Constraints: 105507
3389.05/3400.16 c #Conflicts: 1415000 | #Constraints: 106507
3389.05/3400.16 c #Conflicts: 1416000 | #Constraints: 107507
3389.05/3400.16 c #Conflicts: 1417000 | #Constraints: 108507
3389.05/3400.16 c #Conflicts: 1418000 | #Constraints: 109507
3389.05/3400.16 c #Conflicts: 1419000 | #Constraints: 110507
3389.05/3400.16 c INPROCESSING
3389.05/3400.16 c GARBAGE COLLECT
3389.05/3400.16 c rational objective 46
3485.46/3496.80 c #Conflicts: 1420000 | #Constraints: 87980
3485.46/3496.80 c #Conflicts: 1421000 | #Constraints: 88980
3485.46/3496.80 c #Conflicts: 1422000 | #Constraints: 89980
3485.46/3496.80 c #Conflicts: 1423000 | #Constraints: 90980
3485.46/3496.80 c #Conflicts: 1424000 | #Constraints: 91980
3485.46/3496.80 c #Conflicts: 1425000 | #Constraints: 92980
3485.46/3496.80 c #Conflicts: 1426000 | #Constraints: 93980
3485.46/3496.80 c #Conflicts: 1427000 | #Constraints: 94980
3485.46/3496.80 c #Conflicts: 1428000 | #Constraints: 95980
3485.46/3496.80 c #Conflicts: 1429000 | #Constraints: 96980
3485.46/3496.80 c #Conflicts: 1430000 | #Constraints: 97980
3485.46/3496.80 c #Conflicts: 1431000 | #Constraints: 98980
3485.46/3496.80 c #Conflicts: 1432000 | #Constraints: 99980
3485.46/3496.80 c #Conflicts: 1433000 | #Constraints: 100980
3485.46/3496.80 c #Conflicts: 1434000 | #Constraints: 101980
3485.46/3496.80 c #Conflicts: 1435000 | #Constraints: 102980
3485.46/3496.80 c #Conflicts: 1436000 | #Constraints: 103980
3485.46/3496.80 c #Conflicts: 1437000 | #Constraints: 104980
3485.46/3496.80 c #Conflicts: 1438000 | #Constraints: 105980
3485.46/3496.80 c #Conflicts: 1439000 | #Constraints: 106980
3485.46/3496.80 c #Conflicts: 1440000 | #Constraints: 107980
3485.46/3496.80 c #Conflicts: 1441000 | #Constraints: 108980
3485.46/3496.80 c #Conflicts: 1442000 | #Constraints: 109980
3485.46/3496.80 c #Conflicts: 1443000 | #Constraints: 110980
3485.46/3496.80 c INPROCESSING
3485.46/3496.80 c GARBAGE COLLECT
3485.46/3496.80 c rational objective 46
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: 63837 MiB (48787 MiB free)
memory of node 1: 64465 MiB (23433 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507865-1751494072/watcher-4507865-1751494072 -o /tmp/evaluation-result-4507865-1751494072/solver-4507865-1751494072 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751486819-68421 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4507865-1751494072.opb PROOFDIR/proof-4507865-1751494072
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Starting watchdog thread
solver pid=69242, runsolver pid=69239
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 4.17 4.14 4.16 3/253 69244
/proc/meminfo: memFree=74581872/131382116 swapFree=33009904/33010684
[pid=69242] ppid=69239 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69242/stat : 69242 (run-opt-break-l) S 69239 69242 68411 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65086649 4292608 768 18446744073709551615 94706435178496 94706436073029 140730462572992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706436312080 94706436359824 94706455375872 140730462578965 140730462579166 140730462579166 140730462584768 0
/proc/69242/statm: 1048 768 704 219 0 110 0
[pid=69244] ppid=69242 vsize=19280 memory=11908 CPUtime=0.01 cores=0,2
/proc/69244/stat : 69244 (pbsuma) D 69242 69242 68411 0 -1 4194304 2312 0 0 0 1 0 0 0 20 0 1 0 65086651 19742720 2977 18446744073709551615 4210688 4653049 140726775249056 0 0 0 0 0 0 1 0 0 17 2 0 0 0 0 0 4700520 4703148 22429696 140726775253219 140726775253554 140726775253554 140726775259119 0
/proc/69244/statm: 4820 2977 992 108 0 2228 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 23472 KiB
Current children cumulated memory: 14980 KiB
[startup+0.206297 s]*
/proc/loadavg: 4.17 4.14 4.16 3/253 69244
/proc/meminfo: memFree=75567184/131382116 swapFree=33009904/33010684
[pid=69242] ppid=69239 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69242/stat : 69242 (run-opt-break-l) S 69239 69242 68411 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65086649 4292608 768 18446744073709551615 94706435178496 94706436073029 140730462572992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706436312080 94706436359824 94706455375872 140730462578965 140730462579166 140730462579166 140730462584768 0
/proc/69242/statm: 1048 768 704 219 0 110 0
[pid=69244] ppid=69242 vsize=19280 memory=11908 CPUtime=0.01 cores=0,2
/proc/69244/stat : 69244 (pbsuma) D 69242 69242 68411 0 -1 4194304 2312 0 0 0 1 0 0 0 20 0 1 0 65086651 19742720 2977 18446744073709551615 4210688 4653049 140726775249056 0 0 0 0 0 0 1 0 0 17 2 0 0 0 0 0 4700520 4703148 22429696 140726775253219 140726775253554 140726775253554 140726775259119 0
/proc/69244/statm: 4820 2977 992 108 0 2228 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 23472 KiB
Current children cumulated memory: 14980 KiB
[startup+0.312818 s]*
/proc/loadavg: 4.17 4.14 4.16 3/253 69244
/proc/meminfo: memFree=76665260/131382116 swapFree=33009904/33010684
[pid=69242] ppid=69239 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69242/stat : 69242 (run-opt-break-l) S 69239 69242 68411 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65086649 4292608 768 18446744073709551615 94706435178496 94706436073029 140730462572992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706436312080 94706436359824 94706455375872 140730462578965 140730462579166 140730462579166 140730462584768 0
/proc/69242/statm: 1048 768 704 219 0 110 0
[pid=69244] ppid=69242 vsize=19280 memory=11908 CPUtime=0.01 cores=0,2
/proc/69244/stat : 69244 (pbsuma) D 69242 69242 68411 0 -1 4194304 2312 0 0 0 1 0 0 0 20 0 1 0 65086651 19742720 2977 18446744073709551615 4210688 4653049 140726775249056 0 0 0 0 0 0 1 0 0 17 2 0 0 0 0 0 4700520 4703148 22429696 140726775253219 140726775253554 140726775253554 140726775259119 0
/proc/69244/statm: 4820 2977 992 108 0 2228 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 23472 KiB
Current children cumulated memory: 14980 KiB
[startup+0.700324 s]
/proc/loadavg: 4.17 4.14 4.16 3/253 69244
/proc/meminfo: memFree=78761396/131382116 swapFree=33009904/33010684
[pid=69242] ppid=69239 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69242/stat : 69242 (run-opt-break-l) S 69239 69242 68411 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65086649 4292608 768 18446744073709551615 94706435178496 94706436073029 140730462572992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706436312080 94706436359824 94706455375872 140730462578965 140730462579166 140730462579166 140730462584768 0
/proc/69242/statm: 1048 768 704 219 0 110 0
[pid=69244] ppid=69242 vsize=19280 memory=11908 CPUtime=0.01 cores=0,2
/proc/69244/stat : 69244 (pbsuma) D 69242 69242 68411 0 -1 4194304 2312 0 0 0 1 0 0 0 20 0 1 0 65086651 19742720 2977 18446744073709551615 4210688 4653049 140726775249056 0 0 0 0 0 0 1 0 0 17 2 0 0 0 0 0 4700520 4703148 22429696 140726775253219 140726775253554 140726775253554 140726775259119 0
/proc/69244/statm: 4820 2977 992 108 0 2228 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 23472 KiB
Current children cumulated memory: 14980 KiB
[startup+1.50039 s]
/proc/loadavg: 4.17 4.14 4.16 3/253 69244
/proc/meminfo: memFree=85005280/131382116 swapFree=33009904/33010684
[pid=69242] ppid=69239 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69242/stat : 69242 (run-opt-break-l) S 69239 69242 68411 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65086649 4292608 768 18446744073709551615 94706435178496 94706436073029 140730462572992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706436312080 94706436359824 94706455375872 140730462578965 140730462579166 140730462579166 140730462584768 0
/proc/69242/statm: 1048 768 704 219 0 110 0
[pid=69244] ppid=69242 vsize=40044 memory=28424 CPUtime=0.32 cores=0,2
/proc/69244/stat : 69244 (pbsuma) R 69242 69242 68411 0 -1 4194304 10441 0 0 0 29 3 0 0 20 0 1 0 65086651 41005056 7106 18446744073709551615 4210688 4653049 140726775249056 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 4700520 4703148 22429696 140726775253219 140726775253554 140726775253554 140726775259119 0
/proc/69244/statm: 10011 7106 992 108 0 7419 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 44236 KiB
Current children cumulated memory: 31496 KiB
[startup+3.11395 s]
/proc/loadavg: 4.17 4.14 4.16 5/265 69286
/proc/meminfo: memFree=95389328/131382116 swapFree=33009904/33010684
[pid=69242] ppid=69239 vsize=4192 memory=3072 CPUtime=1.34 cores=0,2
/proc/69242/stat : 69242 (run-opt-break-l) S 69239 69242 68411 0 -1 4194304 242 11133 0 0 0 0 109 25 20 0 1 0 65086649 4292608 768 18446744073709551615 94706435178496 94706436073029 140730462572992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706436312080 94706436359824 94706455375872 140730462578965 140730462579166 140730462579166 140730462584768 0
/proc/69242/statm: 1048 768 704 219 0 110 0
[pid=69275] ppid=69242 vsize=64612 memory=19704 CPUtime=0.48 cores=0,2
/proc/69275/stat : 69275 (roundingsat) R 69242 69242 68411 0 -1 4194304 2873 0 0 0 38 10 0 0 20 0 1 0 65086910 66162688 4926 18446744073709551615 4227072 8923433 140733374989056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22929408 140733374990612 140733374990888 140733374990888 140733374996458 0
/proc/69275/statm: 16153 4926 1984 1147 0 3580 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 68804 KiB
Current children cumulated memory: 22776 KiB
heavy processes:
[startup+6.30036 s]
/proc/loadavg: 4.16 4.14 4.16 5/265 69287
/proc/meminfo: memFree=95058572/131382116 swapFree=33009904/33010684
[pid=69242] ppid=69239 vsize=4192 memory=3072 CPUtime=1.34 cores=0,2
/proc/69242/stat : 69242 (run-opt-break-l) S 69239 69242 68411 0 -1 4194304 242 11133 0 0 0 0 109 25 20 0 1 0 65086649 4292608 768 18446744073709551615 94706435178496 94706436073029 140730462572992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706436312080 94706436359824 94706455375872 140730462578965 140730462579166 140730462579166 140730462584768 0
/proc/69242/statm: 1048 768 704 219 0 110 0
[pid=69275] ppid=69242 vsize=143180 memory=98896 CPUtime=3.65 cores=0,2
/proc/69275/stat : 69275 (roundingsat) R 69242 69242 68411 0 -1 4194304 13829 0 0 0 340 25 0 0 20 0 1 0 65086910 146616320 24724 18446744073709551615 4227072 8923433 140733374989056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22929408 140733374990612 140733374990888 140733374990888 140733374996458 0
/proc/69275/statm: 35795 24724 2400 1147 0 23222 0
Current children cumulated CPU time: 4.99 s
Current children cumulated vsize: 147372 KiB
Current children cumulated memory: 101968 KiB
heavy processes:
[startup+12.7004 s]
/proc/loadavg: 4.15 4.14 4.16 5/265 69287
/proc/meminfo: memFree=94923456/131382116 swapFree=33009904/33010684
[pid=69242] ppid=69239 vsize=4192 memory=3072 CPUtime=1.34 cores=0,2
/proc/69242/stat : 69242 (run-opt-break-l) S 69239 69242 68411 0 -1 4194304 242 11133 0 0 0 0 109 25 20 0 1 0 65086649 4292608 768 18446744073709551615 94706435178496 94706436073029 140730462572992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706436312080 94706436359824 94706455375872 140730462578965 140730462579166 140730462579166 140730462584768 0
/proc/69242/statm: 1048 768 704 219 0 110 0
[pid=69275] ppid=69242 vsize=157560 memory=110804 CPUtime=10.04 cores=0,2
/proc/69275/stat : 69275 (roundingsat) R 69242 69242 68411 0 -1 4194304 16313 0 0 0 956 48 0 0 20 0 1 0 65086910 161341440 27701 18446744073709551615 4227072 8923433 140733374989056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22929408 140733374990612 140733374990888 140733374990888 140733374996458 0
/proc/69275/statm: 39390 27701 2432 1147 0 26817 0
Current children cumulated CPU time: 11.38 s
Current children cumulated vsize: 161752 KiB
Current children cumulated memory: 113876 KiB
[startup+25.5004 s]
/proc/loadavg: 4.18 4.15 4.16 5/259 69313
/proc/meminfo: memFree=118329252/131382116 swapFree=33009904/33010684
[pid=69242] ppid=69239 vsize=4192 memory=3072 CPUtime=1.34 cores=0,2
/proc/69242/stat : 69242 (run-opt-break-l) S 69239 69242 68411 0 -1 4194304 242 11133 0 0 0 0 109 25 20 0 1 0 65086649 4292608 768 18446744073709551615 94706435178496 94706436073029 140730462572992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706436312080 94706436359824 94706455375872 140730462578965 140730462579166 140730462579166 140730462584768 0
/proc/69242/statm: 1048 768 704 219 0 110 0
[pid=69275] ppid=69242 vsize=160128 memory=113492 CPUtime=22.8 cores=0,2
/proc/69275/stat : 69275 (roundingsat) R 69242 69242 68411 0 -1 4194304 16986 0 0 0 2222 58 0 0 20 0 1 0 65086910 163971072 28373 18446744073709551615 4227072 8923433 140733374989056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22929408 140733374990612 140733374990888 140733374990888 140733374996458 0
/proc/69275/statm: 40032 28373 2432 1147 0 27459 0
Current children cumulated CPU time: 24.14 s
Current children cumulated vsize: 164320 KiB
Current children cumulated memory: 116564 KiB
[startup+51.1136 s]
/proc/loadavg: 4.12 4.13 4.16 5/265 69335
/proc/meminfo: memFree=128131980/131382116 swapFree=33009904/33010684
[pid=69242] ppid=69239 vsize=4192 memory=3072 CPUtime=1.34 cores=0,2
/proc/69242/stat : 69242 (run-opt-break-l) S 69239 69242 68411 0 -1 4194304 242 11133 0 0 0 0 109 25 20 0 1 0 65086649 4292608 768 18446744073709551615 94706435178496 94706436073029 140730462572992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706436312080 94706436359824 94706455375872 140730462578965 140730462579166 140730462579166 140730462584768 0
/proc/69242/statm: 1048 768 704 219 0 110 0
[pid=69275] ppid=69242 vsize=164436 memory=118612 CPUtime=48.34 cores=0,2
/proc/69275/stat : 69275 (roundingsat) R 69242 69242 68411 0 -1 4194304 18268 0 0 0 4754 80 0 0 20 0 1 0 65086910 168382464 29653 18446744073709551615 4227072 8923433 140733374989056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22929408 140733374990612 140733374990888 140733374990888 140733374996458 0
/proc/69275/statm: 41109 29653 2432 1147 0 28536 0
Current children cumulated CPU time: 49.68 s
Current children cumulated vsize: 168628 KiB
Current children cumulated memory: 121684 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.16 5/265 69341
/proc/meminfo: memFree=128035424/131382116 swapFree=33009904/33010684
[pid=69242] ppid=69239 vsize=4192 memory=3072 CPUtime=1.34 cores=0,2
/proc/69242/stat : 69242 (run-opt-break-l) S 69239 69242 68411 0 -1 4194304 242 11133 0 0 0 0 109 25 20 0 1 0 65086649 4292608 768 18446744073709551615 94706435178496 94706436073029 140730462572992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706436312080 94706436359824 94706455375872 140730462578965 140730462579166 140730462579166 140730462584768 0
/proc/69242/statm: 1048 768 704 219 0 110 0
[pid=69275] ppid=69242 vsize=181140 memory=130864 CPUtime=99.38 cores=0,2
/proc/69275/stat : 69275 (roundingsat) R 69242 69242 68411 0 -1 4194304 20302 0 0 0 9815 123 0 0 20 0 1 0 65086910 185487360 32716 18446744073709551615 4227072 8923433 140733374989056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22929408 140733374990612 140733374990888 140733374990888 140733374996458 0
/proc/69275/statm: 45285 32716 2432 1147 0 32712 0
Current children cumulated CPU time: 100.72 s
Current children cumulated vsize: 185332 KiB
Current children cumulated memory: 133936 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/266 69344
/proc/meminfo: memFree=127956012/131382116 swapFree=33009904/33010684
[pid=69242] ppid=69239 vsize=4192 memory=3072 CPUtime=1.34 cores=0,2
/proc/69242/stat : 69242 (run-opt-break-l) S 69239 69242 68411 0 -1 4194304 242 11133 0 0 0 0 109 25 20 0 1 0 65086649 4292608 768 18446744073709551615 94706435178496 94706436073029 140730462572992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706436312080 94706436359824 94706455375872 140730462578965 140730462579166 140730462579166 140730462584768 0
/proc/69242/statm: 1048 768 704 219 0 110 0
[pid=69275] ppid=69242 vsize=196164 memory=151612 CPUtime=159.19 cores=0,2
/proc/69275/stat : 69275 (roundingsat) R 69242 69242 68411 0 -1 4194304 22752 0 0 0 15775 144 0 0 20 0 1 0 65086910 200871936 37903 18446744073709551615 4227072 8923433 140733374989056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22929408 140733374990612 140733374990888 140733374990888 140733374996458 0
/proc/69275/statm: 49041 37903 2432 1147 0 36468 0
Current children cumulated CPU time: 160.53 s
Current children cumulated vsize: 200356 KiB
Current children cumulated memory: 154684 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/261 69346
/proc/meminfo: memFree=127925628/131382116 swapFree=33009904/33010684
[pid=69242] ppid=69239 vsize=4192 memory=3072 CPUtime=1.34 cores=0,2
/proc/69242/stat : 69242 (run-opt-break-l) S 69239 69242 68411 0 -1 4194304 242 11133 0 0 0 0 109 25 20 0 1 0 65086649 4292608 768 18446744073709551615 94706435178496 94706436073029 140730462572992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706436312080 94706436359824 94706455375872 140730462578965 140730462579166 140730462579166 140730462584768 0
/proc/69242/statm: 1048 768 704 219 0 110 0
[pid=69275] ppid=69242 vsize=213708 memory=167856 CPUtime=219.03 cores=0,2
################
# More data... #
################
/proc/meminfo: memFree=126293176/131382116 swapFree=33009904/33010684
[pid=69242] ppid=69239 vsize=4192 memory=3072 CPUtime=1.34 cores=0,2
/proc/69242/stat : 69242 (run-opt-break-l) S 69239 69242 68411 0 -1 4194304 242 11133 0 0 0 0 109 25 20 0 1 0 65086649 4292608 768 18446744073709551615 94706435178496 94706436073029 140730462572992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706436312080 94706436359824 94706455375872 140730462578965 140730462579166 140730462579166 140730462584768 0
/proc/69242/statm: 1048 768 704 219 0 110 0
[pid=69275] ppid=69242 vsize=345864 memory=276328 CPUtime=3270.22 cores=0,2
/proc/69275/stat : 69275 (roundingsat) R 69242 69242 68411 0 -1 4194304 42347 0 0 0 325151 1871 0 0 20 0 1 0 65086910 354164736 69082 18446744073709551615 4227072 8923433 140733374989056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22929408 140733374990612 140733374990888 140733374990888 140733374996458 0
/proc/69275/statm: 86466 69082 2432 1147 0 73893 0
Current children cumulated CPU time: 3271.56 s
Current children cumulated vsize: 350056 KiB
Current children cumulated memory: 279400 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/258 69563
/proc/meminfo: memFree=126264264/131382116 swapFree=33009904/33010684
[pid=69242] ppid=69239 vsize=4192 memory=3072 CPUtime=1.34 cores=0,2
/proc/69242/stat : 69242 (run-opt-break-l) S 69239 69242 68411 0 -1 4194304 242 11133 0 0 0 0 109 25 20 0 1 0 65086649 4292608 768 18446744073709551615 94706435178496 94706436073029 140730462572992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706436312080 94706436359824 94706455375872 140730462578965 140730462579166 140730462579166 140730462584768 0
/proc/69242/statm: 1048 768 704 219 0 110 0
[pid=69275] ppid=69242 vsize=345864 memory=276456 CPUtime=3330.05 cores=0,2
/proc/69275/stat : 69275 (roundingsat) R 69242 69242 68411 0 -1 4194304 42355 0 0 0 331120 1885 0 0 20 0 1 0 65086910 354164736 69114 18446744073709551615 4227072 8923433 140733374989056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22929408 140733374990612 140733374990888 140733374990888 140733374996458 0
/proc/69275/statm: 86466 69114 2432 1147 0 73893 0
Current children cumulated CPU time: 3331.39 s
Current children cumulated vsize: 350056 KiB
Current children cumulated memory: 279528 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/257 69565
/proc/meminfo: memFree=126202280/131382116 swapFree=33009904/33010684
[pid=69242] ppid=69239 vsize=4192 memory=3072 CPUtime=1.34 cores=0,2
/proc/69242/stat : 69242 (run-opt-break-l) S 69239 69242 68411 0 -1 4194304 242 11133 0 0 0 0 109 25 20 0 1 0 65086649 4292608 768 18446744073709551615 94706435178496 94706436073029 140730462572992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706436312080 94706436359824 94706455375872 140730462578965 140730462579166 140730462579166 140730462584768 0
/proc/69242/statm: 1048 768 704 219 0 110 0
[pid=69275] ppid=69242 vsize=345864 memory=276456 CPUtime=3389.88 cores=0,2
/proc/69275/stat : 69275 (roundingsat) R 69242 69242 68411 0 -1 4194304 42355 0 0 0 337063 1925 0 0 20 0 1 0 65086910 354164736 69114 18446744073709551615 4227072 8923433 140733374989056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22929408 140733374990612 140733374990888 140733374990888 140733374996458 0
/proc/69275/statm: 86466 69114 2432 1147 0 73893 0
Current children cumulated CPU time: 3391.22 s
Current children cumulated vsize: 350056 KiB
Current children cumulated memory: 279528 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.14 4.15 5/256 69567
/proc/meminfo: memFree=126172772/131382116 swapFree=33009904/33010684
[pid=69242] ppid=69239 vsize=4192 memory=3072 CPUtime=1.34 cores=0,2
/proc/69242/stat : 69242 (run-opt-break-l) S 69239 69242 68411 0 -1 4194304 242 11133 0 0 0 0 109 25 20 0 1 0 65086649 4292608 768 18446744073709551615 94706435178496 94706436073029 140730462572992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706436312080 94706436359824 94706455375872 140730462578965 140730462579166 140730462579166 140730462584768 0
/proc/69242/statm: 1048 768 704 219 0 110 0
[pid=69275] ppid=69242 vsize=348252 memory=279552 CPUtime=3449.71 cores=0,2
/proc/69275/stat : 69275 (roundingsat) R 69242 69242 68411 0 -1 4194304 42434 0 0 0 343024 1947 0 0 20 0 1 0 65086910 356610048 69888 18446744073709551615 4227072 8923433 140733374989056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22929408 140733374990612 140733374990888 140733374990888 140733374996458 0
/proc/69275/statm: 87063 69888 2432 1147 0 74490 0
Current children cumulated CPU time: 3451.05 s
Current children cumulated vsize: 352444 KiB
Current children cumulated memory: 282624 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/255 69569
/proc/meminfo: memFree=126123272/131382116 swapFree=33009904/33010684
[pid=69242] ppid=69239 vsize=4192 memory=3072 CPUtime=1.34 cores=0,2
/proc/69242/stat : 69242 (run-opt-break-l) S 69239 69242 68411 0 -1 4194304 242 11133 0 0 0 0 109 25 20 0 1 0 65086649 4292608 768 18446744073709551615 94706435178496 94706436073029 140730462572992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706436312080 94706436359824 94706455375872 140730462578965 140730462579166 140730462579166 140730462584768 0
/proc/69242/statm: 1048 768 704 219 0 110 0
[pid=69275] ppid=69242 vsize=348252 memory=279552 CPUtime=3507.28 cores=0,2
/proc/69275/stat : 69275 (roundingsat) R 69242 69242 68411 0 -1 4194304 42434 0 0 0 348746 1982 0 0 20 0 1 0 65086910 356610048 69888 18446744073709551615 4227072 8923433 140733374989056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22929408 140733374990612 140733374990888 140733374990888 140733374996458 0
/proc/69275/statm: 87063 69888 2432 1147 0 74490 0
Current children cumulated CPU time: 3508.62 s
Current children cumulated vsize: 352444 KiB
Current children cumulated memory: 282624 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.15 4.15 5/256 69572
/proc/meminfo: memFree=126069736/131382116 swapFree=33009904/33010684
[pid=69242] ppid=69239 vsize=4192 memory=3072 CPUtime=1.34 cores=0,2
/proc/69242/stat : 69242 (run-opt-break-l) S 69239 69242 68411 0 -1 4194304 242 11133 0 0 0 0 109 25 20 0 1 0 65086649 4292608 768 18446744073709551615 94706435178496 94706436073029 140730462572992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706436312080 94706436359824 94706455375872 140730462578965 140730462579166 140730462579166 140730462584768 0
/proc/69242/statm: 1048 768 704 219 0 110 0
[pid=69275] ppid=69242 vsize=348252 memory=279552 CPUtime=3567.11 cores=0,2
/proc/69275/stat : 69275 (roundingsat) R 69242 69242 68411 0 -1 4194304 42441 0 0 0 354715 1996 0 0 20 0 1 0 65086910 356610048 69888 18446744073709551615 4227072 8923433 140733374989056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22929408 140733374990612 140733374990888 140733374990888 140733374996458 0
/proc/69275/statm: 87063 69888 2432 1147 0 74490 0
Current children cumulated CPU time: 3568.45 s
Current children cumulated vsize: 352444 KiB
Current children cumulated memory: 282624 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614 s]*
/proc/loadavg: 4.12 4.13 4.15 4/250 69581
/proc/meminfo: memFree=126348392/131382116 swapFree=33009904/33010684
[pid=69242] ppid=69239 vsize=4192 memory=3072 CPUtime=1.34 cores=0,2
/proc/69242/stat : 69242 (run-opt-break-l) S 69239 69242 68411 0 -1 4194304 242 11133 0 0 0 0 109 25 20 0 1 0 65086649 4292608 768 18446744073709551615 94706435178496 94706436073029 140730462572992 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94706436312080 94706436359824 94706455375872 140730462578965 140730462579166 140730462579166 140730462584768 0
/proc/69242/statm: 1048 768 704 219 0 110 0
[pid=69275] ppid=69242 vsize=348252 memory=279552 CPUtime=3598.72 cores=0,2
/proc/69275/stat : 69275 (roundingsat) R 69242 69242 68411 0 -1 4194304 42441 0 0 0 357872 2000 0 0 20 0 1 0 65086910 356610048 69888 18446744073709551615 4227072 8923433 140733374989056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22929408 140733374990612 140733374990888 140733374990888 140733374996458 0
/proc/69275/statm: 87063 69888 2432 1147 0 74490 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 352444 KiB
Current children cumulated memory: 282624 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3614.02 s]
# the end of solver process 69242 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.10187 s, system=0.25536 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3616.01 s]
# the end of solver process 69275 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3581.82 s, system=20.2675 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+3614.4 s]
/proc/loadavg: 4.12 4.13 4.15 4/249 69581
/proc/meminfo: memFree=126356204/131382116 swapFree=33009904/33010684
[pid=69275] ppid=69239 vsize=348252 memory=279552 CPUtime=3599.11 cores=0,2
/proc/69275/stat : 69275 (roundingsat) R 69239 69242 68411 0 -1 4194304 42441 0 0 0 357911 2000 0 0 20 0 1 0 65086910 356610048 69888 18446744073709551615 4227072 8923433 140733374989056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22929408 140733374990612 140733374990888 140733374990888 140733374996458 0
/proc/69275/statm: 87063 69888 2432 1147 0 74490 0
Current cumulated CPU time of completed processes: 1.35723 s
Current children cumulated CPU time: 3599.11 s
Current children cumulated vsize: 348252 KiB
Current children cumulated memory: 279552 KiB
[startup+3615.2 s]
/proc/loadavg: 4.11 4.13 4.15 4/249 69581
/proc/meminfo: memFree=126353876/131382116 swapFree=33009904/33010684
[pid=69275] ppid=69239 vsize=348252 memory=279552 CPUtime=3599.92 cores=0,2
/proc/69275/stat : 69275 (roundingsat) R 69239 69242 68411 0 -1 4194304 42441 0 0 0 357991 2001 0 0 20 0 1 0 65086910 356610048 69888 18446744073709551615 4227072 8923433 140733374989056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22929408 140733374990612 140733374990888 140733374990888 140733374996458 0
/proc/69275/statm: 87063 69888 2432 1147 0 74490 0
Current cumulated CPU time of completed processes: 1.35723 s
Current children cumulated CPU time: 3599.92 s
Current children cumulated vsize: 348252 KiB
Current children cumulated memory: 279552 KiB
[startup+3615.6 s]
/proc/loadavg: 4.11 4.13 4.15 4/249 69581
/proc/meminfo: memFree=126353876/131382116 swapFree=33009904/33010684
[pid=69275] ppid=69239 vsize=348252 memory=279552 CPUtime=3600.31 cores=0,2
/proc/69275/stat : 69275 (roundingsat) R 69239 69242 68411 0 -1 4194304 42441 0 0 0 358030 2001 0 0 20 0 1 0 65086910 356610048 69888 18446744073709551615 4227072 8923433 140733374989056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22929408 140733374990612 140733374990888 140733374990888 140733374996458 0
/proc/69275/statm: 87063 69888 2432 1147 0 74490 0
Current cumulated CPU time of completed processes: 1.35723 s
Current children cumulated CPU time: 3600.31 s
Current children cumulated vsize: 348252 KiB
Current children cumulated memory: 279552 KiB
[startup+3616 s]*
/proc/loadavg: 4.11 4.13 4.15 4/249 69602
/proc/meminfo: memFree=126344688/131382116 swapFree=33009904/33010684
[pid=69275] ppid=69239 vsize=348252 memory=279552 CPUtime=3600.72 cores=0,2
/proc/69275/stat : 69275 (roundingsat) R 69239 69242 68411 0 -1 4194304 42441 0 0 0 358071 2001 0 0 20 0 1 0 65086910 356610048 69888 18446744073709551615 4227072 8923433 140733374989056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22929408 140733374990612 140733374990888 140733374990888 140733374996458 0
/proc/69275/statm: 87063 69888 2432 1147 0 74490 0
Current cumulated CPU time of completed processes: 1.35723 s
Current children cumulated CPU time: 3600.72 s
Current children cumulated vsize: 348252 KiB
Current children cumulated memory: 279552 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3616.01
CPU time (s): 3602.09
CPU user time (s): 3581.82
CPU system time (s): 20.2675
CPU usage (%): 99.6149
Max. virtual memory (cumulated for all children) (KiB): 352444
Max. memory (cumulated for all children) (KiB): 282624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.82
system time used= 20.2675
maximum resident set size= 279552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53816
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1195536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3325
involuntary context switches= 8349
# summary of solver processes directly reported to runsolver:
# pid: 69242,69275
# total CPU time (s): 3602.09
# total CPU user time (s): 3581.82
# total CPU system time (s): 20.2675
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9209 second user time and 37.5283 second system time
The end
Begin job on nodeC010 at 2025-07-03 00:07:52
IDJOB=4507865
IDBENCH=158386
IDSOLVER=3360
FILE ID=nodeC010/4507865-1751494072
RUNJOBID= nodeC010-1751486819-68421
SLURM_JOB_ID= 9598541
Free space on /tmp= 431860 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-sep5.5.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507865-1751494072/watcher-4507865-1751494072 -o /tmp/evaluation-result-4507865-1751494072/solver-4507865-1751494072 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751486819-68421 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4507865-1751494072.opb PROOFDIR/proof-4507865-1751494072
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 57020c0b0c1558ae6f18629e32faebb8
RANDOM SEED=1310453797
nodeC010 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 : 1197.148
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.36
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 : 3662.153
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.36
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 : 3491.811
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.36
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.585
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.36
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 : 1197.464
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.36
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 : 1197.152
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.36
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 : 3700.000
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.36
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.607
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 73420548 kB
MemAvailable: 118019648 kB
Buffers: 2128 kB
Cached: 45351072 kB
SwapCached: 24 kB
Active: 12477292 kB
Inactive: 44765112 kB
Active(anon): 11900828 kB
Inactive(anon): 6336 kB
Active(file): 576464 kB
Inactive(file): 44758776 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 991144 kB
Writeback: 124 kB
AnonPages: 11892292 kB
Mapped: 110096 kB
Shmem: 17936 kB
KReclaimable: 206976 kB
Slab: 324376 kB
SReclaimable: 206976 kB
SUnreclaim: 117400 kB
KernelStack: 4048 kB
PageTables: 27668 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 13447592 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149480 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1798144 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 432020 MiB
End job on nodeC010 at 2025-07-03 01:08:09