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-4523980-1751591371.opb'
0.00/0.03 c read 1.36MB (21.51ms)
0.00/0.03 c [cnf: #variables 35169 #clauses 28730 #duplicates 0 #arr 120617]
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.07 c [group: #orbits ~= 9264] (43.30ms)
0.00/0.07 c
0.00/0.07 c detect special group actions
0.00/0.07 c probe for Johnson action (limit=64)
0.08/0.10 c probe for row-column symmetry (limit=64, splits=16.78M)
0.08/0.10 c probe for row symmetry (limit=64, splits=16.78M)
1.47/1.59 c (1514.85ms)
1.47/1.59 c
1.47/1.59 c detect symmetries on remainder
1.47/1.59 c [graph: #vertices 169293 #edges 452022]
1.47/1.59 c dejavu (support_limit=2048.00MB, budget_limit=64)
1.57/1.69 c [group: #symmetries 8.00*10^0 #generators 3] (105.25ms)
1.57/1.69 c
1.57/1.69 c optimize generators (opt_passes=64, conjugate_limit=256)
1.57/1.69 c (0.14ms)
1.57/1.69 c
1.57/1.69 c finalize break order and special generators
1.68/1.70 c
1.68/1.70 c add generic predicates (break_depth=20)
1.68/1.70 c added predicates for 3 generators (3.94ms)
1.68/1.70 c
1.68/1.70 c generation finished
1.68/1.70 c [sbp: #constraints 174 #add_vars 57]
1.68/1.70 c
1.68/1.70 c write result to 'HOME/instance-4523980-1751591371.opb.pre'
1.68/1.70 c wrote 1.40MB (3.36ms)
1.68/1.70 c ------------------------------------------------------------------
1.68/1.70 c 1514.85ms 89.31% detect_special
1.68/1.70 c 105.25ms 6.21% detect_generic
1.68/1.70 c 43.30ms 2.55% approx_orbits
1.68/1.70 c 21.51ms 1.27% parse
1.68/1.70 c 3.94ms 0.23% break_generic
1.68/1.70 c 3.36ms 0.20% output
1.68/1.70 c 2.48ms 0.15% finalize_order
1.68/1.70 c 1.29ms 0.08% other
1.68/1.70 c 0.14ms 0.01% optimize_gens
1.68/1.70 c ───────────────────────────────────────────────
1.68/1.70 c 1696.12ms 100% total
1.68/1.70 c ------------------------------------------------------------------
1.68/1.72 c RoundingSat 2
1.68/1.72 c branch pb25
1.68/1.72 c commit 63f22ad
1.69/1.86 c #variables 35226 #constraints 29127
1.69/1.86 c objective is ce32
1.69/1.86 c initial watched CF 32, 64, 128, Arb: 112 , 0 , 0 , 0
1.69/1.86 c initial counting CF 32, 64, 128, Arb: 22177 , 0 , 0 , 0
1.69/1.86 c bounds - >= 0 @ 0.104611
19.51/19.63 c #Conflicts: 1000 | #Constraints: 30126
19.51/19.63 c #Conflicts: 2000 | #Constraints: 31126
19.51/19.63 c INPROCESSING
19.51/19.63 c GARBAGE COLLECT
19.51/19.63 c #Conflicts: 3000 | #Constraints: 31146
19.51/19.63 c #Conflicts: 4000 | #Constraints: 32146
19.51/19.63 c INPROCESSING
19.51/19.63 c GARBAGE COLLECT
19.51/19.63 c #Conflicts: 5000 | #Constraints: 31570
19.51/19.63 c #Conflicts: 6000 | #Constraints: 32570
19.51/19.63 c INPROCESSING
19.51/19.63 c GARBAGE COLLECT
19.51/19.63 c #Conflicts: 7000 | #Constraints: 31598
19.51/19.63 c #Conflicts: 8000 | #Constraints: 32598
19.51/19.63 c #Conflicts: 9000 | #Constraints: 33598
19.51/19.63 c INPROCESSING
19.51/19.63 c GARBAGE COLLECT
19.51/19.63 c rational objective 0
35.66/35.90 c #Conflicts: 10000 | #Constraints: 32353
35.66/35.90 c #Conflicts: 11000 | #Constraints: 33353
35.66/35.90 c #Conflicts: 12000 | #Constraints: 34353
35.66/35.90 c INPROCESSING
35.66/35.90 c GARBAGE COLLECT
35.66/35.90 c #Conflicts: 13000 | #Constraints: 32788
35.66/35.90 c #Conflicts: 14000 | #Constraints: 33789
35.66/35.90 c #Conflicts: 15000 | #Constraints: 34789
35.66/35.90 c INPROCESSING
35.66/35.90 c GARBAGE COLLECT
35.66/35.90 c #Conflicts: 16000 | #Constraints: 33025
35.66/35.90 c #Conflicts: 17000 | #Constraints: 34027
35.66/35.90 c #Conflicts: 18000 | #Constraints: 35028
35.66/35.90 c INPROCESSING
35.66/35.90 c GARBAGE COLLECT
35.66/35.90 c rational objective 0
42.95/43.19 c #Conflicts: 19000 | #Constraints: 33079
42.95/43.19 c #Conflicts: 20000 | #Constraints: 34079
42.95/43.19 c #Conflicts: 21000 | #Constraints: 35079
42.95/43.19 c INPROCESSING
42.95/43.19 c GARBAGE COLLECT
42.95/43.19 c rational objective 0
59.50/59.72 c #Conflicts: 22000 | #Constraints: 32922
59.50/59.72 c #Conflicts: 23000 | #Constraints: 33925
59.50/59.72 c #Conflicts: 24000 | #Constraints: 34925
59.50/59.72 c #Conflicts: 25000 | #Constraints: 35925
59.50/59.72 c INPROCESSING
59.50/59.72 c GARBAGE COLLECT
59.50/59.72 c #Conflicts: 26000 | #Constraints: 33508
59.50/59.72 c #Conflicts: 27000 | #Constraints: 34508
59.50/59.72 c #Conflicts: 28000 | #Constraints: 35508
59.50/59.72 c #Conflicts: 29000 | #Constraints: 36508
59.50/59.72 c INPROCESSING
59.50/59.72 c GARBAGE COLLECT
59.50/59.72 c #Conflicts: 30000 | #Constraints: 33857
59.50/59.72 c #Conflicts: 31000 | #Constraints: 34859
59.50/59.72 c #Conflicts: 32000 | #Constraints: 35861
59.50/59.72 c #Conflicts: 33000 | #Constraints: 36864
59.50/59.72 c INPROCESSING
59.50/59.72 c GARBAGE COLLECT
59.50/59.72 c rational objective 0
73.27/73.51 c #Conflicts: 34000 | #Constraints: 34130
73.27/73.51 c #Conflicts: 35000 | #Constraints: 35131
73.27/73.51 c #Conflicts: 36000 | #Constraints: 36131
73.27/73.51 c #Conflicts: 37000 | #Constraints: 37131
73.27/73.51 c INPROCESSING
73.27/73.51 c GARBAGE COLLECT
73.27/73.51 c #Conflicts: 38000 | #Constraints: 34114
73.27/73.51 c #Conflicts: 39000 | #Constraints: 35114
73.27/73.51 c #Conflicts: 40000 | #Constraints: 36114
73.27/73.51 c #Conflicts: 41000 | #Constraints: 37115
73.27/73.51 c INPROCESSING
73.27/73.51 c GARBAGE COLLECT
73.27/73.51 c rational objective 0
81.54/81.85 c #Conflicts: 42000 | #Constraints: 33940
81.54/81.85 c #Conflicts: 43000 | #Constraints: 34941
81.54/81.85 c #Conflicts: 44000 | #Constraints: 35942
81.54/81.85 c #Conflicts: 45000 | #Constraints: 36945
81.54/81.85 c #Conflicts: 46000 | #Constraints: 37947
81.54/81.85 c INPROCESSING
81.54/81.85 c GARBAGE COLLECT
81.54/81.85 c rational objective 0
94.90/95.24 c #Conflicts: 47000 | #Constraints: 34558
94.90/95.24 c #Conflicts: 48000 | #Constraints: 35559
94.90/95.24 c #Conflicts: 49000 | #Constraints: 36559
94.90/95.24 c #Conflicts: 50000 | #Constraints: 37559
94.90/95.24 c #Conflicts: 51000 | #Constraints: 38559
94.90/95.24 c INPROCESSING
94.90/95.24 c GARBAGE COLLECT
94.90/95.24 c #Conflicts: 52000 | #Constraints: 34953
94.90/95.24 c #Conflicts: 53000 | #Constraints: 35953
94.90/95.24 c #Conflicts: 54000 | #Constraints: 36953
94.90/95.24 c #Conflicts: 55000 | #Constraints: 37953
94.90/95.24 c #Conflicts: 56000 | #Constraints: 38953
94.90/95.24 c INPROCESSING
94.90/95.24 c GARBAGE COLLECT
94.90/95.24 c rational objective 0
102.48/102.83 c #Conflicts: 57000 | #Constraints: 35170
102.48/102.83 c #Conflicts: 58000 | #Constraints: 36170
102.48/102.83 c #Conflicts: 59000 | #Constraints: 37170
102.48/102.83 c #Conflicts: 60000 | #Constraints: 38170
102.48/102.83 c #Conflicts: 61000 | #Constraints: 39170
102.48/102.83 c INPROCESSING
102.48/102.83 c GARBAGE COLLECT
102.48/102.83 c rational objective 0
110.96/111.32 c #Conflicts: 62000 | #Constraints: 35208
110.96/111.32 c #Conflicts: 63000 | #Constraints: 36208
110.96/111.32 c #Conflicts: 64000 | #Constraints: 37211
110.96/111.32 c #Conflicts: 65000 | #Constraints: 38213
110.96/111.32 c #Conflicts: 66000 | #Constraints: 39216
110.96/111.32 c INPROCESSING
110.96/111.32 c GARBAGE COLLECT
110.96/111.32 c rational objective 0
118.85/119.29 c #Conflicts: 67000 | #Constraints: 35005
118.85/119.29 c #Conflicts: 68000 | #Constraints: 36008
118.85/119.29 c #Conflicts: 69000 | #Constraints: 37013
118.85/119.29 c #Conflicts: 70000 | #Constraints: 38013
118.85/119.29 c #Conflicts: 71000 | #Constraints: 39013
118.85/119.29 c #Conflicts: 72000 | #Constraints: 40013
118.85/119.29 c INPROCESSING
118.85/119.29 c GARBAGE COLLECT
118.85/119.29 c rational objective -3.9528e-11
127.22/127.63 c #Conflicts: 73000 | #Constraints: 35623
127.22/127.63 c #Conflicts: 74000 | #Constraints: 36624
127.22/127.63 c #Conflicts: 75000 | #Constraints: 37624
127.22/127.63 c #Conflicts: 76000 | #Constraints: 38624
127.22/127.63 c #Conflicts: 77000 | #Constraints: 39624
127.22/127.63 c #Conflicts: 78000 | #Constraints: 40625
127.22/127.63 c INPROCESSING
127.22/127.63 c GARBAGE COLLECT
127.22/127.63 c rational objective 0
141.28/141.79 c #Conflicts: 79000 | #Constraints: 36020
141.28/141.79 c #Conflicts: 80000 | #Constraints: 37020
141.28/141.79 c #Conflicts: 81000 | #Constraints: 38020
141.28/141.79 c #Conflicts: 82000 | #Constraints: 39021
141.28/141.79 c #Conflicts: 83000 | #Constraints: 40024
141.28/141.79 c #Conflicts: 84000 | #Constraints: 41026
141.28/141.79 c INPROCESSING
141.28/141.79 c GARBAGE COLLECT
141.28/141.79 c rational objective 0
148.86/149.33 c #Conflicts: 85000 | #Constraints: 36229
148.86/149.33 c #Conflicts: 86000 | #Constraints: 37231
148.86/149.33 c #Conflicts: 87000 | #Constraints: 38231
148.86/149.33 c #Conflicts: 88000 | #Constraints: 39232
148.86/149.33 c #Conflicts: 89000 | #Constraints: 40233
148.86/149.33 c #Conflicts: 90000 | #Constraints: 41233
148.86/149.33 c INPROCESSING
148.86/149.33 c GARBAGE COLLECT
148.86/149.33 c rational objective 0
164.92/165.42 c #Conflicts: 91000 | #Constraints: 36195
164.92/165.42 c #Conflicts: 92000 | #Constraints: 37195
164.92/165.42 c #Conflicts: 93000 | #Constraints: 38195
164.92/165.42 c #Conflicts: 94000 | #Constraints: 39195
164.92/165.42 c #Conflicts: 95000 | #Constraints: 40195
164.92/165.42 c #Conflicts: 96000 | #Constraints: 41195
164.92/165.42 c INPROCESSING
164.92/165.42 c GARBAGE COLLECT
164.92/165.42 c rational objective 0
183.87/184.42 c #Conflicts: 97000 | #Constraints: 35970
183.87/184.42 c #Conflicts: 98000 | #Constraints: 36970
183.87/184.42 c #Conflicts: 99000 | #Constraints: 37971
183.87/184.42 c #Conflicts: 100000 | #Constraints: 38971
183.87/184.42 c #Conflicts: 101000 | #Constraints: 39971
183.87/184.42 c #Conflicts: 102000 | #Constraints: 40971
183.87/184.42 c #Conflicts: 103000 | #Constraints: 41971
183.87/184.42 c INPROCESSING
183.87/184.42 c GARBAGE COLLECT
183.87/184.42 c rational objective 0
193.64/194.28 c #Conflicts: 104000 | #Constraints: 36576
193.64/194.28 c #Conflicts: 105000 | #Constraints: 37577
193.64/194.28 c #Conflicts: 106000 | #Constraints: 38577
193.64/194.28 c #Conflicts: 107000 | #Constraints: 39577
193.64/194.28 c #Conflicts: 108000 | #Constraints: 40577
193.64/194.28 c #Conflicts: 109000 | #Constraints: 41578
193.64/194.28 c #Conflicts: 110000 | #Constraints: 42578
193.64/194.28 c INPROCESSING
193.64/194.28 c GARBAGE COLLECT
193.64/194.28 c rational objective 0
203.91/204.51 c #Conflicts: 111000 | #Constraints: 36988
203.91/204.51 c #Conflicts: 112000 | #Constraints: 37989
203.91/204.51 c #Conflicts: 113000 | #Constraints: 38991
203.91/204.51 c #Conflicts: 114000 | #Constraints: 39993
203.91/204.51 c #Conflicts: 115000 | #Constraints: 40993
203.91/204.51 c #Conflicts: 116000 | #Constraints: 41993
203.91/204.51 c #Conflicts: 117000 | #Constraints: 42993
203.91/204.51 c INPROCESSING
203.91/204.51 c GARBAGE COLLECT
203.91/204.51 c rational objective 0
214.88/215.57 c #Conflicts: 118000 | #Constraints: 37218
214.88/215.57 c #Conflicts: 119000 | #Constraints: 38218
214.88/215.57 c #Conflicts: 120000 | #Constraints: 39218
214.88/215.57 c #Conflicts: 121000 | #Constraints: 40218
214.88/215.57 c #Conflicts: 122000 | #Constraints: 41219
214.88/215.57 c #Conflicts: 123000 | #Constraints: 42220
214.88/215.57 c #Conflicts: 124000 | #Constraints: 43220
214.88/215.57 c INPROCESSING
214.88/215.57 c GARBAGE COLLECT
214.88/215.57 c rational objective 0
228.25/228.92 c #Conflicts: 125000 | #Constraints: 37203
228.25/228.92 c #Conflicts: 126000 | #Constraints: 38204
228.25/228.92 c #Conflicts: 127000 | #Constraints: 39205
228.25/228.92 c #Conflicts: 128000 | #Constraints: 40205
228.25/228.92 c #Conflicts: 129000 | #Constraints: 41205
228.25/228.92 c #Conflicts: 130000 | #Constraints: 42205
228.25/228.92 c #Conflicts: 131000 | #Constraints: 43205
228.25/228.92 c INPROCESSING
228.25/228.92 c GARBAGE COLLECT
228.25/228.92 c rational objective 0
239.71/240.42 c #Conflicts: 132000 | #Constraints: 37027
239.71/240.42 c #Conflicts: 133000 | #Constraints: 38030
239.71/240.42 c #Conflicts: 134000 | #Constraints: 39031
239.71/240.42 c #Conflicts: 135000 | #Constraints: 40032
239.71/240.42 c #Conflicts: 136000 | #Constraints: 41033
239.71/240.42 c #Conflicts: 137000 | #Constraints: 42034
239.71/240.42 c #Conflicts: 138000 | #Constraints: 43036
239.71/240.42 c #Conflicts: 139000 | #Constraints: 44036
239.71/240.42 c INPROCESSING
239.71/240.42 c GARBAGE COLLECT
239.71/240.42 c rational objective 0
251.29/252.07 c #Conflicts: 140000 | #Constraints: 37647
251.29/252.07 c #Conflicts: 141000 | #Constraints: 38650
251.29/252.07 c #Conflicts: 142000 | #Constraints: 39653
251.29/252.07 c #Conflicts: 143000 | #Constraints: 40656
251.29/252.07 c #Conflicts: 144000 | #Constraints: 41656
251.29/252.07 c #Conflicts: 145000 | #Constraints: 42656
251.29/252.07 c #Conflicts: 146000 | #Constraints: 43656
251.29/252.07 c #Conflicts: 147000 | #Constraints: 44657
251.29/252.07 c INPROCESSING
251.29/252.07 c GARBAGE COLLECT
251.29/252.07 c rational objective 0
262.65/263.41 c #Conflicts: 148000 | #Constraints: 38028
262.65/263.41 c #Conflicts: 149000 | #Constraints: 39030
262.65/263.41 c #Conflicts: 150000 | #Constraints: 40030
262.65/263.41 c #Conflicts: 151000 | #Constraints: 41031
262.65/263.41 c #Conflicts: 152000 | #Constraints: 42032
262.65/263.41 c #Conflicts: 153000 | #Constraints: 43032
262.65/263.41 c #Conflicts: 154000 | #Constraints: 44032
262.65/263.41 c #Conflicts: 155000 | #Constraints: 45032
262.65/263.41 c INPROCESSING
262.65/263.41 c GARBAGE COLLECT
262.65/263.41 c rational objective 0
278.22/279.04 c #Conflicts: 156000 | #Constraints: 38246
278.22/279.04 c #Conflicts: 157000 | #Constraints: 39246
278.22/279.04 c #Conflicts: 158000 | #Constraints: 40246
278.22/279.04 c #Conflicts: 159000 | #Constraints: 41246
278.22/279.04 c #Conflicts: 160000 | #Constraints: 42246
278.22/279.04 c #Conflicts: 161000 | #Constraints: 43246
278.22/279.04 c #Conflicts: 162000 | #Constraints: 44246
278.22/279.04 c #Conflicts: 163000 | #Constraints: 45246
278.22/279.04 c INPROCESSING
278.22/279.04 c GARBAGE COLLECT
278.22/279.04 c rational objective 0
291.17/292.04 c #Conflicts: 164000 | #Constraints: 38262
291.17/292.04 c #Conflicts: 165000 | #Constraints: 39262
291.17/292.04 c #Conflicts: 166000 | #Constraints: 40262
291.17/292.04 c #Conflicts: 167000 | #Constraints: 41263
291.17/292.04 c #Conflicts: 168000 | #Constraints: 42263
291.17/292.04 c #Conflicts: 169000 | #Constraints: 43264
291.17/292.04 c #Conflicts: 170000 | #Constraints: 44269
291.17/292.04 c #Conflicts: 171000 | #Constraints: 45270
291.17/292.04 c INPROCESSING
291.17/292.04 c GARBAGE COLLECT
291.17/292.04 c rational objective 0
309.23/310.17 c #Conflicts: 172000 | #Constraints: 38058
309.23/310.17 c #Conflicts: 173000 | #Constraints: 39058
309.23/310.17 c #Conflicts: 174000 | #Constraints: 40058
309.23/310.17 c #Conflicts: 175000 | #Constraints: 41058
309.23/310.17 c #Conflicts: 176000 | #Constraints: 42058
309.23/310.17 c #Conflicts: 177000 | #Constraints: 43058
309.23/310.17 c #Conflicts: 178000 | #Constraints: 44058
309.23/310.17 c #Conflicts: 179000 | #Constraints: 45058
309.23/310.17 c #Conflicts: 180000 | #Constraints: 46060
309.23/310.17 c INPROCESSING
309.23/310.17 c GARBAGE COLLECT
309.23/310.17 c rational objective 0
321.99/322.97 c #Conflicts: 181000 | #Constraints: 38649
321.99/322.97 c #Conflicts: 182000 | #Constraints: 39650
321.99/322.97 c #Conflicts: 183000 | #Constraints: 40650
321.99/322.97 c #Conflicts: 184000 | #Constraints: 41653
321.99/322.97 c #Conflicts: 185000 | #Constraints: 42656
321.99/322.97 c #Conflicts: 186000 | #Constraints: 43656
321.99/322.97 c #Conflicts: 187000 | #Constraints: 44658
321.99/322.97 c #Conflicts: 188000 | #Constraints: 45658
321.99/322.97 c #Conflicts: 189000 | #Constraints: 46658
321.99/322.97 c INPROCESSING
321.99/322.97 c GARBAGE COLLECT
321.99/322.97 c rational objective 0
336.16/337.16 c #Conflicts: 190000 | #Constraints: 39078
336.16/337.16 c #Conflicts: 191000 | #Constraints: 40084
336.16/337.16 c #Conflicts: 192000 | #Constraints: 41087
336.16/337.16 c #Conflicts: 193000 | #Constraints: 42091
336.16/337.16 c #Conflicts: 194000 | #Constraints: 43091
336.16/337.16 c #Conflicts: 195000 | #Constraints: 44091
336.16/337.16 c #Conflicts: 196000 | #Constraints: 45091
336.16/337.16 c #Conflicts: 197000 | #Constraints: 46092
336.16/337.16 c #Conflicts: 198000 | #Constraints: 47096
336.16/337.16 c INPROCESSING
336.16/337.16 c GARBAGE COLLECT
336.16/337.16 c rational objective 0
354.89/356.00 c #Conflicts: 199000 | #Constraints: 39282
354.89/356.00 c #Conflicts: 200000 | #Constraints: 40283
354.89/356.00 c #Conflicts: 201000 | #Constraints: 41286
354.89/356.00 c #Conflicts: 202000 | #Constraints: 42288
354.89/356.00 c #Conflicts: 203000 | #Constraints: 43288
354.89/356.00 c #Conflicts: 204000 | #Constraints: 44292
354.89/356.00 c #Conflicts: 205000 | #Constraints: 45293
354.89/356.00 c #Conflicts: 206000 | #Constraints: 46294
354.89/356.00 c #Conflicts: 207000 | #Constraints: 47295
354.89/356.00 c INPROCESSING
354.89/356.00 c GARBAGE COLLECT
354.89/356.00 c rational objective 0
372.05/373.15 c #Conflicts: 208000 | #Constraints: 39289
372.05/373.15 c #Conflicts: 209000 | #Constraints: 40290
372.05/373.15 c #Conflicts: 210000 | #Constraints: 41290
372.05/373.15 c #Conflicts: 211000 | #Constraints: 42290
372.05/373.15 c #Conflicts: 212000 | #Constraints: 43290
372.05/373.15 c #Conflicts: 213000 | #Constraints: 44290
372.05/373.15 c #Conflicts: 214000 | #Constraints: 45290
372.05/373.15 c #Conflicts: 215000 | #Constraints: 46290
372.05/373.15 c #Conflicts: 216000 | #Constraints: 47290
372.05/373.15 c INPROCESSING
372.05/373.15 c GARBAGE COLLECT
372.05/373.15 c rational objective 0
385.81/386.99 c #Conflicts: 217000 | #Constraints: 39105
385.81/386.99 c #Conflicts: 218000 | #Constraints: 40105
385.81/386.99 c #Conflicts: 219000 | #Constraints: 41105
385.81/386.99 c #Conflicts: 220000 | #Constraints: 42105
385.81/386.99 c #Conflicts: 221000 | #Constraints: 43105
385.81/386.99 c #Conflicts: 222000 | #Constraints: 44105
385.81/386.99 c #Conflicts: 223000 | #Constraints: 45105
385.81/386.99 c #Conflicts: 224000 | #Constraints: 46105
385.81/386.99 c #Conflicts: 225000 | #Constraints: 47106
385.81/386.99 c #Conflicts: 226000 | #Constraints: 48106
385.81/386.99 c INPROCESSING
385.81/386.99 c GARBAGE COLLECT
385.81/386.99 c rational objective 0
413.54/414.71 c #Conflicts: 227000 | #Constraints: 39729
413.54/414.71 c #Conflicts: 228000 | #Constraints: 40729
413.54/414.71 c #Conflicts: 229000 | #Constraints: 41729
413.54/414.71 c #Conflicts: 230000 | #Constraints: 42730
413.54/414.71 c #Conflicts: 231000 | #Constraints: 43731
413.54/414.71 c #Conflicts: 232000 | #Constraints: 44736
413.54/414.71 c #Conflicts: 233000 | #Constraints: 45740
413.54/414.71 c #Conflicts: 234000 | #Constraints: 46740
413.54/414.71 c #Conflicts: 235000 | #Constraints: 47740
413.54/414.71 c #Conflicts: 236000 | #Constraints: 48740
413.54/414.71 c INPROCESSING
413.54/414.71 c GARBAGE COLLECT
413.54/414.71 c rational objective 0
426.90/428.10 c #Conflicts: 237000 | #Constraints: 40124
426.90/428.10 c #Conflicts: 238000 | #Constraints: 41124
426.90/428.10 c #Conflicts: 239000 | #Constraints: 42124
426.90/428.10 c #Conflicts: 240000 | #Constraints: 43124
426.90/428.10 c #Conflicts: 241000 | #Constraints: 44124
426.90/428.10 c #Conflicts: 242000 | #Constraints: 45124
426.90/428.10 c #Conflicts: 243000 | #Constraints: 46125
426.90/428.10 c #Conflicts: 244000 | #Constraints: 47125
426.90/428.10 c #Conflicts: 245000 | #Constraints: 48125
426.90/428.10 c #Conflicts: 246000 | #Constraints: 49125
426.90/428.10 c INPROCESSING
426.90/428.10 c GARBAGE COLLECT
426.90/428.10 c rational objective 0
443.65/444.97 c #Conflicts: 247000 | #Constraints: 40320
443.65/444.97 c #Conflicts: 248000 | #Constraints: 41320
443.65/444.97 c #Conflicts: 249000 | #Constraints: 42322
443.65/444.97 c #Conflicts: 250000 | #Constraints: 43322
443.65/444.97 c #Conflicts: 251000 | #Constraints: 44322
443.65/444.97 c #Conflicts: 252000 | #Constraints: 45327
443.65/444.97 c #Conflicts: 253000 | #Constraints: 46327
443.65/444.97 c #Conflicts: 254000 | #Constraints: 47328
443.65/444.97 c #Conflicts: 255000 | #Constraints: 48330
443.65/444.97 c #Conflicts: 256000 | #Constraints: 49330
443.65/444.97 c INPROCESSING
443.65/444.97 c GARBAGE COLLECT
443.65/444.97 c rational objective 0
466.80/468.13 c #Conflicts: 257000 | #Constraints: 40331
466.80/468.13 c #Conflicts: 258000 | #Constraints: 41331
466.80/468.13 c #Conflicts: 259000 | #Constraints: 42331
466.80/468.13 c #Conflicts: 260000 | #Constraints: 43331
466.80/468.13 c #Conflicts: 261000 | #Constraints: 44331
466.80/468.13 c #Conflicts: 262000 | #Constraints: 45331
466.80/468.13 c #Conflicts: 263000 | #Constraints: 46331
466.80/468.13 c #Conflicts: 264000 | #Constraints: 47331
466.80/468.13 c #Conflicts: 265000 | #Constraints: 48331
466.80/468.13 c #Conflicts: 266000 | #Constraints: 49331
466.80/468.13 c INPROCESSING
466.80/468.13 c GARBAGE COLLECT
466.80/468.13 c rational objective 0
483.24/484.66 c #Conflicts: 267000 | #Constraints: 40132
483.24/484.66 c #Conflicts: 268000 | #Constraints: 41132
483.24/484.66 c #Conflicts: 269000 | #Constraints: 42137
483.24/484.66 c #Conflicts: 270000 | #Constraints: 43139
483.24/484.66 c #Conflicts: 271000 | #Constraints: 44142
483.24/484.66 c #Conflicts: 272000 | #Constraints: 45146
483.24/484.66 c #Conflicts: 273000 | #Constraints: 46154
483.24/484.66 c #Conflicts: 274000 | #Constraints: 47172
483.24/484.66 c #Conflicts: 275000 | #Constraints: 48180
483.24/484.66 c #Conflicts: 276000 | #Constraints: 49189
483.24/484.66 c #Conflicts: 277000 | #Constraints: 50191
483.24/484.66 c INPROCESSING
483.24/484.66 c GARBAGE COLLECT
483.24/484.66 c rational objective 0
506.88/508.33 c #Conflicts: 278000 | #Constraints: 40774
506.88/508.33 c #Conflicts: 279000 | #Constraints: 41774
506.88/508.33 c #Conflicts: 280000 | #Constraints: 42774
506.88/508.33 c #Conflicts: 281000 | #Constraints: 43774
506.88/508.33 c #Conflicts: 282000 | #Constraints: 44774
506.88/508.33 c #Conflicts: 283000 | #Constraints: 45774
506.88/508.33 c #Conflicts: 284000 | #Constraints: 46774
506.88/508.33 c #Conflicts: 285000 | #Constraints: 47774
506.88/508.33 c #Conflicts: 286000 | #Constraints: 48774
506.88/508.33 c #Conflicts: 287000 | #Constraints: 49774
506.88/508.33 c #Conflicts: 288000 | #Constraints: 50774
506.88/508.33 c INPROCESSING
506.88/508.33 c GARBAGE COLLECT
506.88/508.33 c rational objective 0
526.63/528.11 c #Conflicts: 289000 | #Constraints: 41160
526.63/528.11 c #Conflicts: 290000 | #Constraints: 42160
526.63/528.11 c #Conflicts: 291000 | #Constraints: 43160
526.63/528.11 c #Conflicts: 292000 | #Constraints: 44160
526.63/528.11 c #Conflicts: 293000 | #Constraints: 45160
526.63/528.11 c #Conflicts: 294000 | #Constraints: 46160
526.63/528.11 c #Conflicts: 295000 | #Constraints: 47162
526.63/528.11 c #Conflicts: 296000 | #Constraints: 48164
526.63/528.11 c #Conflicts: 297000 | #Constraints: 49164
526.63/528.11 c #Conflicts: 298000 | #Constraints: 50165
526.63/528.11 c #Conflicts: 299000 | #Constraints: 51165
526.63/528.11 c INPROCESSING
526.63/528.11 c GARBAGE COLLECT
526.63/528.11 c rational objective 0
542.99/544.52 c #Conflicts: 300000 | #Constraints: 41374
542.99/544.52 c #Conflicts: 301000 | #Constraints: 42374
542.99/544.52 c #Conflicts: 302000 | #Constraints: 43374
542.99/544.52 c #Conflicts: 303000 | #Constraints: 44374
542.99/544.52 c #Conflicts: 304000 | #Constraints: 45374
542.99/544.52 c #Conflicts: 305000 | #Constraints: 46374
542.99/544.52 c #Conflicts: 306000 | #Constraints: 47374
542.99/544.52 c #Conflicts: 307000 | #Constraints: 48374
542.99/544.52 c #Conflicts: 308000 | #Constraints: 49374
542.99/544.52 c #Conflicts: 309000 | #Constraints: 50374
542.99/544.52 c #Conflicts: 310000 | #Constraints: 51374
542.99/544.52 c INPROCESSING
542.99/544.52 c GARBAGE COLLECT
542.99/544.52 c rational objective 0
567.21/568.88 c #Conflicts: 311000 | #Constraints: 41358
567.21/568.88 c #Conflicts: 312000 | #Constraints: 42358
567.21/568.88 c #Conflicts: 313000 | #Constraints: 43359
567.21/568.88 c #Conflicts: 314000 | #Constraints: 44359
567.21/568.88 c #Conflicts: 315000 | #Constraints: 45359
567.21/568.88 c #Conflicts: 316000 | #Constraints: 46359
567.21/568.88 c #Conflicts: 317000 | #Constraints: 47359
567.21/568.88 c #Conflicts: 318000 | #Constraints: 48359
567.21/568.88 c #Conflicts: 319000 | #Constraints: 49359
567.21/568.88 c #Conflicts: 320000 | #Constraints: 50359
567.21/568.88 c #Conflicts: 321000 | #Constraints: 51359
567.21/568.88 c INPROCESSING
567.21/568.88 c GARBAGE COLLECT
567.21/568.88 c rational objective 0
608.31/610.08 c #Conflicts: 322000 | #Constraints: 41198
608.31/610.08 c #Conflicts: 323000 | #Constraints: 42198
608.31/610.08 c #Conflicts: 324000 | #Constraints: 43199
608.31/610.08 c #Conflicts: 325000 | #Constraints: 44199
608.31/610.08 c #Conflicts: 326000 | #Constraints: 45199
608.31/610.08 c #Conflicts: 327000 | #Constraints: 46199
608.31/610.08 c #Conflicts: 328000 | #Constraints: 47199
608.31/610.08 c #Conflicts: 329000 | #Constraints: 48199
608.31/610.08 c #Conflicts: 330000 | #Constraints: 49199
608.31/610.08 c #Conflicts: 331000 | #Constraints: 50199
608.31/610.08 c #Conflicts: 332000 | #Constraints: 51199
608.31/610.08 c #Conflicts: 333000 | #Constraints: 52199
608.31/610.08 c INPROCESSING
608.31/610.08 c GARBAGE COLLECT
608.31/610.08 c #Conflicts: 334000 | #Constraints: 41757
608.31/610.08 c #Conflicts: 335000 | #Constraints: 42758
608.31/610.08 c #Conflicts: 336000 | #Constraints: 43760
608.31/610.08 c #Conflicts: 337000 | #Constraints: 44763
608.31/610.08 c #Conflicts: 338000 | #Constraints: 45763
608.31/610.08 c #Conflicts: 339000 | #Constraints: 46763
608.31/610.08 c #Conflicts: 340000 | #Constraints: 47763
608.31/610.08 c #Conflicts: 341000 | #Constraints: 48765
608.31/610.08 c #Conflicts: 342000 | #Constraints: 49766
608.31/610.08 c #Conflicts: 343000 | #Constraints: 50766
608.31/610.08 c #Conflicts: 344000 | #Constraints: 51767
608.31/610.08 c #Conflicts: 345000 | #Constraints: 52769
608.31/610.08 c INPROCESSING
608.31/610.08 c GARBAGE COLLECT
608.31/610.08 c rational objective 0
627.26/629.07 c #Conflicts: 346000 | #Constraints: 42207
627.26/629.07 c #Conflicts: 347000 | #Constraints: 43207
627.26/629.07 c #Conflicts: 348000 | #Constraints: 44207
627.26/629.07 c #Conflicts: 349000 | #Constraints: 45208
627.26/629.07 c #Conflicts: 350000 | #Constraints: 46209
627.26/629.07 c #Conflicts: 351000 | #Constraints: 47209
627.26/629.07 c #Conflicts: 352000 | #Constraints: 48209
627.26/629.07 c #Conflicts: 353000 | #Constraints: 49209
627.26/629.07 c #Conflicts: 354000 | #Constraints: 50209
627.26/629.07 c #Conflicts: 355000 | #Constraints: 51209
627.26/629.07 c #Conflicts: 356000 | #Constraints: 52210
627.26/629.07 c #Conflicts: 357000 | #Constraints: 53212
627.26/629.07 c INPROCESSING
627.26/629.07 c GARBAGE COLLECT
627.26/629.07 c rational objective 0
649.20/651.04 c #Conflicts: 358000 | #Constraints: 42389
649.20/651.04 c #Conflicts: 359000 | #Constraints: 43389
649.20/651.04 c #Conflicts: 360000 | #Constraints: 44389
649.20/651.04 c #Conflicts: 361000 | #Constraints: 45391
649.20/651.04 c #Conflicts: 362000 | #Constraints: 46394
649.20/651.04 c #Conflicts: 363000 | #Constraints: 47394
649.20/651.04 c #Conflicts: 364000 | #Constraints: 48396
649.20/651.04 c #Conflicts: 365000 | #Constraints: 49398
649.20/651.04 c #Conflicts: 366000 | #Constraints: 50400
649.20/651.04 c #Conflicts: 367000 | #Constraints: 51403
649.20/651.04 c #Conflicts: 368000 | #Constraints: 52403
649.20/651.04 c #Conflicts: 369000 | #Constraints: 53403
649.20/651.04 c INPROCESSING
649.20/651.04 c GARBAGE COLLECT
649.20/651.04 c rational objective 0
671.53/673.49 c #Conflicts: 370000 | #Constraints: 42419
671.53/673.49 c #Conflicts: 371000 | #Constraints: 43419
671.53/673.49 c #Conflicts: 372000 | #Constraints: 44419
671.53/673.49 c #Conflicts: 373000 | #Constraints: 45419
671.53/673.49 c #Conflicts: 374000 | #Constraints: 46419
671.53/673.49 c #Conflicts: 375000 | #Constraints: 47419
671.53/673.49 c #Conflicts: 376000 | #Constraints: 48420
671.53/673.49 c #Conflicts: 377000 | #Constraints: 49425
671.53/673.49 c #Conflicts: 378000 | #Constraints: 50425
671.53/673.49 c #Conflicts: 379000 | #Constraints: 51425
671.53/673.49 c #Conflicts: 380000 | #Constraints: 52425
671.53/673.49 c #Conflicts: 381000 | #Constraints: 53428
671.53/673.49 c INPROCESSING
671.53/673.49 c GARBAGE COLLECT
671.53/673.49 c rational objective -4.2336e-11
693.47/695.49 c #Conflicts: 382000 | #Constraints: 42190
693.47/695.49 c #Conflicts: 383000 | #Constraints: 43192
693.47/695.49 c #Conflicts: 384000 | #Constraints: 44194
693.47/695.49 c #Conflicts: 385000 | #Constraints: 45196
693.47/695.49 c #Conflicts: 386000 | #Constraints: 46199
693.47/695.49 c #Conflicts: 387000 | #Constraints: 47200
693.47/695.49 c #Conflicts: 388000 | #Constraints: 48200
693.47/695.49 c #Conflicts: 389000 | #Constraints: 49201
693.47/695.49 c #Conflicts: 390000 | #Constraints: 50202
693.47/695.49 c #Conflicts: 391000 | #Constraints: 51203
693.47/695.49 c #Conflicts: 392000 | #Constraints: 52205
693.47/695.49 c #Conflicts: 393000 | #Constraints: 53206
693.47/695.49 c #Conflicts: 394000 | #Constraints: 54206
693.47/695.49 c INPROCESSING
693.47/695.49 c GARBAGE COLLECT
693.47/695.49 c rational objective 0
712.82/714.88 c #Conflicts: 395000 | #Constraints: 42822
712.82/714.88 c #Conflicts: 396000 | #Constraints: 43822
712.82/714.88 c #Conflicts: 397000 | #Constraints: 44822
712.82/714.88 c #Conflicts: 398000 | #Constraints: 45822
712.82/714.88 c #Conflicts: 399000 | #Constraints: 46822
712.82/714.88 c #Conflicts: 400000 | #Constraints: 47823
712.82/714.88 c #Conflicts: 401000 | #Constraints: 48823
712.82/714.88 c #Conflicts: 402000 | #Constraints: 49823
712.82/714.88 c #Conflicts: 403000 | #Constraints: 50824
712.82/714.88 c #Conflicts: 404000 | #Constraints: 51824
712.82/714.88 c #Conflicts: 405000 | #Constraints: 52826
712.82/714.88 c #Conflicts: 406000 | #Constraints: 53826
712.82/714.88 c #Conflicts: 407000 | #Constraints: 54826
712.82/714.88 c INPROCESSING
712.82/714.88 c GARBAGE COLLECT
712.82/714.88 c rational objective 0
739.85/741.92 c #Conflicts: 408000 | #Constraints: 43227
739.85/741.92 c #Conflicts: 409000 | #Constraints: 44227
739.85/741.92 c #Conflicts: 410000 | #Constraints: 45227
739.85/741.92 c #Conflicts: 411000 | #Constraints: 46227
739.85/741.92 c #Conflicts: 412000 | #Constraints: 47227
739.85/741.92 c #Conflicts: 413000 | #Constraints: 48227
739.85/741.92 c #Conflicts: 414000 | #Constraints: 49227
739.85/741.92 c #Conflicts: 415000 | #Constraints: 50227
739.85/741.92 c #Conflicts: 416000 | #Constraints: 51227
739.85/741.92 c #Conflicts: 417000 | #Constraints: 52227
739.85/741.92 c #Conflicts: 418000 | #Constraints: 53227
739.85/741.92 c #Conflicts: 419000 | #Constraints: 54227
739.85/741.92 c #Conflicts: 420000 | #Constraints: 55227
739.85/741.92 c INPROCESSING
739.85/741.92 c GARBAGE COLLECT
739.85/741.92 c rational objective 0
759.69/761.83 c #Conflicts: 421000 | #Constraints: 43434
759.69/761.83 c #Conflicts: 422000 | #Constraints: 44434
759.69/761.83 c #Conflicts: 423000 | #Constraints: 45434
759.69/761.83 c #Conflicts: 424000 | #Constraints: 46434
759.69/761.83 c #Conflicts: 425000 | #Constraints: 47434
759.69/761.83 c #Conflicts: 426000 | #Constraints: 48435
759.69/761.83 c #Conflicts: 427000 | #Constraints: 49437
759.69/761.83 c #Conflicts: 428000 | #Constraints: 50438
759.69/761.83 c #Conflicts: 429000 | #Constraints: 51439
759.69/761.83 c #Conflicts: 430000 | #Constraints: 52439
759.69/761.83 c #Conflicts: 431000 | #Constraints: 53439
759.69/761.83 c #Conflicts: 432000 | #Constraints: 54439
759.69/761.83 c #Conflicts: 433000 | #Constraints: 55439
759.69/761.83 c INPROCESSING
759.69/761.83 c GARBAGE COLLECT
759.69/761.83 c rational objective 0
785.02/787.28 c #Conflicts: 434000 | #Constraints: 43414
785.02/787.28 c #Conflicts: 435000 | #Constraints: 44414
785.02/787.28 c #Conflicts: 436000 | #Constraints: 45415
785.02/787.28 c #Conflicts: 437000 | #Constraints: 46416
785.02/787.28 c #Conflicts: 438000 | #Constraints: 47420
785.02/787.28 c #Conflicts: 439000 | #Constraints: 48425
785.02/787.28 c #Conflicts: 440000 | #Constraints: 49426
785.02/787.28 c #Conflicts: 441000 | #Constraints: 50426
785.02/787.28 c #Conflicts: 442000 | #Constraints: 51430
785.02/787.28 c #Conflicts: 443000 | #Constraints: 52430
785.02/787.28 c #Conflicts: 444000 | #Constraints: 53430
785.02/787.28 c #Conflicts: 445000 | #Constraints: 54433
785.02/787.28 c #Conflicts: 446000 | #Constraints: 55436
785.02/787.28 c INPROCESSING
785.02/787.28 c GARBAGE COLLECT
785.02/787.28 c rational objective 0
818.73/821.02 c #Conflicts: 447000 | #Constraints: 43278
818.73/821.02 c #Conflicts: 448000 | #Constraints: 44278
818.73/821.02 c #Conflicts: 449000 | #Constraints: 45278
818.73/821.02 c #Conflicts: 450000 | #Constraints: 46278
818.73/821.02 c #Conflicts: 451000 | #Constraints: 47278
818.73/821.02 c #Conflicts: 452000 | #Constraints: 48278
818.73/821.02 c #Conflicts: 453000 | #Constraints: 49278
818.73/821.02 c #Conflicts: 454000 | #Constraints: 50278
818.73/821.02 c #Conflicts: 455000 | #Constraints: 51278
818.73/821.02 c #Conflicts: 456000 | #Constraints: 52278
818.73/821.02 c #Conflicts: 457000 | #Constraints: 53279
818.73/821.02 c #Conflicts: 458000 | #Constraints: 54279
818.73/821.02 c #Conflicts: 459000 | #Constraints: 55279
818.73/821.02 c #Conflicts: 460000 | #Constraints: 56279
818.73/821.02 c INPROCESSING
818.73/821.02 c GARBAGE COLLECT
818.73/821.02 c rational objective 0
840.98/843.32 c #Conflicts: 461000 | #Constraints: 43860
840.98/843.32 c #Conflicts: 462000 | #Constraints: 44860
840.98/843.32 c #Conflicts: 463000 | #Constraints: 45863
840.98/843.32 c #Conflicts: 464000 | #Constraints: 46874
840.98/843.32 c #Conflicts: 465000 | #Constraints: 47879
840.98/843.32 c #Conflicts: 466000 | #Constraints: 48879
840.98/843.32 c #Conflicts: 467000 | #Constraints: 49879
840.98/843.32 c #Conflicts: 468000 | #Constraints: 50879
840.98/843.32 c #Conflicts: 469000 | #Constraints: 51879
840.98/843.32 c #Conflicts: 470000 | #Constraints: 52879
840.98/843.32 c #Conflicts: 471000 | #Constraints: 53879
840.98/843.32 c #Conflicts: 472000 | #Constraints: 54879
840.98/843.32 c #Conflicts: 473000 | #Constraints: 55880
840.98/843.32 c #Conflicts: 474000 | #Constraints: 56880
840.98/843.32 c INPROCESSING
840.98/843.32 c GARBAGE COLLECT
840.98/843.32 c rational objective 0
866.10/868.55 c #Conflicts: 475000 | #Constraints: 44330
866.10/868.55 c #Conflicts: 476000 | #Constraints: 45330
866.10/868.55 c #Conflicts: 477000 | #Constraints: 46330
866.10/868.55 c #Conflicts: 478000 | #Constraints: 47332
866.10/868.55 c #Conflicts: 479000 | #Constraints: 48338
866.10/868.55 c #Conflicts: 480000 | #Constraints: 49341
866.10/868.55 c #Conflicts: 481000 | #Constraints: 50346
866.10/868.55 c #Conflicts: 482000 | #Constraints: 51346
866.10/868.55 c #Conflicts: 483000 | #Constraints: 52346
866.10/868.55 c #Conflicts: 484000 | #Constraints: 53347
866.10/868.55 c #Conflicts: 485000 | #Constraints: 54348
866.10/868.55 c #Conflicts: 486000 | #Constraints: 55349
866.10/868.55 c #Conflicts: 487000 | #Constraints: 56353
866.10/868.55 c #Conflicts: 488000 | #Constraints: 57357
866.10/868.55 c INPROCESSING
866.10/868.55 c GARBAGE COLLECT
866.10/868.55 c rational objective 0
905.51/908.05 c #Conflicts: 489000 | #Constraints: 44485
905.51/908.05 c #Conflicts: 490000 | #Constraints: 45486
905.51/908.05 c #Conflicts: 491000 | #Constraints: 46486
905.51/908.05 c #Conflicts: 492000 | #Constraints: 47486
905.51/908.05 c #Conflicts: 493000 | #Constraints: 48488
905.51/908.05 c #Conflicts: 494000 | #Constraints: 49489
905.51/908.05 c #Conflicts: 495000 | #Constraints: 50491
905.51/908.05 c #Conflicts: 496000 | #Constraints: 51493
905.51/908.05 c #Conflicts: 497000 | #Constraints: 52495
905.51/908.05 c #Conflicts: 498000 | #Constraints: 53497
905.51/908.05 c #Conflicts: 499000 | #Constraints: 54500
905.51/908.05 c #Conflicts: 500000 | #Constraints: 55501
905.51/908.05 c #Conflicts: 501000 | #Constraints: 56505
905.51/908.05 c #Conflicts: 502000 | #Constraints: 57506
905.51/908.05 c INPROCESSING
905.51/908.05 c GARBAGE COLLECT
905.51/908.05 c rational objective -1.4036e-10
934.72/937.39 c #Conflicts: 503000 | #Constraints: 44450
934.72/937.39 c #Conflicts: 504000 | #Constraints: 45453
934.72/937.39 c #Conflicts: 505000 | #Constraints: 46457
934.72/937.39 c #Conflicts: 506000 | #Constraints: 47461
934.72/937.39 c #Conflicts: 507000 | #Constraints: 48468
934.72/937.39 c #Conflicts: 508000 | #Constraints: 49485
934.72/937.39 c #Conflicts: 509000 | #Constraints: 50494
934.72/937.39 c #Conflicts: 510000 | #Constraints: 51504
934.72/937.39 c #Conflicts: 511000 | #Constraints: 52508
934.72/937.39 c #Conflicts: 512000 | #Constraints: 53513
934.72/937.39 c #Conflicts: 513000 | #Constraints: 54518
934.72/937.39 c #Conflicts: 514000 | #Constraints: 55521
934.72/937.39 c #Conflicts: 515000 | #Constraints: 56524
934.72/937.39 c #Conflicts: 516000 | #Constraints: 57525
934.72/937.39 c INPROCESSING
934.72/937.39 c GARBAGE COLLECT
934.72/937.39 c rational objective 0
961.94/964.64 c #Conflicts: 517000 | #Constraints: 44275
961.94/964.64 c #Conflicts: 518000 | #Constraints: 45275
961.94/964.64 c #Conflicts: 519000 | #Constraints: 46276
961.94/964.64 c #Conflicts: 520000 | #Constraints: 47280
961.94/964.64 c #Conflicts: 521000 | #Constraints: 48282
961.94/964.64 c #Conflicts: 522000 | #Constraints: 49284
961.94/964.64 c #Conflicts: 523000 | #Constraints: 50284
961.94/964.64 c #Conflicts: 524000 | #Constraints: 51289
961.94/964.64 c #Conflicts: 525000 | #Constraints: 52290
961.94/964.64 c #Conflicts: 526000 | #Constraints: 53290
961.94/964.64 c #Conflicts: 527000 | #Constraints: 54290
961.94/964.64 c #Conflicts: 528000 | #Constraints: 55291
961.94/964.64 c #Conflicts: 529000 | #Constraints: 56292
961.94/964.64 c #Conflicts: 530000 | #Constraints: 57294
961.94/964.64 c #Conflicts: 531000 | #Constraints: 58297
961.94/964.64 c INPROCESSING
961.94/964.64 c GARBAGE COLLECT
961.94/964.64 c rational objective 0
989.06/991.85 c #Conflicts: 532000 | #Constraints: 44917
989.06/991.85 c #Conflicts: 533000 | #Constraints: 45917
989.06/991.85 c #Conflicts: 534000 | #Constraints: 46917
989.06/991.85 c #Conflicts: 535000 | #Constraints: 47917
989.06/991.85 c #Conflicts: 536000 | #Constraints: 48917
989.06/991.85 c #Conflicts: 537000 | #Constraints: 49918
989.06/991.85 c #Conflicts: 538000 | #Constraints: 50919
989.06/991.85 c #Conflicts: 539000 | #Constraints: 51924
989.06/991.85 c #Conflicts: 540000 | #Constraints: 52925
989.06/991.85 c #Conflicts: 541000 | #Constraints: 53925
989.06/991.85 c #Conflicts: 542000 | #Constraints: 54925
989.06/991.85 c #Conflicts: 543000 | #Constraints: 55925
989.06/991.85 c #Conflicts: 544000 | #Constraints: 56925
989.06/991.85 c #Conflicts: 545000 | #Constraints: 57925
989.06/991.85 c #Conflicts: 546000 | #Constraints: 58926
989.06/991.85 c INPROCESSING
989.06/991.85 c GARBAGE COLLECT
989.06/991.85 c rational objective 1.03398e-25
1013.29/1016.16 c #Conflicts: 547000 | #Constraints: 45279
1013.29/1016.16 c #Conflicts: 548000 | #Constraints: 46279
1013.29/1016.16 c #Conflicts: 549000 | #Constraints: 47279
1013.29/1016.16 c #Conflicts: 550000 | #Constraints: 48279
1013.29/1016.16 c #Conflicts: 551000 | #Constraints: 49280
1013.29/1016.16 c #Conflicts: 552000 | #Constraints: 50280
1013.29/1016.16 c #Conflicts: 553000 | #Constraints: 51280
1013.29/1016.16 c #Conflicts: 554000 | #Constraints: 52280
1013.29/1016.16 c #Conflicts: 555000 | #Constraints: 53280
1013.29/1016.16 c #Conflicts: 556000 | #Constraints: 54280
1013.29/1016.16 c #Conflicts: 557000 | #Constraints: 55281
1013.29/1016.16 c #Conflicts: 558000 | #Constraints: 56281
1013.29/1016.16 c #Conflicts: 559000 | #Constraints: 57281
1013.29/1016.16 c #Conflicts: 560000 | #Constraints: 58282
1013.29/1016.16 c #Conflicts: 561000 | #Constraints: 59287
1013.29/1016.16 c INPROCESSING
1013.29/1016.16 c GARBAGE COLLECT
1013.29/1016.16 c rational objective 0
1041.21/1044.19 c #Conflicts: 562000 | #Constraints: 45421
1041.21/1044.19 c #Conflicts: 563000 | #Constraints: 46423
1041.21/1044.19 c #Conflicts: 564000 | #Constraints: 47424
1041.21/1044.19 c #Conflicts: 565000 | #Constraints: 48424
1041.21/1044.19 c #Conflicts: 566000 | #Constraints: 49426
1041.21/1044.19 c #Conflicts: 567000 | #Constraints: 50426
1041.21/1044.19 c #Conflicts: 568000 | #Constraints: 51426
1041.21/1044.19 c #Conflicts: 569000 | #Constraints: 52426
1041.21/1044.19 c #Conflicts: 570000 | #Constraints: 53428
1041.21/1044.19 c #Conflicts: 571000 | #Constraints: 54432
1041.21/1044.19 c #Conflicts: 572000 | #Constraints: 55434
1041.21/1044.19 c #Conflicts: 573000 | #Constraints: 56438
1041.21/1044.19 c #Conflicts: 574000 | #Constraints: 57440
1041.21/1044.19 c #Conflicts: 575000 | #Constraints: 58442
1041.21/1044.19 c #Conflicts: 576000 | #Constraints: 59445
1041.21/1044.19 c INPROCESSING
1041.21/1044.19 c GARBAGE COLLECT
1041.21/1044.19 c rational objective 0
1065.84/1068.80 c #Conflicts: 577000 | #Constraints: 45467
1065.84/1068.80 c #Conflicts: 578000 | #Constraints: 46468
1065.84/1068.80 c #Conflicts: 579000 | #Constraints: 47468
1065.84/1068.80 c #Conflicts: 580000 | #Constraints: 48468
1065.84/1068.80 c #Conflicts: 581000 | #Constraints: 49468
1065.84/1068.80 c #Conflicts: 582000 | #Constraints: 50468
1065.84/1068.80 c #Conflicts: 583000 | #Constraints: 51468
1065.84/1068.80 c #Conflicts: 584000 | #Constraints: 52469
1065.84/1068.80 c #Conflicts: 585000 | #Constraints: 53471
1065.84/1068.80 c #Conflicts: 586000 | #Constraints: 54472
1065.84/1068.80 c #Conflicts: 587000 | #Constraints: 55472
1065.84/1068.80 c #Conflicts: 588000 | #Constraints: 56475
1065.84/1068.80 c #Conflicts: 589000 | #Constraints: 57477
1065.84/1068.80 c #Conflicts: 590000 | #Constraints: 58477
1065.84/1068.80 c #Conflicts: 591000 | #Constraints: 59477
1065.84/1068.80 c INPROCESSING
1065.84/1068.80 c GARBAGE COLLECT
1065.84/1068.80 c rational objective 0
1100.54/1103.68 c #Conflicts: 592000 | #Constraints: 45288
1100.54/1103.68 c #Conflicts: 593000 | #Constraints: 46289
1100.54/1103.68 c #Conflicts: 594000 | #Constraints: 47291
1100.54/1103.68 c #Conflicts: 595000 | #Constraints: 48291
1100.54/1103.68 c #Conflicts: 596000 | #Constraints: 49293
1100.54/1103.68 c #Conflicts: 597000 | #Constraints: 50293
1100.54/1103.68 c #Conflicts: 598000 | #Constraints: 51293
1100.54/1103.68 c #Conflicts: 599000 | #Constraints: 52293
1100.54/1103.68 c #Conflicts: 600000 | #Constraints: 53293
1100.54/1103.68 c #Conflicts: 601000 | #Constraints: 54293
1100.54/1103.68 c #Conflicts: 602000 | #Constraints: 55293
1100.54/1103.68 c #Conflicts: 603000 | #Constraints: 56294
1100.54/1103.68 c #Conflicts: 604000 | #Constraints: 57294
1100.54/1103.68 c #Conflicts: 605000 | #Constraints: 58303
1100.54/1103.68 c #Conflicts: 606000 | #Constraints: 59310
1100.54/1103.68 c #Conflicts: 607000 | #Constraints: 60313
1100.54/1103.68 c INPROCESSING
1100.54/1103.68 c GARBAGE COLLECT
1100.54/1103.68 c rational objective 0
1132.84/1136.07 c #Conflicts: 608000 | #Constraints: 45884
1132.84/1136.07 c #Conflicts: 609000 | #Constraints: 46887
1132.84/1136.07 c #Conflicts: 610000 | #Constraints: 47888
1132.84/1136.07 c #Conflicts: 611000 | #Constraints: 48895
1132.84/1136.07 c #Conflicts: 612000 | #Constraints: 49895
1132.84/1136.07 c #Conflicts: 613000 | #Constraints: 50896
1132.84/1136.07 c #Conflicts: 614000 | #Constraints: 51897
1132.84/1136.07 c #Conflicts: 615000 | #Constraints: 52897
1132.84/1136.07 c #Conflicts: 616000 | #Constraints: 53897
1132.84/1136.07 c #Conflicts: 617000 | #Constraints: 54897
1132.84/1136.07 c #Conflicts: 618000 | #Constraints: 55897
1132.84/1136.07 c #Conflicts: 619000 | #Constraints: 56897
1132.84/1136.07 c #Conflicts: 620000 | #Constraints: 57899
1132.84/1136.07 c #Conflicts: 621000 | #Constraints: 58901
1132.84/1136.07 c #Conflicts: 622000 | #Constraints: 59904
1132.84/1136.07 c #Conflicts: 623000 | #Constraints: 60906
1132.84/1136.07 c INPROCESSING
1132.84/1136.07 c GARBAGE COLLECT
1132.84/1136.07 c rational objective 0
1158.66/1161.99 c #Conflicts: 624000 | #Constraints: 46290
1158.66/1161.99 c #Conflicts: 625000 | #Constraints: 47290
1158.66/1161.99 c #Conflicts: 626000 | #Constraints: 48292
1158.66/1161.99 c #Conflicts: 627000 | #Constraints: 49293
1158.66/1161.99 c #Conflicts: 628000 | #Constraints: 50296
1158.66/1161.99 c #Conflicts: 629000 | #Constraints: 51300
1158.66/1161.99 c #Conflicts: 630000 | #Constraints: 52301
1158.66/1161.99 c #Conflicts: 631000 | #Constraints: 53303
1158.66/1161.99 c #Conflicts: 632000 | #Constraints: 54305
1158.66/1161.99 c #Conflicts: 633000 | #Constraints: 55306
1158.66/1161.99 c #Conflicts: 634000 | #Constraints: 56307
1158.66/1161.99 c #Conflicts: 635000 | #Constraints: 57315
1158.66/1161.99 c #Conflicts: 636000 | #Constraints: 58316
1158.66/1161.99 c #Conflicts: 637000 | #Constraints: 59316
1158.66/1161.99 c #Conflicts: 638000 | #Constraints: 60316
1158.66/1161.99 c #Conflicts: 639000 | #Constraints: 61316
1158.66/1161.99 c INPROCESSING
1158.66/1161.99 c GARBAGE COLLECT
1158.66/1161.99 c rational objective 0
1189.28/1192.62 c #Conflicts: 640000 | #Constraints: 46481
1189.28/1192.62 c #Conflicts: 641000 | #Constraints: 47481
1189.28/1192.62 c #Conflicts: 642000 | #Constraints: 48481
1189.28/1192.62 c #Conflicts: 643000 | #Constraints: 49481
1189.28/1192.62 c #Conflicts: 644000 | #Constraints: 50481
1189.28/1192.62 c #Conflicts: 645000 | #Constraints: 51481
1189.28/1192.62 c #Conflicts: 646000 | #Constraints: 52481
1189.28/1192.62 c #Conflicts: 647000 | #Constraints: 53481
1189.28/1192.62 c #Conflicts: 648000 | #Constraints: 54481
1189.28/1192.62 c #Conflicts: 649000 | #Constraints: 55481
1189.28/1192.62 c #Conflicts: 650000 | #Constraints: 56481
1189.28/1192.62 c #Conflicts: 651000 | #Constraints: 57481
1189.28/1192.62 c #Conflicts: 652000 | #Constraints: 58482
1189.28/1192.62 c #Conflicts: 653000 | #Constraints: 59482
1189.28/1192.62 c #Conflicts: 654000 | #Constraints: 60483
1189.28/1192.62 c #Conflicts: 655000 | #Constraints: 61483
1189.28/1192.62 c INPROCESSING
1189.28/1192.62 c GARBAGE COLLECT
1189.28/1192.62 c rational objective 0
1227.17/1230.69 c #Conflicts: 656000 | #Constraints: 46471
1227.17/1230.69 c #Conflicts: 657000 | #Constraints: 47471
1227.17/1230.69 c #Conflicts: 658000 | #Constraints: 48471
1227.17/1230.69 c #Conflicts: 659000 | #Constraints: 49471
1227.17/1230.69 c #Conflicts: 660000 | #Constraints: 50471
1227.17/1230.69 c #Conflicts: 661000 | #Constraints: 51471
1227.17/1230.69 c #Conflicts: 662000 | #Constraints: 52471
1227.17/1230.69 c #Conflicts: 663000 | #Constraints: 53471
1227.17/1230.69 c #Conflicts: 664000 | #Constraints: 54471
1227.17/1230.69 c #Conflicts: 665000 | #Constraints: 55471
1227.17/1230.69 c #Conflicts: 666000 | #Constraints: 56471
1227.17/1230.69 c #Conflicts: 667000 | #Constraints: 57471
1227.17/1230.69 c #Conflicts: 668000 | #Constraints: 58471
1227.17/1230.69 c #Conflicts: 669000 | #Constraints: 59471
1227.17/1230.69 c #Conflicts: 670000 | #Constraints: 60472
1227.17/1230.69 c #Conflicts: 671000 | #Constraints: 61472
1227.17/1230.69 c INPROCESSING
1227.17/1230.69 c GARBAGE COLLECT
1227.17/1230.69 c rational objective 0
1256.79/1260.39 c #Conflicts: 672000 | #Constraints: 46327
1256.79/1260.39 c #Conflicts: 673000 | #Constraints: 47328
1256.79/1260.39 c #Conflicts: 674000 | #Constraints: 48330
1256.79/1260.39 c #Conflicts: 675000 | #Constraints: 49330
1256.79/1260.39 c #Conflicts: 676000 | #Constraints: 50330
1256.79/1260.39 c #Conflicts: 677000 | #Constraints: 51330
1256.79/1260.39 c #Conflicts: 678000 | #Constraints: 52333
1256.79/1260.39 c #Conflicts: 679000 | #Constraints: 53338
1256.79/1260.39 c #Conflicts: 680000 | #Constraints: 54340
1256.79/1260.39 c #Conflicts: 681000 | #Constraints: 55340
1256.79/1260.39 c #Conflicts: 682000 | #Constraints: 56340
1256.79/1260.39 c #Conflicts: 683000 | #Constraints: 57340
1256.79/1260.39 c #Conflicts: 684000 | #Constraints: 58347
1256.79/1260.39 c #Conflicts: 685000 | #Constraints: 59348
1256.79/1260.39 c #Conflicts: 686000 | #Constraints: 60349
1256.79/1260.39 c #Conflicts: 687000 | #Constraints: 61349
1256.79/1260.39 c #Conflicts: 688000 | #Constraints: 62349
1256.79/1260.39 c INPROCESSING
1256.79/1260.39 c GARBAGE COLLECT
1256.79/1260.39 c rational objective 0
1285.21/1288.87 c #Conflicts: 689000 | #Constraints: 46952
1285.21/1288.87 c #Conflicts: 690000 | #Constraints: 47953
1285.21/1288.87 c #Conflicts: 691000 | #Constraints: 48953
1285.21/1288.87 c #Conflicts: 692000 | #Constraints: 49953
1285.21/1288.87 c #Conflicts: 693000 | #Constraints: 50953
1285.21/1288.87 c #Conflicts: 694000 | #Constraints: 51953
1285.21/1288.87 c #Conflicts: 695000 | #Constraints: 52953
1285.21/1288.87 c #Conflicts: 696000 | #Constraints: 53955
1285.21/1288.87 c #Conflicts: 697000 | #Constraints: 54956
1285.21/1288.87 c #Conflicts: 698000 | #Constraints: 55956
1285.21/1288.87 c #Conflicts: 699000 | #Constraints: 56956
1285.21/1288.87 c #Conflicts: 700000 | #Constraints: 57957
1285.21/1288.87 c #Conflicts: 701000 | #Constraints: 58958
1285.21/1288.87 c #Conflicts: 702000 | #Constraints: 59959
1285.21/1288.87 c #Conflicts: 703000 | #Constraints: 60959
1285.21/1288.87 c #Conflicts: 704000 | #Constraints: 61960
1285.21/1288.87 c #Conflicts: 705000 | #Constraints: 62967
1285.21/1288.87 c INPROCESSING
1285.21/1288.87 c GARBAGE COLLECT
1285.21/1288.87 c rational objective 0
1544.59/1548.99 c #Conflicts: 706000 | #Constraints: 47383
1544.59/1548.99 c #Conflicts: 707000 | #Constraints: 48384
1544.59/1548.99 c #Conflicts: 708000 | #Constraints: 49384
1544.59/1548.99 c #Conflicts: 709000 | #Constraints: 50384
1544.59/1548.99 c #Conflicts: 710000 | #Constraints: 51385
1544.59/1548.99 c #Conflicts: 711000 | #Constraints: 52385
1544.59/1548.99 c #Conflicts: 712000 | #Constraints: 53385
1544.59/1548.99 c #Conflicts: 713000 | #Constraints: 54385
1544.59/1548.99 c #Conflicts: 714000 | #Constraints: 55387
1544.59/1548.99 c #Conflicts: 715000 | #Constraints: 56389
1544.59/1548.99 c #Conflicts: 716000 | #Constraints: 57391
1544.59/1548.99 c #Conflicts: 717000 | #Constraints: 58394
1544.59/1548.99 c #Conflicts: 718000 | #Constraints: 59397
1544.59/1548.99 c #Conflicts: 719000 | #Constraints: 60397
1544.59/1548.99 c #Conflicts: 720000 | #Constraints: 61398
1544.59/1548.99 c #Conflicts: 721000 | #Constraints: 62405
1544.59/1548.99 c #Conflicts: 722000 | #Constraints: 63411
1544.59/1548.99 c #Conflicts: 723000 | #Constraints: 64420
1544.59/1548.99 c #Conflicts: 724000 | #Constraints: 65420
1544.59/1548.99 c #Conflicts: 725000 | #Constraints: 66420
1544.59/1548.99 c #Conflicts: 726000 | #Constraints: 67420
1544.59/1548.99 c #Conflicts: 727000 | #Constraints: 68422
1544.59/1548.99 c #Conflicts: 728000 | #Constraints: 69422
1544.59/1548.99 c #Conflicts: 729000 | #Constraints: 70423
1544.59/1548.99 c #Conflicts: 730000 | #Constraints: 71425
1544.59/1548.99 c #Conflicts: 731000 | #Constraints: 72425
1544.59/1548.99 c #Conflicts: 732000 | #Constraints: 73426
1544.59/1548.99 c #Conflicts: 733000 | #Constraints: 74428
1544.59/1548.99 c #Conflicts: 734000 | #Constraints: 75429
1544.59/1548.99 c #Conflicts: 735000 | #Constraints: 76439
1544.59/1548.99 c #Conflicts: 736000 | #Constraints: 77444
1544.59/1548.99 c #Conflicts: 737000 | #Constraints: 78451
1544.59/1548.99 c #Conflicts: 738000 | #Constraints: 79452
1544.59/1548.99 c #Conflicts: 739000 | #Constraints: 80452
1544.59/1548.99 c #Conflicts: 740000 | #Constraints: 81457
1544.59/1548.99 c #Conflicts: 741000 | #Constraints: 82464
1544.59/1548.99 c #Conflicts: 742000 | #Constraints: 83472
1544.59/1548.99 c #Conflicts: 743000 | #Constraints: 84483
1544.59/1548.99 c #Conflicts: 744000 | #Constraints: 85484
1544.59/1548.99 c #Conflicts: 745000 | #Constraints: 86484
1544.59/1548.99 c #Conflicts: 746000 | #Constraints: 87770
1544.59/1548.99 c #Conflicts: 747000 | #Constraints: 89133
1544.59/1548.99 c #Conflicts: 748000 | #Constraints: 90442
1544.59/1548.99 c #Conflicts: 749000 | #Constraints: 91442
1544.59/1548.99 c #Conflicts: 750000 | #Constraints: 92442
1544.59/1548.99 c #Conflicts: 751000 | #Constraints: 93442
1544.59/1548.99 c #Conflicts: 752000 | #Constraints: 94442
1544.59/1548.99 c #Conflicts: 753000 | #Constraints: 95442
1544.59/1548.99 c #Conflicts: 754000 | #Constraints: 96442
1544.59/1548.99 c #Conflicts: 755000 | #Constraints: 97442
1544.59/1548.99 c #Conflicts: 756000 | #Constraints: 98442
1544.59/1548.99 c #Conflicts: 757000 | #Constraints: 99442
1544.59/1548.99 c #Conflicts: 758000 | #Constraints: 100442
1544.59/1548.99 c #Conflicts: 759000 | #Constraints: 101442
1544.59/1548.99 c #Conflicts: 760000 | #Constraints: 102442
1544.59/1548.99 c #Conflicts: 761000 | #Constraints: 103442
1544.59/1548.99 c #Conflicts: 762000 | #Constraints: 104446
1544.59/1548.99 c #Conflicts: 763000 | #Constraints: 105446
1544.59/1548.99 c #Conflicts: 764000 | #Constraints: 106446
1544.59/1548.99 c #Conflicts: 765000 | #Constraints: 107446
1544.59/1548.99 c #Conflicts: 766000 | #Constraints: 108446
1544.59/1548.99 c #Conflicts: 767000 | #Constraints: 109451
1544.59/1548.99 c #Conflicts: 768000 | #Constraints: 110549
1544.59/1548.99 c #Conflicts: 769000 | #Constraints: 111549
1544.59/1548.99 c #Conflicts: 770000 | #Constraints: 112549
1544.59/1548.99 c #Conflicts: 771000 | #Constraints: 113555
1544.59/1548.99 c #Conflicts: 772000 | #Constraints: 114555
1544.59/1548.99 c #Conflicts: 773000 | #Constraints: 115555
1544.59/1548.99 c #Conflicts: 774000 | #Constraints: 116555
1544.59/1548.99 c #Conflicts: 775000 | #Constraints: 117555
1544.59/1548.99 c #Conflicts: 776000 | #Constraints: 118563
1544.59/1548.99 c #Conflicts: 777000 | #Constraints: 119576
1544.59/1548.99 c #Conflicts: 778000 | #Constraints: 120594
1544.59/1548.99 c #Conflicts: 779000 | #Constraints: 121835
1544.59/1548.99 c #Conflicts: 780000 | #Constraints: 122916
1544.59/1548.99 c #Conflicts: 781000 | #Constraints: 123916
1544.59/1548.99 c #Conflicts: 782000 | #Constraints: 124916
1544.59/1548.99 c #Conflicts: 783000 | #Constraints: 125916
1544.59/1548.99 c #Conflicts: 784000 | #Constraints: 126916
1763.77/1768.71 c #Conflicts: 785000 | #Constraints: 127916
1763.77/1768.71 c #Conflicts: 786000 | #Constraints: 128916
1763.77/1768.71 c #Conflicts: 787000 | #Constraints: 129916
1763.77/1768.71 c #Conflicts: 788000 | #Constraints: 130916
1763.77/1768.71 c #Conflicts: 789000 | #Constraints: 131916
1763.77/1768.71 c #Conflicts: 790000 | #Constraints: 132916
1763.77/1768.71 c INPROCESSING
1763.77/1768.71 c GARBAGE COLLECT
1763.77/1768.71 c #Conflicts: 791000 | #Constraints: 82115
1763.77/1768.71 c #Conflicts: 792000 | #Constraints: 83115
1763.77/1768.71 c #Conflicts: 793000 | #Constraints: 84115
1763.77/1768.71 c #Conflicts: 794000 | #Constraints: 85115
1763.77/1768.71 c #Conflicts: 795000 | #Constraints: 86115
1763.77/1768.71 c #Conflicts: 796000 | #Constraints: 87115
1763.77/1768.71 c #Conflicts: 797000 | #Constraints: 88115
1763.77/1768.71 c #Conflicts: 798000 | #Constraints: 89115
1763.77/1768.71 c #Conflicts: 799000 | #Constraints: 90115
1763.77/1768.71 c #Conflicts: 800000 | #Constraints: 91164
1763.77/1768.71 c #Conflicts: 801000 | #Constraints: 92209
1763.77/1768.71 c #Conflicts: 802000 | #Constraints: 93300
1763.77/1768.71 c #Conflicts: 803000 | #Constraints: 94300
1763.77/1768.71 c #Conflicts: 804000 | #Constraints: 95300
1763.77/1768.71 c #Conflicts: 805000 | #Constraints: 96300
1763.77/1768.71 c #Conflicts: 806000 | #Constraints: 97300
1763.77/1768.71 c #Conflicts: 807000 | #Constraints: 98300
1763.77/1768.71 c #Conflicts: 808000 | #Constraints: 99300
1763.77/1768.71 c INPROCESSING
1763.77/1768.71 c GARBAGE COLLECT
1763.77/1768.71 c #Conflicts: 809000 | #Constraints: 65281
1763.77/1768.71 c #Conflicts: 810000 | #Constraints: 66282
1763.77/1768.71 c #Conflicts: 811000 | #Constraints: 67375
1763.77/1768.71 c #Conflicts: 812000 | #Constraints: 68648
1763.77/1768.71 c #Conflicts: 813000 | #Constraints: 69924
1763.77/1768.71 c #Conflicts: 814000 | #Constraints: 70924
1763.77/1768.71 c #Conflicts: 815000 | #Constraints: 71924
1763.77/1768.71 c #Conflicts: 816000 | #Constraints: 72924
1763.77/1768.71 c #Conflicts: 817000 | #Constraints: 73924
1763.77/1768.71 c #Conflicts: 818000 | #Constraints: 74925
1763.77/1768.71 c #Conflicts: 819000 | #Constraints: 75925
1763.77/1768.71 c #Conflicts: 820000 | #Constraints: 76925
1763.77/1768.71 c #Conflicts: 821000 | #Constraints: 77942
1763.77/1768.71 c #Conflicts: 822000 | #Constraints: 78942
1763.77/1768.71 c #Conflicts: 823000 | #Constraints: 79942
1763.77/1768.71 c #Conflicts: 824000 | #Constraints: 80942
1763.77/1768.71 c #Conflicts: 825000 | #Constraints: 81942
1763.77/1768.71 c #Conflicts: 826000 | #Constraints: 82942
1763.77/1768.71 c INPROCESSING
1763.77/1768.71 c GARBAGE COLLECT
1763.77/1768.71 c rational objective 0
1881.95/1887.22 c #Conflicts: 827000 | #Constraints: 57020
1881.95/1887.22 c #Conflicts: 828000 | #Constraints: 58020
1881.95/1887.22 c #Conflicts: 829000 | #Constraints: 59020
1881.95/1887.22 c #Conflicts: 830000 | #Constraints: 60020
1881.95/1887.22 c #Conflicts: 831000 | #Constraints: 61020
1881.95/1887.22 c #Conflicts: 832000 | #Constraints: 62020
1881.95/1887.22 c #Conflicts: 833000 | #Constraints: 63020
1881.95/1887.22 c #Conflicts: 834000 | #Constraints: 64020
1881.95/1887.22 c #Conflicts: 835000 | #Constraints: 65020
1881.95/1887.22 c #Conflicts: 836000 | #Constraints: 66020
1881.95/1887.22 c #Conflicts: 837000 | #Constraints: 67020
1881.95/1887.22 c #Conflicts: 838000 | #Constraints: 68020
1881.95/1887.22 c #Conflicts: 839000 | #Constraints: 69020
1881.95/1887.22 c #Conflicts: 840000 | #Constraints: 70020
1881.95/1887.22 c #Conflicts: 841000 | #Constraints: 71021
1881.95/1887.22 c #Conflicts: 842000 | #Constraints: 72021
1881.95/1887.22 c #Conflicts: 843000 | #Constraints: 73021
1881.95/1887.22 c #Conflicts: 844000 | #Constraints: 74021
1881.95/1887.22 c #Conflicts: 845000 | #Constraints: 75021
1881.95/1887.22 c INPROCESSING
1881.95/1887.22 c GARBAGE COLLECT
1881.95/1887.22 c #Conflicts: 846000 | #Constraints: 53231
1881.95/1887.22 c #Conflicts: 847000 | #Constraints: 54231
1881.95/1887.22 c #Conflicts: 848000 | #Constraints: 55231
1881.95/1887.22 c #Conflicts: 849000 | #Constraints: 56231
1881.95/1887.22 c #Conflicts: 850000 | #Constraints: 57231
1881.95/1887.22 c #Conflicts: 851000 | #Constraints: 58231
1881.95/1887.22 c #Conflicts: 852000 | #Constraints: 59231
1881.95/1887.22 c #Conflicts: 853000 | #Constraints: 60231
1881.95/1887.22 c #Conflicts: 854000 | #Constraints: 61231
1881.95/1887.22 c #Conflicts: 855000 | #Constraints: 62231
1881.95/1887.22 c #Conflicts: 856000 | #Constraints: 63231
1881.95/1887.22 c #Conflicts: 857000 | #Constraints: 64231
1881.95/1887.22 c #Conflicts: 858000 | #Constraints: 65231
1881.95/1887.22 c #Conflicts: 859000 | #Constraints: 66231
1881.95/1887.22 c #Conflicts: 860000 | #Constraints: 67231
1881.95/1887.22 c #Conflicts: 861000 | #Constraints: 68231
1881.95/1887.22 c #Conflicts: 862000 | #Constraints: 69231
1881.95/1887.22 c #Conflicts: 863000 | #Constraints: 70231
1881.95/1887.22 c #Conflicts: 864000 | #Constraints: 71231
1881.95/1887.22 c INPROCESSING
1881.95/1887.22 c GARBAGE COLLECT
1881.95/1887.22 c rational objective 0
1961.94/1967.48 c #Conflicts: 865000 | #Constraints: 51546
1961.94/1967.48 c #Conflicts: 866000 | #Constraints: 52546
1961.94/1967.48 c #Conflicts: 867000 | #Constraints: 53546
1961.94/1967.48 c #Conflicts: 868000 | #Constraints: 54546
1961.94/1967.48 c #Conflicts: 869000 | #Constraints: 55546
1961.94/1967.48 c #Conflicts: 870000 | #Constraints: 56546
1961.94/1967.48 c #Conflicts: 871000 | #Constraints: 57546
1961.94/1967.48 c #Conflicts: 872000 | #Constraints: 58546
1961.94/1967.48 c #Conflicts: 873000 | #Constraints: 59546
1961.94/1967.48 c #Conflicts: 874000 | #Constraints: 60546
1961.94/1967.48 c #Conflicts: 875000 | #Constraints: 61546
1961.94/1967.48 c #Conflicts: 876000 | #Constraints: 62546
1961.94/1967.48 c #Conflicts: 877000 | #Constraints: 63547
1961.94/1967.48 c #Conflicts: 878000 | #Constraints: 64547
1961.94/1967.48 c #Conflicts: 879000 | #Constraints: 65547
1961.94/1967.48 c #Conflicts: 880000 | #Constraints: 66547
1961.94/1967.48 c #Conflicts: 881000 | #Constraints: 67547
1961.94/1967.48 c #Conflicts: 882000 | #Constraints: 68547
1961.94/1967.48 c INPROCESSING
1961.94/1967.48 c GARBAGE COLLECT
1961.94/1967.48 c #Conflicts: 883000 | #Constraints: 49708
1961.94/1967.48 c #Conflicts: 884000 | #Constraints: 50709
1961.94/1967.48 c #Conflicts: 885000 | #Constraints: 51709
1961.94/1967.48 c #Conflicts: 886000 | #Constraints: 52709
1961.94/1967.48 c #Conflicts: 887000 | #Constraints: 53709
1961.94/1967.48 c #Conflicts: 888000 | #Constraints: 54709
1961.94/1967.48 c #Conflicts: 889000 | #Constraints: 55709
1961.94/1967.48 c #Conflicts: 890000 | #Constraints: 56986
1961.94/1967.48 c #Conflicts: 891000 | #Constraints: 58045
1961.94/1967.48 c #Conflicts: 892000 | #Constraints: 59045
1961.94/1967.48 c #Conflicts: 893000 | #Constraints: 60045
1961.94/1967.48 c #Conflicts: 894000 | #Constraints: 61045
1961.94/1967.48 c #Conflicts: 895000 | #Constraints: 62045
1961.94/1967.48 c #Conflicts: 896000 | #Constraints: 63045
1961.94/1967.48 c #Conflicts: 897000 | #Constraints: 64045
1961.94/1967.48 c #Conflicts: 898000 | #Constraints: 65045
1961.94/1967.48 c #Conflicts: 899000 | #Constraints: 66045
1961.94/1967.48 c #Conflicts: 900000 | #Constraints: 67045
1961.94/1967.48 c #Conflicts: 901000 | #Constraints: 68045
1961.94/1967.48 c #Conflicts: 902000 | #Constraints: 69045
1961.94/1967.48 c INPROCESSING
1961.94/1967.48 c GARBAGE COLLECT
1961.94/1967.48 c rational objective 0
2181.66/2187.74 c #Conflicts: 903000 | #Constraints: 50429
2181.66/2187.74 c #Conflicts: 904000 | #Constraints: 51430
2181.66/2187.74 c #Conflicts: 905000 | #Constraints: 52430
2181.66/2187.74 c #Conflicts: 906000 | #Constraints: 53430
2181.66/2187.74 c #Conflicts: 907000 | #Constraints: 54430
2181.66/2187.74 c #Conflicts: 908000 | #Constraints: 55430
2181.66/2187.74 c #Conflicts: 909000 | #Constraints: 56430
2181.66/2187.74 c #Conflicts: 910000 | #Constraints: 57430
2181.66/2187.74 c #Conflicts: 911000 | #Constraints: 58430
2181.66/2187.74 c #Conflicts: 912000 | #Constraints: 59430
2181.66/2187.74 c #Conflicts: 913000 | #Constraints: 60431
2181.66/2187.74 c #Conflicts: 914000 | #Constraints: 61432
2181.66/2187.74 c #Conflicts: 915000 | #Constraints: 62435
2181.66/2187.74 c #Conflicts: 916000 | #Constraints: 63436
2181.66/2187.74 c #Conflicts: 917000 | #Constraints: 64438
2181.66/2187.74 c #Conflicts: 918000 | #Constraints: 65438
2181.66/2187.74 c #Conflicts: 919000 | #Constraints: 66438
2181.66/2187.74 c #Conflicts: 920000 | #Constraints: 67438
2181.66/2187.74 c #Conflicts: 921000 | #Constraints: 68439
2181.66/2187.74 c #Conflicts: 922000 | #Constraints: 69439
2181.66/2187.74 c #Conflicts: 923000 | #Constraints: 70439
2181.66/2187.74 c #Conflicts: 924000 | #Constraints: 71439
2181.66/2187.74 c #Conflicts: 925000 | #Constraints: 72439
2181.66/2187.74 c #Conflicts: 926000 | #Constraints: 73439
2181.66/2187.74 c #Conflicts: 927000 | #Constraints: 74439
2181.66/2187.74 c #Conflicts: 928000 | #Constraints: 75440
2181.66/2187.74 c #Conflicts: 929000 | #Constraints: 76441
2181.66/2187.74 c #Conflicts: 930000 | #Constraints: 77443
2181.66/2187.74 c #Conflicts: 931000 | #Constraints: 78443
2181.66/2187.74 c #Conflicts: 932000 | #Constraints: 79443
2181.66/2187.74 c #Conflicts: 933000 | #Constraints: 80443
2181.66/2187.74 c #Conflicts: 934000 | #Constraints: 81443
2181.66/2187.74 c #Conflicts: 935000 | #Constraints: 82444
2181.66/2187.74 c #Conflicts: 936000 | #Constraints: 83444
2181.66/2187.74 c #Conflicts: 937000 | #Constraints: 84444
2181.66/2187.74 c #Conflicts: 938000 | #Constraints: 85444
2181.66/2187.74 c #Conflicts: 939000 | #Constraints: 86444
2181.66/2187.74 c #Conflicts: 940000 | #Constraints: 87446
2181.66/2187.74 c #Conflicts: 941000 | #Constraints: 88450
2181.66/2187.74 c #Conflicts: 942000 | #Constraints: 89453
2181.66/2187.74 c #Conflicts: 943000 | #Constraints: 90453
2181.66/2187.74 c #Conflicts: 944000 | #Constraints: 91453
2181.66/2187.74 c #Conflicts: 945000 | #Constraints: 92453
2181.66/2187.74 c #Conflicts: 946000 | #Constraints: 93453
2181.66/2187.74 c #Conflicts: 947000 | #Constraints: 94453
2181.66/2187.74 c #Conflicts: 948000 | #Constraints: 95454
2181.66/2187.74 c #Conflicts: 949000 | #Constraints: 96454
2181.66/2187.74 c #Conflicts: 950000 | #Constraints: 97455
2181.66/2187.74 c #Conflicts: 951000 | #Constraints: 98455
2181.66/2187.74 c #Conflicts: 952000 | #Constraints: 99457
2181.66/2187.74 c #Conflicts: 953000 | #Constraints: 100463
2181.66/2187.74 c #Conflicts: 954000 | #Constraints: 101473
2181.66/2187.74 c #Conflicts: 955000 | #Constraints: 102483
2181.66/2187.74 c #Conflicts: 956000 | #Constraints: 103483
2181.66/2187.74 c #Conflicts: 957000 | #Constraints: 104483
2181.66/2187.74 c #Conflicts: 958000 | #Constraints: 105483
2181.66/2187.74 c #Conflicts: 959000 | #Constraints: 106483
2181.66/2187.74 c #Conflicts: 960000 | #Constraints: 107484
2181.66/2187.74 c #Conflicts: 961000 | #Constraints: 108484
2181.66/2187.74 c #Conflicts: 962000 | #Constraints: 109486
2181.66/2187.74 c #Conflicts: 963000 | #Constraints: 110487
2181.66/2187.74 c #Conflicts: 964000 | #Constraints: 111488
2181.66/2187.74 c #Conflicts: 965000 | #Constraints: 112489
2181.66/2187.74 c #Conflicts: 966000 | #Constraints: 113489
2181.66/2187.74 c #Conflicts: 967000 | #Constraints: 114491
2181.66/2187.74 c #Conflicts: 968000 | #Constraints: 115492
2181.66/2187.74 c #Conflicts: 969000 | #Constraints: 116494
2181.66/2187.74 c #Conflicts: 970000 | #Constraints: 117494
2181.66/2187.74 c #Conflicts: 971000 | #Constraints: 118499
2181.66/2187.74 c #Conflicts: 972000 | #Constraints: 119499
2181.66/2187.74 c #Conflicts: 973000 | #Constraints: 120503
2181.66/2187.74 c #Conflicts: 974000 | #Constraints: 121504
2181.66/2187.74 c #Conflicts: 975000 | #Constraints: 122506
2181.66/2187.74 c #Conflicts: 976000 | #Constraints: 123507
2181.66/2187.74 c #Conflicts: 977000 | #Constraints: 124509
2181.66/2187.74 c #Conflicts: 978000 | #Constraints: 125511
2181.66/2187.74 c #Conflicts: 979000 | #Constraints: 126514
2181.66/2187.74 c #Conflicts: 980000 | #Constraints: 127516
2181.66/2187.74 c #Conflicts: 981000 | #Constraints: 128519
2243.68/2249.93 c #Conflicts: 982000 | #Constraints: 129521
2243.68/2249.93 c #Conflicts: 983000 | #Constraints: 130524
2243.68/2249.93 c #Conflicts: 984000 | #Constraints: 131527
2243.68/2249.93 c #Conflicts: 985000 | #Constraints: 132529
2243.68/2249.93 c #Conflicts: 986000 | #Constraints: 133535
2243.68/2249.93 c #Conflicts: 987000 | #Constraints: 134536
2243.68/2249.93 c #Conflicts: 988000 | #Constraints: 135536
2243.68/2249.93 c #Conflicts: 989000 | #Constraints: 136538
2243.68/2249.93 c #Conflicts: 990000 | #Constraints: 137542
2243.68/2249.93 c #Conflicts: 991000 | #Constraints: 138542
2243.68/2249.93 c #Conflicts: 992000 | #Constraints: 139542
2243.68/2249.93 c #Conflicts: 993000 | #Constraints: 140544
2243.68/2249.93 c #Conflicts: 994000 | #Constraints: 141545
2243.68/2249.93 c #Conflicts: 995000 | #Constraints: 142546
2243.68/2249.93 c #Conflicts: 996000 | #Constraints: 143547
2243.68/2249.93 c INPROCESSING
2243.68/2249.93 c GARBAGE COLLECT
2243.68/2249.93 c rational objective 0
2292.16/2298.54 c #Conflicts: 997000 | #Constraints: 87761
2292.16/2298.54 c #Conflicts: 998000 | #Constraints: 88763
2292.16/2298.54 c #Conflicts: 999000 | #Constraints: 89763
2292.16/2298.54 c #Conflicts: 1000000 | #Constraints: 90766
2292.16/2298.54 c #Conflicts: 1001000 | #Constraints: 91773
2292.16/2298.54 c #Conflicts: 1002000 | #Constraints: 92776
2292.16/2298.54 c #Conflicts: 1003000 | #Constraints: 93780
2292.16/2298.54 c #Conflicts: 1004000 | #Constraints: 94783
2292.16/2298.54 c #Conflicts: 1005000 | #Constraints: 95788
2292.16/2298.54 c #Conflicts: 1006000 | #Constraints: 96789
2292.16/2298.54 c #Conflicts: 1007000 | #Constraints: 97798
2292.16/2298.54 c #Conflicts: 1008000 | #Constraints: 98807
2292.16/2298.54 c #Conflicts: 1009000 | #Constraints: 99815
2292.16/2298.54 c #Conflicts: 1010000 | #Constraints: 100821
2292.16/2298.54 c #Conflicts: 1011000 | #Constraints: 101828
2292.16/2298.54 c #Conflicts: 1012000 | #Constraints: 102838
2292.16/2298.54 c #Conflicts: 1013000 | #Constraints: 103846
2292.16/2298.54 c #Conflicts: 1014000 | #Constraints: 104850
2292.16/2298.54 c #Conflicts: 1015000 | #Constraints: 105850
2292.16/2298.54 c #Conflicts: 1016000 | #Constraints: 106854
2292.16/2298.54 c INPROCESSING
2292.16/2298.54 c GARBAGE COLLECT
2292.16/2298.54 c rational objective 0
2347.40/2353.95 c #Conflicts: 1017000 | #Constraints: 69134
2347.40/2353.95 c #Conflicts: 1018000 | #Constraints: 70134
2347.40/2353.95 c #Conflicts: 1019000 | #Constraints: 71134
2347.40/2353.95 c #Conflicts: 1020000 | #Constraints: 72134
2347.40/2353.95 c #Conflicts: 1021000 | #Constraints: 73134
2347.40/2353.95 c #Conflicts: 1022000 | #Constraints: 74134
2347.40/2353.95 c #Conflicts: 1023000 | #Constraints: 75134
2347.40/2353.95 c #Conflicts: 1024000 | #Constraints: 76134
2347.40/2353.95 c #Conflicts: 1025000 | #Constraints: 77134
2347.40/2353.95 c #Conflicts: 1026000 | #Constraints: 78134
2347.40/2353.95 c #Conflicts: 1027000 | #Constraints: 79135
2347.40/2353.95 c #Conflicts: 1028000 | #Constraints: 80140
2347.40/2353.95 c #Conflicts: 1029000 | #Constraints: 81142
2347.40/2353.95 c #Conflicts: 1030000 | #Constraints: 82146
2347.40/2353.95 c #Conflicts: 1031000 | #Constraints: 83149
2347.40/2353.95 c #Conflicts: 1032000 | #Constraints: 84157
2347.40/2353.95 c #Conflicts: 1033000 | #Constraints: 85157
2347.40/2353.95 c #Conflicts: 1034000 | #Constraints: 86158
2347.40/2353.95 c #Conflicts: 1035000 | #Constraints: 87163
2347.40/2353.95 c #Conflicts: 1036000 | #Constraints: 88164
2347.40/2353.95 c #Conflicts: 1037000 | #Constraints: 89165
2347.40/2353.95 c INPROCESSING
2347.40/2353.95 c GARBAGE COLLECT
2347.40/2353.95 c rational objective 0
3325.99/3335.24 c #Conflicts: 1038000 | #Constraints: 60498
3325.99/3335.24 c #Conflicts: 1039000 | #Constraints: 61498
3325.99/3335.24 c #Conflicts: 1040000 | #Constraints: 62498
3325.99/3335.24 c #Conflicts: 1041000 | #Constraints: 63498
3325.99/3335.24 c #Conflicts: 1042000 | #Constraints: 64498
3325.99/3335.24 c #Conflicts: 1043000 | #Constraints: 65498
3325.99/3335.24 c #Conflicts: 1044000 | #Constraints: 66498
3325.99/3335.24 c #Conflicts: 1045000 | #Constraints: 67498
3325.99/3335.24 c #Conflicts: 1046000 | #Constraints: 68498
3325.99/3335.24 c #Conflicts: 1047000 | #Constraints: 69498
3325.99/3335.24 c #Conflicts: 1048000 | #Constraints: 70498
3325.99/3335.24 c #Conflicts: 1049000 | #Constraints: 71498
3325.99/3335.24 c #Conflicts: 1050000 | #Constraints: 72498
3325.99/3335.24 c #Conflicts: 1051000 | #Constraints: 73498
3325.99/3335.24 c #Conflicts: 1052000 | #Constraints: 74499
3325.99/3335.24 c #Conflicts: 1053000 | #Constraints: 75499
3325.99/3335.24 c #Conflicts: 1054000 | #Constraints: 76499
3325.99/3335.24 c #Conflicts: 1055000 | #Constraints: 77499
3325.99/3335.24 c #Conflicts: 1056000 | #Constraints: 78502
3325.99/3335.24 c #Conflicts: 1057000 | #Constraints: 79568
3325.99/3335.24 c INPROCESSING
3325.99/3335.24 c GARBAGE COLLECT
3325.99/3335.24 c #Conflicts: 1058000 | #Constraints: 55413
3325.99/3335.24 c #Conflicts: 1059000 | #Constraints: 56413
3325.99/3335.24 c #Conflicts: 1060000 | #Constraints: 57413
3325.99/3335.24 c #Conflicts: 1061000 | #Constraints: 58413
3325.99/3335.24 c #Conflicts: 1062000 | #Constraints: 59413
3325.99/3335.24 c #Conflicts: 1063000 | #Constraints: 60413
3325.99/3335.24 c #Conflicts: 1064000 | #Constraints: 61413
3325.99/3335.24 c #Conflicts: 1065000 | #Constraints: 62413
3325.99/3335.24 c #Conflicts: 1066000 | #Constraints: 63413
3325.99/3335.24 c #Conflicts: 1067000 | #Constraints: 64413
3325.99/3335.24 c #Conflicts: 1068000 | #Constraints: 65413
3325.99/3335.24 c #Conflicts: 1069000 | #Constraints: 66413
3325.99/3335.24 c #Conflicts: 1070000 | #Constraints: 67413
3325.99/3335.24 c #Conflicts: 1071000 | #Constraints: 68413
3325.99/3335.24 c #Conflicts: 1072000 | #Constraints: 69413
3325.99/3335.24 c #Conflicts: 1073000 | #Constraints: 70413
3325.99/3335.24 c #Conflicts: 1074000 | #Constraints: 71413
3325.99/3335.24 c #Conflicts: 1075000 | #Constraints: 72413
3325.99/3335.24 c #Conflicts: 1076000 | #Constraints: 73413
3325.99/3335.24 c #Conflicts: 1077000 | #Constraints: 74413
3325.99/3335.24 c #Conflicts: 1078000 | #Constraints: 75413
3325.99/3335.24 c INPROCESSING
3325.99/3335.24 c GARBAGE COLLECT
3325.99/3335.24 c rational objective 0
3494.05/3503.79 c #Conflicts: 1079000 | #Constraints: 53144
3494.05/3503.79 c #Conflicts: 1080000 | #Constraints: 54144
3494.05/3503.79 c #Conflicts: 1081000 | #Constraints: 55144
3494.05/3503.79 c #Conflicts: 1082000 | #Constraints: 56144
3494.05/3503.79 c #Conflicts: 1083000 | #Constraints: 57144
3494.05/3503.79 c #Conflicts: 1084000 | #Constraints: 58144
3494.05/3503.79 c #Conflicts: 1085000 | #Constraints: 59145
3494.05/3503.79 c #Conflicts: 1086000 | #Constraints: 60151
3494.05/3503.79 c #Conflicts: 1087000 | #Constraints: 61160
3494.05/3503.79 c #Conflicts: 1088000 | #Constraints: 62164
3494.05/3503.79 c #Conflicts: 1089000 | #Constraints: 63167
3494.05/3503.79 c #Conflicts: 1090000 | #Constraints: 64170
3494.05/3503.79 c #Conflicts: 1091000 | #Constraints: 65178
3494.05/3503.79 c #Conflicts: 1092000 | #Constraints: 66183
3494.05/3503.79 c #Conflicts: 1093000 | #Constraints: 67208
3494.05/3503.79 c #Conflicts: 1094000 | #Constraints: 68324
3494.05/3503.79 c #Conflicts: 1095000 | #Constraints: 69742
3494.05/3503.79 c #Conflicts: 1096000 | #Constraints: 71138
3494.05/3503.79 c #Conflicts: 1097000 | #Constraints: 72552
3494.05/3503.79 c #Conflicts: 1098000 | #Constraints: 73936
3494.05/3503.79 c #Conflicts: 1099000 | #Constraints: 75300
3494.05/3503.79 c #Conflicts: 1100000 | #Constraints: 76693
3494.05/3503.79 c INPROCESSING
3494.05/3503.79 c GARBAGE COLLECT
3494.05/3503.79 c #Conflicts: 1101000 | #Constraints: 54223
3494.05/3503.79 c #Conflicts: 1102000 | #Constraints: 55223
3494.05/3503.79 c #Conflicts: 1103000 | #Constraints: 56223
3494.05/3503.79 c #Conflicts: 1104000 | #Constraints: 57223
3494.05/3503.79 c #Conflicts: 1105000 | #Constraints: 58223
3494.05/3503.79 c #Conflicts: 1106000 | #Constraints: 59223
3494.05/3503.79 c #Conflicts: 1107000 | #Constraints: 60223
3494.05/3503.79 c #Conflicts: 1108000 | #Constraints: 61223
3494.05/3503.79 c #Conflicts: 1109000 | #Constraints: 62223
3494.05/3503.79 c #Conflicts: 1110000 | #Constraints: 63223
3494.05/3503.79 c #Conflicts: 1111000 | #Constraints: 64223
3494.05/3503.79 c #Conflicts: 1112000 | #Constraints: 65223
3494.05/3503.79 c #Conflicts: 1113000 | #Constraints: 66223
3494.05/3503.79 c #Conflicts: 1114000 | #Constraints: 67223
3494.05/3503.79 c #Conflicts: 1115000 | #Constraints: 68223
3494.05/3503.79 c #Conflicts: 1116000 | #Constraints: 69223
3494.05/3503.79 c #Conflicts: 1117000 | #Constraints: 70223
3494.05/3503.79 c #Conflicts: 1118000 | #Constraints: 71223
3494.05/3503.79 c #Conflicts: 1119000 | #Constraints: 72223
3494.05/3503.79 c #Conflicts: 1120000 | #Constraints: 73223
3494.05/3503.79 c #Conflicts: 1121000 | #Constraints: 74223
3494.05/3503.79 c INPROCESSING
3494.05/3503.79 c GARBAGE COLLECT
3494.05/3503.79 c rational objective 0
3538.04/3547.83 c #Conflicts: 1122000 | #Constraints: 52874
3538.04/3547.83 c #Conflicts: 1123000 | #Constraints: 53874
3538.04/3547.83 c #Conflicts: 1124000 | #Constraints: 54874
3538.04/3547.83 c #Conflicts: 1125000 | #Constraints: 55874
3538.04/3547.83 c #Conflicts: 1126000 | #Constraints: 56874
3538.04/3547.83 c #Conflicts: 1127000 | #Constraints: 57875
3538.04/3547.83 c #Conflicts: 1128000 | #Constraints: 58878
3538.04/3547.83 c #Conflicts: 1129000 | #Constraints: 59881
3538.04/3547.83 c #Conflicts: 1130000 | #Constraints: 60882
3538.04/3547.83 c #Conflicts: 1131000 | #Constraints: 61882
3538.04/3547.83 c #Conflicts: 1132000 | #Constraints: 62882
3538.04/3547.83 c #Conflicts: 1133000 | #Constraints: 63882
3538.04/3547.83 c #Conflicts: 1134000 | #Constraints: 64883
3538.04/3547.83 c #Conflicts: 1135000 | #Constraints: 65885
3538.04/3547.83 c #Conflicts: 1136000 | #Constraints: 66886
3538.04/3547.83 c #Conflicts: 1137000 | #Constraints: 67886
3538.04/3547.83 c #Conflicts: 1138000 | #Constraints: 68886
3538.04/3547.83 c #Conflicts: 1139000 | #Constraints: 69887
3538.04/3547.83 c #Conflicts: 1140000 | #Constraints: 70889
3538.04/3547.83 c #Conflicts: 1141000 | #Constraints: 71891
3538.04/3547.83 c #Conflicts: 1142000 | #Constraints: 72891
3538.04/3547.83 c #Conflicts: 1143000 | #Constraints: 73894
3538.04/3547.83 c INPROCESSING
3538.04/3547.83 c GARBAGE COLLECT
3538.04/3547.83 c rational objective 0
3578.43/3588.35 c #Conflicts: 1144000 | #Constraints: 52891
3578.43/3588.35 c #Conflicts: 1145000 | #Constraints: 53891
3578.43/3588.35 c #Conflicts: 1146000 | #Constraints: 54894
3578.43/3588.35 c #Conflicts: 1147000 | #Constraints: 55894
3578.43/3588.35 c #Conflicts: 1148000 | #Constraints: 56894
3578.43/3588.35 c #Conflicts: 1149000 | #Constraints: 57894
3578.43/3588.35 c #Conflicts: 1150000 | #Constraints: 58894
3578.43/3588.35 c #Conflicts: 1151000 | #Constraints: 59895
3578.43/3588.35 c #Conflicts: 1152000 | #Constraints: 60901
3578.43/3588.35 c #Conflicts: 1153000 | #Constraints: 61907
3578.43/3588.35 c #Conflicts: 1154000 | #Constraints: 62911
3578.43/3588.35 c #Conflicts: 1155000 | #Constraints: 63911
3578.43/3588.35 c #Conflicts: 1156000 | #Constraints: 64912
3578.43/3588.35 c #Conflicts: 1157000 | #Constraints: 65913
3578.43/3588.35 c #Conflicts: 1158000 | #Constraints: 66913
3578.43/3588.35 c #Conflicts: 1159000 | #Constraints: 67913
3578.43/3588.35 c #Conflicts: 1160000 | #Constraints: 68913
3578.43/3588.35 c #Conflicts: 1161000 | #Constraints: 69913
3578.43/3588.35 c #Conflicts: 1162000 | #Constraints: 70913
3578.43/3588.35 c #Conflicts: 1163000 | #Constraints: 71913
3578.43/3588.35 c #Conflicts: 1164000 | #Constraints: 72914
3578.43/3588.35 c INPROCESSING
3578.43/3588.35 c GARBAGE COLLECT
3578.43/3588.35 c rational objective -2.106e-11
3600.08/3610.00 c #Conflicts: 1165000 | #Constraints: 51968
3600.08/3610.00 c #Conflicts: 1166000 | #Constraints: 52968
3600.08/3610.00 c #Conflicts: 1167000 | #Constraints: 53968
3600.08/3610.00 c #Conflicts: 1168000 | #Constraints: 54970
3600.08/3610.00 c #Conflicts: 1169000 | #Constraints: 55971
3600.08/3610.00 c #Conflicts: 1170000 | #Constraints: 56972
3600.08/3610.00 c #Conflicts: 1171000 | #Constraints: 57972
3600.08/3610.00 c #Conflicts: 1172000 | #Constraints: 58972
3600.08/3610.00 c #Conflicts: 1173000 | #Constraints: 59973
3600.08/3610.00 c #Conflicts: 1174000 | #Constraints: 60973
3600.08/3610.00 c #Conflicts: 1175000 | #Constraints: 61973
3600.08/3610.00 c #Conflicts: 1176000 | #Constraints: 62974
3600.08/3610.00 c cpu time 3572.59 s
3600.08/3610.00 c deterministic time 574085947288 5.74e+11
3600.08/3610.00 c optimization time 20.3869 s
3600.08/3610.00 c total solve time 3552.1 s
3600.08/3610.00 c core-guided solve time 1983.76 s
3600.08/3610.00 c propagation time 2334.83 s
3600.08/3610.00 c conflict analysis time 885.428 s
3600.08/3610.00 c propagations 744744003
3600.08/3610.00 c resolve steps 47270260
3600.08/3610.00 c decisions 19291791
3600.08/3610.00 c conflicts 1176724
3600.08/3610.00 c restarts 2173
3600.08/3610.00 c inprocessing phases 91
3600.08/3610.00 c garbage collections 91 ,( 100.00 )
3600.08/3610.00 c input clauses 6727 ,( 23.10 )
3600.08/3610.00 c input cardinalities 112 ,( 0.38 )
3600.08/3610.00 c input general constraints 22288 ,( 76.52 )
3600.08/3610.00 c input average constraint length 4.60
3600.08/3610.00 c input average constraint degree 8.14
3600.08/3610.00 c learned clauses 453571 ,( 38.26 )
3600.08/3610.00 c learned cardinalities 98905 ,( 8.34 )
3600.08/3610.00 c learned general constraints 633152 ,( 53.40 )
3600.08/3610.00 c learned average constraint length 1842.21
3600.08/3610.00 c learned average constraint degree 677693368.59
3600.08/3610.00 c watched CF 32, 64, 128, Arb: 561382 , 0 , 0 , 0
3600.08/3610.00 c counting CF 32, 64, 128, Arb: 94059 , 0 , 0 , 0
3600.08/3610.00 c watched constraints 561382 ,( 85.65 )
3600.08/3610.00 c counting constraints 94058 ,( 14.35 )
3600.08/3610.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 269519372 , 421663971 , 4386037681 ,( 1135926643 , 3250111038 )
3600.08/3610.00 c gcd simplifications 119421
3600.08/3610.00 c detected cardinalities 2313
3600.08/3610.00 c weakened non-implied lits 268006290
3600.08/3610.00 c weakened non-implying lits 335003
3600.08/3610.00 c original variables 35226
3600.08/3610.00 c clausal propagations 117242804
3600.08/3610.00 c cardinality propagations 121288608
3600.08/3610.00 c watched propagations 58678667
3600.08/3610.00 c counting propagations 421515123
3600.08/3610.00 c watch lookups 25104041577
3600.08/3610.00 c watch backjump lookups 0
3600.08/3610.00 c watch checks 211225125397
3600.08/3610.00 c propagation checks 331786493176
3600.08/3610.00 c constraint additions 4439415789
3600.08/3610.00 c trail pops 765176550
3600.08/3610.00 c formula constraints 29127
3600.08/3610.00 c learned constraints 1175569
3600.08/3610.00 c bound constraints 0
3600.08/3610.00 c core-guided constraints 0
3600.08/3610.00 c encountered formula constraints 44388260
3600.08/3610.00 c encountered learned constraints 3909727
3600.08/3610.00 c encountered bound constraints 0
3600.08/3610.00 c encountered core-guided constraints 0
3600.08/3610.00 c LP total time 644.025 s
3600.08/3610.00 c LP solve time 588.49 s
3600.08/3610.00 c LP constraints added 35115
3600.08/3610.00 c LP constraints removed 5889
3600.08/3610.00 c LP pivots internal 1176766
3600.08/3610.00 c LP pivots root 482238
3600.08/3610.00 c LP calls 7639
3600.08/3610.00 c LP optimalities 990
3600.08/3610.00 c LP no pivot count 268
3600.08/3610.00 c LP infeasibilities 6636
3600.08/3610.00 c LP valid Farkas constraints 6614
3600.08/3610.00 c LP learned Farkas constraints 1154
3600.08/3610.00 c LP basis resets 14
3600.08/3610.00 c LP cycling count 7
3600.08/3610.00 c LP singular count 0
3600.08/3610.00 c LP no primal count 0
3600.08/3610.00 c LP no farkas count 7
3600.08/3610.00 c LP other issue count 0
3600.08/3610.00 c LP Gomory cuts 2291
3600.08/3610.00 c LP learned cuts 3697
3600.08/3610.00 c LP deleted cuts 5889
3600.08/3610.00 c LP encountered Gomory constraints 103843
3600.08/3610.00 c LP encountered Farkas constraints 39365
3600.08/3610.00 c LP encountered learned Farkas constraints 4635
3600.08/3610.00 c CG auxiliary variables introduced 0
3600.08/3610.00 c CG solutions found 0
3600.08/3610.00 c CG cores constructed 0
3600.08/3610.00 c CG core cardinality constraints returned 0
3600.08/3610.00 c CG unit cores 0
3600.08/3610.00 c CG single cores 0
3600.08/3610.00 c CG blocks removed during cardinality reduction 0
3600.08/3610.00 c CG first core best 0
3600.08/3610.00 c CG decision core best 0
3600.08/3610.00 c CG core reduction tie 0
3600.08/3610.00 c CG core degree average 0.00
3600.08/3610.00 c CG core slack average 0.00
3600.08/3610.00 c CG core upper bound improvements 0
3600.08/3610.00 c STR number of successful calls 0
3600.08/3610.00 c STR number of unsuccessful calls 0
3600.08/3610.00 c STR number of inconclusive calls 0
3600.08/3610.00 c STR number of successful attempts 0
3600.08/3610.00 c STR number of unsuccessful attempts 0
3600.08/3610.00 c STR number of inconclusive attempts 0
3600.08/3610.00 c STR average degree increase per successful call inf
3600.08/3610.00 c STR average degree increase per successful attempt inf
3600.08/3610.00 c STR total number of conflicts for successful attempts 0
3600.08/3610.00 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3610.00 c STR total number of conflicts for inconclusive attempts 0
3600.08/3610.00 c STR average number of conflicts per successful attempt inf
3600.08/3610.00 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3610.00 c STR average number of conflicts per inconclusive attempt inf
3600.08/3610.00 c AVG.sumWPerc 21.46
3600.08/3610.00 c bigint constraints 0
3600.08/3610.00 s UNKNOWN
3600.08/3610.00 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (60241 MiB free)
memory of node 1: 64465 MiB (43582 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523980-1751591371/watcher-4523980-1751591371 -o /tmp/evaluation-result-4523980-1751591371/solver-4523980-1751591371 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751589980-84291 --watchdog 3760 run-opt-break.sh HOME/instance-4523980-1751591371.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=85191, runsolver pid=85188
[startup+0.100065 s]*
/proc/loadavg: 4.13 4.10 4.03 5/269 85193
/proc/meminfo: memFree=106278992/131249988 swapFree=33010160/33010684
[pid=85191] ppid=85188 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85191/stat : 85191 (run-opt-break.s) S 85188 85191 84281 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74814670 4292608 768 18446744073709551615 94074902691840 94074903586373 140729837978480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94074903825424 94074903873168 94074920902656 140729837984097 140729837984226 140729837984226 140729837989828 0
/proc/85191/statm: 1048 768 704 219 0 110 0
[pid=85193] ppid=85191 vsize=59948 memory=40428 CPUtime=0.08 cores=0,2
/proc/85193/stat : 85193 (pbsuma) R 85191 85191 84281 0 -1 4194304 11087 0 0 0 6 2 0 0 20 0 1 0 74814671 61386752 10107 18446744073709551615 4210688 4653049 140737140714336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 9351168 140737140722019 140737140722226 140737140722226 140737140727791 0
/proc/85193/statm: 14987 10107 1024 108 0 12395 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 64140 KiB
Current children cumulated memory: 43500 KiB
[startup+0.205848 s]*
/proc/loadavg: 4.13 4.10 4.03 5/269 85193
/proc/meminfo: memFree=106275212/131249988 swapFree=33010160/33010684
[pid=85191] ppid=85188 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85191/stat : 85191 (run-opt-break.s) S 85188 85191 84281 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74814670 4292608 768 18446744073709551615 94074902691840 94074903586373 140729837978480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94074903825424 94074903873168 94074920902656 140729837984097 140729837984226 140729837984226 140729837989828 0
/proc/85191/statm: 1048 768 704 219 0 110 0
[pid=85193] ppid=85191 vsize=61272 memory=43244 CPUtime=0.19 cores=0,2
/proc/85193/stat : 85193 (pbsuma) R 85191 85191 84281 0 -1 4194304 11791 0 0 0 17 2 0 0 20 0 1 0 74814671 62742528 10811 18446744073709551615 4210688 4653049 140737140714336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 9351168 140737140722019 140737140722226 140737140722226 140737140727791 0
/proc/85193/statm: 15318 10811 1024 108 0 12726 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65464 KiB
Current children cumulated memory: 46316 KiB
[startup+0.305697 s]*
/proc/loadavg: 4.13 4.10 4.03 5/269 85193
/proc/meminfo: memFree=106275212/131249988 swapFree=33010160/33010684
[pid=85191] ppid=85188 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85191/stat : 85191 (run-opt-break.s) S 85188 85191 84281 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74814670 4292608 768 18446744073709551615 94074902691840 94074903586373 140729837978480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94074903825424 94074903873168 94074920902656 140729837984097 140729837984226 140729837984226 140729837989828 0
/proc/85191/statm: 1048 768 704 219 0 110 0
[pid=85193] ppid=85191 vsize=61272 memory=43244 CPUtime=0.29 cores=0,2
/proc/85193/stat : 85193 (pbsuma) R 85191 85191 84281 0 -1 4194304 11791 0 0 0 27 2 0 0 20 0 1 0 74814671 62742528 10811 18446744073709551615 4210688 4653049 140737140714336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 9351168 140737140722019 140737140722226 140737140722226 140737140727791 0
/proc/85193/statm: 15318 10811 1024 108 0 12726 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 65464 KiB
Current children cumulated memory: 46316 KiB
[startup+0.700228 s]
/proc/loadavg: 4.13 4.10 4.03 5/269 85193
/proc/meminfo: memFree=106275212/131249988 swapFree=33010160/33010684
[pid=85191] ppid=85188 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85191/stat : 85191 (run-opt-break.s) S 85188 85191 84281 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74814670 4292608 768 18446744073709551615 94074902691840 94074903586373 140729837978480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94074903825424 94074903873168 94074920902656 140729837984097 140729837984226 140729837984226 140729837989828 0
/proc/85191/statm: 1048 768 704 219 0 110 0
[pid=85193] ppid=85191 vsize=61272 memory=43244 CPUtime=0.68 cores=0,2
/proc/85193/stat : 85193 (pbsuma) R 85191 85191 84281 0 -1 4194304 11791 0 0 0 66 2 0 0 20 0 1 0 74814671 62742528 10811 18446744073709551615 4210688 4653049 140737140714336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 9351168 140737140722019 140737140722226 140737140722226 140737140727791 0
/proc/85193/statm: 15318 10811 1024 108 0 12726 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 65464 KiB
Current children cumulated memory: 46316 KiB
[startup+1.50022 s]
/proc/loadavg: 4.13 4.10 4.03 5/269 85193
/proc/meminfo: memFree=106275212/131249988 swapFree=33010160/33010684
[pid=85191] ppid=85188 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85191/stat : 85191 (run-opt-break.s) S 85188 85191 84281 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74814670 4292608 768 18446744073709551615 94074902691840 94074903586373 140729837978480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94074903825424 94074903873168 94074920902656 140729837984097 140729837984226 140729837984226 140729837989828 0
/proc/85191/statm: 1048 768 704 219 0 110 0
[pid=85193] ppid=85191 vsize=61272 memory=43244 CPUtime=1.47 cores=0,2
/proc/85193/stat : 85193 (pbsuma) R 85191 85191 84281 0 -1 4194304 11791 0 0 0 145 2 0 0 20 0 1 0 74814671 62742528 10811 18446744073709551615 4210688 4653049 140737140714336 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 9351168 140737140722019 140737140722226 140737140722226 140737140727791 0
/proc/85193/statm: 15318 10811 1024 108 0 12726 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 65464 KiB
Current children cumulated memory: 46316 KiB
[startup+3.10545 s]
/proc/loadavg: 4.12 4.10 4.03 5/269 85194
/proc/meminfo: memFree=106231688/131249988 swapFree=33010160/33010684
[pid=85191] ppid=85188 vsize=4192 memory=3072 CPUtime=1.69 cores=0,2
/proc/85191/stat : 85191 (run-opt-break.s) S 85188 85191 84281 0 -1 4194304 238 18447 0 0 0 0 166 3 20 0 1 0 74814670 4292608 768 18446744073709551615 94074902691840 94074903586373 140729837978480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94074903825424 94074903873168 94074920902656 140729837984097 140729837984226 140729837984226 140729837989828 0
/proc/85191/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85191 vsize=135324 memory=87768 CPUtime=1.37 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85191 85191 84281 0 -1 4194304 15136 0 0 0 130 7 0 0 20 0 1 0 74814841 138571776 21942 18446744073709551615 4227072 8923433 140727155469136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27762688 140727155476836 140727155477032 140727155477032 140727155482602 0
/proc/85194/statm: 33831 21942 2368 1147 0 21258 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 139516 KiB
Current children cumulated memory: 90840 KiB
[startup+6.30021 s]
/proc/loadavg: 4.12 4.10 4.03 5/269 85194
/proc/meminfo: memFree=106203840/131249988 swapFree=33010160/33010684
[pid=85191] ppid=85188 vsize=4192 memory=3072 CPUtime=1.69 cores=0,2
/proc/85191/stat : 85191 (run-opt-break.s) S 85188 85191 84281 0 -1 4194304 238 18447 0 0 0 0 166 3 20 0 1 0 74814670 4292608 768 18446744073709551615 94074902691840 94074903586373 140729837978480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94074903825424 94074903873168 94074920902656 140729837984097 140729837984226 140729837984226 140729837989828 0
/proc/85191/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85191 vsize=160568 memory=107328 CPUtime=4.56 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85191 85191 84281 0 -1 4194304 18513 0 0 0 442 14 0 0 20 0 1 0 74814841 164421632 26832 18446744073709551615 4227072 8923433 140727155469136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27762688 140727155476836 140727155477032 140727155477032 140727155482602 0
/proc/85194/statm: 40142 26832 2368 1147 0 27569 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 164760 KiB
Current children cumulated memory: 110400 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.03 5/269 85194
/proc/meminfo: memFree=106179652/131249988 swapFree=33010160/33010684
[pid=85191] ppid=85188 vsize=4192 memory=3072 CPUtime=1.69 cores=0,2
/proc/85191/stat : 85191 (run-opt-break.s) S 85188 85191 84281 0 -1 4194304 238 18447 0 0 0 0 166 3 20 0 1 0 74814670 4292608 768 18446744073709551615 94074902691840 94074903586373 140729837978480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94074903825424 94074903873168 94074920902656 140729837984097 140729837984226 140729837984226 140729837989828 0
/proc/85191/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85191 vsize=191676 memory=132184 CPUtime=10.94 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85191 85191 84281 0 -1 4194304 22220 0 0 0 1070 24 0 0 20 0 1 0 74814841 196276224 33046 18446744073709551615 4227072 8923433 140727155469136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27762688 140727155476836 140727155477032 140727155477032 140727155482602 0
/proc/85194/statm: 47919 33046 2368 1147 0 35346 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 195868 KiB
Current children cumulated memory: 135256 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.03 5/269 85194
/proc/meminfo: memFree=106090828/131249988 swapFree=33010160/33010684
[pid=85191] ppid=85188 vsize=4192 memory=3072 CPUtime=1.69 cores=0,2
/proc/85191/stat : 85191 (run-opt-break.s) S 85188 85191 84281 0 -1 4194304 238 18447 0 0 0 0 166 3 20 0 1 0 74814670 4292608 768 18446744073709551615 94074902691840 94074903586373 140729837978480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94074903825424 94074903873168 94074920902656 140729837984097 140729837984226 140729837984226 140729837989828 0
/proc/85191/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85191 vsize=259736 memory=189208 CPUtime=23.7 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85191 85191 84281 0 -1 4194304 31968 0 0 0 2326 44 0 0 20 0 1 0 74814841 265969664 47302 18446744073709551615 4227072 8923433 140727155469136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27762688 140727155476836 140727155477032 140727155477032 140727155482602 0
/proc/85194/statm: 64934 47302 2368 1147 0 52361 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 263928 KiB
Current children cumulated memory: 192280 KiB
[startup+51.1058 s]
/proc/loadavg: 4.12 4.10 4.03 5/269 85195
/proc/meminfo: memFree=105993288/131249988 swapFree=33010160/33010684
[pid=85191] ppid=85188 vsize=4192 memory=3072 CPUtime=1.69 cores=0,2
/proc/85191/stat : 85191 (run-opt-break.s) S 85188 85191 84281 0 -1 4194304 238 18447 0 0 0 0 166 3 20 0 1 0 74814670 4292608 768 18446744073709551615 94074902691840 94074903586373 140729837978480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94074903825424 94074903873168 94074920902656 140729837984097 140729837984226 140729837984226 140729837989828 0
/proc/85191/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85191 vsize=290916 memory=231904 CPUtime=49.24 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85191 85191 84281 0 -1 4194304 39581 0 0 0 4839 85 0 0 20 0 1 0 74814841 297897984 57976 18446744073709551615 4227072 8923433 140727155469136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27762688 140727155476836 140727155477032 140727155477032 140727155482602 0
/proc/85194/statm: 72729 57976 2368 1147 0 60156 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 295108 KiB
Current children cumulated memory: 234976 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.11 4.04 5/269 85199
/proc/meminfo: memFree=105402984/131249988 swapFree=33010160/33010684
[pid=85191] ppid=85188 vsize=4192 memory=3072 CPUtime=1.69 cores=0,2
/proc/85191/stat : 85191 (run-opt-break.s) S 85188 85191 84281 0 -1 4194304 238 18447 0 0 0 0 166 3 20 0 1 0 74814670 4292608 768 18446744073709551615 94074902691840 94074903586373 140729837978480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94074903825424 94074903873168 94074920902656 140729837984097 140729837984226 140729837984226 140729837989828 0
/proc/85191/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85191 vsize=318788 memory=260064 CPUtime=100.3 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85191 85191 84281 0 -1 4194304 46630 0 0 0 9866 164 0 0 20 0 1 0 74814841 326438912 65016 18446744073709551615 4227072 8923433 140727155469136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27762688 140727155476836 140727155477032 140727155477032 140727155482602 0
/proc/85194/statm: 79697 65016 2368 1147 0 67124 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 322980 KiB
Current children cumulated memory: 263136 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.12 4.04 5/269 85201
/proc/meminfo: memFree=98855376/131249988 swapFree=33010160/33010684
[pid=85191] ppid=85188 vsize=4192 memory=3072 CPUtime=1.69 cores=0,2
/proc/85191/stat : 85191 (run-opt-break.s) S 85188 85191 84281 0 -1 4194304 238 18447 0 0 0 0 166 3 20 0 1 0 74814670 4292608 768 18446744073709551615 94074902691840 94074903586373 140729837978480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94074903825424 94074903873168 94074920902656 140729837984097 140729837984226 140729837984226 140729837989828 0
/proc/85191/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85191 vsize=401600 memory=339932 CPUtime=160.13 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85191 85191 84281 0 -1 4194304 55372 0 0 0 15776 237 0 0 20 0 1 0 74814841 411238400 84983 18446744073709551615 4227072 8923433 140727155469136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27762688 140727155476836 140727155477032 140727155477032 140727155482602 0
/proc/85194/statm: 100400 84983 2368 1147 0 87827 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 405792 KiB
Current children cumulated memory: 343004 KiB
[startup+222.3 s]
/proc/loadavg: 4.33 4.19 4.07 5/269 85203
/proc/meminfo: memFree=98567800/131249988 swapFree=33010160/33010684
[pid=85191] ppid=85188 vsize=4192 memory=3072 CPUtime=1.69 cores=0,2
/proc/85191/stat : 85191 (run-opt-break.s) S 85188 85191 84281 0 -1 4194304 238 18447 0 0 0 0 166 3 20 0 1 0 74814670 4292608 768 18446744073709551615 94074902691840 94074903586373 140729837978480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94074903825424 94074903873168 94074920902656 140729837984097 140729837984226 140729837984226 140729837989828 0
/proc/85191/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85191 vsize=436204 memory=378200 CPUtime=219.98 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85191 85191 84281 0 -1 4194304 63413 0 0 0 21676 322 0 0 20 0 1 0 74814841 446672896 94550 18446744073709551615 4227072 8923433 140727155469136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27762688 140727155476836 140727155477032 140727155477032 140727155482602 0
/proc/85194/statm: 109051 94550 2368 1147 0 96478 0
################
# More data... #
################
/proc/85194/statm: 971035 844587 2368 1147 0 958462 0
Current children cumulated CPU time: 3033.92 s
Current children cumulated vsize: 3888332 KiB
Current children cumulated memory: 3381420 KiB
[startup+3102.3 s]
/proc/loadavg: 4.31 4.18 4.12 5/268 85629
/proc/meminfo: memFree=118465572/131249988 swapFree=33010160/33010684
[pid=85191] ppid=85188 vsize=4192 memory=3072 CPUtime=1.69 cores=0,2
/proc/85191/stat : 85191 (run-opt-break.s) S 85188 85191 84281 0 -1 4194304 238 18447 0 0 0 0 166 3 20 0 1 0 74814670 4292608 768 18446744073709551615 94074902691840 94074903586373 140729837978480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94074903825424 94074903873168 94074920902656 140729837984097 140729837984226 140729837984226 140729837989828 0
/proc/85191/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85191 vsize=3884652 memory=3389740 CPUtime=3092.06 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85191 85191 84281 0 -1 4194304 525525 0 0 0 306819 2387 0 0 20 0 1 0 74814841 3977883648 847435 18446744073709551615 4227072 8923433 140727155469136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27762688 140727155476836 140727155477032 140727155477032 140727155482602 0
/proc/85194/statm: 971163 847435 2368 1147 0 958590 0
Current children cumulated CPU time: 3093.75 s
Current children cumulated vsize: 3888844 KiB
Current children cumulated memory: 3392812 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/267 85630
/proc/meminfo: memFree=118398916/131249988 swapFree=33010160/33010684
[pid=85191] ppid=85188 vsize=4192 memory=3072 CPUtime=1.69 cores=0,2
/proc/85191/stat : 85191 (run-opt-break.s) S 85188 85191 84281 0 -1 4194304 238 18447 0 0 0 0 166 3 20 0 1 0 74814670 4292608 768 18446744073709551615 94074902691840 94074903586373 140729837978480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94074903825424 94074903873168 94074920902656 140729837984097 140729837984226 140729837984226 140729837989828 0
/proc/85191/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85191 vsize=3885676 memory=3403948 CPUtime=3151.88 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85191 85191 84281 0 -1 4194304 529241 0 0 0 312799 2389 0 0 20 0 1 0 74814841 3978932224 850987 18446744073709551615 4227072 8923433 140727155469136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27762688 140727155476836 140727155477032 140727155477032 140727155482602 0
/proc/85194/statm: 971419 850987 2368 1147 0 958846 0
Current children cumulated CPU time: 3153.57 s
Current children cumulated vsize: 3889868 KiB
Current children cumulated memory: 3407020 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/264 85646
/proc/meminfo: memFree=120983772/131249988 swapFree=33010160/33010684
[pid=85191] ppid=85188 vsize=4192 memory=3072 CPUtime=1.69 cores=0,2
/proc/85191/stat : 85191 (run-opt-break.s) S 85188 85191 84281 0 -1 4194304 238 18447 0 0 0 0 166 3 20 0 1 0 74814670 4292608 768 18446744073709551615 94074902691840 94074903586373 140729837978480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94074903825424 94074903873168 94074920902656 140729837984097 140729837984226 140729837984226 140729837989828 0
/proc/85191/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85191 vsize=3889260 memory=3418540 CPUtime=3211.71 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85191 85191 84281 0 -1 4194304 532900 0 0 0 318778 2393 0 0 20 0 1 0 74814841 3982602240 854635 18446744073709551615 4227072 8923433 140727155469136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27762688 140727155476836 140727155477032 140727155477032 140727155482602 0
/proc/85194/statm: 972315 854635 2368 1147 0 959742 0
Current children cumulated CPU time: 3213.4 s
Current children cumulated vsize: 3893452 KiB
Current children cumulated memory: 3421612 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/266 85681
/proc/meminfo: memFree=120895964/131249988 swapFree=33010160/33010684
[pid=85191] ppid=85188 vsize=4192 memory=3072 CPUtime=1.69 cores=0,2
/proc/85191/stat : 85191 (run-opt-break.s) S 85188 85191 84281 0 -1 4194304 238 18447 0 0 0 0 166 3 20 0 1 0 74814670 4292608 768 18446744073709551615 94074902691840 94074903586373 140729837978480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94074903825424 94074903873168 94074920902656 140729837984097 140729837984226 140729837984226 140729837989828 0
/proc/85191/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85191 vsize=3890540 memory=3431084 CPUtime=3271.54 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85191 85191 84281 0 -1 4194304 536056 0 0 0 324759 2395 0 0 20 0 1 0 74814841 3983912960 857771 18446744073709551615 4227072 8923433 140727155469136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27762688 140727155476836 140727155477032 140727155477032 140727155482602 0
/proc/85194/statm: 972635 857771 2368 1147 0 960062 0
Current children cumulated CPU time: 3273.23 s
Current children cumulated vsize: 3894732 KiB
Current children cumulated memory: 3434156 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/266 85683
/proc/meminfo: memFree=120794088/131249988 swapFree=33010160/33010684
[pid=85191] ppid=85188 vsize=4192 memory=3072 CPUtime=1.69 cores=0,2
/proc/85191/stat : 85191 (run-opt-break.s) S 85188 85191 84281 0 -1 4194304 238 18447 0 0 0 0 166 3 20 0 1 0 74814670 4292608 768 18446744073709551615 94074902691840 94074903586373 140729837978480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94074903825424 94074903873168 94074920902656 140729837984097 140729837984226 140729837984226 140729837989828 0
/proc/85191/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85191 vsize=3893668 memory=3442220 CPUtime=3331.38 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85191 85191 84281 0 -1 4194304 539083 0 0 0 330733 2405 0 0 20 0 1 0 74814841 3987116032 860555 18446744073709551615 4227072 8923433 140727155469136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27762688 140727155476836 140727155477032 140727155477032 140727155482602 0
/proc/85194/statm: 973417 860555 2368 1147 0 960844 0
Current children cumulated CPU time: 3333.07 s
Current children cumulated vsize: 3897860 KiB
Current children cumulated memory: 3445292 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/267 85732
/proc/meminfo: memFree=121902600/131249988 swapFree=33010160/33010684
[pid=85191] ppid=85188 vsize=4192 memory=3072 CPUtime=1.69 cores=0,2
/proc/85191/stat : 85191 (run-opt-break.s) S 85188 85191 84281 0 -1 4194304 238 18447 0 0 0 0 166 3 20 0 1 0 74814670 4292608 768 18446744073709551615 94074902691840 94074903586373 140729837978480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94074903825424 94074903873168 94074920902656 140729837984097 140729837984226 140729837984226 140729837989828 0
/proc/85191/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85191 vsize=3906304 memory=3454828 CPUtime=3391.22 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85191 85191 84281 0 -1 4194304 540925 0 0 0 336698 2424 0 0 20 0 1 0 74814841 4000055296 863707 18446744073709551615 4227072 8923433 140727155469136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27762688 140727155476836 140727155477032 140727155477032 140727155482602 0
/proc/85194/statm: 976576 863707 2368 1147 0 964003 0
Current children cumulated CPU time: 3392.91 s
Current children cumulated vsize: 3910496 KiB
Current children cumulated memory: 3457900 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.12 4.10 5/268 85735
/proc/meminfo: memFree=121729100/131249988 swapFree=33010160/33010684
[pid=85191] ppid=85188 vsize=4192 memory=3072 CPUtime=1.69 cores=0,2
/proc/85191/stat : 85191 (run-opt-break.s) S 85188 85191 84281 0 -1 4194304 238 18447 0 0 0 0 166 3 20 0 1 0 74814670 4292608 768 18446744073709551615 94074902691840 94074903586373 140729837978480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94074903825424 94074903873168 94074920902656 140729837984097 140729837984226 140729837984226 140729837989828 0
/proc/85191/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85191 vsize=3909044 memory=3456364 CPUtime=3451.06 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85191 85191 84281 0 -1 4194304 541552 0 0 0 342648 2458 0 0 20 0 1 0 74814841 4002861056 864091 18446744073709551615 4227072 8923433 140727155469136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27762688 140727155476836 140727155477032 140727155477032 140727155482602 0
/proc/85194/statm: 977261 864091 2368 1147 0 964688 0
Current children cumulated CPU time: 3452.75 s
Current children cumulated vsize: 3913236 KiB
Current children cumulated memory: 3459436 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/268 85737
/proc/meminfo: memFree=121548144/131249988 swapFree=33010160/33010684
[pid=85191] ppid=85188 vsize=4192 memory=3072 CPUtime=1.69 cores=0,2
/proc/85191/stat : 85191 (run-opt-break.s) S 85188 85191 84281 0 -1 4194304 238 18447 0 0 0 0 166 3 20 0 1 0 74814670 4292608 768 18446744073709551615 94074902691840 94074903586373 140729837978480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94074903825424 94074903873168 94074920902656 140729837984097 140729837984226 140729837984226 140729837989828 0
/proc/85191/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85191 vsize=3909044 memory=3456364 CPUtime=3510.92 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85191 85191 84281 0 -1 4194304 541567 0 0 0 348613 2479 0 0 20 0 1 0 74814841 4002861056 864091 18446744073709551615 4227072 8923433 140727155469136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27762688 140727155476836 140727155477032 140727155477032 140727155482602 0
/proc/85194/statm: 977261 864091 2368 1147 0 964688 0
Current children cumulated CPU time: 3512.61 s
Current children cumulated vsize: 3913236 KiB
Current children cumulated memory: 3459436 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/268 85739
/proc/meminfo: memFree=121482004/131249988 swapFree=33010160/33010684
[pid=85191] ppid=85188 vsize=4192 memory=3072 CPUtime=1.69 cores=0,2
/proc/85191/stat : 85191 (run-opt-break.s) S 85188 85191 84281 0 -1 4194304 238 18447 0 0 0 0 166 3 20 0 1 0 74814670 4292608 768 18446744073709551615 94074902691840 94074903586373 140729837978480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94074903825424 94074903873168 94074920902656 140729837984097 140729837984226 140729837984226 140729837989828 0
/proc/85191/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85191 vsize=3909044 memory=3456364 CPUtime=3570.76 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85191 85191 84281 0 -1 4194304 541839 0 0 0 354516 2560 0 0 20 0 1 0 74814841 4002861056 864091 18446744073709551615 4227072 8923433 140727155469136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27762688 140727155476836 140727155477032 140727155477032 140727155482602 0
/proc/85194/statm: 977261 864091 2368 1147 0 964688 0
Current children cumulated CPU time: 3572.45 s
Current children cumulated vsize: 3913236 KiB
Current children cumulated memory: 3459436 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.07 4.11 4.09 5/268 85740
/proc/meminfo: memFree=121462520/131249988 swapFree=33010160/33010684
[pid=85191] ppid=85188 vsize=4192 memory=3072 CPUtime=1.69 cores=0,2
/proc/85191/stat : 85191 (run-opt-break.s) S 85188 85191 84281 0 -1 4194304 238 18447 0 0 0 0 166 3 20 0 1 0 74814670 4292608 768 18446744073709551615 94074902691840 94074903586373 140729837978480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94074903825424 94074903873168 94074920902656 140729837984097 140729837984226 140729837984226 140729837989828 0
/proc/85191/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85191 vsize=3909044 memory=3456364 CPUtime=3598.39 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85191 85191 84281 0 -1 4194304 541839 0 0 0 357258 2581 0 0 20 0 1 0 74814841 4002861056 864091 18446744073709551615 4227072 8923433 140727155469136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27762688 140727155476836 140727155477032 140727155477032 140727155482602 0
/proc/85194/statm: 977261 864091 2368 1147 0 964688 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3913236 KiB
Current children cumulated memory: 3459436 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.01 s]
# the end of solver process 85191 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.66373 s, system=0.036274 s
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 85194 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3574.26 s, system=25.9472 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.11
CPU time (s): 3600.21
CPU user time (s): 3574.26
CPU system time (s): 25.9472
CPU usage (%): 99.7257
Max. virtual memory (cumulated for all children) (KiB): 3913236
Max. memory (cumulated for all children) (KiB): 3459436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.26
system time used= 25.9472
maximum resident set size= 3456876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 560547
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 328
involuntary context switches= 4906
# summary of solver processes directly reported to runsolver:
# pid: 85191,85194
# total CPU time (s): 3600.21
# total CPU user time (s): 3574.26
# total CPU system time (s): 25.9472
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.24685 second user time and 17.8764 second system time
The end
Begin job on nodeC020 at 2025-07-04 03:09:31
IDJOB=4523980
IDBENCH=180463
IDSOLVER=3359
FILE ID=nodeC020/4523980-1751591371
RUNJOBID= nodeC020-1751589980-84291
SLURM_JOB_ID= 9598845
Free space on /tmp= 431624 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-AztecDiamondSym-mini-07_c24.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523980-1751591371/watcher-4523980-1751591371 -o /tmp/evaluation-result-4523980-1751591371/solver-4523980-1751591371 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751589980-84291 --watchdog 3760 run-opt-break.sh HOME/instance-4523980-1751591371.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7b7d352a7105ac7993395b7f6c3b04bc
RANDOM SEED=261338785
nodeC020 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.860
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.79
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.901
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.79
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 : 3643.663
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.79
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 : 3598.895
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.79
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.912
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.79
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.876
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.79
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 : 3599.980
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.79
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 : 3606.140
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 106315468 kB
MemAvailable: 106501384 kB
Buffers: 2128 kB
Cached: 977736 kB
SwapCached: 8 kB
Active: 23848488 kB
Inactive: 412320 kB
Active(anon): 23274420 kB
Inactive(anon): 24568 kB
Active(file): 574068 kB
Inactive(file): 387752 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8428 kB
Writeback: 200 kB
AnonPages: 23283816 kB
Mapped: 117760 kB
Shmem: 18044 kB
KReclaimable: 126668 kB
Slab: 218776 kB
SReclaimable: 126668 kB
SUnreclaim: 92108 kB
KernelStack: 4336 kB
PageTables: 48984 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 26749220 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8955904 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431648 MiB
End job on nodeC020 at 2025-07-04 04:09:41