0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4508048-1751492663.opb'
0.00/0.02 c read 1.14MB (15.99ms)
0.00/0.02 c [cnf: #variables 9632 #clauses 29621 #duplicates 0 #arr 104186]
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.04 c [group: #orbits ~= 2752] (17.76ms)
0.00/0.04 c
0.00/0.04 c detect special group actions
0.00/0.04 c probe for Johnson action (limit=64)
0.00/0.05 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.06 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07 c found row 11x688, generating row predicate
0.00/0.07 c (31.24ms)
0.00/0.07 c
0.00/0.07 c detect symmetries on remainder
0.00/0.07 c [graph: #vertices 82875 #edges 295616]
0.00/0.07 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.08/0.11 c [group: #symmetries 1.24*10^7 #generators 13] (34.67ms)
0.08/0.11 c
0.08/0.11 c optimize generators (opt_passes=64, conjugate_limit=256)
0.08/0.11 c ran it=0, +gens=2
0.20/0.23 c con best_support=1376, best_gens=13, +gens=224
0.20/0.23 c (127.25ms)
0.20/0.23 c
0.20/0.23 c finalize break order and special generators
0.20/0.23 c
0.20/0.23 c add generic predicates (break_depth=20)
0.20/0.24 c added predicates for 239 generators (6.90ms)
0.20/0.24 c
0.20/0.24 c generation finished
0.20/0.24 c [sbp: #constraints 34482 #add_vars 11411]
0.20/0.24 c
0.20/0.24 c write result to 'HOME/instance-4508048-1751492663.opb.pre'
0.20/0.25 c wrote 2.47MB (5.38ms)
0.20/0.25 c ------------------------------------------------------------------
0.20/0.25 c 127.25ms 52.65% optimize_gens
0.20/0.25 c 34.67ms 14.35% detect_generic
0.20/0.25 c 31.24ms 12.92% detect_special
0.20/0.25 c 17.76ms 7.35% approx_orbits
0.20/0.25 c 15.99ms 6.61% parse
0.20/0.25 c 6.90ms 2.86% break_generic
0.20/0.25 c 5.38ms 2.22% output
0.20/0.25 c 1.41ms 0.58% finalize_order
0.20/0.25 c 1.12ms 0.46% other
0.20/0.25 c ───────────────────────────────────────────────
0.20/0.25 c 241.71ms 100% total
0.20/0.25 c ------------------------------------------------------------------
0.20/0.26 c RoundingSat 2
0.20/0.26 c branch pb25
0.20/0.26 c commit 63f22ad
0.47/0.52 c #variables 21043 #constraints 64102
0.47/0.52 c objective is ce32
0.47/0.52 c initial watched CF 32, 64, 128, Arb: 868 , 0 , 0 , 0
0.47/0.52 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
0.47/0.52 c bounds - >= 0 @ 0.192758
5.24/5.30 c #Conflicts: 1000 | #Constraints: 65101
5.24/5.30 c #Conflicts: 2000 | #Constraints: 66101
5.24/5.30 c INPROCESSING
5.24/5.30 c #Conflicts: 3000 | #Constraints: 66132
5.24/5.30 c bounds - >= 10 @ 4.81694
5.55/5.69 c #Conflicts: 4000 | #Constraints: 67135
5.55/5.69 c INPROCESSING
5.55/5.69 c bounds 211 >= 10 @ 5.05335
5.64/5.72 c #Conflicts: 5000 | #Constraints: 66533
5.64/5.72 c bounds 211 >= 15 @ 5.07861
17.31/17.49 c #Conflicts: 6000 | #Constraints: 67536
17.31/17.49 c INPROCESSING
17.31/17.49 c GARBAGE COLLECT
17.31/17.49 c bounds 201 >= 15 @ 16.7556
17.41/17.50 c bounds 199 >= 15 @ 16.7631
17.41/17.53 c bounds 179 >= 15 @ 16.7871
17.41/17.58 c bounds 159 >= 15 @ 16.8098
17.51/17.60 c bounds 139 >= 15 @ 16.8227
17.51/17.61 c bounds 134 >= 15 @ 16.827
17.51/17.62 c bounds 132 >= 15 @ 16.833
17.51/17.67 c #Conflicts: 7000 | #Constraints: 66565
17.51/17.67 c bounds 112 >= 15 @ 16.8635
17.51/17.68 c bounds 110 >= 15 @ 16.8708
17.51/17.69 c bounds 108 >= 15 @ 16.8745
17.62/17.70 c bounds 106 >= 15 @ 16.8817
17.62/17.71 c bounds 104 >= 15 @ 16.8913
17.62/17.79 c #Conflicts: 8000 | #Constraints: 67570
17.62/17.79 c bounds 101 >= 15 @ 16.9552
17.62/17.79 c bounds 101 >= 17 @ 16.9556
17.62/17.79 c bounds 101 >= 19 @ 16.9563
59.30/59.52 c #Conflicts: 9000 | #Constraints: 68579
59.30/59.52 c INPROCESSING
59.30/59.52 c rational objective 19
59.60/59.88 c bounds 99 >= 19 @ 58.7959
59.60/59.89 c bounds 91 >= 19 @ 58.8074
59.70/59.90 c bounds 89 >= 19 @ 58.813
60.40/60.66 c #Conflicts: 10000 | #Constraints: 67289
60.40/60.66 c #Conflicts: 11000 | #Constraints: 68289
60.40/60.66 c #Conflicts: 12000 | #Constraints: 69289
60.40/60.66 c INPROCESSING
60.40/60.66 c GARBAGE COLLECT
60.40/60.66 c #Conflicts: 13000 | #Constraints: 67746
60.40/60.66 c #Conflicts: 14000 | #Constraints: 68746
60.40/60.66 c #Conflicts: 15000 | #Constraints: 69746
60.40/60.66 c INPROCESSING
60.40/60.66 c bounds 81 >= 19 @ 59.5265
60.40/60.67 c bounds 79 >= 19 @ 59.5336
75.77/76.07 c #Conflicts: 16000 | #Constraints: 67979
75.77/76.07 c #Conflicts: 17000 | #Constraints: 68979
75.77/76.07 c #Conflicts: 18000 | #Constraints: 69979
75.77/76.07 c INPROCESSING
75.77/76.07 c GARBAGE COLLECT
75.77/76.07 c #Conflicts: 19000 | #Constraints: 68001
75.77/76.07 c #Conflicts: 20000 | #Constraints: 69001
75.77/76.07 c #Conflicts: 21000 | #Constraints: 70001
75.77/76.07 c INPROCESSING
75.77/76.07 c #Conflicts: 22000 | #Constraints: 67819
75.77/76.07 c #Conflicts: 23000 | #Constraints: 68819
75.77/76.07 c #Conflicts: 24000 | #Constraints: 69819
75.77/76.07 c #Conflicts: 25000 | #Constraints: 70819
75.77/76.07 c INPROCESSING
75.77/76.07 c GARBAGE COLLECT
75.77/76.07 c #Conflicts: 26000 | #Constraints: 68424
75.77/76.07 c #Conflicts: 27000 | #Constraints: 69424
75.77/76.07 c #Conflicts: 28000 | #Constraints: 70424
75.77/76.07 c #Conflicts: 29000 | #Constraints: 71424
75.77/76.07 c INPROCESSING
75.77/76.07 c GARBAGE COLLECT
75.77/76.07 c bounds 79 >= 20 @ 74.7416
75.77/76.07 c bounds 79 >= 22 @ 74.7421
75.77/76.08 c #Conflicts: 30000 | #Constraints: 68836
75.77/76.08 c bounds 79 >= 24 @ 74.7542
93.21/93.59 c #Conflicts: 31000 | #Constraints: 69842
93.21/93.59 c #Conflicts: 32000 | #Constraints: 70842
93.21/93.59 c #Conflicts: 33000 | #Constraints: 71842
93.21/93.59 c INPROCESSING
93.21/93.59 c GARBAGE COLLECT
93.21/93.59 c #Conflicts: 34000 | #Constraints: 69040
93.21/93.59 c #Conflicts: 35000 | #Constraints: 70040
93.21/93.59 c #Conflicts: 36000 | #Constraints: 71040
93.21/93.59 c #Conflicts: 37000 | #Constraints: 72040
93.21/93.59 c INPROCESSING
93.21/93.59 c GARBAGE COLLECT
93.21/93.59 c #Conflicts: 38000 | #Constraints: 69038
93.21/93.59 c #Conflicts: 39000 | #Constraints: 70038
93.21/93.59 c #Conflicts: 40000 | #Constraints: 71038
93.21/93.59 c #Conflicts: 41000 | #Constraints: 72038
93.21/93.59 c INPROCESSING
93.21/93.59 c GARBAGE COLLECT
93.21/93.59 c rational objective 24
141.78/142.23 c #Conflicts: 42000 | #Constraints: 68857
141.78/142.23 c #Conflicts: 43000 | #Constraints: 69857
141.78/142.23 c #Conflicts: 44000 | #Constraints: 70857
141.78/142.23 c #Conflicts: 45000 | #Constraints: 71857
141.78/142.23 c #Conflicts: 46000 | #Constraints: 72857
141.78/142.23 c INPROCESSING
141.78/142.23 c GARBAGE COLLECT
141.78/142.23 c rational objective 24
142.88/143.38 c #Conflicts: 47000 | #Constraints: 69453
142.88/143.38 c #Conflicts: 48000 | #Constraints: 70453
142.88/143.38 c #Conflicts: 49000 | #Constraints: 71453
142.88/143.38 c #Conflicts: 50000 | #Constraints: 72453
142.88/143.38 c #Conflicts: 51000 | #Constraints: 73453
142.88/143.38 c INPROCESSING
142.88/143.38 c GARBAGE COLLECT
142.88/143.38 c #Conflicts: 52000 | #Constraints: 69851
142.88/143.38 c bounds 79 >= 26 @ 141.567
181.38/181.95 c #Conflicts: 53000 | #Constraints: 70866
181.38/181.95 c #Conflicts: 54000 | #Constraints: 71866
181.38/181.95 c #Conflicts: 55000 | #Constraints: 72866
181.38/181.95 c #Conflicts: 56000 | #Constraints: 73866
181.38/181.95 c INPROCESSING
181.38/181.95 c GARBAGE COLLECT
181.38/181.95 c #Conflicts: 57000 | #Constraints: 70061
181.38/181.95 c #Conflicts: 58000 | #Constraints: 71061
181.38/181.95 c #Conflicts: 59000 | #Constraints: 72061
181.38/181.95 c #Conflicts: 60000 | #Constraints: 73061
181.38/181.95 c #Conflicts: 61000 | #Constraints: 74061
181.38/181.95 c INPROCESSING
181.38/181.95 c GARBAGE COLLECT
181.38/181.95 c #Conflicts: 62000 | #Constraints: 70054
181.38/181.95 c #Conflicts: 63000 | #Constraints: 71054
181.38/181.95 c #Conflicts: 64000 | #Constraints: 72054
181.38/181.95 c #Conflicts: 65000 | #Constraints: 73054
181.38/181.95 c #Conflicts: 66000 | #Constraints: 74054
181.38/181.95 c INPROCESSING
181.38/181.95 c GARBAGE COLLECT
181.38/181.95 c rational objective 26
181.98/182.50 c #Conflicts: 67000 | #Constraints: 69854
181.98/182.50 c bounds 79 >= 27 @ 180.378
181.98/182.50 c bounds 79 >= 29 @ 180.379
182.18/182.70 c #Conflicts: 68000 | #Constraints: 70867
182.18/182.70 c bounds 79 >= 31 @ 180.577
230.45/231.11 c #Conflicts: 69000 | #Constraints: 71879
230.45/231.11 c #Conflicts: 70000 | #Constraints: 72879
230.45/231.11 c #Conflicts: 71000 | #Constraints: 73879
230.45/231.11 c #Conflicts: 72000 | #Constraints: 74879
230.45/231.11 c INPROCESSING
230.45/231.11 c GARBAGE COLLECT
230.45/231.11 c #Conflicts: 73000 | #Constraints: 70469
230.45/231.11 c #Conflicts: 74000 | #Constraints: 71469
230.45/231.11 c #Conflicts: 75000 | #Constraints: 72469
230.45/231.11 c #Conflicts: 76000 | #Constraints: 73469
230.45/231.11 c #Conflicts: 77000 | #Constraints: 74469
230.45/231.11 c #Conflicts: 78000 | #Constraints: 75469
230.45/231.11 c INPROCESSING
230.45/231.11 c GARBAGE COLLECT
230.45/231.11 c rational objective 31
269.74/270.54 c #Conflicts: 79000 | #Constraints: 70881
269.74/270.54 c #Conflicts: 80000 | #Constraints: 71881
269.74/270.54 c #Conflicts: 81000 | #Constraints: 72881
269.74/270.54 c #Conflicts: 82000 | #Constraints: 73881
269.74/270.54 c #Conflicts: 83000 | #Constraints: 74881
269.74/270.54 c #Conflicts: 84000 | #Constraints: 75881
269.74/270.54 c INPROCESSING
269.74/270.54 c GARBAGE COLLECT
269.74/270.54 c #Conflicts: 85000 | #Constraints: 71072
269.74/270.54 c #Conflicts: 86000 | #Constraints: 72072
269.74/270.54 c #Conflicts: 87000 | #Constraints: 73072
269.74/270.54 c #Conflicts: 88000 | #Constraints: 74072
269.74/270.54 c #Conflicts: 89000 | #Constraints: 75072
269.74/270.54 c #Conflicts: 90000 | #Constraints: 76072
269.74/270.54 c INPROCESSING
269.74/270.54 c GARBAGE COLLECT
269.74/270.54 c #Conflicts: 91000 | #Constraints: 71065
269.74/270.54 c #Conflicts: 92000 | #Constraints: 72065
269.74/270.54 c #Conflicts: 93000 | #Constraints: 73065
269.74/270.54 c #Conflicts: 94000 | #Constraints: 74065
269.74/270.54 c #Conflicts: 95000 | #Constraints: 75065
269.74/270.54 c #Conflicts: 96000 | #Constraints: 76065
269.74/270.54 c INPROCESSING
269.74/270.54 c GARBAGE COLLECT
269.74/270.54 c #Conflicts: 97000 | #Constraints: 70865
269.74/270.54 c #Conflicts: 98000 | #Constraints: 71865
269.74/270.54 c #Conflicts: 99000 | #Constraints: 72865
269.74/270.54 c #Conflicts: 100000 | #Constraints: 73865
269.74/270.54 c #Conflicts: 101000 | #Constraints: 74865
269.74/270.54 c #Conflicts: 102000 | #Constraints: 75865
269.74/270.54 c #Conflicts: 103000 | #Constraints: 76865
269.74/270.54 c INPROCESSING
269.74/270.54 c GARBAGE COLLECT
269.74/270.54 c #Conflicts: 104000 | #Constraints: 71464
269.74/270.54 c #Conflicts: 105000 | #Constraints: 72464
269.74/270.54 c #Conflicts: 106000 | #Constraints: 73464
269.74/270.54 c #Conflicts: 107000 | #Constraints: 74464
269.74/270.54 c #Conflicts: 108000 | #Constraints: 75464
269.74/270.54 c #Conflicts: 109000 | #Constraints: 76464
269.74/270.54 c #Conflicts: 110000 | #Constraints: 77464
269.74/270.54 c INPROCESSING
269.74/270.54 c GARBAGE COLLECT
269.74/270.54 c rational objective 31
320.72/321.63 c #Conflicts: 111000 | #Constraints: 71874
320.72/321.63 c #Conflicts: 112000 | #Constraints: 72874
320.72/321.63 c #Conflicts: 113000 | #Constraints: 73874
320.72/321.63 c #Conflicts: 114000 | #Constraints: 74874
320.72/321.63 c #Conflicts: 115000 | #Constraints: 75874
320.72/321.63 c #Conflicts: 116000 | #Constraints: 76874
320.72/321.63 c #Conflicts: 117000 | #Constraints: 77874
320.72/321.63 c INPROCESSING
320.72/321.63 c GARBAGE COLLECT
320.72/321.63 c rational objective 31
352.64/353.66 c #Conflicts: 118000 | #Constraints: 72124
352.64/353.66 c #Conflicts: 119000 | #Constraints: 73124
352.64/353.66 c #Conflicts: 120000 | #Constraints: 74124
352.64/353.66 c #Conflicts: 121000 | #Constraints: 75124
352.64/353.66 c #Conflicts: 122000 | #Constraints: 76124
352.64/353.66 c #Conflicts: 123000 | #Constraints: 77124
352.64/353.66 c #Conflicts: 124000 | #Constraints: 78124
352.64/353.66 c INPROCESSING
352.64/353.66 c GARBAGE COLLECT
352.64/353.66 c #Conflicts: 125000 | #Constraints: 72099
352.64/353.66 c #Conflicts: 126000 | #Constraints: 73099
352.64/353.66 c #Conflicts: 127000 | #Constraints: 74099
352.64/353.66 c #Conflicts: 128000 | #Constraints: 75099
352.64/353.66 c #Conflicts: 129000 | #Constraints: 76099
352.64/353.66 c #Conflicts: 130000 | #Constraints: 77099
352.64/353.66 c #Conflicts: 131000 | #Constraints: 78099
352.64/353.66 c INPROCESSING
352.64/353.66 c GARBAGE COLLECT
352.64/353.66 c #Conflicts: 132000 | #Constraints: 71879
352.64/353.66 c #Conflicts: 133000 | #Constraints: 72879
352.64/353.66 c #Conflicts: 134000 | #Constraints: 73879
352.64/353.66 c #Conflicts: 135000 | #Constraints: 74879
352.64/353.66 c #Conflicts: 136000 | #Constraints: 75879
352.64/353.66 c #Conflicts: 137000 | #Constraints: 76879
352.64/353.66 c #Conflicts: 138000 | #Constraints: 77879
352.64/353.66 c #Conflicts: 139000 | #Constraints: 78879
352.64/353.66 c INPROCESSING
352.64/353.66 c GARBAGE COLLECT
352.64/353.66 c rational objective 31
366.81/367.86 c #Conflicts: 140000 | #Constraints: 72475
366.81/367.86 c #Conflicts: 141000 | #Constraints: 73475
366.81/367.86 c #Conflicts: 142000 | #Constraints: 74475
366.81/367.86 c #Conflicts: 143000 | #Constraints: 75475
366.81/367.86 c #Conflicts: 144000 | #Constraints: 76475
366.81/367.86 c #Conflicts: 145000 | #Constraints: 77475
366.81/367.86 c #Conflicts: 146000 | #Constraints: 78475
366.81/367.86 c #Conflicts: 147000 | #Constraints: 79475
366.81/367.86 c INPROCESSING
366.81/367.86 c GARBAGE COLLECT
366.81/367.86 c rational objective 31
415.09/416.24 c #Conflicts: 148000 | #Constraints: 72914
415.09/416.24 c #Conflicts: 149000 | #Constraints: 73914
415.09/416.24 c #Conflicts: 150000 | #Constraints: 74914
415.09/416.24 c #Conflicts: 151000 | #Constraints: 75914
415.09/416.24 c #Conflicts: 152000 | #Constraints: 76914
415.09/416.24 c #Conflicts: 153000 | #Constraints: 77914
415.09/416.24 c #Conflicts: 154000 | #Constraints: 78914
415.09/416.24 c #Conflicts: 155000 | #Constraints: 79914
415.09/416.24 c INPROCESSING
415.09/416.24 c GARBAGE COLLECT
415.09/416.24 c rational objective 31
478.33/479.60 c #Conflicts: 156000 | #Constraints: 73155
478.33/479.60 c #Conflicts: 157000 | #Constraints: 74155
478.33/479.60 c #Conflicts: 158000 | #Constraints: 75155
478.33/479.60 c #Conflicts: 159000 | #Constraints: 76155
478.33/479.60 c #Conflicts: 160000 | #Constraints: 77155
478.33/479.60 c #Conflicts: 161000 | #Constraints: 78155
478.33/479.60 c #Conflicts: 162000 | #Constraints: 79155
478.33/479.60 c #Conflicts: 163000 | #Constraints: 80155
478.33/479.60 c INPROCESSING
478.33/479.60 c GARBAGE COLLECT
478.33/479.60 c #Conflicts: 164000 | #Constraints: 73109
478.33/479.60 c #Conflicts: 165000 | #Constraints: 74109
478.33/479.60 c #Conflicts: 166000 | #Constraints: 75109
478.33/479.60 c #Conflicts: 167000 | #Constraints: 76109
478.33/479.60 c #Conflicts: 168000 | #Constraints: 77109
478.33/479.60 c #Conflicts: 169000 | #Constraints: 78109
478.33/479.60 c #Conflicts: 170000 | #Constraints: 79109
478.33/479.60 c #Conflicts: 171000 | #Constraints: 80109
478.33/479.60 c INPROCESSING
478.33/479.60 c GARBAGE COLLECT
478.33/479.60 c rational objective 31
480.02/481.32 c #Conflicts: 172000 | #Constraints: 72927
480.02/481.32 c #Conflicts: 173000 | #Constraints: 73927
480.02/481.32 c #Conflicts: 174000 | #Constraints: 74927
480.02/481.32 c #Conflicts: 175000 | #Constraints: 75927
480.02/481.32 c #Conflicts: 176000 | #Constraints: 76927
480.02/481.32 c bounds 79 >= 32 @ 477.241
531.49/532.99 c #Conflicts: 177000 | #Constraints: 77933
531.49/532.99 c #Conflicts: 178000 | #Constraints: 78933
531.49/532.99 c #Conflicts: 179000 | #Constraints: 79933
531.49/532.99 c #Conflicts: 180000 | #Constraints: 80933
531.49/532.99 c INPROCESSING
531.49/532.99 c GARBAGE COLLECT
531.49/532.99 c rational objective 32
601.62/603.20 c #Conflicts: 181000 | #Constraints: 73510
601.62/603.20 c #Conflicts: 182000 | #Constraints: 74510
601.62/603.20 c #Conflicts: 183000 | #Constraints: 75510
601.62/603.20 c #Conflicts: 184000 | #Constraints: 76510
601.62/603.20 c #Conflicts: 185000 | #Constraints: 77510
601.62/603.20 c #Conflicts: 186000 | #Constraints: 78510
601.62/603.20 c #Conflicts: 187000 | #Constraints: 79510
601.62/603.20 c #Conflicts: 188000 | #Constraints: 80510
601.62/603.20 c #Conflicts: 189000 | #Constraints: 81510
601.62/603.20 c INPROCESSING
601.62/603.20 c GARBAGE COLLECT
601.62/603.20 c #Conflicts: 190000 | #Constraints: 73888
601.62/603.20 c #Conflicts: 191000 | #Constraints: 74888
601.62/603.20 c #Conflicts: 192000 | #Constraints: 75888
601.62/603.20 c #Conflicts: 193000 | #Constraints: 76888
601.62/603.20 c #Conflicts: 194000 | #Constraints: 77888
601.62/603.20 c #Conflicts: 195000 | #Constraints: 78888
601.62/603.20 c #Conflicts: 196000 | #Constraints: 79888
601.62/603.20 c #Conflicts: 197000 | #Constraints: 80888
601.62/603.20 c #Conflicts: 198000 | #Constraints: 81888
601.62/603.20 c INPROCESSING
601.62/603.20 c GARBAGE COLLECT
601.62/603.20 c bounds 79 >= 34 @ 598.366
601.73/603.39 c bounds 79 >= 35 @ 598.548
601.73/603.39 c bounds 79 >= 36 @ 598.549
688.40/690.26 c #Conflicts: 199000 | #Constraints: 74117
688.40/690.26 c #Conflicts: 200000 | #Constraints: 75117
688.40/690.26 c #Conflicts: 201000 | #Constraints: 76117
688.40/690.26 c #Conflicts: 202000 | #Constraints: 77117
688.40/690.26 c #Conflicts: 203000 | #Constraints: 78117
688.40/690.26 c #Conflicts: 204000 | #Constraints: 79117
688.40/690.26 c #Conflicts: 205000 | #Constraints: 80117
688.40/690.26 c #Conflicts: 206000 | #Constraints: 81117
688.40/690.26 c #Conflicts: 207000 | #Constraints: 82117
688.40/690.26 c INPROCESSING
688.40/690.26 c GARBAGE COLLECT
688.40/690.26 c rational objective 36
693.69/695.55 c #Conflicts: 208000 | #Constraints: 73662
693.69/695.55 c #Conflicts: 209000 | #Constraints: 74662
693.69/695.55 c #Conflicts: 210000 | #Constraints: 75662
693.69/695.55 c #Conflicts: 211000 | #Constraints: 76662
693.69/695.55 c #Conflicts: 212000 | #Constraints: 77662
693.69/695.55 c #Conflicts: 213000 | #Constraints: 78662
693.69/695.55 c #Conflicts: 214000 | #Constraints: 79662
693.69/695.55 c #Conflicts: 215000 | #Constraints: 80662
693.69/695.55 c #Conflicts: 216000 | #Constraints: 81662
693.69/695.55 c INPROCESSING
693.69/695.55 c GARBAGE COLLECT
693.69/695.55 c #Conflicts: 217000 | #Constraints: 73683
693.69/695.55 c #Conflicts: 218000 | #Constraints: 74683
693.69/695.55 c #Conflicts: 219000 | #Constraints: 75683
693.69/695.55 c #Conflicts: 220000 | #Constraints: 76683
693.69/695.55 c #Conflicts: 221000 | #Constraints: 77683
693.69/695.55 c #Conflicts: 222000 | #Constraints: 78683
693.69/695.55 c #Conflicts: 223000 | #Constraints: 79683
693.69/695.55 c #Conflicts: 224000 | #Constraints: 80683
693.69/695.55 c #Conflicts: 225000 | #Constraints: 81683
693.69/695.55 c #Conflicts: 226000 | #Constraints: 82683
693.69/695.55 c INPROCESSING
693.69/695.55 c GARBAGE COLLECT
693.69/695.55 c #Conflicts: 227000 | #Constraints: 74391
693.69/695.55 c #Conflicts: 228000 | #Constraints: 75391
693.69/695.55 c #Conflicts: 229000 | #Constraints: 76391
693.69/695.55 c #Conflicts: 230000 | #Constraints: 77391
693.69/695.55 c #Conflicts: 231000 | #Constraints: 78391
693.69/695.55 c #Conflicts: 232000 | #Constraints: 79391
693.69/695.55 c #Conflicts: 233000 | #Constraints: 80391
693.69/695.55 c #Conflicts: 234000 | #Constraints: 81391
693.69/695.55 c bounds 79 >= 37 @ 690.189
695.89/697.75 c #Conflicts: 235000 | #Constraints: 82403
695.89/697.75 c #Conflicts: 236000 | #Constraints: 83403
695.89/697.75 c INPROCESSING
695.89/697.75 c GARBAGE COLLECT
695.89/697.75 c #Conflicts: 237000 | #Constraints: 74847
695.89/697.75 c #Conflicts: 238000 | #Constraints: 75847
695.89/697.75 c #Conflicts: 239000 | #Constraints: 76847
695.89/697.75 c #Conflicts: 240000 | #Constraints: 77847
695.89/697.75 c #Conflicts: 241000 | #Constraints: 78847
695.89/697.75 c #Conflicts: 242000 | #Constraints: 79847
695.89/697.75 c #Conflicts: 243000 | #Constraints: 80847
695.89/697.75 c #Conflicts: 244000 | #Constraints: 81847
695.89/697.75 c #Conflicts: 245000 | #Constraints: 82847
695.89/697.75 c #Conflicts: 246000 | #Constraints: 83847
695.89/697.75 c INPROCESSING
695.89/697.75 c GARBAGE COLLECT
695.89/697.75 c #Conflicts: 247000 | #Constraints: 75074
695.89/697.75 c bounds 79 >= 38 @ 692.333
731.70/733.60 c #Conflicts: 248000 | #Constraints: 76092
731.70/733.60 c #Conflicts: 249000 | #Constraints: 77092
731.70/733.60 c #Conflicts: 250000 | #Constraints: 78092
731.70/733.60 c #Conflicts: 251000 | #Constraints: 79092
731.70/733.60 c #Conflicts: 252000 | #Constraints: 80092
731.70/733.60 c bounds 79 >= 39 @ 727.927
732.10/734.03 c #Conflicts: 253000 | #Constraints: 81098
732.10/734.03 c #Conflicts: 254000 | #Constraints: 82098
732.10/734.03 c #Conflicts: 255000 | #Constraints: 83098
732.10/734.03 c #Conflicts: 256000 | #Constraints: 84098
732.10/734.03 c INPROCESSING
732.10/734.03 c GARBAGE COLLECT
732.10/734.03 c bounds 79 >= 40 @ 728.346
828.06/830.29 c #Conflicts: 257000 | #Constraints: 75126
828.06/830.29 c #Conflicts: 258000 | #Constraints: 76126
828.06/830.29 c #Conflicts: 259000 | #Constraints: 77126
828.06/830.29 c #Conflicts: 260000 | #Constraints: 78126
828.06/830.29 c #Conflicts: 261000 | #Constraints: 79126
828.06/830.29 c #Conflicts: 262000 | #Constraints: 80126
828.06/830.29 c #Conflicts: 263000 | #Constraints: 81126
828.06/830.29 c #Conflicts: 264000 | #Constraints: 82126
828.06/830.29 c #Conflicts: 265000 | #Constraints: 83126
828.06/830.29 c #Conflicts: 266000 | #Constraints: 84126
828.06/830.29 c INPROCESSING
828.06/830.29 c GARBAGE COLLECT
828.06/830.29 c rational objective 40
829.45/831.66 c #Conflicts: 267000 | #Constraints: 74939
829.45/831.66 c #Conflicts: 268000 | #Constraints: 75939
829.45/831.66 c #Conflicts: 269000 | #Constraints: 76939
829.45/831.66 c #Conflicts: 270000 | #Constraints: 77939
829.45/831.66 c #Conflicts: 271000 | #Constraints: 78939
829.45/831.66 c bounds 79 >= 41 @ 825.486
900.58/902.90 c #Conflicts: 272000 | #Constraints: 79954
900.58/902.90 c #Conflicts: 273000 | #Constraints: 80954
900.58/902.90 c #Conflicts: 274000 | #Constraints: 81954
900.58/902.90 c #Conflicts: 275000 | #Constraints: 82954
900.58/902.90 c #Conflicts: 276000 | #Constraints: 83954
900.58/902.90 c #Conflicts: 277000 | #Constraints: 84954
900.58/902.90 c INPROCESSING
900.58/902.90 c GARBAGE COLLECT
900.58/902.90 c #Conflicts: 278000 | #Constraints: 75549
900.58/902.90 c #Conflicts: 279000 | #Constraints: 76549
900.58/902.90 c #Conflicts: 280000 | #Constraints: 77549
900.58/902.90 c #Conflicts: 281000 | #Constraints: 78549
900.58/902.90 c #Conflicts: 282000 | #Constraints: 79549
900.58/902.90 c #Conflicts: 283000 | #Constraints: 80549
900.58/902.90 c #Conflicts: 284000 | #Constraints: 81549
900.58/902.90 c #Conflicts: 285000 | #Constraints: 82549
900.58/902.90 c #Conflicts: 286000 | #Constraints: 83549
900.58/902.90 c #Conflicts: 287000 | #Constraints: 84549
900.58/902.90 c #Conflicts: 288000 | #Constraints: 85549
900.58/902.90 c INPROCESSING
900.58/902.90 c GARBAGE COLLECT
900.58/902.90 c #Conflicts: 289000 | #Constraints: 75948
900.58/902.90 c #Conflicts: 290000 | #Constraints: 76948
900.58/902.90 c #Conflicts: 291000 | #Constraints: 77948
900.58/902.90 c #Conflicts: 292000 | #Constraints: 78948
900.58/902.90 c #Conflicts: 293000 | #Constraints: 79948
900.58/902.90 c #Conflicts: 294000 | #Constraints: 80948
900.58/902.90 c #Conflicts: 295000 | #Constraints: 81948
900.58/902.90 c #Conflicts: 296000 | #Constraints: 82948
900.58/902.90 c #Conflicts: 297000 | #Constraints: 83948
900.58/902.90 c #Conflicts: 298000 | #Constraints: 84948
900.58/902.90 c #Conflicts: 299000 | #Constraints: 85948
900.58/902.90 c INPROCESSING
900.58/902.90 c GARBAGE COLLECT
900.58/902.90 c #Conflicts: 300000 | #Constraints: 76144
900.58/902.90 c #Conflicts: 301000 | #Constraints: 77144
900.58/902.90 c #Conflicts: 302000 | #Constraints: 78144
900.58/902.90 c #Conflicts: 303000 | #Constraints: 79144
900.58/902.90 c #Conflicts: 304000 | #Constraints: 80144
900.58/902.90 c #Conflicts: 305000 | #Constraints: 81144
900.58/902.90 c #Conflicts: 306000 | #Constraints: 82144
900.58/902.90 c #Conflicts: 307000 | #Constraints: 83144
900.58/902.90 c #Conflicts: 308000 | #Constraints: 84144
900.58/902.90 c #Conflicts: 309000 | #Constraints: 85144
900.58/902.90 c #Conflicts: 310000 | #Constraints: 86144
900.58/902.90 c INPROCESSING
900.58/902.90 c GARBAGE COLLECT
900.58/902.90 c rational objective 41
1004.51/1007.16 c #Conflicts: 311000 | #Constraints: 76150
1004.51/1007.16 c #Conflicts: 312000 | #Constraints: 77150
1004.51/1007.16 c #Conflicts: 313000 | #Constraints: 78150
1004.51/1007.16 c #Conflicts: 314000 | #Constraints: 79150
1004.51/1007.16 c #Conflicts: 315000 | #Constraints: 80150
1004.51/1007.16 c #Conflicts: 316000 | #Constraints: 81150
1004.51/1007.16 c #Conflicts: 317000 | #Constraints: 82150
1004.51/1007.16 c #Conflicts: 318000 | #Constraints: 83150
1004.51/1007.16 c #Conflicts: 319000 | #Constraints: 84150
1004.51/1007.16 c #Conflicts: 320000 | #Constraints: 85150
1004.51/1007.16 c #Conflicts: 321000 | #Constraints: 86150
1004.51/1007.16 c INPROCESSING
1004.51/1007.16 c GARBAGE COLLECT
1004.51/1007.16 c #Conflicts: 322000 | #Constraints: 75944
1004.51/1007.16 c #Conflicts: 323000 | #Constraints: 76944
1004.51/1007.16 c #Conflicts: 324000 | #Constraints: 77944
1004.51/1007.16 c #Conflicts: 325000 | #Constraints: 78944
1004.51/1007.16 c #Conflicts: 326000 | #Constraints: 79944
1004.51/1007.16 c #Conflicts: 327000 | #Constraints: 80944
1004.51/1007.16 c #Conflicts: 328000 | #Constraints: 81944
1004.51/1007.16 c #Conflicts: 329000 | #Constraints: 82944
1004.51/1007.16 c #Conflicts: 330000 | #Constraints: 83944
1004.51/1007.16 c #Conflicts: 331000 | #Constraints: 84944
1004.51/1007.16 c #Conflicts: 332000 | #Constraints: 85944
1004.51/1007.16 c #Conflicts: 333000 | #Constraints: 86944
1004.51/1007.16 c INPROCESSING
1004.51/1007.16 c GARBAGE COLLECT
1004.51/1007.16 c #Conflicts: 334000 | #Constraints: 76546
1004.51/1007.16 c #Conflicts: 335000 | #Constraints: 77546
1004.51/1007.16 c #Conflicts: 336000 | #Constraints: 78546
1004.51/1007.16 c #Conflicts: 337000 | #Constraints: 79546
1004.51/1007.16 c #Conflicts: 338000 | #Constraints: 80546
1004.51/1007.16 c #Conflicts: 339000 | #Constraints: 81546
1004.51/1007.16 c #Conflicts: 340000 | #Constraints: 82546
1004.51/1007.16 c #Conflicts: 341000 | #Constraints: 83546
1004.51/1007.16 c #Conflicts: 342000 | #Constraints: 84546
1004.51/1007.16 c bounds 79 >= 42 @ 999.658
1084.07/1086.98 c #Conflicts: 343000 | #Constraints: 85570
1084.07/1086.98 c #Conflicts: 344000 | #Constraints: 86570
1084.07/1086.98 c #Conflicts: 345000 | #Constraints: 87570
1084.07/1086.98 c INPROCESSING
1084.07/1086.98 c GARBAGE COLLECT
1084.07/1086.98 c #Conflicts: 346000 | #Constraints: 76962
1084.07/1086.98 c #Conflicts: 347000 | #Constraints: 77962
1084.07/1086.98 c #Conflicts: 348000 | #Constraints: 78962
1084.07/1086.98 c #Conflicts: 349000 | #Constraints: 79962
1084.07/1086.98 c #Conflicts: 350000 | #Constraints: 80962
1084.07/1086.98 c #Conflicts: 351000 | #Constraints: 81962
1084.07/1086.98 c #Conflicts: 352000 | #Constraints: 82962
1084.07/1086.98 c #Conflicts: 353000 | #Constraints: 83962
1084.07/1086.98 c #Conflicts: 354000 | #Constraints: 84962
1084.07/1086.98 c #Conflicts: 355000 | #Constraints: 85962
1084.07/1086.98 c #Conflicts: 356000 | #Constraints: 86962
1084.07/1086.98 c #Conflicts: 357000 | #Constraints: 87962
1084.07/1086.98 c INPROCESSING
1084.07/1086.98 c GARBAGE COLLECT
1084.07/1086.98 c #Conflicts: 358000 | #Constraints: 77158
1084.07/1086.98 c #Conflicts: 359000 | #Constraints: 78158
1084.07/1086.98 c #Conflicts: 360000 | #Constraints: 79158
1084.07/1086.98 c #Conflicts: 361000 | #Constraints: 80158
1084.07/1086.98 c #Conflicts: 362000 | #Constraints: 81158
1084.07/1086.98 c #Conflicts: 363000 | #Constraints: 82158
1084.07/1086.98 c #Conflicts: 364000 | #Constraints: 83158
1084.07/1086.98 c #Conflicts: 365000 | #Constraints: 84158
1084.07/1086.98 c #Conflicts: 366000 | #Constraints: 85158
1084.07/1086.98 c #Conflicts: 367000 | #Constraints: 86158
1084.07/1086.98 c #Conflicts: 368000 | #Constraints: 87158
1084.07/1086.98 c #Conflicts: 369000 | #Constraints: 88159
1084.07/1086.98 c INPROCESSING
1084.07/1086.98 c GARBAGE COLLECT
1084.07/1086.98 c rational objective 42
1086.66/1089.57 c #Conflicts: 370000 | #Constraints: 77170
1086.66/1089.57 c #Conflicts: 371000 | #Constraints: 78170
1086.66/1089.57 c #Conflicts: 372000 | #Constraints: 79170
1086.66/1089.57 c #Conflicts: 373000 | #Constraints: 80170
1086.66/1089.57 c #Conflicts: 374000 | #Constraints: 81170
1086.66/1089.57 c #Conflicts: 375000 | #Constraints: 82170
1086.66/1089.57 c bounds 79 >= 43 @ 1081.52
1226.83/1230.16 c #Conflicts: 376000 | #Constraints: 83188
1226.83/1230.16 c #Conflicts: 377000 | #Constraints: 84188
1226.83/1230.16 c #Conflicts: 378000 | #Constraints: 85188
1226.83/1230.16 c #Conflicts: 379000 | #Constraints: 86188
1226.83/1230.16 c #Conflicts: 380000 | #Constraints: 87188
1226.83/1230.16 c #Conflicts: 381000 | #Constraints: 88188
1226.83/1230.16 c INPROCESSING
1226.83/1230.16 c GARBAGE COLLECT
1226.83/1230.16 c rational objective 43
1336.01/1339.61 c #Conflicts: 382000 | #Constraints: 77017
1336.01/1339.61 c #Conflicts: 383000 | #Constraints: 78017
1336.01/1339.61 c #Conflicts: 384000 | #Constraints: 79017
1336.01/1339.61 c #Conflicts: 385000 | #Constraints: 80017
1336.01/1339.61 c #Conflicts: 386000 | #Constraints: 81017
1336.01/1339.61 c #Conflicts: 387000 | #Constraints: 82017
1336.01/1339.61 c #Conflicts: 388000 | #Constraints: 83017
1336.01/1339.61 c #Conflicts: 389000 | #Constraints: 84017
1336.01/1339.61 c #Conflicts: 390000 | #Constraints: 85017
1336.01/1339.61 c #Conflicts: 391000 | #Constraints: 86017
1336.01/1339.61 c #Conflicts: 392000 | #Constraints: 87017
1336.01/1339.61 c #Conflicts: 393000 | #Constraints: 88017
1336.01/1339.61 c #Conflicts: 394000 | #Constraints: 89017
1336.01/1339.61 c INPROCESSING
1336.01/1339.61 c GARBAGE COLLECT
1336.01/1339.61 c #Conflicts: 395000 | #Constraints: 77590
1336.01/1339.61 c #Conflicts: 396000 | #Constraints: 78590
1336.01/1339.61 c #Conflicts: 397000 | #Constraints: 79590
1336.01/1339.61 c #Conflicts: 398000 | #Constraints: 80590
1336.01/1339.61 c #Conflicts: 399000 | #Constraints: 81590
1336.01/1339.61 c #Conflicts: 400000 | #Constraints: 82590
1336.01/1339.61 c #Conflicts: 401000 | #Constraints: 83590
1336.01/1339.61 c #Conflicts: 402000 | #Constraints: 84590
1336.01/1339.61 c #Conflicts: 403000 | #Constraints: 85590
1336.01/1339.61 c #Conflicts: 404000 | #Constraints: 86590
1336.01/1339.61 c #Conflicts: 405000 | #Constraints: 87590
1336.01/1339.61 c #Conflicts: 406000 | #Constraints: 88590
1336.01/1339.61 c #Conflicts: 407000 | #Constraints: 89590
1336.01/1339.61 c INPROCESSING
1336.01/1339.61 c GARBAGE COLLECT
1336.01/1339.61 c #Conflicts: 408000 | #Constraints: 77977
1336.01/1339.61 c #Conflicts: 409000 | #Constraints: 78977
1336.01/1339.61 c #Conflicts: 410000 | #Constraints: 79977
1336.01/1339.61 c #Conflicts: 411000 | #Constraints: 80977
1336.01/1339.61 c #Conflicts: 412000 | #Constraints: 81977
1336.01/1339.61 c #Conflicts: 413000 | #Constraints: 82977
1336.01/1339.61 c #Conflicts: 414000 | #Constraints: 83977
1336.01/1339.61 c #Conflicts: 415000 | #Constraints: 84977
1336.01/1339.61 c #Conflicts: 416000 | #Constraints: 85977
1336.01/1339.61 c #Conflicts: 417000 | #Constraints: 86977
1336.01/1339.61 c #Conflicts: 418000 | #Constraints: 87977
1336.01/1339.61 c #Conflicts: 419000 | #Constraints: 88977
1336.01/1339.61 c #Conflicts: 420000 | #Constraints: 89977
1336.01/1339.61 c INPROCESSING
1336.01/1339.61 c GARBAGE COLLECT
1336.01/1339.61 c #Conflicts: 421000 | #Constraints: 78172
1336.01/1339.61 c #Conflicts: 422000 | #Constraints: 79172
1336.01/1339.61 c #Conflicts: 423000 | #Constraints: 80172
1336.01/1339.61 c #Conflicts: 424000 | #Constraints: 81172
1336.01/1339.61 c #Conflicts: 425000 | #Constraints: 82172
1336.01/1339.61 c #Conflicts: 426000 | #Constraints: 83172
1336.01/1339.61 c #Conflicts: 427000 | #Constraints: 84172
1336.01/1339.61 c #Conflicts: 428000 | #Constraints: 85172
1336.01/1339.61 c #Conflicts: 429000 | #Constraints: 86172
1336.01/1339.61 c #Conflicts: 430000 | #Constraints: 87172
1336.01/1339.61 c #Conflicts: 431000 | #Constraints: 88172
1336.01/1339.61 c #Conflicts: 432000 | #Constraints: 89172
1336.01/1339.61 c #Conflicts: 433000 | #Constraints: 90172
1336.01/1339.61 c INPROCESSING
1336.01/1339.61 c GARBAGE COLLECT
1336.01/1339.61 c #Conflicts: 434000 | #Constraints: 78170
1336.01/1339.61 c #Conflicts: 435000 | #Constraints: 79170
1336.01/1339.61 c #Conflicts: 436000 | #Constraints: 80170
1336.01/1339.61 c #Conflicts: 437000 | #Constraints: 81170
1336.01/1339.61 c #Conflicts: 438000 | #Constraints: 82170
1336.01/1339.61 c #Conflicts: 439000 | #Constraints: 83170
1336.01/1339.61 c #Conflicts: 440000 | #Constraints: 84170
1336.01/1339.61 c #Conflicts: 441000 | #Constraints: 85170
1336.01/1339.61 c #Conflicts: 442000 | #Constraints: 86170
1336.01/1339.61 c #Conflicts: 443000 | #Constraints: 87170
1336.01/1339.61 c #Conflicts: 444000 | #Constraints: 88170
1336.01/1339.61 c #Conflicts: 445000 | #Constraints: 89170
1336.01/1339.61 c #Conflicts: 446000 | #Constraints: 90170
1336.01/1339.61 c INPROCESSING
1336.01/1339.61 c GARBAGE COLLECT
1336.01/1339.61 c #Conflicts: 447000 | #Constraints: 77970
1336.01/1339.61 c #Conflicts: 448000 | #Constraints: 78970
1336.01/1339.61 c #Conflicts: 449000 | #Constraints: 79970
1336.01/1339.61 c #Conflicts: 450000 | #Constraints: 80970
1336.01/1339.61 c #Conflicts: 451000 | #Constraints: 81970
1336.01/1339.61 c #Conflicts: 452000 | #Constraints: 82970
1336.01/1339.61 c #Conflicts: 453000 | #Constraints: 83970
1336.01/1339.61 c #Conflicts: 454000 | #Constraints: 84970
1336.01/1339.61 c #Conflicts: 455000 | #Constraints: 85970
1336.01/1339.61 c #Conflicts: 456000 | #Constraints: 86970
1336.01/1339.61 c #Conflicts: 457000 | #Constraints: 87970
1340.79/1344.48 c #Conflicts: 458000 | #Constraints: 88970
1340.79/1344.48 c #Conflicts: 459000 | #Constraints: 89970
1340.79/1344.48 c #Conflicts: 460000 | #Constraints: 90970
1340.79/1344.48 c INPROCESSING
1340.79/1344.48 c GARBAGE COLLECT
1340.79/1344.48 c rational objective 43
1452.86/1456.85 c #Conflicts: 461000 | #Constraints: 78573
1452.86/1456.85 c #Conflicts: 462000 | #Constraints: 79573
1452.86/1456.85 c #Conflicts: 463000 | #Constraints: 80573
1452.86/1456.85 c #Conflicts: 464000 | #Constraints: 81573
1452.86/1456.85 c #Conflicts: 465000 | #Constraints: 82573
1452.86/1456.85 c #Conflicts: 466000 | #Constraints: 83573
1452.86/1456.85 c #Conflicts: 467000 | #Constraints: 84573
1452.86/1456.85 c #Conflicts: 468000 | #Constraints: 85573
1452.86/1456.85 c #Conflicts: 469000 | #Constraints: 86573
1452.86/1456.85 c #Conflicts: 470000 | #Constraints: 87573
1452.86/1456.85 c #Conflicts: 471000 | #Constraints: 88573
1452.86/1456.85 c #Conflicts: 472000 | #Constraints: 89573
1452.86/1456.85 c #Conflicts: 473000 | #Constraints: 90573
1452.86/1456.85 c #Conflicts: 474000 | #Constraints: 91573
1452.86/1456.85 c INPROCESSING
1452.86/1456.85 c GARBAGE COLLECT
1452.86/1456.85 c rational objective 43
1531.12/1535.30 c #Conflicts: 475000 | #Constraints: 79006
1531.12/1535.30 c #Conflicts: 476000 | #Constraints: 80006
1531.12/1535.30 c #Conflicts: 477000 | #Constraints: 81006
1531.12/1535.30 c #Conflicts: 478000 | #Constraints: 82006
1531.12/1535.30 c #Conflicts: 479000 | #Constraints: 83006
1531.12/1535.30 c #Conflicts: 480000 | #Constraints: 84006
1531.12/1535.30 c #Conflicts: 481000 | #Constraints: 85006
1531.12/1535.30 c #Conflicts: 482000 | #Constraints: 86006
1531.12/1535.30 c #Conflicts: 483000 | #Constraints: 87006
1531.12/1535.30 c #Conflicts: 484000 | #Constraints: 88006
1531.12/1535.30 c #Conflicts: 485000 | #Constraints: 89006
1531.12/1535.30 c #Conflicts: 486000 | #Constraints: 90006
1531.12/1535.30 c #Conflicts: 487000 | #Constraints: 91006
1531.12/1535.30 c #Conflicts: 488000 | #Constraints: 92006
1531.12/1535.30 c INPROCESSING
1531.12/1535.30 c GARBAGE COLLECT
1531.12/1535.30 c #Conflicts: 489000 | #Constraints: 79188
1531.12/1535.30 c #Conflicts: 490000 | #Constraints: 80188
1531.12/1535.30 c #Conflicts: 491000 | #Constraints: 81188
1531.12/1535.30 c #Conflicts: 492000 | #Constraints: 82188
1531.12/1535.30 c #Conflicts: 493000 | #Constraints: 83188
1531.12/1535.30 c #Conflicts: 494000 | #Constraints: 84188
1531.12/1535.30 c #Conflicts: 495000 | #Constraints: 85188
1531.12/1535.30 c #Conflicts: 496000 | #Constraints: 86188
1531.12/1535.30 c #Conflicts: 497000 | #Constraints: 87188
1531.12/1535.30 c #Conflicts: 498000 | #Constraints: 88188
1531.12/1535.30 c #Conflicts: 499000 | #Constraints: 89188
1531.12/1535.30 c #Conflicts: 500000 | #Constraints: 90188
1531.12/1535.30 c #Conflicts: 501000 | #Constraints: 91188
1531.12/1535.30 c #Conflicts: 502000 | #Constraints: 92188
1531.12/1535.30 c INPROCESSING
1531.12/1535.30 c GARBAGE COLLECT
1531.12/1535.30 c #Conflicts: 503000 | #Constraints: 79179
1531.12/1535.30 c #Conflicts: 504000 | #Constraints: 80179
1531.12/1535.30 c #Conflicts: 505000 | #Constraints: 81179
1531.12/1535.30 c #Conflicts: 506000 | #Constraints: 82179
1531.12/1535.30 c #Conflicts: 507000 | #Constraints: 83179
1531.12/1535.30 c #Conflicts: 508000 | #Constraints: 84179
1531.12/1535.30 c #Conflicts: 509000 | #Constraints: 85179
1531.12/1535.30 c #Conflicts: 510000 | #Constraints: 86179
1531.12/1535.30 c #Conflicts: 511000 | #Constraints: 87179
1531.12/1535.30 c #Conflicts: 512000 | #Constraints: 88179
1531.12/1535.30 c #Conflicts: 513000 | #Constraints: 89179
1531.12/1535.30 c #Conflicts: 514000 | #Constraints: 90179
1531.12/1535.30 c #Conflicts: 515000 | #Constraints: 91179
1531.12/1535.30 c #Conflicts: 516000 | #Constraints: 92179
1531.12/1535.30 c INPROCESSING
1531.12/1535.30 c GARBAGE COLLECT
1531.12/1535.30 c #Conflicts: 517000 | #Constraints: 78972
1531.12/1535.30 c #Conflicts: 518000 | #Constraints: 79972
1531.12/1535.30 c #Conflicts: 519000 | #Constraints: 80972
1531.12/1535.30 c #Conflicts: 520000 | #Constraints: 81972
1531.12/1535.30 c #Conflicts: 521000 | #Constraints: 82972
1531.12/1535.30 c #Conflicts: 522000 | #Constraints: 83972
1531.12/1535.30 c #Conflicts: 523000 | #Constraints: 84972
1531.12/1535.30 c #Conflicts: 524000 | #Constraints: 85972
1531.12/1535.30 c #Conflicts: 525000 | #Constraints: 86972
1531.12/1535.30 c #Conflicts: 526000 | #Constraints: 87972
1531.12/1535.30 c #Conflicts: 527000 | #Constraints: 88972
1531.12/1535.30 c #Conflicts: 528000 | #Constraints: 89972
1531.12/1535.30 c #Conflicts: 529000 | #Constraints: 90972
1531.12/1535.30 c #Conflicts: 530000 | #Constraints: 91972
1531.12/1535.30 c #Conflicts: 531000 | #Constraints: 92972
1531.12/1535.30 c INPROCESSING
1531.12/1535.30 c GARBAGE COLLECT
1531.12/1535.30 c rational objective 43
1604.40/1608.84 c #Conflicts: 532000 | #Constraints: 79575
1604.40/1608.84 c #Conflicts: 533000 | #Constraints: 80576
1604.40/1608.84 c #Conflicts: 534000 | #Constraints: 81576
1604.40/1608.84 c #Conflicts: 535000 | #Constraints: 82576
1604.40/1608.84 c #Conflicts: 536000 | #Constraints: 83576
1604.40/1608.84 c #Conflicts: 537000 | #Constraints: 84576
1604.40/1608.84 c #Conflicts: 538000 | #Constraints: 85576
1604.40/1608.84 c #Conflicts: 539000 | #Constraints: 86576
1604.40/1608.84 c #Conflicts: 540000 | #Constraints: 87576
1604.40/1608.84 c #Conflicts: 541000 | #Constraints: 88576
1604.40/1608.84 c #Conflicts: 542000 | #Constraints: 89576
1604.40/1608.84 c #Conflicts: 543000 | #Constraints: 90576
1604.40/1608.84 c #Conflicts: 544000 | #Constraints: 91576
1604.40/1608.84 c #Conflicts: 545000 | #Constraints: 92576
1604.40/1608.84 c #Conflicts: 546000 | #Constraints: 93576
1604.40/1608.84 c INPROCESSING
1604.40/1608.84 c GARBAGE COLLECT
1604.40/1608.84 WSVECS04 Frhs2[7836]: 6 -22.0001 0 shouldn't be
1604.40/1608.84 WSVECS04 Frhs2[7838]: 6 -22.0001 0 shouldn't be
1610.98/1615.41 c rational objective 43
1716.96/1721.77 c #Conflicts: 547000 | #Constraints: 79979
1716.96/1721.77 c #Conflicts: 548000 | #Constraints: 80979
1716.96/1721.77 c #Conflicts: 549000 | #Constraints: 81979
1716.96/1721.77 c #Conflicts: 550000 | #Constraints: 82979
1716.96/1721.77 c #Conflicts: 551000 | #Constraints: 83979
1716.96/1721.77 c #Conflicts: 552000 | #Constraints: 84979
1716.96/1721.77 c #Conflicts: 553000 | #Constraints: 85979
1716.96/1721.77 c #Conflicts: 554000 | #Constraints: 86979
1716.96/1721.77 c #Conflicts: 555000 | #Constraints: 87979
1716.96/1721.77 c #Conflicts: 556000 | #Constraints: 88979
1716.96/1721.77 c #Conflicts: 557000 | #Constraints: 89979
1716.96/1721.77 c #Conflicts: 558000 | #Constraints: 90979
1716.96/1721.77 c #Conflicts: 559000 | #Constraints: 91979
1716.96/1721.77 c #Conflicts: 560000 | #Constraints: 92979
1716.96/1721.77 c #Conflicts: 561000 | #Constraints: 93979
1716.96/1721.77 c INPROCESSING
1716.96/1721.77 c GARBAGE COLLECT
1716.96/1721.77 c rational objective 43
1832.72/1837.80 c #Conflicts: 562000 | #Constraints: 80224
1832.72/1837.80 c #Conflicts: 563000 | #Constraints: 81224
1832.72/1837.80 c #Conflicts: 564000 | #Constraints: 82224
1832.72/1837.80 c #Conflicts: 565000 | #Constraints: 83224
1832.72/1837.80 c #Conflicts: 566000 | #Constraints: 84224
1832.72/1837.80 c #Conflicts: 567000 | #Constraints: 85224
1832.72/1837.80 c #Conflicts: 568000 | #Constraints: 86224
1832.72/1837.80 c #Conflicts: 569000 | #Constraints: 87224
1832.72/1837.80 c #Conflicts: 570000 | #Constraints: 88224
1832.72/1837.80 c #Conflicts: 571000 | #Constraints: 89224
1832.72/1837.80 c #Conflicts: 572000 | #Constraints: 90224
1832.72/1837.80 c #Conflicts: 573000 | #Constraints: 91224
1832.72/1837.80 c #Conflicts: 574000 | #Constraints: 92224
1832.72/1837.80 c #Conflicts: 575000 | #Constraints: 93224
1832.72/1837.80 c #Conflicts: 576000 | #Constraints: 94224
1832.72/1837.80 c INPROCESSING
1832.72/1837.80 c GARBAGE COLLECT
1832.72/1837.80 c #Conflicts: 577000 | #Constraints: 80196
1832.72/1837.80 c #Conflicts: 578000 | #Constraints: 81196
1832.72/1837.80 c #Conflicts: 579000 | #Constraints: 82196
1832.72/1837.80 c #Conflicts: 580000 | #Constraints: 83196
1832.72/1837.80 c #Conflicts: 581000 | #Constraints: 84196
1832.72/1837.80 c #Conflicts: 582000 | #Constraints: 85196
1832.72/1837.80 c #Conflicts: 583000 | #Constraints: 86196
1832.72/1837.80 c #Conflicts: 584000 | #Constraints: 87196
1832.72/1837.80 c #Conflicts: 585000 | #Constraints: 88196
1832.72/1837.80 c #Conflicts: 586000 | #Constraints: 89196
1832.72/1837.80 c #Conflicts: 587000 | #Constraints: 90196
1832.72/1837.80 c #Conflicts: 588000 | #Constraints: 91196
1832.72/1837.80 c #Conflicts: 589000 | #Constraints: 92196
1832.72/1837.80 c #Conflicts: 590000 | #Constraints: 93196
1832.72/1837.80 c #Conflicts: 591000 | #Constraints: 94196
1832.72/1837.80 c INPROCESSING
1832.72/1837.80 c GARBAGE COLLECT
1832.72/1837.80 c #Conflicts: 592000 | #Constraints: 79988
1832.72/1837.80 c #Conflicts: 593000 | #Constraints: 80988
1832.72/1837.80 c #Conflicts: 594000 | #Constraints: 81988
1832.72/1837.80 c #Conflicts: 595000 | #Constraints: 82988
1832.72/1837.80 c #Conflicts: 596000 | #Constraints: 83988
1832.72/1837.80 c #Conflicts: 597000 | #Constraints: 84988
1832.72/1837.80 c #Conflicts: 598000 | #Constraints: 85988
1832.72/1837.80 c #Conflicts: 599000 | #Constraints: 86988
1832.72/1837.80 c #Conflicts: 600000 | #Constraints: 87988
1832.72/1837.80 c #Conflicts: 601000 | #Constraints: 88988
1832.72/1837.80 c #Conflicts: 602000 | #Constraints: 89988
1832.72/1837.80 c #Conflicts: 603000 | #Constraints: 90988
1832.72/1837.80 c #Conflicts: 604000 | #Constraints: 91988
1832.72/1837.80 c #Conflicts: 605000 | #Constraints: 92988
1832.72/1837.80 c #Conflicts: 606000 | #Constraints: 93988
1832.72/1837.80 c #Conflicts: 607000 | #Constraints: 94988
1832.72/1837.80 c INPROCESSING
1832.72/1837.80 c GARBAGE COLLECT
1832.72/1837.80 c rational objective 43
1940.60/1946.06 c #Conflicts: 608000 | #Constraints: 80621
1940.60/1946.06 c #Conflicts: 609000 | #Constraints: 81621
1940.60/1946.06 c #Conflicts: 610000 | #Constraints: 82621
1940.60/1946.06 c #Conflicts: 611000 | #Constraints: 83621
1940.60/1946.06 c #Conflicts: 612000 | #Constraints: 84621
1940.60/1946.06 c #Conflicts: 613000 | #Constraints: 85621
1940.60/1946.06 c #Conflicts: 614000 | #Constraints: 86621
1940.60/1946.06 c #Conflicts: 615000 | #Constraints: 87621
1940.60/1946.06 c #Conflicts: 616000 | #Constraints: 88621
1940.60/1946.06 c #Conflicts: 617000 | #Constraints: 89621
1940.60/1946.06 c #Conflicts: 618000 | #Constraints: 90621
1940.60/1946.06 c #Conflicts: 619000 | #Constraints: 91621
1940.60/1946.06 c #Conflicts: 620000 | #Constraints: 92621
1940.60/1946.06 c #Conflicts: 621000 | #Constraints: 93621
1940.60/1946.06 c #Conflicts: 622000 | #Constraints: 94621
1940.60/1946.06 c #Conflicts: 623000 | #Constraints: 95621
1940.60/1946.06 c INPROCESSING
1940.60/1946.06 c GARBAGE COLLECT
1940.60/1946.06 c rational objective 43
2049.17/2054.99 c #Conflicts: 624000 | #Constraints: 81030
2049.17/2054.99 c #Conflicts: 625000 | #Constraints: 82030
2049.17/2054.99 c #Conflicts: 626000 | #Constraints: 83030
2049.17/2054.99 c #Conflicts: 627000 | #Constraints: 84030
2049.17/2054.99 c #Conflicts: 628000 | #Constraints: 85030
2049.17/2054.99 c #Conflicts: 629000 | #Constraints: 86030
2049.17/2054.99 c #Conflicts: 630000 | #Constraints: 87030
2049.17/2054.99 c #Conflicts: 631000 | #Constraints: 88030
2049.17/2054.99 c #Conflicts: 632000 | #Constraints: 89030
2049.17/2054.99 c #Conflicts: 633000 | #Constraints: 90030
2049.17/2054.99 c #Conflicts: 634000 | #Constraints: 91030
2049.17/2054.99 c #Conflicts: 635000 | #Constraints: 92030
2049.17/2054.99 c #Conflicts: 636000 | #Constraints: 93030
2049.17/2054.99 c #Conflicts: 637000 | #Constraints: 94030
2049.17/2054.99 c #Conflicts: 638000 | #Constraints: 95030
2049.17/2054.99 c #Conflicts: 639000 | #Constraints: 96030
2049.17/2054.99 c INPROCESSING
2049.17/2054.99 c GARBAGE COLLECT
2049.17/2054.99 c #Conflicts: 640000 | #Constraints: 81200
2049.17/2054.99 c #Conflicts: 641000 | #Constraints: 82200
2049.17/2054.99 c #Conflicts: 642000 | #Constraints: 83200
2049.17/2054.99 c #Conflicts: 643000 | #Constraints: 84200
2049.17/2054.99 c #Conflicts: 644000 | #Constraints: 85200
2049.17/2054.99 c #Conflicts: 645000 | #Constraints: 86200
2049.17/2054.99 c #Conflicts: 646000 | #Constraints: 87200
2049.17/2054.99 c #Conflicts: 647000 | #Constraints: 88200
2049.17/2054.99 c #Conflicts: 648000 | #Constraints: 89200
2049.17/2054.99 c #Conflicts: 649000 | #Constraints: 90200
2049.17/2054.99 c #Conflicts: 650000 | #Constraints: 91200
2049.17/2054.99 c #Conflicts: 651000 | #Constraints: 92200
2049.17/2054.99 c #Conflicts: 652000 | #Constraints: 93200
2049.17/2054.99 c #Conflicts: 653000 | #Constraints: 94200
2049.17/2054.99 c #Conflicts: 654000 | #Constraints: 95200
2049.17/2054.99 c #Conflicts: 655000 | #Constraints: 96200
2049.17/2054.99 c INPROCESSING
2049.17/2054.99 c GARBAGE COLLECT
2049.17/2054.99 c #Conflicts: 656000 | #Constraints: 81184
2049.17/2054.99 c #Conflicts: 657000 | #Constraints: 82184
2049.17/2054.99 c #Conflicts: 658000 | #Constraints: 83184
2049.17/2054.99 c #Conflicts: 659000 | #Constraints: 84184
2049.17/2054.99 c #Conflicts: 660000 | #Constraints: 85184
2049.17/2054.99 c #Conflicts: 661000 | #Constraints: 86184
2049.17/2054.99 c #Conflicts: 662000 | #Constraints: 87184
2049.17/2054.99 c #Conflicts: 663000 | #Constraints: 88184
2049.17/2054.99 c #Conflicts: 664000 | #Constraints: 89184
2049.17/2054.99 c #Conflicts: 665000 | #Constraints: 90184
2049.17/2054.99 c #Conflicts: 666000 | #Constraints: 91184
2049.17/2054.99 c #Conflicts: 667000 | #Constraints: 92184
2049.17/2054.99 c #Conflicts: 668000 | #Constraints: 93184
2049.17/2054.99 c #Conflicts: 669000 | #Constraints: 94184
2049.17/2054.99 c #Conflicts: 670000 | #Constraints: 95184
2049.17/2054.99 c #Conflicts: 671000 | #Constraints: 96184
2049.17/2054.99 c INPROCESSING
2049.17/2054.99 c GARBAGE COLLECT
2049.17/2054.99 c rational objective 43
2337.00/2343.59 c #Conflicts: 672000 | #Constraints: 81027
2337.00/2343.59 c #Conflicts: 673000 | #Constraints: 82027
2337.00/2343.59 c #Conflicts: 674000 | #Constraints: 83027
2337.00/2343.59 c #Conflicts: 675000 | #Constraints: 84027
2337.00/2343.59 c #Conflicts: 676000 | #Constraints: 85027
2337.00/2343.59 c #Conflicts: 677000 | #Constraints: 86027
2337.00/2343.59 c #Conflicts: 678000 | #Constraints: 87027
2337.00/2343.59 c #Conflicts: 679000 | #Constraints: 88027
2337.00/2343.59 c #Conflicts: 680000 | #Constraints: 89027
2337.00/2343.59 c #Conflicts: 681000 | #Constraints: 90027
2337.00/2343.59 c #Conflicts: 682000 | #Constraints: 91027
2337.00/2343.59 c #Conflicts: 683000 | #Constraints: 92027
2337.00/2343.59 c #Conflicts: 684000 | #Constraints: 93027
2337.00/2343.59 c #Conflicts: 685000 | #Constraints: 94027
2337.00/2343.59 c #Conflicts: 686000 | #Constraints: 95027
2337.00/2343.59 c #Conflicts: 687000 | #Constraints: 96027
2337.00/2343.59 c #Conflicts: 688000 | #Constraints: 97027
2337.00/2343.59 c INPROCESSING
2337.00/2343.59 c GARBAGE COLLECT
2337.00/2343.59 c #Conflicts: 689000 | #Constraints: 81602
2337.00/2343.59 c #Conflicts: 690000 | #Constraints: 82602
2337.00/2343.59 c #Conflicts: 691000 | #Constraints: 83602
2337.00/2343.59 c #Conflicts: 692000 | #Constraints: 84602
2337.00/2343.59 c #Conflicts: 693000 | #Constraints: 85602
2337.00/2343.59 c #Conflicts: 694000 | #Constraints: 86602
2337.00/2343.59 c #Conflicts: 695000 | #Constraints: 87602
2337.00/2343.59 c #Conflicts: 696000 | #Constraints: 88602
2337.00/2343.59 c #Conflicts: 697000 | #Constraints: 89602
2337.00/2343.59 c #Conflicts: 698000 | #Constraints: 90602
2337.00/2343.59 c #Conflicts: 699000 | #Constraints: 91602
2337.00/2343.59 c #Conflicts: 700000 | #Constraints: 92602
2337.00/2343.59 c #Conflicts: 701000 | #Constraints: 93602
2337.00/2343.59 c #Conflicts: 702000 | #Constraints: 94602
2337.00/2343.59 c #Conflicts: 703000 | #Constraints: 95602
2337.00/2343.59 c #Conflicts: 704000 | #Constraints: 96602
2337.00/2343.59 c #Conflicts: 705000 | #Constraints: 97602
2337.00/2343.59 c INPROCESSING
2337.00/2343.59 c GARBAGE COLLECT
2337.00/2343.59 c #Conflicts: 706000 | #Constraints: 81993
2337.00/2343.59 c #Conflicts: 707000 | #Constraints: 82993
2337.00/2343.59 c #Conflicts: 708000 | #Constraints: 83993
2337.00/2343.59 c #Conflicts: 709000 | #Constraints: 84993
2337.00/2343.59 c #Conflicts: 710000 | #Constraints: 85993
2337.00/2343.59 c #Conflicts: 711000 | #Constraints: 86993
2337.00/2343.59 c #Conflicts: 712000 | #Constraints: 87993
2337.00/2343.59 c #Conflicts: 713000 | #Constraints: 88993
2337.00/2343.59 c #Conflicts: 714000 | #Constraints: 89993
2337.00/2343.59 c #Conflicts: 715000 | #Constraints: 90993
2337.00/2343.59 c #Conflicts: 716000 | #Constraints: 91993
2337.00/2343.59 c #Conflicts: 717000 | #Constraints: 92993
2337.00/2343.59 c #Conflicts: 718000 | #Constraints: 93993
2337.00/2343.59 c #Conflicts: 719000 | #Constraints: 94993
2337.00/2343.59 c #Conflicts: 720000 | #Constraints: 95993
2337.00/2343.59 c #Conflicts: 721000 | #Constraints: 96993
2337.00/2343.59 c #Conflicts: 722000 | #Constraints: 97993
2337.00/2343.59 c INPROCESSING
2337.00/2343.59 c GARBAGE COLLECT
2337.00/2343.59 c #Conflicts: 723000 | #Constraints: 82180
2337.00/2343.59 c #Conflicts: 724000 | #Constraints: 83180
2337.00/2343.59 c #Conflicts: 725000 | #Constraints: 84180
2337.00/2343.59 c #Conflicts: 726000 | #Constraints: 85180
2337.00/2343.59 c #Conflicts: 727000 | #Constraints: 86180
2337.00/2343.59 c #Conflicts: 728000 | #Constraints: 87180
2337.00/2343.59 c #Conflicts: 729000 | #Constraints: 88180
2337.00/2343.59 c #Conflicts: 730000 | #Constraints: 89180
2337.00/2343.59 c #Conflicts: 731000 | #Constraints: 90180
2337.00/2343.59 c #Conflicts: 732000 | #Constraints: 91180
2337.00/2343.59 c #Conflicts: 733000 | #Constraints: 92180
2337.00/2343.59 c #Conflicts: 734000 | #Constraints: 93180
2337.00/2343.59 c #Conflicts: 735000 | #Constraints: 94180
2337.00/2343.59 c #Conflicts: 736000 | #Constraints: 95180
2337.00/2343.59 c #Conflicts: 737000 | #Constraints: 96180
2337.00/2343.59 c #Conflicts: 738000 | #Constraints: 97180
2337.00/2343.59 c #Conflicts: 739000 | #Constraints: 98180
2337.00/2343.59 c INPROCESSING
2337.00/2343.59 c GARBAGE COLLECT
2337.00/2343.59 c #Conflicts: 740000 | #Constraints: 82177
2337.00/2343.59 c #Conflicts: 741000 | #Constraints: 83177
2337.00/2343.59 c #Conflicts: 742000 | #Constraints: 84177
2337.00/2343.59 c #Conflicts: 743000 | #Constraints: 85177
2337.00/2343.59 c #Conflicts: 744000 | #Constraints: 86177
2337.00/2343.59 c #Conflicts: 745000 | #Constraints: 87177
2337.00/2343.59 c #Conflicts: 746000 | #Constraints: 88177
2337.00/2343.59 c #Conflicts: 747000 | #Constraints: 89177
2337.00/2343.59 c #Conflicts: 748000 | #Constraints: 90177
2481.43/2488.30 c #Conflicts: 749000 | #Constraints: 91177
2481.43/2488.30 c #Conflicts: 750000 | #Constraints: 92177
2481.43/2488.30 c #Conflicts: 751000 | #Constraints: 93177
2481.43/2488.30 c #Conflicts: 752000 | #Constraints: 94177
2481.43/2488.30 c #Conflicts: 753000 | #Constraints: 95177
2481.43/2488.30 c #Conflicts: 754000 | #Constraints: 96177
2481.43/2488.30 c #Conflicts: 755000 | #Constraints: 97177
2481.43/2488.30 c #Conflicts: 756000 | #Constraints: 98177
2481.43/2488.30 c INPROCESSING
2481.43/2488.30 c GARBAGE COLLECT
2481.43/2488.30 c rational objective 43
2647.91/2655.28 c #Conflicts: 757000 | #Constraints: 81981
2647.91/2655.28 c #Conflicts: 758000 | #Constraints: 82981
2647.91/2655.28 c #Conflicts: 759000 | #Constraints: 83981
2647.91/2655.28 c #Conflicts: 760000 | #Constraints: 84981
2647.91/2655.28 c #Conflicts: 761000 | #Constraints: 85981
2647.91/2655.28 c #Conflicts: 762000 | #Constraints: 86981
2647.91/2655.28 c #Conflicts: 763000 | #Constraints: 87981
2647.91/2655.28 c #Conflicts: 764000 | #Constraints: 88981
2647.91/2655.28 c #Conflicts: 765000 | #Constraints: 89981
2647.91/2655.28 c #Conflicts: 766000 | #Constraints: 90981
2647.91/2655.28 c #Conflicts: 767000 | #Constraints: 91981
2647.91/2655.28 c #Conflicts: 768000 | #Constraints: 92981
2647.91/2655.28 c #Conflicts: 769000 | #Constraints: 93981
2647.91/2655.28 c #Conflicts: 770000 | #Constraints: 94981
2647.91/2655.28 c #Conflicts: 771000 | #Constraints: 95981
2647.91/2655.28 c #Conflicts: 772000 | #Constraints: 96981
2647.91/2655.28 c #Conflicts: 773000 | #Constraints: 97981
2647.91/2655.28 c #Conflicts: 774000 | #Constraints: 98981
2647.91/2655.28 c INPROCESSING
2647.91/2655.28 c GARBAGE COLLECT
2647.91/2655.28 c #Conflicts: 775000 | #Constraints: 82581
2647.91/2655.28 c #Conflicts: 776000 | #Constraints: 83581
2647.91/2655.28 c #Conflicts: 777000 | #Constraints: 84581
2647.91/2655.28 c #Conflicts: 778000 | #Constraints: 85581
2647.91/2655.28 c #Conflicts: 779000 | #Constraints: 86581
2647.91/2655.28 c #Conflicts: 780000 | #Constraints: 87581
2647.91/2655.28 c #Conflicts: 781000 | #Constraints: 88581
2647.91/2655.28 c #Conflicts: 782000 | #Constraints: 89581
2647.91/2655.28 c #Conflicts: 783000 | #Constraints: 90581
2647.91/2655.28 c #Conflicts: 784000 | #Constraints: 91581
2647.91/2655.28 c #Conflicts: 785000 | #Constraints: 92581
2647.91/2655.28 c #Conflicts: 786000 | #Constraints: 93581
2647.91/2655.28 c #Conflicts: 787000 | #Constraints: 94581
2647.91/2655.28 c #Conflicts: 788000 | #Constraints: 95581
2647.91/2655.28 c #Conflicts: 789000 | #Constraints: 96581
2647.91/2655.28 c #Conflicts: 790000 | #Constraints: 97581
2647.91/2655.28 c #Conflicts: 791000 | #Constraints: 98581
2647.91/2655.28 c #Conflicts: 792000 | #Constraints: 99581
2647.91/2655.28 c INPROCESSING
2647.91/2655.28 c GARBAGE COLLECT
2647.91/2655.28 c #Conflicts: 793000 | #Constraints: 82976
2647.91/2655.28 c #Conflicts: 794000 | #Constraints: 83976
2647.91/2655.28 c #Conflicts: 795000 | #Constraints: 84976
2647.91/2655.28 c #Conflicts: 796000 | #Constraints: 85976
2647.91/2655.28 c #Conflicts: 797000 | #Constraints: 86976
2647.91/2655.28 c #Conflicts: 798000 | #Constraints: 87976
2647.91/2655.28 c #Conflicts: 799000 | #Constraints: 88976
2647.91/2655.28 c #Conflicts: 800000 | #Constraints: 89976
2647.91/2655.28 c #Conflicts: 801000 | #Constraints: 90976
2647.91/2655.28 c #Conflicts: 802000 | #Constraints: 91976
2647.91/2655.28 c #Conflicts: 803000 | #Constraints: 92976
2647.91/2655.28 c #Conflicts: 804000 | #Constraints: 93976
2647.91/2655.28 c #Conflicts: 805000 | #Constraints: 94976
2647.91/2655.28 c #Conflicts: 806000 | #Constraints: 95976
2647.91/2655.28 c #Conflicts: 807000 | #Constraints: 96976
2647.91/2655.28 c #Conflicts: 808000 | #Constraints: 97976
2647.91/2655.28 c #Conflicts: 809000 | #Constraints: 98976
2647.91/2655.28 c #Conflicts: 810000 | #Constraints: 99976
2647.91/2655.28 c INPROCESSING
2647.91/2655.28 c GARBAGE COLLECT
2647.91/2655.28 c #Conflicts: 811000 | #Constraints: 83172
2647.91/2655.28 c #Conflicts: 812000 | #Constraints: 84172
2647.91/2655.28 c #Conflicts: 813000 | #Constraints: 85172
2647.91/2655.28 c #Conflicts: 814000 | #Constraints: 86172
2647.91/2655.28 c #Conflicts: 815000 | #Constraints: 87172
2647.91/2655.28 c #Conflicts: 816000 | #Constraints: 88172
2647.91/2655.28 c #Conflicts: 817000 | #Constraints: 89172
2647.91/2655.28 c #Conflicts: 818000 | #Constraints: 90172
2647.91/2655.28 c #Conflicts: 819000 | #Constraints: 91172
2647.91/2655.28 c #Conflicts: 820000 | #Constraints: 92172
2647.91/2655.28 c #Conflicts: 821000 | #Constraints: 93172
2647.91/2655.28 c #Conflicts: 822000 | #Constraints: 94172
2647.91/2655.28 c #Conflicts: 823000 | #Constraints: 95172
2647.91/2655.28 c #Conflicts: 824000 | #Constraints: 96172
2647.91/2655.28 c #Conflicts: 825000 | #Constraints: 97172
2647.91/2655.28 c #Conflicts: 826000 | #Constraints: 98172
2647.91/2655.28 c #Conflicts: 827000 | #Constraints: 99172
2647.91/2655.28 c #Conflicts: 828000 | #Constraints: 100172
2647.91/2655.28 c INPROCESSING
2647.91/2655.28 c GARBAGE COLLECT
2647.91/2655.28 c rational objective 43
2757.92/2765.58 c #Conflicts: 829000 | #Constraints: 83197
2757.92/2765.58 c #Conflicts: 830000 | #Constraints: 84197
2757.92/2765.58 c #Conflicts: 831000 | #Constraints: 85197
2757.92/2765.58 c #Conflicts: 832000 | #Constraints: 86197
2757.92/2765.58 c #Conflicts: 833000 | #Constraints: 87197
2757.92/2765.58 c #Conflicts: 834000 | #Constraints: 88197
2757.92/2765.58 c #Conflicts: 835000 | #Constraints: 89197
2757.92/2765.58 c #Conflicts: 836000 | #Constraints: 90197
2757.92/2765.58 c #Conflicts: 837000 | #Constraints: 91197
2757.92/2765.58 c #Conflicts: 838000 | #Constraints: 92197
2757.92/2765.58 c #Conflicts: 839000 | #Constraints: 93197
2757.92/2765.58 c #Conflicts: 840000 | #Constraints: 94197
2757.92/2765.58 c #Conflicts: 841000 | #Constraints: 95197
2757.92/2765.58 c #Conflicts: 842000 | #Constraints: 96197
2757.92/2765.58 c #Conflicts: 843000 | #Constraints: 97197
2757.92/2765.58 c #Conflicts: 844000 | #Constraints: 98197
2757.92/2765.58 c #Conflicts: 845000 | #Constraints: 99197
2757.92/2765.58 c #Conflicts: 846000 | #Constraints: 100197
2757.92/2765.58 c INPROCESSING
2757.92/2765.58 c GARBAGE COLLECT
2757.92/2765.58 c rational objective 43
2800.12/2807.80 c #Conflicts: 847000 | #Constraints: 83015
2800.12/2807.80 c #Conflicts: 848000 | #Constraints: 84015
2800.12/2807.80 c #Conflicts: 849000 | #Constraints: 85015
2800.12/2807.80 c #Conflicts: 850000 | #Constraints: 86015
2800.12/2807.80 c #Conflicts: 851000 | #Constraints: 87015
2800.12/2807.80 c #Conflicts: 852000 | #Constraints: 88015
2800.12/2807.80 c #Conflicts: 853000 | #Constraints: 89015
2800.12/2807.80 c #Conflicts: 854000 | #Constraints: 90015
2800.12/2807.80 c #Conflicts: 855000 | #Constraints: 91015
2800.12/2807.80 c #Conflicts: 856000 | #Constraints: 92015
2800.12/2807.80 c #Conflicts: 857000 | #Constraints: 93015
2800.12/2807.80 c #Conflicts: 858000 | #Constraints: 94015
2800.12/2807.80 c #Conflicts: 859000 | #Constraints: 95015
2800.12/2807.80 c #Conflicts: 860000 | #Constraints: 96015
2800.12/2807.80 c #Conflicts: 861000 | #Constraints: 97015
2800.12/2807.80 c #Conflicts: 862000 | #Constraints: 98015
2800.12/2807.80 c #Conflicts: 863000 | #Constraints: 99015
2800.12/2807.80 c #Conflicts: 864000 | #Constraints: 100015
2800.12/2807.80 c #Conflicts: 865000 | #Constraints: 101015
2800.12/2807.80 c INPROCESSING
2800.12/2807.80 c GARBAGE COLLECT
2800.12/2807.80 c #Conflicts: 866000 | #Constraints: 83598
2800.12/2807.80 c #Conflicts: 867000 | #Constraints: 84598
2800.12/2807.80 c #Conflicts: 868000 | #Constraints: 85598
2800.12/2807.80 c #Conflicts: 869000 | #Constraints: 86598
2800.12/2807.80 c #Conflicts: 870000 | #Constraints: 87598
2800.12/2807.80 c #Conflicts: 871000 | #Constraints: 88598
2800.12/2807.80 c #Conflicts: 872000 | #Constraints: 89598
2800.12/2807.80 c #Conflicts: 873000 | #Constraints: 90598
2800.12/2807.80 c #Conflicts: 874000 | #Constraints: 91598
2800.12/2807.80 c #Conflicts: 875000 | #Constraints: 92598
2800.12/2807.80 c #Conflicts: 876000 | #Constraints: 93598
2800.12/2807.80 c #Conflicts: 877000 | #Constraints: 94598
2800.12/2807.80 c #Conflicts: 878000 | #Constraints: 95598
2800.12/2807.80 c #Conflicts: 879000 | #Constraints: 96598
2800.12/2807.80 c #Conflicts: 880000 | #Constraints: 97598
2800.12/2807.80 c #Conflicts: 881000 | #Constraints: 98598
2800.12/2807.80 c #Conflicts: 882000 | #Constraints: 99598
2800.12/2807.80 c #Conflicts: 883000 | #Constraints: 100598
2800.12/2807.80 c #Conflicts: 884000 | #Constraints: 101598
2800.12/2807.80 c INPROCESSING
2800.12/2807.80 c GARBAGE COLLECT
2800.12/2807.80 c rational objective 43
2835.93/2843.71 c #Conflicts: 885000 | #Constraints: 83998
2835.93/2843.71 c #Conflicts: 886000 | #Constraints: 84998
2835.93/2843.71 c #Conflicts: 887000 | #Constraints: 85998
2835.93/2843.71 c #Conflicts: 888000 | #Constraints: 86998
2835.93/2843.71 c #Conflicts: 889000 | #Constraints: 87998
2835.93/2843.71 c #Conflicts: 890000 | #Constraints: 88998
2835.93/2843.71 c #Conflicts: 891000 | #Constraints: 89998
2835.93/2843.71 c #Conflicts: 892000 | #Constraints: 90998
2835.93/2843.71 c #Conflicts: 893000 | #Constraints: 91998
2835.93/2843.71 c #Conflicts: 894000 | #Constraints: 92998
2835.93/2843.71 c #Conflicts: 895000 | #Constraints: 93998
2835.93/2843.71 c #Conflicts: 896000 | #Constraints: 94998
2835.93/2843.71 c #Conflicts: 897000 | #Constraints: 95998
2835.93/2843.71 c #Conflicts: 898000 | #Constraints: 96998
2835.93/2843.71 c #Conflicts: 899000 | #Constraints: 97998
2835.93/2843.71 c #Conflicts: 900000 | #Constraints: 98998
2835.93/2843.71 c #Conflicts: 901000 | #Constraints: 99998
2835.93/2843.71 c #Conflicts: 902000 | #Constraints: 100998
2835.93/2843.71 c #Conflicts: 903000 | #Constraints: 101998
2835.93/2843.71 c INPROCESSING
2835.93/2843.71 c GARBAGE COLLECT
2835.93/2843.71 c rational objective 43
2976.47/2984.65 c #Conflicts: 904000 | #Constraints: 84235
2976.47/2984.65 c #Conflicts: 905000 | #Constraints: 85235
2976.47/2984.65 c #Conflicts: 906000 | #Constraints: 86235
2976.47/2984.65 c #Conflicts: 907000 | #Constraints: 87235
2976.47/2984.65 c #Conflicts: 908000 | #Constraints: 88235
2976.47/2984.65 c #Conflicts: 909000 | #Constraints: 89235
2976.47/2984.65 c #Conflicts: 910000 | #Constraints: 90235
2976.47/2984.65 c #Conflicts: 911000 | #Constraints: 91235
2976.47/2984.65 c #Conflicts: 912000 | #Constraints: 92235
2976.47/2984.65 c #Conflicts: 913000 | #Constraints: 93235
2976.47/2984.65 c #Conflicts: 914000 | #Constraints: 94235
2976.47/2984.65 c #Conflicts: 915000 | #Constraints: 95235
2976.47/2984.65 c #Conflicts: 916000 | #Constraints: 96235
2976.47/2984.65 c #Conflicts: 917000 | #Constraints: 97235
2976.47/2984.65 c #Conflicts: 918000 | #Constraints: 98235
2976.47/2984.65 c #Conflicts: 919000 | #Constraints: 99235
2976.47/2984.65 c #Conflicts: 920000 | #Constraints: 100235
2976.47/2984.65 c #Conflicts: 921000 | #Constraints: 101235
2976.47/2984.65 c #Conflicts: 922000 | #Constraints: 102235
2976.47/2984.65 c INPROCESSING
2976.47/2984.65 c GARBAGE COLLECT
2976.47/2984.65 c rational objective 43
3098.37/3106.88 c #Conflicts: 923000 | #Constraints: 84210
3098.37/3106.88 c #Conflicts: 924000 | #Constraints: 85210
3098.37/3106.88 c #Conflicts: 925000 | #Constraints: 86210
3098.37/3106.88 c #Conflicts: 926000 | #Constraints: 87210
3098.37/3106.88 c #Conflicts: 927000 | #Constraints: 88210
3098.37/3106.88 c #Conflicts: 928000 | #Constraints: 89210
3098.37/3106.88 c #Conflicts: 929000 | #Constraints: 90210
3098.37/3106.88 c #Conflicts: 930000 | #Constraints: 91210
3098.37/3106.88 c #Conflicts: 931000 | #Constraints: 92210
3098.37/3106.88 c #Conflicts: 932000 | #Constraints: 93210
3098.37/3106.88 c #Conflicts: 933000 | #Constraints: 94210
3098.37/3106.88 c #Conflicts: 934000 | #Constraints: 95210
3098.37/3106.88 c #Conflicts: 935000 | #Constraints: 96210
3098.37/3106.88 c #Conflicts: 936000 | #Constraints: 97210
3098.37/3106.88 c #Conflicts: 937000 | #Constraints: 98210
3098.37/3106.88 c #Conflicts: 938000 | #Constraints: 99210
3098.37/3106.88 c #Conflicts: 939000 | #Constraints: 100210
3098.37/3106.88 c #Conflicts: 940000 | #Constraints: 101210
3098.37/3106.88 c #Conflicts: 941000 | #Constraints: 102210
3098.37/3106.88 c INPROCESSING
3098.37/3106.88 c GARBAGE COLLECT
3098.37/3106.88 c rational objective 43
3246.39/3255.23 c #Conflicts: 942000 | #Constraints: 84039
3246.39/3255.23 c #Conflicts: 943000 | #Constraints: 85039
3246.39/3255.23 c #Conflicts: 944000 | #Constraints: 86039
3246.39/3255.23 c #Conflicts: 945000 | #Constraints: 87039
3246.39/3255.23 c #Conflicts: 946000 | #Constraints: 88039
3246.39/3255.23 c #Conflicts: 947000 | #Constraints: 89039
3246.39/3255.23 c #Conflicts: 948000 | #Constraints: 90039
3246.39/3255.23 c #Conflicts: 949000 | #Constraints: 91039
3246.39/3255.23 c #Conflicts: 950000 | #Constraints: 92039
3246.39/3255.23 c #Conflicts: 951000 | #Constraints: 93039
3246.39/3255.23 c #Conflicts: 952000 | #Constraints: 94039
3246.39/3255.23 c #Conflicts: 953000 | #Constraints: 95039
3246.39/3255.23 c #Conflicts: 954000 | #Constraints: 96039
3246.39/3255.23 c #Conflicts: 955000 | #Constraints: 97039
3246.39/3255.23 c #Conflicts: 956000 | #Constraints: 98039
3246.39/3255.23 c #Conflicts: 957000 | #Constraints: 99039
3246.39/3255.23 c #Conflicts: 958000 | #Constraints: 100039
3246.39/3255.23 c #Conflicts: 959000 | #Constraints: 101039
3246.39/3255.23 c #Conflicts: 960000 | #Constraints: 102039
3246.39/3255.23 c #Conflicts: 961000 | #Constraints: 103039
3246.39/3255.23 c INPROCESSING
3246.39/3255.23 c GARBAGE COLLECT
3246.39/3255.23 c #Conflicts: 962000 | #Constraints: 84606
3246.39/3255.23 c #Conflicts: 963000 | #Constraints: 85606
3246.39/3255.23 c #Conflicts: 964000 | #Constraints: 86606
3246.39/3255.23 c #Conflicts: 965000 | #Constraints: 87606
3246.39/3255.23 c #Conflicts: 966000 | #Constraints: 88606
3246.39/3255.23 c #Conflicts: 967000 | #Constraints: 89606
3246.39/3255.23 c #Conflicts: 968000 | #Constraints: 90606
3246.39/3255.23 c #Conflicts: 969000 | #Constraints: 91606
3246.39/3255.23 c #Conflicts: 970000 | #Constraints: 92606
3246.39/3255.23 c #Conflicts: 971000 | #Constraints: 93606
3246.39/3255.23 c #Conflicts: 972000 | #Constraints: 94606
3246.39/3255.23 c #Conflicts: 973000 | #Constraints: 95606
3246.39/3255.23 c #Conflicts: 974000 | #Constraints: 96606
3246.39/3255.23 c #Conflicts: 975000 | #Constraints: 97606
3246.39/3255.23 c #Conflicts: 976000 | #Constraints: 98606
3246.39/3255.23 c #Conflicts: 977000 | #Constraints: 99606
3246.39/3255.23 c #Conflicts: 978000 | #Constraints: 100606
3246.39/3255.23 c #Conflicts: 979000 | #Constraints: 101606
3246.39/3255.23 c #Conflicts: 980000 | #Constraints: 102606
3246.39/3255.23 c #Conflicts: 981000 | #Constraints: 103606
3246.39/3255.23 c INPROCESSING
3246.39/3255.23 c GARBAGE COLLECT
3246.39/3255.23 c #Conflicts: 982000 | #Constraints: 84999
3246.39/3255.23 c #Conflicts: 983000 | #Constraints: 85999
3246.39/3255.23 c #Conflicts: 984000 | #Constraints: 86999
3246.39/3255.23 c #Conflicts: 985000 | #Constraints: 87999
3246.39/3255.23 c #Conflicts: 986000 | #Constraints: 88999
3246.39/3255.23 c #Conflicts: 987000 | #Constraints: 89999
3246.39/3255.23 c #Conflicts: 988000 | #Constraints: 90999
3246.39/3255.23 c #Conflicts: 989000 | #Constraints: 91999
3246.39/3255.23 c #Conflicts: 990000 | #Constraints: 92999
3246.39/3255.23 c #Conflicts: 991000 | #Constraints: 93999
3246.39/3255.23 c #Conflicts: 992000 | #Constraints: 94999
3246.39/3255.23 c #Conflicts: 993000 | #Constraints: 95999
3246.39/3255.23 c #Conflicts: 994000 | #Constraints: 96999
3246.39/3255.23 c #Conflicts: 995000 | #Constraints: 97999
3246.39/3255.23 c #Conflicts: 996000 | #Constraints: 98999
3246.39/3255.23 c #Conflicts: 997000 | #Constraints: 99999
3246.39/3255.23 c #Conflicts: 998000 | #Constraints: 100999
3246.39/3255.23 c #Conflicts: 999000 | #Constraints: 101999
3246.39/3255.23 c #Conflicts: 1000000 | #Constraints: 102999
3246.39/3255.23 c #Conflicts: 1001000 | #Constraints: 103999
3246.39/3255.23 c INPROCESSING
3246.39/3255.23 c GARBAGE COLLECT
3246.39/3255.23 c #Conflicts: 1002000 | #Constraints: 85190
3246.39/3255.23 c #Conflicts: 1003000 | #Constraints: 86190
3246.39/3255.23 c #Conflicts: 1004000 | #Constraints: 87190
3246.39/3255.23 c #Conflicts: 1005000 | #Constraints: 88190
3246.39/3255.23 c #Conflicts: 1006000 | #Constraints: 89190
3246.39/3255.23 c #Conflicts: 1007000 | #Constraints: 90190
3246.39/3255.23 c #Conflicts: 1008000 | #Constraints: 91190
3246.39/3255.23 c #Conflicts: 1009000 | #Constraints: 92190
3246.39/3255.23 c #Conflicts: 1010000 | #Constraints: 93190
3246.39/3255.23 c #Conflicts: 1011000 | #Constraints: 94190
3246.39/3255.23 c #Conflicts: 1012000 | #Constraints: 95190
3246.39/3255.23 c #Conflicts: 1013000 | #Constraints: 96190
3246.39/3255.23 c #Conflicts: 1014000 | #Constraints: 97190
3246.39/3255.23 c #Conflicts: 1015000 | #Constraints: 98190
3246.39/3255.23 c #Conflicts: 1016000 | #Constraints: 99190
3246.39/3255.23 c #Conflicts: 1017000 | #Constraints: 100190
3246.39/3255.23 c #Conflicts: 1018000 | #Constraints: 101190
3256.36/3265.24 c #Conflicts: 1019000 | #Constraints: 102190
3256.36/3265.24 c #Conflicts: 1020000 | #Constraints: 103190
3256.36/3265.24 c #Conflicts: 1021000 | #Constraints: 104190
3256.36/3265.24 c INPROCESSING
3256.36/3265.24 c GARBAGE COLLECT
3256.36/3265.24 c rational objective 43
3421.94/3431.25 c #Conflicts: 1022000 | #Constraints: 85184
3421.94/3431.25 c #Conflicts: 1023000 | #Constraints: 86184
3421.94/3431.25 c #Conflicts: 1024000 | #Constraints: 87184
3421.94/3431.25 c #Conflicts: 1025000 | #Constraints: 88184
3421.94/3431.25 c #Conflicts: 1026000 | #Constraints: 89184
3421.94/3431.25 c #Conflicts: 1027000 | #Constraints: 90184
3421.94/3431.25 c #Conflicts: 1028000 | #Constraints: 91184
3421.94/3431.25 c #Conflicts: 1029000 | #Constraints: 92184
3421.94/3431.25 c #Conflicts: 1030000 | #Constraints: 93184
3421.94/3431.25 c #Conflicts: 1031000 | #Constraints: 94184
3421.94/3431.25 c #Conflicts: 1032000 | #Constraints: 95184
3421.94/3431.25 c #Conflicts: 1033000 | #Constraints: 96184
3421.94/3431.25 c #Conflicts: 1034000 | #Constraints: 97184
3421.94/3431.25 c #Conflicts: 1035000 | #Constraints: 98184
3421.94/3431.25 c #Conflicts: 1036000 | #Constraints: 99184
3421.94/3431.25 c #Conflicts: 1037000 | #Constraints: 100184
3421.94/3431.25 c #Conflicts: 1038000 | #Constraints: 101184
3421.94/3431.25 c #Conflicts: 1039000 | #Constraints: 102184
3421.94/3431.25 c #Conflicts: 1040000 | #Constraints: 103184
3421.94/3431.25 c #Conflicts: 1041000 | #Constraints: 104184
3421.94/3431.25 c INPROCESSING
3421.94/3431.25 c GARBAGE COLLECT
3421.94/3431.25 c rational objective 43
3474.51/3483.94 c #Conflicts: 1042000 | #Constraints: 84996
3474.51/3483.94 c #Conflicts: 1043000 | #Constraints: 85996
3474.51/3483.94 c #Conflicts: 1044000 | #Constraints: 86996
3474.51/3483.94 c #Conflicts: 1045000 | #Constraints: 87996
3474.51/3483.94 c #Conflicts: 1046000 | #Constraints: 88996
3474.51/3483.94 c #Conflicts: 1047000 | #Constraints: 89996
3474.51/3483.94 c #Conflicts: 1048000 | #Constraints: 90996
3474.51/3483.94 c #Conflicts: 1049000 | #Constraints: 91996
3474.51/3483.94 c #Conflicts: 1050000 | #Constraints: 92996
3474.51/3483.94 c #Conflicts: 1051000 | #Constraints: 93996
3474.51/3483.94 c #Conflicts: 1052000 | #Constraints: 94996
3474.51/3483.94 c #Conflicts: 1053000 | #Constraints: 95996
3474.51/3483.94 c #Conflicts: 1054000 | #Constraints: 96996
3474.51/3483.94 c #Conflicts: 1055000 | #Constraints: 97996
3474.51/3483.94 c #Conflicts: 1056000 | #Constraints: 98996
3474.51/3483.94 c #Conflicts: 1057000 | #Constraints: 99996
3474.51/3483.94 c #Conflicts: 1058000 | #Constraints: 100996
3474.51/3483.94 c #Conflicts: 1059000 | #Constraints: 101996
3474.51/3483.94 c #Conflicts: 1060000 | #Constraints: 102996
3474.51/3483.94 c #Conflicts: 1061000 | #Constraints: 103996
3474.51/3483.94 c #Conflicts: 1062000 | #Constraints: 104996
3474.51/3483.94 c INPROCESSING
3474.51/3483.94 c GARBAGE COLLECT
3474.51/3483.94 c #Conflicts: 1063000 | #Constraints: 85586
3474.51/3483.94 c #Conflicts: 1064000 | #Constraints: 86586
3474.51/3483.94 c #Conflicts: 1065000 | #Constraints: 87586
3474.51/3483.94 c #Conflicts: 1066000 | #Constraints: 88586
3474.51/3483.94 c #Conflicts: 1067000 | #Constraints: 89586
3474.51/3483.94 c #Conflicts: 1068000 | #Constraints: 90586
3474.51/3483.94 c #Conflicts: 1069000 | #Constraints: 91586
3474.51/3483.94 c #Conflicts: 1070000 | #Constraints: 92586
3474.51/3483.94 c #Conflicts: 1071000 | #Constraints: 93586
3474.51/3483.94 c #Conflicts: 1072000 | #Constraints: 94586
3474.51/3483.94 c #Conflicts: 1073000 | #Constraints: 95586
3474.51/3483.94 c #Conflicts: 1074000 | #Constraints: 96586
3474.51/3483.94 c #Conflicts: 1075000 | #Constraints: 97586
3474.51/3483.94 c #Conflicts: 1076000 | #Constraints: 98586
3474.51/3483.94 c #Conflicts: 1077000 | #Constraints: 99586
3474.51/3483.94 c #Conflicts: 1078000 | #Constraints: 100586
3474.51/3483.94 c #Conflicts: 1079000 | #Constraints: 101586
3474.51/3483.94 c #Conflicts: 1080000 | #Constraints: 102586
3474.51/3483.94 c #Conflicts: 1081000 | #Constraints: 103586
3474.51/3483.94 c #Conflicts: 1082000 | #Constraints: 104586
3474.51/3483.94 c #Conflicts: 1083000 | #Constraints: 105586
3474.51/3483.94 c INPROCESSING
3474.51/3483.94 c GARBAGE COLLECT
3474.51/3483.94 c rational objective 43
3522.19/3531.73 c #Conflicts: 1084000 | #Constraints: 86030
3522.19/3531.73 c #Conflicts: 1085000 | #Constraints: 87030
3522.19/3531.73 c #Conflicts: 1086000 | #Constraints: 88030
3522.19/3531.73 c #Conflicts: 1087000 | #Constraints: 89030
3522.19/3531.73 c #Conflicts: 1088000 | #Constraints: 90030
3522.19/3531.73 c #Conflicts: 1089000 | #Constraints: 91030
3522.19/3531.73 c #Conflicts: 1090000 | #Constraints: 92030
3522.19/3531.73 c #Conflicts: 1091000 | #Constraints: 93030
3522.19/3531.73 c #Conflicts: 1092000 | #Constraints: 94030
3522.19/3531.73 c #Conflicts: 1093000 | #Constraints: 95030
3522.19/3531.73 c #Conflicts: 1094000 | #Constraints: 96030
3522.19/3531.73 c #Conflicts: 1095000 | #Constraints: 97030
3522.19/3531.73 c #Conflicts: 1096000 | #Constraints: 98030
3522.19/3531.73 c #Conflicts: 1097000 | #Constraints: 99030
3522.19/3531.73 c #Conflicts: 1098000 | #Constraints: 100030
3522.19/3531.73 c #Conflicts: 1099000 | #Constraints: 101030
3522.19/3531.73 c #Conflicts: 1100000 | #Constraints: 102030
3522.19/3531.73 c #Conflicts: 1101000 | #Constraints: 103030
3522.19/3531.73 c #Conflicts: 1102000 | #Constraints: 104030
3522.19/3531.73 c #Conflicts: 1103000 | #Constraints: 105030
3522.19/3531.73 c #Conflicts: 1104000 | #Constraints: 106030
3522.19/3531.73 c INPROCESSING
3522.19/3531.73 c GARBAGE COLLECT
3522.19/3531.73 c rational objective 43
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (58123 MiB free)
memory of node 1: 64507 MiB (45588 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508048-1751492663/watcher-4508048-1751492663 -o /tmp/evaluation-result-4508048-1751492663/solver-4508048-1751492663 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751485437-69731 --watchdog 3760 run-opt-break.sh HOME/instance-4508048-1751492663.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=70611, runsolver pid=70608
[startup+0.10006 s]*
/proc/loadavg: 4.08 4.10 4.09 5/264 70613
/proc/meminfo: memFree=106168896/131249988 swapFree=33010160/33010684
[pid=70611] ppid=70608 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70611/stat : 70611 (run-opt-break.s) S 70608 70611 69721 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 64945170 4292608 768 18446744073709551615 94677735858176 94677736752709 140731859728944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94677736991760 94677737039504 94677738692608 140731859736929 140731859737058 140731859737058 140731859742660 0
/proc/70611/statm: 1048 768 704 219 0 110 0
[pid=70613] ppid=70611 vsize=56524 memory=40160 CPUtime=0.08 cores=0,2
/proc/70613/stat : 70613 (pbsuma) R 70611 70611 69721 0 -1 4194304 10027 0 0 0 7 1 0 0 20 0 1 0 64945170 57880576 10040 18446744073709551615 4210688 4653049 140729396728192 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 31875072 140729396730211 140729396730418 140729396730418 140729396735983 0
/proc/70613/statm: 14131 10040 1024 108 0 11539 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60716 KiB
Current children cumulated memory: 43232 KiB
[startup+0.205623 s]*
/proc/loadavg: 4.08 4.10 4.09 5/264 70614
/proc/meminfo: memFree=106168896/131249988 swapFree=33010160/33010684
[pid=70611] ppid=70608 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70611/stat : 70611 (run-opt-break.s) S 70608 70611 69721 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 64945170 4292608 768 18446744073709551615 94677735858176 94677736752709 140731859728944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94677736991760 94677737039504 94677738692608 140731859736929 140731859737058 140731859737058 140731859742660 0
/proc/70611/statm: 1048 768 704 219 0 110 0
[pid=70613] ppid=70611 vsize=42232 memory=30576 CPUtime=0.2 cores=0,2
/proc/70613/stat : 70613 (pbsuma) R 70611 70611 69721 0 -1 4194304 10027 0 0 0 18 2 0 0 20 0 1 0 64945170 43245568 7644 18446744073709551615 4210688 4653049 140729396728192 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 31875072 140729396730211 140729396730418 140729396730418 140729396735983 0
/proc/70613/statm: 10558 7644 1024 108 0 7966 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46424 KiB
Current children cumulated memory: 33648 KiB
[startup+0.305387 s]*
/proc/loadavg: 4.08 4.10 4.09 5/264 70615
/proc/meminfo: memFree=106161084/131249988 swapFree=33010160/33010684
[pid=70611] ppid=70608 vsize=4192 memory=3072 CPUtime=0.24 cores=0,2
/proc/70611/stat : 70611 (run-opt-break.s) S 70608 70611 69721 0 -1 4194304 237 10271 0 0 0 0 22 2 20 0 1 0 64945170 4292608 768 18446744073709551615 94677735858176 94677736752709 140731859728944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94677736991760 94677737039504 94677738692608 140731859736929 140731859737058 140731859737058 140731859742660 0
/proc/70611/statm: 1048 768 704 219 0 110 0
[pid=70615] ppid=70611 vsize=60536 memory=15316 CPUtime=0.04 cores=0,2
/proc/70615/stat : 70615 (roundingsat) R 70611 70611 69721 0 -1 4194304 1684 0 0 0 3 1 0 0 20 0 1 0 64945195 61988864 3829 18446744073709551615 4227072 8923433 140737006710640 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 24969216 140737006717284 140737006717480 140737006717480 140737006723050 0
/proc/70615/statm: 15134 3829 1856 1147 0 2561 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 64728 KiB
Current children cumulated memory: 18388 KiB
[startup+0.700199 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 70615
/proc/meminfo: memFree=106082380/131249988 swapFree=33010160/33010684
[pid=70611] ppid=70608 vsize=4192 memory=3072 CPUtime=0.24 cores=0,2
/proc/70611/stat : 70611 (run-opt-break.s) S 70608 70611 69721 0 -1 4194304 237 10271 0 0 0 0 22 2 20 0 1 0 64945170 4292608 768 18446744073709551615 94677735858176 94677736752709 140731859728944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94677736991760 94677737039504 94677738692608 140731859736929 140731859737058 140731859737058 140731859742660 0
/proc/70611/statm: 1048 768 704 219 0 110 0
[pid=70615] ppid=70611 vsize=136356 memory=94104 CPUtime=0.42 cores=0,2
/proc/70615/stat : 70615 (roundingsat) R 70611 70611 69721 0 -1 4194304 12119 0 0 0 35 7 0 0 20 0 1 0 64945195 139628544 23526 18446744073709551615 4227072 8923433 140737006710640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24969216 140737006717284 140737006717480 140737006717480 140737006723050 0
/proc/70615/statm: 34089 23526 2272 1147 0 21516 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 140548 KiB
Current children cumulated memory: 97176 KiB
[startup+1.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 70621
/proc/meminfo: memFree=106088580/131249988 swapFree=33010160/33010684
[pid=70611] ppid=70608 vsize=4192 memory=3072 CPUtime=0.24 cores=0,2
/proc/70611/stat : 70611 (run-opt-break.s) S 70608 70611 69721 0 -1 4194304 237 10271 0 0 0 0 22 2 20 0 1 0 64945170 4292608 768 18446744073709551615 94677735858176 94677736752709 140731859728944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94677736991760 94677737039504 94677738692608 140731859736929 140731859737058 140731859737058 140731859742660 0
/proc/70611/statm: 1048 768 704 219 0 110 0
[pid=70615] ppid=70611 vsize=138984 memory=94636 CPUtime=1.22 cores=0,2
/proc/70615/stat : 70615 (roundingsat) R 70611 70611 69721 0 -1 4194304 12325 0 0 0 105 17 0 0 20 0 1 0 64945195 142319616 23659 18446744073709551615 4227072 8923433 140737006710640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24969216 140737006717284 140737006717480 140737006717480 140737006723050 0
/proc/70615/statm: 34746 23659 2336 1147 0 22173 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 143176 KiB
Current children cumulated memory: 97708 KiB
[startup+3.10537 s]
/proc/loadavg: 4.08 4.10 4.09 6/266 70648
/proc/meminfo: memFree=106067256/131249988 swapFree=33010160/33010684
[pid=70611] ppid=70608 vsize=4192 memory=3072 CPUtime=0.24 cores=0,2
/proc/70611/stat : 70611 (run-opt-break.s) S 70608 70611 69721 0 -1 4194304 237 10271 0 0 0 0 22 2 20 0 1 0 64945170 4292608 768 18446744073709551615 94677735858176 94677736752709 140731859728944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94677736991760 94677737039504 94677738692608 140731859736929 140731859737058 140731859737058 140731859742660 0
/proc/70611/statm: 1048 768 704 219 0 110 0
[pid=70615] ppid=70611 vsize=141864 memory=98732 CPUtime=2.82 cores=0,2
/proc/70615/stat : 70615 (roundingsat) R 70611 70611 69721 0 -1 4194304 13352 0 0 0 264 18 0 0 20 0 1 0 64945195 145268736 24683 18446744073709551615 4227072 8923433 140737006710640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24969216 140737006717284 140737006717480 140737006717480 140737006723050 0
/proc/70615/statm: 35466 24683 2336 1147 0 22893 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 146056 KiB
Current children cumulated memory: 101804 KiB
[startup+6.30018 s]
/proc/loadavg: 4.15 4.12 4.09 6/266 70648
/proc/meminfo: memFree=106057412/131249988 swapFree=33010160/33010684
[pid=70611] ppid=70608 vsize=4192 memory=3072 CPUtime=0.24 cores=0,2
/proc/70611/stat : 70611 (run-opt-break.s) S 70608 70611 69721 0 -1 4194304 237 10271 0 0 0 0 22 2 20 0 1 0 64945170 4292608 768 18446744073709551615 94677735858176 94677736752709 140731859728944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94677736991760 94677737039504 94677738692608 140731859736929 140731859737058 140731859737058 140731859742660 0
/proc/70611/statm: 1048 768 704 219 0 110 0
[pid=70615] ppid=70611 vsize=148988 memory=103172 CPUtime=6 cores=0,2
/proc/70615/stat : 70615 (roundingsat) R 70611 70611 69721 0 -1 4194304 14398 0 0 0 564 36 0 0 20 0 1 0 64945195 152563712 25793 18446744073709551615 4227072 8923433 140737006710640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24969216 140737006717284 140737006717480 140737006717480 140737006723050 0
/proc/70615/statm: 37247 25793 2336 1147 0 24674 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 153180 KiB
Current children cumulated memory: 106244 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.12 4.09 6/266 70648
/proc/meminfo: memFree=106039268/131249988 swapFree=33010160/33010684
[pid=70611] ppid=70608 vsize=4192 memory=3072 CPUtime=0.24 cores=0,2
/proc/70611/stat : 70611 (run-opt-break.s) S 70608 70611 69721 0 -1 4194304 237 10271 0 0 0 0 22 2 20 0 1 0 64945170 4292608 768 18446744073709551615 94677735858176 94677736752709 140731859728944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94677736991760 94677737039504 94677738692608 140731859736929 140731859737058 140731859737058 140731859742660 0
/proc/70611/statm: 1048 768 704 219 0 110 0
[pid=70615] ppid=70611 vsize=152032 memory=105220 CPUtime=12.39 cores=0,2
/proc/70615/stat : 70615 (roundingsat) R 70611 70611 69721 0 -1 4194304 14905 0 0 0 1199 40 0 0 20 0 1 0 64945195 155680768 26305 18446744073709551615 4227072 8923433 140737006710640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24969216 140737006717284 140737006717480 140737006717480 140737006723050 0
/proc/70615/statm: 38008 26305 2336 1147 0 25435 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 156224 KiB
Current children cumulated memory: 108292 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 6/266 70648
/proc/meminfo: memFree=106039232/131249988 swapFree=33010160/33010684
[pid=70611] ppid=70608 vsize=4192 memory=3072 CPUtime=0.24 cores=0,2
/proc/70611/stat : 70611 (run-opt-break.s) S 70608 70611 69721 0 -1 4194304 237 10271 0 0 0 0 22 2 20 0 1 0 64945170 4292608 768 18446744073709551615 94677735858176 94677736752709 140731859728944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94677736991760 94677737039504 94677738692608 140731859736929 140731859737058 140731859737058 140731859742660 0
/proc/70611/statm: 1048 768 704 219 0 110 0
[pid=70615] ppid=70611 vsize=153796 memory=109344 CPUtime=25.15 cores=0,2
/proc/70615/stat : 70615 (roundingsat) R 70611 70611 69721 0 -1 4194304 15428 0 0 0 2458 57 0 0 20 0 1 0 64945195 157487104 27336 18446744073709551615 4227072 8923433 140737006710640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24969216 140737006717284 140737006717480 140737006717480 140737006723050 0
/proc/70615/statm: 38449 27336 2336 1147 0 25876 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 157988 KiB
Current children cumulated memory: 112416 KiB
[startup+51.1055 s]
/proc/loadavg: 4.15 4.12 4.09 6/266 70648
/proc/meminfo: memFree=106010968/131249988 swapFree=33010160/33010684
[pid=70611] ppid=70608 vsize=4192 memory=3072 CPUtime=0.24 cores=0,2
/proc/70611/stat : 70611 (run-opt-break.s) S 70608 70611 69721 0 -1 4194304 237 10271 0 0 0 0 22 2 20 0 1 0 64945170 4292608 768 18446744073709551615 94677735858176 94677736752709 140731859728944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94677736991760 94677737039504 94677738692608 140731859736929 140731859737058 140731859737058 140731859742660 0
/proc/70611/statm: 1048 768 704 219 0 110 0
[pid=70615] ppid=70611 vsize=157464 memory=112160 CPUtime=50.69 cores=0,2
/proc/70615/stat : 70615 (roundingsat) R 70611 70611 69721 0 -1 4194304 16124 0 0 0 5009 60 0 0 20 0 1 0 64945195 161243136 28040 18446744073709551615 4227072 8923433 140737006710640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24969216 140737006717284 140737006717480 140737006717480 140737006723050 0
/proc/70615/statm: 39366 28040 2336 1147 0 26793 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 161656 KiB
Current children cumulated memory: 115232 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.09 6/267 70651
/proc/meminfo: memFree=105988156/131249988 swapFree=33010160/33010684
[pid=70611] ppid=70608 vsize=4192 memory=3072 CPUtime=0.24 cores=0,2
/proc/70611/stat : 70611 (run-opt-break.s) S 70608 70611 69721 0 -1 4194304 237 10271 0 0 0 0 22 2 20 0 1 0 64945170 4292608 768 18446744073709551615 94677735858176 94677736752709 140731859728944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94677736991760 94677737039504 94677738692608 140731859736929 140731859737058 140731859737058 140731859742660 0
/proc/70611/statm: 1048 768 704 219 0 110 0
[pid=70615] ppid=70611 vsize=172928 memory=124016 CPUtime=101.75 cores=0,2
/proc/70615/stat : 70615 (roundingsat) R 70611 70611 69721 0 -1 4194304 18541 0 0 0 10071 104 0 0 20 0 1 0 64945195 177078272 31004 18446744073709551615 4227072 8923433 140737006710640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24969216 140737006717284 140737006717480 140737006717480 140737006723050 0
/proc/70615/statm: 43232 31004 2368 1147 0 30659 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 177120 KiB
Current children cumulated memory: 127088 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.09 4.09 6/267 70653
/proc/meminfo: memFree=105955012/131249988 swapFree=33010160/33010684
[pid=70611] ppid=70608 vsize=4192 memory=3072 CPUtime=0.24 cores=0,2
/proc/70611/stat : 70611 (run-opt-break.s) S 70608 70611 69721 0 -1 4194304 237 10271 0 0 0 0 22 2 20 0 1 0 64945170 4292608 768 18446744073709551615 94677735858176 94677736752709 140731859728944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94677736991760 94677737039504 94677738692608 140731859736929 140731859737058 140731859737058 140731859742660 0
/proc/70611/statm: 1048 768 704 219 0 110 0
[pid=70615] ppid=70611 vsize=172928 memory=124016 CPUtime=161.59 cores=0,2
/proc/70615/stat : 70615 (roundingsat) R 70611 70611 69721 0 -1 4194304 18553 0 0 0 16034 125 0 0 20 0 1 0 64945195 177078272 31004 18446744073709551615 4227072 8923433 140737006710640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24969216 140737006717284 140737006717480 140737006717480 140737006723050 0
/proc/70615/statm: 43232 31004 2368 1147 0 30659 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 177120 KiB
Current children cumulated memory: 127088 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/267 70655
/proc/meminfo: memFree=105940148/131249988 swapFree=33010160/33010684
[pid=70611] ppid=70608 vsize=4192 memory=3072 CPUtime=0.24 cores=0,2
/proc/70611/stat : 70611 (run-opt-break.s) S 70608 70611 69721 0 -1 4194304 237 10271 0 0 0 0 22 2 20 0 1 0 64945170 4292608 768 18446744073709551615 94677735858176 94677736752709 140731859728944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94677736991760 94677737039504 94677738692608 140731859736929 140731859737058 140731859737058 140731859742660 0
/proc/70611/statm: 1048 768 704 219 0 110 0
[pid=70615] ppid=70611 vsize=174900 memory=125040 CPUtime=221.43 cores=0,2
/proc/70615/stat : 70615 (roundingsat) R 70611 70611 69721 0 -1 4194304 18813 0 0 0 21994 149 0 0 20 0 1 0 64945195 179097600 31260 18446744073709551615 4227072 8923433 140737006710640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24969216 140737006717284 140737006717480 140737006717480 140737006723050 0
/proc/70615/statm: 43725 31260 2368 1147 0 31152 0
Current children cumulated CPU time: 221.67 s
################
# More data... #
################
/proc/70611/stat : 70611 (run-opt-break.s) S 70608 70611 69721 0 -1 4194304 237 10271 0 0 0 0 22 2 20 0 1 0 64945170 4292608 768 18446744073709551615 94677735858176 94677736752709 140731859728944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94677736991760 94677737039504 94677738692608 140731859736929 140731859737058 140731859737058 140731859742660 0
/proc/70611/statm: 1048 768 704 219 0 110 0
[pid=70615] ppid=70611 vsize=220724 memory=172760 CPUtime=3213.33 cores=0,2
/proc/70615/stat : 70615 (roundingsat) R 70611 70611 69721 0 -1 4194304 25799 0 0 0 320094 1239 0 0 20 0 1 0 64945195 226021376 43190 18446744073709551615 4227072 8923433 140737006710640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24969216 140737006717284 140737006717480 140737006717480 140737006723050 0
/proc/70615/statm: 55181 43190 2368 1147 0 42608 0
Current children cumulated CPU time: 3213.57 s
Current children cumulated vsize: 224916 KiB
Current children cumulated memory: 175832 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/269 70879
/proc/meminfo: memFree=105762664/131249988 swapFree=33010160/33010684
[pid=70611] ppid=70608 vsize=4192 memory=3072 CPUtime=0.24 cores=0,2
/proc/70611/stat : 70611 (run-opt-break.s) S 70608 70611 69721 0 -1 4194304 237 10271 0 0 0 0 22 2 20 0 1 0 64945170 4292608 768 18446744073709551615 94677735858176 94677736752709 140731859728944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94677736991760 94677737039504 94677738692608 140731859736929 140731859737058 140731859737058 140731859742660 0
/proc/70611/statm: 1048 768 704 219 0 110 0
[pid=70615] ppid=70611 vsize=220724 memory=174972 CPUtime=3273.18 cores=0,2
/proc/70615/stat : 70615 (roundingsat) R 70611 70611 69721 0 -1 4194304 25800 0 0 0 326036 1282 0 0 20 0 1 0 64945195 226021376 43743 18446744073709551615 4227072 8923433 140737006710640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24969216 140737006717284 140737006717480 140737006717480 140737006723050 0
/proc/70615/statm: 55181 43743 2368 1147 0 42608 0
Current children cumulated CPU time: 3273.42 s
Current children cumulated vsize: 224916 KiB
Current children cumulated memory: 178044 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/269 70883
/proc/meminfo: memFree=105765688/131249988 swapFree=33010160/33010684
[pid=70611] ppid=70608 vsize=4192 memory=3072 CPUtime=0.24 cores=0,2
/proc/70611/stat : 70611 (run-opt-break.s) S 70608 70611 69721 0 -1 4194304 237 10271 0 0 0 0 22 2 20 0 1 0 64945170 4292608 768 18446744073709551615 94677735858176 94677736752709 140731859728944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94677736991760 94677737039504 94677738692608 140731859736929 140731859737058 140731859737058 140731859742660 0
/proc/70611/statm: 1048 768 704 219 0 110 0
[pid=70615] ppid=70611 vsize=220724 memory=174972 CPUtime=3333.04 cores=0,2
/proc/70615/stat : 70615 (roundingsat) R 70611 70611 69721 0 -1 4194304 25804 0 0 0 331997 1307 0 0 20 0 1 0 64945195 226021376 43743 18446744073709551615 4227072 8923433 140737006710640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24969216 140737006717284 140737006717480 140737006717480 140737006723050 0
/proc/70615/statm: 55181 43743 2368 1147 0 42608 0
Current children cumulated CPU time: 3333.28 s
Current children cumulated vsize: 224916 KiB
Current children cumulated memory: 178044 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/269 70888
/proc/meminfo: memFree=105728492/131249988 swapFree=33010160/33010684
[pid=70611] ppid=70608 vsize=4192 memory=3072 CPUtime=0.24 cores=0,2
/proc/70611/stat : 70611 (run-opt-break.s) S 70608 70611 69721 0 -1 4194304 237 10271 0 0 0 0 22 2 20 0 1 0 64945170 4292608 768 18446744073709551615 94677735858176 94677736752709 140731859728944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94677736991760 94677737039504 94677738692608 140731859736929 140731859737058 140731859737058 140731859742660 0
/proc/70611/statm: 1048 768 704 219 0 110 0
[pid=70615] ppid=70611 vsize=220724 memory=174972 CPUtime=3392.88 cores=0,2
/proc/70615/stat : 70615 (roundingsat) R 70611 70611 69721 0 -1 4194304 25804 0 0 0 337971 1317 0 0 20 0 1 0 64945195 226021376 43743 18446744073709551615 4227072 8923433 140737006710640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24969216 140737006717284 140737006717480 140737006717480 140737006723050 0
/proc/70615/statm: 55181 43743 2368 1147 0 42608 0
Current children cumulated CPU time: 3393.12 s
Current children cumulated vsize: 224916 KiB
Current children cumulated memory: 178044 KiB
[startup+3462.3 s]
/proc/loadavg: 4.37 4.20 4.12 5/269 70890
/proc/meminfo: memFree=105730656/131249988 swapFree=33010160/33010684
[pid=70611] ppid=70608 vsize=4192 memory=3072 CPUtime=0.24 cores=0,2
/proc/70611/stat : 70611 (run-opt-break.s) S 70608 70611 69721 0 -1 4194304 237 10271 0 0 0 0 22 2 20 0 1 0 64945170 4292608 768 18446744073709551615 94677735858176 94677736752709 140731859728944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94677736991760 94677737039504 94677738692608 140731859736929 140731859737058 140731859737058 140731859742660 0
/proc/70611/statm: 1048 768 704 219 0 110 0
[pid=70615] ppid=70611 vsize=220724 memory=174972 CPUtime=3452.73 cores=0,2
/proc/70615/stat : 70615 (roundingsat) R 70611 70611 69721 0 -1 4194304 25813 0 0 0 343927 1346 0 0 20 0 1 0 64945195 226021376 43743 18446744073709551615 4227072 8923433 140737006710640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24969216 140737006717284 140737006717480 140737006717480 140737006723050 0
/proc/70615/statm: 55181 43743 2368 1147 0 42608 0
Current children cumulated CPU time: 3452.97 s
Current children cumulated vsize: 224916 KiB
Current children cumulated memory: 178044 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.17 4.12 5/269 70892
/proc/meminfo: memFree=105728980/131249988 swapFree=33010160/33010684
[pid=70611] ppid=70608 vsize=4192 memory=3072 CPUtime=0.24 cores=0,2
/proc/70611/stat : 70611 (run-opt-break.s) S 70608 70611 69721 0 -1 4194304 237 10271 0 0 0 0 22 2 20 0 1 0 64945170 4292608 768 18446744073709551615 94677735858176 94677736752709 140731859728944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94677736991760 94677737039504 94677738692608 140731859736929 140731859737058 140731859737058 140731859742660 0
/proc/70611/statm: 1048 768 704 219 0 110 0
[pid=70615] ppid=70611 vsize=221464 memory=175100 CPUtime=3512.58 cores=0,2
/proc/70615/stat : 70615 (roundingsat) R 70611 70611 69721 0 -1 4194304 25835 0 0 0 349881 1377 0 0 20 0 1 0 64945195 226779136 43775 18446744073709551615 4227072 8923433 140737006710640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24969216 140737006717284 140737006717480 140737006717480 140737006723050 0
/proc/70615/statm: 55366 43775 2368 1147 0 42793 0
Current children cumulated CPU time: 3512.82 s
Current children cumulated vsize: 225656 KiB
Current children cumulated memory: 178172 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.17 4.12 5/269 70894
/proc/meminfo: memFree=105747376/131249988 swapFree=33010160/33010684
[pid=70611] ppid=70608 vsize=4192 memory=3072 CPUtime=0.24 cores=0,2
/proc/70611/stat : 70611 (run-opt-break.s) S 70608 70611 69721 0 -1 4194304 237 10271 0 0 0 0 22 2 20 0 1 0 64945170 4292608 768 18446744073709551615 94677735858176 94677736752709 140731859728944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94677736991760 94677737039504 94677738692608 140731859736929 140731859737058 140731859737058 140731859742660 0
/proc/70611/statm: 1048 768 704 219 0 110 0
[pid=70615] ppid=70611 vsize=222752 memory=175996 CPUtime=3572.42 cores=0,2
/proc/70615/stat : 70615 (roundingsat) R 70611 70611 69721 0 -1 4194304 26070 0 0 0 355843 1399 0 0 20 0 1 0 64945195 228098048 43999 18446744073709551615 4227072 8923433 140737006710640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24969216 140737006717284 140737006717480 140737006717480 140737006723050 0
/proc/70615/statm: 55688 43999 2368 1147 0 43115 0
Current children cumulated CPU time: 3572.66 s
Current children cumulated vsize: 226944 KiB
Current children cumulated memory: 179068 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.11 4.15 4.11 4/266 70902
/proc/meminfo: memFree=105887136/131249988 swapFree=33010160/33010684
[pid=70611] ppid=70608 vsize=4192 memory=3072 CPUtime=0.24 cores=0,2
/proc/70611/stat : 70611 (run-opt-break.s) S 70608 70611 69721 0 -1 4194304 237 10271 0 0 0 0 22 2 20 0 1 0 64945170 4292608 768 18446744073709551615 94677735858176 94677736752709 140731859728944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94677736991760 94677737039504 94677738692608 140731859736929 140731859737058 140731859737058 140731859742660 0
/proc/70611/statm: 1048 768 704 219 0 110 0
[pid=70615] ppid=70611 vsize=222752 memory=175996 CPUtime=3599.86 cores=0,2
/proc/70615/stat : 70615 (roundingsat) R 70611 70611 69721 0 -1 4194304 26071 0 0 0 358576 1410 0 0 20 0 1 0 64945195 228098048 43999 18446744073709551615 4227072 8923433 140737006710640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24969216 140737006717284 140737006717480 140737006717480 140737006723050 0
/proc/70615/statm: 55688 43999 2368 1147 0 43115 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 226944 KiB
Current children cumulated memory: 179068 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.8 s]
# the end of solver process 70611 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.225693 s, system=0.022808 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.8 s]
# the end of solver process 70615 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3587.98 s, system=14.1295 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+3611.2 s]
/proc/loadavg: 4.11 4.15 4.11 4/259 70925
/proc/meminfo: memFree=105894432/131249988 swapFree=33010160/33010684
[pid=70615] ppid=70608 vsize=222752 memory=175996 CPUtime=3601.25 cores=0,2
/proc/70615/stat : 70615 (roundingsat) R 70608 70611 69721 0 -1 4194304 26071 0 0 0 358715 1410 0 0 20 0 1 0 64945195 228098048 43999 18446744073709551615 4227072 8923433 140737006710640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24969216 140737006717284 140737006717480 140737006717480 140737006723050 0
/proc/70615/statm: 55688 43999 2368 1147 0 43115 0
Current cumulated CPU time of completed processes: 0.248501 s
Current children cumulated CPU time: 3601.25 s
Current children cumulated vsize: 222752 KiB
Current children cumulated memory: 175996 KiB
[startup+3611.6 s]
/proc/loadavg: 4.11 4.15 4.11 4/259 70925
/proc/meminfo: memFree=105894432/131249988 swapFree=33010160/33010684
[pid=70615] ppid=70608 vsize=222752 memory=175996 CPUtime=3601.65 cores=0,2
/proc/70615/stat : 70615 (roundingsat) R 70608 70611 69721 0 -1 4194304 26071 0 0 0 358755 1410 0 0 20 0 1 0 64945195 228098048 43999 18446744073709551615 4227072 8923433 140737006710640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24969216 140737006717284 140737006717480 140737006717480 140737006723050 0
/proc/70615/statm: 55688 43999 2368 1147 0 43115 0
Current cumulated CPU time of completed processes: 0.248501 s
Current children cumulated CPU time: 3601.65 s
Current children cumulated vsize: 222752 KiB
Current children cumulated memory: 175996 KiB
[startup+3611.8 s]
/proc/loadavg: 4.11 4.15 4.11 4/259 70925
/proc/meminfo: memFree=105894432/131249988 swapFree=33010160/33010684
[pid=70615] ppid=70608 vsize=222752 memory=175996 CPUtime=3601.85 cores=0,2
/proc/70615/stat : 70615 (roundingsat) R 70608 70611 69721 0 -1 4194304 26071 0 0 0 358775 1410 0 0 20 0 1 0 64945195 228098048 43999 18446744073709551615 4227072 8923433 140737006710640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24969216 140737006717284 140737006717480 140737006717480 140737006723050 0
/proc/70615/statm: 55688 43999 2368 1147 0 43115 0
Current cumulated CPU time of completed processes: 0.248501 s
Current children cumulated CPU time: 3601.85 s
Current children cumulated vsize: 222752 KiB
Current children cumulated memory: 175996 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.8
CPU time (s): 3602.11
CPU user time (s): 3587.98
CPU system time (s): 14.1295
CPU usage (%): 99.7317
Max. virtual memory (cumulated for all children) (KiB): 226944
Max. memory (cumulated for all children) (KiB): 179068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.98
system time used= 14.1296
maximum resident set size= 175996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36579
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 231
involuntary context switches= 8014
# summary of solver processes directly reported to runsolver:
# pid: 70611,70615
# total CPU time (s): 3602.11
# total CPU user time (s): 3587.98
# total CPU system time (s): 14.1295
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13906 second user time and 15.9184 second system time
The end
Begin job on nodeC034 at 2025-07-02 23:44:23
IDJOB=4508048
IDBENCH=158392
IDSOLVER=3359
FILE ID=nodeC034/4508048-1751492663
RUNJOBID= nodeC034-1751485437-69731
SLURM_JOB_ID= 9598535
Free space on /tmp= 431056 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-jul6.5.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508048-1751492663/watcher-4508048-1751492663 -o /tmp/evaluation-result-4508048-1751492663/solver-4508048-1751492663 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751485437-69731 --watchdog 3760 run-opt-break.sh HOME/instance-4508048-1751492663.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4f8efbeb69f885a3b6f9ae87862f80cd
RANDOM SEED=757023223
nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.753
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.758
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3699.371
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.876
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.762
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.759
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.770
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3580.769
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 106212492 kB
MemAvailable: 129453968 kB
Buffers: 2128 kB
Cached: 23980800 kB
SwapCached: 36 kB
Active: 752852 kB
Inactive: 23506188 kB
Active(anon): 289976 kB
Inactive(anon): 4208 kB
Active(file): 462876 kB
Inactive(file): 23501980 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 20348 kB
Writeback: 0 kB
AnonPages: 279528 kB
Mapped: 110508 kB
Shmem: 18068 kB
KReclaimable: 231320 kB
Slab: 323604 kB
SReclaimable: 231320 kB
SUnreclaim: 92284 kB
KernelStack: 4244 kB
PageTables: 3580 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 607328 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 92160 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431116 MiB
End job on nodeC034 at 2025-07-03 00:44:35