0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4490385-1751371747.opb'
0.00/0.01 c read 0.01MB (0.18ms)
0.00/0.01 c [cnf: #variables 120 #clauses 11 #duplicates 0 #arr 634]
0.00/0.01 c output proof to 'PROOFDIR/proof-4490385-1751371747'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 0] (0.21ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01 c (0.05ms)
0.00/0.01 c
0.00/0.01 c detect symmetries on remainder
0.00/0.01 c [graph: #vertices 793 #edges 2592]
0.00/0.01 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01 c [group: #symmetries 1.00*10^0 #generators 0] (0.06ms)
0.00/0.01 c
0.00/0.01 c finalize break order and special generators
0.00/0.01 c
0.00/0.01 c generation finished
0.00/0.01 c [sbp: #constraints 0 #add_vars 0]
0.00/0.01 c
0.00/0.01 c write result to 'HOME/instance-4490385-1751371747.opb.pre'
0.00/0.01 c wrote 0.01MB (0.06ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 0.42ms 42.73% other
0.00/0.01 c 0.21ms 21.04% approx_orbits
0.00/0.01 c 0.18ms 17.90% parse
0.00/0.01 c 0.06ms 6.50% output
0.00/0.01 c 0.06ms 6.42% detect_generic
0.00/0.01 c 0.05ms 4.88% detect_special
0.00/0.01 c 0.01ms 0.54% finalize_order
0.00/0.01 c ───────────────────────────────────────────────
0.00/0.01 c 0.98ms 100% total
0.00/0.01 c ------------------------------------------------------------------
0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.02 c #variables 120 #constraints 10
0.00/0.02 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 11 , 0 , 0 , 0
0.00/0.02 c bounds - >= 0 @ 0.000184
0.00/0.02 c rational objective 0
0.00/0.04 c bounds 302 >= 0 @ 0.007935
0.00/0.04 c bounds 153 >= 0 @ 0.007986
0.00/0.04 c bounds 151 >= 0 @ 0.007986
0.00/0.04 c bounds 99 >= 0 @ 0.010875
0.00/0.08 c bounds 33 >= 0 @ 0.043799
0.00/0.08 c bounds 31 >= 0 @ 0.044225
0.00/0.08 c bounds 27 >= 0 @ 0.044617
0.07/0.10 c bounds 25 >= 0 @ 0.066668
0.18/0.22 c #Conflicts: 1000 | #Constraints: 1038
0.18/0.22 c bounds 6 >= 0 @ 0.174226
0.18/0.28 c #Conflicts: 2000 | #Constraints: 2050
0.18/0.28 c INPROCESSING
0.18/0.28 c GARBAGE COLLECT
0.18/0.28 c rational objective 0
0.57/0.64 c #Conflicts: 3000 | #Constraints: 2041
0.57/0.64 c #Conflicts: 4000 | #Constraints: 3044
0.57/0.64 c INPROCESSING
0.57/0.64 c GARBAGE COLLECT
0.57/0.64 c rational objective 0
0.96/1.05 c #Conflicts: 5000 | #Constraints: 2440
0.96/1.05 c #Conflicts: 6000 | #Constraints: 3443
0.96/1.05 c INPROCESSING
0.96/1.05 c GARBAGE COLLECT
0.96/1.05 c rational objective 0
1.46/1.53 c #Conflicts: 7000 | #Constraints: 2434
1.46/1.53 c #Conflicts: 8000 | #Constraints: 3435
1.46/1.53 c #Conflicts: 9000 | #Constraints: 4436
1.46/1.53 c INPROCESSING
1.46/1.53 c GARBAGE COLLECT
1.46/1.53 c rational objective 0
1.97/2.05 c #Conflicts: 10000 | #Constraints: 3134
1.97/2.05 c #Conflicts: 11000 | #Constraints: 4135
1.97/2.05 c #Conflicts: 12000 | #Constraints: 5136
1.97/2.05 c INPROCESSING
1.97/2.05 c GARBAGE COLLECT
1.97/2.05 c rational objective 0
2.56/2.65 c #Conflicts: 13000 | #Constraints: 3583
2.56/2.65 c #Conflicts: 14000 | #Constraints: 4587
2.56/2.65 c #Conflicts: 15000 | #Constraints: 5587
2.56/2.65 c INPROCESSING
2.56/2.65 c GARBAGE COLLECT
2.56/2.65 c rational objective 0
3.26/3.32 c #Conflicts: 16000 | #Constraints: 3811
3.26/3.32 c #Conflicts: 17000 | #Constraints: 4811
3.26/3.32 c #Conflicts: 18000 | #Constraints: 5811
3.26/3.32 c INPROCESSING
3.26/3.32 c GARBAGE COLLECT
3.26/3.32 c rational objective 0
3.86/3.99 c #Conflicts: 19000 | #Constraints: 3821
3.86/3.99 c #Conflicts: 20000 | #Constraints: 4822
3.86/3.99 c #Conflicts: 21000 | #Constraints: 5822
3.86/3.99 c bounds 3 >= 0 @ 3.77381
3.96/4.05 c INPROCESSING
3.96/4.05 c GARBAGE COLLECT
3.96/4.05 c rational objective 0
4.66/4.77 c #Conflicts: 22000 | #Constraints: 3626
4.66/4.77 c #Conflicts: 23000 | #Constraints: 4627
4.66/4.77 c #Conflicts: 24000 | #Constraints: 5628
4.66/4.77 c #Conflicts: 25000 | #Constraints: 6628
4.66/4.77 c INPROCESSING
4.66/4.77 c GARBAGE COLLECT
4.66/4.77 c rational objective 0
5.55/5.63 c #Conflicts: 26000 | #Constraints: 4230
5.55/5.63 c #Conflicts: 27000 | #Constraints: 5231
5.55/5.63 c #Conflicts: 28000 | #Constraints: 6233
5.55/5.63 c #Conflicts: 29000 | #Constraints: 7235
5.55/5.63 c INPROCESSING
5.55/5.63 c GARBAGE COLLECT
5.55/5.63 c rational objective 0
6.44/6.51 c #Conflicts: 30000 | #Constraints: 4635
6.44/6.51 c #Conflicts: 31000 | #Constraints: 5637
6.44/6.51 c #Conflicts: 32000 | #Constraints: 6638
6.44/6.51 c #Conflicts: 33000 | #Constraints: 7640
6.44/6.51 c INPROCESSING
6.44/6.51 c GARBAGE COLLECT
6.44/6.51 c rational objective 0
7.34/7.49 c #Conflicts: 34000 | #Constraints: 4831
7.34/7.49 c #Conflicts: 35000 | #Constraints: 5831
7.34/7.49 c #Conflicts: 36000 | #Constraints: 6831
7.34/7.49 c #Conflicts: 37000 | #Constraints: 7831
7.34/7.49 c INPROCESSING
7.34/7.49 c GARBAGE COLLECT
7.34/7.49 c rational objective 0
8.34/8.46 c #Conflicts: 38000 | #Constraints: 4835
8.34/8.46 c #Conflicts: 39000 | #Constraints: 5835
8.34/8.46 c #Conflicts: 40000 | #Constraints: 6836
8.34/8.46 c #Conflicts: 41000 | #Constraints: 7836
8.34/8.46 c INPROCESSING
8.34/8.46 c GARBAGE COLLECT
8.34/8.46 c rational objective 0
9.44/9.58 c #Conflicts: 42000 | #Constraints: 4635
9.44/9.58 c #Conflicts: 43000 | #Constraints: 5636
9.44/9.58 c #Conflicts: 44000 | #Constraints: 6636
9.44/9.58 c #Conflicts: 45000 | #Constraints: 7637
9.44/9.58 c #Conflicts: 46000 | #Constraints: 8637
9.44/9.58 c INPROCESSING
9.44/9.58 c GARBAGE COLLECT
9.44/9.58 c rational objective 0
10.53/10.66 c #Conflicts: 47000 | #Constraints: 5236
10.53/10.66 c #Conflicts: 48000 | #Constraints: 6236
10.53/10.66 c #Conflicts: 49000 | #Constraints: 7240
10.53/10.66 c #Conflicts: 50000 | #Constraints: 8242
10.53/10.66 c #Conflicts: 51000 | #Constraints: 9245
10.53/10.66 c INPROCESSING
10.53/10.66 c GARBAGE COLLECT
10.53/10.66 c rational objective 0
11.63/11.79 c #Conflicts: 52000 | #Constraints: 5635
11.63/11.79 c #Conflicts: 53000 | #Constraints: 6636
11.63/11.79 c #Conflicts: 54000 | #Constraints: 7638
11.63/11.79 c #Conflicts: 55000 | #Constraints: 8639
11.63/11.79 c #Conflicts: 56000 | #Constraints: 9640
11.63/11.79 c INPROCESSING
11.63/11.79 c GARBAGE COLLECT
11.63/11.79 c rational objective 0
13.03/13.10 c #Conflicts: 57000 | #Constraints: 5833
13.03/13.10 c #Conflicts: 58000 | #Constraints: 6833
13.03/13.10 c #Conflicts: 59000 | #Constraints: 7833
13.03/13.10 c #Conflicts: 60000 | #Constraints: 8833
13.03/13.10 c #Conflicts: 61000 | #Constraints: 9833
13.03/13.10 c INPROCESSING
13.03/13.10 c GARBAGE COLLECT
13.03/13.10 c rational objective 0
14.32/14.40 c #Conflicts: 62000 | #Constraints: 5830
14.32/14.40 c #Conflicts: 63000 | #Constraints: 6831
14.32/14.40 c #Conflicts: 64000 | #Constraints: 7831
14.32/14.40 c #Conflicts: 65000 | #Constraints: 8832
14.32/14.40 c #Conflicts: 66000 | #Constraints: 9832
14.32/14.40 c INPROCESSING
14.32/14.40 c GARBAGE COLLECT
14.32/14.40 c rational objective 0
15.72/15.87 c #Conflicts: 67000 | #Constraints: 5629
15.72/15.87 c #Conflicts: 68000 | #Constraints: 6630
15.72/15.87 c #Conflicts: 69000 | #Constraints: 7630
15.72/15.87 c #Conflicts: 70000 | #Constraints: 8631
15.72/15.87 c #Conflicts: 71000 | #Constraints: 9631
15.72/15.87 c #Conflicts: 72000 | #Constraints: 10631
15.72/15.87 c INPROCESSING
15.72/15.87 c GARBAGE COLLECT
15.72/15.87 c rational objective 0
17.21/17.34 c #Conflicts: 73000 | #Constraints: 6231
17.21/17.34 c #Conflicts: 74000 | #Constraints: 7231
17.21/17.34 c #Conflicts: 75000 | #Constraints: 8231
17.21/17.34 c #Conflicts: 76000 | #Constraints: 9232
17.21/17.34 c #Conflicts: 77000 | #Constraints: 10232
17.21/17.34 c #Conflicts: 78000 | #Constraints: 11233
17.21/17.34 c INPROCESSING
17.21/17.34 c GARBAGE COLLECT
17.21/17.34 c rational objective 0
18.91/19.00 c #Conflicts: 79000 | #Constraints: 6632
18.91/19.00 c #Conflicts: 80000 | #Constraints: 7633
18.91/19.00 c #Conflicts: 81000 | #Constraints: 8633
18.91/19.00 c #Conflicts: 82000 | #Constraints: 9633
18.91/19.00 c #Conflicts: 83000 | #Constraints: 10634
18.91/19.00 c #Conflicts: 84000 | #Constraints: 11634
18.91/19.00 c INPROCESSING
18.91/19.00 c GARBAGE COLLECT
18.91/19.00 c rational objective 0
20.50/20.64 c #Conflicts: 85000 | #Constraints: 6833
20.50/20.64 c #Conflicts: 86000 | #Constraints: 7833
20.50/20.64 c #Conflicts: 87000 | #Constraints: 8833
20.50/20.64 c #Conflicts: 88000 | #Constraints: 9834
20.50/20.64 c #Conflicts: 89000 | #Constraints: 10834
20.50/20.64 c #Conflicts: 90000 | #Constraints: 11834
20.50/20.64 c INPROCESSING
20.50/20.64 c GARBAGE COLLECT
20.50/20.64 c rational objective 0
22.29/22.47 c #Conflicts: 91000 | #Constraints: 6835
22.29/22.47 c #Conflicts: 92000 | #Constraints: 7835
22.29/22.47 c #Conflicts: 93000 | #Constraints: 8835
22.29/22.47 c #Conflicts: 94000 | #Constraints: 9835
22.29/22.47 c #Conflicts: 95000 | #Constraints: 10835
22.29/22.47 c #Conflicts: 96000 | #Constraints: 11835
22.29/22.47 c INPROCESSING
22.29/22.47 c GARBAGE COLLECT
22.29/22.47 c rational objective 0
24.09/24.20 c #Conflicts: 97000 | #Constraints: 6635
24.09/24.20 c #Conflicts: 98000 | #Constraints: 7636
24.09/24.20 c #Conflicts: 99000 | #Constraints: 8636
24.09/24.20 c #Conflicts: 100000 | #Constraints: 9637
24.09/24.20 c #Conflicts: 101000 | #Constraints: 10637
24.09/24.20 c #Conflicts: 102000 | #Constraints: 11637
24.09/24.20 c #Conflicts: 103000 | #Constraints: 12637
24.09/24.20 c INPROCESSING
24.09/24.20 c GARBAGE COLLECT
24.09/24.20 c rational objective 0
25.99/26.17 c #Conflicts: 104000 | #Constraints: 7233
25.99/26.17 c #Conflicts: 105000 | #Constraints: 8233
25.99/26.17 c #Conflicts: 106000 | #Constraints: 9233
25.99/26.17 c #Conflicts: 107000 | #Constraints: 10233
25.99/26.17 c #Conflicts: 108000 | #Constraints: 11233
25.99/26.17 c #Conflicts: 109000 | #Constraints: 12233
25.99/26.17 c #Conflicts: 110000 | #Constraints: 13234
25.99/26.17 c INPROCESSING
25.99/26.17 c GARBAGE COLLECT
25.99/26.17 c rational objective 0
27.88/28.08 c #Conflicts: 111000 | #Constraints: 7635
27.88/28.08 c #Conflicts: 112000 | #Constraints: 8637
27.88/28.08 c #Conflicts: 113000 | #Constraints: 9638
27.88/28.08 c #Conflicts: 114000 | #Constraints: 10638
27.88/28.08 c #Conflicts: 115000 | #Constraints: 11638
27.88/28.08 c #Conflicts: 116000 | #Constraints: 12638
27.88/28.08 c #Conflicts: 117000 | #Constraints: 13638
27.88/28.08 c INPROCESSING
27.88/28.08 c GARBAGE COLLECT
27.88/28.08 c rational objective 0
30.07/30.23 c #Conflicts: 118000 | #Constraints: 7830
30.07/30.23 c #Conflicts: 119000 | #Constraints: 8830
30.07/30.23 c #Conflicts: 120000 | #Constraints: 9830
30.07/30.23 c #Conflicts: 121000 | #Constraints: 10831
30.07/30.23 c #Conflicts: 122000 | #Constraints: 11831
30.07/30.23 c #Conflicts: 123000 | #Constraints: 12831
30.07/30.23 c #Conflicts: 124000 | #Constraints: 13832
30.07/30.23 c INPROCESSING
30.07/30.23 c GARBAGE COLLECT
30.07/30.23 c rational objective 0
32.06/32.26 c #Conflicts: 125000 | #Constraints: 7834
32.06/32.26 c #Conflicts: 126000 | #Constraints: 8834
32.06/32.26 c #Conflicts: 127000 | #Constraints: 9835
32.06/32.26 c #Conflicts: 128000 | #Constraints: 10835
32.06/32.26 c #Conflicts: 129000 | #Constraints: 11835
32.06/32.26 c #Conflicts: 130000 | #Constraints: 12835
32.06/32.26 c #Conflicts: 131000 | #Constraints: 13835
32.06/32.26 c INPROCESSING
32.06/32.26 c GARBAGE COLLECT
32.06/32.26 c rational objective 0
34.35/34.57 c #Conflicts: 132000 | #Constraints: 7629
34.35/34.57 c #Conflicts: 133000 | #Constraints: 8629
34.35/34.57 c #Conflicts: 134000 | #Constraints: 9630
34.35/34.57 c #Conflicts: 135000 | #Constraints: 10630
34.35/34.57 c #Conflicts: 136000 | #Constraints: 11630
34.35/34.57 c #Conflicts: 137000 | #Constraints: 12631
34.35/34.57 c #Conflicts: 138000 | #Constraints: 13631
34.35/34.57 c #Conflicts: 139000 | #Constraints: 14631
34.35/34.57 c INPROCESSING
34.35/34.57 c GARBAGE COLLECT
34.35/34.57 c rational objective 0
36.65/36.86 c #Conflicts: 140000 | #Constraints: 8231
36.65/36.86 c #Conflicts: 141000 | #Constraints: 9231
36.65/36.86 c #Conflicts: 142000 | #Constraints: 10231
36.65/36.86 c #Conflicts: 143000 | #Constraints: 11231
36.65/36.86 c #Conflicts: 144000 | #Constraints: 12231
36.65/36.86 c #Conflicts: 145000 | #Constraints: 13232
36.65/36.86 c #Conflicts: 146000 | #Constraints: 14232
36.65/36.86 c #Conflicts: 147000 | #Constraints: 15233
36.65/36.86 c INPROCESSING
36.65/36.86 c GARBAGE COLLECT
36.65/36.86 c rational objective 0
39.14/39.38 c #Conflicts: 148000 | #Constraints: 8633
39.14/39.38 c #Conflicts: 149000 | #Constraints: 9633
39.14/39.38 c #Conflicts: 150000 | #Constraints: 10633
39.14/39.38 c #Conflicts: 151000 | #Constraints: 11633
39.14/39.38 c #Conflicts: 152000 | #Constraints: 12634
39.14/39.38 c #Conflicts: 153000 | #Constraints: 13635
39.14/39.38 c #Conflicts: 154000 | #Constraints: 14635
39.14/39.38 c #Conflicts: 155000 | #Constraints: 15635
39.14/39.38 c INPROCESSING
39.14/39.38 c GARBAGE COLLECT
39.14/39.38 c rational objective 0
41.53/41.75 c #Conflicts: 156000 | #Constraints: 8836
41.53/41.75 c #Conflicts: 157000 | #Constraints: 9836
41.53/41.75 c #Conflicts: 158000 | #Constraints: 10836
41.53/41.75 c #Conflicts: 159000 | #Constraints: 11836
41.53/41.75 c #Conflicts: 160000 | #Constraints: 12836
41.53/41.75 c #Conflicts: 161000 | #Constraints: 13836
41.53/41.75 c #Conflicts: 162000 | #Constraints: 14836
41.53/41.75 c #Conflicts: 163000 | #Constraints: 15836
41.53/41.75 c INPROCESSING
41.53/41.75 c GARBAGE COLLECT
41.53/41.75 c rational objective 0
44.02/44.20 c #Conflicts: 164000 | #Constraints: 8835
44.02/44.20 c #Conflicts: 165000 | #Constraints: 9835
44.02/44.20 c #Conflicts: 166000 | #Constraints: 10835
44.02/44.20 c #Conflicts: 167000 | #Constraints: 11835
44.02/44.20 c #Conflicts: 168000 | #Constraints: 12835
44.02/44.20 c #Conflicts: 169000 | #Constraints: 13835
44.02/44.20 c #Conflicts: 170000 | #Constraints: 14835
44.02/44.20 c #Conflicts: 171000 | #Constraints: 15835
44.02/44.20 c INPROCESSING
44.02/44.20 c GARBAGE COLLECT
44.02/44.20 c rational objective 0
46.82/47.02 c #Conflicts: 172000 | #Constraints: 8630
46.82/47.02 c #Conflicts: 173000 | #Constraints: 9630
46.82/47.02 c #Conflicts: 174000 | #Constraints: 10630
46.82/47.02 c #Conflicts: 175000 | #Constraints: 11630
46.82/47.02 c #Conflicts: 176000 | #Constraints: 12630
46.82/47.02 c #Conflicts: 177000 | #Constraints: 13630
46.82/47.02 c #Conflicts: 178000 | #Constraints: 14631
46.82/47.02 c #Conflicts: 179000 | #Constraints: 15632
46.82/47.02 c #Conflicts: 180000 | #Constraints: 16632
46.82/47.02 c INPROCESSING
46.82/47.02 c GARBAGE COLLECT
46.82/47.02 c rational objective 0
49.51/49.74 c #Conflicts: 181000 | #Constraints: 9234
49.51/49.74 c #Conflicts: 182000 | #Constraints: 10234
49.51/49.74 c #Conflicts: 183000 | #Constraints: 11234
49.51/49.74 c #Conflicts: 184000 | #Constraints: 12234
49.51/49.74 c #Conflicts: 185000 | #Constraints: 13234
49.51/49.74 c #Conflicts: 186000 | #Constraints: 14234
49.51/49.74 c #Conflicts: 187000 | #Constraints: 15234
49.51/49.74 c #Conflicts: 188000 | #Constraints: 16234
49.51/49.74 c #Conflicts: 189000 | #Constraints: 17235
49.51/49.74 c INPROCESSING
49.51/49.74 c GARBAGE COLLECT
49.51/49.74 c rational objective 0
52.50/52.75 c #Conflicts: 190000 | #Constraints: 9636
52.50/52.75 c #Conflicts: 191000 | #Constraints: 10636
52.50/52.75 c #Conflicts: 192000 | #Constraints: 11636
52.50/52.75 c #Conflicts: 193000 | #Constraints: 12636
52.50/52.75 c #Conflicts: 194000 | #Constraints: 13636
52.50/52.75 c #Conflicts: 195000 | #Constraints: 14636
52.50/52.75 c #Conflicts: 196000 | #Constraints: 15636
52.50/52.75 c #Conflicts: 197000 | #Constraints: 16636
52.50/52.75 c #Conflicts: 198000 | #Constraints: 17636
52.50/52.75 c INPROCESSING
52.50/52.75 c GARBAGE COLLECT
52.50/52.75 c rational objective 0
55.48/55.78 c #Conflicts: 199000 | #Constraints: 9835
55.48/55.78 c #Conflicts: 200000 | #Constraints: 10835
55.48/55.78 c #Conflicts: 201000 | #Constraints: 11835
55.48/55.78 c #Conflicts: 202000 | #Constraints: 12835
55.48/55.78 c #Conflicts: 203000 | #Constraints: 13835
55.48/55.78 c #Conflicts: 204000 | #Constraints: 14835
55.48/55.78 c #Conflicts: 205000 | #Constraints: 15836
55.48/55.78 c #Conflicts: 206000 | #Constraints: 16836
55.48/55.78 c #Conflicts: 207000 | #Constraints: 17836
55.48/55.78 c INPROCESSING
55.48/55.78 c GARBAGE COLLECT
55.48/55.78 c rational objective 0
58.67/58.92 c #Conflicts: 208000 | #Constraints: 9830
58.67/58.92 c #Conflicts: 209000 | #Constraints: 10830
58.67/58.92 c #Conflicts: 210000 | #Constraints: 11830
58.67/58.92 c #Conflicts: 211000 | #Constraints: 12830
58.67/58.92 c #Conflicts: 212000 | #Constraints: 13830
58.67/58.92 c #Conflicts: 213000 | #Constraints: 14831
58.67/58.92 c #Conflicts: 214000 | #Constraints: 15831
58.67/58.92 c #Conflicts: 215000 | #Constraints: 16831
58.67/58.92 c #Conflicts: 216000 | #Constraints: 17831
58.67/58.92 c INPROCESSING
58.67/58.92 c GARBAGE COLLECT
58.67/58.92 c rational objective 0
61.77/62.08 c #Conflicts: 217000 | #Constraints: 9634
61.77/62.08 c #Conflicts: 218000 | #Constraints: 10634
61.77/62.08 c #Conflicts: 219000 | #Constraints: 11634
61.77/62.08 c #Conflicts: 220000 | #Constraints: 12634
61.77/62.08 c #Conflicts: 221000 | #Constraints: 13634
61.77/62.08 c #Conflicts: 222000 | #Constraints: 14634
61.77/62.08 c #Conflicts: 223000 | #Constraints: 15634
61.77/62.08 c #Conflicts: 224000 | #Constraints: 16634
61.77/62.08 c #Conflicts: 225000 | #Constraints: 17635
61.77/62.08 c #Conflicts: 226000 | #Constraints: 18635
61.77/62.08 c INPROCESSING
61.77/62.08 c GARBAGE COLLECT
61.77/62.08 c rational objective 0
65.15/65.47 c #Conflicts: 227000 | #Constraints: 10234
65.15/65.47 c #Conflicts: 228000 | #Constraints: 11234
65.15/65.47 c #Conflicts: 229000 | #Constraints: 12234
65.15/65.47 c #Conflicts: 230000 | #Constraints: 13234
65.15/65.47 c #Conflicts: 231000 | #Constraints: 14234
65.15/65.47 c #Conflicts: 232000 | #Constraints: 15235
65.15/65.47 c #Conflicts: 233000 | #Constraints: 16235
65.15/65.47 c #Conflicts: 234000 | #Constraints: 17235
65.15/65.47 c #Conflicts: 235000 | #Constraints: 18235
65.15/65.47 c #Conflicts: 236000 | #Constraints: 19235
65.15/65.47 c INPROCESSING
65.15/65.47 c GARBAGE COLLECT
65.15/65.47 c rational objective 0
68.75/69.03 c #Conflicts: 237000 | #Constraints: 10968
68.75/69.03 c #Conflicts: 238000 | #Constraints: 11969
68.75/69.03 c #Conflicts: 239000 | #Constraints: 12969
68.75/69.03 c #Conflicts: 240000 | #Constraints: 13970
68.75/69.03 c #Conflicts: 241000 | #Constraints: 14971
68.75/69.03 c #Conflicts: 242000 | #Constraints: 15971
68.75/69.03 c #Conflicts: 243000 | #Constraints: 17083
68.75/69.03 c #Conflicts: 244000 | #Constraints: 18187
68.75/69.03 c #Conflicts: 245000 | #Constraints: 19187
68.75/69.03 c #Conflicts: 246000 | #Constraints: 20187
68.75/69.03 c INPROCESSING
68.75/69.03 c GARBAGE COLLECT
68.75/69.03 c rational objective 0
75.02/75.35 c #Conflicts: 247000 | #Constraints: 11378
75.02/75.35 c #Conflicts: 248000 | #Constraints: 12922
75.02/75.35 c #Conflicts: 249000 | #Constraints: 14471
75.02/75.35 c #Conflicts: 250000 | #Constraints: 16005
75.02/75.35 c #Conflicts: 251000 | #Constraints: 17345
75.02/75.35 c #Conflicts: 252000 | #Constraints: 18597
75.02/75.35 c #Conflicts: 253000 | #Constraints: 20091
75.02/75.35 c #Conflicts: 254000 | #Constraints: 21634
75.02/75.35 c #Conflicts: 255000 | #Constraints: 23145
75.02/75.35 c #Conflicts: 256000 | #Constraints: 24395
75.02/75.35 c INPROCESSING
75.02/75.35 c GARBAGE COLLECT
75.02/75.35 c rational objective 0
80.60/80.94 c #Conflicts: 257000 | #Constraints: 13494
80.60/80.94 c #Conflicts: 258000 | #Constraints: 14967
80.60/80.94 c #Conflicts: 259000 | #Constraints: 16439
80.60/80.94 c #Conflicts: 260000 | #Constraints: 17918
80.60/80.94 c #Conflicts: 261000 | #Constraints: 19411
80.60/80.94 c #Conflicts: 262000 | #Constraints: 20891
80.60/80.94 c #Conflicts: 263000 | #Constraints: 22222
80.60/80.94 c #Conflicts: 264000 | #Constraints: 23711
80.60/80.94 c #Conflicts: 265000 | #Constraints: 25206
80.60/80.94 c #Conflicts: 266000 | #Constraints: 26685
80.60/80.94 c INPROCESSING
80.60/80.94 c GARBAGE COLLECT
80.60/80.94 c rational objective 0
86.58/86.97 c #Conflicts: 267000 | #Constraints: 14204
86.58/86.97 c #Conflicts: 268000 | #Constraints: 15204
86.58/86.97 c #Conflicts: 269000 | #Constraints: 16735
86.58/86.97 c #Conflicts: 270000 | #Constraints: 18218
86.58/86.97 c #Conflicts: 271000 | #Constraints: 19735
86.58/86.97 c #Conflicts: 272000 | #Constraints: 21235
86.58/86.97 c #Conflicts: 273000 | #Constraints: 22768
86.58/86.97 c #Conflicts: 274000 | #Constraints: 24271
86.58/86.97 c #Conflicts: 275000 | #Constraints: 25794
86.58/86.97 c #Conflicts: 276000 | #Constraints: 27311
86.58/86.97 c #Conflicts: 277000 | #Constraints: 28816
86.58/86.97 c INPROCESSING
86.58/86.97 c GARBAGE COLLECT
86.58/86.97 c rational objective 0
92.96/93.38 c #Conflicts: 278000 | #Constraints: 15747
92.96/93.38 c #Conflicts: 279000 | #Constraints: 17240
92.96/93.38 c #Conflicts: 280000 | #Constraints: 18732
92.96/93.38 c #Conflicts: 281000 | #Constraints: 20203
92.96/93.38 c #Conflicts: 282000 | #Constraints: 21701
92.96/93.38 c #Conflicts: 283000 | #Constraints: 23178
92.96/93.38 c #Conflicts: 284000 | #Constraints: 24661
92.96/93.38 c #Conflicts: 285000 | #Constraints: 26141
92.96/93.38 c #Conflicts: 286000 | #Constraints: 27620
92.96/93.38 c #Conflicts: 287000 | #Constraints: 29098
92.96/93.38 c #Conflicts: 288000 | #Constraints: 30589
92.96/93.38 c INPROCESSING
92.96/93.38 c GARBAGE COLLECT
92.96/93.38 c rational objective 0
99.74/100.10 c #Conflicts: 289000 | #Constraints: 16308
99.74/100.10 c #Conflicts: 290000 | #Constraints: 17586
99.74/100.10 c #Conflicts: 291000 | #Constraints: 19129
99.74/100.10 c #Conflicts: 292000 | #Constraints: 20649
99.74/100.10 c #Conflicts: 293000 | #Constraints: 22193
99.74/100.10 c #Conflicts: 294000 | #Constraints: 23732
99.74/100.10 c #Conflicts: 295000 | #Constraints: 25269
99.74/100.10 c #Conflicts: 296000 | #Constraints: 26779
99.74/100.10 c #Conflicts: 297000 | #Constraints: 28220
99.74/100.10 c #Conflicts: 298000 | #Constraints: 29743
99.74/100.10 c #Conflicts: 299000 | #Constraints: 31245
99.74/100.10 c INPROCESSING
99.74/100.10 c GARBAGE COLLECT
99.74/100.10 c rational objective 0
105.72/106.18 c #Conflicts: 300000 | #Constraints: 16986
105.72/106.18 c #Conflicts: 301000 | #Constraints: 18333
105.72/106.18 c #Conflicts: 302000 | #Constraints: 19574
105.72/106.18 c #Conflicts: 303000 | #Constraints: 20574
105.72/106.18 c #Conflicts: 304000 | #Constraints: 21696
105.72/106.18 c #Conflicts: 305000 | #Constraints: 23179
105.72/106.18 c #Conflicts: 306000 | #Constraints: 24651
105.72/106.18 c #Conflicts: 307000 | #Constraints: 25897
105.72/106.18 c #Conflicts: 308000 | #Constraints: 27333
105.72/106.18 c #Conflicts: 309000 | #Constraints: 28680
105.72/106.18 c #Conflicts: 310000 | #Constraints: 29901
105.72/106.18 c INPROCESSING
105.72/106.18 c GARBAGE COLLECT
105.72/106.18 c rational objective 0
112.39/112.82 c #Conflicts: 311000 | #Constraints: 16314
112.39/112.82 c #Conflicts: 312000 | #Constraints: 17808
112.39/112.82 c #Conflicts: 313000 | #Constraints: 19034
112.39/112.82 c #Conflicts: 314000 | #Constraints: 20326
112.39/112.82 c #Conflicts: 315000 | #Constraints: 21817
112.39/112.82 c #Conflicts: 316000 | #Constraints: 23336
112.39/112.82 c #Conflicts: 317000 | #Constraints: 24818
112.39/112.82 c #Conflicts: 318000 | #Constraints: 26322
112.39/112.82 c #Conflicts: 319000 | #Constraints: 27805
112.39/112.82 c #Conflicts: 320000 | #Constraints: 29294
112.39/112.82 c #Conflicts: 321000 | #Constraints: 30777
112.39/112.82 c INPROCESSING
112.39/112.82 c GARBAGE COLLECT
112.39/112.82 c rational objective 0
119.86/120.32 c #Conflicts: 322000 | #Constraints: 16446
119.86/120.32 c #Conflicts: 323000 | #Constraints: 17991
119.86/120.32 c #Conflicts: 324000 | #Constraints: 19521
119.86/120.32 c #Conflicts: 325000 | #Constraints: 20684
119.86/120.32 c #Conflicts: 326000 | #Constraints: 21741
119.86/120.32 c #Conflicts: 327000 | #Constraints: 23253
119.86/120.32 c #Conflicts: 328000 | #Constraints: 24620
119.86/120.32 c #Conflicts: 329000 | #Constraints: 26138
119.86/120.32 c #Conflicts: 330000 | #Constraints: 27566
119.86/120.32 c #Conflicts: 331000 | #Constraints: 29098
119.86/120.32 c #Conflicts: 332000 | #Constraints: 30434
119.86/120.32 c #Conflicts: 333000 | #Constraints: 31930
119.86/120.32 c INPROCESSING
119.86/120.32 c GARBAGE COLLECT
119.86/120.32 c rational objective 0
127.14/127.68 c #Conflicts: 334000 | #Constraints: 17314
127.14/127.68 c #Conflicts: 335000 | #Constraints: 18696
127.14/127.68 c #Conflicts: 336000 | #Constraints: 20182
127.14/127.68 c #Conflicts: 337000 | #Constraints: 21366
127.14/127.68 c #Conflicts: 338000 | #Constraints: 22366
127.14/127.68 c #Conflicts: 339000 | #Constraints: 23746
127.14/127.68 c #Conflicts: 340000 | #Constraints: 25233
127.14/127.68 c #Conflicts: 341000 | #Constraints: 26710
127.14/127.68 c #Conflicts: 342000 | #Constraints: 27813
127.14/127.68 c #Conflicts: 343000 | #Constraints: 29010
127.14/127.68 c #Conflicts: 344000 | #Constraints: 30488
127.14/127.68 c #Conflicts: 345000 | #Constraints: 31773
127.14/127.68 c INPROCESSING
127.14/127.68 c GARBAGE COLLECT
127.14/127.68 c rational objective 0
134.11/134.60 c #Conflicts: 346000 | #Constraints: 17441
134.11/134.60 c #Conflicts: 347000 | #Constraints: 18948
134.11/134.60 c #Conflicts: 348000 | #Constraints: 20099
134.11/134.60 c #Conflicts: 349000 | #Constraints: 21099
134.11/134.60 c #Conflicts: 350000 | #Constraints: 22099
134.11/134.60 c #Conflicts: 351000 | #Constraints: 23099
134.11/134.60 c #Conflicts: 352000 | #Constraints: 24099
134.11/134.60 c #Conflicts: 353000 | #Constraints: 25278
134.11/134.60 c #Conflicts: 354000 | #Constraints: 26793
134.11/134.60 c #Conflicts: 355000 | #Constraints: 28312
134.11/134.60 c #Conflicts: 356000 | #Constraints: 29859
134.11/134.60 c #Conflicts: 357000 | #Constraints: 31408
134.11/134.60 c INPROCESSING
134.11/134.60 c GARBAGE COLLECT
134.11/134.60 c rational objective 0
141.68/142.23 c #Conflicts: 358000 | #Constraints: 17212
141.68/142.23 c #Conflicts: 359000 | #Constraints: 18703
141.68/142.23 c #Conflicts: 360000 | #Constraints: 20190
141.68/142.23 c #Conflicts: 361000 | #Constraints: 21659
141.68/142.23 c #Conflicts: 362000 | #Constraints: 23140
141.68/142.23 c #Conflicts: 363000 | #Constraints: 24636
141.68/142.23 c #Conflicts: 364000 | #Constraints: 26119
141.68/142.23 c #Conflicts: 365000 | #Constraints: 27592
141.68/142.23 c #Conflicts: 366000 | #Constraints: 29056
141.68/142.23 c #Conflicts: 367000 | #Constraints: 30528
141.68/142.23 c #Conflicts: 368000 | #Constraints: 31991
141.68/142.23 c #Conflicts: 369000 | #Constraints: 33460
141.68/142.23 c INPROCESSING
141.68/142.23 c GARBAGE COLLECT
141.68/142.23 c rational objective 0
149.76/150.32 c #Conflicts: 370000 | #Constraints: 17849
149.76/150.32 c #Conflicts: 371000 | #Constraints: 19363
149.76/150.32 c #Conflicts: 372000 | #Constraints: 20910
149.76/150.32 c #Conflicts: 373000 | #Constraints: 22247
149.76/150.32 c #Conflicts: 374000 | #Constraints: 23780
149.76/150.32 c #Conflicts: 375000 | #Constraints: 25282
149.76/150.32 c #Conflicts: 376000 | #Constraints: 26282
149.76/150.32 c #Conflicts: 377000 | #Constraints: 27350
149.76/150.32 c #Conflicts: 378000 | #Constraints: 28802
149.76/150.32 c #Conflicts: 379000 | #Constraints: 30134
149.76/150.32 c #Conflicts: 380000 | #Constraints: 31412
149.76/150.32 c #Conflicts: 381000 | #Constraints: 32857
149.76/150.32 c INPROCESSING
149.76/150.32 c GARBAGE COLLECT
149.76/150.32 c rational objective 0
157.54/158.13 c #Conflicts: 382000 | #Constraints: 17401
157.54/158.13 c #Conflicts: 383000 | #Constraints: 18872
157.54/158.13 c #Conflicts: 384000 | #Constraints: 20317
157.54/158.13 c #Conflicts: 385000 | #Constraints: 21748
157.54/158.13 c #Conflicts: 386000 | #Constraints: 23227
157.54/158.13 c #Conflicts: 387000 | #Constraints: 24700
157.54/158.13 c #Conflicts: 388000 | #Constraints: 26180
157.54/158.13 c #Conflicts: 389000 | #Constraints: 27653
157.54/158.13 c #Conflicts: 390000 | #Constraints: 29049
157.54/158.13 c #Conflicts: 391000 | #Constraints: 30049
157.54/158.13 c #Conflicts: 392000 | #Constraints: 31374
157.54/158.13 c #Conflicts: 393000 | #Constraints: 32684
157.54/158.13 c #Conflicts: 394000 | #Constraints: 33937
157.54/158.13 c INPROCESSING
157.54/158.13 c GARBAGE COLLECT
157.54/158.13 c rational objective 0
167.69/168.34 c #Conflicts: 395000 | #Constraints: 18293
167.69/168.34 c #Conflicts: 396000 | #Constraints: 19801
167.69/168.34 c #Conflicts: 397000 | #Constraints: 21319
167.69/168.34 c #Conflicts: 398000 | #Constraints: 22843
167.69/168.34 c #Conflicts: 399000 | #Constraints: 24382
167.69/168.34 c #Conflicts: 400000 | #Constraints: 25899
167.69/168.34 c #Conflicts: 401000 | #Constraints: 27446
167.69/168.34 c #Conflicts: 402000 | #Constraints: 28989
167.69/168.34 c #Conflicts: 403000 | #Constraints: 30516
167.69/168.34 c #Conflicts: 404000 | #Constraints: 32039
167.69/168.34 c #Conflicts: 405000 | #Constraints: 33588
167.69/168.34 c #Conflicts: 406000 | #Constraints: 35120
167.69/168.34 c #Conflicts: 407000 | #Constraints: 36649
167.69/168.34 c INPROCESSING
167.69/168.34 c GARBAGE COLLECT
167.69/168.34 c rational objective 0
176.76/177.46 c #Conflicts: 408000 | #Constraints: 19817
176.76/177.46 c #Conflicts: 409000 | #Constraints: 21302
176.76/177.46 c #Conflicts: 410000 | #Constraints: 22797
176.76/177.46 c #Conflicts: 411000 | #Constraints: 24271
176.76/177.46 c #Conflicts: 412000 | #Constraints: 25760
176.76/177.46 c #Conflicts: 413000 | #Constraints: 27263
176.76/177.46 c #Conflicts: 414000 | #Constraints: 28741
176.76/177.46 c #Conflicts: 415000 | #Constraints: 30224
176.76/177.46 c #Conflicts: 416000 | #Constraints: 31683
176.76/177.46 c #Conflicts: 417000 | #Constraints: 33142
176.76/177.46 c #Conflicts: 418000 | #Constraints: 34614
176.76/177.46 c #Conflicts: 419000 | #Constraints: 36106
176.76/177.46 c #Conflicts: 420000 | #Constraints: 37430
176.76/177.46 c INPROCESSING
176.76/177.46 c GARBAGE COLLECT
176.76/177.46 c rational objective 0
188.43/189.12 c #Conflicts: 421000 | #Constraints: 20246
188.43/189.12 c #Conflicts: 422000 | #Constraints: 21779
188.43/189.12 c #Conflicts: 423000 | #Constraints: 23312
188.43/189.12 c #Conflicts: 424000 | #Constraints: 24850
188.43/189.12 c #Conflicts: 425000 | #Constraints: 26355
188.43/189.12 c #Conflicts: 426000 | #Constraints: 27909
188.43/189.12 c #Conflicts: 427000 | #Constraints: 29443
188.43/189.12 c #Conflicts: 428000 | #Constraints: 30963
188.43/189.12 c #Conflicts: 429000 | #Constraints: 32489
188.43/189.12 c #Conflicts: 430000 | #Constraints: 34021
188.43/189.12 c #Conflicts: 431000 | #Constraints: 35554
188.43/189.12 c #Conflicts: 432000 | #Constraints: 37104
188.43/189.12 c #Conflicts: 433000 | #Constraints: 38642
188.43/189.12 c INPROCESSING
188.43/189.12 c GARBAGE COLLECT
188.43/189.12 c rational objective 0
200.08/200.85 c #Conflicts: 434000 | #Constraints: 20602
200.08/200.85 c #Conflicts: 435000 | #Constraints: 22087
200.08/200.85 c #Conflicts: 436000 | #Constraints: 23547
200.08/200.85 c #Conflicts: 437000 | #Constraints: 25042
200.08/200.85 c #Conflicts: 438000 | #Constraints: 26517
200.08/200.85 c #Conflicts: 439000 | #Constraints: 28015
200.08/200.85 c #Conflicts: 440000 | #Constraints: 29498
200.08/200.85 c #Conflicts: 441000 | #Constraints: 30990
200.08/200.85 c #Conflicts: 442000 | #Constraints: 32463
200.08/200.85 c #Conflicts: 443000 | #Constraints: 33941
200.08/200.85 c #Conflicts: 444000 | #Constraints: 35426
200.08/200.85 c #Conflicts: 445000 | #Constraints: 36894
200.08/200.85 c #Conflicts: 446000 | #Constraints: 38366
200.08/200.85 c INPROCESSING
200.08/200.85 c GARBAGE COLLECT
200.08/200.85 c rational objective 0
211.15/211.96 c #Conflicts: 447000 | #Constraints: 20254
211.15/211.96 c #Conflicts: 448000 | #Constraints: 21595
211.15/211.96 c #Conflicts: 449000 | #Constraints: 22902
211.15/211.96 c #Conflicts: 450000 | #Constraints: 24469
211.15/211.96 c #Conflicts: 451000 | #Constraints: 25954
211.15/211.96 c #Conflicts: 452000 | #Constraints: 27486
211.15/211.96 c #Conflicts: 453000 | #Constraints: 28842
211.15/211.96 c #Conflicts: 454000 | #Constraints: 30350
211.15/211.96 c #Conflicts: 455000 | #Constraints: 31868
211.15/211.96 c #Conflicts: 456000 | #Constraints: 33391
211.15/211.96 c #Conflicts: 457000 | #Constraints: 34851
211.15/211.96 c #Conflicts: 458000 | #Constraints: 36362
211.15/211.96 c #Conflicts: 459000 | #Constraints: 37885
211.15/211.96 c #Conflicts: 460000 | #Constraints: 39434
211.15/211.96 c INPROCESSING
211.15/211.96 c GARBAGE COLLECT
211.15/211.96 c rational objective 0
221.80/222.61 c #Conflicts: 461000 | #Constraints: 21079
221.80/222.61 c #Conflicts: 462000 | #Constraints: 22562
221.80/222.61 c #Conflicts: 463000 | #Constraints: 24036
221.80/222.61 c #Conflicts: 464000 | #Constraints: 25509
221.80/222.61 c #Conflicts: 465000 | #Constraints: 26988
221.80/222.61 c #Conflicts: 466000 | #Constraints: 28459
221.80/222.61 c #Conflicts: 467000 | #Constraints: 29667
221.80/222.61 c #Conflicts: 468000 | #Constraints: 31151
221.80/222.61 c #Conflicts: 469000 | #Constraints: 32641
221.80/222.61 c #Conflicts: 470000 | #Constraints: 34126
221.80/222.61 c #Conflicts: 471000 | #Constraints: 35126
221.80/222.61 c #Conflicts: 472000 | #Constraints: 36613
221.80/222.61 c #Conflicts: 473000 | #Constraints: 37998
221.80/222.61 c #Conflicts: 474000 | #Constraints: 39480
221.80/222.61 c INPROCESSING
221.80/222.61 c GARBAGE COLLECT
221.80/222.61 c rational objective 0
232.67/233.59 c #Conflicts: 475000 | #Constraints: 21183
232.67/233.59 c #Conflicts: 476000 | #Constraints: 22692
232.67/233.59 c #Conflicts: 477000 | #Constraints: 24194
232.67/233.59 c #Conflicts: 478000 | #Constraints: 25705
232.67/233.59 c #Conflicts: 479000 | #Constraints: 27169
232.67/233.59 c #Conflicts: 480000 | #Constraints: 28657
232.67/233.59 c #Conflicts: 481000 | #Constraints: 29941
232.67/233.59 c #Conflicts: 482000 | #Constraints: 31085
232.67/233.59 c #Conflicts: 483000 | #Constraints: 32514
232.67/233.59 c #Conflicts: 484000 | #Constraints: 33543
232.67/233.59 c #Conflicts: 485000 | #Constraints: 34992
232.67/233.59 c #Conflicts: 486000 | #Constraints: 36405
232.67/233.59 c #Conflicts: 487000 | #Constraints: 37833
232.67/233.59 c #Conflicts: 488000 | #Constraints: 39190
232.67/233.59 c INPROCESSING
232.67/233.59 c GARBAGE COLLECT
232.67/233.59 c rational objective 0
242.44/243.36 c #Conflicts: 489000 | #Constraints: 21095
242.44/243.36 c #Conflicts: 490000 | #Constraints: 22188
242.44/243.36 c #Conflicts: 491000 | #Constraints: 23631
242.44/243.36 c #Conflicts: 492000 | #Constraints: 25036
242.44/243.36 c #Conflicts: 493000 | #Constraints: 26357
242.44/243.36 c #Conflicts: 494000 | #Constraints: 27692
242.44/243.36 c #Conflicts: 495000 | #Constraints: 29150
242.44/243.36 c #Conflicts: 496000 | #Constraints: 30450
242.44/243.36 c #Conflicts: 497000 | #Constraints: 31708
242.44/243.36 c #Conflicts: 498000 | #Constraints: 32963
242.44/243.36 c #Conflicts: 499000 | #Constraints: 34265
242.44/243.36 c #Conflicts: 500000 | #Constraints: 35502
242.44/243.36 c #Conflicts: 501000 | #Constraints: 36708
242.44/243.36 c #Conflicts: 502000 | #Constraints: 37785
242.44/243.36 c INPROCESSING
242.44/243.36 c GARBAGE COLLECT
242.44/243.36 c rational objective 0
253.80/254.70 c #Conflicts: 503000 | #Constraints: 20214
253.80/254.70 c #Conflicts: 504000 | #Constraints: 21606
253.80/254.70 c #Conflicts: 505000 | #Constraints: 22873
253.80/254.70 c #Conflicts: 506000 | #Constraints: 24356
253.80/254.70 c #Conflicts: 507000 | #Constraints: 25812
253.80/254.70 c #Conflicts: 508000 | #Constraints: 27320
253.80/254.70 c #Conflicts: 509000 | #Constraints: 28812
253.80/254.70 c #Conflicts: 510000 | #Constraints: 30017
253.80/254.70 c #Conflicts: 511000 | #Constraints: 31552
253.80/254.70 c #Conflicts: 512000 | #Constraints: 33047
253.80/254.70 c #Conflicts: 513000 | #Constraints: 34559
253.80/254.70 c #Conflicts: 514000 | #Constraints: 36088
253.80/254.70 c #Conflicts: 515000 | #Constraints: 37620
253.80/254.70 c #Conflicts: 516000 | #Constraints: 39158
253.80/254.70 c INPROCESSING
253.80/254.70 c GARBAGE COLLECT
253.80/254.70 c rational objective 0
265.06/266.10 c #Conflicts: 517000 | #Constraints: 20662
265.06/266.10 c #Conflicts: 518000 | #Constraints: 22128
265.06/266.10 c #Conflicts: 519000 | #Constraints: 23618
265.06/266.10 c #Conflicts: 520000 | #Constraints: 25084
265.06/266.10 c #Conflicts: 521000 | #Constraints: 26537
265.06/266.10 c #Conflicts: 522000 | #Constraints: 28007
265.06/266.10 c #Conflicts: 523000 | #Constraints: 29356
265.06/266.10 c #Conflicts: 524000 | #Constraints: 30870
265.06/266.10 c #Conflicts: 525000 | #Constraints: 32358
265.06/266.10 c #Conflicts: 526000 | #Constraints: 33841
265.06/266.10 c #Conflicts: 527000 | #Constraints: 35341
265.06/266.10 c #Conflicts: 528000 | #Constraints: 36827
265.06/266.10 c #Conflicts: 529000 | #Constraints: 38324
265.06/266.10 c #Conflicts: 530000 | #Constraints: 39820
265.06/266.10 c #Conflicts: 531000 | #Constraints: 41311
265.06/266.10 c INPROCESSING
265.06/266.10 c GARBAGE COLLECT
265.06/266.10 c rational objective 0
275.91/276.98 c #Conflicts: 532000 | #Constraints: 22037
275.91/276.98 c #Conflicts: 533000 | #Constraints: 23534
275.91/276.98 c #Conflicts: 534000 | #Constraints: 24894
275.91/276.98 c #Conflicts: 535000 | #Constraints: 25894
275.91/276.98 c #Conflicts: 536000 | #Constraints: 26918
275.91/276.98 c #Conflicts: 537000 | #Constraints: 28155
275.91/276.98 c #Conflicts: 538000 | #Constraints: 29662
275.91/276.98 c #Conflicts: 539000 | #Constraints: 30745
275.91/276.98 c #Conflicts: 540000 | #Constraints: 31937
275.91/276.98 c #Conflicts: 541000 | #Constraints: 33203
275.91/276.98 c #Conflicts: 542000 | #Constraints: 34621
275.91/276.98 c #Conflicts: 543000 | #Constraints: 36160
275.91/276.98 c #Conflicts: 544000 | #Constraints: 37517
275.91/276.98 c #Conflicts: 545000 | #Constraints: 38894
275.91/276.98 c #Conflicts: 546000 | #Constraints: 39918
275.91/276.98 c INPROCESSING
275.91/276.98 c GARBAGE COLLECT
275.91/276.98 c rational objective 0
286.17/287.45 c #Conflicts: 547000 | #Constraints: 21097
286.17/287.45 c #Conflicts: 548000 | #Constraints: 22281
286.17/287.45 c #Conflicts: 549000 | #Constraints: 23766
286.17/287.45 c #Conflicts: 550000 | #Constraints: 25259
286.17/287.45 c #Conflicts: 551000 | #Constraints: 26653
286.17/287.45 c #Conflicts: 552000 | #Constraints: 27654
286.17/287.45 c #Conflicts: 553000 | #Constraints: 29103
286.17/287.45 c #Conflicts: 554000 | #Constraints: 30584
286.17/287.45 c #Conflicts: 555000 | #Constraints: 32070
286.17/287.45 c #Conflicts: 556000 | #Constraints: 33418
286.17/287.45 c #Conflicts: 557000 | #Constraints: 34777
286.17/287.45 c #Conflicts: 558000 | #Constraints: 35777
286.17/287.45 c #Conflicts: 559000 | #Constraints: 36790
286.17/287.45 c #Conflicts: 560000 | #Constraints: 38289
286.17/287.45 c #Conflicts: 561000 | #Constraints: 39745
286.17/287.45 c INPROCESSING
286.17/287.45 c GARBAGE COLLECT
286.17/287.45 c rational objective 0
297.53/298.85 c #Conflicts: 562000 | #Constraints: 21433
297.53/298.85 c #Conflicts: 563000 | #Constraints: 22958
297.53/298.85 c #Conflicts: 564000 | #Constraints: 24391
297.53/298.85 c #Conflicts: 565000 | #Constraints: 25476
297.53/298.85 c #Conflicts: 566000 | #Constraints: 26777
297.53/298.85 c #Conflicts: 567000 | #Constraints: 27821
297.53/298.85 c #Conflicts: 568000 | #Constraints: 29236
297.53/298.85 c #Conflicts: 569000 | #Constraints: 30537
297.53/298.85 c #Conflicts: 570000 | #Constraints: 31718
297.53/298.85 c #Conflicts: 571000 | #Constraints: 32883
297.53/298.85 c #Conflicts: 572000 | #Constraints: 34239
297.53/298.85 c #Conflicts: 573000 | #Constraints: 35762
297.53/298.85 c #Conflicts: 574000 | #Constraints: 37283
297.53/298.85 c #Conflicts: 575000 | #Constraints: 38823
297.53/298.85 c #Conflicts: 576000 | #Constraints: 40340
297.53/298.85 c INPROCESSING
297.53/298.85 c GARBAGE COLLECT
297.53/298.85 c rational objective 0
308.82/312.57 c #Conflicts: 577000 | #Constraints: 21526
308.82/312.57 c #Conflicts: 578000 | #Constraints: 23022
308.82/312.57 c #Conflicts: 579000 | #Constraints: 24103
308.82/312.57 c #Conflicts: 580000 | #Constraints: 25587
308.82/312.57 c #Conflicts: 581000 | #Constraints: 27075
308.82/312.57 c #Conflicts: 582000 | #Constraints: 28439
308.82/312.57 c #Conflicts: 583000 | #Constraints: 29923
308.82/312.57 c #Conflicts: 584000 | #Constraints: 31312
308.82/312.57 c #Conflicts: 585000 | #Constraints: 32785
308.82/312.57 c #Conflicts: 586000 | #Constraints: 34022
308.82/312.57 c #Conflicts: 587000 | #Constraints: 35446
308.82/312.57 c #Conflicts: 588000 | #Constraints: 36446
308.82/312.57 c #Conflicts: 589000 | #Constraints: 37446
308.82/312.57 c #Conflicts: 590000 | #Constraints: 38886
308.82/312.57 c #Conflicts: 591000 | #Constraints: 40368
308.82/312.57 c INPROCESSING
308.82/312.57 c GARBAGE COLLECT
308.82/312.57 c rational objective 0
309.72/313.45 c #Conflicts: 592000 | #Constraints: 21169
309.72/313.45 c #Conflicts: 593000 | #Constraints: 22693
309.72/313.45 c bounds 2 >= 0 @ 302.581
322.08/325.88 c #Conflicts: 594000 | #Constraints: 23836
322.08/325.88 c #Conflicts: 595000 | #Constraints: 25324
322.08/325.88 c #Conflicts: 596000 | #Constraints: 26832
322.08/325.88 c #Conflicts: 597000 | #Constraints: 28287
322.08/325.88 c #Conflicts: 598000 | #Constraints: 29758
322.08/325.88 c #Conflicts: 599000 | #Constraints: 31231
322.08/325.88 c #Conflicts: 600000 | #Constraints: 32752
322.08/325.88 c #Conflicts: 601000 | #Constraints: 34268
322.08/325.88 c #Conflicts: 602000 | #Constraints: 35807
322.08/325.88 c #Conflicts: 603000 | #Constraints: 37307
322.08/325.88 c #Conflicts: 604000 | #Constraints: 38783
322.08/325.88 c #Conflicts: 605000 | #Constraints: 40281
322.08/325.88 c #Conflicts: 606000 | #Constraints: 41783
322.08/325.88 c #Conflicts: 607000 | #Constraints: 43284
322.08/325.88 c INPROCESSING
322.08/325.88 c GARBAGE COLLECT
322.08/325.88 c rational objective 0
333.55/337.31 c #Conflicts: 608000 | #Constraints: 22908
333.55/337.31 c #Conflicts: 609000 | #Constraints: 23999
333.55/337.31 c #Conflicts: 610000 | #Constraints: 25476
333.55/337.31 c #Conflicts: 611000 | #Constraints: 26947
333.55/337.31 c #Conflicts: 612000 | #Constraints: 28416
333.55/337.31 c #Conflicts: 613000 | #Constraints: 29924
333.55/337.31 c #Conflicts: 614000 | #Constraints: 31424
333.55/337.31 c #Conflicts: 615000 | #Constraints: 32897
333.55/337.31 c #Conflicts: 616000 | #Constraints: 34366
333.55/337.31 c #Conflicts: 617000 | #Constraints: 35854
333.55/337.31 c #Conflicts: 618000 | #Constraints: 37327
333.55/337.31 c #Conflicts: 619000 | #Constraints: 38812
333.55/337.31 c #Conflicts: 620000 | #Constraints: 40283
333.55/337.31 c #Conflicts: 621000 | #Constraints: 41769
333.55/337.31 c #Conflicts: 622000 | #Constraints: 43243
333.55/337.31 c #Conflicts: 623000 | #Constraints: 44719
333.55/337.31 c INPROCESSING
333.55/337.31 c GARBAGE COLLECT
333.55/337.31 c rational objective 0
345.15/349.38 c #Conflicts: 624000 | #Constraints: 23398
345.15/349.38 c #Conflicts: 625000 | #Constraints: 24398
345.15/349.38 c #Conflicts: 626000 | #Constraints: 25848
345.15/349.38 c #Conflicts: 627000 | #Constraints: 27180
345.15/349.38 c #Conflicts: 628000 | #Constraints: 28233
345.15/349.38 c #Conflicts: 629000 | #Constraints: 29750
345.15/349.38 c #Conflicts: 630000 | #Constraints: 31226
345.15/349.38 c #Conflicts: 631000 | #Constraints: 32611
345.15/349.38 c #Conflicts: 632000 | #Constraints: 34077
345.15/349.38 c #Conflicts: 633000 | #Constraints: 35386
345.15/349.38 c #Conflicts: 634000 | #Constraints: 36897
345.15/349.38 c #Conflicts: 635000 | #Constraints: 38323
345.15/349.38 c #Conflicts: 636000 | #Constraints: 39752
345.15/349.38 c #Conflicts: 637000 | #Constraints: 41268
345.15/349.38 c #Conflicts: 638000 | #Constraints: 42519
345.15/349.38 c #Conflicts: 639000 | #Constraints: 43521
345.15/349.38 c INPROCESSING
345.15/349.38 c GARBAGE COLLECT
345.15/349.38 c rational objective 0
358.72/362.95 c #Conflicts: 640000 | #Constraints: 23235
358.72/362.95 c #Conflicts: 641000 | #Constraints: 24722
358.72/362.95 c #Conflicts: 642000 | #Constraints: 26188
358.72/362.95 c #Conflicts: 643000 | #Constraints: 27670
358.72/362.95 c #Conflicts: 644000 | #Constraints: 29155
358.72/362.95 c #Conflicts: 645000 | #Constraints: 30639
358.72/362.95 c #Conflicts: 646000 | #Constraints: 32116
358.72/362.95 c #Conflicts: 647000 | #Constraints: 33600
358.72/362.95 c #Conflicts: 648000 | #Constraints: 35092
358.72/362.95 c #Conflicts: 649000 | #Constraints: 36554
358.72/362.95 c #Conflicts: 650000 | #Constraints: 38037
358.72/362.95 c #Conflicts: 651000 | #Constraints: 39524
358.72/362.95 c #Conflicts: 652000 | #Constraints: 40978
358.72/362.95 c #Conflicts: 653000 | #Constraints: 42452
358.72/362.95 c #Conflicts: 654000 | #Constraints: 43927
358.72/362.95 c #Conflicts: 655000 | #Constraints: 45394
358.72/362.95 c INPROCESSING
358.72/362.95 c GARBAGE COLLECT
358.72/362.95 c rational objective 0
369.91/374.30 c #Conflicts: 656000 | #Constraints: 23708
369.91/374.30 c #Conflicts: 657000 | #Constraints: 24988
369.91/374.30 c #Conflicts: 658000 | #Constraints: 26384
369.91/374.30 c #Conflicts: 659000 | #Constraints: 27676
369.91/374.30 c #Conflicts: 660000 | #Constraints: 28676
369.91/374.30 c #Conflicts: 661000 | #Constraints: 29786
369.91/374.30 c #Conflicts: 662000 | #Constraints: 30786
369.91/374.30 c #Conflicts: 663000 | #Constraints: 31813
369.91/374.30 c #Conflicts: 664000 | #Constraints: 32970
369.91/374.30 c #Conflicts: 665000 | #Constraints: 34248
369.91/374.30 c #Conflicts: 666000 | #Constraints: 35291
369.91/374.30 c #Conflicts: 667000 | #Constraints: 36401
369.91/374.30 c #Conflicts: 668000 | #Constraints: 37402
369.91/374.30 c #Conflicts: 669000 | #Constraints: 38566
369.91/374.30 c #Conflicts: 670000 | #Constraints: 39880
369.91/374.30 c #Conflicts: 671000 | #Constraints: 41040
369.91/374.30 c INPROCESSING
369.91/374.30 c GARBAGE COLLECT
369.91/374.30 c rational objective 0
381.68/386.11 c #Conflicts: 672000 | #Constraints: 21430
381.68/386.11 c #Conflicts: 673000 | #Constraints: 22886
381.68/386.11 c #Conflicts: 674000 | #Constraints: 24356
381.68/386.11 c #Conflicts: 675000 | #Constraints: 25733
381.68/386.11 c #Conflicts: 676000 | #Constraints: 27226
381.68/386.11 c #Conflicts: 677000 | #Constraints: 28728
381.68/386.11 c #Conflicts: 678000 | #Constraints: 29964
381.68/386.11 c #Conflicts: 679000 | #Constraints: 31057
381.68/386.11 c #Conflicts: 680000 | #Constraints: 32539
381.68/386.11 c #Conflicts: 681000 | #Constraints: 33977
381.68/386.11 c #Conflicts: 682000 | #Constraints: 34977
381.68/386.11 c #Conflicts: 683000 | #Constraints: 35979
381.68/386.11 c #Conflicts: 684000 | #Constraints: 37464
381.68/386.11 c #Conflicts: 685000 | #Constraints: 38952
381.68/386.11 c #Conflicts: 686000 | #Constraints: 40432
381.68/386.11 c #Conflicts: 687000 | #Constraints: 41898
381.68/386.11 c #Conflicts: 688000 | #Constraints: 43380
381.68/386.11 c INPROCESSING
381.68/386.11 c GARBAGE COLLECT
381.68/386.11 c rational objective 0
396.23/400.75 c #Conflicts: 689000 | #Constraints: 23022
396.23/400.75 c #Conflicts: 690000 | #Constraints: 24507
396.23/400.75 c #Conflicts: 691000 | #Constraints: 26023
396.23/400.75 c #Conflicts: 692000 | #Constraints: 27551
396.23/400.75 c #Conflicts: 693000 | #Constraints: 29070
396.23/400.75 c #Conflicts: 694000 | #Constraints: 30610
396.23/400.75 c #Conflicts: 695000 | #Constraints: 32158
396.23/400.75 c #Conflicts: 696000 | #Constraints: 33693
396.23/400.75 c #Conflicts: 697000 | #Constraints: 35228
396.23/400.75 c #Conflicts: 698000 | #Constraints: 36760
396.23/400.75 c #Conflicts: 699000 | #Constraints: 38283
396.23/400.75 c #Conflicts: 700000 | #Constraints: 39806
396.23/400.75 c #Conflicts: 701000 | #Constraints: 41320
396.23/400.75 c #Conflicts: 702000 | #Constraints: 42826
396.23/400.75 c #Conflicts: 703000 | #Constraints: 44284
396.23/400.75 c #Conflicts: 704000 | #Constraints: 45813
396.23/400.75 c #Conflicts: 705000 | #Constraints: 47331
396.23/400.75 c INPROCESSING
396.23/400.75 c GARBAGE COLLECT
396.23/400.75 c rational objective 0
409.81/414.50 c #Conflicts: 706000 | #Constraints: 24936
409.81/414.50 c #Conflicts: 707000 | #Constraints: 26445
409.81/414.50 c #Conflicts: 708000 | #Constraints: 27902
409.81/414.50 c #Conflicts: 709000 | #Constraints: 29238
409.81/414.50 c #Conflicts: 710000 | #Constraints: 30571
409.81/414.50 c #Conflicts: 711000 | #Constraints: 31800
409.81/414.50 c #Conflicts: 712000 | #Constraints: 33261
409.81/414.50 c #Conflicts: 713000 | #Constraints: 34742
409.81/414.50 c #Conflicts: 714000 | #Constraints: 36215
409.81/414.50 c #Conflicts: 715000 | #Constraints: 37685
409.81/414.50 c #Conflicts: 716000 | #Constraints: 39176
409.81/414.50 c #Conflicts: 717000 | #Constraints: 40662
409.81/414.50 c #Conflicts: 718000 | #Constraints: 42138
409.81/414.50 c #Conflicts: 719000 | #Constraints: 43609
409.81/414.50 c #Conflicts: 720000 | #Constraints: 45079
409.81/414.50 c #Conflicts: 721000 | #Constraints: 46536
409.81/414.50 c #Conflicts: 722000 | #Constraints: 48038
409.81/414.50 c INPROCESSING
409.81/414.50 c GARBAGE COLLECT
409.81/414.50 c rational objective 0
424.67/429.43 c #Conflicts: 723000 | #Constraints: 25439
424.67/429.43 c #Conflicts: 724000 | #Constraints: 26965
424.67/429.43 c #Conflicts: 725000 | #Constraints: 28300
424.67/429.43 c #Conflicts: 726000 | #Constraints: 29650
424.67/429.43 c #Conflicts: 727000 | #Constraints: 31164
424.67/429.43 c #Conflicts: 728000 | #Constraints: 32671
424.67/429.43 c #Conflicts: 729000 | #Constraints: 34171
424.67/429.43 c #Conflicts: 730000 | #Constraints: 35680
424.67/429.43 c #Conflicts: 731000 | #Constraints: 37118
424.67/429.43 c #Conflicts: 732000 | #Constraints: 38632
424.67/429.43 c #Conflicts: 733000 | #Constraints: 40159
424.67/429.43 c #Conflicts: 734000 | #Constraints: 41672
424.67/429.43 c #Conflicts: 735000 | #Constraints: 43160
424.67/429.43 c #Conflicts: 736000 | #Constraints: 44679
424.67/429.43 c #Conflicts: 737000 | #Constraints: 46189
424.67/429.43 c #Conflicts: 738000 | #Constraints: 47718
424.67/429.43 c #Conflicts: 739000 | #Constraints: 49249
424.67/429.43 c INPROCESSING
424.67/429.43 c GARBAGE COLLECT
424.67/429.43 c rational objective 0
438.93/443.73 c #Conflicts: 740000 | #Constraints: 25849
438.93/443.73 c #Conflicts: 741000 | #Constraints: 27270
438.93/443.73 c #Conflicts: 742000 | #Constraints: 28655
438.93/443.73 c #Conflicts: 743000 | #Constraints: 30103
438.93/443.73 c #Conflicts: 744000 | #Constraints: 31580
438.93/443.73 c #Conflicts: 745000 | #Constraints: 33070
438.93/443.73 c #Conflicts: 746000 | #Constraints: 34506
438.93/443.73 c #Conflicts: 747000 | #Constraints: 35832
438.93/443.73 c #Conflicts: 748000 | #Constraints: 37011
438.93/443.73 c #Conflicts: 749000 | #Constraints: 38373
438.93/443.73 c #Conflicts: 750000 | #Constraints: 39856
438.93/443.73 c #Conflicts: 751000 | #Constraints: 41176
438.93/443.73 c #Conflicts: 752000 | #Constraints: 42255
438.93/443.73 c #Conflicts: 753000 | #Constraints: 43598
438.93/443.73 c #Conflicts: 754000 | #Constraints: 45051
438.93/443.73 c #Conflicts: 755000 | #Constraints: 46451
438.93/443.73 c #Conflicts: 756000 | #Constraints: 47942
438.93/443.73 c INPROCESSING
438.93/443.73 c GARBAGE COLLECT
438.93/443.73 c rational objective 0
454.88/459.79 c #Conflicts: 757000 | #Constraints: 24964
454.88/459.79 c #Conflicts: 758000 | #Constraints: 26391
454.88/459.79 c #Conflicts: 759000 | #Constraints: 27906
454.88/459.79 c #Conflicts: 760000 | #Constraints: 29415
454.88/459.79 c #Conflicts: 761000 | #Constraints: 30964
454.88/459.79 c #Conflicts: 762000 | #Constraints: 32502
454.88/459.79 c #Conflicts: 763000 | #Constraints: 34017
454.88/459.79 c #Conflicts: 764000 | #Constraints: 35530
454.88/459.79 c #Conflicts: 765000 | #Constraints: 36993
454.88/459.79 c #Conflicts: 766000 | #Constraints: 38437
454.88/459.79 c #Conflicts: 767000 | #Constraints: 39690
454.88/459.79 c #Conflicts: 768000 | #Constraints: 41172
454.88/459.79 c #Conflicts: 769000 | #Constraints: 42516
454.88/459.79 c #Conflicts: 770000 | #Constraints: 43729
454.88/459.79 c #Conflicts: 771000 | #Constraints: 44973
454.88/459.79 c #Conflicts: 772000 | #Constraints: 46382
454.88/459.79 c #Conflicts: 773000 | #Constraints: 47904
454.88/459.79 c #Conflicts: 774000 | #Constraints: 48919
454.88/459.79 c INPROCESSING
454.88/459.79 c GARBAGE COLLECT
454.88/459.79 c rational objective 0
466.69/471.73 c #Conflicts: 775000 | #Constraints: 25380
466.69/471.73 c #Conflicts: 776000 | #Constraints: 26383
466.69/471.73 c #Conflicts: 777000 | #Constraints: 27384
466.69/471.73 c #Conflicts: 778000 | #Constraints: 28385
466.69/471.73 c #Conflicts: 779000 | #Constraints: 29385
466.69/471.73 c #Conflicts: 780000 | #Constraints: 30385
466.69/471.73 c #Conflicts: 781000 | #Constraints: 31385
466.69/471.73 c #Conflicts: 782000 | #Constraints: 32386
466.69/471.73 c #Conflicts: 783000 | #Constraints: 33386
466.69/471.73 c #Conflicts: 784000 | #Constraints: 34387
466.69/471.73 c #Conflicts: 785000 | #Constraints: 35388
466.69/471.73 c #Conflicts: 786000 | #Constraints: 36388
466.69/471.73 c #Conflicts: 787000 | #Constraints: 37388
466.69/471.73 c #Conflicts: 788000 | #Constraints: 38389
466.69/471.73 c #Conflicts: 789000 | #Constraints: 39390
466.69/471.73 c #Conflicts: 790000 | #Constraints: 40391
466.69/471.73 c #Conflicts: 791000 | #Constraints: 41391
466.69/471.73 c #Conflicts: 792000 | #Constraints: 42391
466.69/471.73 c INPROCESSING
466.69/471.73 c GARBAGE COLLECT
466.69/471.73 c rational objective 0
481.16/486.24 c #Conflicts: 793000 | #Constraints: 22643
481.16/486.24 c #Conflicts: 794000 | #Constraints: 23977
481.16/486.24 c #Conflicts: 795000 | #Constraints: 25194
481.16/486.24 c #Conflicts: 796000 | #Constraints: 26624
481.16/486.24 c #Conflicts: 797000 | #Constraints: 28037
481.16/486.24 c #Conflicts: 798000 | #Constraints: 29369
481.16/486.24 c #Conflicts: 799000 | #Constraints: 30663
481.16/486.24 c #Conflicts: 800000 | #Constraints: 32106
481.16/486.24 c #Conflicts: 801000 | #Constraints: 33424
481.16/486.24 c #Conflicts: 802000 | #Constraints: 34797
481.16/486.24 c #Conflicts: 803000 | #Constraints: 36208
481.16/486.24 c #Conflicts: 804000 | #Constraints: 37208
481.16/486.24 c #Conflicts: 805000 | #Constraints: 38429
481.16/486.24 c #Conflicts: 806000 | #Constraints: 39572
481.16/486.24 c #Conflicts: 807000 | #Constraints: 40806
481.16/486.24 c #Conflicts: 808000 | #Constraints: 42084
481.16/486.24 c #Conflicts: 809000 | #Constraints: 43385
481.16/486.24 c #Conflicts: 810000 | #Constraints: 44733
481.16/486.24 c INPROCESSING
481.16/486.24 c GARBAGE COLLECT
481.16/486.24 c rational objective 0
493.83/499.39 c #Conflicts: 811000 | #Constraints: 23396
493.83/499.39 c #Conflicts: 812000 | #Constraints: 24623
493.83/499.39 c #Conflicts: 813000 | #Constraints: 25708
493.83/499.39 c #Conflicts: 814000 | #Constraints: 26857
493.83/499.39 c #Conflicts: 815000 | #Constraints: 28015
493.83/499.39 c #Conflicts: 816000 | #Constraints: 29181
493.83/499.39 c #Conflicts: 817000 | #Constraints: 30183
493.83/499.39 c #Conflicts: 818000 | #Constraints: 31183
493.83/499.39 c #Conflicts: 819000 | #Constraints: 32226
493.83/499.39 c #Conflicts: 820000 | #Constraints: 33379
493.83/499.39 c #Conflicts: 821000 | #Constraints: 34538
493.83/499.39 c #Conflicts: 822000 | #Constraints: 35664
493.83/499.39 c #Conflicts: 823000 | #Constraints: 37032
493.83/499.39 c #Conflicts: 824000 | #Constraints: 38071
493.83/499.39 c #Conflicts: 825000 | #Constraints: 39353
493.83/499.39 c #Conflicts: 826000 | #Constraints: 40854
493.83/499.39 c #Conflicts: 827000 | #Constraints: 42373
493.83/499.39 c #Conflicts: 828000 | #Constraints: 43597
493.83/499.39 c INPROCESSING
493.83/499.39 c GARBAGE COLLECT
493.83/499.39 c rational objective 0
516.36/521.92 c #Conflicts: 829000 | #Constraints: 23142
516.36/521.92 c #Conflicts: 830000 | #Constraints: 24658
516.36/521.92 c #Conflicts: 831000 | #Constraints: 26157
516.36/521.92 c #Conflicts: 832000 | #Constraints: 27684
516.36/521.92 c #Conflicts: 833000 | #Constraints: 29227
516.36/521.92 c #Conflicts: 834000 | #Constraints: 30739
516.36/521.92 c #Conflicts: 835000 | #Constraints: 31739
516.36/521.92 c #Conflicts: 836000 | #Constraints: 33048
516.36/521.92 c #Conflicts: 837000 | #Constraints: 34582
516.36/521.92 c #Conflicts: 838000 | #Constraints: 36082
516.36/521.92 c #Conflicts: 839000 | #Constraints: 37596
516.36/521.92 c #Conflicts: 840000 | #Constraints: 39101
516.36/521.92 c #Conflicts: 841000 | #Constraints: 40609
516.36/521.92 c #Conflicts: 842000 | #Constraints: 42071
516.36/521.92 c #Conflicts: 843000 | #Constraints: 43558
516.36/521.92 c #Conflicts: 844000 | #Constraints: 45068
516.36/521.92 c #Conflicts: 845000 | #Constraints: 46574
516.36/521.92 c #Conflicts: 846000 | #Constraints: 48099
516.36/521.92 c INPROCESSING
516.36/521.92 c GARBAGE COLLECT
516.36/521.92 c rational objective 0
533.29/539.01 c #Conflicts: 847000 | #Constraints: 25012
533.29/539.01 c #Conflicts: 848000 | #Constraints: 26482
533.29/539.01 c #Conflicts: 849000 | #Constraints: 27853
533.29/539.01 c #Conflicts: 850000 | #Constraints: 29304
533.29/539.01 c #Conflicts: 851000 | #Constraints: 30804
533.29/539.01 c #Conflicts: 852000 | #Constraints: 32294
533.29/539.01 c #Conflicts: 853000 | #Constraints: 33646
533.29/539.01 c #Conflicts: 854000 | #Constraints: 34657
533.29/539.01 c #Conflicts: 855000 | #Constraints: 36117
533.29/539.01 c #Conflicts: 856000 | #Constraints: 37612
533.29/539.01 c #Conflicts: 857000 | #Constraints: 39112
533.29/539.01 c #Conflicts: 858000 | #Constraints: 40603
533.29/539.01 c #Conflicts: 859000 | #Constraints: 42101
533.29/539.01 c #Conflicts: 860000 | #Constraints: 43610
533.29/539.01 c #Conflicts: 861000 | #Constraints: 44868
533.29/539.01 c #Conflicts: 862000 | #Constraints: 45868
533.29/539.01 c #Conflicts: 863000 | #Constraints: 47245
533.29/539.01 c #Conflicts: 864000 | #Constraints: 48736
533.29/539.01 c #Conflicts: 865000 | #Constraints: 50222
533.29/539.01 c INPROCESSING
533.29/539.01 c GARBAGE COLLECT
533.29/539.01 c rational objective 0
552.45/558.56 c #Conflicts: 866000 | #Constraints: 26448
552.45/558.56 c #Conflicts: 867000 | #Constraints: 27938
552.45/558.56 c #Conflicts: 868000 | #Constraints: 29425
552.45/558.56 c #Conflicts: 869000 | #Constraints: 30911
552.45/558.56 c #Conflicts: 870000 | #Constraints: 32392
552.45/558.56 c #Conflicts: 871000 | #Constraints: 33904
552.45/558.56 c #Conflicts: 872000 | #Constraints: 35412
552.45/558.56 c #Conflicts: 873000 | #Constraints: 36915
552.45/558.56 c #Conflicts: 874000 | #Constraints: 38377
552.45/558.56 c #Conflicts: 875000 | #Constraints: 39876
552.45/558.56 c #Conflicts: 876000 | #Constraints: 41362
552.45/558.56 c #Conflicts: 877000 | #Constraints: 42868
552.45/558.56 c #Conflicts: 878000 | #Constraints: 44361
552.45/558.56 c #Conflicts: 879000 | #Constraints: 45872
552.45/558.56 c #Conflicts: 880000 | #Constraints: 47369
552.45/558.56 c #Conflicts: 881000 | #Constraints: 48847
552.45/558.56 c #Conflicts: 882000 | #Constraints: 50345
552.45/558.56 c #Conflicts: 883000 | #Constraints: 51838
552.45/558.56 c #Conflicts: 884000 | #Constraints: 53347
552.45/558.56 c INPROCESSING
552.45/558.56 c GARBAGE COLLECT
552.45/558.56 c rational objective 0
572.89/579.05 c #Conflicts: 885000 | #Constraints: 28202
572.89/579.05 c #Conflicts: 886000 | #Constraints: 29701
572.89/579.05 c #Conflicts: 887000 | #Constraints: 31212
572.89/579.05 c #Conflicts: 888000 | #Constraints: 32760
572.89/579.05 c #Conflicts: 889000 | #Constraints: 34313
572.89/579.05 c #Conflicts: 890000 | #Constraints: 35837
572.89/579.05 c #Conflicts: 891000 | #Constraints: 37386
572.89/579.05 c #Conflicts: 892000 | #Constraints: 38903
572.89/579.05 c #Conflicts: 893000 | #Constraints: 40405
572.89/579.05 c #Conflicts: 894000 | #Constraints: 41926
572.89/579.05 c #Conflicts: 895000 | #Constraints: 43466
572.89/579.05 c #Conflicts: 896000 | #Constraints: 44986
572.89/579.05 c #Conflicts: 897000 | #Constraints: 46518
572.89/579.05 c #Conflicts: 898000 | #Constraints: 48058
572.89/579.05 c #Conflicts: 899000 | #Constraints: 49586
572.89/579.05 c #Conflicts: 900000 | #Constraints: 51108
572.89/579.05 c #Conflicts: 901000 | #Constraints: 52636
572.89/579.05 c #Conflicts: 902000 | #Constraints: 54163
572.89/579.05 c #Conflicts: 903000 | #Constraints: 55682
572.89/579.05 c INPROCESSING
572.89/579.05 c GARBAGE COLLECT
572.89/579.05 c rational objective 0
593.99/600.35 c #Conflicts: 904000 | #Constraints: 29250
593.99/600.35 c #Conflicts: 905000 | #Constraints: 30731
593.99/600.35 c #Conflicts: 906000 | #Constraints: 32217
593.99/600.35 c #Conflicts: 907000 | #Constraints: 33707
593.99/600.35 c #Conflicts: 908000 | #Constraints: 35194
593.99/600.35 c #Conflicts: 909000 | #Constraints: 36696
593.99/600.35 c #Conflicts: 910000 | #Constraints: 38181
593.99/600.35 c #Conflicts: 911000 | #Constraints: 39670
593.99/600.35 c #Conflicts: 912000 | #Constraints: 41174
593.99/600.35 c #Conflicts: 913000 | #Constraints: 42667
593.99/600.35 c #Conflicts: 914000 | #Constraints: 44155
593.99/600.35 c #Conflicts: 915000 | #Constraints: 45629
593.99/600.35 c #Conflicts: 916000 | #Constraints: 47110
593.99/600.35 c #Conflicts: 917000 | #Constraints: 48598
593.99/600.35 c #Conflicts: 918000 | #Constraints: 50102
593.99/600.35 c #Conflicts: 919000 | #Constraints: 51582
593.99/600.35 c #Conflicts: 920000 | #Constraints: 53083
593.99/600.35 c #Conflicts: 921000 | #Constraints: 54571
593.99/600.35 c #Conflicts: 922000 | #Constraints: 56068
593.99/600.35 c INPROCESSING
593.99/600.35 c GARBAGE COLLECT
593.99/600.35 c rational objective 0
618.91/625.48 c #Conflicts: 923000 | #Constraints: 29351
618.91/625.48 c #Conflicts: 924000 | #Constraints: 30893
618.91/625.48 c #Conflicts: 925000 | #Constraints: 32402
618.91/625.48 c #Conflicts: 926000 | #Constraints: 33931
618.91/625.48 c #Conflicts: 927000 | #Constraints: 35450
618.91/625.48 c #Conflicts: 928000 | #Constraints: 36993
618.91/625.48 c #Conflicts: 929000 | #Constraints: 38507
618.91/625.48 c #Conflicts: 930000 | #Constraints: 40025
618.91/625.48 c #Conflicts: 931000 | #Constraints: 41536
618.91/625.48 c #Conflicts: 932000 | #Constraints: 42889
618.91/625.48 c #Conflicts: 933000 | #Constraints: 44092
618.91/625.48 c #Conflicts: 934000 | #Constraints: 45585
618.91/625.48 c #Conflicts: 935000 | #Constraints: 46960
618.91/625.48 c #Conflicts: 936000 | #Constraints: 48484
618.91/625.48 c #Conflicts: 937000 | #Constraints: 50013
618.91/625.48 c #Conflicts: 938000 | #Constraints: 51533
618.91/625.48 c #Conflicts: 939000 | #Constraints: 52570
618.91/625.48 c #Conflicts: 940000 | #Constraints: 53570
618.91/625.48 c #Conflicts: 941000 | #Constraints: 54887
618.91/625.48 c INPROCESSING
618.91/625.48 c GARBAGE COLLECT
618.91/625.48 c rational objective 0
637.15/643.78 c #Conflicts: 942000 | #Constraints: 28383
637.15/643.78 c #Conflicts: 943000 | #Constraints: 29717
637.15/643.78 c #Conflicts: 944000 | #Constraints: 31087
637.15/643.78 c #Conflicts: 945000 | #Constraints: 32435
637.15/643.78 c #Conflicts: 946000 | #Constraints: 33910
637.15/643.78 c #Conflicts: 947000 | #Constraints: 35335
637.15/643.78 c #Conflicts: 948000 | #Constraints: 36710
637.15/643.78 c #Conflicts: 949000 | #Constraints: 37952
637.15/643.78 c #Conflicts: 950000 | #Constraints: 39132
637.15/643.78 c #Conflicts: 951000 | #Constraints: 40538
637.15/643.78 c #Conflicts: 952000 | #Constraints: 41937
637.15/643.78 c #Conflicts: 953000 | #Constraints: 42952
637.15/643.78 c #Conflicts: 954000 | #Constraints: 44008
637.15/643.78 c #Conflicts: 955000 | #Constraints: 45485
637.15/643.78 c #Conflicts: 956000 | #Constraints: 46821
637.15/643.78 c #Conflicts: 957000 | #Constraints: 47975
637.15/643.78 c #Conflicts: 958000 | #Constraints: 49149
637.15/643.78 c #Conflicts: 959000 | #Constraints: 50283
637.15/643.78 c #Conflicts: 960000 | #Constraints: 51511
637.15/643.78 c #Conflicts: 961000 | #Constraints: 52875
637.15/643.78 c INPROCESSING
637.15/643.78 c GARBAGE COLLECT
637.15/643.78 c rational objective 0
656.26/663.04 c #Conflicts: 962000 | #Constraints: 27738
656.26/663.04 c #Conflicts: 963000 | #Constraints: 29161
656.26/663.04 c #Conflicts: 964000 | #Constraints: 30594
656.26/663.04 c #Conflicts: 965000 | #Constraints: 31823
656.26/663.04 c #Conflicts: 966000 | #Constraints: 33186
656.26/663.04 c #Conflicts: 967000 | #Constraints: 34500
656.26/663.04 c #Conflicts: 968000 | #Constraints: 35874
656.26/663.04 c #Conflicts: 969000 | #Constraints: 37317
656.26/663.04 c #Conflicts: 970000 | #Constraints: 38784
656.26/663.04 c #Conflicts: 971000 | #Constraints: 40218
656.26/663.04 c #Conflicts: 972000 | #Constraints: 41723
656.26/663.04 c #Conflicts: 973000 | #Constraints: 43069
656.26/663.04 c #Conflicts: 974000 | #Constraints: 44428
656.26/663.04 c #Conflicts: 975000 | #Constraints: 45822
656.26/663.04 c #Conflicts: 976000 | #Constraints: 47309
656.26/663.04 c #Conflicts: 977000 | #Constraints: 48825
656.26/663.04 c #Conflicts: 978000 | #Constraints: 50256
656.26/663.04 c #Conflicts: 979000 | #Constraints: 51743
656.26/663.04 c #Conflicts: 980000 | #Constraints: 53249
656.26/663.04 c #Conflicts: 981000 | #Constraints: 54756
656.26/663.04 c INPROCESSING
656.26/663.04 c GARBAGE COLLECT
656.26/663.04 c rational objective 0
673.61/680.41 c #Conflicts: 982000 | #Constraints: 28590
673.61/680.41 c #Conflicts: 983000 | #Constraints: 29621
673.61/680.41 c #Conflicts: 984000 | #Constraints: 30662
673.61/680.41 c #Conflicts: 985000 | #Constraints: 31813
673.61/680.41 c #Conflicts: 986000 | #Constraints: 33032
673.61/680.41 c #Conflicts: 987000 | #Constraints: 34194
673.61/680.41 c #Conflicts: 988000 | #Constraints: 35324
673.61/680.41 c #Conflicts: 989000 | #Constraints: 36774
673.61/680.41 c #Conflicts: 990000 | #Constraints: 38071
673.61/680.41 c #Conflicts: 991000 | #Constraints: 39211
673.61/680.41 c #Conflicts: 992000 | #Constraints: 40474
673.61/680.41 c #Conflicts: 993000 | #Constraints: 41563
673.61/680.41 c #Conflicts: 994000 | #Constraints: 42629
673.61/680.41 c #Conflicts: 995000 | #Constraints: 43919
673.61/680.41 c #Conflicts: 996000 | #Constraints: 45306
673.61/680.41 c #Conflicts: 997000 | #Constraints: 46770
673.61/680.41 c #Conflicts: 998000 | #Constraints: 47871
673.61/680.41 c #Conflicts: 999000 | #Constraints: 48973
673.61/680.41 c #Conflicts: 1000000 | #Constraints: 50506
673.61/680.41 c #Conflicts: 1001000 | #Constraints: 51606
673.61/680.41 c INPROCESSING
673.61/680.41 c GARBAGE COLLECT
673.61/680.41 c rational objective 0
693.63/700.83 c #Conflicts: 1002000 | #Constraints: 27279
693.63/700.83 c #Conflicts: 1003000 | #Constraints: 28761
693.63/700.83 c #Conflicts: 1004000 | #Constraints: 30226
693.63/700.83 c #Conflicts: 1005000 | #Constraints: 31575
693.63/700.83 c #Conflicts: 1006000 | #Constraints: 32957
693.63/700.83 c #Conflicts: 1007000 | #Constraints: 34225
693.63/700.83 c #Conflicts: 1008000 | #Constraints: 35372
693.63/700.83 c #Conflicts: 1009000 | #Constraints: 36699
693.63/700.83 c #Conflicts: 1010000 | #Constraints: 38034
693.63/700.83 c #Conflicts: 1011000 | #Constraints: 39388
693.63/700.83 c #Conflicts: 1012000 | #Constraints: 40518
693.63/700.83 c #Conflicts: 1013000 | #Constraints: 41684
693.63/700.83 c #Conflicts: 1014000 | #Constraints: 42939
693.63/700.83 c #Conflicts: 1015000 | #Constraints: 44138
693.63/700.83 c #Conflicts: 1016000 | #Constraints: 45392
693.63/700.83 c #Conflicts: 1017000 | #Constraints: 46718
693.63/700.83 c #Conflicts: 1018000 | #Constraints: 47903
693.63/700.83 c #Conflicts: 1019000 | #Constraints: 48988
693.63/700.83 c #Conflicts: 1020000 | #Constraints: 50348
693.63/700.83 c #Conflicts: 1021000 | #Constraints: 51582
693.63/700.83 c INPROCESSING
693.63/700.83 c GARBAGE COLLECT
693.63/700.83 c rational objective 0
710.80/718.59 c #Conflicts: 1022000 | #Constraints: 26762
710.80/718.59 c #Conflicts: 1023000 | #Constraints: 27995
710.80/718.59 c #Conflicts: 1024000 | #Constraints: 29041
710.80/718.59 c #Conflicts: 1025000 | #Constraints: 30055
710.80/718.59 c #Conflicts: 1026000 | #Constraints: 31171
710.80/718.59 c #Conflicts: 1027000 | #Constraints: 32347
710.80/718.59 c #Conflicts: 1028000 | #Constraints: 33347
710.80/718.59 c #Conflicts: 1029000 | #Constraints: 34429
710.80/718.59 c #Conflicts: 1030000 | #Constraints: 35518
710.80/718.59 c #Conflicts: 1031000 | #Constraints: 36907
710.80/718.59 c #Conflicts: 1032000 | #Constraints: 38318
710.80/718.59 c #Conflicts: 1033000 | #Constraints: 39541
710.80/718.59 c #Conflicts: 1034000 | #Constraints: 40765
710.80/718.59 c #Conflicts: 1035000 | #Constraints: 41765
710.80/718.59 c #Conflicts: 1036000 | #Constraints: 42765
710.80/718.59 c #Conflicts: 1037000 | #Constraints: 43765
710.80/718.59 c #Conflicts: 1038000 | #Constraints: 44796
710.80/718.59 c #Conflicts: 1039000 | #Constraints: 45796
710.80/718.59 c #Conflicts: 1040000 | #Constraints: 46796
710.80/718.59 c #Conflicts: 1041000 | #Constraints: 47796
710.80/718.59 c INPROCESSING
710.80/718.59 c GARBAGE COLLECT
710.80/718.59 c rational objective 0
730.25/738.04 c #Conflicts: 1042000 | #Constraints: 24755
730.25/738.04 c #Conflicts: 1043000 | #Constraints: 25951
730.25/738.04 c #Conflicts: 1044000 | #Constraints: 26958
730.25/738.04 c #Conflicts: 1045000 | #Constraints: 28423
730.25/738.04 c #Conflicts: 1046000 | #Constraints: 29672
730.25/738.04 c #Conflicts: 1047000 | #Constraints: 30764
730.25/738.04 c #Conflicts: 1048000 | #Constraints: 31792
730.25/738.04 c #Conflicts: 1049000 | #Constraints: 33290
730.25/738.04 c #Conflicts: 1050000 | #Constraints: 34617
730.25/738.04 c #Conflicts: 1051000 | #Constraints: 35697
730.25/738.04 c #Conflicts: 1052000 | #Constraints: 36732
730.25/738.04 c #Conflicts: 1053000 | #Constraints: 38002
730.25/738.04 c #Conflicts: 1054000 | #Constraints: 39510
730.25/738.04 c #Conflicts: 1055000 | #Constraints: 40643
730.25/738.04 c #Conflicts: 1056000 | #Constraints: 42169
730.25/738.04 c #Conflicts: 1057000 | #Constraints: 43623
730.25/738.04 c #Conflicts: 1058000 | #Constraints: 45034
730.25/738.04 c #Conflicts: 1059000 | #Constraints: 46575
730.25/738.04 c #Conflicts: 1060000 | #Constraints: 47754
730.25/738.04 c #Conflicts: 1061000 | #Constraints: 49197
730.25/738.04 c #Conflicts: 1062000 | #Constraints: 50431
730.25/738.04 c INPROCESSING
730.25/738.04 c GARBAGE COLLECT
730.25/738.04 c rational objective 0
752.01/761.08 c #Conflicts: 1063000 | #Constraints: 26273
752.01/761.08 c #Conflicts: 1064000 | #Constraints: 27754
752.01/761.08 c #Conflicts: 1065000 | #Constraints: 29213
752.01/761.08 c #Conflicts: 1066000 | #Constraints: 30703
752.01/761.08 c #Conflicts: 1067000 | #Constraints: 32071
752.01/761.08 c #Conflicts: 1068000 | #Constraints: 33388
752.01/761.08 c #Conflicts: 1069000 | #Constraints: 34769
752.01/761.08 c #Conflicts: 1070000 | #Constraints: 36181
752.01/761.08 c #Conflicts: 1071000 | #Constraints: 37665
752.01/761.08 c #Conflicts: 1072000 | #Constraints: 39154
752.01/761.08 c #Conflicts: 1073000 | #Constraints: 40677
752.01/761.08 c #Conflicts: 1074000 | #Constraints: 42170
752.01/761.08 c #Conflicts: 1075000 | #Constraints: 43655
752.01/761.08 c #Conflicts: 1076000 | #Constraints: 45098
752.01/761.08 c #Conflicts: 1077000 | #Constraints: 46493
752.01/761.08 c #Conflicts: 1078000 | #Constraints: 47856
752.01/761.08 c #Conflicts: 1079000 | #Constraints: 49343
752.01/761.08 c #Conflicts: 1080000 | #Constraints: 50789
752.01/761.08 c #Conflicts: 1081000 | #Constraints: 52105
752.01/761.08 c #Conflicts: 1082000 | #Constraints: 53245
752.01/761.08 c #Conflicts: 1083000 | #Constraints: 54718
752.01/761.08 c INPROCESSING
752.01/761.08 c GARBAGE COLLECT
752.01/761.08 c rational objective 0
776.04/789.66 c #Conflicts: 1084000 | #Constraints: 28901
776.04/789.66 c #Conflicts: 1085000 | #Constraints: 30418
776.04/789.66 c #Conflicts: 1086000 | #Constraints: 31943
776.04/789.66 c #Conflicts: 1087000 | #Constraints: 33094
776.04/789.66 c #Conflicts: 1088000 | #Constraints: 34591
776.04/789.66 c #Conflicts: 1089000 | #Constraints: 36124
776.04/789.66 c #Conflicts: 1090000 | #Constraints: 37653
776.04/789.66 c #Conflicts: 1091000 | #Constraints: 39189
776.04/789.66 c #Conflicts: 1092000 | #Constraints: 40541
776.04/789.66 c #Conflicts: 1093000 | #Constraints: 41963
776.04/789.66 c #Conflicts: 1094000 | #Constraints: 43517
776.04/789.66 c #Conflicts: 1095000 | #Constraints: 45018
776.04/789.66 c #Conflicts: 1096000 | #Constraints: 46556
776.04/789.66 c #Conflicts: 1097000 | #Constraints: 48094
776.04/789.66 c #Conflicts: 1098000 | #Constraints: 49629
776.04/789.66 c #Conflicts: 1099000 | #Constraints: 51144
776.04/789.66 c #Conflicts: 1100000 | #Constraints: 52300
776.04/789.66 c #Conflicts: 1101000 | #Constraints: 53831
776.04/789.66 c #Conflicts: 1102000 | #Constraints: 55176
776.04/789.66 c #Conflicts: 1103000 | #Constraints: 56713
776.04/789.66 c #Conflicts: 1104000 | #Constraints: 57906
776.04/789.66 c INPROCESSING
776.04/789.66 c GARBAGE COLLECT
776.04/789.66 c rational objective 0
798.85/812.93 c #Conflicts: 1105000 | #Constraints: 30413
798.85/812.93 c #Conflicts: 1106000 | #Constraints: 31895
798.85/812.93 c #Conflicts: 1107000 | #Constraints: 33401
798.85/812.93 c #Conflicts: 1108000 | #Constraints: 34901
798.85/812.93 c #Conflicts: 1109000 | #Constraints: 36308
798.85/812.93 c #Conflicts: 1110000 | #Constraints: 37626
798.85/812.93 c #Conflicts: 1111000 | #Constraints: 38848
798.85/812.93 c #Conflicts: 1112000 | #Constraints: 40244
798.85/812.93 c #Conflicts: 1113000 | #Constraints: 41544
798.85/812.93 c #Conflicts: 1114000 | #Constraints: 43039
798.85/812.93 c #Conflicts: 1115000 | #Constraints: 44500
798.85/812.93 c #Conflicts: 1116000 | #Constraints: 46002
798.85/812.93 c #Conflicts: 1117000 | #Constraints: 47494
798.85/812.93 c #Conflicts: 1118000 | #Constraints: 48900
798.85/812.93 c #Conflicts: 1119000 | #Constraints: 50132
798.85/812.93 c #Conflicts: 1120000 | #Constraints: 51636
798.85/812.93 c #Conflicts: 1121000 | #Constraints: 53139
798.85/812.93 c #Conflicts: 1122000 | #Constraints: 54635
798.85/812.93 c #Conflicts: 1123000 | #Constraints: 55897
798.85/812.93 c #Conflicts: 1124000 | #Constraints: 57324
798.85/812.93 c #Conflicts: 1125000 | #Constraints: 58827
798.85/812.93 c INPROCESSING
798.85/812.93 c GARBAGE COLLECT
798.85/812.93 c rational objective 0
824.64/839.70 c #Conflicts: 1126000 | #Constraints: 30810
824.64/839.70 c #Conflicts: 1127000 | #Constraints: 32334
824.64/839.70 c #Conflicts: 1128000 | #Constraints: 33856
824.64/839.70 c #Conflicts: 1129000 | #Constraints: 35391
824.64/839.70 c #Conflicts: 1130000 | #Constraints: 36488
824.64/839.70 c #Conflicts: 1131000 | #Constraints: 37932
824.64/839.70 c #Conflicts: 1132000 | #Constraints: 39466
824.64/839.70 c #Conflicts: 1133000 | #Constraints: 40986
824.64/839.70 c #Conflicts: 1134000 | #Constraints: 42528
824.64/839.70 c #Conflicts: 1135000 | #Constraints: 44072
824.64/839.70 c #Conflicts: 1136000 | #Constraints: 45601
824.64/839.70 c #Conflicts: 1137000 | #Constraints: 47122
824.64/839.70 c #Conflicts: 1138000 | #Constraints: 48652
824.64/839.70 c #Conflicts: 1139000 | #Constraints: 50164
824.64/839.70 c #Conflicts: 1140000 | #Constraints: 51169
824.64/839.70 c #Conflicts: 1141000 | #Constraints: 52462
824.64/839.70 c #Conflicts: 1142000 | #Constraints: 53986
824.64/839.70 c #Conflicts: 1143000 | #Constraints: 55531
824.64/839.70 c #Conflicts: 1144000 | #Constraints: 57060
824.64/839.70 c #Conflicts: 1145000 | #Constraints: 58610
824.64/839.70 c #Conflicts: 1146000 | #Constraints: 60145
824.64/839.70 c INPROCESSING
824.64/839.70 c GARBAGE COLLECT
824.64/839.70 c rational objective 0
849.04/864.23 c #Conflicts: 1147000 | #Constraints: 31136
849.04/864.23 c #Conflicts: 1148000 | #Constraints: 32609
849.04/864.23 c #Conflicts: 1149000 | #Constraints: 34099
849.04/864.23 c #Conflicts: 1150000 | #Constraints: 35602
849.04/864.23 c #Conflicts: 1151000 | #Constraints: 37098
849.04/864.23 c #Conflicts: 1152000 | #Constraints: 38585
849.04/864.23 c #Conflicts: 1153000 | #Constraints: 40057
849.04/864.23 c #Conflicts: 1154000 | #Constraints: 41523
849.04/864.23 c #Conflicts: 1155000 | #Constraints: 42795
849.04/864.23 c #Conflicts: 1156000 | #Constraints: 44283
849.04/864.23 c #Conflicts: 1157000 | #Constraints: 45778
849.04/864.23 c #Conflicts: 1158000 | #Constraints: 47268
849.04/864.23 c #Conflicts: 1159000 | #Constraints: 48690
849.04/864.23 c #Conflicts: 1160000 | #Constraints: 50109
849.04/864.23 c #Conflicts: 1161000 | #Constraints: 51423
849.04/864.23 c #Conflicts: 1162000 | #Constraints: 52907
849.04/864.23 c #Conflicts: 1163000 | #Constraints: 54397
849.04/864.23 c #Conflicts: 1164000 | #Constraints: 55894
849.04/864.23 c #Conflicts: 1165000 | #Constraints: 57383
849.04/864.23 c #Conflicts: 1166000 | #Constraints: 58876
849.04/864.23 c #Conflicts: 1167000 | #Constraints: 60365
849.04/864.23 c #Conflicts: 1168000 | #Constraints: 61648
849.04/864.23 c INPROCESSING
849.04/864.23 c GARBAGE COLLECT
849.04/864.23 c rational objective 0
853.63/868.82 c #Conflicts: 1169000 | #Constraints: 32060
853.63/868.82 c #Conflicts: 1170000 | #Constraints: 33282
853.63/868.82 c #Conflicts: 1171000 | #Constraints: 34606
853.63/868.82 c #Conflicts: 1172000 | #Constraints: 36104
853.63/868.82 c #Conflicts: 1173000 | #Constraints: 37443
853.63/868.82 c Inconsistent objective-improving constraint
853.63/868.82 c bounds 0 >= 0 @ 837.939
853.63/868.82 c cpu time 837.939 s
853.63/868.82 c deterministic time 65870411746 6.59e+10
853.63/868.82 c optimization time 0.001577 s
853.63/868.82 c total solve time 837.937 s
853.63/868.82 c core-guided solve time 428.458 s
853.63/868.82 c propagation time 597.382 s
853.63/868.82 c conflict analysis time 219.585 s
853.63/868.82 c propagations 18436792
853.63/868.82 c resolve steps 7370192
853.63/868.82 c decisions 1323103
853.63/868.82 c conflicts 1173867
853.63/868.82 c restarts 2180
853.63/868.82 c inprocessing phases 99
853.63/868.82 c garbage collections 99 ,( 100.00 )
853.63/868.82 c input clauses 0 ,( 0.00 )
853.63/868.82 c input cardinalities 0 ,( 0.00 )
853.63/868.82 c input general constraints 21 ,( 100.00 )
853.63/868.82 c input average constraint length 57.33
853.63/868.82 c input average constraint degree 1203.14
853.63/868.82 c learned clauses 673507 ,( 43.96 )
853.63/868.82 c learned cardinalities 1 ,( 0.00 )
853.63/868.82 c learned general constraints 858586 ,( 56.04 )
853.63/868.82 c learned average constraint length 32.74
853.63/868.82 c learned average constraint degree 1308123671.09
853.63/868.82 c watched CF 32, 64, 128, Arb: 151560 , 0 , 0 , 0
853.63/868.82 c counting CF 32, 64, 128, Arb: 707048 , 0 , 0 , 0
853.63/868.82 c watched constraints 151560 ,( 17.65 )
853.63/868.82 c counting constraints 707047 ,( 82.35 )
853.63/868.82 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 132869081 , 13075 , 5728896534 ,( 49459955 , 5679436579 )
853.63/868.82 c gcd simplifications 641792
853.63/868.82 c detected cardinalities 1
853.63/868.82 c weakened non-implied lits 20826682
853.63/868.82 c weakened non-implying lits 985543
853.63/868.82 c original variables 120
853.63/868.82 c clausal propagations 159765
853.63/868.82 c cardinality propagations 3
853.63/868.82 c watched propagations 16241
853.63/868.82 c counting propagations 17078277
853.63/868.82 c watch lookups 38487468647
853.63/868.82 c watch backjump lookups 0
853.63/868.82 c watch checks 546594149
853.63/868.82 c propagation checks 26326041214
853.63/868.82 c constraint additions 468710685
853.63/868.82 c trail pops 20933488
853.63/868.82 c formula constraints 10
853.63/868.82 c learned constraints 1173663
853.63/868.82 c bound constraints 11
853.63/868.82 c core-guided constraints 0
853.63/868.82 c encountered formula constraints 406787
853.63/868.82 c encountered learned constraints 1413278
853.63/868.82 c encountered bound constraints 633
853.63/868.82 c encountered core-guided constraints 0
853.63/868.82 c LP total time 49.9595 s
853.63/868.82 c LP solve time 20.14 s
853.63/868.82 c LP constraints added 163
853.63/868.82 c LP constraints removed 152
853.63/868.82 c LP pivots internal 903158
853.63/868.82 c LP pivots root 509
853.63/868.82 c LP calls 505348
853.63/868.82 c LP optimalities 147252
853.63/868.82 c LP no pivot count 16671
853.63/868.82 c LP infeasibilities 358095
853.63/868.82 c LP valid Farkas constraints 358095
853.63/868.82 c LP learned Farkas constraints 204
853.63/868.82 c LP basis resets 1
853.63/868.82 c LP cycling count 0
853.63/868.82 c LP singular count 1
853.63/868.82 c LP no primal count 0
853.63/868.82 c LP no farkas count 0
853.63/868.82 c LP other issue count 0
853.63/868.82 c LP Gomory cuts 132
853.63/868.82 c LP learned cuts 21
853.63/868.82 c LP deleted cuts 152
853.63/868.82 c LP encountered Gomory constraints 1667
853.63/868.82 c LP encountered Farkas constraints 6700454
853.63/868.82 c LP encountered learned Farkas constraints 21036
853.63/868.82 c CG auxiliary variables introduced 0
853.63/868.82 c CG solutions found 12
853.63/868.82 c CG cores constructed 0
853.63/868.82 c CG core cardinality constraints returned 0
853.63/868.82 c CG unit cores 0
853.63/868.82 c CG single cores 0
853.63/868.82 c CG blocks removed during cardinality reduction 0
853.63/868.82 c CG first core best 0
853.63/868.82 c CG decision core best 0
853.63/868.82 c CG core reduction tie 0
853.63/868.82 c CG core degree average 0.00
853.63/868.82 c CG core slack average 0.00
853.63/868.82 c CG core upper bound improvements 0
853.63/868.82 c STR number of successful calls 0
853.63/868.82 c STR number of unsuccessful calls 0
853.63/868.82 c STR number of inconclusive calls 0
853.63/868.82 c STR number of successful attempts 0
853.63/868.82 c STR number of unsuccessful attempts 0
853.63/868.82 c STR number of inconclusive attempts 0
853.63/868.82 c STR average degree increase per successful call inf
853.63/868.82 c STR average degree increase per successful attempt inf
853.63/868.82 c STR total number of conflicts for successful attempts 0
853.63/868.82 c STR total number of conflicts for unsuccessful attempts 0
853.63/868.82 c STR total number of conflicts for inconclusive attempts 0
853.63/868.82 c STR average number of conflicts per successful attempt inf
853.63/868.82 c STR average number of conflicts per unsuccessful attempt inf
853.63/868.82 c STR average number of conflicts per inconclusive attempt inf
853.63/868.82 c AVG.sumWPerc 63.59
853.63/868.82 c bigint constraints 0
853.63/868.82 o 0
853.63/868.82 s OPTIMUM FOUND
853.63/868.89 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 x88 -x89 x90 x91 x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 x101 -x102 x103 x104 -x105 x106 x107 -x108 x109 -x110 x111 x112 -x113 x114 -x115 x116 x117 x118 x119 x120
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (60001 MiB free)
memory of node 1: 64507 MiB (62651 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490385-1751371747/watcher-4490385-1751371747 -o /tmp/evaluation-result-4490385-1751371747/solver-4490385-1751371747 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751371625-51010 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4490385-1751371747.opb PROOFDIR/proof-4490385-1751371747
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=51487, runsolver pid=51484
[startup+0.100058 s]*
/proc/loadavg: 3.84 2.33 2.69 5/268 51490
/proc/meminfo: memFree=125596736/131249988 swapFree=33010160/33010684
[pid=51487] ppid=51484 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51487/stat : 51487 (run-opt-break-l) S 51484 51487 50997 0 -1 4194304 239 247 0 0 0 0 0 0 20 0 1 0 52853601 4292608 768 18446744073709551615 94084080205824 94084081100357 140730936020272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94084081339408 94084081387152 94084093988864 140730936027413 140730936027614 140730936027614 140730936033216 0
/proc/51487/statm: 1048 768 704 219 0 110 0
[pid=51490] ppid=51487 vsize=55944 memory=12836 CPUtime=0.07 cores=5,7
/proc/51490/stat : 51490 (roundingsat) R 51487 51487 50997 0 -1 4194304 572 0 0 0 6 1 0 0 20 0 1 0 52853603 57286656 3209 18446744073709551615 4227072 8923433 140731816199408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43339776 140731816204564 140731816204840 140731816204840 140731816210410 0
/proc/51490/statm: 13986 3209 2368 1147 0 1413 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 60136 KiB
Current children cumulated memory: 15908 KiB
[startup+0.205486 s]*
/proc/loadavg: 3.84 2.33 2.69 5/268 51490
/proc/meminfo: memFree=125580864/131249988 swapFree=33010160/33010684
[pid=51487] ppid=51484 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51487/stat : 51487 (run-opt-break-l) S 51484 51487 50997 0 -1 4194304 239 247 0 0 0 0 0 0 20 0 1 0 52853601 4292608 768 18446744073709551615 94084080205824 94084081100357 140730936020272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94084081339408 94084081387152 94084093988864 140730936027413 140730936027614 140730936027614 140730936033216 0
/proc/51487/statm: 1048 768 704 219 0 110 0
[pid=51490] ppid=51487 vsize=56208 memory=13092 CPUtime=0.18 cores=5,7
/proc/51490/stat : 51490 (roundingsat) R 51487 51487 50997 0 -1 4194304 630 0 0 0 16 2 0 0 20 0 1 0 52853603 57556992 3273 18446744073709551615 4227072 8923433 140731816199408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43339776 140731816204564 140731816204840 140731816204840 140731816210410 0
/proc/51490/statm: 14052 3273 2368 1147 0 1479 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 60400 KiB
Current children cumulated memory: 16164 KiB
[startup+0.305067 s]*
/proc/loadavg: 3.84 2.33 2.69 5/268 51490
/proc/meminfo: memFree=125576836/131249988 swapFree=33010160/33010684
[pid=51487] ppid=51484 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51487/stat : 51487 (run-opt-break-l) S 51484 51487 50997 0 -1 4194304 239 247 0 0 0 0 0 0 20 0 1 0 52853601 4292608 768 18446744073709551615 94084080205824 94084081100357 140730936020272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94084081339408 94084081387152 94084093988864 140730936027413 140730936027614 140730936027614 140730936033216 0
/proc/51487/statm: 1048 768 704 219 0 110 0
[pid=51490] ppid=51487 vsize=56344 memory=13348 CPUtime=0.27 cores=5,7
/proc/51490/stat : 51490 (roundingsat) R 51487 51487 50997 0 -1 4194304 687 0 0 0 25 2 0 0 20 0 1 0 52853603 57696256 3337 18446744073709551615 4227072 8923433 140731816199408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43339776 140731816204564 140731816204840 140731816204840 140731816210410 0
/proc/51490/statm: 14086 3337 2368 1147 0 1513 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 60536 KiB
Current children cumulated memory: 16420 KiB
[startup+0.700136 s]
/proc/loadavg: 3.84 2.33 2.69 7/268 51490
/proc/meminfo: memFree=125548612/131249988 swapFree=33010160/33010684
[pid=51487] ppid=51484 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51487/stat : 51487 (run-opt-break-l) S 51484 51487 50997 0 -1 4194304 239 247 0 0 0 0 0 0 20 0 1 0 52853601 4292608 768 18446744073709551615 94084080205824 94084081100357 140730936020272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94084081339408 94084081387152 94084093988864 140730936027413 140730936027614 140730936027614 140730936033216 0
/proc/51487/statm: 1048 768 704 219 0 110 0
[pid=51490] ppid=51487 vsize=56904 memory=13860 CPUtime=0.66 cores=5,7
/proc/51490/stat : 51490 (roundingsat) R 51487 51487 50997 0 -1 4194304 821 0 0 0 62 4 0 0 20 0 1 0 52853603 58269696 3465 18446744073709551615 4227072 8923433 140731816199408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43339776 140731816204564 140731816204840 140731816204840 140731816210410 0
/proc/51490/statm: 14226 3465 2368 1147 0 1653 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 61096 KiB
Current children cumulated memory: 16932 KiB
[startup+1.50014 s]
/proc/loadavg: 3.84 2.33 2.69 5/268 51490
/proc/meminfo: memFree=125526020/131249988 swapFree=33010160/33010684
[pid=51487] ppid=51484 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51487/stat : 51487 (run-opt-break-l) S 51484 51487 50997 0 -1 4194304 239 247 0 0 0 0 0 0 20 0 1 0 52853601 4292608 768 18446744073709551615 94084080205824 94084081100357 140730936020272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94084081339408 94084081387152 94084093988864 140730936027413 140730936027614 140730936027614 140730936033216 0
/proc/51487/statm: 1048 768 704 219 0 110 0
[pid=51490] ppid=51487 vsize=57652 memory=14500 CPUtime=1.46 cores=5,7
/proc/51490/stat : 51490 (roundingsat) R 51487 51487 50997 0 -1 4194304 962 0 0 0 137 9 0 0 20 0 1 0 52853603 59035648 3625 18446744073709551615 4227072 8923433 140731816199408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43339776 140731816204564 140731816204840 140731816204840 140731816210410 0
/proc/51490/statm: 14413 3625 2368 1147 0 1840 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 61844 KiB
Current children cumulated memory: 17572 KiB
[startup+3.10538 s]
/proc/loadavg: 3.84 2.33 2.69 5/268 51490
/proc/meminfo: memFree=125389976/131249988 swapFree=33010160/33010684
[pid=51487] ppid=51484 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51487/stat : 51487 (run-opt-break-l) S 51484 51487 50997 0 -1 4194304 239 247 0 0 0 0 0 0 20 0 1 0 52853601 4292608 768 18446744073709551615 94084080205824 94084081100357 140730936020272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94084081339408 94084081387152 94084093988864 140730936027413 140730936027614 140730936027614 140730936033216 0
/proc/51487/statm: 1048 768 704 219 0 110 0
[pid=51490] ppid=51487 vsize=58444 memory=15140 CPUtime=3.06 cores=5,7
/proc/51490/stat : 51490 (roundingsat) R 51487 51487 50997 0 -1 4194304 1153 0 0 0 291 15 0 0 20 0 1 0 52853603 59846656 3785 18446744073709551615 4227072 8923433 140731816199408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43339776 140731816204564 140731816204840 140731816204840 140731816210410 0
/proc/51490/statm: 14611 3785 2368 1147 0 2038 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 62636 KiB
Current children cumulated memory: 18212 KiB
[startup+6.30012 s]
/proc/loadavg: 3.85 2.36 2.69 5/268 51490
/proc/meminfo: memFree=125170644/131249988 swapFree=33010160/33010684
[pid=51487] ppid=51484 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51487/stat : 51487 (run-opt-break-l) S 51484 51487 50997 0 -1 4194304 239 247 0 0 0 0 0 0 20 0 1 0 52853601 4292608 768 18446744073709551615 94084080205824 94084081100357 140730936020272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94084081339408 94084081387152 94084093988864 140730936027413 140730936027614 140730936027614 140730936033216 0
/proc/51487/statm: 1048 768 704 219 0 110 0
[pid=51490] ppid=51487 vsize=59244 memory=16036 CPUtime=6.24 cores=5,7
/proc/51490/stat : 51490 (roundingsat) R 51487 51487 50997 0 -1 4194304 1348 0 0 0 596 28 0 0 20 0 1 0 52853603 60665856 4009 18446744073709551615 4227072 8923433 140731816199408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43339776 140731816204564 140731816204840 140731816204840 140731816210410 0
/proc/51490/statm: 14811 4009 2368 1147 0 2238 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 63436 KiB
Current children cumulated memory: 19108 KiB
[startup+12.7001 s]
/proc/loadavg: 3.86 2.39 2.70 5/273 51511
/proc/meminfo: memFree=125244836/131249988 swapFree=33010160/33010684
[pid=51487] ppid=51484 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51487/stat : 51487 (run-opt-break-l) S 51484 51487 50997 0 -1 4194304 239 247 0 0 0 0 0 0 20 0 1 0 52853601 4292608 768 18446744073709551615 94084080205824 94084081100357 140730936020272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94084081339408 94084081387152 94084093988864 140730936027413 140730936027614 140730936027614 140730936033216 0
/proc/51487/statm: 1048 768 704 219 0 110 0
[pid=51490] ppid=51487 vsize=60272 memory=16804 CPUtime=12.62 cores=5,7
/proc/51490/stat : 51490 (roundingsat) R 51487 51487 50997 0 -1 4194304 1554 0 0 0 1207 55 0 0 20 0 1 0 52853603 61718528 4201 18446744073709551615 4227072 8923433 140731816199408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43339776 140731816204564 140731816204840 140731816204840 140731816210410 0
/proc/51490/statm: 15068 4201 2368 1147 0 2495 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 64464 KiB
Current children cumulated memory: 19876 KiB
[startup+25.5001 s]
/proc/loadavg: 3.89 2.47 2.72 5/273 51511
/proc/meminfo: memFree=124448100/131249988 swapFree=33010160/33010684
[pid=51487] ppid=51484 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51487/stat : 51487 (run-opt-break-l) S 51484 51487 50997 0 -1 4194304 239 247 0 0 0 0 0 0 20 0 1 0 52853601 4292608 768 18446744073709551615 94084080205824 94084081100357 140730936020272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94084081339408 94084081387152 94084093988864 140730936027413 140730936027614 140730936027614 140730936033216 0
/proc/51487/statm: 1048 768 704 219 0 110 0
[pid=51490] ppid=51487 vsize=62168 memory=20784 CPUtime=25.38 cores=5,7
/proc/51490/stat : 51490 (roundingsat) R 51487 51487 50997 0 -1 4194304 2111 0 0 0 2438 100 0 0 20 0 1 0 52853603 63660032 5196 18446744073709551615 4227072 8923433 140731816199408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43339776 140731816204564 140731816204840 140731816204840 140731816210410 0
/proc/51490/statm: 15542 5196 2368 1147 0 2969 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 66360 KiB
Current children cumulated memory: 23856 KiB
[startup+51.1055 s]
/proc/loadavg: 4.00 2.61 2.76 5/272 51511
/proc/meminfo: memFree=122947680/131249988 swapFree=33010160/33010684
[pid=51487] ppid=51484 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51487/stat : 51487 (run-opt-break-l) S 51484 51487 50997 0 -1 4194304 239 247 0 0 0 0 0 0 20 0 1 0 52853601 4292608 768 18446744073709551615 94084080205824 94084081100357 140730936020272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94084081339408 94084081387152 94084093988864 140730936027413 140730936027614 140730936027614 140730936033216 0
/proc/51487/statm: 1048 768 704 219 0 110 0
[pid=51490] ppid=51487 vsize=64184 memory=22576 CPUtime=50.9 cores=5,7
/proc/51490/stat : 51490 (roundingsat) R 51487 51487 50997 0 -1 4194304 2694 0 0 0 4903 187 0 0 20 0 1 0 52853603 65724416 5644 18446744073709551615 4227072 8923433 140731816199408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43339776 140731816204564 140731816204840 140731816204840 140731816210410 0
/proc/51490/statm: 16046 5644 2368 1147 0 3473 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 68376 KiB
Current children cumulated memory: 25648 KiB
[startup+102.3 s]
/proc/loadavg: 4.00 2.82 2.83 5/273 51516
/proc/meminfo: memFree=120229324/131249988 swapFree=33010160/33010684
[pid=51487] ppid=51484 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51487/stat : 51487 (run-opt-break-l) S 51484 51487 50997 0 -1 4194304 239 247 0 0 0 0 0 0 20 0 1 0 52853601 4292608 768 18446744073709551615 94084080205824 94084081100357 140730936020272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94084081339408 94084081387152 94084093988864 140730936027413 140730936027614 140730936027614 140730936033216 0
/proc/51487/statm: 1048 768 704 219 0 110 0
[pid=51490] ppid=51487 vsize=84832 memory=36532 CPUtime=101.93 cores=5,7
/proc/51490/stat : 51490 (roundingsat) R 51487 51487 50997 0 -1 4194304 6798 0 0 0 9875 318 0 0 20 0 1 0 52853603 86867968 9133 18446744073709551615 4227072 8923433 140731816199408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43339776 140731816204564 140731816204840 140731816204840 140731816210410 0
/proc/51490/statm: 21208 9133 2368 1147 0 8635 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 89024 KiB
Current children cumulated memory: 39604 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 3.07 2.92 5/273 51518
/proc/meminfo: memFree=117398024/131249988 swapFree=33010160/33010684
[pid=51487] ppid=51484 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51487/stat : 51487 (run-opt-break-l) S 51484 51487 50997 0 -1 4194304 239 247 0 0 0 0 0 0 20 0 1 0 52853601 4292608 768 18446744073709551615 94084080205824 94084081100357 140730936020272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94084081339408 94084081387152 94084093988864 140730936027413 140730936027614 140730936027614 140730936033216 0
/proc/51487/statm: 1048 768 704 219 0 110 0
[pid=51490] ppid=51487 vsize=88956 memory=42424 CPUtime=161.72 cores=5,7
/proc/51490/stat : 51490 (roundingsat) R 51487 51487 50997 0 -1 4194304 7990 0 0 0 15727 445 0 0 20 0 1 0 52853603 91090944 10606 18446744073709551615 4227072 8923433 140731816199408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43339776 140731816204564 140731816204840 140731816204840 140731816210410 0
/proc/51490/statm: 22239 10606 2368 1147 0 9666 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 93148 KiB
Current children cumulated memory: 45496 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 3.27 3.00 7/272 51520
/proc/meminfo: memFree=114649320/131249988 swapFree=33010160/33010684
[pid=51487] ppid=51484 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51487/stat : 51487 (run-opt-break-l) S 51484 51487 50997 0 -1 4194304 239 247 0 0 0 0 0 0 20 0 1 0 52853601 4292608 768 18446744073709551615 94084080205824 94084081100357 140730936020272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94084081339408 94084081387152 94084093988864 140730936027413 140730936027614 140730936027614 140730936033216 0
/proc/51487/statm: 1048 768 704 219 0 110 0
[pid=51490] ppid=51487 vsize=92844 memory=46332 CPUtime=221.51 cores=5,7
/proc/51490/stat : 51490 (roundingsat) R 51487 51487 50997 0 -1 4194304 9450 0 0 0 21605 546 0 0 20 0 1 0 52853603 95072256 11583 18446744073709551615 4227072 8923433 140731816199408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43339776 140731816204564 140731816204840 140731816204840 140731816210410 0
/proc/51490/statm: 23211 11583 2368 1147 0 10638 0
################
# More data... #
################
/proc/51490/stat : 51490 (roundingsat) R 51487 51487 50997 0 -1 4194304 15333 0 0 0 56445 1173 0 0 20 0 1 0 52853603 117710848 15169 18446744073709551615 4227072 8923433 140731816199408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43339776 140731816204564 140731816204840 140731816204840 140731816210410 0
/proc/51490/statm: 28738 15169 2464 1147 0 16165 0
Current children cumulated CPU time: 576.18 s
Current children cumulated vsize: 119144 KiB
Current children cumulated memory: 63748 KiB
[startup+642.3 s]
/proc/loadavg: 4.22 3.98 3.45 5/273 51541
/proc/meminfo: memFree=100344456/131249988 swapFree=33010160/33010684
[pid=51487] ppid=51484 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51487/stat : 51487 (run-opt-break-l) S 51484 51487 50997 0 -1 4194304 239 247 0 0 0 0 0 0 20 0 1 0 52853601 4292608 768 18446744073709551615 94084080205824 94084081100357 140730936020272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94084081339408 94084081387152 94084093988864 140730936027413 140730936027614 140730936027614 140730936033216 0
/proc/51487/statm: 1048 768 704 219 0 110 0
[pid=51490] ppid=51487 vsize=115468 memory=61700 CPUtime=635.76 cores=5,7
/proc/51490/stat : 51490 (roundingsat) R 51487 51487 50997 0 -1 4194304 15572 0 0 0 62329 1247 0 0 20 0 1 0 52853603 118239232 15425 18446744073709551615 4227072 8923433 140731816199408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43339776 140731816204564 140731816204840 140731816204840 140731816210410 0
/proc/51490/statm: 28867 15425 2464 1147 0 16294 0
Current children cumulated CPU time: 635.76 s
Current children cumulated vsize: 119660 KiB
Current children cumulated memory: 64772 KiB
[startup+702.3 s]
/proc/loadavg: 4.14 4.00 3.49 5/273 51546
/proc/meminfo: memFree=97764912/131249988 swapFree=33010160/33010684
[pid=51487] ppid=51484 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51487/stat : 51487 (run-opt-break-l) S 51484 51487 50997 0 -1 4194304 239 247 0 0 0 0 0 0 20 0 1 0 52853601 4292608 768 18446744073709551615 94084080205824 94084081100357 140730936020272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94084081339408 94084081387152 94084093988864 140730936027413 140730936027614 140730936027614 140730936033216 0
/proc/51487/statm: 1048 768 704 219 0 110 0
[pid=51490] ppid=51487 vsize=117148 memory=62604 CPUtime=695.14 cores=5,7
/proc/51490/stat : 51490 (roundingsat) R 51487 51487 50997 0 -1 4194304 16234 0 0 0 68170 1344 0 0 20 0 1 0 52853603 119959552 15651 18446744073709551615 4227072 8923433 140731816199408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43339776 140731816204564 140731816204840 140731816204840 140731816210410 0
/proc/51490/statm: 29287 15651 2464 1147 0 16714 0
Current children cumulated CPU time: 695.14 s
Current children cumulated vsize: 121340 KiB
Current children cumulated memory: 65676 KiB
[startup+762.3 s]
/proc/loadavg: 4.32 4.06 3.54 5/273 51549
/proc/meminfo: memFree=95359528/131249988 swapFree=33010160/33010684
[pid=51487] ppid=51484 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51487/stat : 51487 (run-opt-break-l) S 51484 51487 50997 0 -1 4194304 239 247 0 0 0 0 0 0 20 0 1 0 52853601 4292608 768 18446744073709551615 94084080205824 94084081100357 140730936020272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94084081339408 94084081387152 94084093988864 140730936027413 140730936027614 140730936027614 140730936033216 0
/proc/51487/statm: 1048 768 704 219 0 110 0
[pid=51490] ppid=51487 vsize=117148 memory=62860 CPUtime=753.3 cores=5,7
/proc/51490/stat : 51490 (roundingsat) R 51487 51487 50997 0 -1 4194304 16309 0 0 0 73890 1440 0 0 20 0 1 0 52853603 119959552 15715 18446744073709551615 4227072 8923433 140731816199408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43339776 140731816204564 140731816204840 140731816204840 140731816210410 0
/proc/51490/statm: 29287 15715 2464 1147 0 16714 0
Current children cumulated CPU time: 753.3 s
Current children cumulated vsize: 121340 KiB
Current children cumulated memory: 65932 KiB
[startup+822.3 s]
/proc/loadavg: 4.32 4.12 3.60 5/273 51551
/proc/meminfo: memFree=93489932/131249988 swapFree=33010160/33010684
[pid=51487] ppid=51484 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51487/stat : 51487 (run-opt-break-l) S 51484 51487 50997 0 -1 4194304 239 247 0 0 0 0 0 0 20 0 1 0 52853601 4292608 768 18446744073709551615 94084080205824 94084081100357 140730936020272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94084081339408 94084081387152 94084093988864 140730936027413 140730936027614 140730936027614 140730936033216 0
/proc/51487/statm: 1048 768 704 219 0 110 0
[pid=51490] ppid=51487 vsize=117664 memory=63712 CPUtime=808.23 cores=5,7
/proc/51490/stat : 51490 (roundingsat) R 51487 51487 50997 0 -1 4194304 16728 0 0 0 79307 1516 0 0 20 0 1 0 52853603 120487936 15928 18446744073709551615 4227072 8923433 140731816199408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43339776 140731816204564 140731816204840 140731816204840 140731816210410 0
/proc/51490/statm: 29416 15928 2464 1147 0 16843 0
Current children cumulated CPU time: 808.23 s
Current children cumulated vsize: 121856 KiB
Current children cumulated memory: 66784 KiB
[startup+868.896 s]
# the end of solver process 51487 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=837.946 s, system=15.7386 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+844.8 s]
/proc/loadavg: 4.23 4.11 3.61 5/272 51551
/proc/meminfo: memFree=92592536/131249988 swapFree=33010160/33010684
[pid=51487] ppid=51484 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51487/stat : 51487 (run-opt-break-l) S 51484 51487 50997 0 -1 4194304 239 247 0 0 0 0 0 0 20 0 1 0 52853601 4292608 768 18446744073709551615 94084080205824 94084081100357 140730936020272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94084081339408 94084081387152 94084093988864 140730936027413 140730936027614 140730936027614 140730936033216 0
/proc/51487/statm: 1048 768 704 219 0 110 0
[pid=51490] ppid=51487 vsize=117920 memory=64108 CPUtime=829.73 cores=5,7
/proc/51490/stat : 51490 (roundingsat) R 51487 51487 50997 0 -1 4194304 17012 0 0 0 81433 1540 0 0 20 0 1 0 52853603 120750080 16027 18446744073709551615 4227072 8923433 140731816199408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43339776 140731816204564 140731816204840 140731816204840 140731816210410 0
/proc/51490/statm: 29480 16027 2464 1147 0 16907 0
Current children cumulated CPU time: 829.73 s
Current children cumulated vsize: 122112 KiB
Current children cumulated memory: 67180 KiB
[startup+857.6 s]
/proc/loadavg: 4.26 4.12 3.62 5/274 51555
/proc/meminfo: memFree=92343820/131249988 swapFree=33010160/33010684
[pid=51487] ppid=51484 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51487/stat : 51487 (run-opt-break-l) S 51484 51487 50997 0 -1 4194304 239 247 0 0 0 0 0 0 20 0 1 0 52853601 4292608 768 18446744073709551615 94084080205824 94084081100357 140730936020272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94084081339408 94084081387152 94084093988864 140730936027413 140730936027614 140730936027614 140730936033216 0
/proc/51487/statm: 1048 768 704 219 0 110 0
[pid=51490] ppid=51487 vsize=117920 memory=64108 CPUtime=842.46 cores=5,7
/proc/51490/stat : 51490 (roundingsat) R 51487 51487 50997 0 -1 4194304 17012 0 0 0 82689 1557 0 0 20 0 1 0 52853603 120750080 16027 18446744073709551615 4227072 8923433 140731816199408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43339776 140731816204564 140731816204840 140731816204840 140731816210410 0
/proc/51490/statm: 29480 16027 2464 1147 0 16907 0
Current children cumulated CPU time: 842.46 s
Current children cumulated vsize: 122112 KiB
Current children cumulated memory: 67180 KiB
[startup+864 s]*
/proc/loadavg: 4.24 4.12 3.63 5/274 51555
/proc/meminfo: memFree=92182516/131249988 swapFree=33010160/33010684
[pid=51487] ppid=51484 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51487/stat : 51487 (run-opt-break-l) S 51484 51487 50997 0 -1 4194304 239 247 0 0 0 0 0 0 20 0 1 0 52853601 4292608 768 18446744073709551615 94084080205824 94084081100357 140730936020272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94084081339408 94084081387152 94084093988864 140730936027413 140730936027614 140730936027614 140730936033216 0
/proc/51487/statm: 1048 768 704 219 0 110 0
[pid=51490] ppid=51487 vsize=118952 memory=66772 CPUtime=848.85 cores=5,7
/proc/51490/stat : 51490 (roundingsat) R 51487 51487 50997 0 -1 4194304 17170 0 0 0 83322 1563 0 0 20 0 1 0 52853603 121806848 16693 18446744073709551615 4227072 8923433 140731816199408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43339776 140731816204564 140731816204840 140731816204840 140731816210410 0
/proc/51490/statm: 29738 16693 2464 1147 0 17165 0
Current children cumulated CPU time: 848.85 s
Current children cumulated vsize: 123144 KiB
Current children cumulated memory: 69844 KiB
[startup+867.2 s]
/proc/loadavg: 4.22 4.12 3.63 5/274 51555
/proc/meminfo: memFree=92125592/131249988 swapFree=33010160/33010684
[pid=51487] ppid=51484 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51487/stat : 51487 (run-opt-break-l) S 51484 51487 50997 0 -1 4194304 239 247 0 0 0 0 0 0 20 0 1 0 52853601 4292608 768 18446744073709551615 94084080205824 94084081100357 140730936020272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94084081339408 94084081387152 94084093988864 140730936027413 140730936027614 140730936027614 140730936033216 0
/proc/51487/statm: 1048 768 704 219 0 110 0
[pid=51490] ppid=51487 vsize=119468 memory=67048 CPUtime=852.04 cores=5,7
/proc/51490/stat : 51490 (roundingsat) R 51487 51487 50997 0 -1 4194304 17357 0 0 0 83635 1569 0 0 20 0 1 0 52853603 122335232 16762 18446744073709551615 4227072 8923433 140731816199408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43339776 140731816204564 140731816204840 140731816204840 140731816210410 0
/proc/51490/statm: 29867 16762 2464 1147 0 17294 0
Current children cumulated CPU time: 852.04 s
Current children cumulated vsize: 123660 KiB
Current children cumulated memory: 70120 KiB
[startup+868 s]*
/proc/loadavg: 4.22 4.12 3.63 5/274 51555
/proc/meminfo: memFree=92093348/131249988 swapFree=33010160/33010684
[pid=51487] ppid=51484 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51487/stat : 51487 (run-opt-break-l) S 51484 51487 50997 0 -1 4194304 239 247 0 0 0 0 0 0 20 0 1 0 52853601 4292608 768 18446744073709551615 94084080205824 94084081100357 140730936020272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94084081339408 94084081387152 94084093988864 140730936027413 140730936027614 140730936027614 140730936033216 0
/proc/51487/statm: 1048 768 704 219 0 110 0
[pid=51490] ppid=51487 vsize=119468 memory=67048 CPUtime=852.84 cores=5,7
/proc/51490/stat : 51490 (roundingsat) R 51487 51487 50997 0 -1 4194304 17357 0 0 0 83714 1570 0 0 20 0 1 0 52853603 122335232 16762 18446744073709551615 4227072 8923433 140731816199408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43339776 140731816204564 140731816204840 140731816204840 140731816210410 0
/proc/51490/statm: 29867 16762 2464 1147 0 17294 0
Current children cumulated CPU time: 852.84 s
Current children cumulated vsize: 123660 KiB
Current children cumulated memory: 70120 KiB
[startup+868.4 s]
/proc/loadavg: 4.22 4.12 3.63 5/274 51555
/proc/meminfo: memFree=92093348/131249988 swapFree=33010160/33010684
[pid=51487] ppid=51484 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51487/stat : 51487 (run-opt-break-l) S 51484 51487 50997 0 -1 4194304 239 247 0 0 0 0 0 0 20 0 1 0 52853601 4292608 768 18446744073709551615 94084080205824 94084081100357 140730936020272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94084081339408 94084081387152 94084093988864 140730936027413 140730936027614 140730936027614 140730936033216 0
/proc/51487/statm: 1048 768 704 219 0 110 0
[pid=51490] ppid=51487 vsize=119468 memory=67048 CPUtime=853.23 cores=5,7
/proc/51490/stat : 51490 (roundingsat) R 51487 51487 50997 0 -1 4194304 17357 0 0 0 83752 1571 0 0 20 0 1 0 52853603 122335232 16762 18446744073709551615 4227072 8923433 140731816199408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43339776 140731816204564 140731816204840 140731816204840 140731816210410 0
/proc/51490/statm: 29867 16762 2464 1147 0 17294 0
Current children cumulated CPU time: 853.23 s
Current children cumulated vsize: 123660 KiB
Current children cumulated memory: 70120 KiB
[startup+868.8 s]
/proc/loadavg: 4.22 4.12 3.63 5/274 51555
/proc/meminfo: memFree=92093348/131249988 swapFree=33010160/33010684
[pid=51487] ppid=51484 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51487/stat : 51487 (run-opt-break-l) S 51484 51487 50997 0 -1 4194304 239 247 0 0 0 0 0 0 20 0 1 0 52853601 4292608 768 18446744073709551615 94084080205824 94084081100357 140730936020272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94084081339408 94084081387152 94084093988864 140730936027413 140730936027614 140730936027614 140730936033216 0
/proc/51487/statm: 1048 768 704 219 0 110 0
[pid=51490] ppid=51487 vsize=119468 memory=67048 CPUtime=853.63 cores=5,7
/proc/51490/stat : 51490 (roundingsat) R 51487 51487 50997 0 -1 4194304 17357 0 0 0 83791 1572 0 0 20 0 1 0 52853603 122335232 16762 18446744073709551615 4227072 8923433 140731816199408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43339776 140731816204564 140731816204840 140731816204840 140731816210410 0
/proc/51490/statm: 29867 16762 2464 1147 0 17294 0
Current children cumulated CPU time: 853.63 s
Current children cumulated vsize: 123660 KiB
Current children cumulated memory: 70120 KiB
Child status: 0
Real time (s): 868.896
CPU time (s): 853.685
CPU user time (s): 837.946
CPU system time (s): 15.7386
CPU usage (%): 98.2494
Max. virtual memory (cumulated for all children) (KiB): 124144
Max. memory (cumulated for all children) (KiB): 70484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 837.946
system time used= 15.7386
maximum resident set size= 67412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17868
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12061752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2159
involuntary context switches= 1342
# summary of solver processes directly reported to runsolver:
# pid: 51487
# total CPU time (s): 853.685
# total CPU user time (s): 837.946
# total CPU system time (s): 15.7386
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.65909 second user time and 3.83064 second system time
The end
Begin job on nodeC034 at 2025-07-01 14:09:08
IDJOB=4490385
IDBENCH=147585
IDSOLVER=3360
FILE ID=nodeC034/4490385-1751371747
RUNJOBID= nodeC034-1751371625-51010
SLURM_JOB_ID= 9598197
Free space on /tmp= 433000 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_3.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490385-1751371747/watcher-4490385-1751371747 -o /tmp/evaluation-result-4490385-1751371747/solver-4490385-1751371747 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751371625-51010 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4490385-1751371747.opb PROOFDIR/proof-4490385-1751371747
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a8470a83b0b0d2a815a3f0ab26202dcb
RANDOM SEED=846420687
nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.759
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.764
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.987
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.005
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.772
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.081
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.786
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3692.792
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 125597124 kB
MemAvailable: 128203172 kB
Buffers: 2128 kB
Cached: 3370148 kB
SwapCached: 36 kB
Active: 1907760 kB
Inactive: 2930632 kB
Active(anon): 1480064 kB
Inactive(anon): 4208 kB
Active(file): 427696 kB
Inactive(file): 2926424 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 690512 kB
Writeback: 0 kB
AnonPages: 1469248 kB
Mapped: 113608 kB
Shmem: 18068 kB
KReclaimable: 181932 kB
Slab: 294420 kB
SReclaimable: 181932 kB
SUnreclaim: 112488 kB
KernelStack: 4320 kB
PageTables: 5996 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 2128804 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 874496 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC034 at 2025-07-01 14:23:37