0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4532510-1752683038.opb'
0.00/0.03 c read 0.79MB (10.68ms)
0.00/0.03 c [cnf: #variables 8424 #clauses 9090 #duplicates 0 #arr 81135]
0.00/0.03 c output proof to '/tmp/proof-4532510-1752683038'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.04 c [group: #orbits ~= 44] (10.82ms)
0.00/0.04 c
0.00/0.04 c detect special group actions
0.00/0.04 c probe for Johnson action (limit=64)
0.00/0.06 c probe for row-column symmetry (limit=64, splits=16.78M)
0.07/0.12 c probe for row symmetry (limit=64, splits=16.78M)
0.07/0.13 c recursing 378 blocks of candidate 9x1872r
0.07/0.13 c found row 3x18, generating row predicate
0.07/0.15 c found row 9x1872, generating row predicate
0.07/0.15 c (104.40ms)
0.07/0.15 c
0.07/0.15 c detect symmetries on remainder
0.07/0.15 c [graph: #vertices 50589 #edges 228420]
0.07/0.15 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.17/0.24 c [group: #symmetries 9.77*10^218 #generators 302] (94.43ms)
0.17/0.24 c
0.17/0.24 c optimize generators (opt_passes=64, conjugate_limit=256)
0.27/0.32 c opt it=15, l=9182, m=517, opt=58, avg=1284, b=28, gens=302
0.27/0.38 c opt it=31, l=14593, m=968, opt=95, avg=1273, b=28, gens=302
0.37/0.44 c opt it=47, l=20002, m=1414, opt=134, avg=1265, b=28, gens=302
0.37/0.50 c opt it=63, l=25402, m=1835, opt=158, avg=1258, b=28, gens=302
0.47/0.51 c ran it=0, +gens=84
0.66/0.73 c con best_support=28, best_gens=134, +gens=246
0.66/0.73 c (488.32ms)
0.66/0.73 c
0.66/0.73 c finalize break order and special generators
0.66/0.74 c
0.66/0.74 c add generic predicates (break_depth=20)
0.66/0.75 c added predicates for 632 generators (10.23ms)
1.66/1.70 c
1.66/1.70 c generation finished
1.66/1.70 c [sbp: #constraints 48408 #add_vars 16106]
1.66/1.70 c
1.66/1.70 c write result to 'HOME/instance-4532510-1752683038.opb.pre'
1.66/1.71 c wrote 2.64MB (5.83ms)
1.66/1.71 c ------------------------------------------------------------------
1.66/1.71 c 954.83ms 56.67% other
1.66/1.71 c 488.32ms 28.98% optimize_gens
1.66/1.71 c 104.40ms 6.20% detect_special
1.66/1.71 c 94.43ms 5.60% detect_generic
1.66/1.71 c 10.82ms 0.64% approx_orbits
1.66/1.71 c 10.68ms 0.63% parse
1.66/1.71 c 10.23ms 0.61% break_generic
1.66/1.71 c 5.83ms 0.35% output
1.66/1.71 c 5.46ms 0.32% finalize_order
1.66/1.71 c ───────────────────────────────────────────────
1.66/1.71 c 1684.99ms 100% total
1.66/1.71 c ------------------------------------------------------------------
1.66/1.72 c RoundingSat 2
1.66/1.72 c branch pb25
1.66/1.72 c commit 0f876b3
1.95/2.08 c #variables 24530 #constraints 57562
1.95/2.08 c objective is ce32
1.95/2.08 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.95/2.08 c initial counting CF 32, 64, 128, Arb: 577 , 0 , 0 , 0
1.95/2.08 c bounds - >= 0 @ 0.291375
4.24/4.31 c #Conflicts: 1000 | #Constraints: 58562
4.24/4.31 c #Conflicts: 2000 | #Constraints: 59563
4.24/4.31 c INPROCESSING
4.24/4.31 c GARBAGE COLLECT
4.24/4.31 c rational objective 9
10.32/10.41 c #Conflicts: 3000 | #Constraints: 51160
10.32/10.41 c #Conflicts: 4000 | #Constraints: 52160
10.32/10.41 c INPROCESSING
10.32/10.41 c GARBAGE COLLECT
10.32/10.41 c rational objective 9
15.61/15.73 c #Conflicts: 5000 | #Constraints: 51578
15.61/15.73 c #Conflicts: 6000 | #Constraints: 52579
15.61/15.73 c INPROCESSING
15.61/15.73 c GARBAGE COLLECT
15.61/15.73 c rational objective 9
17.80/17.95 c #Conflicts: 7000 | #Constraints: 51424
17.80/17.95 c #Conflicts: 8000 | #Constraints: 52424
17.80/17.95 c #Conflicts: 9000 | #Constraints: 53424
17.80/17.95 c INPROCESSING
17.80/17.95 c GARBAGE COLLECT
17.80/17.95 c rational objective 9
21.90/22.07 c #Conflicts: 10000 | #Constraints: 52132
21.90/22.07 c #Conflicts: 11000 | #Constraints: 53132
21.90/22.07 c #Conflicts: 12000 | #Constraints: 54133
21.90/22.07 c INPROCESSING
21.90/22.07 c GARBAGE COLLECT
21.90/22.07 c rational objective 9
24.67/24.81 c #Conflicts: 13000 | #Constraints: 52594
24.67/24.81 c #Conflicts: 14000 | #Constraints: 53595
24.67/24.81 c #Conflicts: 15000 | #Constraints: 54596
24.67/24.81 c INPROCESSING
24.67/24.81 c GARBAGE COLLECT
24.67/24.81 c rational objective 9
28.77/28.93 c #Conflicts: 16000 | #Constraints: 52817
28.77/28.93 c #Conflicts: 17000 | #Constraints: 53819
28.77/28.93 c #Conflicts: 18000 | #Constraints: 54822
28.77/28.93 c INPROCESSING
28.77/28.93 c GARBAGE COLLECT
28.77/28.93 c rational objective 9
34.05/34.25 c #Conflicts: 19000 | #Constraints: 52840
34.05/34.25 c #Conflicts: 20000 | #Constraints: 53841
34.05/34.25 c #Conflicts: 21000 | #Constraints: 54842
34.05/34.25 c INPROCESSING
34.05/34.25 c GARBAGE COLLECT
34.05/34.25 c rational objective 9
38.94/39.14 c #Conflicts: 22000 | #Constraints: 52628
38.94/39.14 c #Conflicts: 23000 | #Constraints: 53628
38.94/39.14 c #Conflicts: 24000 | #Constraints: 54628
38.94/39.14 c #Conflicts: 25000 | #Constraints: 55629
38.94/39.14 c INPROCESSING
38.94/39.14 c GARBAGE COLLECT
38.94/39.14 c rational objective 9
42.42/42.66 c #Conflicts: 26000 | #Constraints: 53240
42.42/42.66 c #Conflicts: 27000 | #Constraints: 54240
42.42/42.66 c #Conflicts: 28000 | #Constraints: 55240
42.42/42.66 c #Conflicts: 29000 | #Constraints: 56240
42.42/42.66 c INPROCESSING
42.42/42.66 c GARBAGE COLLECT
42.42/42.66 c rational objective 9
46.82/47.04 c #Conflicts: 30000 | #Constraints: 53640
46.82/47.04 c #Conflicts: 31000 | #Constraints: 54641
46.82/47.04 c #Conflicts: 32000 | #Constraints: 55641
46.82/47.04 c #Conflicts: 33000 | #Constraints: 56642
46.82/47.04 c INPROCESSING
46.82/47.04 c GARBAGE COLLECT
46.82/47.04 c rational objective 9
52.60/52.84 c #Conflicts: 34000 | #Constraints: 53829
52.60/52.84 c #Conflicts: 35000 | #Constraints: 54829
52.60/52.84 c #Conflicts: 36000 | #Constraints: 55830
52.60/52.84 c #Conflicts: 37000 | #Constraints: 56832
52.60/52.84 c INPROCESSING
52.60/52.84 c GARBAGE COLLECT
52.60/52.84 c rational objective 9
61.37/61.66 c #Conflicts: 38000 | #Constraints: 53815
61.37/61.66 c #Conflicts: 39000 | #Constraints: 54816
61.37/61.66 c #Conflicts: 40000 | #Constraints: 55817
61.37/61.66 c #Conflicts: 41000 | #Constraints: 56817
61.37/61.66 c INPROCESSING
61.37/61.66 c GARBAGE COLLECT
61.37/61.66 c rational objective 9
67.45/67.72 c #Conflicts: 42000 | #Constraints: 53628
67.45/67.72 c #Conflicts: 43000 | #Constraints: 54629
67.45/67.72 c #Conflicts: 44000 | #Constraints: 55630
67.45/67.72 c #Conflicts: 45000 | #Constraints: 56631
67.45/67.72 c #Conflicts: 46000 | #Constraints: 57632
67.45/67.72 c INPROCESSING
67.45/67.72 c GARBAGE COLLECT
67.45/67.72 c rational objective 9
77.52/77.86 c #Conflicts: 47000 | #Constraints: 54210
77.52/77.86 c #Conflicts: 48000 | #Constraints: 55211
77.52/77.86 c #Conflicts: 49000 | #Constraints: 56213
77.52/77.86 c #Conflicts: 50000 | #Constraints: 57214
77.52/77.86 c #Conflicts: 51000 | #Constraints: 58215
77.52/77.86 c INPROCESSING
77.52/77.86 c GARBAGE COLLECT
77.52/77.86 c rational objective 9
100.26/100.62 c #Conflicts: 52000 | #Constraints: 54617
100.26/100.62 c #Conflicts: 53000 | #Constraints: 55617
100.26/100.62 c #Conflicts: 54000 | #Constraints: 56618
100.26/100.62 c #Conflicts: 55000 | #Constraints: 57620
100.26/100.62 c #Conflicts: 56000 | #Constraints: 58620
100.26/100.62 c INPROCESSING
100.26/100.62 c GARBAGE COLLECT
100.26/100.62 c #Conflicts: 57000 | #Constraints: 54806
100.26/100.62 c #Conflicts: 58000 | #Constraints: 55806
100.26/100.62 c #Conflicts: 59000 | #Constraints: 56807
100.26/100.62 c #Conflicts: 60000 | #Constraints: 57807
100.26/100.62 c #Conflicts: 61000 | #Constraints: 58808
100.26/100.62 c INPROCESSING
100.26/100.62 c GARBAGE COLLECT
100.26/100.62 c rational objective 9
106.65/107.03 c #Conflicts: 62000 | #Constraints: 54831
106.65/107.03 c #Conflicts: 63000 | #Constraints: 55831
106.65/107.03 c #Conflicts: 64000 | #Constraints: 56834
106.65/107.03 c #Conflicts: 65000 | #Constraints: 57835
106.65/107.03 c #Conflicts: 66000 | #Constraints: 58837
106.65/107.03 c INPROCESSING
106.65/107.03 c GARBAGE COLLECT
106.65/107.03 c rational objective 9
121.59/122.01 c #Conflicts: 67000 | #Constraints: 54623
121.59/122.01 c #Conflicts: 68000 | #Constraints: 55623
121.59/122.01 c #Conflicts: 69000 | #Constraints: 56623
121.59/122.01 c #Conflicts: 70000 | #Constraints: 57623
121.59/122.01 c #Conflicts: 71000 | #Constraints: 58623
121.59/122.01 c #Conflicts: 72000 | #Constraints: 59623
121.59/122.01 c INPROCESSING
121.59/122.01 c GARBAGE COLLECT
121.59/122.01 c rational objective 9
128.67/129.19 c #Conflicts: 73000 | #Constraints: 55224
128.67/129.19 c #Conflicts: 74000 | #Constraints: 56224
128.67/129.19 c #Conflicts: 75000 | #Constraints: 57225
128.67/129.19 c #Conflicts: 76000 | #Constraints: 58227
128.67/129.19 c #Conflicts: 77000 | #Constraints: 59228
128.67/129.19 c #Conflicts: 78000 | #Constraints: 60229
128.67/129.19 c INPROCESSING
128.67/129.19 c GARBAGE COLLECT
128.67/129.19 c rational objective 9
140.23/140.79 c #Conflicts: 79000 | #Constraints: 55612
140.23/140.79 c #Conflicts: 80000 | #Constraints: 56613
140.23/140.79 c #Conflicts: 81000 | #Constraints: 57614
140.23/140.79 c #Conflicts: 82000 | #Constraints: 58614
140.23/140.79 c #Conflicts: 83000 | #Constraints: 59617
140.23/140.79 c #Conflicts: 84000 | #Constraints: 60617
140.23/140.79 c INPROCESSING
140.23/140.79 c GARBAGE COLLECT
140.23/140.79 c rational objective 9
151.30/151.86 c #Conflicts: 85000 | #Constraints: 55810
151.30/151.86 c #Conflicts: 86000 | #Constraints: 56811
151.30/151.86 c #Conflicts: 87000 | #Constraints: 57813
151.30/151.86 c #Conflicts: 88000 | #Constraints: 58817
151.30/151.86 c #Conflicts: 89000 | #Constraints: 59820
151.30/151.86 c #Conflicts: 90000 | #Constraints: 60821
151.30/151.86 c INPROCESSING
151.30/151.86 c GARBAGE COLLECT
151.30/151.86 c rational objective 9
163.95/164.56 c #Conflicts: 91000 | #Constraints: 55793
163.95/164.56 c #Conflicts: 92000 | #Constraints: 56794
163.95/164.56 c #Conflicts: 93000 | #Constraints: 57795
163.95/164.56 c #Conflicts: 94000 | #Constraints: 58796
163.95/164.56 c #Conflicts: 95000 | #Constraints: 59797
163.95/164.56 c #Conflicts: 96000 | #Constraints: 60798
163.95/164.56 c INPROCESSING
163.95/164.56 c GARBAGE COLLECT
163.95/164.56 c rational objective 9
177.91/178.57 c #Conflicts: 97000 | #Constraints: 55588
177.91/178.57 c #Conflicts: 98000 | #Constraints: 56589
177.91/178.57 c #Conflicts: 99000 | #Constraints: 57591
177.91/178.57 c #Conflicts: 100000 | #Constraints: 58593
177.91/178.57 c #Conflicts: 101000 | #Constraints: 59595
177.91/178.57 c #Conflicts: 102000 | #Constraints: 60598
177.91/178.57 c #Conflicts: 103000 | #Constraints: 61599
177.91/178.57 c INPROCESSING
177.91/178.57 c GARBAGE COLLECT
177.91/178.57 c rational objective 9
188.38/189.10 c #Conflicts: 104000 | #Constraints: 56190
188.38/189.10 c #Conflicts: 105000 | #Constraints: 57191
188.38/189.10 c #Conflicts: 106000 | #Constraints: 58192
188.38/189.10 c #Conflicts: 107000 | #Constraints: 59199
188.38/189.10 c #Conflicts: 108000 | #Constraints: 60199
188.38/189.10 c #Conflicts: 109000 | #Constraints: 61202
188.38/189.10 c #Conflicts: 110000 | #Constraints: 62203
188.38/189.10 c INPROCESSING
188.38/189.10 c GARBAGE COLLECT
188.38/189.10 c rational objective 9
200.34/201.03 c #Conflicts: 111000 | #Constraints: 56602
200.34/201.03 c #Conflicts: 112000 | #Constraints: 57608
200.34/201.03 c #Conflicts: 113000 | #Constraints: 58609
200.34/201.03 c #Conflicts: 114000 | #Constraints: 59611
200.34/201.03 c #Conflicts: 115000 | #Constraints: 60612
200.34/201.03 c #Conflicts: 116000 | #Constraints: 61615
200.34/201.03 c #Conflicts: 117000 | #Constraints: 62617
200.34/201.03 c INPROCESSING
200.34/201.03 c GARBAGE COLLECT
200.34/201.03 c rational objective 9
215.59/216.31 c #Conflicts: 118000 | #Constraints: 56784
215.59/216.31 c #Conflicts: 119000 | #Constraints: 57784
215.59/216.31 c #Conflicts: 120000 | #Constraints: 58785
215.59/216.31 c #Conflicts: 121000 | #Constraints: 59785
215.59/216.31 c #Conflicts: 122000 | #Constraints: 60786
215.59/216.31 c #Conflicts: 123000 | #Constraints: 61787
215.59/216.31 c #Conflicts: 124000 | #Constraints: 62787
215.59/216.31 c INPROCESSING
215.59/216.31 c GARBAGE COLLECT
215.59/216.31 c rational objective 9
232.84/233.66 c #Conflicts: 125000 | #Constraints: 56783
232.84/233.66 c #Conflicts: 126000 | #Constraints: 57783
232.84/233.66 c #Conflicts: 127000 | #Constraints: 58784
232.84/233.66 c #Conflicts: 128000 | #Constraints: 59785
232.84/233.66 c #Conflicts: 129000 | #Constraints: 60789
232.84/233.66 c #Conflicts: 130000 | #Constraints: 61794
232.84/233.66 c #Conflicts: 131000 | #Constraints: 62794
232.84/233.66 c INPROCESSING
232.84/233.66 c GARBAGE COLLECT
232.84/233.66 c rational objective 9
248.59/249.45 c #Conflicts: 132000 | #Constraints: 56599
248.59/249.45 c #Conflicts: 133000 | #Constraints: 57599
248.59/249.45 c #Conflicts: 134000 | #Constraints: 58603
248.59/249.45 c #Conflicts: 135000 | #Constraints: 59604
248.59/249.45 c #Conflicts: 136000 | #Constraints: 60605
248.59/249.45 c #Conflicts: 137000 | #Constraints: 61606
248.59/249.45 c #Conflicts: 138000 | #Constraints: 62606
248.59/249.45 c #Conflicts: 139000 | #Constraints: 63607
248.59/249.45 c INPROCESSING
248.59/249.45 c GARBAGE COLLECT
248.59/249.45 c rational objective 9
271.83/272.70 c #Conflicts: 140000 | #Constraints: 57189
271.83/272.70 c #Conflicts: 141000 | #Constraints: 58190
271.83/272.70 c #Conflicts: 142000 | #Constraints: 59194
271.83/272.70 c #Conflicts: 143000 | #Constraints: 60195
271.83/272.70 c #Conflicts: 144000 | #Constraints: 61195
271.83/272.70 c #Conflicts: 145000 | #Constraints: 62196
271.83/272.70 c #Conflicts: 146000 | #Constraints: 63198
271.83/272.70 c #Conflicts: 147000 | #Constraints: 64198
271.83/272.70 c INPROCESSING
271.83/272.70 c GARBAGE COLLECT
271.83/272.70 c rational objective 9
285.68/286.64 c #Conflicts: 148000 | #Constraints: 57612
285.68/286.64 c #Conflicts: 149000 | #Constraints: 58614
285.68/286.64 c #Conflicts: 150000 | #Constraints: 59615
285.68/286.64 c #Conflicts: 151000 | #Constraints: 60618
285.68/286.64 c #Conflicts: 152000 | #Constraints: 61621
285.68/286.64 c #Conflicts: 153000 | #Constraints: 62625
285.68/286.64 c #Conflicts: 154000 | #Constraints: 63627
285.68/286.64 c #Conflicts: 155000 | #Constraints: 64629
285.68/286.64 c INPROCESSING
285.68/286.64 c GARBAGE COLLECT
285.68/286.64 c rational objective 9
301.34/302.36 c #Conflicts: 156000 | #Constraints: 57807
301.34/302.36 c #Conflicts: 157000 | #Constraints: 58808
301.34/302.36 c #Conflicts: 158000 | #Constraints: 59811
301.34/302.36 c #Conflicts: 159000 | #Constraints: 60811
301.34/302.36 c #Conflicts: 160000 | #Constraints: 61812
301.34/302.36 c #Conflicts: 161000 | #Constraints: 62814
301.34/302.36 c #Conflicts: 162000 | #Constraints: 63815
301.34/302.36 c #Conflicts: 163000 | #Constraints: 64815
301.34/302.36 c INPROCESSING
301.34/302.36 c GARBAGE COLLECT
301.34/302.36 c rational objective 9
319.47/320.57 c #Conflicts: 164000 | #Constraints: 57817
319.47/320.57 c #Conflicts: 165000 | #Constraints: 58822
319.47/320.57 c #Conflicts: 166000 | #Constraints: 59824
319.47/320.57 c #Conflicts: 167000 | #Constraints: 60825
319.47/320.57 c #Conflicts: 168000 | #Constraints: 61826
319.47/320.57 c #Conflicts: 169000 | #Constraints: 62828
319.47/320.57 c #Conflicts: 170000 | #Constraints: 63831
319.47/320.57 c #Conflicts: 171000 | #Constraints: 64832
319.47/320.57 c INPROCESSING
319.47/320.57 c GARBAGE COLLECT
319.47/320.57 c rational objective 9
335.52/336.66 c #Conflicts: 172000 | #Constraints: 57588
335.52/336.66 c #Conflicts: 173000 | #Constraints: 58590
335.52/336.66 c #Conflicts: 174000 | #Constraints: 59594
335.52/336.66 c #Conflicts: 175000 | #Constraints: 60598
335.52/336.66 c #Conflicts: 176000 | #Constraints: 61599
335.52/336.66 c #Conflicts: 177000 | #Constraints: 62600
335.52/336.66 c #Conflicts: 178000 | #Constraints: 63602
335.52/336.66 c #Conflicts: 179000 | #Constraints: 64603
335.52/336.66 c #Conflicts: 180000 | #Constraints: 65604
335.52/336.66 c INPROCESSING
335.52/336.66 c GARBAGE COLLECT
335.52/336.66 c rational objective 9
347.99/349.14 c #Conflicts: 181000 | #Constraints: 58175
347.99/349.14 c #Conflicts: 182000 | #Constraints: 59176
347.99/349.14 c #Conflicts: 183000 | #Constraints: 60176
347.99/349.14 c #Conflicts: 184000 | #Constraints: 61177
347.99/349.14 c #Conflicts: 185000 | #Constraints: 62178
347.99/349.14 c #Conflicts: 186000 | #Constraints: 63182
347.99/349.14 c #Conflicts: 187000 | #Constraints: 64185
347.99/349.14 c #Conflicts: 188000 | #Constraints: 65186
347.99/349.14 c #Conflicts: 189000 | #Constraints: 66187
347.99/349.14 c INPROCESSING
347.99/349.14 c GARBAGE COLLECT
347.99/349.14 c rational objective 9
366.13/367.33 c #Conflicts: 190000 | #Constraints: 58583
366.13/367.33 c #Conflicts: 191000 | #Constraints: 59584
366.13/367.33 c #Conflicts: 192000 | #Constraints: 60584
366.13/367.33 c #Conflicts: 193000 | #Constraints: 61585
366.13/367.33 c #Conflicts: 194000 | #Constraints: 62586
366.13/367.33 c #Conflicts: 195000 | #Constraints: 63589
366.13/367.33 c #Conflicts: 196000 | #Constraints: 64592
366.13/367.33 c #Conflicts: 197000 | #Constraints: 65592
366.13/367.33 c #Conflicts: 198000 | #Constraints: 66593
366.13/367.33 c INPROCESSING
366.13/367.33 c GARBAGE COLLECT
366.13/367.33 c rational objective 9
386.46/387.70 c #Conflicts: 199000 | #Constraints: 58764
386.46/387.70 c #Conflicts: 200000 | #Constraints: 59765
386.46/387.70 c #Conflicts: 201000 | #Constraints: 60766
386.46/387.70 c #Conflicts: 202000 | #Constraints: 61766
386.46/387.70 c #Conflicts: 203000 | #Constraints: 62766
386.46/387.70 c #Conflicts: 204000 | #Constraints: 63767
386.46/387.70 c #Conflicts: 205000 | #Constraints: 64767
386.46/387.70 c #Conflicts: 206000 | #Constraints: 65768
386.46/387.70 c #Conflicts: 207000 | #Constraints: 66770
386.46/387.70 c INPROCESSING
386.46/387.70 c GARBAGE COLLECT
386.46/387.70 c rational objective 9
408.28/409.62 c #Conflicts: 208000 | #Constraints: 58788
408.28/409.62 c #Conflicts: 209000 | #Constraints: 59789
408.28/409.62 c #Conflicts: 210000 | #Constraints: 60789
408.28/409.62 c #Conflicts: 211000 | #Constraints: 61789
408.28/409.62 c #Conflicts: 212000 | #Constraints: 62790
408.28/409.62 c #Conflicts: 213000 | #Constraints: 63790
408.28/409.62 c #Conflicts: 214000 | #Constraints: 64791
408.28/409.62 c #Conflicts: 215000 | #Constraints: 65793
408.28/409.62 c #Conflicts: 216000 | #Constraints: 66795
408.28/409.62 c INPROCESSING
408.28/409.62 c GARBAGE COLLECT
408.28/409.62 c rational objective 9
427.92/429.37 c #Conflicts: 217000 | #Constraints: 58584
427.92/429.37 c #Conflicts: 218000 | #Constraints: 59585
427.92/429.37 c #Conflicts: 219000 | #Constraints: 60586
427.92/429.37 c #Conflicts: 220000 | #Constraints: 61586
427.92/429.37 c #Conflicts: 221000 | #Constraints: 62587
427.92/429.37 c #Conflicts: 222000 | #Constraints: 63588
427.92/429.37 c #Conflicts: 223000 | #Constraints: 64590
427.92/429.37 c #Conflicts: 224000 | #Constraints: 65591
427.92/429.37 c #Conflicts: 225000 | #Constraints: 66592
427.92/429.37 c #Conflicts: 226000 | #Constraints: 67593
427.92/429.37 c INPROCESSING
427.92/429.37 c GARBAGE COLLECT
427.92/429.37 c rational objective 9
451.04/452.57 c #Conflicts: 227000 | #Constraints: 59168
451.04/452.57 c #Conflicts: 228000 | #Constraints: 60169
451.04/452.57 c #Conflicts: 229000 | #Constraints: 61170
451.04/452.57 c #Conflicts: 230000 | #Constraints: 62170
451.04/452.57 c #Conflicts: 231000 | #Constraints: 63171
451.04/452.57 c #Conflicts: 232000 | #Constraints: 64171
451.04/452.57 c #Conflicts: 233000 | #Constraints: 65173
451.04/452.57 c #Conflicts: 234000 | #Constraints: 66176
451.04/452.57 c #Conflicts: 235000 | #Constraints: 67177
451.04/452.57 c #Conflicts: 236000 | #Constraints: 68179
451.04/452.57 c INPROCESSING
451.04/452.57 c GARBAGE COLLECT
451.04/452.57 c rational objective 9
505.55/507.24 c #Conflicts: 237000 | #Constraints: 59550
505.55/507.24 c #Conflicts: 238000 | #Constraints: 60550
505.55/507.24 c #Conflicts: 239000 | #Constraints: 61551
505.55/507.24 c #Conflicts: 240000 | #Constraints: 62552
505.55/507.24 c #Conflicts: 241000 | #Constraints: 63555
505.55/507.24 c #Conflicts: 242000 | #Constraints: 64558
505.55/507.24 c #Conflicts: 243000 | #Constraints: 65558
505.55/507.24 c #Conflicts: 244000 | #Constraints: 66558
505.55/507.24 c #Conflicts: 245000 | #Constraints: 67559
505.55/507.24 c #Conflicts: 246000 | #Constraints: 68559
505.55/507.24 c INPROCESSING
505.55/507.24 c GARBAGE COLLECT
505.55/507.24 c #Conflicts: 247000 | #Constraints: 59755
505.55/507.24 c #Conflicts: 248000 | #Constraints: 60756
505.55/507.24 c #Conflicts: 249000 | #Constraints: 61756
505.55/507.24 c #Conflicts: 250000 | #Constraints: 62756
505.55/507.24 c #Conflicts: 251000 | #Constraints: 63756
505.55/507.24 c #Conflicts: 252000 | #Constraints: 64756
505.55/507.24 c #Conflicts: 253000 | #Constraints: 65756
505.55/507.24 c #Conflicts: 254000 | #Constraints: 66756
505.55/507.24 c #Conflicts: 255000 | #Constraints: 67756
505.55/507.24 c #Conflicts: 256000 | #Constraints: 68757
505.55/507.24 c INPROCESSING
505.55/507.24 c GARBAGE COLLECT
505.55/507.24 c rational objective 9
528.08/529.80 c #Conflicts: 257000 | #Constraints: 59759
528.08/529.80 c #Conflicts: 258000 | #Constraints: 60760
528.08/529.80 c #Conflicts: 259000 | #Constraints: 61760
528.08/529.80 c #Conflicts: 260000 | #Constraints: 62762
528.08/529.80 c #Conflicts: 261000 | #Constraints: 63763
528.08/529.80 c #Conflicts: 262000 | #Constraints: 64764
528.08/529.80 c #Conflicts: 263000 | #Constraints: 65765
528.08/529.80 c #Conflicts: 264000 | #Constraints: 66766
528.08/529.80 c #Conflicts: 265000 | #Constraints: 67766
528.08/529.80 c #Conflicts: 266000 | #Constraints: 68767
528.08/529.80 c INPROCESSING
528.08/529.80 c GARBAGE COLLECT
528.08/529.80 c rational objective 9
553.10/554.99 c #Conflicts: 267000 | #Constraints: 59578
553.10/554.99 c #Conflicts: 268000 | #Constraints: 60578
553.10/554.99 c #Conflicts: 269000 | #Constraints: 61579
553.10/554.99 c #Conflicts: 270000 | #Constraints: 62580
553.10/554.99 c #Conflicts: 271000 | #Constraints: 63581
553.10/554.99 c #Conflicts: 272000 | #Constraints: 64582
553.10/554.99 c #Conflicts: 273000 | #Constraints: 65584
553.10/554.99 c #Conflicts: 274000 | #Constraints: 66587
553.10/554.99 c #Conflicts: 275000 | #Constraints: 67588
553.10/554.99 c #Conflicts: 276000 | #Constraints: 68589
553.10/554.99 c #Conflicts: 277000 | #Constraints: 69590
553.10/554.99 c INPROCESSING
553.10/554.99 c GARBAGE COLLECT
553.10/554.99 c rational objective 9
577.11/579.07 c #Conflicts: 278000 | #Constraints: 60166
577.11/579.07 c #Conflicts: 279000 | #Constraints: 61168
577.11/579.07 c #Conflicts: 280000 | #Constraints: 62172
577.11/579.07 c #Conflicts: 281000 | #Constraints: 63176
577.11/579.07 c #Conflicts: 282000 | #Constraints: 64178
577.11/579.07 c #Conflicts: 283000 | #Constraints: 65181
577.11/579.07 c #Conflicts: 284000 | #Constraints: 66184
577.11/579.07 c #Conflicts: 285000 | #Constraints: 67189
577.11/579.07 c #Conflicts: 286000 | #Constraints: 68192
577.11/579.07 c #Conflicts: 287000 | #Constraints: 69193
577.11/579.07 c #Conflicts: 288000 | #Constraints: 70194
577.11/579.07 c INPROCESSING
577.11/579.07 c GARBAGE COLLECT
577.11/579.07 c rational objective 9
594.34/596.38 c #Conflicts: 289000 | #Constraints: 60571
594.34/596.38 c #Conflicts: 290000 | #Constraints: 61572
594.34/596.38 c #Conflicts: 291000 | #Constraints: 62579
594.34/596.38 c #Conflicts: 292000 | #Constraints: 63580
594.34/596.38 c #Conflicts: 293000 | #Constraints: 64581
594.34/596.38 c #Conflicts: 294000 | #Constraints: 65582
594.34/596.38 c #Conflicts: 295000 | #Constraints: 66583
594.34/596.38 c #Conflicts: 296000 | #Constraints: 67583
594.34/596.38 c #Conflicts: 297000 | #Constraints: 68584
594.34/596.38 c #Conflicts: 298000 | #Constraints: 69585
594.34/596.38 c #Conflicts: 299000 | #Constraints: 70587
594.34/596.38 c INPROCESSING
594.34/596.38 c GARBAGE COLLECT
594.34/596.38 c rational objective 9
626.53/628.62 c #Conflicts: 300000 | #Constraints: 60758
626.53/628.62 c #Conflicts: 301000 | #Constraints: 61759
626.53/628.62 c #Conflicts: 302000 | #Constraints: 62762
626.53/628.62 c #Conflicts: 303000 | #Constraints: 63764
626.53/628.62 c #Conflicts: 304000 | #Constraints: 64766
626.53/628.62 c #Conflicts: 305000 | #Constraints: 65768
626.53/628.62 c #Conflicts: 306000 | #Constraints: 66770
626.53/628.62 c #Conflicts: 307000 | #Constraints: 67771
626.53/628.62 c #Conflicts: 308000 | #Constraints: 68772
626.53/628.62 c #Conflicts: 309000 | #Constraints: 69772
626.53/628.62 c #Conflicts: 310000 | #Constraints: 70774
626.53/628.62 c INPROCESSING
626.53/628.62 c GARBAGE COLLECT
626.53/628.62 c rational objective 9
647.86/650.02 c #Conflicts: 311000 | #Constraints: 60776
647.86/650.02 c #Conflicts: 312000 | #Constraints: 61776
647.86/650.02 c #Conflicts: 313000 | #Constraints: 62780
647.86/650.02 c #Conflicts: 314000 | #Constraints: 63781
647.86/650.02 c #Conflicts: 315000 | #Constraints: 64783
647.86/650.02 c #Conflicts: 316000 | #Constraints: 65784
647.86/650.02 c #Conflicts: 317000 | #Constraints: 66785
647.86/650.02 c #Conflicts: 318000 | #Constraints: 67785
647.86/650.02 c #Conflicts: 319000 | #Constraints: 68786
647.86/650.02 c #Conflicts: 320000 | #Constraints: 69786
647.86/650.02 c #Conflicts: 321000 | #Constraints: 70787
647.86/650.02 c INPROCESSING
647.86/650.02 c GARBAGE COLLECT
647.86/650.02 c rational objective 9
680.35/682.67 c #Conflicts: 322000 | #Constraints: 60592
680.35/682.67 c #Conflicts: 323000 | #Constraints: 61593
680.35/682.67 c #Conflicts: 324000 | #Constraints: 62593
680.35/682.67 c #Conflicts: 325000 | #Constraints: 63594
680.35/682.67 c #Conflicts: 326000 | #Constraints: 64597
680.35/682.67 c #Conflicts: 327000 | #Constraints: 65598
680.35/682.67 c #Conflicts: 328000 | #Constraints: 66600
680.35/682.67 c #Conflicts: 329000 | #Constraints: 67601
680.35/682.67 c #Conflicts: 330000 | #Constraints: 68602
680.35/682.67 c #Conflicts: 331000 | #Constraints: 69602
680.35/682.67 c #Conflicts: 332000 | #Constraints: 70603
680.35/682.67 c #Conflicts: 333000 | #Constraints: 71604
680.35/682.67 c INPROCESSING
680.35/682.67 c GARBAGE COLLECT
680.35/682.67 c rational objective 9
699.59/701.97 c #Conflicts: 334000 | #Constraints: 61161
699.59/701.97 c #Conflicts: 335000 | #Constraints: 62164
699.59/701.97 c #Conflicts: 336000 | #Constraints: 63165
699.59/701.97 c #Conflicts: 337000 | #Constraints: 64167
699.59/701.97 c #Conflicts: 338000 | #Constraints: 65168
699.59/701.97 c #Conflicts: 339000 | #Constraints: 66170
699.59/701.97 c #Conflicts: 340000 | #Constraints: 67171
699.59/701.97 c #Conflicts: 341000 | #Constraints: 68173
699.59/701.97 c #Conflicts: 342000 | #Constraints: 69174
699.59/701.97 c #Conflicts: 343000 | #Constraints: 70175
699.59/701.97 c #Conflicts: 344000 | #Constraints: 71176
699.59/701.97 c #Conflicts: 345000 | #Constraints: 72179
699.59/701.97 c INPROCESSING
699.59/701.97 c GARBAGE COLLECT
699.59/701.97 c rational objective 9
726.39/728.87 c #Conflicts: 346000 | #Constraints: 61558
726.39/728.87 c #Conflicts: 347000 | #Constraints: 62559
726.39/728.87 c #Conflicts: 348000 | #Constraints: 63560
726.39/728.87 c #Conflicts: 349000 | #Constraints: 64562
726.39/728.87 c #Conflicts: 350000 | #Constraints: 65562
726.39/728.87 c #Conflicts: 351000 | #Constraints: 66562
726.39/728.87 c #Conflicts: 352000 | #Constraints: 67563
726.39/728.87 c #Conflicts: 353000 | #Constraints: 68563
726.39/728.87 c #Conflicts: 354000 | #Constraints: 69564
726.39/728.87 c #Conflicts: 355000 | #Constraints: 70564
726.39/728.87 c #Conflicts: 356000 | #Constraints: 71564
726.39/728.87 c #Conflicts: 357000 | #Constraints: 72565
726.39/728.87 c INPROCESSING
726.39/728.87 c GARBAGE COLLECT
726.39/728.87 c rational objective 9
762.27/764.86 c #Conflicts: 358000 | #Constraints: 61819
762.27/764.86 c #Conflicts: 359000 | #Constraints: 62819
762.27/764.86 c #Conflicts: 360000 | #Constraints: 63820
762.27/764.86 c #Conflicts: 361000 | #Constraints: 64822
762.27/764.86 c #Conflicts: 362000 | #Constraints: 65822
762.27/764.86 c #Conflicts: 363000 | #Constraints: 66823
762.27/764.86 c #Conflicts: 364000 | #Constraints: 67823
762.27/764.86 c #Conflicts: 365000 | #Constraints: 68824
762.27/764.86 c #Conflicts: 366000 | #Constraints: 69824
762.27/764.86 c #Conflicts: 367000 | #Constraints: 70825
762.27/764.86 c #Conflicts: 368000 | #Constraints: 71825
762.27/764.86 c #Conflicts: 369000 | #Constraints: 72826
762.27/764.86 c INPROCESSING
762.27/764.86 c GARBAGE COLLECT
762.27/764.86 c rational objective 9
802.53/805.29 c #Conflicts: 370000 | #Constraints: 61802
802.53/805.29 c #Conflicts: 371000 | #Constraints: 62803
802.53/805.29 c #Conflicts: 372000 | #Constraints: 63804
802.53/805.29 c #Conflicts: 373000 | #Constraints: 64804
802.53/805.29 c #Conflicts: 374000 | #Constraints: 65805
802.53/805.29 c #Conflicts: 375000 | #Constraints: 66805
802.53/805.29 c #Conflicts: 376000 | #Constraints: 67805
802.53/805.29 c #Conflicts: 377000 | #Constraints: 68805
802.53/805.29 c #Conflicts: 378000 | #Constraints: 69805
802.53/805.29 c #Conflicts: 379000 | #Constraints: 70806
802.53/805.29 c #Conflicts: 380000 | #Constraints: 71806
802.53/805.29 c #Conflicts: 381000 | #Constraints: 72806
802.53/805.29 c INPROCESSING
802.53/805.29 c GARBAGE COLLECT
802.53/805.29 c rational objective 9
828.84/831.66 c #Conflicts: 382000 | #Constraints: 61583
828.84/831.66 c #Conflicts: 383000 | #Constraints: 62585
828.84/831.66 c #Conflicts: 384000 | #Constraints: 63588
828.84/831.66 c #Conflicts: 385000 | #Constraints: 64588
828.84/831.66 c #Conflicts: 386000 | #Constraints: 65588
828.84/831.66 c #Conflicts: 387000 | #Constraints: 66589
828.84/831.66 c #Conflicts: 388000 | #Constraints: 67590
828.84/831.66 c #Conflicts: 389000 | #Constraints: 68590
828.84/831.66 c #Conflicts: 390000 | #Constraints: 69591
828.84/831.66 c #Conflicts: 391000 | #Constraints: 70592
828.84/831.66 c #Conflicts: 392000 | #Constraints: 71593
828.84/831.66 c #Conflicts: 393000 | #Constraints: 72596
828.84/831.66 c #Conflicts: 394000 | #Constraints: 73597
828.84/831.66 c INPROCESSING
828.84/831.66 c GARBAGE COLLECT
828.84/831.66 c rational objective 9
852.35/855.28 c #Conflicts: 395000 | #Constraints: 62161
852.35/855.28 c #Conflicts: 396000 | #Constraints: 63162
852.35/855.28 c #Conflicts: 397000 | #Constraints: 64163
852.35/855.28 c #Conflicts: 398000 | #Constraints: 65164
852.35/855.28 c #Conflicts: 399000 | #Constraints: 66166
852.35/855.28 c #Conflicts: 400000 | #Constraints: 67169
852.35/855.28 c #Conflicts: 401000 | #Constraints: 68170
852.35/855.28 c #Conflicts: 402000 | #Constraints: 69170
852.35/855.28 c #Conflicts: 403000 | #Constraints: 70171
852.35/855.28 c #Conflicts: 404000 | #Constraints: 71172
852.35/855.28 c #Conflicts: 405000 | #Constraints: 72173
852.35/855.28 c #Conflicts: 406000 | #Constraints: 73173
852.35/855.28 c #Conflicts: 407000 | #Constraints: 74173
852.35/855.28 c INPROCESSING
852.35/855.28 c GARBAGE COLLECT
852.35/855.28 c rational objective 9
887.31/890.34 c #Conflicts: 408000 | #Constraints: 62557
887.31/890.34 c #Conflicts: 409000 | #Constraints: 63558
887.31/890.34 c #Conflicts: 410000 | #Constraints: 64558
887.31/890.34 c #Conflicts: 411000 | #Constraints: 65558
887.31/890.34 c #Conflicts: 412000 | #Constraints: 66559
887.31/890.34 c #Conflicts: 413000 | #Constraints: 67559
887.31/890.34 c #Conflicts: 414000 | #Constraints: 68560
887.31/890.34 c #Conflicts: 415000 | #Constraints: 69561
887.31/890.34 c #Conflicts: 416000 | #Constraints: 70562
887.31/890.34 c #Conflicts: 417000 | #Constraints: 71563
887.31/890.34 c #Conflicts: 418000 | #Constraints: 72565
887.31/890.34 c #Conflicts: 419000 | #Constraints: 73565
887.31/890.34 c #Conflicts: 420000 | #Constraints: 74566
887.31/890.34 c INPROCESSING
887.31/890.34 c GARBAGE COLLECT
887.31/890.34 c rational objective 9
933.15/936.38 c #Conflicts: 421000 | #Constraints: 62784
933.15/936.38 c #Conflicts: 422000 | #Constraints: 63785
933.15/936.38 c #Conflicts: 423000 | #Constraints: 64785
933.15/936.38 c #Conflicts: 424000 | #Constraints: 65786
933.15/936.38 c #Conflicts: 425000 | #Constraints: 66787
933.15/936.38 c #Conflicts: 426000 | #Constraints: 67787
933.15/936.38 c #Conflicts: 427000 | #Constraints: 68788
933.15/936.38 c #Conflicts: 428000 | #Constraints: 69789
933.15/936.38 c #Conflicts: 429000 | #Constraints: 70789
933.15/936.38 c #Conflicts: 430000 | #Constraints: 71790
933.15/936.38 c #Conflicts: 431000 | #Constraints: 72791
933.15/936.38 c #Conflicts: 432000 | #Constraints: 73791
933.15/936.38 c #Conflicts: 433000 | #Constraints: 74792
933.15/936.38 c INPROCESSING
933.15/936.38 c GARBAGE COLLECT
933.15/936.38 c rational objective 9
1044.27/1047.88 c #Conflicts: 434000 | #Constraints: 62794
1044.27/1047.88 c #Conflicts: 435000 | #Constraints: 63794
1044.27/1047.88 c #Conflicts: 436000 | #Constraints: 64794
1044.27/1047.88 c #Conflicts: 437000 | #Constraints: 65794
1044.27/1047.88 c #Conflicts: 438000 | #Constraints: 66794
1044.27/1047.88 c #Conflicts: 439000 | #Constraints: 67794
1044.27/1047.88 c #Conflicts: 440000 | #Constraints: 68794
1044.27/1047.88 c #Conflicts: 441000 | #Constraints: 69794
1044.27/1047.88 c #Conflicts: 442000 | #Constraints: 70795
1044.27/1047.88 c #Conflicts: 443000 | #Constraints: 71795
1044.27/1047.88 c #Conflicts: 444000 | #Constraints: 72795
1044.27/1047.88 c #Conflicts: 445000 | #Constraints: 73795
1044.27/1047.88 c #Conflicts: 446000 | #Constraints: 74795
1044.27/1047.88 c INPROCESSING
1044.27/1047.88 c GARBAGE COLLECT
1044.27/1047.88 c rational objective 9
1086.02/1089.73 c #Conflicts: 447000 | #Constraints: 62599
1086.02/1089.73 c #Conflicts: 448000 | #Constraints: 63599
1086.02/1089.73 c #Conflicts: 449000 | #Constraints: 64599
1086.02/1089.73 c #Conflicts: 450000 | #Constraints: 65600
1086.02/1089.73 c #Conflicts: 451000 | #Constraints: 66600
1086.02/1089.73 c #Conflicts: 452000 | #Constraints: 67601
1086.02/1089.73 c #Conflicts: 453000 | #Constraints: 68601
1086.02/1089.73 c #Conflicts: 454000 | #Constraints: 69602
1086.02/1089.73 c #Conflicts: 455000 | #Constraints: 70602
1086.02/1089.73 c #Conflicts: 456000 | #Constraints: 71603
1086.02/1089.73 c #Conflicts: 457000 | #Constraints: 72604
1086.02/1089.73 c #Conflicts: 458000 | #Constraints: 73604
1086.02/1089.73 c #Conflicts: 459000 | #Constraints: 74605
1086.02/1089.73 c #Conflicts: 460000 | #Constraints: 75605
1086.02/1089.73 c INPROCESSING
1086.02/1089.73 c GARBAGE COLLECT
1086.02/1089.73 c rational objective 9
1131.07/1134.94 c #Conflicts: 461000 | #Constraints: 63178
1131.07/1134.94 c #Conflicts: 462000 | #Constraints: 64178
1131.07/1134.94 c #Conflicts: 463000 | #Constraints: 65179
1131.07/1134.94 c #Conflicts: 464000 | #Constraints: 66179
1131.07/1134.94 c #Conflicts: 465000 | #Constraints: 67180
1131.07/1134.94 c #Conflicts: 466000 | #Constraints: 68180
1131.07/1134.94 c #Conflicts: 467000 | #Constraints: 69180
1131.07/1134.94 c #Conflicts: 468000 | #Constraints: 70180
1131.07/1134.94 c #Conflicts: 469000 | #Constraints: 71181
1131.07/1134.94 c #Conflicts: 470000 | #Constraints: 72183
1131.07/1134.94 c #Conflicts: 471000 | #Constraints: 73183
1131.07/1134.94 c #Conflicts: 472000 | #Constraints: 74183
1131.07/1134.94 c #Conflicts: 473000 | #Constraints: 75184
1131.07/1134.94 c #Conflicts: 474000 | #Constraints: 76184
1131.07/1134.94 c INPROCESSING
1131.07/1134.94 c GARBAGE COLLECT
1131.07/1134.94 c rational objective 9
1221.05/1225.25 c #Conflicts: 475000 | #Constraints: 63595
1221.05/1225.25 c #Conflicts: 476000 | #Constraints: 64597
1221.05/1225.25 c #Conflicts: 477000 | #Constraints: 65598
1221.05/1225.25 c #Conflicts: 478000 | #Constraints: 66599
1221.05/1225.25 c #Conflicts: 479000 | #Constraints: 67599
1221.05/1225.25 c #Conflicts: 480000 | #Constraints: 68599
1221.05/1225.25 c #Conflicts: 481000 | #Constraints: 69600
1221.05/1225.25 c #Conflicts: 482000 | #Constraints: 70601
1221.05/1225.25 c #Conflicts: 483000 | #Constraints: 71601
1221.05/1225.25 c #Conflicts: 484000 | #Constraints: 72601
1221.05/1225.25 c #Conflicts: 485000 | #Constraints: 73601
1221.05/1225.25 c #Conflicts: 486000 | #Constraints: 74601
1221.05/1225.25 c #Conflicts: 487000 | #Constraints: 75601
1221.05/1225.25 c #Conflicts: 488000 | #Constraints: 76602
1221.05/1225.25 c INPROCESSING
1221.05/1225.25 c GARBAGE COLLECT
1221.05/1225.25 c rational objective 9
1266.99/1271.32 c #Conflicts: 489000 | #Constraints: 63771
1266.99/1271.32 c #Conflicts: 490000 | #Constraints: 64771
1266.99/1271.32 c #Conflicts: 491000 | #Constraints: 65771
1266.99/1271.32 c #Conflicts: 492000 | #Constraints: 66771
1266.99/1271.32 c #Conflicts: 493000 | #Constraints: 67771
1266.99/1271.32 c #Conflicts: 494000 | #Constraints: 68771
1266.99/1271.32 c #Conflicts: 495000 | #Constraints: 69772
1266.99/1271.32 c #Conflicts: 496000 | #Constraints: 70775
1266.99/1271.32 c #Conflicts: 497000 | #Constraints: 71776
1266.99/1271.32 c #Conflicts: 498000 | #Constraints: 72777
1266.99/1271.32 c #Conflicts: 499000 | #Constraints: 73779
1266.99/1271.32 c #Conflicts: 500000 | #Constraints: 74780
1266.99/1271.32 c #Conflicts: 501000 | #Constraints: 75781
1266.99/1271.32 c #Conflicts: 502000 | #Constraints: 76781
1266.99/1271.32 c INPROCESSING
1266.99/1271.32 c GARBAGE COLLECT
1266.99/1271.32 c rational objective 9
1321.22/1325.74 c #Conflicts: 503000 | #Constraints: 63762
1321.22/1325.74 c #Conflicts: 504000 | #Constraints: 64763
1321.22/1325.74 c #Conflicts: 505000 | #Constraints: 65765
1321.22/1325.74 c #Conflicts: 506000 | #Constraints: 66768
1321.22/1325.74 c #Conflicts: 507000 | #Constraints: 67769
1321.22/1325.74 c #Conflicts: 508000 | #Constraints: 68771
1321.22/1325.74 c #Conflicts: 509000 | #Constraints: 69773
1321.22/1325.74 c #Conflicts: 510000 | #Constraints: 70777
1321.22/1325.74 c #Conflicts: 511000 | #Constraints: 71778
1321.22/1325.74 c #Conflicts: 512000 | #Constraints: 72780
1321.22/1325.74 c #Conflicts: 513000 | #Constraints: 73782
1321.22/1325.74 c #Conflicts: 514000 | #Constraints: 74782
1321.22/1325.74 c #Conflicts: 515000 | #Constraints: 75783
1321.22/1325.74 c #Conflicts: 516000 | #Constraints: 76785
1321.22/1325.74 c INPROCESSING
1321.22/1325.74 c GARBAGE COLLECT
1321.22/1325.74 c rational objective 9
1361.98/1366.60 c #Conflicts: 517000 | #Constraints: 63554
1361.98/1366.60 c #Conflicts: 518000 | #Constraints: 64555
1361.98/1366.60 c #Conflicts: 519000 | #Constraints: 65558
1361.98/1366.60 c #Conflicts: 520000 | #Constraints: 66560
1361.98/1366.60 c #Conflicts: 521000 | #Constraints: 67563
1361.98/1366.60 c #Conflicts: 522000 | #Constraints: 68566
1361.98/1366.60 c #Conflicts: 523000 | #Constraints: 69567
1361.98/1366.60 c #Conflicts: 524000 | #Constraints: 70568
1361.98/1366.60 c #Conflicts: 525000 | #Constraints: 71569
1361.98/1366.60 c #Conflicts: 526000 | #Constraints: 72569
1361.98/1366.60 c #Conflicts: 527000 | #Constraints: 73571
1361.98/1366.60 c #Conflicts: 528000 | #Constraints: 74574
1361.98/1366.60 c #Conflicts: 529000 | #Constraints: 75575
1361.98/1366.60 c #Conflicts: 530000 | #Constraints: 76577
1361.98/1366.60 c #Conflicts: 531000 | #Constraints: 77578
1361.98/1366.60 c INPROCESSING
1361.98/1366.60 c GARBAGE COLLECT
1361.98/1366.60 c rational objective 9
1387.79/1392.59 c #Conflicts: 532000 | #Constraints: 64154
1387.79/1392.59 c #Conflicts: 533000 | #Constraints: 65154
1387.79/1392.59 c #Conflicts: 534000 | #Constraints: 66156
1387.79/1392.59 c #Conflicts: 535000 | #Constraints: 67158
1387.79/1392.59 c #Conflicts: 536000 | #Constraints: 68160
1387.79/1392.59 c #Conflicts: 537000 | #Constraints: 69161
1387.79/1392.59 c #Conflicts: 538000 | #Constraints: 70162
1387.79/1392.59 c #Conflicts: 539000 | #Constraints: 71166
1387.79/1392.59 c #Conflicts: 540000 | #Constraints: 72167
1387.79/1392.59 c #Conflicts: 541000 | #Constraints: 73169
1387.79/1392.59 c #Conflicts: 542000 | #Constraints: 74170
1387.79/1392.59 c #Conflicts: 543000 | #Constraints: 75171
1387.79/1392.59 c #Conflicts: 544000 | #Constraints: 76172
1387.79/1392.59 c #Conflicts: 545000 | #Constraints: 77172
1387.79/1392.59 c #Conflicts: 546000 | #Constraints: 78173
1387.79/1392.59 c INPROCESSING
1387.79/1392.59 c GARBAGE COLLECT
1387.79/1392.59 c rational objective 9
1437.51/1442.47 c #Conflicts: 547000 | #Constraints: 64518
1437.51/1442.47 c #Conflicts: 548000 | #Constraints: 65518
1437.51/1442.47 c #Conflicts: 549000 | #Constraints: 66518
1437.51/1442.47 c #Conflicts: 550000 | #Constraints: 67519
1437.51/1442.47 c #Conflicts: 551000 | #Constraints: 68521
1437.51/1442.47 c #Conflicts: 552000 | #Constraints: 69522
1437.51/1442.47 c #Conflicts: 553000 | #Constraints: 70523
1437.51/1442.47 c #Conflicts: 554000 | #Constraints: 71524
1437.51/1442.47 c #Conflicts: 555000 | #Constraints: 72524
1437.51/1442.47 c #Conflicts: 556000 | #Constraints: 73525
1437.51/1442.47 c #Conflicts: 557000 | #Constraints: 74526
1437.51/1442.47 c #Conflicts: 558000 | #Constraints: 75528
1437.51/1442.47 c #Conflicts: 559000 | #Constraints: 76528
1437.51/1442.47 c #Conflicts: 560000 | #Constraints: 77528
1437.51/1442.47 c #Conflicts: 561000 | #Constraints: 78528
1437.51/1442.47 c INPROCESSING
1437.51/1442.47 c GARBAGE COLLECT
1437.51/1442.47 c rational objective 9
1465.13/1470.12 c #Conflicts: 562000 | #Constraints: 64714
1465.13/1470.12 c #Conflicts: 563000 | #Constraints: 65714
1465.13/1470.12 c #Conflicts: 564000 | #Constraints: 66717
1465.13/1470.12 c #Conflicts: 565000 | #Constraints: 67718
1465.13/1470.12 c #Conflicts: 566000 | #Constraints: 68719
1465.13/1470.12 c #Conflicts: 567000 | #Constraints: 69719
1465.13/1470.12 c #Conflicts: 568000 | #Constraints: 70720
1465.13/1470.12 c #Conflicts: 569000 | #Constraints: 71720
1465.13/1470.12 c #Conflicts: 570000 | #Constraints: 72721
1465.13/1470.12 c #Conflicts: 571000 | #Constraints: 73722
1465.13/1470.12 c #Conflicts: 572000 | #Constraints: 74722
1465.13/1470.12 c #Conflicts: 573000 | #Constraints: 75724
1465.13/1470.12 c #Conflicts: 574000 | #Constraints: 76727
1465.13/1470.12 c #Conflicts: 575000 | #Constraints: 77727
1465.13/1470.12 c #Conflicts: 576000 | #Constraints: 78730
1465.13/1470.12 c INPROCESSING
1465.13/1470.12 c GARBAGE COLLECT
1465.13/1470.12 c rational objective 9
1514.24/1519.45 c #Conflicts: 577000 | #Constraints: 64724
1514.24/1519.45 c #Conflicts: 578000 | #Constraints: 65724
1514.24/1519.45 c #Conflicts: 579000 | #Constraints: 66725
1514.24/1519.45 c #Conflicts: 580000 | #Constraints: 67726
1514.24/1519.45 c #Conflicts: 581000 | #Constraints: 68728
1514.24/1519.45 c #Conflicts: 582000 | #Constraints: 69729
1514.24/1519.45 c #Conflicts: 583000 | #Constraints: 70730
1514.24/1519.45 c #Conflicts: 584000 | #Constraints: 71731
1514.24/1519.45 c #Conflicts: 585000 | #Constraints: 72733
1514.24/1519.45 c #Conflicts: 586000 | #Constraints: 73733
1514.24/1519.45 c #Conflicts: 587000 | #Constraints: 74734
1514.24/1519.45 c #Conflicts: 588000 | #Constraints: 75735
1514.24/1519.45 c #Conflicts: 589000 | #Constraints: 76735
1514.24/1519.45 c #Conflicts: 590000 | #Constraints: 77736
1514.24/1519.45 c #Conflicts: 591000 | #Constraints: 78737
1514.24/1519.45 c INPROCESSING
1514.24/1519.45 c GARBAGE COLLECT
1514.24/1519.45 c rational objective 9
1561.47/1566.83 c #Conflicts: 592000 | #Constraints: 64526
1561.47/1566.83 c #Conflicts: 593000 | #Constraints: 65526
1561.47/1566.83 c #Conflicts: 594000 | #Constraints: 66527
1561.47/1566.83 c #Conflicts: 595000 | #Constraints: 67527
1561.47/1566.83 c #Conflicts: 596000 | #Constraints: 68531
1561.47/1566.83 c #Conflicts: 597000 | #Constraints: 69535
1561.47/1566.83 c #Conflicts: 598000 | #Constraints: 70535
1561.47/1566.83 c #Conflicts: 599000 | #Constraints: 71538
1561.47/1566.83 c #Conflicts: 600000 | #Constraints: 72539
1561.47/1566.83 c #Conflicts: 601000 | #Constraints: 73539
1561.47/1566.83 c #Conflicts: 602000 | #Constraints: 74539
1561.47/1566.83 c #Conflicts: 603000 | #Constraints: 75540
1561.47/1566.83 c #Conflicts: 604000 | #Constraints: 76541
1561.47/1566.83 c #Conflicts: 605000 | #Constraints: 77542
1561.47/1566.83 c #Conflicts: 606000 | #Constraints: 78543
1561.47/1566.83 c #Conflicts: 607000 | #Constraints: 79545
1561.47/1566.83 c INPROCESSING
1561.47/1566.83 c GARBAGE COLLECT
1561.47/1566.83 c rational objective 9
1628.46/1634.03 c #Conflicts: 608000 | #Constraints: 65134
1628.46/1634.03 c #Conflicts: 609000 | #Constraints: 66135
1628.46/1634.03 c #Conflicts: 610000 | #Constraints: 67135
1628.46/1634.03 c #Conflicts: 611000 | #Constraints: 68136
1628.46/1634.03 c #Conflicts: 612000 | #Constraints: 69137
1628.46/1634.03 c #Conflicts: 613000 | #Constraints: 70137
1628.46/1634.03 c #Conflicts: 614000 | #Constraints: 71138
1628.46/1634.03 c #Conflicts: 615000 | #Constraints: 72138
1628.46/1634.03 c #Conflicts: 616000 | #Constraints: 73139
1628.46/1634.03 c #Conflicts: 617000 | #Constraints: 74139
1628.46/1634.03 c #Conflicts: 618000 | #Constraints: 75139
1628.46/1634.03 c #Conflicts: 619000 | #Constraints: 76140
1628.46/1634.03 c #Conflicts: 620000 | #Constraints: 77140
1628.46/1634.03 c #Conflicts: 621000 | #Constraints: 78140
1628.46/1634.03 c #Conflicts: 622000 | #Constraints: 79141
1628.46/1634.03 c #Conflicts: 623000 | #Constraints: 80141
1628.46/1634.03 c INPROCESSING
1628.46/1634.03 c GARBAGE COLLECT
1628.46/1634.03 c rational objective 9
1682.08/1687.86 c #Conflicts: 624000 | #Constraints: 65531
1682.08/1687.86 c #Conflicts: 625000 | #Constraints: 66531
1682.08/1687.86 c #Conflicts: 626000 | #Constraints: 67531
1682.08/1687.86 c #Conflicts: 627000 | #Constraints: 68532
1682.08/1687.86 c #Conflicts: 628000 | #Constraints: 69532
1682.08/1687.86 c #Conflicts: 629000 | #Constraints: 70532
1682.08/1687.86 c #Conflicts: 630000 | #Constraints: 71533
1682.08/1687.86 c #Conflicts: 631000 | #Constraints: 72533
1682.08/1687.86 c #Conflicts: 632000 | #Constraints: 73535
1682.08/1687.86 c #Conflicts: 633000 | #Constraints: 74535
1682.08/1687.86 c #Conflicts: 634000 | #Constraints: 75536
1682.08/1687.86 c #Conflicts: 635000 | #Constraints: 76537
1682.08/1687.86 c #Conflicts: 636000 | #Constraints: 77538
1682.08/1687.86 c #Conflicts: 637000 | #Constraints: 78538
1682.08/1687.86 c #Conflicts: 638000 | #Constraints: 79539
1682.08/1687.86 c #Conflicts: 639000 | #Constraints: 80540
1682.08/1687.86 c INPROCESSING
1682.08/1687.86 c GARBAGE COLLECT
1682.08/1687.86 c rational objective 9
1752.65/1758.62 c #Conflicts: 640000 | #Constraints: 65722
1752.65/1758.62 c #Conflicts: 641000 | #Constraints: 66723
1752.65/1758.62 c #Conflicts: 642000 | #Constraints: 67724
1752.65/1758.62 c #Conflicts: 643000 | #Constraints: 68725
1752.65/1758.62 c #Conflicts: 644000 | #Constraints: 69725
1752.65/1758.62 c #Conflicts: 645000 | #Constraints: 70726
1752.65/1758.62 c #Conflicts: 646000 | #Constraints: 71728
1752.65/1758.62 c #Conflicts: 647000 | #Constraints: 72729
1752.65/1758.62 c #Conflicts: 648000 | #Constraints: 73731
1752.65/1758.62 c #Conflicts: 649000 | #Constraints: 74734
1752.65/1758.62 c #Conflicts: 650000 | #Constraints: 75736
1752.65/1758.62 c #Conflicts: 651000 | #Constraints: 76736
1752.65/1758.62 c #Conflicts: 652000 | #Constraints: 77736
1752.65/1758.62 c #Conflicts: 653000 | #Constraints: 78737
1752.65/1758.62 c #Conflicts: 654000 | #Constraints: 79739
1752.65/1758.62 c #Conflicts: 655000 | #Constraints: 80739
1752.65/1758.62 c INPROCESSING
1752.65/1758.62 c GARBAGE COLLECT
1752.65/1758.62 c rational objective 9
1797.21/1803.37 c #Conflicts: 656000 | #Constraints: 65712
1797.21/1803.37 c #Conflicts: 657000 | #Constraints: 66712
1797.21/1803.37 c #Conflicts: 658000 | #Constraints: 67715
1797.21/1803.37 c #Conflicts: 659000 | #Constraints: 68717
1797.21/1803.37 c #Conflicts: 660000 | #Constraints: 69718
1797.21/1803.37 c #Conflicts: 661000 | #Constraints: 70719
1797.21/1803.37 c #Conflicts: 662000 | #Constraints: 71720
1797.21/1803.37 c #Conflicts: 663000 | #Constraints: 72721
1797.21/1803.37 c #Conflicts: 664000 | #Constraints: 73722
1797.21/1803.37 c #Conflicts: 665000 | #Constraints: 74722
1797.21/1803.37 c #Conflicts: 666000 | #Constraints: 75723
1797.21/1803.37 c #Conflicts: 667000 | #Constraints: 76724
1797.21/1803.37 c #Conflicts: 668000 | #Constraints: 77724
1797.21/1803.37 c #Conflicts: 669000 | #Constraints: 78725
1797.21/1803.37 c #Conflicts: 670000 | #Constraints: 79725
1797.21/1803.37 c #Conflicts: 671000 | #Constraints: 80726
1797.21/1803.37 c INPROCESSING
1797.21/1803.37 c GARBAGE COLLECT
1797.21/1803.37 c rational objective 9
1854.22/1860.58 c #Conflicts: 672000 | #Constraints: 65491
1854.22/1860.58 c #Conflicts: 673000 | #Constraints: 66492
1854.22/1860.58 c #Conflicts: 674000 | #Constraints: 67492
1854.22/1860.58 c #Conflicts: 675000 | #Constraints: 68492
1854.22/1860.58 c #Conflicts: 676000 | #Constraints: 69495
1854.22/1860.58 c #Conflicts: 677000 | #Constraints: 70496
1854.22/1860.58 c #Conflicts: 678000 | #Constraints: 71497
1854.22/1860.58 c #Conflicts: 679000 | #Constraints: 72497
1854.22/1860.58 c #Conflicts: 680000 | #Constraints: 73497
1854.22/1860.58 c #Conflicts: 681000 | #Constraints: 74498
1854.22/1860.58 c #Conflicts: 682000 | #Constraints: 75498
1854.22/1860.58 c #Conflicts: 683000 | #Constraints: 76500
1854.22/1860.58 c #Conflicts: 684000 | #Constraints: 77500
1854.22/1860.58 c #Conflicts: 685000 | #Constraints: 78501
1854.22/1860.58 c #Conflicts: 686000 | #Constraints: 79502
1854.22/1860.58 c #Conflicts: 687000 | #Constraints: 80503
1854.22/1860.58 c #Conflicts: 688000 | #Constraints: 81504
1854.22/1860.58 c INPROCESSING
1854.22/1860.58 c GARBAGE COLLECT
1854.22/1860.58 c rational objective 9
1896.06/1902.55 c #Conflicts: 689000 | #Constraints: 66131
1896.06/1902.55 c #Conflicts: 690000 | #Constraints: 67131
1896.06/1902.55 c #Conflicts: 691000 | #Constraints: 68131
1896.06/1902.55 c #Conflicts: 692000 | #Constraints: 69133
1896.06/1902.55 c #Conflicts: 693000 | #Constraints: 70142
1896.06/1902.55 c #Conflicts: 694000 | #Constraints: 71146
1896.06/1902.55 c #Conflicts: 695000 | #Constraints: 72147
1896.06/1902.55 c #Conflicts: 696000 | #Constraints: 73147
1896.06/1902.55 c #Conflicts: 697000 | #Constraints: 74147
1896.06/1902.55 c #Conflicts: 698000 | #Constraints: 75148
1896.06/1902.55 c #Conflicts: 699000 | #Constraints: 76148
1896.06/1902.55 c #Conflicts: 700000 | #Constraints: 77148
1896.06/1902.55 c #Conflicts: 701000 | #Constraints: 78150
1896.06/1902.55 c #Conflicts: 702000 | #Constraints: 79151
1896.06/1902.55 c #Conflicts: 703000 | #Constraints: 80151
1896.06/1902.55 c #Conflicts: 704000 | #Constraints: 81153
1896.06/1902.55 c #Conflicts: 705000 | #Constraints: 82153
1896.06/1902.55 c INPROCESSING
1896.06/1902.55 c GARBAGE COLLECT
1896.06/1902.55 c rational objective 9
1971.33/1978.05 c #Conflicts: 706000 | #Constraints: 66524
1971.33/1978.05 c #Conflicts: 707000 | #Constraints: 67525
1971.33/1978.05 c #Conflicts: 708000 | #Constraints: 68526
1971.33/1978.05 c #Conflicts: 709000 | #Constraints: 69527
1971.33/1978.05 c #Conflicts: 710000 | #Constraints: 70527
1971.33/1978.05 c #Conflicts: 711000 | #Constraints: 71528
1971.33/1978.05 c #Conflicts: 712000 | #Constraints: 72529
1971.33/1978.05 c #Conflicts: 713000 | #Constraints: 73530
1971.33/1978.05 c #Conflicts: 714000 | #Constraints: 74530
1971.33/1978.05 c #Conflicts: 715000 | #Constraints: 75530
1971.33/1978.05 c #Conflicts: 716000 | #Constraints: 76531
1971.33/1978.05 c #Conflicts: 717000 | #Constraints: 77531
1971.33/1978.05 c #Conflicts: 718000 | #Constraints: 78532
1971.33/1978.05 c #Conflicts: 719000 | #Constraints: 79532
1971.33/1978.05 c #Conflicts: 720000 | #Constraints: 80532
1971.33/1978.05 c #Conflicts: 721000 | #Constraints: 81533
1971.33/1978.05 c #Conflicts: 722000 | #Constraints: 82533
1971.33/1978.05 c INPROCESSING
1971.33/1978.05 c GARBAGE COLLECT
1971.33/1978.05 c rational objective 9
2011.41/2018.20 c #Conflicts: 723000 | #Constraints: 66708
2011.41/2018.20 c #Conflicts: 724000 | #Constraints: 67708
2011.41/2018.20 c #Conflicts: 725000 | #Constraints: 68708
2011.41/2018.20 c #Conflicts: 726000 | #Constraints: 69709
2011.41/2018.20 c #Conflicts: 727000 | #Constraints: 70709
2011.41/2018.20 c #Conflicts: 728000 | #Constraints: 71710
2011.41/2018.20 c #Conflicts: 729000 | #Constraints: 72710
2011.41/2018.20 c #Conflicts: 730000 | #Constraints: 73711
2011.41/2018.20 c #Conflicts: 731000 | #Constraints: 74712
2011.41/2018.20 c #Conflicts: 732000 | #Constraints: 75712
2011.41/2018.20 c #Conflicts: 733000 | #Constraints: 76712
2011.41/2018.20 c #Conflicts: 734000 | #Constraints: 77713
2011.41/2018.20 c #Conflicts: 735000 | #Constraints: 78714
2011.41/2018.20 c #Conflicts: 736000 | #Constraints: 79714
2011.41/2018.20 c #Conflicts: 737000 | #Constraints: 80715
2011.41/2018.20 c #Conflicts: 738000 | #Constraints: 81715
2011.41/2018.20 c #Conflicts: 739000 | #Constraints: 82716
2011.41/2018.20 c INPROCESSING
2011.41/2018.20 c GARBAGE COLLECT
2011.41/2018.20 c rational objective 9
2052.19/2059.15 c #Conflicts: 740000 | #Constraints: 66738
2052.19/2059.15 c #Conflicts: 741000 | #Constraints: 67739
2052.19/2059.15 c #Conflicts: 742000 | #Constraints: 68742
2052.19/2059.15 c #Conflicts: 743000 | #Constraints: 69747
2052.19/2059.15 c #Conflicts: 744000 | #Constraints: 70748
2052.19/2059.15 c #Conflicts: 745000 | #Constraints: 71749
2052.19/2059.15 c #Conflicts: 746000 | #Constraints: 72751
2052.19/2059.15 c #Conflicts: 747000 | #Constraints: 73751
2052.19/2059.15 c #Conflicts: 748000 | #Constraints: 74752
2052.19/2059.15 c #Conflicts: 749000 | #Constraints: 75752
2052.19/2059.15 c #Conflicts: 750000 | #Constraints: 76753
2052.19/2059.15 c #Conflicts: 751000 | #Constraints: 77756
2052.19/2059.15 c #Conflicts: 752000 | #Constraints: 78757
2052.19/2059.15 c #Conflicts: 753000 | #Constraints: 79758
2052.19/2059.15 c #Conflicts: 754000 | #Constraints: 80759
2052.19/2059.15 c #Conflicts: 755000 | #Constraints: 81761
2052.19/2059.15 c #Conflicts: 756000 | #Constraints: 82762
2052.19/2059.15 c INPROCESSING
2052.19/2059.15 c GARBAGE COLLECT
2052.19/2059.15 c rational objective 9
2096.35/2103.43 c #Conflicts: 757000 | #Constraints: 66554
2096.35/2103.43 c #Conflicts: 758000 | #Constraints: 67555
2096.35/2103.43 c #Conflicts: 759000 | #Constraints: 68558
2096.35/2103.43 c #Conflicts: 760000 | #Constraints: 69558
2096.35/2103.43 c #Conflicts: 761000 | #Constraints: 70559
2096.35/2103.43 c #Conflicts: 762000 | #Constraints: 71560
2096.35/2103.43 c #Conflicts: 763000 | #Constraints: 72563
2096.35/2103.43 c #Conflicts: 764000 | #Constraints: 73563
2096.35/2103.43 c #Conflicts: 765000 | #Constraints: 74564
2096.35/2103.43 c #Conflicts: 766000 | #Constraints: 75564
2096.35/2103.43 c #Conflicts: 767000 | #Constraints: 76564
2096.35/2103.43 c #Conflicts: 768000 | #Constraints: 77564
2096.35/2103.43 c #Conflicts: 769000 | #Constraints: 78565
2096.35/2103.43 c #Conflicts: 770000 | #Constraints: 79565
2096.35/2103.43 c #Conflicts: 771000 | #Constraints: 80566
2096.35/2103.43 c #Conflicts: 772000 | #Constraints: 81567
2096.35/2103.43 c #Conflicts: 773000 | #Constraints: 82568
2096.35/2103.43 c #Conflicts: 774000 | #Constraints: 83569
2096.35/2103.43 c INPROCESSING
2096.35/2103.43 c GARBAGE COLLECT
2096.35/2103.43 c rational objective 9
2145.99/2153.25 c #Conflicts: 775000 | #Constraints: 67128
2145.99/2153.25 c #Conflicts: 776000 | #Constraints: 68128
2145.99/2153.25 c #Conflicts: 777000 | #Constraints: 69133
2145.99/2153.25 c #Conflicts: 778000 | #Constraints: 70136
2145.99/2153.25 c #Conflicts: 779000 | #Constraints: 71139
2145.99/2153.25 c #Conflicts: 780000 | #Constraints: 72144
2145.99/2153.25 c #Conflicts: 781000 | #Constraints: 73146
2145.99/2153.25 c #Conflicts: 782000 | #Constraints: 74147
2145.99/2153.25 c #Conflicts: 783000 | #Constraints: 75149
2145.99/2153.25 c #Conflicts: 784000 | #Constraints: 76149
2145.99/2153.25 c #Conflicts: 785000 | #Constraints: 77149
2145.99/2153.25 c #Conflicts: 786000 | #Constraints: 78150
2145.99/2153.25 c #Conflicts: 787000 | #Constraints: 79151
2145.99/2153.25 c #Conflicts: 788000 | #Constraints: 80153
2145.99/2153.25 c #Conflicts: 789000 | #Constraints: 81154
2145.99/2153.25 c #Conflicts: 790000 | #Constraints: 82155
2145.99/2153.25 c #Conflicts: 791000 | #Constraints: 83156
2145.99/2153.25 c #Conflicts: 792000 | #Constraints: 84157
2145.99/2153.25 c INPROCESSING
2145.99/2153.25 c GARBAGE COLLECT
2145.99/2153.25 c rational objective 9
2203.91/2211.39 c #Conflicts: 793000 | #Constraints: 67506
2203.91/2211.39 c #Conflicts: 794000 | #Constraints: 68506
2203.91/2211.39 c #Conflicts: 795000 | #Constraints: 69510
2203.91/2211.39 c #Conflicts: 796000 | #Constraints: 70510
2203.91/2211.39 c #Conflicts: 797000 | #Constraints: 71511
2203.91/2211.39 c #Conflicts: 798000 | #Constraints: 72511
2203.91/2211.39 c #Conflicts: 799000 | #Constraints: 73511
2203.91/2211.39 c #Conflicts: 800000 | #Constraints: 74512
2203.91/2211.39 c #Conflicts: 801000 | #Constraints: 75513
2203.91/2211.39 c #Conflicts: 802000 | #Constraints: 76514
2203.91/2211.39 c #Conflicts: 803000 | #Constraints: 77517
2203.91/2211.39 c #Conflicts: 804000 | #Constraints: 78520
2203.91/2211.39 c #Conflicts: 805000 | #Constraints: 79520
2203.91/2211.39 c #Conflicts: 806000 | #Constraints: 80521
2203.91/2211.39 c #Conflicts: 807000 | #Constraints: 81521
2203.91/2211.39 c #Conflicts: 808000 | #Constraints: 82523
2203.91/2211.39 c #Conflicts: 809000 | #Constraints: 83524
2203.91/2211.39 c #Conflicts: 810000 | #Constraints: 84524
2203.91/2211.39 c INPROCESSING
2203.91/2211.39 c GARBAGE COLLECT
2203.91/2211.39 c rational objective 9
2256.86/2264.40 c #Conflicts: 811000 | #Constraints: 67712
2256.86/2264.40 c #Conflicts: 812000 | #Constraints: 68715
2256.86/2264.40 c #Conflicts: 813000 | #Constraints: 69715
2256.86/2264.40 c #Conflicts: 814000 | #Constraints: 70717
2256.86/2264.40 c #Conflicts: 815000 | #Constraints: 71718
2256.86/2264.40 c #Conflicts: 816000 | #Constraints: 72719
2256.86/2264.40 c #Conflicts: 817000 | #Constraints: 73719
2256.86/2264.40 c #Conflicts: 818000 | #Constraints: 74720
2256.86/2264.40 c #Conflicts: 819000 | #Constraints: 75722
2256.86/2264.40 c #Conflicts: 820000 | #Constraints: 76722
2256.86/2264.40 c #Conflicts: 821000 | #Constraints: 77723
2256.86/2264.40 c #Conflicts: 822000 | #Constraints: 78725
2256.86/2264.40 c #Conflicts: 823000 | #Constraints: 79725
2256.86/2264.40 c #Conflicts: 824000 | #Constraints: 80727
2256.86/2264.40 c #Conflicts: 825000 | #Constraints: 81731
2256.86/2264.40 c #Conflicts: 826000 | #Constraints: 82734
2256.86/2264.40 c #Conflicts: 827000 | #Constraints: 83735
2256.86/2264.40 c #Conflicts: 828000 | #Constraints: 84736
2256.86/2264.40 c INPROCESSING
2256.86/2264.40 c GARBAGE COLLECT
2256.86/2264.40 c rational objective 9
2326.85/2334.65 c #Conflicts: 829000 | #Constraints: 67709
2326.85/2334.65 c #Conflicts: 830000 | #Constraints: 68709
2326.85/2334.65 c #Conflicts: 831000 | #Constraints: 69710
2326.85/2334.65 c #Conflicts: 832000 | #Constraints: 70711
2326.85/2334.65 c #Conflicts: 833000 | #Constraints: 71711
2326.85/2334.65 c #Conflicts: 834000 | #Constraints: 72711
2326.85/2334.65 c #Conflicts: 835000 | #Constraints: 73712
2326.85/2334.65 c #Conflicts: 836000 | #Constraints: 74713
2326.85/2334.65 c #Conflicts: 837000 | #Constraints: 75715
2326.85/2334.65 c #Conflicts: 838000 | #Constraints: 76716
2326.85/2334.65 c #Conflicts: 839000 | #Constraints: 77716
2326.85/2334.65 c #Conflicts: 840000 | #Constraints: 78717
2326.85/2334.65 c #Conflicts: 841000 | #Constraints: 79718
2326.85/2334.65 c #Conflicts: 842000 | #Constraints: 80718
2326.85/2334.65 c #Conflicts: 843000 | #Constraints: 81719
2326.85/2334.65 c #Conflicts: 844000 | #Constraints: 82719
2326.85/2334.65 c #Conflicts: 845000 | #Constraints: 83719
2326.85/2334.65 c #Conflicts: 846000 | #Constraints: 84720
2326.85/2334.65 c INPROCESSING
2326.85/2334.65 c GARBAGE COLLECT
2326.85/2334.65 c rational objective 9
2385.68/2393.65 c #Conflicts: 847000 | #Constraints: 67522
2385.68/2393.65 c #Conflicts: 848000 | #Constraints: 68523
2385.68/2393.65 c #Conflicts: 849000 | #Constraints: 69523
2385.68/2393.65 c #Conflicts: 850000 | #Constraints: 70523
2385.68/2393.65 c #Conflicts: 851000 | #Constraints: 71524
2385.68/2393.65 c #Conflicts: 852000 | #Constraints: 72526
2385.68/2393.65 c #Conflicts: 853000 | #Constraints: 73526
2385.68/2393.65 c #Conflicts: 854000 | #Constraints: 74526
2385.68/2393.65 c #Conflicts: 855000 | #Constraints: 75527
2385.68/2393.65 c #Conflicts: 856000 | #Constraints: 76527
2385.68/2393.65 c #Conflicts: 857000 | #Constraints: 77529
2385.68/2393.65 c #Conflicts: 858000 | #Constraints: 78530
2385.68/2393.65 c #Conflicts: 859000 | #Constraints: 79530
2385.68/2393.65 c #Conflicts: 860000 | #Constraints: 80531
2385.68/2393.65 c #Conflicts: 861000 | #Constraints: 81532
2385.68/2393.65 c #Conflicts: 862000 | #Constraints: 82533
2385.68/2393.65 c #Conflicts: 863000 | #Constraints: 83533
2385.68/2393.65 c #Conflicts: 864000 | #Constraints: 84534
2385.68/2393.65 c #Conflicts: 865000 | #Constraints: 85535
2385.68/2393.65 c INPROCESSING
2385.68/2393.65 c GARBAGE COLLECT
2385.68/2393.65 c rational objective 9
2434.21/2442.39 c #Conflicts: 866000 | #Constraints: 68121
2434.21/2442.39 c #Conflicts: 867000 | #Constraints: 69121
2434.21/2442.39 c #Conflicts: 868000 | #Constraints: 70123
2434.21/2442.39 c #Conflicts: 869000 | #Constraints: 71124
2434.21/2442.39 c #Conflicts: 870000 | #Constraints: 72126
2434.21/2442.39 c #Conflicts: 871000 | #Constraints: 73127
2434.21/2442.39 c #Conflicts: 872000 | #Constraints: 74127
2434.21/2442.39 c #Conflicts: 873000 | #Constraints: 75128
2434.21/2442.39 c #Conflicts: 874000 | #Constraints: 76128
2434.21/2442.39 c #Conflicts: 875000 | #Constraints: 77129
2434.21/2442.39 c #Conflicts: 876000 | #Constraints: 78129
2434.21/2442.39 c #Conflicts: 877000 | #Constraints: 79130
2434.21/2442.39 c #Conflicts: 878000 | #Constraints: 80132
2434.21/2442.39 c #Conflicts: 879000 | #Constraints: 81132
2434.21/2442.39 c #Conflicts: 880000 | #Constraints: 82132
2434.21/2442.39 c #Conflicts: 881000 | #Constraints: 83132
2434.21/2442.39 c #Conflicts: 882000 | #Constraints: 84132
2434.21/2442.39 c #Conflicts: 883000 | #Constraints: 85132
2434.21/2442.39 c #Conflicts: 884000 | #Constraints: 86132
2434.21/2442.39 c INPROCESSING
2434.21/2442.39 c GARBAGE COLLECT
2434.21/2442.39 c rational objective 9
2507.88/2516.27 c #Conflicts: 885000 | #Constraints: 68494
2507.88/2516.27 c #Conflicts: 886000 | #Constraints: 69494
2507.88/2516.27 c #Conflicts: 887000 | #Constraints: 70495
2507.88/2516.27 c #Conflicts: 888000 | #Constraints: 71496
2507.88/2516.27 c #Conflicts: 889000 | #Constraints: 72497
2507.88/2516.27 c #Conflicts: 890000 | #Constraints: 73499
2507.88/2516.27 c #Conflicts: 891000 | #Constraints: 74500
2507.88/2516.27 c #Conflicts: 892000 | #Constraints: 75502
2507.88/2516.27 c #Conflicts: 893000 | #Constraints: 76503
2507.88/2516.27 c #Conflicts: 894000 | #Constraints: 77504
2507.88/2516.27 c #Conflicts: 895000 | #Constraints: 78505
2507.88/2516.27 c #Conflicts: 896000 | #Constraints: 79507
2507.88/2516.27 c #Conflicts: 897000 | #Constraints: 80508
2507.88/2516.27 c #Conflicts: 898000 | #Constraints: 81511
2507.88/2516.27 c #Conflicts: 899000 | #Constraints: 82513
2507.88/2516.27 c #Conflicts: 900000 | #Constraints: 83513
2507.88/2516.27 c #Conflicts: 901000 | #Constraints: 84514
2507.88/2516.27 c #Conflicts: 902000 | #Constraints: 85515
2507.88/2516.27 c #Conflicts: 903000 | #Constraints: 86516
2507.88/2516.27 c INPROCESSING
2507.88/2516.27 c GARBAGE COLLECT
2507.88/2516.27 c rational objective 9
2571.00/2579.58 c #Conflicts: 904000 | #Constraints: 68693
2571.00/2579.58 c #Conflicts: 905000 | #Constraints: 69693
2571.00/2579.58 c #Conflicts: 906000 | #Constraints: 70693
2571.00/2579.58 c #Conflicts: 907000 | #Constraints: 71694
2571.00/2579.58 c #Conflicts: 908000 | #Constraints: 72695
2571.00/2579.58 c #Conflicts: 909000 | #Constraints: 73695
2571.00/2579.58 c #Conflicts: 910000 | #Constraints: 74696
2571.00/2579.58 c #Conflicts: 911000 | #Constraints: 75698
2571.00/2579.58 c #Conflicts: 912000 | #Constraints: 76699
2571.00/2579.58 c #Conflicts: 913000 | #Constraints: 77699
2571.00/2579.58 c #Conflicts: 914000 | #Constraints: 78700
2571.00/2579.58 c #Conflicts: 915000 | #Constraints: 79701
2571.00/2579.58 c #Conflicts: 916000 | #Constraints: 80701
2571.00/2579.58 c #Conflicts: 917000 | #Constraints: 81702
2571.00/2579.58 c #Conflicts: 918000 | #Constraints: 82702
2571.00/2579.58 c #Conflicts: 919000 | #Constraints: 83703
2571.00/2579.58 c #Conflicts: 920000 | #Constraints: 84704
2571.00/2579.58 c #Conflicts: 921000 | #Constraints: 85704
2571.00/2579.58 c #Conflicts: 922000 | #Constraints: 86704
2571.00/2579.58 c INPROCESSING
2571.00/2579.58 c GARBAGE COLLECT
2571.00/2579.58 c rational objective 9
2681.87/2690.76 c #Conflicts: 923000 | #Constraints: 68710
2681.87/2690.76 c #Conflicts: 924000 | #Constraints: 69711
2681.87/2690.76 c #Conflicts: 925000 | #Constraints: 70713
2681.87/2690.76 c #Conflicts: 926000 | #Constraints: 71715
2681.87/2690.76 c #Conflicts: 927000 | #Constraints: 72716
2681.87/2690.76 c #Conflicts: 928000 | #Constraints: 73717
2681.87/2690.76 c #Conflicts: 929000 | #Constraints: 74717
2681.87/2690.76 c #Conflicts: 930000 | #Constraints: 75718
2681.87/2690.76 c #Conflicts: 931000 | #Constraints: 76718
2681.87/2690.76 c #Conflicts: 932000 | #Constraints: 77718
2681.87/2690.76 c #Conflicts: 933000 | #Constraints: 78719
2681.87/2690.76 c #Conflicts: 934000 | #Constraints: 79719
2681.87/2690.76 c #Conflicts: 935000 | #Constraints: 80720
2681.87/2690.76 c #Conflicts: 936000 | #Constraints: 81720
2681.87/2690.76 c #Conflicts: 937000 | #Constraints: 82720
2681.87/2690.76 c #Conflicts: 938000 | #Constraints: 83721
2681.87/2690.76 c #Conflicts: 939000 | #Constraints: 84721
2681.87/2690.76 c #Conflicts: 940000 | #Constraints: 85721
2681.87/2690.76 c #Conflicts: 941000 | #Constraints: 86721
2681.87/2690.76 c INPROCESSING
2681.87/2690.76 c GARBAGE COLLECT
2681.87/2690.76 c rational objective 9
2772.71/2781.86 c #Conflicts: 942000 | #Constraints: 68489
2772.71/2781.86 c #Conflicts: 943000 | #Constraints: 69493
2772.71/2781.86 c #Conflicts: 944000 | #Constraints: 70496
2772.71/2781.86 c #Conflicts: 945000 | #Constraints: 71496
2772.71/2781.86 c #Conflicts: 946000 | #Constraints: 72496
2772.71/2781.86 c #Conflicts: 947000 | #Constraints: 73497
2772.71/2781.86 c #Conflicts: 948000 | #Constraints: 74497
2772.71/2781.86 c #Conflicts: 949000 | #Constraints: 75497
2772.71/2781.86 c #Conflicts: 950000 | #Constraints: 76498
2772.71/2781.86 c #Conflicts: 951000 | #Constraints: 77498
2772.71/2781.86 c #Conflicts: 952000 | #Constraints: 78498
2772.71/2781.86 c #Conflicts: 953000 | #Constraints: 79499
2772.71/2781.86 c #Conflicts: 954000 | #Constraints: 80499
2772.71/2781.86 c #Conflicts: 955000 | #Constraints: 81499
2772.71/2781.86 c #Conflicts: 956000 | #Constraints: 82499
2772.71/2781.86 c #Conflicts: 957000 | #Constraints: 83499
2772.71/2781.86 c #Conflicts: 958000 | #Constraints: 84500
2772.71/2781.86 c #Conflicts: 959000 | #Constraints: 85500
2772.71/2781.86 c #Conflicts: 960000 | #Constraints: 86500
2772.71/2781.86 c #Conflicts: 961000 | #Constraints: 87501
2772.71/2781.86 c INPROCESSING
2772.71/2781.86 c GARBAGE COLLECT
2772.71/2781.86 c rational objective 9
2869.33/2878.71 c #Conflicts: 962000 | #Constraints: 69118
2869.33/2878.71 c #Conflicts: 963000 | #Constraints: 70118
2869.33/2878.71 c #Conflicts: 964000 | #Constraints: 71118
2869.33/2878.71 c #Conflicts: 965000 | #Constraints: 72120
2869.33/2878.71 c #Conflicts: 966000 | #Constraints: 73122
2869.33/2878.71 c #Conflicts: 967000 | #Constraints: 74124
2869.33/2878.71 c #Conflicts: 968000 | #Constraints: 75125
2869.33/2878.71 c #Conflicts: 969000 | #Constraints: 76126
2869.33/2878.71 c #Conflicts: 970000 | #Constraints: 77127
2869.33/2878.71 c #Conflicts: 971000 | #Constraints: 78127
2869.33/2878.71 c #Conflicts: 972000 | #Constraints: 79128
2869.33/2878.71 c #Conflicts: 973000 | #Constraints: 80128
2869.33/2878.71 c #Conflicts: 974000 | #Constraints: 81128
2869.33/2878.71 c #Conflicts: 975000 | #Constraints: 82128
2869.33/2878.71 c #Conflicts: 976000 | #Constraints: 83129
2869.33/2878.71 c #Conflicts: 977000 | #Constraints: 84129
2869.33/2878.71 c #Conflicts: 978000 | #Constraints: 85129
2869.33/2878.71 c #Conflicts: 979000 | #Constraints: 86129
2869.33/2878.71 c #Conflicts: 980000 | #Constraints: 87129
2869.33/2878.71 c #Conflicts: 981000 | #Constraints: 88129
2869.33/2878.71 c INPROCESSING
2869.33/2878.71 c GARBAGE COLLECT
2869.33/2878.71 c rational objective 9
2950.00/2959.66 c #Conflicts: 982000 | #Constraints: 69557
2950.00/2959.66 c #Conflicts: 983000 | #Constraints: 70558
2950.00/2959.66 c #Conflicts: 984000 | #Constraints: 71558
2950.00/2959.66 c #Conflicts: 985000 | #Constraints: 72558
2950.00/2959.66 c #Conflicts: 986000 | #Constraints: 73559
2950.00/2959.66 c #Conflicts: 987000 | #Constraints: 74559
2950.00/2959.66 c #Conflicts: 988000 | #Constraints: 75560
2950.00/2959.66 c #Conflicts: 989000 | #Constraints: 76561
2950.00/2959.66 c #Conflicts: 990000 | #Constraints: 77562
2950.00/2959.66 c #Conflicts: 991000 | #Constraints: 78562
2950.00/2959.66 c #Conflicts: 992000 | #Constraints: 79562
2950.00/2959.66 c #Conflicts: 993000 | #Constraints: 80563
2950.00/2959.66 c #Conflicts: 994000 | #Constraints: 81563
2950.00/2959.66 c #Conflicts: 995000 | #Constraints: 82563
2950.00/2959.66 c #Conflicts: 996000 | #Constraints: 83564
2950.00/2959.66 c #Conflicts: 997000 | #Constraints: 84564
2950.00/2959.66 c #Conflicts: 998000 | #Constraints: 85564
2950.00/2959.66 c #Conflicts: 999000 | #Constraints: 86564
2950.00/2959.66 c #Conflicts: 1000000 | #Constraints: 87564
2950.00/2959.66 c #Conflicts: 1001000 | #Constraints: 88564
2950.00/2959.66 c INPROCESSING
2950.00/2959.66 c GARBAGE COLLECT
2950.00/2959.66 c rational objective 9
2989.99/2999.79 c #Conflicts: 1002000 | #Constraints: 69753
2989.99/2999.79 c #Conflicts: 1003000 | #Constraints: 70753
2989.99/2999.79 c #Conflicts: 1004000 | #Constraints: 71753
2989.99/2999.79 c #Conflicts: 1005000 | #Constraints: 72753
2989.99/2999.79 c #Conflicts: 1006000 | #Constraints: 73753
2989.99/2999.79 c #Conflicts: 1007000 | #Constraints: 74753
2989.99/2999.79 c #Conflicts: 1008000 | #Constraints: 75753
2989.99/2999.79 c #Conflicts: 1009000 | #Constraints: 76753
2989.99/2999.79 c #Conflicts: 1010000 | #Constraints: 77754
2989.99/2999.79 c #Conflicts: 1011000 | #Constraints: 78754
2989.99/2999.79 c #Conflicts: 1012000 | #Constraints: 79756
2989.99/2999.79 c #Conflicts: 1013000 | #Constraints: 80759
2989.99/2999.79 c #Conflicts: 1014000 | #Constraints: 81760
2989.99/2999.79 c #Conflicts: 1015000 | #Constraints: 82761
2989.99/2999.79 c #Conflicts: 1016000 | #Constraints: 83762
2989.99/2999.79 c #Conflicts: 1017000 | #Constraints: 84762
2989.99/2999.79 c #Conflicts: 1018000 | #Constraints: 85762
2989.99/2999.79 c #Conflicts: 1019000 | #Constraints: 86762
2989.99/2999.79 c #Conflicts: 1020000 | #Constraints: 87763
2989.99/2999.79 c #Conflicts: 1021000 | #Constraints: 88763
2989.99/2999.79 c INPROCESSING
2989.99/2999.79 c GARBAGE COLLECT
2989.99/2999.79 c rational objective 9
3072.36/3082.37 c #Conflicts: 1022000 | #Constraints: 69725
3072.36/3082.37 c #Conflicts: 1023000 | #Constraints: 70728
3072.36/3082.37 c #Conflicts: 1024000 | #Constraints: 71729
3072.36/3082.37 c #Conflicts: 1025000 | #Constraints: 72730
3072.36/3082.37 c #Conflicts: 1026000 | #Constraints: 73730
3072.36/3082.37 c #Conflicts: 1027000 | #Constraints: 74731
3072.36/3082.37 c #Conflicts: 1028000 | #Constraints: 75732
3072.36/3082.37 c #Conflicts: 1029000 | #Constraints: 76732
3072.36/3082.37 c #Conflicts: 1030000 | #Constraints: 77732
3072.36/3082.37 c #Conflicts: 1031000 | #Constraints: 78732
3072.36/3082.37 c #Conflicts: 1032000 | #Constraints: 79732
3072.36/3082.37 c #Conflicts: 1033000 | #Constraints: 80733
3072.36/3082.37 c #Conflicts: 1034000 | #Constraints: 81734
3072.36/3082.37 c #Conflicts: 1035000 | #Constraints: 82734
3072.36/3082.37 c #Conflicts: 1036000 | #Constraints: 83734
3072.36/3082.37 c #Conflicts: 1037000 | #Constraints: 84734
3072.36/3082.37 c #Conflicts: 1038000 | #Constraints: 85735
3072.36/3082.37 c #Conflicts: 1039000 | #Constraints: 86735
3072.36/3082.37 c #Conflicts: 1040000 | #Constraints: 87735
3072.36/3082.37 c #Conflicts: 1041000 | #Constraints: 88735
3072.36/3082.38 c INPROCESSING
3072.36/3082.38 c GARBAGE COLLECT
3072.36/3082.38 c rational objective 9
3214.45/3224.84 c #Conflicts: 1042000 | #Constraints: 69574
3214.45/3224.84 c #Conflicts: 1043000 | #Constraints: 70574
3214.45/3224.84 c #Conflicts: 1044000 | #Constraints: 71574
3214.45/3224.84 c #Conflicts: 1045000 | #Constraints: 72574
3214.45/3224.84 c #Conflicts: 1046000 | #Constraints: 73575
3214.45/3224.84 c #Conflicts: 1047000 | #Constraints: 74577
3214.45/3224.84 c #Conflicts: 1048000 | #Constraints: 75580
3214.45/3224.84 c #Conflicts: 1049000 | #Constraints: 76581
3214.45/3224.84 c #Conflicts: 1050000 | #Constraints: 77582
3214.45/3224.84 c #Conflicts: 1051000 | #Constraints: 78584
3214.45/3224.84 c #Conflicts: 1052000 | #Constraints: 79585
3214.45/3224.84 c #Conflicts: 1053000 | #Constraints: 80587
3214.45/3224.84 c #Conflicts: 1054000 | #Constraints: 81589
3214.45/3224.84 c #Conflicts: 1055000 | #Constraints: 82590
3214.45/3224.84 c #Conflicts: 1056000 | #Constraints: 83591
3214.45/3224.84 c #Conflicts: 1057000 | #Constraints: 84592
3214.45/3224.84 c #Conflicts: 1058000 | #Constraints: 85593
3214.45/3224.84 c #Conflicts: 1059000 | #Constraints: 86594
3214.45/3224.84 c #Conflicts: 1060000 | #Constraints: 87595
3214.45/3224.84 c #Conflicts: 1061000 | #Constraints: 88596
3214.45/3224.84 c #Conflicts: 1062000 | #Constraints: 89596
3214.45/3224.84 c INPROCESSING
3214.45/3224.84 c GARBAGE COLLECT
3214.45/3224.84 c rational objective 9
3291.03/3301.65 c #Conflicts: 1063000 | #Constraints: 70188
3291.03/3301.65 c #Conflicts: 1064000 | #Constraints: 71188
3291.03/3301.65 c #Conflicts: 1065000 | #Constraints: 72191
3291.03/3301.65 c #Conflicts: 1066000 | #Constraints: 73192
3291.03/3301.65 c #Conflicts: 1067000 | #Constraints: 74192
3291.03/3301.65 c #Conflicts: 1068000 | #Constraints: 75195
3291.03/3301.65 c #Conflicts: 1069000 | #Constraints: 76197
3291.03/3301.65 c #Conflicts: 1070000 | #Constraints: 77199
3291.03/3301.65 c #Conflicts: 1071000 | #Constraints: 78200
3291.03/3301.65 c #Conflicts: 1072000 | #Constraints: 79200
3291.03/3301.65 c #Conflicts: 1073000 | #Constraints: 80201
3291.03/3301.65 c #Conflicts: 1074000 | #Constraints: 81202
3291.03/3301.65 c #Conflicts: 1075000 | #Constraints: 82203
3291.03/3301.65 c #Conflicts: 1076000 | #Constraints: 83204
3291.03/3301.65 c #Conflicts: 1077000 | #Constraints: 84204
3291.03/3301.65 c #Conflicts: 1078000 | #Constraints: 85205
3291.03/3301.65 c #Conflicts: 1079000 | #Constraints: 86205
3291.03/3301.65 c #Conflicts: 1080000 | #Constraints: 87206
3291.03/3301.65 c #Conflicts: 1081000 | #Constraints: 88206
3291.03/3301.65 c #Conflicts: 1082000 | #Constraints: 89206
3291.03/3301.65 c #Conflicts: 1083000 | #Constraints: 90207
3291.03/3301.65 c INPROCESSING
3291.03/3301.65 c GARBAGE COLLECT
3291.03/3301.65 c rational objective 9
3396.59/3407.55 c #Conflicts: 1084000 | #Constraints: 70604
3396.59/3407.55 c #Conflicts: 1085000 | #Constraints: 71604
3396.59/3407.55 c #Conflicts: 1086000 | #Constraints: 72605
3396.59/3407.55 c #Conflicts: 1087000 | #Constraints: 73605
3396.59/3407.55 c #Conflicts: 1088000 | #Constraints: 74605
3396.59/3407.55 c #Conflicts: 1089000 | #Constraints: 75607
3396.59/3407.55 c #Conflicts: 1090000 | #Constraints: 76607
3396.59/3407.55 c #Conflicts: 1091000 | #Constraints: 77608
3396.59/3407.55 c #Conflicts: 1092000 | #Constraints: 78609
3396.59/3407.55 c #Conflicts: 1093000 | #Constraints: 79610
3396.59/3407.55 c #Conflicts: 1094000 | #Constraints: 80610
3396.59/3407.55 c #Conflicts: 1095000 | #Constraints: 81611
3396.59/3407.55 c #Conflicts: 1096000 | #Constraints: 82611
3396.59/3407.55 c #Conflicts: 1097000 | #Constraints: 83611
3396.59/3407.55 c #Conflicts: 1098000 | #Constraints: 84612
3396.59/3407.55 c #Conflicts: 1099000 | #Constraints: 85612
3396.59/3407.55 c #Conflicts: 1100000 | #Constraints: 86612
3396.59/3407.55 c #Conflicts: 1101000 | #Constraints: 87612
3396.59/3407.55 c #Conflicts: 1102000 | #Constraints: 88613
3396.59/3407.55 c #Conflicts: 1103000 | #Constraints: 89613
3396.59/3407.55 c #Conflicts: 1104000 | #Constraints: 90613
3396.59/3407.55 c INPROCESSING
3396.59/3407.55 c GARBAGE COLLECT
3396.59/3407.55 c rational objective 9
3585.05/3596.57 c #Conflicts: 1105000 | #Constraints: 70797
3585.05/3596.57 c #Conflicts: 1106000 | #Constraints: 71798
3585.05/3596.57 c #Conflicts: 1107000 | #Constraints: 72798
3585.05/3596.57 c #Conflicts: 1108000 | #Constraints: 73800
3585.05/3596.57 c #Conflicts: 1109000 | #Constraints: 74804
3585.05/3596.57 c #Conflicts: 1110000 | #Constraints: 75809
3585.05/3596.57 c #Conflicts: 1111000 | #Constraints: 76814
3585.05/3596.57 c #Conflicts: 1112000 | #Constraints: 77817
3585.05/3596.57 c #Conflicts: 1113000 | #Constraints: 78818
3585.05/3596.57 c #Conflicts: 1114000 | #Constraints: 79819
3585.05/3596.57 c #Conflicts: 1115000 | #Constraints: 80820
3585.05/3596.57 c #Conflicts: 1116000 | #Constraints: 81822
3585.05/3596.57 c #Conflicts: 1117000 | #Constraints: 82823
3585.05/3596.57 c #Conflicts: 1118000 | #Constraints: 83824
3585.05/3596.57 c #Conflicts: 1119000 | #Constraints: 84825
3585.05/3596.57 c #Conflicts: 1120000 | #Constraints: 85826
3585.05/3596.57 c #Conflicts: 1121000 | #Constraints: 86826
3585.05/3596.57 c #Conflicts: 1122000 | #Constraints: 87826
3585.05/3596.57 c #Conflicts: 1123000 | #Constraints: 88826
3585.05/3596.57 c #Conflicts: 1124000 | #Constraints: 89826
3585.05/3596.57 c #Conflicts: 1125000 | #Constraints: 90827
3585.05/3596.57 c INPROCESSING
3585.05/3596.57 c GARBAGE COLLECT
3585.05/3596.57 c rational objective 9
3600.00/3611.50 c #Conflicts: 1126000 | #Constraints: 70842
3600.00/3611.50 c #Conflicts: 1127000 | #Constraints: 71843
3600.00/3611.50 c #Conflicts: 1128000 | #Constraints: 72843
3600.00/3611.50 c #Conflicts: 1129000 | #Constraints: 73843
3600.00/3611.50 c #Conflicts: 1130000 | #Constraints: 74844
3600.00/3611.50 c #Conflicts: 1131000 | #Constraints: 75844
3600.00/3611.50 c Disabling crashed LP
3600.00/3611.50 c cpu time 3558.85 s
3600.00/3611.50 c deterministic time 299184414655 2.99e+11
3600.00/3611.50 c optimization time 14.2166 s
3600.00/3611.50 c total solve time 3544.34 s
3600.00/3611.50 c core-guided solve time 1871.86 s
3600.00/3611.50 c propagation time 2113.7 s
3600.00/3611.50 c conflict analysis time 887.986 s
3600.00/3611.50 c propagations 580023293
3600.00/3611.50 c resolve steps 7307833
3600.00/3611.50 c decisions 12335614
3600.00/3611.50 c conflicts 1131392
3600.00/3611.50 c restarts 2067
3600.00/3611.50 c inprocessing phases 97
3600.00/3611.50 c garbage collections 97 ,( 100.00 )
3600.00/3611.50 c input clauses 56888 ,( 98.83 )
3600.00/3611.50 c input cardinalities 98 ,( 0.17 )
3600.00/3611.50 c input general constraints 576 ,( 1.00 )
3600.00/3611.50 c input average constraint length 4.07
3600.00/3611.50 c input average constraint degree 12.29
3600.00/3611.50 c learned clauses 122479 ,( 10.81 )
3600.00/3611.50 c learned cardinalities 13999 ,( 1.24 )
3600.00/3611.50 c learned general constraints 996487 ,( 87.95 )
3600.00/3611.50 c learned average constraint length 1256.98
3600.00/3611.50 c learned average constraint degree 8908018073.83
3600.00/3611.50 c watched CF 32, 64, 128, Arb: 373554 , 0 , 0 , 0
3600.00/3611.50 c counting CF 32, 64, 128, Arb: 623510 , 0 , 0 , 0
3600.00/3611.50 c watched constraints 373554 ,( 37.47 )
3600.00/3611.50 c counting constraints 623509 ,( 62.53 )
3600.00/3611.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 119791662 , 22562709 , 3316512673 ,( 200148175 , 3116364498 )
3600.00/3611.50 c gcd simplifications 70648
3600.00/3611.50 c detected cardinalities 344
3600.00/3611.50 c weakened non-implied lits 380934896
3600.00/3611.50 c weakened non-implying lits 844204
3600.00/3611.50 c original variables 24530
3600.00/3611.50 c clausal propagations 101034894
3600.00/3611.50 c cardinality propagations 61100006
3600.00/3611.50 c watched propagations 3020555
3600.00/3611.50 c counting propagations 399012201
3600.00/3611.50 c watch lookups 103787758130
3600.00/3611.50 c watch backjump lookups 0
3600.00/3611.50 c watch checks 49953062564
3600.00/3611.50 c propagation checks 140017552622
3600.00/3611.50 c constraint additions 4238707028
3600.00/3611.50 c trail pops 593486118
3600.00/3611.50 c formula constraints 57562
3600.00/3611.50 c learned constraints 1130306
3600.00/3611.50 c bound constraints 0
3600.00/3611.50 c core-guided constraints 0
3600.00/3611.50 c encountered formula constraints 5089563
3600.00/3611.50 c encountered learned constraints 3141778
3600.00/3611.50 c encountered bound constraints 0
3600.00/3611.50 c encountered core-guided constraints 0
3600.00/3611.50 c LP total time 980.816 s
3600.00/3611.50 c LP solve time 927.96 s
3600.00/3611.50 c LP constraints added 59729
3600.00/3611.50 c LP constraints removed 2135
3600.00/3611.50 c LP pivots internal 1131391
3600.00/3611.50 c LP pivots root 357894
3600.00/3611.50 c LP calls 1225
3600.00/3611.50 c LP optimalities 132
3600.00/3611.50 c LP no pivot count 7
3600.00/3611.50 c LP infeasibilities 1089
3600.00/3611.50 c LP valid Farkas constraints 1086
3600.00/3611.50 c LP learned Farkas constraints 1086
3600.00/3611.50 c LP basis resets 3
3600.00/3611.50 c LP cycling count 0
3600.00/3611.50 c LP singular count 0
3600.00/3611.50 c LP no primal count 0
3600.00/3611.50 c LP no farkas count 3
3600.00/3611.50 c LP other issue count 0
3600.00/3611.50 c LP Gomory cuts 487
3600.00/3611.50 c LP learned cuts 1680
3600.00/3611.50 c LP deleted cuts 2135
3600.00/3611.50 c LP encountered Gomory constraints 5718
3600.00/3611.50 c LP encountered Farkas constraints 190001
3600.00/3611.50 c LP encountered learned Farkas constraints 11079
3600.00/3611.50 c CG auxiliary variables introduced 0
3600.00/3611.50 c CG solutions found 0
3600.00/3611.50 c CG cores constructed 0
3600.00/3611.50 c CG core cardinality constraints returned 0
3600.00/3611.50 c CG unit cores 0
3600.00/3611.50 c CG single cores 0
3600.00/3611.50 c CG blocks removed during cardinality reduction 0
3600.00/3611.50 c CG first core best 0
3600.00/3611.50 c CG decision core best 0
3600.00/3611.50 c CG core reduction tie 0
3600.00/3611.50 c CG core degree average 0.00
3600.00/3611.50 c CG core slack average 0.00
3600.00/3611.50 c CG core upper bound improvements 0
3600.00/3611.50 c STR number of successful calls 0
3600.00/3611.50 c STR number of unsuccessful calls 0
3600.00/3611.50 c STR number of inconclusive calls 0
3600.00/3611.50 c STR number of successful attempts 0
3600.00/3611.50 c STR number of unsuccessful attempts 0
3600.00/3611.50 c STR number of inconclusive attempts 0
3600.00/3611.50 c STR average degree increase per successful call inf
3600.00/3611.50 c STR average degree increase per successful attempt inf
3600.00/3611.50 c STR total number of conflicts for successful attempts 0
3600.00/3611.50 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3611.50 c STR total number of conflicts for inconclusive attempts 0
3600.00/3611.50 c STR average number of conflicts per successful attempt inf
3600.00/3611.50 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3611.50 c STR average number of conflicts per inconclusive attempt inf
3600.00/3611.50 c AVG.sumWPerc 50.57
3600.00/3611.50 c bigint constraints 0
3600.00/3611.50 s UNKNOWN
3600.00/3611.50 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 (33949 MiB free)
memory of node 1: 64465 MiB (45911 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532510-1752683038/watcher-4532510-1752683038 -o /tmp/evaluation-result-4532510-1752683038/solver-4532510-1752683038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1752683038-143343 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532510-1752683038.opb /tmp/proof-4532510-1752683038
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=143405, runsolver pid=143402
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 0.22 0.12 0.10 6/268 143407
/proc/meminfo: memFree=81722424/131250000 swapFree=33008356/33010684
[pid=143405] ppid=143402 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/143405/stat : 143405 (run-opt-break-l) S 143402 143405 143326 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 183981357 4292608 768 18446744073709551615 94104609636352 94104610530885 140721107685536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94104610769936 94104610817680 94104634155008 140721107691833 140721107691996 140721107691996 140721107697600 0
/proc/143405/statm: 1048 768 704 219 0 110 0
[pid=143407] ppid=143405 vsize=29692 memory=19024 CPUtime=0.07 cores=0,2
/proc/143407/stat : 143407 (pbsuma) R 143405 143405 143326 0 -1 4194304 5108 0 0 0 6 1 0 0 20 0 1 0 183981358 30404608 4756 18446744073709551615 4210688 4653049 140721388979312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 24469504 140721388984583 140721388984880 140721388984880 140721388990447 0
/proc/143407/statm: 7423 4756 1056 108 0 4831 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 33884 KiB
Current children cumulated memory: 22096 KiB
[startup+0.205656 s]*
/proc/loadavg: 0.22 0.12 0.10 5/268 143407
/proc/meminfo: memFree=81637368/131250000 swapFree=33008356/33010684
[pid=143405] ppid=143402 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/143405/stat : 143405 (run-opt-break-l) S 143402 143405 143326 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 183981357 4292608 768 18446744073709551615 94104609636352 94104610530885 140721107685536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94104610769936 94104610817680 94104634155008 140721107691833 140721107691996 140721107691996 140721107697600 0
/proc/143405/statm: 1048 768 704 219 0 110 0
[pid=143407] ppid=143405 vsize=40016 memory=28372 CPUtime=0.17 cores=0,2
/proc/143407/stat : 143407 (pbsuma) R 143405 143405 143326 0 -1 4194304 7812 0 0 0 16 1 0 0 20 0 1 0 183981358 40976384 7093 18446744073709551615 4210688 4653049 140721388979312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 24469504 140721388984583 140721388984880 140721388984880 140721388990447 0
/proc/143407/statm: 10004 7093 1056 108 0 7412 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 44208 KiB
Current children cumulated memory: 31444 KiB
[startup+0.305601 s]*
/proc/loadavg: 0.22 0.12 0.10 5/268 143407
/proc/meminfo: memFree=81547444/131250000 swapFree=33008356/33010684
[pid=143405] ppid=143402 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/143405/stat : 143405 (run-opt-break-l) S 143402 143405 143326 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 183981357 4292608 768 18446744073709551615 94104609636352 94104610530885 140721107685536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94104610769936 94104610817680 94104634155008 140721107691833 140721107691996 140721107691996 140721107697600 0
/proc/143405/statm: 1048 768 704 219 0 110 0
[pid=143407] ppid=143405 vsize=37640 memory=26588 CPUtime=0.27 cores=0,2
/proc/143407/stat : 143407 (pbsuma) R 143405 143405 143326 0 -1 4194304 7937 0 0 0 26 1 0 0 20 0 1 0 183981358 38543360 6647 18446744073709551615 4210688 4653049 140721388979312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 24469504 140721388984583 140721388984880 140721388984880 140721388990447 0
/proc/143407/statm: 9410 6647 1056 108 0 6818 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 41832 KiB
Current children cumulated memory: 29660 KiB
[startup+0.700199 s]
/proc/loadavg: 0.22 0.12 0.10 5/268 143408
/proc/meminfo: memFree=81583848/131250000 swapFree=33008356/33010684
[pid=143405] ppid=143402 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/143405/stat : 143405 (run-opt-break-l) S 143402 143405 143326 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 183981357 4292608 768 18446744073709551615 94104609636352 94104610530885 140721107685536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94104610769936 94104610817680 94104634155008 140721107691833 140721107691996 140721107691996 140721107697600 0
/proc/143405/statm: 1048 768 704 219 0 110 0
[pid=143407] ppid=143405 vsize=37640 memory=26716 CPUtime=0.66 cores=0,2
/proc/143407/stat : 143407 (pbsuma) R 143405 143405 143326 0 -1 4194304 7986 0 0 0 65 1 0 0 20 0 1 0 183981358 38543360 6679 18446744073709551615 4210688 4653049 140721388979312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 24469504 140721388984583 140721388984880 140721388984880 140721388990447 0
/proc/143407/statm: 9410 6679 1056 108 0 6818 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 41832 KiB
Current children cumulated memory: 29788 KiB
[startup+1.50016 s]
/proc/loadavg: 0.22 0.12 0.10 5/268 143409
/proc/meminfo: memFree=81683824/131250000 swapFree=33008356/33010684
[pid=143405] ppid=143402 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/143405/stat : 143405 (run-opt-break-l) S 143402 143405 143326 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 183981357 4292608 768 18446744073709551615 94104609636352 94104610530885 140721107685536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94104610769936 94104610817680 94104634155008 140721107691833 140721107691996 140721107691996 140721107697600 0
/proc/143405/statm: 1048 768 704 219 0 110 0
[pid=143407] ppid=143405 vsize=50224 memory=40924 CPUtime=1.46 cores=0,2
/proc/143407/stat : 143407 (pbsuma) R 143405 143405 143326 0 -1 4194304 11536 0 0 0 144 2 0 0 20 0 1 0 183981358 51429376 10231 18446744073709551615 4210688 4653049 140721388979312 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 24469504 140721388984583 140721388984880 140721388984880 140721388990447 0
/proc/143407/statm: 12556 10231 1056 108 0 9964 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 54416 KiB
Current children cumulated memory: 43996 KiB
[startup+3.10544 s]
/proc/loadavg: 0.22 0.12 0.10 5/268 143410
/proc/meminfo: memFree=81464528/131250000 swapFree=33008356/33010684
[pid=143405] ppid=143402 vsize=4192 memory=3072 CPUtime=1.68 cores=0,2
/proc/143405/stat : 143405 (run-opt-break-l) S 143402 143405 143326 0 -1 4194304 238 12662 0 0 0 0 163 5 20 0 1 0 183981357 4292608 768 18446744073709551615 94104609636352 94104610530885 140721107685536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94104610769936 94104610817680 94104634155008 140721107691833 140721107691996 140721107691996 140721107697600 0
/proc/143405/statm: 1048 768 704 219 0 110 0
[pid=143410] ppid=143405 vsize=151624 memory=105880 CPUtime=1.37 cores=0,2
/proc/143410/stat : 143410 (roundingsat) R 143405 143405 143326 0 -1 4194304 16777 0 0 0 127 10 0 0 20 0 1 0 183981529 155262976 26470 18446744073709551615 4227072 8923577 140729616128912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15728640 140729616132408 140729616132646 140729616132646 140729616138218 0
/proc/143410/statm: 37906 26470 2400 1147 0 25332 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 155816 KiB
Current children cumulated memory: 108952 KiB
[startup+6.30018 s]
/proc/loadavg: 0.52 0.18 0.12 5/268 143410
/proc/meminfo: memFree=80699784/131250000 swapFree=33008356/33010684
[pid=143405] ppid=143402 vsize=4192 memory=3072 CPUtime=1.68 cores=0,2
/proc/143405/stat : 143405 (run-opt-break-l) S 143402 143405 143326 0 -1 4194304 238 12662 0 0 0 0 163 5 20 0 1 0 183981357 4292608 768 18446744073709551615 94104609636352 94104610530885 140721107685536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94104610769936 94104610817680 94104634155008 140721107691833 140721107691996 140721107691996 140721107697600 0
/proc/143405/statm: 1048 768 704 219 0 110 0
[pid=143410] ppid=143405 vsize=193500 memory=144112 CPUtime=4.55 cores=0,2
/proc/143410/stat : 143410 (roundingsat) R 143405 143405 143326 0 -1 4194304 25832 0 0 0 441 14 0 0 20 0 1 0 183981529 198144000 36028 18446744073709551615 4227072 8923577 140729616128912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15728640 140729616132408 140729616132646 140729616132646 140729616138218 0
/proc/143410/statm: 48375 36028 2400 1147 0 35801 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 197692 KiB
Current children cumulated memory: 147184 KiB
[startup+12.7002 s]
/proc/loadavg: 0.80 0.24 0.14 5/268 143410
/proc/meminfo: memFree=80522364/131250000 swapFree=33008356/33010684
[pid=143405] ppid=143402 vsize=4192 memory=3072 CPUtime=1.68 cores=0,2
/proc/143405/stat : 143405 (run-opt-break-l) S 143402 143405 143326 0 -1 4194304 238 12662 0 0 0 0 163 5 20 0 1 0 183981357 4292608 768 18446744073709551615 94104609636352 94104610530885 140721107685536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94104610769936 94104610817680 94104634155008 140721107691833 140721107691996 140721107691996 140721107697600 0
/proc/143405/statm: 1048 768 704 219 0 110 0
[pid=143410] ppid=143405 vsize=228504 memory=171880 CPUtime=10.93 cores=0,2
/proc/143410/stat : 143410 (roundingsat) R 143405 143405 143326 0 -1 4194304 31278 0 0 0 1071 22 0 0 20 0 1 0 183981529 233988096 42970 18446744073709551615 4227072 8923577 140729616128912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15728640 140729616132408 140729616132646 140729616132646 140729616138218 0
/proc/143410/statm: 57126 42970 2400 1147 0 44552 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 232696 KiB
Current children cumulated memory: 174952 KiB
[startup+25.5002 s]
/proc/loadavg: 1.59 0.45 0.21 5/268 143410
/proc/meminfo: memFree=80103868/131250000 swapFree=33008356/33010684
[pid=143405] ppid=143402 vsize=4192 memory=3072 CPUtime=1.68 cores=0,2
/proc/143405/stat : 143405 (run-opt-break-l) S 143402 143405 143326 0 -1 4194304 238 12662 0 0 0 0 163 5 20 0 1 0 183981357 4292608 768 18446744073709551615 94104609636352 94104610530885 140721107685536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94104610769936 94104610817680 94104634155008 140721107691833 140721107691996 140721107691996 140721107697600 0
/proc/143405/statm: 1048 768 704 219 0 110 0
[pid=143410] ppid=143405 vsize=240344 memory=186256 CPUtime=23.7 cores=0,2
/proc/143410/stat : 143410 (roundingsat) R 143405 143405 143326 0 -1 4194304 32825 0 0 0 2330 40 0 0 20 0 1 0 183981529 246112256 46564 18446744073709551615 4227072 8923577 140729616128912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15728640 140729616132408 140729616132646 140729616132646 140729616138218 0
/proc/143410/statm: 60086 46564 2400 1147 0 47512 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 244536 KiB
Current children cumulated memory: 189328 KiB
[startup+51.1056 s]
/proc/loadavg: 2.67 0.80 0.33 5/269 143462
/proc/meminfo: memFree=78931904/131250000 swapFree=33008356/33010684
[pid=143405] ppid=143402 vsize=4192 memory=3072 CPUtime=1.68 cores=0,2
/proc/143405/stat : 143405 (run-opt-break-l) S 143402 143405 143326 0 -1 4194304 238 12662 0 0 0 0 163 5 20 0 1 0 183981357 4292608 768 18446744073709551615 94104609636352 94104610530885 140721107685536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94104610769936 94104610817680 94104634155008 140721107691833 140721107691996 140721107691996 140721107697600 0
/proc/143405/statm: 1048 768 704 219 0 110 0
[pid=143410] ppid=143405 vsize=333692 memory=268372 CPUtime=49.23 cores=0,2
/proc/143410/stat : 143410 (roundingsat) R 143405 143405 143326 0 -1 4194304 50953 0 0 0 4839 84 0 0 20 0 1 0 183981529 341700608 67093 18446744073709551615 4227072 8923577 140729616128912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15728640 140729616132408 140729616132646 140729616132646 140729616138218 0
/proc/143410/statm: 83423 67093 2400 1147 0 70849 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 337884 KiB
Current children cumulated memory: 271444 KiB
[startup+102.3 s]
/proc/loadavg: 3.70 1.37 0.55 5/269 143464
/proc/meminfo: memFree=76808176/131250000 swapFree=33008356/33010684
[pid=143405] ppid=143402 vsize=4192 memory=3072 CPUtime=1.68 cores=0,2
/proc/143405/stat : 143405 (run-opt-break-l) S 143402 143405 143326 0 -1 4194304 238 12662 0 0 0 0 163 5 20 0 1 0 183981357 4292608 768 18446744073709551615 94104609636352 94104610530885 140721107685536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94104610769936 94104610817680 94104634155008 140721107691833 140721107691996 140721107691996 140721107697600 0
/proc/143405/statm: 1048 768 704 219 0 110 0
[pid=143410] ppid=143405 vsize=442676 memory=358520 CPUtime=100.27 cores=0,2
/proc/143410/stat : 143410 (roundingsat) R 143405 143405 143326 0 -1 4194304 68449 0 0 0 9876 151 0 0 20 0 1 0 183981529 453300224 89630 18446744073709551615 4227072 8923577 140729616128912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15728640 140729616132408 140729616132646 140729616132646 140729616138218 0
/proc/143410/statm: 110669 89630 2400 1147 0 98095 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 446868 KiB
Current children cumulated memory: 361592 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 1.94 0.80 5/269 143466
/proc/meminfo: memFree=74443036/131250000 swapFree=33008356/33010684
[pid=143405] ppid=143402 vsize=4192 memory=3072 CPUtime=1.68 cores=0,2
/proc/143405/stat : 143405 (run-opt-break-l) S 143402 143405 143326 0 -1 4194304 238 12662 0 0 0 0 163 5 20 0 1 0 183981357 4292608 768 18446744073709551615 94104609636352 94104610530885 140721107685536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94104610769936 94104610817680 94104634155008 140721107691833 140721107691996 140721107691996 140721107697600 0
/proc/143405/statm: 1048 768 704 219 0 110 0
[pid=143410] ppid=143405 vsize=714324 memory=584036 CPUtime=160.08 cores=0,2
/proc/143410/stat : 143410 (roundingsat) R 143405 143405 143326 0 -1 4194304 115822 0 0 0 15756 252 0 0 20 0 1 0 183981529 731467776 146009 18446744073709551615 4227072 8923577 140729616128912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15728640 140729616132408 140729616132646 140729616132646 140729616138218 0
/proc/143410/statm: 178581 146009 2400 1147 0 166007 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 718516 KiB
Current children cumulated memory: 587108 KiB
[startup+222.3 s]
/proc/loadavg: 4.24 2.36 1.02 5/270 143470
/proc/meminfo: memFree=72424824/131250000 swapFree=33008356/33010684
[pid=143405] ppid=143402 vsize=4192 memory=3072 CPUtime=1.68 cores=0,2
/proc/143405/stat : 143405 (run-opt-break-l) S 143402 143405 143326 0 -1 4194304 238 12662 0 0 0 0 163 5 20 0 1 0 183981357 4292608 768 18446744073709551615 94104609636352 94104610530885 140721107685536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94104610769936 94104610817680 94104634155008 140721107691833 140721107691996 140721107691996 140721107697600 0
/proc/143405/statm: 1048 768 704 219 0 110 0
[pid=143410] ppid=143405 vsize=811204 memory=658048 CPUtime=219.9 cores=0,2
/proc/143410/stat : 143410 (roundingsat) R 143405 143405 143326 0 -1 4194304 132807 0 0 0 21650 340 0 0 20 0 1 0 183981529 830672896 164512 18446744073709551615 4227072 8923577 140729616128912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15728640 140729616132408 140729616132646 140729616132646 140729616138218 0
/proc/143410/statm: 202801 164512 2400 1147 0 190227 0
Current children cumulated CPU time: 221.58 s
################
# More data... #
################
/proc/143410/statm: 669550 569582 2400 1147 0 656976 0
Current children cumulated CPU time: 3092.3 s
Current children cumulated vsize: 2682392 KiB
Current children cumulated memory: 2281400 KiB
[startup+3162.3 s]
/proc/loadavg: 4.55 4.51 4.31 5/275 143652
/proc/meminfo: memFree=555416/131250000 swapFree=33008356/33010684
[pid=143405] ppid=143402 vsize=4192 memory=3072 CPUtime=1.68 cores=0,2
/proc/143405/stat : 143405 (run-opt-break-l) S 143402 143405 143326 0 -1 4194304 238 12662 0 0 0 0 163 5 20 0 1 0 183981357 4292608 768 18446744073709551615 94104609636352 94104610530885 140721107685536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94104610769936 94104610817680 94104634155008 140721107691833 140721107691996 140721107691996 140721107697600 0
/proc/143405/statm: 1048 768 704 219 0 110 0
[pid=143410] ppid=143405 vsize=2740940 memory=2329912 CPUtime=3150.44 cores=0,2
/proc/143410/stat : 143410 (roundingsat) R 143405 143405 143326 0 -1 4194304 501537 0 0 0 311518 3526 0 0 20 0 1 0 183981529 2806722560 582478 18446744073709551615 4227072 8923577 140729616128912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15728640 140729616132408 140729616132646 140729616132646 140729616138218 0
/proc/143410/statm: 685235 582478 2400 1147 0 672661 0
Current children cumulated CPU time: 3152.12 s
Current children cumulated vsize: 2745132 KiB
Current children cumulated memory: 2332984 KiB
[startup+3222.3 s]
/proc/loadavg: 4.53 4.51 4.32 5/273 143654
/proc/meminfo: memFree=709476/131250000 swapFree=33008356/33010684
[pid=143405] ppid=143402 vsize=4192 memory=3072 CPUtime=1.68 cores=0,2
/proc/143405/stat : 143405 (run-opt-break-l) S 143402 143405 143326 0 -1 4194304 238 12662 0 0 0 0 163 5 20 0 1 0 183981357 4292608 768 18446744073709551615 94104609636352 94104610530885 140721107685536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94104610769936 94104610817680 94104634155008 140721107691833 140721107691996 140721107691996 140721107697600 0
/proc/143405/statm: 1048 768 704 219 0 110 0
[pid=143410] ppid=143405 vsize=3290720 memory=2647996 CPUtime=3210.28 cores=0,2
/proc/143410/stat : 143410 (roundingsat) R 143405 143405 143326 0 -1 4194304 561674 0 0 0 317449 3579 0 0 20 0 1 0 183981529 3369697280 661999 18446744073709551615 4227072 8923577 140729616128912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15728640 140729616132408 140729616132646 140729616132646 140729616138218 0
/proc/143410/statm: 822680 661999 2400 1147 0 810106 0
Current children cumulated CPU time: 3211.96 s
Current children cumulated vsize: 3294912 KiB
Current children cumulated memory: 2651068 KiB
[startup+3282.3 s]
/proc/loadavg: 4.55 4.51 4.33 5/273 143656
/proc/meminfo: memFree=542960/131250000 swapFree=33008356/33010684
[pid=143405] ppid=143402 vsize=4192 memory=3072 CPUtime=1.68 cores=0,2
/proc/143405/stat : 143405 (run-opt-break-l) S 143402 143405 143326 0 -1 4194304 238 12662 0 0 0 0 163 5 20 0 1 0 183981357 4292608 768 18446744073709551615 94104609636352 94104610530885 140721107685536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94104610769936 94104610817680 94104634155008 140721107691833 140721107691996 140721107691996 140721107697600 0
/proc/143405/statm: 1048 768 704 219 0 110 0
[pid=143410] ppid=143405 vsize=3295324 memory=2672956 CPUtime=3270.11 cores=0,2
/proc/143410/stat : 143410 (roundingsat) R 143405 143405 143326 0 -1 4194304 563443 0 0 0 323341 3670 0 0 20 0 1 0 183981529 3374411776 668239 18446744073709551615 4227072 8923577 140729616128912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15728640 140729616132408 140729616132646 140729616132646 140729616138218 0
/proc/143410/statm: 823831 668239 2400 1147 0 811257 0
Current children cumulated CPU time: 3271.79 s
Current children cumulated vsize: 3299516 KiB
Current children cumulated memory: 2676028 KiB
[startup+3342.3 s]
/proc/loadavg: 4.57 4.53 4.35 5/273 143658
/proc/meminfo: memFree=647196/131250000 swapFree=33008356/33010684
[pid=143405] ppid=143402 vsize=4192 memory=3072 CPUtime=1.68 cores=0,2
/proc/143405/stat : 143405 (run-opt-break-l) S 143402 143405 143326 0 -1 4194304 238 12662 0 0 0 0 163 5 20 0 1 0 183981357 4292608 768 18446744073709551615 94104609636352 94104610530885 140721107685536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94104610769936 94104610817680 94104634155008 140721107691833 140721107691996 140721107691996 140721107697600 0
/proc/143405/statm: 1048 768 704 219 0 110 0
[pid=143410] ppid=143405 vsize=3296172 memory=2706748 CPUtime=3329.93 cores=0,2
/proc/143410/stat : 143410 (roundingsat) R 143405 143405 143326 0 -1 4194304 564595 0 0 0 329261 3732 0 0 20 0 1 0 183981529 3375280128 676687 18446744073709551615 4227072 8923577 140729616128912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15728640 140729616132408 140729616132646 140729616132646 140729616138218 0
/proc/143410/statm: 824043 676687 2400 1147 0 811469 0
Current children cumulated CPU time: 3331.61 s
Current children cumulated vsize: 3300364 KiB
Current children cumulated memory: 2709820 KiB
[startup+3402.3 s]
/proc/loadavg: 4.35 4.48 4.35 5/272 143660
/proc/meminfo: memFree=617556/131250000 swapFree=33008356/33010684
[pid=143405] ppid=143402 vsize=4192 memory=3072 CPUtime=1.68 cores=0,2
/proc/143405/stat : 143405 (run-opt-break-l) S 143402 143405 143326 0 -1 4194304 238 12662 0 0 0 0 163 5 20 0 1 0 183981357 4292608 768 18446744073709551615 94104609636352 94104610530885 140721107685536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94104610769936 94104610817680 94104634155008 140721107691833 140721107691996 140721107691996 140721107697600 0
/proc/143405/statm: 1048 768 704 219 0 110 0
[pid=143410] ppid=143405 vsize=3296720 memory=2712380 CPUtime=3389.73 cores=0,2
/proc/143410/stat : 143410 (roundingsat) R 143405 143405 143326 0 -1 4194304 567889 0 0 0 335192 3781 0 0 20 0 1 0 183981529 3375841280 678095 18446744073709551615 4227072 8923577 140729616128912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15728640 140729616132408 140729616132646 140729616132646 140729616138218 0
/proc/143410/statm: 824180 678095 2400 1147 0 811606 0
Current children cumulated CPU time: 3391.41 s
Current children cumulated vsize: 3300912 KiB
Current children cumulated memory: 2715452 KiB
[startup+3462.3 s]
/proc/loadavg: 4.27 4.43 4.34 5/270 143663
/proc/meminfo: memFree=793896/131250000 swapFree=33008356/33010684
[pid=143405] ppid=143402 vsize=4192 memory=3072 CPUtime=1.68 cores=0,2
/proc/143405/stat : 143405 (run-opt-break-l) S 143402 143405 143326 0 -1 4194304 238 12662 0 0 0 0 163 5 20 0 1 0 183981357 4292608 768 18446744073709551615 94104609636352 94104610530885 140721107685536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94104610769936 94104610817680 94104634155008 140721107691833 140721107691996 140721107691996 140721107697600 0
/proc/143405/statm: 1048 768 704 219 0 110 0
[pid=143410] ppid=143405 vsize=3296720 memory=2724924 CPUtime=3449.55 cores=0,2
/proc/143410/stat : 143410 (roundingsat) R 143405 143405 143326 0 -1 4194304 569451 0 0 0 341095 3860 0 0 20 0 1 0 183981529 3375841280 681231 18446744073709551615 4227072 8923577 140729616128912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15728640 140729616132408 140729616132646 140729616132646 140729616138218 0
/proc/143410/statm: 824180 681231 2400 1147 0 811606 0
Current children cumulated CPU time: 3451.23 s
Current children cumulated vsize: 3300912 KiB
Current children cumulated memory: 2727996 KiB
[startup+3522.3 s]
/proc/loadavg: 4.38 4.43 4.35 5/270 143665
/proc/meminfo: memFree=544808/131250000 swapFree=33008356/33010684
[pid=143405] ppid=143402 vsize=4192 memory=3072 CPUtime=1.68 cores=0,2
/proc/143405/stat : 143405 (run-opt-break-l) S 143402 143405 143326 0 -1 4194304 238 12662 0 0 0 0 163 5 20 0 1 0 183981357 4292608 768 18446744073709551615 94104609636352 94104610530885 140721107685536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94104610769936 94104610817680 94104634155008 140721107691833 140721107691996 140721107691996 140721107697600 0
/proc/143405/statm: 1048 768 704 219 0 110 0
[pid=143410] ppid=143405 vsize=3297748 memory=2750780 CPUtime=3509.38 cores=0,2
/proc/143410/stat : 143410 (roundingsat) R 143405 143405 143326 0 -1 4194304 570964 0 0 0 347047 3891 0 0 20 0 1 0 183981529 3376893952 687695 18446744073709551615 4227072 8923577 140729616128912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15728640 140729616132408 140729616132646 140729616132646 140729616138218 0
/proc/143410/statm: 824437 687695 2400 1147 0 811863 0
Current children cumulated CPU time: 3511.06 s
Current children cumulated vsize: 3301940 KiB
Current children cumulated memory: 2753852 KiB
[startup+3582.3 s]
/proc/loadavg: 4.42 4.43 4.35 5/270 143667
/proc/meminfo: memFree=541956/131250000 swapFree=33008356/33010684
[pid=143405] ppid=143402 vsize=4192 memory=3072 CPUtime=1.68 cores=0,2
/proc/143405/stat : 143405 (run-opt-break-l) S 143402 143405 143326 0 -1 4194304 238 12662 0 0 0 0 163 5 20 0 1 0 183981357 4292608 768 18446744073709551615 94104609636352 94104610530885 140721107685536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94104610769936 94104610817680 94104634155008 140721107691833 140721107691996 140721107691996 140721107697600 0
/proc/143405/statm: 1048 768 704 219 0 110 0
[pid=143410] ppid=143405 vsize=3353720 memory=2818364 CPUtime=3569.21 cores=0,2
/proc/143410/stat : 143410 (roundingsat) R 143405 143405 143326 0 -1 4194304 582168 0 0 0 352998 3923 0 0 20 0 1 0 183981529 3434209280 704591 18446744073709551615 4227072 8923577 140729616128912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15728640 140729616132408 140729616132646 140729616132646 140729616138218 0
/proc/143410/statm: 838430 704591 2400 1147 0 825856 0
Current children cumulated CPU time: 3570.89 s
Current children cumulated vsize: 3357912 KiB
Current children cumulated memory: 2821436 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.5 s]
/proc/loadavg: 4.49 4.45 4.36 4/266 143677
/proc/meminfo: memFree=3070300/131250000 swapFree=33008356/33010684
[pid=143405] ppid=143402 vsize=4192 memory=3072 CPUtime=1.68 cores=0,2
/proc/143405/stat : 143405 (run-opt-break-l) S 143402 143405 143326 0 -1 4194304 238 12662 0 0 0 0 163 5 20 0 1 0 183981357 4292608 768 18446744073709551615 94104609636352 94104610530885 140721107685536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94104610769936 94104610817680 94104634155008 140721107691833 140721107691996 140721107691996 140721107697600 0
/proc/143405/statm: 1048 768 704 219 0 110 0
[pid=143410] ppid=143405 vsize=3356484 memory=2824032 CPUtime=3598.32 cores=0,2
/proc/143410/stat : 143410 (roundingsat) R 143405 143405 143326 0 -1 4194304 583347 0 0 0 355884 3948 0 0 20 0 1 0 183981529 3437039616 706008 18446744073709551615 4227072 8923577 140729616128912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15728640 140729616132408 140729616132646 140729616132646 140729616138218 0
/proc/143410/statm: 839121 706008 2400 1147 0 826547 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3360676 KiB
Current children cumulated memory: 2827104 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.5 s]
# the end of solver process 143405 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.63522 s, system=0.053906 s
Sleeping 2 seconds
[startup+3611.55 s]
# the end of solver process 143410 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3560.5 s, system=39.583 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.5 s]
/proc/loadavg: 4.49 4.45 4.36 4/266 143677
/proc/meminfo: memFree=3070300/131250000 swapFree=33008356/33010684
[pid=143405] ppid=143402 vsize=4192 memory=3072 CPUtime=1.68 cores=0,2
/proc/143405/stat : 143405 (run-opt-break-l) S 143402 143405 143326 0 -1 4194304 238 12662 0 0 0 0 163 5 20 0 1 0 183981357 4292608 768 18446744073709551615 94104609636352 94104610530885 140721107685536 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94104610769936 94104610817680 94104634155008 140721107691833 140721107691996 140721107691996 140721107697600 0
/proc/143405/statm: 1048 768 704 219 0 110 0
[pid=143410] ppid=143405 vsize=3356484 memory=2824032 CPUtime=3598.32 cores=0,2
/proc/143410/stat : 143410 (roundingsat) R 143405 143405 143326 0 -1 4194304 583347 0 0 0 355884 3948 0 0 20 0 1 0 183981529 3437039616 706008 18446744073709551615 4227072 8923577 140729616128912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15728640 140729616132408 140729616132646 140729616132646 140729616138218 0
/proc/143410/statm: 839121 706008 2400 1147 0 826547 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3360676 KiB
Current children cumulated memory: 2827104 KiB
Child status: 2
Real time (s): 3611.55
CPU time (s): 3600.08
CPU user time (s): 3560.5
CPU system time (s): 39.583
CPU usage (%): 99.6823
Max. virtual memory (cumulated for all children) (KiB): 3360676
Max. memory (cumulated for all children) (KiB): 2827104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.5
system time used= 39.583
maximum resident set size= 2824288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 596269
page faults= 0
swaps= 0
block input operations= 0
block output operations= 37212368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 373
involuntary context switches= 4835
# summary of solver processes directly reported to runsolver:
# pid: 143405,143410
# total CPU time (s): 3600.08
# total CPU user time (s): 3560.5
# total CPU system time (s): 39.583
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.56267 second user time and 16.8392 second system time
The end
Begin job on nodeC019 at 2025-07-16 18:23:58
IDJOB=4532510
IDBENCH=148768
IDSOLVER=3393
FILE ID=nodeC019/4532510-1752683038
RUNJOBID= nodeC019-1752683038-143343
SLURM_JOB_ID= 9686914
Free space on /tmp= 432916 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532510-1752683038/watcher-4532510-1752683038 -o /tmp/evaluation-result-4532510-1752683038/solver-4532510-1752683038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1752683038-143343 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532510-1752683038.opb /tmp/proof-4532510-1752683038
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=210464024
nodeC019 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 : 3600.183
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.37
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.874
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.37
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 : 3599.675
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.577
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.37
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.676
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.37
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.774
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.37
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 : 3600.028
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.37
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 : 3557.697
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 81849964 kB
MemAvailable: 129519208 kB
Buffers: 904 kB
Cached: 48413392 kB
SwapCached: 428 kB
Active: 978640 kB
Inactive: 47668516 kB
Active(anon): 245488 kB
Inactive(anon): 12796 kB
Active(file): 733152 kB
Inactive(file): 47655720 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008356 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 59592 kB
Writeback: 20 kB
AnonPages: 235584 kB
Mapped: 109252 kB
Shmem: 25420 kB
KReclaimable: 243320 kB
Slab: 339928 kB
SReclaimable: 243320 kB
SUnreclaim: 96608 kB
KernelStack: 4192 kB
PageTables: 3400 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 607896 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 163840 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: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 304796 MiB
End job on nodeC019 at 2025-07-16 19:24:10