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-4523978-1751591204.opb'
0.00/0.07 c read 1.36MB (53.49ms)
0.00/0.07 c [cnf: #variables 35169 #clauses 28730 #duplicates 0 #arr 120617]
0.00/0.07 c
0.00/0.07 c make graph and approximate orbits
0.08/0.17 c [group: #orbits ~= 9264] (99.43ms)
0.08/0.17 c
0.08/0.17 c detect special group actions
0.08/0.17 c probe for Johnson action (limit=64)
0.20/0.23 c probe for row-column symmetry (limit=64, splits=16.78M)
0.20/0.23 c probe for row symmetry (limit=64, splits=16.78M)
2.16/2.28 c (2106.49ms)
2.16/2.28 c
2.16/2.28 c detect symmetries on remainder
2.16/2.28 c [graph: #vertices 169293 #edges 452022]
2.16/2.28 c dejavu (support_limit=2048.00MB, budget_limit=64)
2.26/2.39 c [group: #symmetries 8.00*10^0 #generators 3] (107.72ms)
2.26/2.39 c
2.26/2.39 c optimize generators (opt_passes=64, conjugate_limit=256)
2.26/2.39 c (0.14ms)
2.26/2.39 c
2.26/2.39 c finalize break order and special generators
2.26/2.39 c
2.26/2.39 c add generic predicates (break_depth=20)
2.26/2.40 c added predicates for 3 generators (4.02ms)
2.26/2.40 c
2.26/2.40 c generation finished
2.26/2.40 c [sbp: #constraints 174 #add_vars 57]
2.26/2.40 c
2.26/2.40 c write result to 'HOME/instance-4523978-1751591204.opb.pre'
2.36/2.40 c wrote 1.40MB (3.44ms)
2.36/2.40 c ------------------------------------------------------------------
2.36/2.40 c 2106.49ms 88.53% detect_special
2.36/2.40 c 107.72ms 4.53% detect_generic
2.36/2.40 c 99.43ms 4.18% approx_orbits
2.36/2.40 c 53.48ms 2.25% parse
2.36/2.40 c 4.02ms 0.17% break_generic
2.36/2.40 c 3.44ms 0.14% output
2.36/2.40 c 2.58ms 0.11% finalize_order
2.36/2.40 c 2.18ms 0.09% other
2.36/2.40 c 0.14ms 0.01% optimize_gens
2.36/2.40 c ───────────────────────────────────────────────
2.36/2.40 c 2379.49ms 100% total
2.36/2.40 c ------------------------------------------------------------------
2.36/2.42 c RoundingSat 2
2.36/2.42 c branch pb25
2.36/2.42 c commit 63f22ad
2.38/2.57 c #variables 35226 #constraints 29127
2.38/2.57 c objective is ce32
2.38/2.77 c initial watched CF 32, 64, 128, Arb: 112 , 0 , 0 , 0
2.38/2.77 c initial counting CF 32, 64, 128, Arb: 22177 , 0 , 0 , 0
2.38/2.77 c bounds - >= 0 @ 0.313527
11.43/11.59 c #Conflicts: 1000 | #Constraints: 30126
11.43/11.59 c #Conflicts: 2000 | #Constraints: 31126
11.43/11.59 c INPROCESSING
11.43/11.59 c GARBAGE COLLECT
11.43/11.59 c #Conflicts: 3000 | #Constraints: 31153
11.43/11.59 c #Conflicts: 4000 | #Constraints: 32154
11.43/11.59 c INPROCESSING
11.43/11.59 c GARBAGE COLLECT
11.43/11.59 c #Conflicts: 5000 | #Constraints: 31578
11.43/11.59 c #Conflicts: 6000 | #Constraints: 32578
11.43/11.59 c INPROCESSING
11.43/11.59 c GARBAGE COLLECT
11.43/11.59 c rational objective 0
17.62/17.73 c #Conflicts: 7000 | #Constraints: 31624
17.62/17.73 c #Conflicts: 8000 | #Constraints: 32624
17.62/17.73 c #Conflicts: 9000 | #Constraints: 33624
17.62/17.73 c INPROCESSING
17.62/17.73 c GARBAGE COLLECT
17.62/17.73 c rational objective 0
28.89/29.02 c #Conflicts: 10000 | #Constraints: 32347
28.89/29.02 c #Conflicts: 11000 | #Constraints: 33347
28.89/29.02 c #Conflicts: 12000 | #Constraints: 34347
28.89/29.02 c INPROCESSING
28.89/29.02 c GARBAGE COLLECT
28.89/29.02 c rational objective 0
51.94/52.15 c #Conflicts: 13000 | #Constraints: 32847
51.94/52.15 c #Conflicts: 14000 | #Constraints: 33847
51.94/52.15 c #Conflicts: 15000 | #Constraints: 34847
51.94/52.15 c INPROCESSING
51.94/52.15 c GARBAGE COLLECT
51.94/52.15 c #Conflicts: 16000 | #Constraints: 33060
51.94/52.15 c #Conflicts: 17000 | #Constraints: 34060
51.94/52.15 c #Conflicts: 18000 | #Constraints: 35060
51.94/52.15 c INPROCESSING
51.94/52.15 c GARBAGE COLLECT
51.94/52.15 c rational objective 0
82.86/83.19 c #Conflicts: 19000 | #Constraints: 33105
82.86/83.19 c #Conflicts: 20000 | #Constraints: 34105
82.86/83.19 c #Conflicts: 21000 | #Constraints: 35105
82.86/83.19 c INPROCESSING
82.86/83.19 c GARBAGE COLLECT
82.86/83.19 c #Conflicts: 22000 | #Constraints: 32872
82.86/83.19 c #Conflicts: 23000 | #Constraints: 33872
82.86/83.19 c #Conflicts: 24000 | #Constraints: 34872
82.86/83.19 c #Conflicts: 25000 | #Constraints: 35872
82.86/83.19 c INPROCESSING
82.86/83.19 c GARBAGE COLLECT
82.86/83.19 c #Conflicts: 26000 | #Constraints: 33486
82.86/83.19 c #Conflicts: 27000 | #Constraints: 34486
82.86/83.19 c #Conflicts: 28000 | #Constraints: 35486
82.86/83.19 c #Conflicts: 29000 | #Constraints: 36486
82.86/83.19 c INPROCESSING
82.86/83.19 c GARBAGE COLLECT
82.86/83.19 c #Conflicts: 30000 | #Constraints: 33879
82.86/83.19 c #Conflicts: 31000 | #Constraints: 34879
82.86/83.19 c #Conflicts: 32000 | #Constraints: 35879
82.86/83.19 c #Conflicts: 33000 | #Constraints: 36879
82.86/83.19 c INPROCESSING
82.86/83.19 c GARBAGE COLLECT
82.86/83.19 c rational objective 0
107.79/108.12 c #Conflicts: 34000 | #Constraints: 34103
107.79/108.12 c #Conflicts: 35000 | #Constraints: 35103
107.79/108.12 c #Conflicts: 36000 | #Constraints: 36103
107.79/108.12 c #Conflicts: 37000 | #Constraints: 37103
107.79/108.12 c INPROCESSING
107.79/108.12 c GARBAGE COLLECT
107.79/108.12 c #Conflicts: 38000 | #Constraints: 34104
107.79/108.12 c #Conflicts: 39000 | #Constraints: 35104
107.79/108.12 c #Conflicts: 40000 | #Constraints: 36104
107.79/108.12 c #Conflicts: 41000 | #Constraints: 37104
107.79/108.12 c INPROCESSING
107.79/108.12 c GARBAGE COLLECT
107.79/108.12 c #Conflicts: 42000 | #Constraints: 33909
107.79/108.12 c #Conflicts: 43000 | #Constraints: 34909
107.79/108.12 c #Conflicts: 44000 | #Constraints: 35909
107.79/108.12 c #Conflicts: 45000 | #Constraints: 36909
107.79/108.12 c #Conflicts: 46000 | #Constraints: 37909
107.79/108.12 c INPROCESSING
107.79/108.12 c GARBAGE COLLECT
107.79/108.12 c rational objective 0
120.85/121.25 c #Conflicts: 47000 | #Constraints: 34542
120.85/121.25 c #Conflicts: 48000 | #Constraints: 35542
120.85/121.25 c #Conflicts: 49000 | #Constraints: 36542
120.85/121.25 c #Conflicts: 50000 | #Constraints: 37542
120.85/121.25 c #Conflicts: 51000 | #Constraints: 38542
120.85/121.25 c INPROCESSING
120.85/121.25 c GARBAGE COLLECT
120.85/121.25 c #Conflicts: 52000 | #Constraints: 34930
120.85/121.25 c #Conflicts: 53000 | #Constraints: 35930
120.85/121.25 c #Conflicts: 54000 | #Constraints: 36930
120.85/121.25 c #Conflicts: 55000 | #Constraints: 37931
120.85/121.25 c #Conflicts: 56000 | #Constraints: 38934
120.85/121.25 c INPROCESSING
120.85/121.25 c GARBAGE COLLECT
120.85/121.25 c rational objective 0
134.62/135.04 c #Conflicts: 57000 | #Constraints: 35166
134.62/135.04 c #Conflicts: 58000 | #Constraints: 36166
134.62/135.04 c #Conflicts: 59000 | #Constraints: 37166
134.62/135.04 c #Conflicts: 60000 | #Constraints: 38167
134.62/135.04 c #Conflicts: 61000 | #Constraints: 39167
134.62/135.04 c INPROCESSING
134.62/135.04 c GARBAGE COLLECT
134.62/135.04 c #Conflicts: 62000 | #Constraints: 35156
134.62/135.04 c #Conflicts: 63000 | #Constraints: 36161
134.62/135.04 c #Conflicts: 64000 | #Constraints: 37161
134.62/135.04 c #Conflicts: 65000 | #Constraints: 38166
134.62/135.04 c #Conflicts: 66000 | #Constraints: 39166
134.62/135.04 c INPROCESSING
134.62/135.04 c GARBAGE COLLECT
134.62/135.04 c rational objective 0
143.49/143.92 c #Conflicts: 67000 | #Constraints: 34939
143.49/143.92 c #Conflicts: 68000 | #Constraints: 35939
143.49/143.92 c #Conflicts: 69000 | #Constraints: 36939
143.49/143.92 c #Conflicts: 70000 | #Constraints: 37939
143.49/143.92 c #Conflicts: 71000 | #Constraints: 38940
143.49/143.92 c #Conflicts: 72000 | #Constraints: 39940
143.49/143.92 c INPROCESSING
143.49/143.92 c GARBAGE COLLECT
143.49/143.92 c rational objective 0
152.27/152.73 c #Conflicts: 73000 | #Constraints: 35583
152.27/152.73 c #Conflicts: 74000 | #Constraints: 36585
152.27/152.73 c #Conflicts: 75000 | #Constraints: 37585
152.27/152.73 c #Conflicts: 76000 | #Constraints: 38586
152.27/152.73 c #Conflicts: 77000 | #Constraints: 39586
152.27/152.73 c #Conflicts: 78000 | #Constraints: 40586
152.27/152.73 c INPROCESSING
152.27/152.73 c GARBAGE COLLECT
152.27/152.73 c rational objective 0
160.45/160.91 c #Conflicts: 79000 | #Constraints: 35996
160.45/160.91 c #Conflicts: 80000 | #Constraints: 36996
160.45/160.91 c #Conflicts: 81000 | #Constraints: 37997
160.45/160.91 c #Conflicts: 82000 | #Constraints: 38997
160.45/160.91 c #Conflicts: 83000 | #Constraints: 40000
160.45/160.91 c #Conflicts: 84000 | #Constraints: 41000
160.45/160.91 c INPROCESSING
160.45/160.91 c GARBAGE COLLECT
160.45/160.91 c rational objective 0
185.18/185.74 c #Conflicts: 85000 | #Constraints: 36210
185.18/185.74 c #Conflicts: 86000 | #Constraints: 37210
185.18/185.74 c #Conflicts: 87000 | #Constraints: 38213
185.18/185.74 c #Conflicts: 88000 | #Constraints: 39215
185.18/185.74 c #Conflicts: 89000 | #Constraints: 40216
185.18/185.74 c #Conflicts: 90000 | #Constraints: 41218
185.18/185.74 c INPROCESSING
185.18/185.74 c GARBAGE COLLECT
185.18/185.74 c #Conflicts: 91000 | #Constraints: 36223
185.18/185.74 c #Conflicts: 92000 | #Constraints: 37223
185.18/185.74 c #Conflicts: 93000 | #Constraints: 38223
185.18/185.74 c #Conflicts: 94000 | #Constraints: 39224
185.18/185.74 c #Conflicts: 95000 | #Constraints: 40224
185.18/185.74 c #Conflicts: 96000 | #Constraints: 41224
185.18/185.74 c INPROCESSING
185.18/185.74 c GARBAGE COLLECT
185.18/185.74 c rational objective 1.29247e-26
203.63/204.26 c #Conflicts: 97000 | #Constraints: 36023
203.63/204.26 c #Conflicts: 98000 | #Constraints: 37023
203.63/204.26 c #Conflicts: 99000 | #Constraints: 38024
203.63/204.26 c #Conflicts: 100000 | #Constraints: 39025
203.63/204.26 c #Conflicts: 101000 | #Constraints: 40025
203.63/204.26 c #Conflicts: 102000 | #Constraints: 41025
203.63/204.26 c #Conflicts: 103000 | #Constraints: 42031
203.63/204.26 c INPROCESSING
203.63/204.26 c GARBAGE COLLECT
203.63/204.26 c rational objective 0
213.02/213.62 c #Conflicts: 104000 | #Constraints: 36605
213.02/213.62 c #Conflicts: 105000 | #Constraints: 37605
213.02/213.62 c #Conflicts: 106000 | #Constraints: 38605
213.02/213.62 c #Conflicts: 107000 | #Constraints: 39605
213.02/213.62 c #Conflicts: 108000 | #Constraints: 40605
213.02/213.62 c #Conflicts: 109000 | #Constraints: 41605
213.02/213.62 c #Conflicts: 110000 | #Constraints: 42606
213.02/213.62 c INPROCESSING
213.02/213.62 c GARBAGE COLLECT
213.02/213.62 c rational objective 0
221.69/222.33 c #Conflicts: 111000 | #Constraints: 37001
221.69/222.33 c #Conflicts: 112000 | #Constraints: 38001
221.69/222.33 c #Conflicts: 113000 | #Constraints: 39001
221.69/222.33 c #Conflicts: 114000 | #Constraints: 40001
221.69/222.33 c #Conflicts: 115000 | #Constraints: 41003
221.69/222.33 c #Conflicts: 116000 | #Constraints: 42003
221.69/222.33 c #Conflicts: 117000 | #Constraints: 43003
221.69/222.33 c INPROCESSING
221.69/222.33 c GARBAGE COLLECT
221.69/222.33 c rational objective 0
241.74/242.44 c #Conflicts: 118000 | #Constraints: 37204
241.74/242.44 c #Conflicts: 119000 | #Constraints: 38204
241.74/242.44 c #Conflicts: 120000 | #Constraints: 39205
241.74/242.44 c #Conflicts: 121000 | #Constraints: 40205
241.74/242.44 c #Conflicts: 122000 | #Constraints: 41205
241.74/242.44 c #Conflicts: 123000 | #Constraints: 42205
241.74/242.44 c #Conflicts: 124000 | #Constraints: 43205
241.74/242.44 c INPROCESSING
241.74/242.44 c GARBAGE COLLECT
241.74/242.44 c rational objective 0
252.22/253.00 c #Conflicts: 125000 | #Constraints: 37200
252.22/253.00 c #Conflicts: 126000 | #Constraints: 38201
252.22/253.00 c #Conflicts: 127000 | #Constraints: 39201
252.22/253.00 c #Conflicts: 128000 | #Constraints: 40202
252.22/253.00 c #Conflicts: 129000 | #Constraints: 41202
252.22/253.00 c #Conflicts: 130000 | #Constraints: 42202
252.22/253.00 c #Conflicts: 131000 | #Constraints: 43202
252.22/253.00 c INPROCESSING
252.22/253.00 c GARBAGE COLLECT
252.22/253.00 c rational objective 0
264.69/265.41 c #Conflicts: 132000 | #Constraints: 37005
264.69/265.41 c #Conflicts: 133000 | #Constraints: 38005
264.69/265.41 c #Conflicts: 134000 | #Constraints: 39005
264.69/265.41 c #Conflicts: 135000 | #Constraints: 40005
264.69/265.41 c #Conflicts: 136000 | #Constraints: 41005
264.69/265.41 c #Conflicts: 137000 | #Constraints: 42005
264.69/265.41 c #Conflicts: 138000 | #Constraints: 43005
264.69/265.41 c #Conflicts: 139000 | #Constraints: 44005
264.69/265.41 c INPROCESSING
264.69/265.41 c GARBAGE COLLECT
264.69/265.41 c rational objective 0
275.05/275.84 c #Conflicts: 140000 | #Constraints: 37632
275.05/275.84 c #Conflicts: 141000 | #Constraints: 38635
275.05/275.84 c #Conflicts: 142000 | #Constraints: 39640
275.05/275.84 c #Conflicts: 143000 | #Constraints: 40643
275.05/275.84 c #Conflicts: 144000 | #Constraints: 41643
275.05/275.84 c #Conflicts: 145000 | #Constraints: 42643
275.05/275.84 c #Conflicts: 146000 | #Constraints: 43643
275.05/275.84 c #Conflicts: 147000 | #Constraints: 44643
275.05/275.84 c INPROCESSING
275.05/275.84 c GARBAGE COLLECT
275.05/275.84 c rational objective 0
286.73/287.57 c #Conflicts: 148000 | #Constraints: 38056
286.73/287.57 c #Conflicts: 149000 | #Constraints: 39058
286.73/287.57 c #Conflicts: 150000 | #Constraints: 40058
286.73/287.57 c #Conflicts: 151000 | #Constraints: 41058
286.73/287.57 c #Conflicts: 152000 | #Constraints: 42058
286.73/287.57 c #Conflicts: 153000 | #Constraints: 43058
286.73/287.57 c #Conflicts: 154000 | #Constraints: 44059
286.73/287.57 c #Conflicts: 155000 | #Constraints: 45059
286.73/287.57 c INPROCESSING
286.73/287.57 c GARBAGE COLLECT
286.73/287.57 c rational objective 0
298.79/299.63 c #Conflicts: 156000 | #Constraints: 38243
298.79/299.63 c #Conflicts: 157000 | #Constraints: 39243
298.79/299.63 c #Conflicts: 158000 | #Constraints: 40243
298.79/299.63 c #Conflicts: 159000 | #Constraints: 41244
298.79/299.63 c #Conflicts: 160000 | #Constraints: 42248
298.79/299.63 c #Conflicts: 161000 | #Constraints: 43249
298.79/299.63 c #Conflicts: 162000 | #Constraints: 44249
298.79/299.63 c #Conflicts: 163000 | #Constraints: 45249
298.79/299.63 c INPROCESSING
298.79/299.63 c GARBAGE COLLECT
298.79/299.63 c rational objective 0
308.57/309.45 c #Conflicts: 164000 | #Constraints: 38293
308.57/309.45 c #Conflicts: 165000 | #Constraints: 39293
308.57/309.45 c #Conflicts: 166000 | #Constraints: 40293
308.57/309.45 c #Conflicts: 167000 | #Constraints: 41293
308.57/309.45 c #Conflicts: 168000 | #Constraints: 42293
308.57/309.45 c #Conflicts: 169000 | #Constraints: 43293
308.57/309.45 c #Conflicts: 170000 | #Constraints: 44293
308.57/309.45 c #Conflicts: 171000 | #Constraints: 45293
308.57/309.45 c INPROCESSING
308.57/309.45 c GARBAGE COLLECT
308.57/309.45 c rational objective 0
321.73/322.70 c #Conflicts: 172000 | #Constraints: 38079
321.73/322.70 c #Conflicts: 173000 | #Constraints: 39079
321.73/322.70 c #Conflicts: 174000 | #Constraints: 40079
321.73/322.70 c #Conflicts: 175000 | #Constraints: 41080
321.73/322.70 c #Conflicts: 176000 | #Constraints: 42080
321.73/322.70 c #Conflicts: 177000 | #Constraints: 43080
321.73/322.70 c #Conflicts: 178000 | #Constraints: 44080
321.73/322.70 c #Conflicts: 179000 | #Constraints: 45080
321.73/322.70 c #Conflicts: 180000 | #Constraints: 46080
321.73/322.70 c INPROCESSING
321.73/322.70 c GARBAGE COLLECT
321.73/322.70 c rational objective 0
335.30/336.21 c #Conflicts: 181000 | #Constraints: 38669
335.30/336.21 c #Conflicts: 182000 | #Constraints: 39669
335.30/336.21 c #Conflicts: 183000 | #Constraints: 40669
335.30/336.21 c #Conflicts: 184000 | #Constraints: 41669
335.30/336.21 c #Conflicts: 185000 | #Constraints: 42669
335.30/336.21 c #Conflicts: 186000 | #Constraints: 43669
335.30/336.21 c #Conflicts: 187000 | #Constraints: 44669
335.30/336.21 c #Conflicts: 188000 | #Constraints: 45669
335.30/336.21 c #Conflicts: 189000 | #Constraints: 46669
335.30/336.21 c INPROCESSING
335.30/336.21 c GARBAGE COLLECT
335.30/336.21 c rational objective 0
356.06/357.08 c #Conflicts: 190000 | #Constraints: 39105
356.06/357.08 c #Conflicts: 191000 | #Constraints: 40105
356.06/357.08 c #Conflicts: 192000 | #Constraints: 41105
356.06/357.08 c #Conflicts: 193000 | #Constraints: 42106
356.06/357.08 c #Conflicts: 194000 | #Constraints: 43106
356.06/357.08 c #Conflicts: 195000 | #Constraints: 44106
356.06/357.08 c #Conflicts: 196000 | #Constraints: 45106
356.06/357.08 c #Conflicts: 197000 | #Constraints: 46106
356.06/357.08 c #Conflicts: 198000 | #Constraints: 47106
356.06/357.08 c INPROCESSING
356.06/357.08 c GARBAGE COLLECT
356.06/357.08 c rational objective 0
369.51/370.57 c #Conflicts: 199000 | #Constraints: 39293
369.51/370.57 c #Conflicts: 200000 | #Constraints: 40293
369.51/370.57 c #Conflicts: 201000 | #Constraints: 41293
369.51/370.57 c #Conflicts: 202000 | #Constraints: 42293
369.51/370.57 c #Conflicts: 203000 | #Constraints: 43295
369.51/370.57 c #Conflicts: 204000 | #Constraints: 44295
369.51/370.57 c #Conflicts: 205000 | #Constraints: 45297
369.51/370.57 c #Conflicts: 206000 | #Constraints: 46297
369.51/370.57 c #Conflicts: 207000 | #Constraints: 47297
369.51/370.57 c INPROCESSING
369.51/370.57 c GARBAGE COLLECT
369.51/370.57 c rational objective 0
389.07/390.18 c #Conflicts: 208000 | #Constraints: 39276
389.07/390.18 c #Conflicts: 209000 | #Constraints: 40276
389.07/390.18 c #Conflicts: 210000 | #Constraints: 41276
389.07/390.18 c #Conflicts: 211000 | #Constraints: 42276
389.07/390.18 c #Conflicts: 212000 | #Constraints: 43276
389.07/390.18 c #Conflicts: 213000 | #Constraints: 44281
389.07/390.18 c #Conflicts: 214000 | #Constraints: 45283
389.07/390.18 c #Conflicts: 215000 | #Constraints: 46291
389.07/390.18 c #Conflicts: 216000 | #Constraints: 47297
389.07/390.18 c INPROCESSING
389.07/390.18 c GARBAGE COLLECT
389.07/390.18 c rational objective 0
408.21/409.37 c #Conflicts: 217000 | #Constraints: 39064
408.21/409.37 c #Conflicts: 218000 | #Constraints: 40064
408.21/409.37 c #Conflicts: 219000 | #Constraints: 41064
408.21/409.37 c #Conflicts: 220000 | #Constraints: 42064
408.21/409.37 c #Conflicts: 221000 | #Constraints: 43064
408.21/409.37 c #Conflicts: 222000 | #Constraints: 44064
408.21/409.37 c #Conflicts: 223000 | #Constraints: 45064
408.21/409.37 c #Conflicts: 224000 | #Constraints: 46064
408.21/409.37 c #Conflicts: 225000 | #Constraints: 47064
408.21/409.37 c #Conflicts: 226000 | #Constraints: 48064
408.21/409.37 c INPROCESSING
408.21/409.37 c GARBAGE COLLECT
408.21/409.37 c rational objective 0
424.37/425.51 c #Conflicts: 227000 | #Constraints: 39627
424.37/425.51 c #Conflicts: 228000 | #Constraints: 40627
424.37/425.51 c #Conflicts: 229000 | #Constraints: 41627
424.37/425.51 c #Conflicts: 230000 | #Constraints: 42627
424.37/425.51 c #Conflicts: 231000 | #Constraints: 43627
424.37/425.51 c #Conflicts: 232000 | #Constraints: 44628
424.37/425.51 c #Conflicts: 233000 | #Constraints: 45628
424.37/425.51 c #Conflicts: 234000 | #Constraints: 46629
424.37/425.51 c #Conflicts: 235000 | #Constraints: 47629
424.37/425.51 c #Conflicts: 236000 | #Constraints: 48629
424.37/425.51 c INPROCESSING
424.37/425.51 c GARBAGE COLLECT
424.37/425.51 c rational objective 0
443.72/444.93 c #Conflicts: 237000 | #Constraints: 40059
443.72/444.93 c #Conflicts: 238000 | #Constraints: 41059
443.72/444.93 c #Conflicts: 239000 | #Constraints: 42059
443.72/444.93 c #Conflicts: 240000 | #Constraints: 43059
443.72/444.93 c #Conflicts: 241000 | #Constraints: 44059
443.72/444.93 c #Conflicts: 242000 | #Constraints: 45059
443.72/444.93 c #Conflicts: 243000 | #Constraints: 46060
443.72/444.93 c #Conflicts: 244000 | #Constraints: 47060
443.72/444.93 c #Conflicts: 245000 | #Constraints: 48062
443.72/444.93 c #Conflicts: 246000 | #Constraints: 49063
443.72/444.93 c INPROCESSING
443.72/444.93 c GARBAGE COLLECT
443.72/444.93 c rational objective 0
467.36/468.70 c #Conflicts: 247000 | #Constraints: 40297
467.36/468.70 c #Conflicts: 248000 | #Constraints: 41297
467.36/468.70 c #Conflicts: 249000 | #Constraints: 42297
467.36/468.70 c #Conflicts: 250000 | #Constraints: 43297
467.36/468.70 c #Conflicts: 251000 | #Constraints: 44297
467.36/468.70 c #Conflicts: 252000 | #Constraints: 45297
467.36/468.70 c #Conflicts: 253000 | #Constraints: 46297
467.36/468.70 c #Conflicts: 254000 | #Constraints: 47297
467.36/468.70 c #Conflicts: 255000 | #Constraints: 48297
467.36/468.70 c #Conflicts: 256000 | #Constraints: 49297
467.36/468.70 c INPROCESSING
467.36/468.70 c GARBAGE COLLECT
467.36/468.70 c rational objective 0
483.73/485.05 c #Conflicts: 257000 | #Constraints: 40297
483.73/485.05 c #Conflicts: 258000 | #Constraints: 41297
483.73/485.05 c #Conflicts: 259000 | #Constraints: 42297
483.73/485.05 c #Conflicts: 260000 | #Constraints: 43297
483.73/485.05 c #Conflicts: 261000 | #Constraints: 44297
483.73/485.05 c #Conflicts: 262000 | #Constraints: 45297
483.73/485.05 c #Conflicts: 263000 | #Constraints: 46299
483.73/485.05 c #Conflicts: 264000 | #Constraints: 47301
483.73/485.05 c #Conflicts: 265000 | #Constraints: 48302
483.73/485.05 c #Conflicts: 266000 | #Constraints: 49302
483.73/485.05 c INPROCESSING
483.73/485.05 c GARBAGE COLLECT
483.73/485.05 c rational objective 0
502.27/503.65 c #Conflicts: 267000 | #Constraints: 40113
502.27/503.65 c #Conflicts: 268000 | #Constraints: 41114
502.27/503.65 c #Conflicts: 269000 | #Constraints: 42114
502.27/503.65 c #Conflicts: 270000 | #Constraints: 43114
502.27/503.65 c #Conflicts: 271000 | #Constraints: 44114
502.27/503.65 c #Conflicts: 272000 | #Constraints: 45114
502.27/503.65 c #Conflicts: 273000 | #Constraints: 46114
502.27/503.65 c #Conflicts: 274000 | #Constraints: 47114
502.27/503.65 c #Conflicts: 275000 | #Constraints: 48114
502.27/503.65 c #Conflicts: 276000 | #Constraints: 49115
502.27/503.65 c #Conflicts: 277000 | #Constraints: 50115
502.27/503.65 c INPROCESSING
502.27/503.65 c GARBAGE COLLECT
502.27/503.65 c rational objective 0
519.74/521.19 c #Conflicts: 278000 | #Constraints: 40700
519.74/521.19 c #Conflicts: 279000 | #Constraints: 41702
519.74/521.19 c #Conflicts: 280000 | #Constraints: 42702
519.74/521.19 c #Conflicts: 281000 | #Constraints: 43702
519.74/521.19 c #Conflicts: 282000 | #Constraints: 44705
519.74/521.19 c #Conflicts: 283000 | #Constraints: 45707
519.74/521.19 c #Conflicts: 284000 | #Constraints: 46710
519.74/521.19 c #Conflicts: 285000 | #Constraints: 47710
519.74/521.19 c #Conflicts: 286000 | #Constraints: 48710
519.74/521.19 c #Conflicts: 287000 | #Constraints: 49710
519.74/521.19 c #Conflicts: 288000 | #Constraints: 50710
519.74/521.19 c INPROCESSING
519.74/521.19 c GARBAGE COLLECT
519.74/521.19 c rational objective 0
534.18/535.68 c #Conflicts: 289000 | #Constraints: 41126
534.18/535.68 c #Conflicts: 290000 | #Constraints: 42126
534.18/535.68 c #Conflicts: 291000 | #Constraints: 43127
534.18/535.68 c #Conflicts: 292000 | #Constraints: 44127
534.18/535.68 c #Conflicts: 293000 | #Constraints: 45129
534.18/535.68 c #Conflicts: 294000 | #Constraints: 46129
534.18/535.68 c #Conflicts: 295000 | #Constraints: 47129
534.18/535.68 c #Conflicts: 296000 | #Constraints: 48129
534.18/535.68 c #Conflicts: 297000 | #Constraints: 49129
534.18/535.68 c #Conflicts: 298000 | #Constraints: 50133
534.18/535.68 c #Conflicts: 299000 | #Constraints: 51133
534.18/535.68 c INPROCESSING
534.18/535.68 c GARBAGE COLLECT
534.18/535.68 c rational objective 0
553.34/554.89 c #Conflicts: 300000 | #Constraints: 41331
553.34/554.89 c #Conflicts: 301000 | #Constraints: 42331
553.34/554.89 c #Conflicts: 302000 | #Constraints: 43332
553.34/554.89 c #Conflicts: 303000 | #Constraints: 44332
553.34/554.89 c #Conflicts: 304000 | #Constraints: 45333
553.34/554.89 c #Conflicts: 305000 | #Constraints: 46334
553.34/554.89 c #Conflicts: 306000 | #Constraints: 47334
553.34/554.89 c #Conflicts: 307000 | #Constraints: 48334
553.34/554.89 c #Conflicts: 308000 | #Constraints: 49335
553.34/554.89 c #Conflicts: 309000 | #Constraints: 50336
553.34/554.89 c #Conflicts: 310000 | #Constraints: 51336
553.34/554.89 c INPROCESSING
553.34/554.89 c GARBAGE COLLECT
553.34/554.89 c rational objective 0
572.50/574.04 c #Conflicts: 311000 | #Constraints: 41342
572.50/574.04 c #Conflicts: 312000 | #Constraints: 42342
572.50/574.04 c #Conflicts: 313000 | #Constraints: 43342
572.50/574.04 c #Conflicts: 314000 | #Constraints: 44342
572.50/574.04 c #Conflicts: 315000 | #Constraints: 45342
572.50/574.04 c #Conflicts: 316000 | #Constraints: 46343
572.50/574.04 c #Conflicts: 317000 | #Constraints: 47343
572.50/574.04 c #Conflicts: 318000 | #Constraints: 48343
572.50/574.04 c #Conflicts: 319000 | #Constraints: 49343
572.50/574.04 c #Conflicts: 320000 | #Constraints: 50343
572.50/574.04 c #Conflicts: 321000 | #Constraints: 51343
572.50/574.04 c INPROCESSING
572.50/574.04 c GARBAGE COLLECT
572.50/574.04 c rational objective 0
588.46/590.05 c #Conflicts: 322000 | #Constraints: 41165
588.46/590.05 c #Conflicts: 323000 | #Constraints: 42166
588.46/590.05 c #Conflicts: 324000 | #Constraints: 43167
588.46/590.05 c #Conflicts: 325000 | #Constraints: 44167
588.46/590.05 c #Conflicts: 326000 | #Constraints: 45167
588.46/590.05 c #Conflicts: 327000 | #Constraints: 46167
588.46/590.05 c #Conflicts: 328000 | #Constraints: 47168
588.46/590.05 c #Conflicts: 329000 | #Constraints: 48169
588.46/590.05 c #Conflicts: 330000 | #Constraints: 49172
588.46/590.05 c #Conflicts: 331000 | #Constraints: 50177
588.46/590.05 c #Conflicts: 332000 | #Constraints: 51180
588.46/590.05 c #Conflicts: 333000 | #Constraints: 52183
588.46/590.05 c INPROCESSING
588.46/590.05 c GARBAGE COLLECT
588.46/590.05 c rational objective 0
606.90/608.53 c #Conflicts: 334000 | #Constraints: 41779
606.90/608.53 c #Conflicts: 335000 | #Constraints: 42783
606.90/608.53 c #Conflicts: 336000 | #Constraints: 43788
606.90/608.53 c #Conflicts: 337000 | #Constraints: 44790
606.90/608.53 c #Conflicts: 338000 | #Constraints: 45790
606.90/608.53 c #Conflicts: 339000 | #Constraints: 46791
606.90/608.53 c #Conflicts: 340000 | #Constraints: 47791
606.90/608.53 c #Conflicts: 341000 | #Constraints: 48791
606.90/608.53 c #Conflicts: 342000 | #Constraints: 49792
606.90/608.53 c #Conflicts: 343000 | #Constraints: 50793
606.90/608.53 c #Conflicts: 344000 | #Constraints: 51793
606.90/608.53 c #Conflicts: 345000 | #Constraints: 52793
606.90/608.53 c INPROCESSING
606.90/608.53 c GARBAGE COLLECT
606.90/608.53 c rational objective 0
623.76/625.48 c #Conflicts: 346000 | #Constraints: 42159
623.76/625.48 c #Conflicts: 347000 | #Constraints: 43159
623.76/625.48 c #Conflicts: 348000 | #Constraints: 44159
623.76/625.48 c #Conflicts: 349000 | #Constraints: 45159
623.76/625.48 c #Conflicts: 350000 | #Constraints: 46161
623.76/625.48 c #Conflicts: 351000 | #Constraints: 47161
623.76/625.48 c #Conflicts: 352000 | #Constraints: 48161
623.76/625.48 c #Conflicts: 353000 | #Constraints: 49163
623.76/625.48 c #Conflicts: 354000 | #Constraints: 50168
623.76/625.48 c #Conflicts: 355000 | #Constraints: 51171
623.76/625.48 c #Conflicts: 356000 | #Constraints: 52171
623.76/625.48 c #Conflicts: 357000 | #Constraints: 53171
623.76/625.48 c INPROCESSING
623.76/625.48 c GARBAGE COLLECT
623.76/625.48 c rational objective 0
644.01/645.76 c #Conflicts: 358000 | #Constraints: 42356
644.01/645.76 c #Conflicts: 359000 | #Constraints: 43356
644.01/645.76 c #Conflicts: 360000 | #Constraints: 44356
644.01/645.76 c #Conflicts: 361000 | #Constraints: 45358
644.01/645.76 c #Conflicts: 362000 | #Constraints: 46360
644.01/645.76 c #Conflicts: 363000 | #Constraints: 47360
644.01/645.76 c #Conflicts: 364000 | #Constraints: 48360
644.01/645.76 c #Conflicts: 365000 | #Constraints: 49360
644.01/645.76 c #Conflicts: 366000 | #Constraints: 50360
644.01/645.76 c #Conflicts: 367000 | #Constraints: 51360
644.01/645.76 c #Conflicts: 368000 | #Constraints: 52360
644.01/645.76 c #Conflicts: 369000 | #Constraints: 53361
644.01/645.76 c INPROCESSING
644.01/645.76 c GARBAGE COLLECT
644.01/645.76 c rational objective 0
690.79/692.60 c #Conflicts: 370000 | #Constraints: 42367
690.79/692.60 c #Conflicts: 371000 | #Constraints: 43368
690.79/692.60 c #Conflicts: 372000 | #Constraints: 44368
690.79/692.60 c #Conflicts: 373000 | #Constraints: 45368
690.79/692.60 c #Conflicts: 374000 | #Constraints: 46369
690.79/692.60 c #Conflicts: 375000 | #Constraints: 47370
690.79/692.60 c #Conflicts: 376000 | #Constraints: 48371
690.79/692.60 c #Conflicts: 377000 | #Constraints: 49371
690.79/692.60 c #Conflicts: 378000 | #Constraints: 50371
690.79/692.60 c #Conflicts: 379000 | #Constraints: 51374
690.79/692.60 c #Conflicts: 380000 | #Constraints: 52374
690.79/692.60 c #Conflicts: 381000 | #Constraints: 53375
690.79/692.60 c INPROCESSING
690.79/692.60 c GARBAGE COLLECT
690.79/692.60 c rational objective -2.134e-11
714.15/716.03 c #Conflicts: 382000 | #Constraints: 42145
714.15/716.03 c #Conflicts: 383000 | #Constraints: 43148
714.15/716.03 c #Conflicts: 384000 | #Constraints: 44151
714.15/716.03 c #Conflicts: 385000 | #Constraints: 45153
714.15/716.03 c #Conflicts: 386000 | #Constraints: 46155
714.15/716.03 c #Conflicts: 387000 | #Constraints: 47158
714.15/716.03 c #Conflicts: 388000 | #Constraints: 48160
714.15/716.03 c #Conflicts: 389000 | #Constraints: 49160
714.15/716.03 c #Conflicts: 390000 | #Constraints: 50160
714.15/716.03 c #Conflicts: 391000 | #Constraints: 51161
714.15/716.03 c #Conflicts: 392000 | #Constraints: 52162
714.15/716.03 c #Conflicts: 393000 | #Constraints: 53162
714.15/716.03 c #Conflicts: 394000 | #Constraints: 54162
714.15/716.03 c INPROCESSING
714.15/716.03 c GARBAGE COLLECT
714.15/716.03 c rational objective 0
733.79/735.71 c #Conflicts: 395000 | #Constraints: 42822
733.79/735.71 c #Conflicts: 396000 | #Constraints: 43822
733.79/735.71 c #Conflicts: 397000 | #Constraints: 44822
733.79/735.71 c #Conflicts: 398000 | #Constraints: 45823
733.79/735.71 c #Conflicts: 399000 | #Constraints: 46825
733.79/735.71 c #Conflicts: 400000 | #Constraints: 47826
733.79/735.71 c #Conflicts: 401000 | #Constraints: 48828
733.79/735.71 c #Conflicts: 402000 | #Constraints: 49831
733.79/735.71 c #Conflicts: 403000 | #Constraints: 50833
733.79/735.71 c #Conflicts: 404000 | #Constraints: 51833
733.79/735.71 c #Conflicts: 405000 | #Constraints: 52835
733.79/735.71 c #Conflicts: 406000 | #Constraints: 53835
733.79/735.71 c #Conflicts: 407000 | #Constraints: 54835
733.79/735.71 c INPROCESSING
733.79/735.71 c GARBAGE COLLECT
733.79/735.71 c rational objective 0
752.84/754.83 c #Conflicts: 408000 | #Constraints: 43187
752.84/754.83 c #Conflicts: 409000 | #Constraints: 44187
752.84/754.83 c #Conflicts: 410000 | #Constraints: 45187
752.84/754.83 c #Conflicts: 411000 | #Constraints: 46188
752.84/754.83 c #Conflicts: 412000 | #Constraints: 47189
752.84/754.83 c #Conflicts: 413000 | #Constraints: 48190
752.84/754.83 c #Conflicts: 414000 | #Constraints: 49190
752.84/754.83 c #Conflicts: 415000 | #Constraints: 50191
752.84/754.83 c #Conflicts: 416000 | #Constraints: 51191
752.84/754.83 c #Conflicts: 417000 | #Constraints: 52192
752.84/754.83 c #Conflicts: 418000 | #Constraints: 53192
752.84/754.83 c #Conflicts: 419000 | #Constraints: 54192
752.84/754.83 c #Conflicts: 420000 | #Constraints: 55192
752.84/754.83 c INPROCESSING
752.84/754.83 c GARBAGE COLLECT
752.84/754.83 c rational objective 0
773.29/775.37 c #Conflicts: 421000 | #Constraints: 43352
773.29/775.37 c #Conflicts: 422000 | #Constraints: 44357
773.29/775.37 c #Conflicts: 423000 | #Constraints: 45361
773.29/775.37 c #Conflicts: 424000 | #Constraints: 46368
773.29/775.37 c #Conflicts: 425000 | #Constraints: 47371
773.29/775.37 c #Conflicts: 426000 | #Constraints: 48378
773.29/775.37 c #Conflicts: 427000 | #Constraints: 49379
773.29/775.37 c #Conflicts: 428000 | #Constraints: 50379
773.29/775.37 c #Conflicts: 429000 | #Constraints: 51379
773.29/775.37 c #Conflicts: 430000 | #Constraints: 52381
773.29/775.37 c #Conflicts: 431000 | #Constraints: 53391
773.29/775.37 c #Conflicts: 432000 | #Constraints: 54391
773.29/775.37 c #Conflicts: 433000 | #Constraints: 55391
773.29/775.37 c INPROCESSING
773.29/775.37 c GARBAGE COLLECT
773.29/775.37 c rational objective 0
797.83/799.91 c #Conflicts: 434000 | #Constraints: 43419
797.83/799.91 c #Conflicts: 435000 | #Constraints: 44420
797.83/799.91 c #Conflicts: 436000 | #Constraints: 45422
797.83/799.91 c #Conflicts: 437000 | #Constraints: 46422
797.83/799.91 c #Conflicts: 438000 | #Constraints: 47422
797.83/799.91 c #Conflicts: 439000 | #Constraints: 48424
797.83/799.91 c #Conflicts: 440000 | #Constraints: 49425
797.83/799.91 c #Conflicts: 441000 | #Constraints: 50425
797.83/799.91 c #Conflicts: 442000 | #Constraints: 51427
797.83/799.91 c #Conflicts: 443000 | #Constraints: 52428
797.83/799.91 c #Conflicts: 444000 | #Constraints: 53433
797.83/799.91 c #Conflicts: 445000 | #Constraints: 54436
797.83/799.91 c #Conflicts: 446000 | #Constraints: 55441
797.83/799.91 c INPROCESSING
797.83/799.91 c GARBAGE COLLECT
797.83/799.91 c rational objective 0
823.46/825.68 c #Conflicts: 447000 | #Constraints: 43213
823.46/825.68 c #Conflicts: 448000 | #Constraints: 44213
823.46/825.68 c #Conflicts: 449000 | #Constraints: 45217
823.46/825.68 c #Conflicts: 450000 | #Constraints: 46223
823.46/825.68 c #Conflicts: 451000 | #Constraints: 47232
823.46/825.68 c #Conflicts: 452000 | #Constraints: 48244
823.46/825.68 c #Conflicts: 453000 | #Constraints: 49254
823.46/825.68 c #Conflicts: 454000 | #Constraints: 50258
823.46/825.68 c #Conflicts: 455000 | #Constraints: 51260
823.46/825.68 c #Conflicts: 456000 | #Constraints: 52263
823.46/825.68 c #Conflicts: 457000 | #Constraints: 53265
823.46/825.68 c #Conflicts: 458000 | #Constraints: 54267
823.46/825.68 c #Conflicts: 459000 | #Constraints: 55270
823.46/825.68 c #Conflicts: 460000 | #Constraints: 56271
823.46/825.68 c INPROCESSING
823.46/825.68 c GARBAGE COLLECT
823.46/825.68 c rational objective -2.134e-11
847.10/849.32 c #Conflicts: 461000 | #Constraints: 43894
847.10/849.32 c #Conflicts: 462000 | #Constraints: 44901
847.10/849.32 c #Conflicts: 463000 | #Constraints: 45904
847.10/849.32 c #Conflicts: 464000 | #Constraints: 46907
847.10/849.32 c #Conflicts: 465000 | #Constraints: 47913
847.10/849.32 c #Conflicts: 466000 | #Constraints: 48917
847.10/849.32 c #Conflicts: 467000 | #Constraints: 49918
847.10/849.32 c #Conflicts: 468000 | #Constraints: 50920
847.10/849.32 c #Conflicts: 469000 | #Constraints: 51924
847.10/849.32 c #Conflicts: 470000 | #Constraints: 52930
847.10/849.32 c #Conflicts: 471000 | #Constraints: 53936
847.10/849.32 c #Conflicts: 472000 | #Constraints: 54945
847.10/849.32 c #Conflicts: 473000 | #Constraints: 55950
847.10/849.32 c #Conflicts: 474000 | #Constraints: 56954
847.10/849.32 c INPROCESSING
847.10/849.32 c GARBAGE COLLECT
847.10/849.32 c rational objective 0
873.03/875.39 c #Conflicts: 475000 | #Constraints: 44234
873.03/875.39 c #Conflicts: 476000 | #Constraints: 45234
873.03/875.39 c #Conflicts: 477000 | #Constraints: 46234
873.03/875.39 c #Conflicts: 478000 | #Constraints: 47234
873.03/875.39 c #Conflicts: 479000 | #Constraints: 48234
873.03/875.39 c #Conflicts: 480000 | #Constraints: 49237
873.03/875.39 c #Conflicts: 481000 | #Constraints: 50237
873.03/875.39 c #Conflicts: 482000 | #Constraints: 51237
873.03/875.39 c #Conflicts: 483000 | #Constraints: 52237
873.03/875.39 c #Conflicts: 484000 | #Constraints: 53237
873.03/875.39 c #Conflicts: 485000 | #Constraints: 54237
873.03/875.39 c #Conflicts: 486000 | #Constraints: 55242
873.03/875.39 c #Conflicts: 487000 | #Constraints: 56250
873.03/875.39 c #Conflicts: 488000 | #Constraints: 57256
873.03/875.39 c INPROCESSING
873.03/875.39 c GARBAGE COLLECT
873.03/875.39 c rational objective 0
901.26/903.63 c #Conflicts: 489000 | #Constraints: 44400
901.26/903.63 c #Conflicts: 490000 | #Constraints: 45400
901.26/903.63 c #Conflicts: 491000 | #Constraints: 46400
901.26/903.63 c #Conflicts: 492000 | #Constraints: 47400
901.26/903.63 c #Conflicts: 493000 | #Constraints: 48400
901.26/903.63 c #Conflicts: 494000 | #Constraints: 49400
901.26/903.63 c #Conflicts: 495000 | #Constraints: 50401
901.26/903.63 c #Conflicts: 496000 | #Constraints: 51401
901.26/903.63 c #Conflicts: 497000 | #Constraints: 52401
901.26/903.63 c #Conflicts: 498000 | #Constraints: 53403
901.26/903.63 c #Conflicts: 499000 | #Constraints: 54407
901.26/903.63 c #Conflicts: 500000 | #Constraints: 55410
901.26/903.63 c #Conflicts: 501000 | #Constraints: 56413
901.26/903.63 c #Conflicts: 502000 | #Constraints: 57416
901.26/903.63 c INPROCESSING
901.26/903.63 c GARBAGE COLLECT
901.26/903.63 c rational objective 0
961.41/964.00 c #Conflicts: 503000 | #Constraints: 44410
961.41/964.00 c #Conflicts: 504000 | #Constraints: 45410
961.41/964.00 c #Conflicts: 505000 | #Constraints: 46410
961.41/964.00 c #Conflicts: 506000 | #Constraints: 47410
961.41/964.00 c #Conflicts: 507000 | #Constraints: 48410
961.41/964.00 c #Conflicts: 508000 | #Constraints: 49411
961.41/964.00 c #Conflicts: 509000 | #Constraints: 50413
961.41/964.00 c #Conflicts: 510000 | #Constraints: 51414
961.41/964.00 c #Conflicts: 511000 | #Constraints: 52417
961.41/964.00 c #Conflicts: 512000 | #Constraints: 53420
961.41/964.00 c #Conflicts: 513000 | #Constraints: 54422
961.41/964.00 c #Conflicts: 514000 | #Constraints: 55422
961.41/964.00 c #Conflicts: 515000 | #Constraints: 56423
961.41/964.00 c #Conflicts: 516000 | #Constraints: 57428
961.41/964.00 c INPROCESSING
961.41/964.00 c GARBAGE COLLECT
961.41/964.00 c rational objective 0
987.04/989.69 c #Conflicts: 517000 | #Constraints: 44191
987.04/989.69 c #Conflicts: 518000 | #Constraints: 45192
987.04/989.69 c #Conflicts: 519000 | #Constraints: 46192
987.04/989.69 c #Conflicts: 520000 | #Constraints: 47192
987.04/989.69 c #Conflicts: 521000 | #Constraints: 48192
987.04/989.69 c #Conflicts: 522000 | #Constraints: 49192
987.04/989.69 c #Conflicts: 523000 | #Constraints: 50192
987.04/989.69 c #Conflicts: 524000 | #Constraints: 51192
987.04/989.69 c #Conflicts: 525000 | #Constraints: 52192
987.04/989.69 c #Conflicts: 526000 | #Constraints: 53192
987.04/989.69 c #Conflicts: 527000 | #Constraints: 54192
987.04/989.69 c #Conflicts: 528000 | #Constraints: 55193
987.04/989.69 c #Conflicts: 529000 | #Constraints: 56194
987.04/989.69 c #Conflicts: 530000 | #Constraints: 57194
987.04/989.69 c #Conflicts: 531000 | #Constraints: 58194
987.04/989.69 c INPROCESSING
987.04/989.69 c GARBAGE COLLECT
987.04/989.69 c rational objective 0
1011.88/1014.51 c #Conflicts: 532000 | #Constraints: 44808
1011.88/1014.51 c #Conflicts: 533000 | #Constraints: 45808
1011.88/1014.51 c #Conflicts: 534000 | #Constraints: 46808
1011.88/1014.51 c #Conflicts: 535000 | #Constraints: 47808
1011.88/1014.51 c #Conflicts: 536000 | #Constraints: 48808
1011.88/1014.51 c #Conflicts: 537000 | #Constraints: 49808
1011.88/1014.51 c #Conflicts: 538000 | #Constraints: 50809
1011.88/1014.51 c #Conflicts: 539000 | #Constraints: 51814
1011.88/1014.51 c #Conflicts: 540000 | #Constraints: 52815
1011.88/1014.51 c #Conflicts: 541000 | #Constraints: 53815
1011.88/1014.51 c #Conflicts: 542000 | #Constraints: 54815
1011.88/1014.51 c #Conflicts: 543000 | #Constraints: 55816
1011.88/1014.51 c #Conflicts: 544000 | #Constraints: 56816
1011.88/1014.51 c #Conflicts: 545000 | #Constraints: 57818
1011.88/1014.51 c #Conflicts: 546000 | #Constraints: 58819
1011.88/1014.51 c INPROCESSING
1011.88/1014.51 c GARBAGE COLLECT
1011.88/1014.51 c rational objective -9.2736e-11
1038.52/1041.21 c #Conflicts: 547000 | #Constraints: 45247
1038.52/1041.21 c #Conflicts: 548000 | #Constraints: 46247
1038.52/1041.21 c #Conflicts: 549000 | #Constraints: 47251
1038.52/1041.21 c #Conflicts: 550000 | #Constraints: 48251
1038.52/1041.21 c #Conflicts: 551000 | #Constraints: 49251
1038.52/1041.21 c #Conflicts: 552000 | #Constraints: 50251
1038.52/1041.21 c #Conflicts: 553000 | #Constraints: 51251
1038.52/1041.21 c #Conflicts: 554000 | #Constraints: 52251
1038.52/1041.21 c #Conflicts: 555000 | #Constraints: 53252
1038.52/1041.21 c #Conflicts: 556000 | #Constraints: 54252
1038.52/1041.21 c #Conflicts: 557000 | #Constraints: 55252
1038.52/1041.21 c #Conflicts: 558000 | #Constraints: 56253
1038.52/1041.21 c #Conflicts: 559000 | #Constraints: 57253
1038.52/1041.21 c #Conflicts: 560000 | #Constraints: 58253
1038.52/1041.21 c #Conflicts: 561000 | #Constraints: 59254
1038.52/1041.21 c INPROCESSING
1038.52/1041.21 c GARBAGE COLLECT
1038.52/1041.21 c rational objective 0
1065.85/1068.69 c #Conflicts: 562000 | #Constraints: 45469
1065.85/1068.69 c #Conflicts: 563000 | #Constraints: 46471
1065.85/1068.69 c #Conflicts: 564000 | #Constraints: 47473
1065.85/1068.69 c #Conflicts: 565000 | #Constraints: 48473
1065.85/1068.69 c #Conflicts: 566000 | #Constraints: 49473
1065.85/1068.69 c #Conflicts: 567000 | #Constraints: 50474
1065.85/1068.69 c #Conflicts: 568000 | #Constraints: 51474
1065.85/1068.69 c #Conflicts: 569000 | #Constraints: 52474
1065.85/1068.69 c #Conflicts: 570000 | #Constraints: 53477
1065.85/1068.69 c #Conflicts: 571000 | #Constraints: 54477
1065.85/1068.69 c #Conflicts: 572000 | #Constraints: 55477
1065.85/1068.69 c #Conflicts: 573000 | #Constraints: 56477
1065.85/1068.69 c #Conflicts: 574000 | #Constraints: 57477
1065.85/1068.69 c #Conflicts: 575000 | #Constraints: 58477
1065.85/1068.69 c #Conflicts: 576000 | #Constraints: 59478
1065.85/1068.69 c INPROCESSING
1065.85/1068.69 c GARBAGE COLLECT
1065.85/1068.69 c rational objective 0
1089.48/1092.39 c #Conflicts: 577000 | #Constraints: 45463
1089.48/1092.39 c #Conflicts: 578000 | #Constraints: 46463
1089.48/1092.39 c #Conflicts: 579000 | #Constraints: 47463
1089.48/1092.39 c #Conflicts: 580000 | #Constraints: 48463
1089.48/1092.39 c #Conflicts: 581000 | #Constraints: 49463
1089.48/1092.39 c #Conflicts: 582000 | #Constraints: 50463
1089.48/1092.39 c #Conflicts: 583000 | #Constraints: 51463
1089.48/1092.39 c #Conflicts: 584000 | #Constraints: 52463
1089.48/1092.39 c #Conflicts: 585000 | #Constraints: 53463
1089.48/1092.39 c #Conflicts: 586000 | #Constraints: 54463
1089.48/1092.39 c #Conflicts: 587000 | #Constraints: 55463
1089.48/1092.39 c #Conflicts: 588000 | #Constraints: 56463
1089.48/1092.39 c #Conflicts: 589000 | #Constraints: 57463
1089.48/1092.39 c #Conflicts: 590000 | #Constraints: 58463
1089.48/1092.39 c #Conflicts: 591000 | #Constraints: 59463
1089.48/1092.39 c INPROCESSING
1089.48/1092.39 c GARBAGE COLLECT
1089.48/1092.39 c rational objective 0
1124.70/1127.63 c #Conflicts: 592000 | #Constraints: 45262
1124.70/1127.63 c #Conflicts: 593000 | #Constraints: 46262
1124.70/1127.63 c #Conflicts: 594000 | #Constraints: 47263
1124.70/1127.63 c #Conflicts: 595000 | #Constraints: 48264
1124.70/1127.63 c #Conflicts: 596000 | #Constraints: 49264
1124.70/1127.63 c #Conflicts: 597000 | #Constraints: 50264
1124.70/1127.63 c #Conflicts: 598000 | #Constraints: 51264
1124.70/1127.63 c #Conflicts: 599000 | #Constraints: 52264
1124.70/1127.63 c #Conflicts: 600000 | #Constraints: 53264
1124.70/1127.63 c #Conflicts: 601000 | #Constraints: 54267
1124.70/1127.63 c #Conflicts: 602000 | #Constraints: 55269
1124.70/1127.63 c #Conflicts: 603000 | #Constraints: 56272
1124.70/1127.63 c #Conflicts: 604000 | #Constraints: 57277
1124.70/1127.63 c #Conflicts: 605000 | #Constraints: 58277
1124.70/1127.63 c #Conflicts: 606000 | #Constraints: 59278
1124.70/1127.63 c #Conflicts: 607000 | #Constraints: 60281
1124.70/1127.63 c INPROCESSING
1124.70/1127.63 c GARBAGE COLLECT
1124.70/1127.63 c rational objective 0
1158.31/1161.33 c #Conflicts: 608000 | #Constraints: 45861
1158.31/1161.33 c #Conflicts: 609000 | #Constraints: 46861
1158.31/1161.33 c #Conflicts: 610000 | #Constraints: 47861
1158.31/1161.33 c #Conflicts: 611000 | #Constraints: 48861
1158.31/1161.33 c #Conflicts: 612000 | #Constraints: 49861
1158.31/1161.33 c #Conflicts: 613000 | #Constraints: 50866
1158.31/1161.33 c #Conflicts: 614000 | #Constraints: 51868
1158.31/1161.33 c #Conflicts: 615000 | #Constraints: 52871
1158.31/1161.33 c #Conflicts: 616000 | #Constraints: 53878
1158.31/1161.33 c #Conflicts: 617000 | #Constraints: 54882
1158.31/1161.33 c #Conflicts: 618000 | #Constraints: 55887
1158.31/1161.33 c #Conflicts: 619000 | #Constraints: 56891
1158.31/1161.33 c #Conflicts: 620000 | #Constraints: 57892
1158.31/1161.33 c #Conflicts: 621000 | #Constraints: 58892
1158.31/1161.33 c #Conflicts: 622000 | #Constraints: 59895
1158.31/1161.33 c #Conflicts: 623000 | #Constraints: 60899
1158.31/1161.33 c INPROCESSING
1158.31/1161.33 c GARBAGE COLLECT
1158.31/1161.33 c rational objective 0
1186.44/1189.52 c #Conflicts: 624000 | #Constraints: 46253
1186.44/1189.52 c #Conflicts: 625000 | #Constraints: 47253
1186.44/1189.52 c #Conflicts: 626000 | #Constraints: 48253
1186.44/1189.52 c #Conflicts: 627000 | #Constraints: 49253
1186.44/1189.52 c #Conflicts: 628000 | #Constraints: 50253
1186.44/1189.52 c #Conflicts: 629000 | #Constraints: 51253
1186.44/1189.52 c #Conflicts: 630000 | #Constraints: 52254
1186.44/1189.52 c #Conflicts: 631000 | #Constraints: 53256
1186.44/1189.52 c #Conflicts: 632000 | #Constraints: 54256
1186.44/1189.52 c #Conflicts: 633000 | #Constraints: 55256
1186.44/1189.52 c #Conflicts: 634000 | #Constraints: 56257
1186.44/1189.52 c #Conflicts: 635000 | #Constraints: 57258
1186.44/1189.52 c #Conflicts: 636000 | #Constraints: 58260
1186.44/1189.52 c #Conflicts: 637000 | #Constraints: 59262
1186.44/1189.52 c #Conflicts: 638000 | #Constraints: 60263
1186.44/1189.52 c #Conflicts: 639000 | #Constraints: 61264
1186.44/1189.52 c INPROCESSING
1186.44/1189.52 c GARBAGE COLLECT
1186.44/1189.52 c rational objective -1.01038e-10
1391.91/1395.51 c #Conflicts: 640000 | #Constraints: 46521
1391.91/1395.51 c #Conflicts: 641000 | #Constraints: 47522
1391.91/1395.51 c #Conflicts: 642000 | #Constraints: 48522
1391.91/1395.51 c #Conflicts: 643000 | #Constraints: 49522
1391.91/1395.51 c #Conflicts: 644000 | #Constraints: 50522
1391.91/1395.51 c #Conflicts: 645000 | #Constraints: 51523
1391.91/1395.51 c #Conflicts: 646000 | #Constraints: 52523
1391.91/1395.51 c #Conflicts: 647000 | #Constraints: 53523
1391.91/1395.51 c #Conflicts: 648000 | #Constraints: 54523
1391.91/1395.51 c #Conflicts: 649000 | #Constraints: 55523
1391.91/1395.51 c #Conflicts: 650000 | #Constraints: 56524
1391.91/1395.51 c #Conflicts: 651000 | #Constraints: 57524
1391.91/1395.51 c #Conflicts: 652000 | #Constraints: 58524
1391.91/1395.51 c #Conflicts: 653000 | #Constraints: 59524
1391.91/1395.51 c #Conflicts: 654000 | #Constraints: 60525
1391.91/1395.51 c #Conflicts: 655000 | #Constraints: 61528
1391.91/1395.51 c #Conflicts: 656000 | #Constraints: 62530
1391.91/1395.51 c #Conflicts: 657000 | #Constraints: 63532
1391.91/1395.51 c #Conflicts: 658000 | #Constraints: 64534
1391.91/1395.51 c #Conflicts: 659000 | #Constraints: 65537
1391.91/1395.51 c #Conflicts: 660000 | #Constraints: 66537
1391.91/1395.51 c #Conflicts: 661000 | #Constraints: 67537
1391.91/1395.51 c #Conflicts: 662000 | #Constraints: 68542
1391.91/1395.51 c #Conflicts: 663000 | #Constraints: 69550
1391.91/1395.51 c #Conflicts: 664000 | #Constraints: 70552
1391.91/1395.51 c #Conflicts: 665000 | #Constraints: 71553
1391.91/1395.51 c #Conflicts: 666000 | #Constraints: 72553
1391.91/1395.51 c #Conflicts: 667000 | #Constraints: 73554
1391.91/1395.51 c #Conflicts: 668000 | #Constraints: 74555
1391.91/1395.51 c #Conflicts: 669000 | #Constraints: 75555
1391.91/1395.51 c #Conflicts: 670000 | #Constraints: 76555
1391.91/1395.51 c #Conflicts: 671000 | #Constraints: 77555
1391.91/1395.51 c #Conflicts: 672000 | #Constraints: 78555
1391.91/1395.51 c #Conflicts: 673000 | #Constraints: 79555
1391.91/1395.51 c #Conflicts: 674000 | #Constraints: 80555
1391.91/1395.51 c #Conflicts: 675000 | #Constraints: 81555
1391.91/1395.51 c #Conflicts: 676000 | #Constraints: 82556
1391.91/1395.51 c #Conflicts: 677000 | #Constraints: 83558
1391.91/1395.51 c #Conflicts: 678000 | #Constraints: 84560
1391.91/1395.51 c #Conflicts: 679000 | #Constraints: 85562
1391.91/1395.51 c #Conflicts: 680000 | #Constraints: 86566
1391.91/1395.51 c #Conflicts: 681000 | #Constraints: 87567
1391.91/1395.51 c #Conflicts: 682000 | #Constraints: 88567
1391.91/1395.51 c #Conflicts: 683000 | #Constraints: 89567
1391.91/1395.51 c #Conflicts: 684000 | #Constraints: 90568
1391.91/1395.51 c #Conflicts: 685000 | #Constraints: 91568
1391.91/1395.51 c #Conflicts: 686000 | #Constraints: 92568
1391.91/1395.51 c #Conflicts: 687000 | #Constraints: 93568
1391.91/1395.51 c #Conflicts: 688000 | #Constraints: 94569
1391.91/1395.51 c #Conflicts: 689000 | #Constraints: 95569
1391.91/1395.51 c #Conflicts: 690000 | #Constraints: 96569
1391.91/1395.51 c #Conflicts: 691000 | #Constraints: 97571
1391.91/1395.51 c #Conflicts: 692000 | #Constraints: 98576
1391.91/1395.51 c #Conflicts: 693000 | #Constraints: 99579
1391.91/1395.51 c #Conflicts: 694000 | #Constraints: 100580
1391.91/1395.51 c #Conflicts: 695000 | #Constraints: 101580
1391.91/1395.51 c #Conflicts: 696000 | #Constraints: 102580
1391.91/1395.51 c #Conflicts: 697000 | #Constraints: 103580
1391.91/1395.51 c #Conflicts: 698000 | #Constraints: 104580
1391.91/1395.51 c #Conflicts: 699000 | #Constraints: 105581
1391.91/1395.51 c #Conflicts: 700000 | #Constraints: 106581
1391.91/1395.51 c #Conflicts: 701000 | #Constraints: 107581
1391.91/1395.51 c #Conflicts: 702000 | #Constraints: 108582
1391.91/1395.51 c #Conflicts: 703000 | #Constraints: 109584
1391.91/1395.51 c #Conflicts: 704000 | #Constraints: 110587
1391.91/1395.51 c #Conflicts: 705000 | #Constraints: 111587
1391.91/1395.51 c #Conflicts: 706000 | #Constraints: 112590
1391.91/1395.51 c #Conflicts: 707000 | #Constraints: 113590
1391.91/1395.51 c #Conflicts: 708000 | #Constraints: 114590
1391.91/1395.51 c #Conflicts: 709000 | #Constraints: 115591
1391.91/1395.51 c #Conflicts: 710000 | #Constraints: 116591
1391.91/1395.51 c #Conflicts: 711000 | #Constraints: 117591
1391.91/1395.51 c #Conflicts: 712000 | #Constraints: 118592
1391.91/1395.51 c #Conflicts: 713000 | #Constraints: 119596
1391.91/1395.51 c #Conflicts: 714000 | #Constraints: 120600
1391.91/1395.51 c #Conflicts: 715000 | #Constraints: 121608
1391.91/1395.51 c #Conflicts: 716000 | #Constraints: 122609
1391.91/1395.51 c #Conflicts: 717000 | #Constraints: 123609
1391.91/1395.51 c #Conflicts: 718000 | #Constraints: 124609
1400.79/1404.42 c #Conflicts: 719000 | #Constraints: 125610
1400.79/1404.42 c #Conflicts: 720000 | #Constraints: 126610
1400.79/1404.42 c INPROCESSING
1400.79/1404.42 c GARBAGE COLLECT
1400.79/1404.42 c rational objective 0
1468.62/1472.45 c #Conflicts: 721000 | #Constraints: 79163
1468.62/1472.45 c #Conflicts: 722000 | #Constraints: 80163
1468.62/1472.45 c #Conflicts: 723000 | #Constraints: 81166
1468.62/1472.45 c #Conflicts: 724000 | #Constraints: 82168
1468.62/1472.45 c #Conflicts: 725000 | #Constraints: 83170
1468.62/1472.45 c #Conflicts: 726000 | #Constraints: 84172
1468.62/1472.45 c #Conflicts: 727000 | #Constraints: 85176
1468.62/1472.45 c #Conflicts: 728000 | #Constraints: 86181
1468.62/1472.45 c #Conflicts: 729000 | #Constraints: 87190
1468.62/1472.45 c #Conflicts: 730000 | #Constraints: 88197
1468.62/1472.45 c #Conflicts: 731000 | #Constraints: 89202
1468.62/1472.45 c #Conflicts: 732000 | #Constraints: 90204
1468.62/1472.45 c #Conflicts: 733000 | #Constraints: 91214
1468.62/1472.45 c #Conflicts: 734000 | #Constraints: 92220
1468.62/1472.45 c #Conflicts: 735000 | #Constraints: 93223
1468.62/1472.45 c #Conflicts: 736000 | #Constraints: 94227
1468.62/1472.45 c #Conflicts: 737000 | #Constraints: 95233
1468.62/1472.45 c INPROCESSING
1468.62/1472.45 c GARBAGE COLLECT
1468.62/1472.45 c rational objective 0
1505.31/1509.22 c #Conflicts: 738000 | #Constraints: 63432
1505.31/1509.22 c #Conflicts: 739000 | #Constraints: 64432
1505.31/1509.22 c #Conflicts: 740000 | #Constraints: 65432
1505.31/1509.22 c #Conflicts: 741000 | #Constraints: 66432
1505.31/1509.22 c #Conflicts: 742000 | #Constraints: 67434
1505.31/1509.22 c #Conflicts: 743000 | #Constraints: 68439
1505.31/1509.22 c #Conflicts: 744000 | #Constraints: 69443
1505.31/1509.22 c #Conflicts: 745000 | #Constraints: 70448
1505.31/1509.22 c #Conflicts: 746000 | #Constraints: 71459
1505.31/1509.22 c #Conflicts: 747000 | #Constraints: 72462
1505.31/1509.22 c #Conflicts: 748000 | #Constraints: 73465
1505.31/1509.22 c #Conflicts: 749000 | #Constraints: 74467
1505.31/1509.22 c #Conflicts: 750000 | #Constraints: 75467
1505.31/1509.22 c #Conflicts: 751000 | #Constraints: 76467
1505.31/1509.22 c #Conflicts: 752000 | #Constraints: 77467
1505.31/1509.22 c #Conflicts: 753000 | #Constraints: 78468
1505.31/1509.22 c #Conflicts: 754000 | #Constraints: 79470
1505.31/1509.22 c INPROCESSING
1505.31/1509.22 c GARBAGE COLLECT
1505.31/1509.22 c rational objective 0
1538.51/1542.56 c #Conflicts: 755000 | #Constraints: 55259
1538.51/1542.56 c #Conflicts: 756000 | #Constraints: 56259
1538.51/1542.56 c #Conflicts: 757000 | #Constraints: 57259
1538.51/1542.56 c #Conflicts: 758000 | #Constraints: 58259
1538.51/1542.56 c #Conflicts: 759000 | #Constraints: 59259
1538.51/1542.56 c #Conflicts: 760000 | #Constraints: 60259
1538.51/1542.56 c #Conflicts: 761000 | #Constraints: 61259
1538.51/1542.56 c #Conflicts: 762000 | #Constraints: 62259
1538.51/1542.56 c #Conflicts: 763000 | #Constraints: 63261
1538.51/1542.56 c #Conflicts: 764000 | #Constraints: 64261
1538.51/1542.56 c #Conflicts: 765000 | #Constraints: 65261
1538.51/1542.56 c #Conflicts: 766000 | #Constraints: 66261
1538.51/1542.56 c #Conflicts: 767000 | #Constraints: 67261
1538.51/1542.56 c #Conflicts: 768000 | #Constraints: 68261
1538.51/1542.56 c #Conflicts: 769000 | #Constraints: 69263
1538.51/1542.56 c #Conflicts: 770000 | #Constraints: 70264
1538.51/1542.56 c #Conflicts: 771000 | #Constraints: 71266
1538.51/1542.56 c #Conflicts: 772000 | #Constraints: 72268
1538.51/1542.56 c INPROCESSING
1538.51/1542.56 c GARBAGE COLLECT
1538.51/1542.56 c rational objective 0
1569.83/1573.92 c #Conflicts: 773000 | #Constraints: 51666
1569.83/1573.92 c #Conflicts: 774000 | #Constraints: 52667
1569.83/1573.92 c #Conflicts: 775000 | #Constraints: 53667
1569.83/1573.92 c #Conflicts: 776000 | #Constraints: 54667
1569.83/1573.92 c #Conflicts: 777000 | #Constraints: 55669
1569.83/1573.92 c #Conflicts: 778000 | #Constraints: 56669
1569.83/1573.92 c #Conflicts: 779000 | #Constraints: 57670
1569.83/1573.92 c #Conflicts: 780000 | #Constraints: 58672
1569.83/1573.92 c #Conflicts: 781000 | #Constraints: 59673
1569.83/1573.92 c #Conflicts: 782000 | #Constraints: 60676
1569.83/1573.92 c #Conflicts: 783000 | #Constraints: 61677
1569.83/1573.92 c #Conflicts: 784000 | #Constraints: 62679
1569.83/1573.92 c #Conflicts: 785000 | #Constraints: 63679
1569.83/1573.92 c #Conflicts: 786000 | #Constraints: 64679
1569.83/1573.92 c #Conflicts: 787000 | #Constraints: 65679
1569.83/1573.92 c #Conflicts: 788000 | #Constraints: 66679
1569.83/1573.92 c #Conflicts: 789000 | #Constraints: 67679
1569.83/1573.92 c #Conflicts: 790000 | #Constraints: 68683
1569.83/1573.92 c INPROCESSING
1569.83/1573.92 c GARBAGE COLLECT
1569.83/1573.92 c rational objective 0
1599.65/1603.81 c #Conflicts: 791000 | #Constraints: 50026
1599.65/1603.81 c #Conflicts: 792000 | #Constraints: 51026
1599.65/1603.81 c #Conflicts: 793000 | #Constraints: 52027
1599.65/1603.81 c #Conflicts: 794000 | #Constraints: 53027
1599.65/1603.81 c #Conflicts: 795000 | #Constraints: 54029
1599.65/1603.81 c #Conflicts: 796000 | #Constraints: 55029
1599.65/1603.81 c #Conflicts: 797000 | #Constraints: 56029
1599.65/1603.81 c #Conflicts: 798000 | #Constraints: 57029
1599.65/1603.81 c #Conflicts: 799000 | #Constraints: 58029
1599.65/1603.81 c #Conflicts: 800000 | #Constraints: 59029
1599.65/1603.81 c #Conflicts: 801000 | #Constraints: 60029
1599.65/1603.81 c #Conflicts: 802000 | #Constraints: 61030
1599.65/1603.81 c #Conflicts: 803000 | #Constraints: 62032
1599.65/1603.81 c #Conflicts: 804000 | #Constraints: 63034
1599.65/1603.81 c #Conflicts: 805000 | #Constraints: 64035
1599.65/1603.81 c #Conflicts: 806000 | #Constraints: 65035
1599.65/1603.81 c #Conflicts: 807000 | #Constraints: 66036
1599.65/1603.81 c #Conflicts: 808000 | #Constraints: 67038
1599.65/1603.81 c INPROCESSING
1599.65/1603.81 c GARBAGE COLLECT
1599.65/1603.81 c rational objective 0
1627.98/1632.29 c #Conflicts: 809000 | #Constraints: 49163
1627.98/1632.29 c #Conflicts: 810000 | #Constraints: 50163
1627.98/1632.29 c #Conflicts: 811000 | #Constraints: 51164
1627.98/1632.29 c #Conflicts: 812000 | #Constraints: 52164
1627.98/1632.29 c #Conflicts: 813000 | #Constraints: 53167
1627.98/1632.29 c #Conflicts: 814000 | #Constraints: 54167
1627.98/1632.29 c #Conflicts: 815000 | #Constraints: 55167
1627.98/1632.29 c #Conflicts: 816000 | #Constraints: 56167
1627.98/1632.29 c #Conflicts: 817000 | #Constraints: 57168
1627.98/1632.29 c #Conflicts: 818000 | #Constraints: 58168
1627.98/1632.29 c #Conflicts: 819000 | #Constraints: 59168
1627.98/1632.29 c #Conflicts: 820000 | #Constraints: 60168
1627.98/1632.29 c #Conflicts: 821000 | #Constraints: 61170
1627.98/1632.29 c #Conflicts: 822000 | #Constraints: 62173
1627.98/1632.29 c #Conflicts: 823000 | #Constraints: 63177
1627.98/1632.29 c #Conflicts: 824000 | #Constraints: 64177
1627.98/1632.29 c #Conflicts: 825000 | #Constraints: 65177
1627.98/1632.29 c #Conflicts: 826000 | #Constraints: 66177
1627.98/1632.29 c INPROCESSING
1627.98/1632.29 c GARBAGE COLLECT
1627.98/1632.29 c rational objective 0
1864.53/1869.39 c #Conflicts: 827000 | #Constraints: 48596
1864.53/1869.39 c #Conflicts: 828000 | #Constraints: 49596
1864.53/1869.39 c #Conflicts: 829000 | #Constraints: 50596
1864.53/1869.39 c #Conflicts: 830000 | #Constraints: 51597
1864.53/1869.39 c #Conflicts: 831000 | #Constraints: 52600
1864.53/1869.39 c #Conflicts: 832000 | #Constraints: 53603
1864.53/1869.39 c #Conflicts: 833000 | #Constraints: 54606
1864.53/1869.39 c #Conflicts: 834000 | #Constraints: 55606
1864.53/1869.39 c #Conflicts: 835000 | #Constraints: 56606
1864.53/1869.39 c #Conflicts: 836000 | #Constraints: 57606
1864.53/1869.39 c #Conflicts: 837000 | #Constraints: 58606
1864.53/1869.39 c #Conflicts: 838000 | #Constraints: 59606
1864.53/1869.39 c #Conflicts: 839000 | #Constraints: 60607
1864.53/1869.39 c #Conflicts: 840000 | #Constraints: 61607
1864.53/1869.39 c #Conflicts: 841000 | #Constraints: 62607
1864.53/1869.39 c #Conflicts: 842000 | #Constraints: 63607
1864.53/1869.39 c #Conflicts: 843000 | #Constraints: 64607
1864.53/1869.39 c #Conflicts: 844000 | #Constraints: 65608
1864.53/1869.39 c #Conflicts: 845000 | #Constraints: 66612
1864.53/1869.39 c #Conflicts: 846000 | #Constraints: 67620
1864.53/1869.39 c #Conflicts: 847000 | #Constraints: 68623
1864.53/1869.39 c #Conflicts: 848000 | #Constraints: 69624
1864.53/1869.39 c #Conflicts: 849000 | #Constraints: 70625
1864.53/1869.39 c #Conflicts: 850000 | #Constraints: 71625
1864.53/1869.39 c #Conflicts: 851000 | #Constraints: 72628
1864.53/1869.39 c #Conflicts: 852000 | #Constraints: 73631
1864.53/1869.39 c #Conflicts: 853000 | #Constraints: 74631
1864.53/1869.39 c #Conflicts: 854000 | #Constraints: 75631
1864.53/1869.39 c #Conflicts: 855000 | #Constraints: 76632
1864.53/1869.39 c #Conflicts: 856000 | #Constraints: 77632
1864.53/1869.39 c #Conflicts: 857000 | #Constraints: 78632
1864.53/1869.39 c #Conflicts: 858000 | #Constraints: 79632
1864.53/1869.39 c #Conflicts: 859000 | #Constraints: 80632
1864.53/1869.39 c #Conflicts: 860000 | #Constraints: 81632
1864.53/1869.39 c #Conflicts: 861000 | #Constraints: 82632
1864.53/1869.39 c #Conflicts: 862000 | #Constraints: 83632
1864.53/1869.39 c #Conflicts: 863000 | #Constraints: 84633
1864.53/1869.39 c #Conflicts: 864000 | #Constraints: 85634
1864.53/1869.39 c #Conflicts: 865000 | #Constraints: 86636
1864.53/1869.39 c #Conflicts: 866000 | #Constraints: 87638
1864.53/1869.39 c #Conflicts: 867000 | #Constraints: 88641
1864.53/1869.39 c #Conflicts: 868000 | #Constraints: 89643
1864.53/1869.39 c #Conflicts: 869000 | #Constraints: 90644
1864.53/1869.39 c #Conflicts: 870000 | #Constraints: 91644
1864.53/1869.39 c #Conflicts: 871000 | #Constraints: 92645
1864.53/1869.39 c #Conflicts: 872000 | #Constraints: 93647
1864.53/1869.39 c #Conflicts: 873000 | #Constraints: 94650
1864.53/1869.39 c #Conflicts: 874000 | #Constraints: 95650
1864.53/1869.39 c #Conflicts: 875000 | #Constraints: 96650
1864.53/1869.39 c #Conflicts: 876000 | #Constraints: 97653
1864.53/1869.39 c #Conflicts: 877000 | #Constraints: 98653
1864.53/1869.39 c #Conflicts: 878000 | #Constraints: 99653
1864.53/1869.39 c #Conflicts: 879000 | #Constraints: 100654
1864.53/1869.39 c #Conflicts: 880000 | #Constraints: 101654
1864.53/1869.39 c #Conflicts: 881000 | #Constraints: 102654
1864.53/1869.39 c #Conflicts: 882000 | #Constraints: 103654
1864.53/1869.39 c #Conflicts: 883000 | #Constraints: 104655
1864.53/1869.39 c #Conflicts: 884000 | #Constraints: 105658
1864.53/1869.39 c #Conflicts: 885000 | #Constraints: 106659
1864.53/1869.39 c #Conflicts: 886000 | #Constraints: 107659
1864.53/1869.39 c #Conflicts: 887000 | #Constraints: 108659
1864.53/1869.39 c #Conflicts: 888000 | #Constraints: 109659
1864.53/1869.39 c #Conflicts: 889000 | #Constraints: 110659
1864.53/1869.39 c #Conflicts: 890000 | #Constraints: 111659
1864.53/1869.39 c #Conflicts: 891000 | #Constraints: 112660
1864.53/1869.39 c #Conflicts: 892000 | #Constraints: 113661
1864.53/1869.39 c #Conflicts: 893000 | #Constraints: 114664
1864.53/1869.39 c #Conflicts: 894000 | #Constraints: 115668
1864.53/1869.39 c #Conflicts: 895000 | #Constraints: 116672
1864.53/1869.39 c #Conflicts: 896000 | #Constraints: 117673
1864.53/1869.39 c #Conflicts: 897000 | #Constraints: 118676
1864.53/1869.39 c #Conflicts: 898000 | #Constraints: 119677
1864.53/1869.39 c #Conflicts: 899000 | #Constraints: 120679
1864.53/1869.39 c #Conflicts: 900000 | #Constraints: 121680
1864.53/1869.39 c #Conflicts: 901000 | #Constraints: 122682
1864.53/1869.39 c #Conflicts: 902000 | #Constraints: 123684
1864.53/1869.39 c #Conflicts: 903000 | #Constraints: 124685
1864.53/1869.39 c #Conflicts: 904000 | #Constraints: 125691
1864.53/1869.39 c #Conflicts: 905000 | #Constraints: 126696
1913.61/1918.53 c #Conflicts: 906000 | #Constraints: 127697
1913.61/1918.53 c #Conflicts: 907000 | #Constraints: 128698
1913.61/1918.53 c #Conflicts: 908000 | #Constraints: 129698
1913.61/1918.53 c #Conflicts: 909000 | #Constraints: 130700
1913.61/1918.53 c #Conflicts: 910000 | #Constraints: 131703
1913.61/1918.53 c #Conflicts: 911000 | #Constraints: 132703
1913.61/1918.53 c #Conflicts: 912000 | #Constraints: 133705
1913.61/1918.53 c #Conflicts: 913000 | #Constraints: 134706
1913.61/1918.53 c #Conflicts: 914000 | #Constraints: 135710
1913.61/1918.53 c #Conflicts: 915000 | #Constraints: 136713
1913.61/1918.53 c #Conflicts: 916000 | #Constraints: 137715
1913.61/1918.53 c INPROCESSING
1913.61/1918.53 c GARBAGE COLLECT
1913.61/1918.53 c rational objective 0
1962.90/1967.95 c #Conflicts: 917000 | #Constraints: 84536
1962.90/1967.95 c #Conflicts: 918000 | #Constraints: 85536
1962.90/1967.95 c #Conflicts: 919000 | #Constraints: 86536
1962.90/1967.95 c #Conflicts: 920000 | #Constraints: 87536
1962.90/1967.95 c #Conflicts: 921000 | #Constraints: 88537
1962.90/1967.95 c #Conflicts: 922000 | #Constraints: 89539
1962.90/1967.95 c #Conflicts: 923000 | #Constraints: 90542
1962.90/1967.95 c #Conflicts: 924000 | #Constraints: 91544
1962.90/1967.95 c #Conflicts: 925000 | #Constraints: 92544
1962.90/1967.95 c #Conflicts: 926000 | #Constraints: 93544
1962.90/1967.95 c #Conflicts: 927000 | #Constraints: 94544
1962.90/1967.95 c #Conflicts: 928000 | #Constraints: 95544
1962.90/1967.95 c #Conflicts: 929000 | #Constraints: 96544
1962.90/1967.95 c #Conflicts: 930000 | #Constraints: 97545
1962.90/1967.95 c #Conflicts: 931000 | #Constraints: 98546
1962.90/1967.95 c #Conflicts: 932000 | #Constraints: 99547
1962.90/1967.95 c #Conflicts: 933000 | #Constraints: 100547
1962.90/1967.95 c #Conflicts: 934000 | #Constraints: 101547
1962.90/1967.95 c #Conflicts: 935000 | #Constraints: 102548
1962.90/1967.95 c #Conflicts: 936000 | #Constraints: 103551
1962.90/1967.95 c INPROCESSING
1962.90/1967.95 c GARBAGE COLLECT
1962.90/1967.95 c rational objective -2.112e-11
2015.77/2021.01 c #Conflicts: 937000 | #Constraints: 67672
2015.77/2021.01 c #Conflicts: 938000 | #Constraints: 68672
2015.77/2021.01 c #Conflicts: 939000 | #Constraints: 69672
2015.77/2021.01 c #Conflicts: 940000 | #Constraints: 70672
2015.77/2021.01 c #Conflicts: 941000 | #Constraints: 71672
2015.77/2021.01 c #Conflicts: 942000 | #Constraints: 72672
2015.77/2021.01 c #Conflicts: 943000 | #Constraints: 73672
2015.77/2021.01 c #Conflicts: 944000 | #Constraints: 74676
2015.77/2021.01 c #Conflicts: 945000 | #Constraints: 75681
2015.77/2021.01 c #Conflicts: 946000 | #Constraints: 76682
2015.77/2021.01 c #Conflicts: 947000 | #Constraints: 77687
2015.77/2021.01 c #Conflicts: 948000 | #Constraints: 78691
2015.77/2021.01 c #Conflicts: 949000 | #Constraints: 79695
2015.77/2021.01 c #Conflicts: 950000 | #Constraints: 80698
2015.77/2021.01 c #Conflicts: 951000 | #Constraints: 81698
2015.77/2021.01 c #Conflicts: 952000 | #Constraints: 82699
2015.77/2021.01 c #Conflicts: 953000 | #Constraints: 83700
2015.77/2021.01 c #Conflicts: 954000 | #Constraints: 84700
2015.77/2021.01 c #Conflicts: 955000 | #Constraints: 85701
2015.77/2021.01 c INPROCESSING
2015.77/2021.01 c GARBAGE COLLECT
2015.77/2021.01 c rational objective 0
2054.80/2060.11 c #Conflicts: 956000 | #Constraints: 58372
2054.80/2060.11 c #Conflicts: 957000 | #Constraints: 59372
2054.80/2060.11 c #Conflicts: 958000 | #Constraints: 60373
2054.80/2060.11 c #Conflicts: 959000 | #Constraints: 61373
2054.80/2060.11 c #Conflicts: 960000 | #Constraints: 62374
2054.80/2060.11 c #Conflicts: 961000 | #Constraints: 63377
2054.80/2060.11 c #Conflicts: 962000 | #Constraints: 64381
2054.80/2060.11 c #Conflicts: 963000 | #Constraints: 65384
2054.80/2060.11 c #Conflicts: 964000 | #Constraints: 66384
2054.80/2060.11 c #Conflicts: 965000 | #Constraints: 67385
2054.80/2060.11 c #Conflicts: 966000 | #Constraints: 68388
2054.80/2060.11 c #Conflicts: 967000 | #Constraints: 69390
2054.80/2060.11 c #Conflicts: 968000 | #Constraints: 70393
2054.80/2060.11 c #Conflicts: 969000 | #Constraints: 71395
2054.80/2060.11 c #Conflicts: 970000 | #Constraints: 72395
2054.80/2060.11 c #Conflicts: 971000 | #Constraints: 73395
2054.80/2060.11 c #Conflicts: 972000 | #Constraints: 74396
2054.80/2060.11 c #Conflicts: 973000 | #Constraints: 75396
2054.80/2060.11 c #Conflicts: 974000 | #Constraints: 76396
2054.80/2060.11 c #Conflicts: 975000 | #Constraints: 77400
2054.80/2060.11 c INPROCESSING
2054.80/2060.11 c GARBAGE COLLECT
2054.80/2060.11 c rational objective 0
2104.39/2109.71 c #Conflicts: 976000 | #Constraints: 54245
2104.39/2109.71 c #Conflicts: 977000 | #Constraints: 55245
2104.39/2109.71 c #Conflicts: 978000 | #Constraints: 56245
2104.39/2109.71 c #Conflicts: 979000 | #Constraints: 57245
2104.39/2109.71 c #Conflicts: 980000 | #Constraints: 58245
2104.39/2109.71 c #Conflicts: 981000 | #Constraints: 59246
2104.39/2109.71 c #Conflicts: 982000 | #Constraints: 60248
2104.39/2109.71 c #Conflicts: 983000 | #Constraints: 61250
2104.39/2109.71 c #Conflicts: 984000 | #Constraints: 62252
2104.39/2109.71 c #Conflicts: 985000 | #Constraints: 63258
2104.39/2109.71 c #Conflicts: 986000 | #Constraints: 64269
2104.39/2109.71 c #Conflicts: 987000 | #Constraints: 65269
2104.39/2109.71 c #Conflicts: 988000 | #Constraints: 66275
2104.39/2109.71 c #Conflicts: 989000 | #Constraints: 67276
2104.39/2109.71 c #Conflicts: 990000 | #Constraints: 68276
2104.39/2109.71 c #Conflicts: 991000 | #Constraints: 69284
2104.39/2109.71 c #Conflicts: 992000 | #Constraints: 70291
2104.39/2109.71 c #Conflicts: 993000 | #Constraints: 71292
2104.39/2109.71 c #Conflicts: 994000 | #Constraints: 72293
2104.39/2109.71 c #Conflicts: 995000 | #Constraints: 73294
2104.39/2109.71 c #Conflicts: 996000 | #Constraints: 74294
2104.39/2109.71 c INPROCESSING
2104.39/2109.71 c GARBAGE COLLECT
2104.39/2109.71 c rational objective 0
2148.20/2153.60 c #Conflicts: 997000 | #Constraints: 53029
2148.20/2153.60 c #Conflicts: 998000 | #Constraints: 54029
2148.20/2153.60 c #Conflicts: 999000 | #Constraints: 55029
2148.20/2153.60 c #Conflicts: 1000000 | #Constraints: 56029
2148.20/2153.60 c #Conflicts: 1001000 | #Constraints: 57029
2148.20/2153.60 c #Conflicts: 1002000 | #Constraints: 58029
2148.20/2153.60 c #Conflicts: 1003000 | #Constraints: 59029
2148.20/2153.60 c #Conflicts: 1004000 | #Constraints: 60029
2148.20/2153.60 c #Conflicts: 1005000 | #Constraints: 61029
2148.20/2153.60 c #Conflicts: 1006000 | #Constraints: 62032
2148.20/2153.60 c #Conflicts: 1007000 | #Constraints: 63037
2148.20/2153.60 c #Conflicts: 1008000 | #Constraints: 64039
2148.20/2153.60 c #Conflicts: 1009000 | #Constraints: 65040
2148.20/2153.60 c #Conflicts: 1010000 | #Constraints: 66043
2148.20/2153.60 c #Conflicts: 1011000 | #Constraints: 67044
2148.20/2153.60 c #Conflicts: 1012000 | #Constraints: 68046
2148.20/2153.60 c #Conflicts: 1013000 | #Constraints: 69049
2148.20/2153.60 c #Conflicts: 1014000 | #Constraints: 70049
2148.20/2153.60 c #Conflicts: 1015000 | #Constraints: 71051
2148.20/2153.60 c #Conflicts: 1016000 | #Constraints: 72051
2148.20/2153.60 c INPROCESSING
2148.20/2153.60 c GARBAGE COLLECT
2148.20/2153.60 c rational objective 0
2437.29/2443.37 c #Conflicts: 1017000 | #Constraints: 51708
2437.29/2443.37 c #Conflicts: 1018000 | #Constraints: 52708
2437.29/2443.37 c #Conflicts: 1019000 | #Constraints: 53708
2437.29/2443.37 c #Conflicts: 1020000 | #Constraints: 54708
2437.29/2443.37 c #Conflicts: 1021000 | #Constraints: 55708
2437.29/2443.37 c #Conflicts: 1022000 | #Constraints: 56708
2437.29/2443.37 c #Conflicts: 1023000 | #Constraints: 57708
2437.29/2443.37 c #Conflicts: 1024000 | #Constraints: 58708
2437.29/2443.37 c #Conflicts: 1025000 | #Constraints: 59708
2437.29/2443.37 c #Conflicts: 1026000 | #Constraints: 60708
2437.29/2443.37 c #Conflicts: 1027000 | #Constraints: 61708
2437.29/2443.37 c #Conflicts: 1028000 | #Constraints: 62708
2437.29/2443.37 c #Conflicts: 1029000 | #Constraints: 63708
2437.29/2443.37 c #Conflicts: 1030000 | #Constraints: 64708
2437.29/2443.37 c #Conflicts: 1031000 | #Constraints: 65709
2437.29/2443.37 c #Conflicts: 1032000 | #Constraints: 66710
2437.29/2443.37 c #Conflicts: 1033000 | #Constraints: 67710
2437.29/2443.37 c #Conflicts: 1034000 | #Constraints: 68710
2437.29/2443.37 c #Conflicts: 1035000 | #Constraints: 69710
2437.29/2443.37 c #Conflicts: 1036000 | #Constraints: 70710
2437.29/2443.37 c #Conflicts: 1037000 | #Constraints: 71710
2437.29/2443.37 c #Conflicts: 1038000 | #Constraints: 72714
2437.29/2443.37 c #Conflicts: 1039000 | #Constraints: 73716
2437.29/2443.37 c #Conflicts: 1040000 | #Constraints: 74719
2437.29/2443.37 c #Conflicts: 1041000 | #Constraints: 75721
2437.29/2443.37 c #Conflicts: 1042000 | #Constraints: 76721
2437.29/2443.37 c #Conflicts: 1043000 | #Constraints: 77724
2437.29/2443.37 c #Conflicts: 1044000 | #Constraints: 78724
2437.29/2443.37 c #Conflicts: 1045000 | #Constraints: 79727
2437.29/2443.37 c #Conflicts: 1046000 | #Constraints: 80734
2437.29/2443.37 c #Conflicts: 1047000 | #Constraints: 81737
2437.29/2443.37 c #Conflicts: 1048000 | #Constraints: 82740
2437.29/2443.37 c #Conflicts: 1049000 | #Constraints: 83742
2437.29/2443.37 c #Conflicts: 1050000 | #Constraints: 84742
2437.29/2443.37 c #Conflicts: 1051000 | #Constraints: 85743
2437.29/2443.37 c #Conflicts: 1052000 | #Constraints: 86746
2437.29/2443.37 c #Conflicts: 1053000 | #Constraints: 87750
2437.29/2443.37 c #Conflicts: 1054000 | #Constraints: 88752
2437.29/2443.37 c #Conflicts: 1055000 | #Constraints: 89753
2437.29/2443.37 c #Conflicts: 1056000 | #Constraints: 90762
2437.29/2443.37 c #Conflicts: 1057000 | #Constraints: 91762
2437.29/2443.37 c #Conflicts: 1058000 | #Constraints: 92764
2437.29/2443.37 c #Conflicts: 1059000 | #Constraints: 93766
2437.29/2443.37 c #Conflicts: 1060000 | #Constraints: 94773
2437.29/2443.37 c #Conflicts: 1061000 | #Constraints: 95777
2437.29/2443.37 c #Conflicts: 1062000 | #Constraints: 96780
2437.29/2443.37 c #Conflicts: 1063000 | #Constraints: 97782
2437.29/2443.37 c #Conflicts: 1064000 | #Constraints: 98784
2437.29/2443.37 c #Conflicts: 1065000 | #Constraints: 99785
2437.29/2443.37 c #Conflicts: 1066000 | #Constraints: 100786
2437.29/2443.37 c #Conflicts: 1067000 | #Constraints: 101790
2437.29/2443.37 c #Conflicts: 1068000 | #Constraints: 102790
2437.29/2443.37 c #Conflicts: 1069000 | #Constraints: 103793
2437.29/2443.37 c #Conflicts: 1070000 | #Constraints: 104794
2437.29/2443.37 c #Conflicts: 1071000 | #Constraints: 105798
2437.29/2443.37 c #Conflicts: 1072000 | #Constraints: 106804
2437.29/2443.37 c #Conflicts: 1073000 | #Constraints: 107805
2437.29/2443.37 c #Conflicts: 1074000 | #Constraints: 108805
2437.29/2443.37 c #Conflicts: 1075000 | #Constraints: 109806
2437.29/2443.37 c #Conflicts: 1076000 | #Constraints: 110807
2437.29/2443.37 c #Conflicts: 1077000 | #Constraints: 111809
2437.29/2443.37 c #Conflicts: 1078000 | #Constraints: 112811
2437.29/2443.37 c #Conflicts: 1079000 | #Constraints: 113812
2437.29/2443.37 c #Conflicts: 1080000 | #Constraints: 114813
2437.29/2443.37 c #Conflicts: 1081000 | #Constraints: 115814
2437.29/2443.37 c #Conflicts: 1082000 | #Constraints: 116815
2437.29/2443.37 c #Conflicts: 1083000 | #Constraints: 117816
2437.29/2443.37 c #Conflicts: 1084000 | #Constraints: 118817
2437.29/2443.37 c #Conflicts: 1085000 | #Constraints: 119818
2437.29/2443.37 c #Conflicts: 1086000 | #Constraints: 120818
2437.29/2443.37 c #Conflicts: 1087000 | #Constraints: 121821
2437.29/2443.37 c #Conflicts: 1088000 | #Constraints: 122821
2437.29/2443.37 c #Conflicts: 1089000 | #Constraints: 123821
2437.29/2443.37 c #Conflicts: 1090000 | #Constraints: 124821
2437.29/2443.37 c #Conflicts: 1091000 | #Constraints: 125823
2437.29/2443.37 c #Conflicts: 1092000 | #Constraints: 126825
2437.29/2443.37 c #Conflicts: 1093000 | #Constraints: 127827
2437.29/2443.37 c #Conflicts: 1094000 | #Constraints: 128827
2437.29/2443.37 c #Conflicts: 1095000 | #Constraints: 129827
2543.78/2550.06 c #Conflicts: 1096000 | #Constraints: 130829
2543.78/2550.06 c #Conflicts: 1097000 | #Constraints: 131830
2543.78/2550.06 c #Conflicts: 1098000 | #Constraints: 132830
2543.78/2550.06 c #Conflicts: 1099000 | #Constraints: 133830
2543.78/2550.06 c #Conflicts: 1100000 | #Constraints: 134834
2543.78/2550.06 c #Conflicts: 1101000 | #Constraints: 135834
2543.78/2550.06 c #Conflicts: 1102000 | #Constraints: 136834
2543.78/2550.06 c #Conflicts: 1103000 | #Constraints: 137835
2543.78/2550.06 c #Conflicts: 1104000 | #Constraints: 138837
2543.78/2550.06 c #Conflicts: 1105000 | #Constraints: 139837
2543.78/2550.06 c #Conflicts: 1106000 | #Constraints: 140837
2543.78/2550.06 c #Conflicts: 1107000 | #Constraints: 141837
2543.78/2550.06 c #Conflicts: 1108000 | #Constraints: 142837
2543.78/2550.06 c #Conflicts: 1109000 | #Constraints: 143838
2543.78/2550.06 c #Conflicts: 1110000 | #Constraints: 144841
2543.78/2550.06 c #Conflicts: 1111000 | #Constraints: 145843
2543.78/2550.06 c #Conflicts: 1112000 | #Constraints: 146844
2543.78/2550.06 c #Conflicts: 1113000 | #Constraints: 147846
2543.78/2550.06 c INPROCESSING
2543.78/2550.06 c GARBAGE COLLECT
2543.78/2550.06 c rational objective 0
2630.82/2637.32 c #Conflicts: 1114000 | #Constraints: 89577
2630.82/2637.32 c #Conflicts: 1115000 | #Constraints: 90577
2630.82/2637.32 c #Conflicts: 1116000 | #Constraints: 91577
2630.82/2637.32 c #Conflicts: 1117000 | #Constraints: 92577
2630.82/2637.32 c #Conflicts: 1118000 | #Constraints: 93577
2630.82/2637.32 c #Conflicts: 1119000 | #Constraints: 94577
2630.82/2637.32 c #Conflicts: 1120000 | #Constraints: 95577
2630.82/2637.32 c #Conflicts: 1121000 | #Constraints: 96577
2630.82/2637.32 c #Conflicts: 1122000 | #Constraints: 97577
2630.82/2637.32 c #Conflicts: 1123000 | #Constraints: 98577
2630.82/2637.32 c #Conflicts: 1124000 | #Constraints: 99577
2630.82/2637.32 c #Conflicts: 1125000 | #Constraints: 100579
2630.82/2637.32 c #Conflicts: 1126000 | #Constraints: 101579
2630.82/2637.32 c #Conflicts: 1127000 | #Constraints: 102589
2630.82/2637.32 c #Conflicts: 1128000 | #Constraints: 103591
2630.82/2637.32 c #Conflicts: 1129000 | #Constraints: 104594
2630.82/2637.32 c #Conflicts: 1130000 | #Constraints: 105594
2630.82/2637.32 c #Conflicts: 1131000 | #Constraints: 106598
2630.82/2637.32 c #Conflicts: 1132000 | #Constraints: 107599
2630.82/2637.32 c #Conflicts: 1133000 | #Constraints: 108601
2630.82/2637.32 c #Conflicts: 1134000 | #Constraints: 109603
2630.82/2637.32 c #Conflicts: 1135000 | #Constraints: 110604
2630.82/2637.32 c INPROCESSING
2630.82/2637.32 c GARBAGE COLLECT
2630.82/2637.32 c rational objective -2.134e-11
2680.59/2687.20 c #Conflicts: 1136000 | #Constraints: 71072
2680.59/2687.20 c #Conflicts: 1137000 | #Constraints: 72074
2680.59/2687.20 c #Conflicts: 1138000 | #Constraints: 73074
2680.59/2687.20 c #Conflicts: 1139000 | #Constraints: 74074
2680.59/2687.20 c #Conflicts: 1140000 | #Constraints: 75074
2680.59/2687.20 c #Conflicts: 1141000 | #Constraints: 76077
2680.59/2687.20 c #Conflicts: 1142000 | #Constraints: 77079
2680.59/2687.20 c #Conflicts: 1143000 | #Constraints: 78080
2680.59/2687.20 c #Conflicts: 1144000 | #Constraints: 79080
2680.59/2687.20 c #Conflicts: 1145000 | #Constraints: 80081
2680.59/2687.20 c #Conflicts: 1146000 | #Constraints: 81082
2680.59/2687.20 c #Conflicts: 1147000 | #Constraints: 82084
2680.59/2687.20 c #Conflicts: 1148000 | #Constraints: 83084
2680.59/2687.20 c #Conflicts: 1149000 | #Constraints: 84084
2680.59/2687.20 c #Conflicts: 1150000 | #Constraints: 85084
2680.59/2687.20 c #Conflicts: 1151000 | #Constraints: 86084
2680.59/2687.20 c #Conflicts: 1152000 | #Constraints: 87084
2680.59/2687.20 c #Conflicts: 1153000 | #Constraints: 88084
2680.59/2687.20 c #Conflicts: 1154000 | #Constraints: 89084
2680.59/2687.20 c #Conflicts: 1155000 | #Constraints: 90084
2680.59/2687.20 c #Conflicts: 1156000 | #Constraints: 91085
2680.59/2687.20 c #Conflicts: 1157000 | #Constraints: 92087
2680.59/2687.20 c INPROCESSING
2680.59/2687.20 c GARBAGE COLLECT
2680.59/2687.20 c rational objective 0
2726.46/2733.20 c #Conflicts: 1158000 | #Constraints: 61897
2726.46/2733.20 c #Conflicts: 1159000 | #Constraints: 62897
2726.46/2733.20 c #Conflicts: 1160000 | #Constraints: 63897
2726.46/2733.20 c #Conflicts: 1161000 | #Constraints: 64904
2726.46/2733.20 c #Conflicts: 1162000 | #Constraints: 65904
2726.46/2733.20 c #Conflicts: 1163000 | #Constraints: 66904
2726.46/2733.20 c #Conflicts: 1164000 | #Constraints: 67904
2726.46/2733.20 c #Conflicts: 1165000 | #Constraints: 68904
2726.46/2733.20 c #Conflicts: 1166000 | #Constraints: 69905
2726.46/2733.20 c #Conflicts: 1167000 | #Constraints: 70907
2726.46/2733.20 c #Conflicts: 1168000 | #Constraints: 71910
2726.46/2733.20 c #Conflicts: 1169000 | #Constraints: 72915
2726.46/2733.20 c #Conflicts: 1170000 | #Constraints: 73915
2726.46/2733.20 c #Conflicts: 1171000 | #Constraints: 74916
2726.46/2733.20 c #Conflicts: 1172000 | #Constraints: 75919
2726.46/2733.20 c #Conflicts: 1173000 | #Constraints: 76922
2726.46/2733.20 c #Conflicts: 1174000 | #Constraints: 77922
2726.46/2733.20 c #Conflicts: 1175000 | #Constraints: 78922
2726.46/2733.20 c #Conflicts: 1176000 | #Constraints: 79924
2726.46/2733.20 c #Conflicts: 1177000 | #Constraints: 80924
2726.46/2733.20 c #Conflicts: 1178000 | #Constraints: 81925
2726.46/2733.20 c #Conflicts: 1179000 | #Constraints: 82929
2726.46/2733.20 c INPROCESSING
2726.46/2733.20 c GARBAGE COLLECT
2726.46/2733.20 c rational objective 0
2767.54/2774.47 c #Conflicts: 1180000 | #Constraints: 57311
2767.54/2774.47 c #Conflicts: 1181000 | #Constraints: 58312
2767.54/2774.47 c #Conflicts: 1182000 | #Constraints: 59313
2767.54/2774.47 c #Conflicts: 1183000 | #Constraints: 60313
2767.54/2774.47 c #Conflicts: 1184000 | #Constraints: 61313
2767.54/2774.47 c #Conflicts: 1185000 | #Constraints: 62313
2767.54/2774.47 c #Conflicts: 1186000 | #Constraints: 63313
2767.54/2774.47 c #Conflicts: 1187000 | #Constraints: 64313
2767.54/2774.47 c #Conflicts: 1188000 | #Constraints: 65313
2767.54/2774.47 c #Conflicts: 1189000 | #Constraints: 66313
2767.54/2774.47 c #Conflicts: 1190000 | #Constraints: 67313
2767.54/2774.47 c #Conflicts: 1191000 | #Constraints: 68313
2767.54/2774.47 c #Conflicts: 1192000 | #Constraints: 69313
2767.54/2774.47 c #Conflicts: 1193000 | #Constraints: 70313
2767.54/2774.47 c #Conflicts: 1194000 | #Constraints: 71313
2767.54/2774.47 c #Conflicts: 1195000 | #Constraints: 72314
2767.54/2774.47 c #Conflicts: 1196000 | #Constraints: 73317
2767.54/2774.47 c #Conflicts: 1197000 | #Constraints: 74319
2767.54/2774.47 c #Conflicts: 1198000 | #Constraints: 75320
2767.54/2774.47 c #Conflicts: 1199000 | #Constraints: 76322
2767.54/2774.47 c #Conflicts: 1200000 | #Constraints: 77322
2767.54/2774.47 c #Conflicts: 1201000 | #Constraints: 78323
2767.54/2774.47 c INPROCESSING
2767.54/2774.47 c GARBAGE COLLECT
2767.54/2774.47 c rational objective 0
2804.44/2811.42 c #Conflicts: 1202000 | #Constraints: 54867
2804.44/2811.42 c #Conflicts: 1203000 | #Constraints: 55867
2804.44/2811.42 c #Conflicts: 1204000 | #Constraints: 56867
2804.44/2811.42 c #Conflicts: 1205000 | #Constraints: 57867
2804.44/2811.42 c #Conflicts: 1206000 | #Constraints: 58867
2804.44/2811.42 c #Conflicts: 1207000 | #Constraints: 59867
2804.44/2811.42 c #Conflicts: 1208000 | #Constraints: 60868
2804.44/2811.42 c #Conflicts: 1209000 | #Constraints: 61868
2804.44/2811.42 c #Conflicts: 1210000 | #Constraints: 62868
2804.44/2811.42 c #Conflicts: 1211000 | #Constraints: 63868
2804.44/2811.42 c #Conflicts: 1212000 | #Constraints: 64868
2804.44/2811.42 c #Conflicts: 1213000 | #Constraints: 65868
2804.44/2811.42 c #Conflicts: 1214000 | #Constraints: 66868
2804.44/2811.42 c #Conflicts: 1215000 | #Constraints: 67868
2804.44/2811.42 c #Conflicts: 1216000 | #Constraints: 68868
2804.44/2811.42 c #Conflicts: 1217000 | #Constraints: 69868
2804.44/2811.42 c #Conflicts: 1218000 | #Constraints: 70868
2804.44/2811.42 c #Conflicts: 1219000 | #Constraints: 71869
2804.44/2811.42 c #Conflicts: 1220000 | #Constraints: 72872
2804.44/2811.42 c #Conflicts: 1221000 | #Constraints: 73877
2804.44/2811.42 c #Conflicts: 1222000 | #Constraints: 74878
2804.44/2811.42 c #Conflicts: 1223000 | #Constraints: 75881
2804.44/2811.42 c #Conflicts: 1224000 | #Constraints: 76882
2804.44/2811.42 c INPROCESSING
2804.44/2811.42 c GARBAGE COLLECT
2804.44/2811.42 c rational objective 0
2844.43/2851.54 c #Conflicts: 1225000 | #Constraints: 54374
2844.43/2851.54 c #Conflicts: 1226000 | #Constraints: 55376
2844.43/2851.54 c #Conflicts: 1227000 | #Constraints: 56381
2844.43/2851.54 c #Conflicts: 1228000 | #Constraints: 57383
2844.43/2851.54 c #Conflicts: 1229000 | #Constraints: 58383
2844.43/2851.54 c #Conflicts: 1230000 | #Constraints: 59385
2844.43/2851.54 c #Conflicts: 1231000 | #Constraints: 60389
2844.43/2851.54 c #Conflicts: 1232000 | #Constraints: 61389
2844.43/2851.54 c #Conflicts: 1233000 | #Constraints: 62390
2844.43/2851.54 c #Conflicts: 1234000 | #Constraints: 63392
2844.43/2851.54 c #Conflicts: 1235000 | #Constraints: 64392
2844.43/2851.54 c #Conflicts: 1236000 | #Constraints: 65392
2844.43/2851.54 c #Conflicts: 1237000 | #Constraints: 66394
2844.43/2851.54 c #Conflicts: 1238000 | #Constraints: 67395
2844.43/2851.54 c #Conflicts: 1239000 | #Constraints: 68395
2844.43/2851.54 c #Conflicts: 1240000 | #Constraints: 69396
2844.43/2851.54 c #Conflicts: 1241000 | #Constraints: 70398
2844.43/2851.54 c #Conflicts: 1242000 | #Constraints: 71399
2844.43/2851.54 c #Conflicts: 1243000 | #Constraints: 72399
2844.43/2851.54 c #Conflicts: 1244000 | #Constraints: 73401
2844.43/2851.54 c #Conflicts: 1245000 | #Constraints: 74402
2844.43/2851.54 c #Conflicts: 1246000 | #Constraints: 75403
2844.43/2851.54 c INPROCESSING
2844.43/2851.54 c GARBAGE COLLECT
2844.43/2851.54 c rational objective 0
3069.98/3077.77 c #Conflicts: 1247000 | #Constraints: 53291
3069.98/3077.77 c #Conflicts: 1248000 | #Constraints: 54292
3069.98/3077.77 c #Conflicts: 1249000 | #Constraints: 55292
3069.98/3077.77 c #Conflicts: 1250000 | #Constraints: 56292
3069.98/3077.77 c #Conflicts: 1251000 | #Constraints: 57292
3069.98/3077.77 c #Conflicts: 1252000 | #Constraints: 58292
3069.98/3077.77 c #Conflicts: 1253000 | #Constraints: 59296
3069.98/3077.77 c #Conflicts: 1254000 | #Constraints: 60297
3069.98/3077.77 c #Conflicts: 1255000 | #Constraints: 61297
3069.98/3077.77 c #Conflicts: 1256000 | #Constraints: 62298
3069.98/3077.77 c #Conflicts: 1257000 | #Constraints: 63300
3069.98/3077.77 c #Conflicts: 1258000 | #Constraints: 64302
3069.98/3077.77 c #Conflicts: 1259000 | #Constraints: 65302
3069.98/3077.77 c #Conflicts: 1260000 | #Constraints: 66302
3069.98/3077.77 c #Conflicts: 1261000 | #Constraints: 67302
3069.98/3077.77 c #Conflicts: 1262000 | #Constraints: 68302
3069.98/3077.77 c #Conflicts: 1263000 | #Constraints: 69302
3069.98/3077.77 c #Conflicts: 1264000 | #Constraints: 70303
3069.98/3077.77 c #Conflicts: 1265000 | #Constraints: 71303
3069.98/3077.77 c #Conflicts: 1266000 | #Constraints: 72303
3069.98/3077.77 c #Conflicts: 1267000 | #Constraints: 73304
3069.98/3077.77 c #Conflicts: 1268000 | #Constraints: 74305
3069.98/3077.77 c #Conflicts: 1269000 | #Constraints: 75306
3069.98/3077.77 c #Conflicts: 1270000 | #Constraints: 76307
3069.98/3077.77 c #Conflicts: 1271000 | #Constraints: 77307
3069.98/3077.77 c #Conflicts: 1272000 | #Constraints: 78307
3069.98/3077.77 c #Conflicts: 1273000 | #Constraints: 79307
3069.98/3077.77 c #Conflicts: 1274000 | #Constraints: 80307
3069.98/3077.77 c #Conflicts: 1275000 | #Constraints: 81307
3069.98/3077.77 c #Conflicts: 1276000 | #Constraints: 82308
3069.98/3077.77 c #Conflicts: 1277000 | #Constraints: 83308
3069.98/3077.77 c #Conflicts: 1278000 | #Constraints: 84308
3069.98/3077.77 c #Conflicts: 1279000 | #Constraints: 85308
3069.98/3077.77 c #Conflicts: 1280000 | #Constraints: 86308
3069.98/3077.77 c #Conflicts: 1281000 | #Constraints: 87308
3069.98/3077.77 c #Conflicts: 1282000 | #Constraints: 88308
3069.98/3077.77 c #Conflicts: 1283000 | #Constraints: 89309
3069.98/3077.77 c #Conflicts: 1284000 | #Constraints: 90310
3069.98/3077.77 c #Conflicts: 1285000 | #Constraints: 91336
3069.98/3077.77 c #Conflicts: 1286000 | #Constraints: 92430
3069.98/3077.77 c #Conflicts: 1287000 | #Constraints: 93449
3069.98/3077.77 c #Conflicts: 1288000 | #Constraints: 94616
3069.98/3077.77 c #Conflicts: 1289000 | #Constraints: 95616
3069.98/3077.77 c #Conflicts: 1290000 | #Constraints: 96616
3069.98/3077.77 c #Conflicts: 1291000 | #Constraints: 97616
3069.98/3077.77 c #Conflicts: 1292000 | #Constraints: 98616
3069.98/3077.77 c #Conflicts: 1293000 | #Constraints: 99617
3069.98/3077.77 c #Conflicts: 1294000 | #Constraints: 100620
3069.98/3077.77 c #Conflicts: 1295000 | #Constraints: 101663
3069.98/3077.77 c #Conflicts: 1296000 | #Constraints: 102663
3069.98/3077.77 c #Conflicts: 1297000 | #Constraints: 103663
3069.98/3077.77 c #Conflicts: 1298000 | #Constraints: 104663
3069.98/3077.77 c #Conflicts: 1299000 | #Constraints: 105663
3069.98/3077.77 c #Conflicts: 1300000 | #Constraints: 106663
3069.98/3077.77 c #Conflicts: 1301000 | #Constraints: 107665
3069.98/3077.77 c #Conflicts: 1302000 | #Constraints: 108735
3069.98/3077.77 c #Conflicts: 1303000 | #Constraints: 109758
3069.98/3077.77 c #Conflicts: 1304000 | #Constraints: 110758
3069.98/3077.77 c #Conflicts: 1305000 | #Constraints: 111758
3069.98/3077.77 c #Conflicts: 1306000 | #Constraints: 112758
3069.98/3077.77 c #Conflicts: 1307000 | #Constraints: 113758
3069.98/3077.77 c #Conflicts: 1308000 | #Constraints: 114758
3069.98/3077.77 c #Conflicts: 1309000 | #Constraints: 115910
3069.98/3077.77 c #Conflicts: 1310000 | #Constraints: 117047
3069.98/3077.77 c #Conflicts: 1311000 | #Constraints: 118047
3069.98/3077.77 c #Conflicts: 1312000 | #Constraints: 119047
3069.98/3077.77 c #Conflicts: 1313000 | #Constraints: 120047
3069.98/3077.77 c #Conflicts: 1314000 | #Constraints: 121047
3069.98/3077.77 c #Conflicts: 1315000 | #Constraints: 122049
3069.98/3077.77 c #Conflicts: 1316000 | #Constraints: 123131
3069.98/3077.77 c #Conflicts: 1317000 | #Constraints: 124166
3069.98/3077.77 c #Conflicts: 1318000 | #Constraints: 125198
3069.98/3077.77 c #Conflicts: 1319000 | #Constraints: 126198
3069.98/3077.77 c #Conflicts: 1320000 | #Constraints: 127199
3069.98/3077.77 c #Conflicts: 1321000 | #Constraints: 128262
3069.98/3077.77 c #Conflicts: 1322000 | #Constraints: 129262
3069.98/3077.77 c #Conflicts: 1323000 | #Constraints: 130262
3069.98/3077.77 c #Conflicts: 1324000 | #Constraints: 131443
3069.98/3077.77 c #Conflicts: 1325000 | #Constraints: 132839
3464.76/3473.65 c #Conflicts: 1326000 | #Constraints: 134247
3464.76/3473.65 c #Conflicts: 1327000 | #Constraints: 135625
3464.76/3473.65 c #Conflicts: 1328000 | #Constraints: 136640
3464.76/3473.65 c #Conflicts: 1329000 | #Constraints: 137640
3464.76/3473.65 c #Conflicts: 1330000 | #Constraints: 138640
3464.76/3473.65 c #Conflicts: 1331000 | #Constraints: 139640
3464.76/3473.65 c #Conflicts: 1332000 | #Constraints: 140640
3464.76/3473.65 c #Conflicts: 1333000 | #Constraints: 141640
3464.76/3473.65 c #Conflicts: 1334000 | #Constraints: 142640
3464.76/3473.65 c #Conflicts: 1335000 | #Constraints: 143640
3464.76/3473.65 c #Conflicts: 1336000 | #Constraints: 144640
3464.76/3473.65 c #Conflicts: 1337000 | #Constraints: 145640
3464.76/3473.65 c #Conflicts: 1338000 | #Constraints: 146648
3464.76/3473.65 c #Conflicts: 1339000 | #Constraints: 147661
3464.76/3473.65 c #Conflicts: 1340000 | #Constraints: 148661
3464.76/3473.65 c #Conflicts: 1341000 | #Constraints: 149666
3464.76/3473.65 c #Conflicts: 1342000 | #Constraints: 150881
3464.76/3473.65 c #Conflicts: 1343000 | #Constraints: 152259
3464.76/3473.65 c #Conflicts: 1344000 | #Constraints: 153629
3464.76/3473.65 c #Conflicts: 1345000 | #Constraints: 155000
3464.76/3473.65 c #Conflicts: 1346000 | #Constraints: 156057
3464.76/3473.65 c #Conflicts: 1347000 | #Constraints: 157057
3464.76/3473.65 c #Conflicts: 1348000 | #Constraints: 158057
3464.76/3473.65 c #Conflicts: 1349000 | #Constraints: 159057
3464.76/3473.65 c #Conflicts: 1350000 | #Constraints: 160124
3464.76/3473.65 c #Conflicts: 1351000 | #Constraints: 161124
3464.76/3473.65 c #Conflicts: 1352000 | #Constraints: 162124
3464.76/3473.65 c INPROCESSING
3464.76/3473.65 c GARBAGE COLLECT
3464.76/3473.65 c #Conflicts: 1353000 | #Constraints: 96801
3464.76/3473.65 c #Conflicts: 1354000 | #Constraints: 97801
3464.76/3473.65 c #Conflicts: 1355000 | #Constraints: 98801
3464.76/3473.65 c #Conflicts: 1356000 | #Constraints: 99801
3464.76/3473.65 c #Conflicts: 1357000 | #Constraints: 100801
3464.76/3473.65 c #Conflicts: 1358000 | #Constraints: 101801
3464.76/3473.65 c #Conflicts: 1359000 | #Constraints: 102801
3464.76/3473.65 c #Conflicts: 1360000 | #Constraints: 103801
3464.76/3473.65 c #Conflicts: 1361000 | #Constraints: 104801
3464.76/3473.65 c #Conflicts: 1362000 | #Constraints: 105801
3464.76/3473.65 c #Conflicts: 1363000 | #Constraints: 106802
3464.76/3473.65 c #Conflicts: 1364000 | #Constraints: 108056
3464.76/3473.65 c #Conflicts: 1365000 | #Constraints: 109335
3464.76/3473.65 c #Conflicts: 1366000 | #Constraints: 110485
3464.76/3473.65 c #Conflicts: 1367000 | #Constraints: 111575
3464.76/3473.65 c #Conflicts: 1368000 | #Constraints: 112579
3464.76/3473.65 c #Conflicts: 1369000 | #Constraints: 113580
3464.76/3473.65 c #Conflicts: 1370000 | #Constraints: 114593
3464.76/3473.65 c #Conflicts: 1371000 | #Constraints: 115593
3464.76/3473.65 c #Conflicts: 1372000 | #Constraints: 116593
3464.76/3473.65 c #Conflicts: 1373000 | #Constraints: 117663
3464.76/3473.65 c #Conflicts: 1374000 | #Constraints: 118663
3464.76/3473.65 c #Conflicts: 1375000 | #Constraints: 119709
3464.76/3473.65 c #Conflicts: 1376000 | #Constraints: 120790
3464.76/3473.65 c INPROCESSING
3464.76/3473.65 c GARBAGE COLLECT
3464.76/3473.65 c #Conflicts: 1377000 | #Constraints: 76127
3464.76/3473.65 c #Conflicts: 1378000 | #Constraints: 77127
3464.76/3473.65 c #Conflicts: 1379000 | #Constraints: 78127
3464.76/3473.65 c #Conflicts: 1380000 | #Constraints: 79127
3464.76/3473.65 c #Conflicts: 1381000 | #Constraints: 80127
3464.76/3473.65 c #Conflicts: 1382000 | #Constraints: 81127
3464.76/3473.65 c #Conflicts: 1383000 | #Constraints: 82127
3464.76/3473.65 c #Conflicts: 1384000 | #Constraints: 83127
3464.76/3473.65 c #Conflicts: 1385000 | #Constraints: 84156
3464.76/3473.65 c #Conflicts: 1386000 | #Constraints: 85215
3464.76/3473.65 c #Conflicts: 1387000 | #Constraints: 86215
3464.76/3473.65 c #Conflicts: 1388000 | #Constraints: 87215
3464.76/3473.65 c #Conflicts: 1389000 | #Constraints: 88215
3464.76/3473.65 c #Conflicts: 1390000 | #Constraints: 89215
3464.76/3473.65 c #Conflicts: 1391000 | #Constraints: 90215
3464.76/3473.65 c #Conflicts: 1392000 | #Constraints: 91215
3464.76/3473.65 c #Conflicts: 1393000 | #Constraints: 92215
3464.76/3473.65 c #Conflicts: 1394000 | #Constraints: 93215
3464.76/3473.65 c #Conflicts: 1395000 | #Constraints: 94246
3464.76/3473.65 c #Conflicts: 1396000 | #Constraints: 95246
3464.76/3473.65 c #Conflicts: 1397000 | #Constraints: 96250
3464.76/3473.65 c #Conflicts: 1398000 | #Constraints: 97253
3464.76/3473.65 c #Conflicts: 1399000 | #Constraints: 98253
3464.76/3473.65 c #Conflicts: 1400000 | #Constraints: 99253
3464.76/3473.65 c INPROCESSING
3464.76/3473.65 c GARBAGE COLLECT
3464.76/3473.65 c #Conflicts: 1401000 | #Constraints: 65306
3464.76/3473.65 c #Conflicts: 1402000 | #Constraints: 66306
3588.41/3597.67 c #Conflicts: 1403000 | #Constraints: 67306
3588.41/3597.67 c #Conflicts: 1404000 | #Constraints: 68306
3588.41/3597.67 c #Conflicts: 1405000 | #Constraints: 69306
3588.41/3597.67 c #Conflicts: 1406000 | #Constraints: 70306
3588.41/3597.67 c #Conflicts: 1407000 | #Constraints: 71598
3588.41/3597.67 c #Conflicts: 1408000 | #Constraints: 72686
3588.41/3597.67 c #Conflicts: 1409000 | #Constraints: 73864
3588.41/3597.67 c #Conflicts: 1410000 | #Constraints: 74987
3588.41/3597.67 c #Conflicts: 1411000 | #Constraints: 75987
3588.41/3597.67 c #Conflicts: 1412000 | #Constraints: 76993
3588.41/3597.67 c #Conflicts: 1413000 | #Constraints: 77993
3588.41/3597.67 c #Conflicts: 1414000 | #Constraints: 78993
3588.41/3597.67 c #Conflicts: 1415000 | #Constraints: 79993
3588.41/3597.67 c #Conflicts: 1416000 | #Constraints: 80993
3588.41/3597.67 c #Conflicts: 1417000 | #Constraints: 81993
3588.41/3597.67 c #Conflicts: 1418000 | #Constraints: 82993
3588.41/3597.67 c #Conflicts: 1419000 | #Constraints: 83993
3588.41/3597.67 c #Conflicts: 1420000 | #Constraints: 84993
3588.41/3597.67 c #Conflicts: 1421000 | #Constraints: 85993
3588.41/3597.67 c #Conflicts: 1422000 | #Constraints: 86993
3588.41/3597.67 c #Conflicts: 1423000 | #Constraints: 87993
3588.41/3597.67 c #Conflicts: 1424000 | #Constraints: 88993
3588.41/3597.67 c #Conflicts: 1425000 | #Constraints: 89993
3588.41/3597.67 c INPROCESSING
3588.41/3597.67 c GARBAGE COLLECT
3588.41/3597.67 c #Conflicts: 1426000 | #Constraints: 61004
3588.41/3597.67 c #Conflicts: 1427000 | #Constraints: 62004
3588.41/3597.67 c #Conflicts: 1428000 | #Constraints: 63004
3588.41/3597.67 c #Conflicts: 1429000 | #Constraints: 64004
3588.41/3597.67 c #Conflicts: 1430000 | #Constraints: 65005
3588.41/3597.67 c #Conflicts: 1431000 | #Constraints: 66005
3588.41/3597.67 c #Conflicts: 1432000 | #Constraints: 67005
3588.41/3597.67 c #Conflicts: 1433000 | #Constraints: 68005
3588.41/3597.67 c #Conflicts: 1434000 | #Constraints: 69005
3588.41/3597.67 c #Conflicts: 1435000 | #Constraints: 70005
3588.41/3597.67 c #Conflicts: 1436000 | #Constraints: 71005
3588.41/3597.67 c #Conflicts: 1437000 | #Constraints: 72005
3588.41/3597.67 c #Conflicts: 1438000 | #Constraints: 73005
3588.41/3597.67 c #Conflicts: 1439000 | #Constraints: 74006
3588.41/3597.67 c #Conflicts: 1440000 | #Constraints: 75006
3588.41/3597.67 c #Conflicts: 1441000 | #Constraints: 76007
3588.41/3597.67 c #Conflicts: 1442000 | #Constraints: 77009
3588.41/3597.67 c #Conflicts: 1443000 | #Constraints: 78009
3588.41/3597.67 c #Conflicts: 1444000 | #Constraints: 79010
3588.41/3597.67 c #Conflicts: 1445000 | #Constraints: 80010
3588.41/3597.67 c #Conflicts: 1446000 | #Constraints: 81010
3588.41/3597.67 c #Conflicts: 1447000 | #Constraints: 82010
3588.41/3597.67 c #Conflicts: 1448000 | #Constraints: 83011
3588.41/3597.67 c #Conflicts: 1449000 | #Constraints: 84011
3588.41/3597.67 c INPROCESSING
3588.41/3597.67 c GARBAGE COLLECT
3588.41/3597.67 c rational objective 0
3600.08/3609.30 c #Conflicts: 1450000 | #Constraints: 57659
3600.08/3609.30 c #Conflicts: 1451000 | #Constraints: 58660
3600.08/3609.30 c #Conflicts: 1452000 | #Constraints: 59660
3600.08/3609.30 c #Conflicts: 1453000 | #Constraints: 60660
3600.08/3609.30 c #Conflicts: 1454000 | #Constraints: 61660
3600.08/3609.30 c #Conflicts: 1455000 | #Constraints: 62660
3600.08/3609.30 c #Conflicts: 1456000 | #Constraints: 63660
3600.08/3609.30 c #Conflicts: 1457000 | #Constraints: 64660
3600.08/3609.30 c cpu time 3568.06 s
3600.08/3609.30 c deterministic time 306912144303 3.07e+11
3600.08/3609.30 c optimization time 11.0709 s
3600.08/3609.30 c total solve time 3556.88 s
3600.08/3609.30 c core-guided solve time 1927.96 s
3600.08/3609.30 c propagation time 2007.13 s
3600.08/3609.30 c conflict analysis time 1213.82 s
3600.08/3609.30 c propagations 940437537
3600.08/3609.30 c resolve steps 60446740
3600.08/3609.30 c decisions 24461889
3600.08/3609.30 c conflicts 1457052
3600.08/3609.30 c restarts 2812
3600.08/3609.30 c inprocessing phases 96
3600.08/3609.30 c garbage collections 96 ,( 100.00 )
3600.08/3609.30 c input clauses 6727 ,( 23.10 )
3600.08/3609.30 c input cardinalities 112 ,( 0.38 )
3600.08/3609.30 c input general constraints 22288 ,( 76.52 )
3600.08/3609.30 c input average constraint length 4.60
3600.08/3609.30 c input average constraint degree 8.14
3600.08/3609.30 c learned clauses 585072 ,( 39.90 )
3600.08/3609.30 c learned cardinalities 113612 ,( 7.75 )
3600.08/3609.30 c learned general constraints 767817 ,( 52.36 )
3600.08/3609.30 c learned average constraint length 1918.78
3600.08/3609.30 c learned average constraint degree 629494223.66
3600.08/3609.30 c watched CF 32, 64, 128, Arb: 688563 , 0 , 0 , 0
3600.08/3609.30 c counting CF 32, 64, 128, Arb: 101543 , 0 , 0 , 0
3600.08/3609.30 c watched constraints 688563 ,( 87.15 )
3600.08/3609.30 c counting constraints 101542 ,( 12.85 )
3600.08/3609.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 403163324 , 614888230 , 2761313674 ,( 792194482 , 1969119192 )
3600.08/3609.30 c gcd simplifications 134781
3600.08/3609.30 c detected cardinalities 2826
3600.08/3609.30 c weakened non-implied lits 346899251
3600.08/3609.30 c weakened non-implying lits 452622
3600.08/3609.30 c original variables 35226
3600.08/3609.30 c clausal propagations 153519697
3600.08/3609.30 c cardinality propagations 150563928
3600.08/3609.30 c watched propagations 76305453
3600.08/3609.30 c counting propagations 528754570
3600.08/3609.30 c watch lookups 48071375547
3600.08/3609.30 c watch backjump lookups 0
3600.08/3609.30 c watch checks 199388874329
3600.08/3609.30 c propagation checks 51516178744
3600.08/3609.30 c constraint additions 6002597032
3600.08/3609.30 c trail pops 966321521
3600.08/3609.30 c formula constraints 29127
3600.08/3609.30 c learned constraints 1455617
3600.08/3609.30 c bound constraints 0
3600.08/3609.30 c core-guided constraints 0
3600.08/3609.30 c encountered formula constraints 56460236
3600.08/3609.30 c encountered learned constraints 5232979
3600.08/3609.30 c encountered bound constraints 0
3600.08/3609.30 c encountered core-guided constraints 0
3600.08/3609.30 c LP total time 611.501 s
3600.08/3609.30 c LP solve time 542.37 s
3600.08/3609.30 c LP constraints added 35381
3600.08/3609.30 c LP constraints removed 6160
3600.08/3609.30 c LP pivots internal 1457086
3600.08/3609.30 c LP pivots root 440617
3600.08/3609.30 c LP calls 12788
3600.08/3609.30 c LP optimalities 5659
3600.08/3609.30 c LP no pivot count 3491
3600.08/3609.30 c LP infeasibilities 7119
3600.08/3609.30 c LP valid Farkas constraints 7053
3600.08/3609.30 c LP learned Farkas constraints 1434
3600.08/3609.30 c LP basis resets 16
3600.08/3609.30 c LP cycling count 5
3600.08/3609.30 c LP singular count 0
3600.08/3609.30 c LP no primal count 0
3600.08/3609.30 c LP no farkas count 11
3600.08/3609.30 c LP other issue count 0
3600.08/3609.30 c LP Gomory cuts 2397
3600.08/3609.30 c LP learned cuts 3857
3600.08/3609.30 c LP deleted cuts 6160
3600.08/3609.30 c LP encountered Gomory constraints 140926
3600.08/3609.30 c LP encountered Farkas constraints 60711
3600.08/3609.30 c LP encountered learned Farkas constraints 7506
3600.08/3609.30 c CG auxiliary variables introduced 0
3600.08/3609.30 c CG solutions found 0
3600.08/3609.30 c CG cores constructed 0
3600.08/3609.30 c CG core cardinality constraints returned 0
3600.08/3609.30 c CG unit cores 0
3600.08/3609.30 c CG single cores 0
3600.08/3609.30 c CG blocks removed during cardinality reduction 0
3600.08/3609.30 c CG first core best 0
3600.08/3609.30 c CG decision core best 0
3600.08/3609.30 c CG core reduction tie 0
3600.08/3609.30 c CG core degree average 0.00
3600.08/3609.30 c CG core slack average 0.00
3600.08/3609.30 c CG core upper bound improvements 0
3600.08/3609.30 c STR number of successful calls 0
3600.08/3609.30 c STR number of unsuccessful calls 0
3600.08/3609.30 c STR number of inconclusive calls 0
3600.08/3609.30 c STR number of successful attempts 0
3600.08/3609.30 c STR number of unsuccessful attempts 0
3600.08/3609.30 c STR number of inconclusive attempts 0
3600.08/3609.30 c STR average degree increase per successful call inf
3600.08/3609.30 c STR average degree increase per successful attempt inf
3600.08/3609.30 c STR total number of conflicts for successful attempts 0
3600.08/3609.30 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3609.30 c STR total number of conflicts for inconclusive attempts 0
3600.08/3609.30 c STR average number of conflicts per successful attempt inf
3600.08/3609.30 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3609.30 c STR average number of conflicts per inconclusive attempt inf
3600.08/3609.30 c AVG.sumWPerc 20.29
3600.08/3609.30 c bigint constraints 0
3600.08/3609.30 s UNKNOWN
3600.08/3609.30 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (61001 MiB free)
memory of node 1: 64465 MiB (47589 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523978-1751591204/watcher-4523978-1751591204 -o /tmp/evaluation-result-4523978-1751591204/solver-4523978-1751591204 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751582595-79130 --watchdog 3760 run-opt-ls.sh HOME/instance-4523978-1751591204.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=81091, runsolver pid=81088
[startup+0.100105 s]*
/proc/loadavg: 4.11 4.12 4.10 5/257 81093
/proc/meminfo: memFree=111193244/131382120 swapFree=33010416/33010684
[pid=81091] ppid=81088 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81091/stat : 81091 (run-opt-ls.sh) S 81088 81091 79119 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74799247 4292608 736 18446744073709551615 94561514651648 94561515546181 140720963337296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94561515785232 94561515832976 94561517666304 140720963344743 140720963344869 140720963344869 140720963350471 0
/proc/81091/statm: 1048 736 672 219 0 110 0
[pid=81093] ppid=81091 vsize=40700 memory=27800 CPUtime=0.08 cores=4,6
/proc/81093/stat : 81093 (pbsuma) R 81091 81091 79119 0 -1 4194304 6757 0 0 0 7 1 0 0 20 0 1 0 74799248 41676800 6950 18446744073709551615 4210688 4653049 140725734219152 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 28401664 140725734226275 140725734226482 140725734226482 140725734232047 0
/proc/81093/statm: 10175 6950 992 108 0 7583 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 44892 KiB
Current children cumulated memory: 30744 KiB
[startup+0.213642 s]*
/proc/loadavg: 4.11 4.12 4.10 5/257 81093
/proc/meminfo: memFree=111165208/131382120 swapFree=33010416/33010684
[pid=81091] ppid=81088 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81091/stat : 81091 (run-opt-ls.sh) S 81088 81091 79119 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74799247 4292608 736 18446744073709551615 94561514651648 94561515546181 140720963337296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94561515785232 94561515832976 94561517666304 140720963344743 140720963344869 140720963344869 140720963350471 0
/proc/81091/statm: 1048 736 672 219 0 110 0
[pid=81093] ppid=81091 vsize=59948 memory=40480 CPUtime=0.2 cores=4,6
/proc/81093/stat : 81093 (pbsuma) R 81091 81091 79119 0 -1 4194304 11588 0 0 0 17 3 0 0 20 0 1 0 74799248 61386752 10120 18446744073709551615 4210688 4653049 140725734219152 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 28401664 140725734226275 140725734226482 140725734226482 140725734232047 0
/proc/81093/statm: 14987 10120 1024 108 0 12395 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 64140 KiB
Current children cumulated memory: 43424 KiB
[startup+0.313369 s]*
/proc/loadavg: 4.11 4.12 4.10 5/257 81093
/proc/meminfo: memFree=111165208/131382120 swapFree=33010416/33010684
[pid=81091] ppid=81088 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81091/stat : 81091 (run-opt-ls.sh) S 81088 81091 79119 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74799247 4292608 736 18446744073709551615 94561514651648 94561515546181 140720963337296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94561515785232 94561515832976 94561517666304 140720963344743 140720963344869 140720963344869 140720963350471 0
/proc/81091/statm: 1048 736 672 219 0 110 0
[pid=81093] ppid=81091 vsize=61272 memory=43296 CPUtime=0.29 cores=4,6
/proc/81093/stat : 81093 (pbsuma) R 81091 81091 79119 0 -1 4194304 12303 0 0 0 26 3 0 0 20 0 1 0 74799248 62742528 10824 18446744073709551615 4210688 4653049 140725734219152 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 28401664 140725734226275 140725734226482 140725734226482 140725734232047 0
/proc/81093/statm: 15318 10824 1024 108 0 12726 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 65464 KiB
Current children cumulated memory: 46240 KiB
[startup+0.700442 s]
/proc/loadavg: 4.11 4.12 4.10 5/257 81093
/proc/meminfo: memFree=111161616/131382120 swapFree=33010416/33010684
[pid=81091] ppid=81088 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81091/stat : 81091 (run-opt-ls.sh) S 81088 81091 79119 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74799247 4292608 736 18446744073709551615 94561514651648 94561515546181 140720963337296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94561515785232 94561515832976 94561517666304 140720963344743 140720963344869 140720963344869 140720963350471 0
/proc/81091/statm: 1048 736 672 219 0 110 0
[pid=81093] ppid=81091 vsize=61272 memory=43296 CPUtime=0.66 cores=4,6
/proc/81093/stat : 81093 (pbsuma) R 81091 81091 79119 0 -1 4194304 12303 0 0 0 63 3 0 0 20 0 1 0 74799248 62742528 10824 18446744073709551615 4210688 4653049 140725734219152 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 28401664 140725734226275 140725734226482 140725734226482 140725734232047 0
/proc/81093/statm: 15318 10824 1024 108 0 12726 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 65464 KiB
Current children cumulated memory: 46240 KiB
[startup+1.50043 s]
/proc/loadavg: 4.11 4.12 4.10 5/257 81093
/proc/meminfo: memFree=111145232/131382120 swapFree=33010416/33010684
[pid=81091] ppid=81088 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81091/stat : 81091 (run-opt-ls.sh) S 81088 81091 79119 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74799247 4292608 736 18446744073709551615 94561514651648 94561515546181 140720963337296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94561515785232 94561515832976 94561517666304 140720963344743 140720963344869 140720963344869 140720963350471 0
/proc/81091/statm: 1048 736 672 219 0 110 0
[pid=81093] ppid=81091 vsize=61272 memory=43296 CPUtime=1.46 cores=4,6
/proc/81093/stat : 81093 (pbsuma) R 81091 81091 79119 0 -1 4194304 12303 0 0 0 143 3 0 0 20 0 1 0 74799248 62742528 10824 18446744073709551615 4210688 4653049 140725734219152 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 28401664 140725734226275 140725734226482 140725734226482 140725734232047 0
/proc/81093/statm: 15318 10824 1024 108 0 12726 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 65464 KiB
Current children cumulated memory: 46240 KiB
[startup+3.11319 s]
/proc/loadavg: 4.18 4.13 4.10 5/257 81094
/proc/meminfo: memFree=111084824/131382120 swapFree=33010416/33010684
[pid=81091] ppid=81088 vsize=4192 memory=2944 CPUtime=2.38 cores=4,6
/proc/81091/stat : 81091 (run-opt-ls.sh) S 81088 81091 79119 0 -1 4194304 236 18958 0 0 0 0 233 5 20 0 1 0 74799247 4292608 736 18446744073709551615 94561514651648 94561515546181 140720963337296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94561515785232 94561515832976 94561517666304 140720963344743 140720963344869 140720963344869 140720963350471 0
/proc/81091/statm: 1048 736 672 219 0 110 0
[pid=81094] ppid=81091 vsize=132396 memory=85352 CPUtime=0.68 cores=4,6
/proc/81094/stat : 81094 (roundingsat) R 81091 81091 79119 0 -1 4194304 15101 0 0 0 62 6 0 0 20 0 1 0 74799488 135573504 21338 18446744073709551615 4227072 8923433 140727836476304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38080512 140727836477766 140727836477992 140727836477992 140727836483562 0
/proc/81094/statm: 33099 21338 2336 1147 0 20526 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 136588 KiB
Current children cumulated memory: 88296 KiB
[startup+6.30041 s]
/proc/loadavg: 4.18 4.13 4.10 5/257 81095
/proc/meminfo: memFree=110984396/131382120 swapFree=33010416/33010684
[pid=81091] ppid=81088 vsize=4192 memory=2944 CPUtime=2.38 cores=4,6
/proc/81091/stat : 81091 (run-opt-ls.sh) S 81088 81091 79119 0 -1 4194304 236 18958 0 0 0 0 233 5 20 0 1 0 74799247 4292608 736 18446744073709551615 94561514651648 94561515546181 140720963337296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94561515785232 94561515832976 94561517666304 140720963344743 140720963344869 140720963344869 140720963350471 0
/proc/81091/statm: 1048 736 672 219 0 110 0
[pid=81094] ppid=81091 vsize=165372 memory=119436 CPUtime=3.86 cores=4,6
/proc/81094/stat : 81094 (roundingsat) R 81091 81091 79119 0 -1 4194304 21539 0 0 0 371 15 0 0 20 0 1 0 74799488 169340928 29859 18446744073709551615 4227072 8923433 140727836476304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38080512 140727836477766 140727836477992 140727836477992 140727836483562 0
/proc/81094/statm: 41343 29859 2400 1147 0 28770 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 169564 KiB
Current children cumulated memory: 122380 KiB
[startup+12.7004 s]
/proc/loadavg: 4.17 4.13 4.10 5/256 81095
/proc/meminfo: memFree=110838616/131382120 swapFree=33010416/33010684
[pid=81091] ppid=81088 vsize=4192 memory=2944 CPUtime=2.38 cores=4,6
/proc/81091/stat : 81091 (run-opt-ls.sh) S 81088 81091 79119 0 -1 4194304 236 18958 0 0 0 0 233 5 20 0 1 0 74799247 4292608 736 18446744073709551615 94561514651648 94561515546181 140720963337296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94561515785232 94561515832976 94561517666304 140720963344743 140720963344869 140720963344869 140720963350471 0
/proc/81091/statm: 1048 736 672 219 0 110 0
[pid=81094] ppid=81091 vsize=232744 memory=174976 CPUtime=10.24 cores=4,6
/proc/81094/stat : 81094 (roundingsat) R 81091 81091 79119 0 -1 4194304 31935 0 0 0 995 29 0 0 20 0 1 0 74799488 238329856 43744 18446744073709551615 4227072 8923433 140727836476304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38080512 140727836477766 140727836477992 140727836477992 140727836483562 0
/proc/81094/statm: 58186 43744 2400 1147 0 45613 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 236936 KiB
Current children cumulated memory: 177920 KiB
[startup+25.5004 s]
/proc/loadavg: 4.13 4.12 4.10 5/256 81095
/proc/meminfo: memFree=110534904/131382120 swapFree=33010416/33010684
[pid=81091] ppid=81088 vsize=4192 memory=2944 CPUtime=2.38 cores=4,6
/proc/81091/stat : 81091 (run-opt-ls.sh) S 81088 81091 79119 0 -1 4194304 236 18958 0 0 0 0 233 5 20 0 1 0 74799247 4292608 736 18446744073709551615 94561514651648 94561515546181 140720963337296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94561515785232 94561515832976 94561517666304 140720963344743 140720963344869 140720963344869 140720963350471 0
/proc/81091/statm: 1048 736 672 219 0 110 0
[pid=81094] ppid=81091 vsize=253440 memory=202384 CPUtime=23.01 cores=4,6
/proc/81094/stat : 81094 (roundingsat) R 81091 81091 79119 0 -1 4194304 36286 0 0 0 2254 47 0 0 20 0 1 0 74799488 259522560 50596 18446744073709551615 4227072 8923433 140727836476304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38080512 140727836477766 140727836477992 140727836477992 140727836483562 0
/proc/81094/statm: 63360 50596 2400 1147 0 50787 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 257632 KiB
Current children cumulated memory: 205328 KiB
[startup+51.1131 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 81095
/proc/meminfo: memFree=110010404/131382120 swapFree=33010416/33010684
[pid=81091] ppid=81088 vsize=4192 memory=2944 CPUtime=2.38 cores=4,6
/proc/81091/stat : 81091 (run-opt-ls.sh) S 81088 81091 79119 0 -1 4194304 236 18958 0 0 0 0 233 5 20 0 1 0 74799247 4292608 736 18446744073709551615 94561514651648 94561515546181 140720963337296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94561515785232 94561515832976 94561517666304 140720963344743 140720963344869 140720963344869 140720963350471 0
/proc/81091/statm: 1048 736 672 219 0 110 0
[pid=81094] ppid=81091 vsize=284260 memory=217000 CPUtime=48.56 cores=4,6
/proc/81094/stat : 81094 (roundingsat) R 81091 81091 79119 0 -1 4194304 36879 0 0 0 4785 71 0 0 20 0 1 0 74799488 291082240 54250 18446744073709551615 4227072 8923433 140727836476304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38080512 140727836477766 140727836477992 140727836477992 140727836483562 0
/proc/81094/statm: 71065 54250 2400 1147 0 58492 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 288452 KiB
Current children cumulated memory: 219944 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 81098
/proc/meminfo: memFree=108375908/131382120 swapFree=33010416/33010684
[pid=81091] ppid=81088 vsize=4192 memory=2944 CPUtime=2.38 cores=4,6
/proc/81091/stat : 81091 (run-opt-ls.sh) S 81088 81091 79119 0 -1 4194304 236 18958 0 0 0 0 233 5 20 0 1 0 74799247 4292608 736 18446744073709551615 94561514651648 94561515546181 140720963337296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94561515785232 94561515832976 94561517666304 140720963344743 140720963344869 140720963344869 140720963350471 0
/proc/81091/statm: 1048 736 672 219 0 110 0
[pid=81094] ppid=81091 vsize=317448 memory=256392 CPUtime=99.61 cores=4,6
/proc/81094/stat : 81094 (roundingsat) R 81091 81091 79119 0 -1 4194304 43659 0 0 0 9813 148 0 0 20 0 1 0 74799488 325066752 64098 18446744073709551615 4227072 8923433 140727836476304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38080512 140727836477766 140727836477992 140727836477992 140727836483562 0
/proc/81094/statm: 79362 64098 2400 1147 0 66789 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 321640 KiB
Current children cumulated memory: 259336 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 81100
/proc/meminfo: memFree=104782048/131382120 swapFree=33010416/33010684
[pid=81091] ppid=81088 vsize=4192 memory=2944 CPUtime=2.38 cores=4,6
/proc/81091/stat : 81091 (run-opt-ls.sh) S 81088 81091 79119 0 -1 4194304 236 18958 0 0 0 0 233 5 20 0 1 0 74799247 4292608 736 18446744073709551615 94561514651648 94561515546181 140720963337296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94561515785232 94561515832976 94561517666304 140720963344743 140720963344869 140720963344869 140720963350471 0
/proc/81091/statm: 1048 736 672 219 0 110 0
[pid=81094] ppid=81091 vsize=359204 memory=311360 CPUtime=159.47 cores=4,6
/proc/81094/stat : 81094 (roundingsat) R 81091 81091 79119 0 -1 4194304 52823 0 0 0 15698 249 0 0 20 0 1 0 74799488 367824896 77840 18446744073709551615 4227072 8923433 140727836476304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38080512 140727836477766 140727836477992 140727836477992 140727836483562 0
/proc/81094/statm: 89801 77840 2400 1147 0 77228 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 363396 KiB
Current children cumulated memory: 314304 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/257 81102
/proc/meminfo: memFree=98612676/131382120 swapFree=33010416/33010684
[pid=81091] ppid=81088 vsize=4192 memory=2944 CPUtime=2.38 cores=4,6
/proc/81091/stat : 81091 (run-opt-ls.sh) S 81088 81091 79119 0 -1 4194304 236 18958 0 0 0 0 233 5 20 0 1 0 74799247 4292608 736 18446744073709551615 94561514651648 94561515546181 140720963337296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94561515785232 94561515832976 94561517666304 140720963344743 140720963344869 140720963344869 140720963350471 0
/proc/81091/statm: 1048 736 672 219 0 110 0
[pid=81094] ppid=81091 vsize=444396 memory=397900 CPUtime=219.31 cores=4,6
/proc/81094/stat : 81094 (roundingsat) R 81091 81091 79119 0 -1 4194304 61187 0 0 0 21621 310 0 0 20 0 1 0 74799488 455061504 99475 18446744073709551615 4227072 8923433 140727836476304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38080512 140727836477766 140727836477992 140727836477992 140727836483562 0
/proc/81094/statm: 111099 99475 2400 1147 0 98526 0
Current children cumulated CPU time: 221.69 s
################
# More data... #
################
/proc/81094/statm: 918790 696957 2400 1147 0 906217 0
Current children cumulated CPU time: 3094.51 s
Current children cumulated vsize: 3679352 KiB
Current children cumulated memory: 2790772 KiB
[startup+3162.3 s]
/proc/loadavg: 2.17 2.13 2.45 4/241 81493
/proc/meminfo: memFree=123467540/131382120 swapFree=33010416/33010684
[pid=81091] ppid=81088 vsize=4192 memory=2944 CPUtime=2.38 cores=4,6
/proc/81091/stat : 81091 (run-opt-ls.sh) S 81088 81091 79119 0 -1 4194304 236 18958 0 0 0 0 233 5 20 0 1 0 74799247 4292608 736 18446744073709551615 94561514651648 94561515546181 140720963337296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94561515785232 94561515832976 94561517666304 140720963344743 140720963344869 140720963344869 140720963350471 0
/proc/81091/statm: 1048 736 672 219 0 110 0
[pid=81094] ppid=81091 vsize=3675160 memory=2787828 CPUtime=3151.96 cores=4,6
/proc/81094/stat : 81094 (roundingsat) R 81091 81091 79119 0 -1 4194304 312081 0 0 0 312523 2673 0 0 20 0 1 0 74799488 3763363840 696957 18446744073709551615 4227072 8923433 140727836476304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38080512 140727836477766 140727836477992 140727836477992 140727836483562 0
/proc/81094/statm: 918790 696957 2400 1147 0 906217 0
Current children cumulated CPU time: 3154.34 s
Current children cumulated vsize: 3679352 KiB
Current children cumulated memory: 2790772 KiB
[startup+3222.3 s]
/proc/loadavg: 2.11 2.12 2.43 4/241 81495
/proc/meminfo: memFree=123417688/131382120 swapFree=33010416/33010684
[pid=81091] ppid=81088 vsize=4192 memory=2944 CPUtime=2.38 cores=4,6
/proc/81091/stat : 81091 (run-opt-ls.sh) S 81088 81091 79119 0 -1 4194304 236 18958 0 0 0 0 233 5 20 0 1 0 74799247 4292608 736 18446744073709551615 94561514651648 94561515546181 140720963337296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94561515785232 94561515832976 94561517666304 140720963344743 140720963344869 140720963344869 140720963350471 0
/proc/81091/statm: 1048 736 672 219 0 110 0
[pid=81094] ppid=81091 vsize=3692344 memory=2806388 CPUtime=3211.79 cores=4,6
/proc/81094/stat : 81094 (roundingsat) R 81091 81091 79119 0 -1 4194304 317183 0 0 0 318490 2689 0 0 20 0 1 0 74799488 3780960256 701597 18446744073709551615 4227072 8923433 140727836476304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38080512 140727836477766 140727836477992 140727836477992 140727836483562 0
/proc/81094/statm: 923086 701597 2400 1147 0 910513 0
Current children cumulated CPU time: 3214.17 s
Current children cumulated vsize: 3696536 KiB
Current children cumulated memory: 2809332 KiB
[startup+3282.3 s]
/proc/loadavg: 2.15 2.12 2.41 4/241 81508
/proc/meminfo: memFree=123382572/131382120 swapFree=33010416/33010684
[pid=81091] ppid=81088 vsize=4192 memory=2944 CPUtime=2.38 cores=4,6
/proc/81091/stat : 81091 (run-opt-ls.sh) S 81088 81091 79119 0 -1 4194304 236 18958 0 0 0 0 233 5 20 0 1 0 74799247 4292608 736 18446744073709551615 94561514651648 94561515546181 140720963337296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94561515785232 94561515832976 94561517666304 140720963344743 140720963344869 140720963344869 140720963350471 0
/proc/81091/statm: 1048 736 672 219 0 110 0
[pid=81094] ppid=81091 vsize=3730516 memory=2843312 CPUtime=3271.62 cores=4,6
/proc/81094/stat : 81094 (roundingsat) R 81091 81091 79119 0 -1 4194304 325112 0 0 0 324452 2710 0 0 20 0 1 0 74799488 3820048384 710828 18446744073709551615 4227072 8923433 140727836476304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38080512 140727836477766 140727836477992 140727836477992 140727836483562 0
/proc/81094/statm: 932629 710828 2400 1147 0 920056 0
Current children cumulated CPU time: 3274 s
Current children cumulated vsize: 3734708 KiB
Current children cumulated memory: 2846256 KiB
[startup+3342.3 s]
/proc/loadavg: 2.05 2.10 2.38 4/240 81514
/proc/meminfo: memFree=123344580/131382120 swapFree=33010416/33010684
[pid=81091] ppid=81088 vsize=4192 memory=2944 CPUtime=2.38 cores=4,6
/proc/81091/stat : 81091 (run-opt-ls.sh) S 81088 81091 79119 0 -1 4194304 236 18958 0 0 0 0 233 5 20 0 1 0 74799247 4292608 736 18446744073709551615 94561514651648 94561515546181 140720963337296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94561515785232 94561515832976 94561517666304 140720963344743 140720963344869 140720963344869 140720963350471 0
/proc/81091/statm: 1048 736 672 219 0 110 0
[pid=81094] ppid=81091 vsize=3784488 memory=2886832 CPUtime=3331.45 cores=4,6
/proc/81094/stat : 81094 (roundingsat) R 81091 81091 79119 0 -1 4194304 336461 0 0 0 330413 2732 0 0 20 0 1 0 74799488 3875315712 721708 18446744073709551615 4227072 8923433 140727836476304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38080512 140727836477766 140727836477992 140727836477992 140727836483562 0
/proc/81094/statm: 946122 721708 2400 1147 0 933549 0
Current children cumulated CPU time: 3333.83 s
Current children cumulated vsize: 3788680 KiB
Current children cumulated memory: 2889776 KiB
[startup+3402.3 s]
/proc/loadavg: 2.14 2.11 2.36 4/240 81516
/proc/meminfo: memFree=123311392/131382120 swapFree=33010416/33010684
[pid=81091] ppid=81088 vsize=4192 memory=2944 CPUtime=2.38 cores=4,6
/proc/81091/stat : 81091 (run-opt-ls.sh) S 81088 81091 79119 0 -1 4194304 236 18958 0 0 0 0 233 5 20 0 1 0 74799247 4292608 736 18446744073709551615 94561514651648 94561515546181 140720963337296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94561515785232 94561515832976 94561517666304 140720963344743 140720963344869 140720963344869 140720963350471 0
/proc/81091/statm: 1048 736 672 219 0 110 0
[pid=81094] ppid=81091 vsize=3821192 memory=2921136 CPUtime=3391.27 cores=4,6
/proc/81094/stat : 81094 (roundingsat) R 81091 81091 79119 0 -1 4194304 345037 0 0 0 336344 2783 0 0 20 0 1 0 74799488 3912900608 730284 18446744073709551615 4227072 8923433 140727836476304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38080512 140727836477766 140727836477992 140727836477992 140727836483562 0
/proc/81094/statm: 955298 730284 2400 1147 0 942725 0
Current children cumulated CPU time: 3393.65 s
Current children cumulated vsize: 3825384 KiB
Current children cumulated memory: 2924080 KiB
[startup+3462.3 s]
/proc/loadavg: 2.11 2.10 2.35 4/240 81518
/proc/meminfo: memFree=123296524/131382120 swapFree=33010416/33010684
[pid=81091] ppid=81088 vsize=4192 memory=2944 CPUtime=2.38 cores=4,6
/proc/81091/stat : 81091 (run-opt-ls.sh) S 81088 81091 79119 0 -1 4194304 236 18958 0 0 0 0 233 5 20 0 1 0 74799247 4292608 736 18446744073709551615 94561514651648 94561515546181 140720963337296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94561515785232 94561515832976 94561517666304 140720963344743 140720963344869 140720963344869 140720963350471 0
/proc/81091/statm: 1048 736 672 219 0 110 0
[pid=81094] ppid=81091 vsize=3822144 memory=2921776 CPUtime=3451.1 cores=4,6
/proc/81094/stat : 81094 (roundingsat) R 81091 81091 79119 0 -1 4194304 345212 0 0 0 342275 2835 0 0 20 0 1 0 74799488 3913875456 730444 18446744073709551615 4227072 8923433 140727836476304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38080512 140727836477766 140727836477992 140727836477992 140727836483562 0
/proc/81094/statm: 955536 730444 2400 1147 0 942963 0
Current children cumulated CPU time: 3453.48 s
Current children cumulated vsize: 3826336 KiB
Current children cumulated memory: 2924720 KiB
[startup+3522.3 s]
/proc/loadavg: 2.09 2.10 2.33 4/240 81520
/proc/meminfo: memFree=123275764/131382120 swapFree=33010416/33010684
[pid=81091] ppid=81088 vsize=4192 memory=2944 CPUtime=2.38 cores=4,6
/proc/81091/stat : 81091 (run-opt-ls.sh) S 81088 81091 79119 0 -1 4194304 236 18958 0 0 0 0 233 5 20 0 1 0 74799247 4292608 736 18446744073709551615 94561514651648 94561515546181 140720963337296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94561515785232 94561515832976 94561517666304 140720963344743 140720963344869 140720963344869 140720963350471 0
/proc/81091/statm: 1048 736 672 219 0 110 0
[pid=81094] ppid=81091 vsize=3822248 memory=2922080 CPUtime=3510.93 cores=4,6
/proc/81094/stat : 81094 (roundingsat) R 81091 81091 79119 0 -1 4194304 348600 0 0 0 348205 2888 0 0 20 0 1 0 74799488 3913981952 730520 18446744073709551615 4227072 8923433 140727836476304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38080512 140727836477766 140727836477992 140727836477992 140727836483562 0
/proc/81094/statm: 955562 730520 2400 1147 0 942989 0
Current children cumulated CPU time: 3513.31 s
Current children cumulated vsize: 3826440 KiB
Current children cumulated memory: 2925024 KiB
[startup+3582.3 s]
/proc/loadavg: 2.10 2.09 2.31 4/240 81522
/proc/meminfo: memFree=123283232/131382120 swapFree=33010416/33010684
[pid=81091] ppid=81088 vsize=4192 memory=2944 CPUtime=2.38 cores=4,6
/proc/81091/stat : 81091 (run-opt-ls.sh) S 81088 81091 79119 0 -1 4194304 236 18958 0 0 0 0 233 5 20 0 1 0 74799247 4292608 736 18446744073709551615 94561514651648 94561515546181 140720963337296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94561515785232 94561515832976 94561517666304 140720963344743 140720963344869 140720963344869 140720963350471 0
/proc/81091/statm: 1048 736 672 219 0 110 0
[pid=81094] ppid=81091 vsize=3821872 memory=2921280 CPUtime=3570.77 cores=4,6
/proc/81094/stat : 81094 (roundingsat) R 81091 81091 79119 0 -1 4194304 351166 0 0 0 354131 2946 0 0 20 0 1 0 74799488 3913596928 730320 18446744073709551615 4227072 8923433 140727836476304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38080512 140727836477766 140727836477992 140727836477992 140727836483562 0
/proc/81094/statm: 955468 730320 2400 1147 0 942895 0
Current children cumulated CPU time: 3573.15 s
Current children cumulated vsize: 3826064 KiB
Current children cumulated memory: 2924224 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 2.12 2.10 2.30 4/240 81523
/proc/meminfo: memFree=123282204/131382120 swapFree=33010416/33010684
[pid=81091] ppid=81088 vsize=4192 memory=2944 CPUtime=2.38 cores=4,6
/proc/81091/stat : 81091 (run-opt-ls.sh) S 81088 81091 79119 0 -1 4194304 236 18958 0 0 0 0 233 5 20 0 1 0 74799247 4292608 736 18446744073709551615 94561514651648 94561515546181 140720963337296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94561515785232 94561515832976 94561517666304 140720963344743 140720963344869 140720963344869 140720963350471 0
/proc/81091/statm: 1048 736 672 219 0 110 0
[pid=81094] ppid=81091 vsize=3829952 memory=2928448 CPUtime=3597.7 cores=4,6
/proc/81094/stat : 81094 (roundingsat) R 81091 81091 79119 0 -1 4194304 352940 0 0 0 356806 2964 0 0 20 0 1 0 74799488 3921870848 732112 18446744073709551615 4227072 8923433 140727836476304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38080512 140727836477766 140727836477992 140727836477992 140727836483562 0
/proc/81094/statm: 957488 732112 2400 1147 0 944915 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3834144 KiB
Current children cumulated memory: 2931392 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.31 s]
# the end of solver process 81091 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=2.33381 s, system=0.053358 s
Sleeping 2 seconds
[startup+3609.36 s]
# the end of solver process 81094 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3570.41 s, system=29.7456 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+3609.3 s]
/proc/loadavg: 2.12 2.10 2.30 4/240 81523
/proc/meminfo: memFree=123282204/131382120 swapFree=33010416/33010684
[pid=81091] ppid=81088 vsize=4192 memory=2944 CPUtime=2.38 cores=4,6
/proc/81091/stat : 81091 (run-opt-ls.sh) S 81088 81091 79119 0 -1 4194304 236 18958 0 0 0 0 233 5 20 0 1 0 74799247 4292608 736 18446744073709551615 94561514651648 94561515546181 140720963337296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94561515785232 94561515832976 94561517666304 140720963344743 140720963344869 140720963344869 140720963350471 0
/proc/81091/statm: 1048 736 672 219 0 110 0
[pid=81094] ppid=81091 vsize=3829952 memory=2928448 CPUtime=3597.7 cores=4,6
/proc/81094/stat : 81094 (roundingsat) R 81091 81091 79119 0 -1 4194304 352940 0 0 0 356806 2964 0 0 20 0 1 0 74799488 3921870848 732112 18446744073709551615 4227072 8923433 140727836476304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38080512 140727836477766 140727836477992 140727836477992 140727836483562 0
/proc/81094/statm: 957488 732112 2400 1147 0 944915 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3834144 KiB
Current children cumulated memory: 2931392 KiB
Child status: 2
Real time (s): 3609.36
CPU time (s): 3600.15
CPU user time (s): 3570.41
CPU system time (s): 29.7456
CPU usage (%): 99.7449
Max. virtual memory (cumulated for all children) (KiB): 3844896
Max. memory (cumulated for all children) (KiB): 2941848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.41
system time used= 29.7456
maximum resident set size= 2938904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 372156
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 439
involuntary context switches= 3286
# summary of solver processes directly reported to runsolver:
# pid: 81091,81094
# total CPU time (s): 3600.15
# total CPU user time (s): 3570.41
# total CPU system time (s): 29.7456
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.303 second user time and 38.2831 second system time
The end
Begin job on nodeC002 at 2025-07-04 03:06:44
IDJOB=4523978
IDBENCH=180463
IDSOLVER=3355
FILE ID=nodeC002/4523978-1751591204
RUNJOBID= nodeC002-1751582595-79130
SLURM_JOB_ID= 9598825
Free space on /tmp= 432544 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-AztecDiamondSym-mini-07_c24.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523978-1751591204/watcher-4523978-1751591204 -o /tmp/evaluation-result-4523978-1751591204/solver-4523978-1751591204 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751582595-79130 --watchdog 3760 run-opt-ls.sh HOME/instance-4523978-1751591204.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7b7d352a7105ac7993395b7f6c3b04bc
RANDOM SEED=139736985
nodeC002 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 : 3660.643
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.81
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 : 3633.291
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.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.595
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.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.222
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.81
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 : 3633.098
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.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.486
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.81
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.276
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.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 111201544 kB
MemAvailable: 112007072 kB
Buffers: 2128 kB
Cached: 1610076 kB
SwapCached: 28 kB
Active: 18251048 kB
Inactive: 1306984 kB
Active(anon): 17957356 kB
Inactive(anon): 6404 kB
Active(file): 293692 kB
Inactive(file): 1300580 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8724 kB
Writeback: 0 kB
AnonPages: 17946288 kB
Mapped: 117624 kB
Shmem: 17932 kB
KReclaimable: 101768 kB
Slab: 186956 kB
SReclaimable: 101768 kB
SUnreclaim: 85188 kB
KernelStack: 4128 kB
PageTables: 39072 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 19979940 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149528 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 7317504 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: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432588 MiB
End job on nodeC002 at 2025-07-04 04:06:54