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-4532405-1752588256.opb'
0.00/0.01 c read 0.01MB (0.17ms)
0.00/0.01 c [cnf: #variables 120 #clauses 11 #duplicates 0 #arr 634]
0.00/0.05 c output proof to 'PROOFDIR/proof-4532405-1752588256'
0.00/0.05 c
0.00/0.05 c make graph and approximate orbits
0.00/0.05 c [group: #orbits ~= 0] (0.21ms)
0.00/0.05 c
0.00/0.05 c detect special group actions
0.00/0.05 c probe for Johnson action (limit=64)
0.00/0.05 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.05 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.05 c (0.04ms)
0.00/0.05 c
0.00/0.05 c detect symmetries on remainder
0.00/0.05 c [graph: #vertices 793 #edges 2592]
0.00/0.05 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.05 c [group: #symmetries 1.00*10^0 #generators 0] (0.06ms)
0.00/0.05 c
0.00/0.05 c finalize break order and special generators
0.00/0.05 c
0.00/0.05 c generation finished
0.00/0.05 c [sbp: #constraints 0 #add_vars 0]
0.00/0.05 c
0.00/0.05 c write result to 'HOME/instance-4532405-1752588256.opb.pre'
0.00/0.05 c wrote 0.01MB (0.07ms)
0.00/0.05 c ------------------------------------------------------------------
0.00/0.05 c 34.53ms 98.40% other
0.00/0.05 c 0.21ms 0.60% approx_orbits
0.00/0.05 c 0.17ms 0.49% parse
0.00/0.05 c 0.07ms 0.19% output
0.00/0.05 c 0.06ms 0.18% detect_generic
0.00/0.05 c 0.04ms 0.12% detect_special
0.00/0.05 c 0.01ms 0.01% finalize_order
0.00/0.05 c ───────────────────────────────────────────────
0.00/0.05 c 35.09ms 100% total
0.00/0.05 c ------------------------------------------------------------------
0.00/0.06 c RoundingSat 2
0.00/0.06 c branch pb25
0.00/0.06 c commit 0f876b3
0.00/0.07 c #variables 120 #constraints 10
0.00/0.07 c objective is ce32
0.00/0.07 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.07 c initial counting CF 32, 64, 128, Arb: 11 , 0 , 0 , 0
0.00/0.07 c bounds - >= 0 @ 0.000926
0.00/0.07 c rational objective 0
0.00/0.08 c bounds 302 >= 0 @ 0.012847
0.00/0.08 c bounds 153 >= 0 @ 0.012873
0.00/0.08 c bounds 151 >= 0 @ 0.012873
0.00/0.08 c bounds 99 >= 0 @ 0.015856
0.03/0.12 c bounds 33 >= 0 @ 0.050721
0.03/0.12 c bounds 31 >= 0 @ 0.050747
0.03/0.12 c bounds 27 >= 0 @ 0.050747
0.03/0.15 c bounds 25 >= 0 @ 0.073524
0.13/0.26 c #Conflicts: 1000 | #Constraints: 1038
0.13/0.26 c bounds 6 >= 0 @ 0.181368
0.23/0.33 c #Conflicts: 2000 | #Constraints: 2050
0.23/0.33 c INPROCESSING
0.23/0.33 c GARBAGE COLLECT
0.23/0.33 c rational objective 0
0.52/0.68 c #Conflicts: 3000 | #Constraints: 2041
0.52/0.68 c #Conflicts: 4000 | #Constraints: 3044
0.52/0.68 c INPROCESSING
0.52/0.68 c GARBAGE COLLECT
0.52/0.68 c rational objective 0
0.92/1.08 c #Conflicts: 5000 | #Constraints: 2440
0.92/1.08 c #Conflicts: 6000 | #Constraints: 3443
0.92/1.08 c INPROCESSING
0.92/1.08 c GARBAGE COLLECT
0.92/1.08 c rational objective 0
1.41/1.56 c #Conflicts: 7000 | #Constraints: 2434
1.41/1.56 c #Conflicts: 8000 | #Constraints: 3435
1.41/1.56 c #Conflicts: 9000 | #Constraints: 4436
1.41/1.56 c INPROCESSING
1.41/1.56 c GARBAGE COLLECT
1.41/1.56 c rational objective 0
1.92/2.07 c #Conflicts: 10000 | #Constraints: 3134
1.92/2.07 c #Conflicts: 11000 | #Constraints: 4135
1.92/2.07 c #Conflicts: 12000 | #Constraints: 5136
1.92/2.07 c INPROCESSING
1.92/2.07 c GARBAGE COLLECT
1.92/2.07 c rational objective 0
2.51/2.66 c #Conflicts: 13000 | #Constraints: 3583
2.51/2.66 c #Conflicts: 14000 | #Constraints: 4587
2.51/2.66 c #Conflicts: 15000 | #Constraints: 5587
2.51/2.66 c INPROCESSING
2.51/2.66 c GARBAGE COLLECT
2.51/2.66 c rational objective 0
3.21/3.33 c #Conflicts: 16000 | #Constraints: 3811
3.21/3.33 c #Conflicts: 17000 | #Constraints: 4811
3.21/3.33 c #Conflicts: 18000 | #Constraints: 5811
3.21/3.33 c INPROCESSING
3.21/3.33 c GARBAGE COLLECT
3.21/3.33 c rational objective 0
3.81/3.99 c #Conflicts: 19000 | #Constraints: 3821
3.81/3.99 c #Conflicts: 20000 | #Constraints: 4822
3.81/3.99 c #Conflicts: 21000 | #Constraints: 5822
3.81/3.99 c bounds 3 >= 0 @ 3.71008
3.92/4.04 c INPROCESSING
3.92/4.04 c GARBAGE COLLECT
3.92/4.04 c rational objective 0
4.61/4.76 c #Conflicts: 22000 | #Constraints: 3626
4.61/4.76 c #Conflicts: 23000 | #Constraints: 4627
4.61/4.76 c #Conflicts: 24000 | #Constraints: 5628
4.61/4.76 c #Conflicts: 25000 | #Constraints: 6628
4.61/4.76 c INPROCESSING
4.61/4.76 c GARBAGE COLLECT
4.61/4.76 c rational objective 0
5.50/5.62 c #Conflicts: 26000 | #Constraints: 4230
5.50/5.62 c #Conflicts: 27000 | #Constraints: 5231
5.50/5.62 c #Conflicts: 28000 | #Constraints: 6233
5.50/5.62 c #Conflicts: 29000 | #Constraints: 7235
5.50/5.62 c INPROCESSING
5.50/5.62 c GARBAGE COLLECT
5.50/5.62 c rational objective 0
6.40/6.50 c #Conflicts: 30000 | #Constraints: 4635
6.40/6.50 c #Conflicts: 31000 | #Constraints: 5637
6.40/6.50 c #Conflicts: 32000 | #Constraints: 6638
6.40/6.50 c #Conflicts: 33000 | #Constraints: 7640
6.40/6.50 c INPROCESSING
6.40/6.50 c GARBAGE COLLECT
6.40/6.50 c rational objective 0
7.30/7.47 c #Conflicts: 34000 | #Constraints: 4831
7.30/7.47 c #Conflicts: 35000 | #Constraints: 5831
7.30/7.47 c #Conflicts: 36000 | #Constraints: 6831
7.30/7.47 c #Conflicts: 37000 | #Constraints: 7831
7.30/7.47 c INPROCESSING
7.30/7.47 c GARBAGE COLLECT
7.30/7.47 c rational objective 0
8.30/8.43 c #Conflicts: 38000 | #Constraints: 4835
8.30/8.43 c #Conflicts: 39000 | #Constraints: 5835
8.30/8.43 c #Conflicts: 40000 | #Constraints: 6836
8.30/8.43 c #Conflicts: 41000 | #Constraints: 7836
8.30/8.43 c INPROCESSING
8.30/8.43 c GARBAGE COLLECT
8.30/8.43 c rational objective 0
9.39/9.54 c #Conflicts: 42000 | #Constraints: 4635
9.39/9.54 c #Conflicts: 43000 | #Constraints: 5636
9.39/9.54 c #Conflicts: 44000 | #Constraints: 6636
9.39/9.54 c #Conflicts: 45000 | #Constraints: 7637
9.39/9.54 c #Conflicts: 46000 | #Constraints: 8637
9.39/9.54 c INPROCESSING
9.39/9.54 c GARBAGE COLLECT
9.39/9.54 c rational objective 0
10.49/10.61 c #Conflicts: 47000 | #Constraints: 5236
10.49/10.61 c #Conflicts: 48000 | #Constraints: 6236
10.49/10.61 c #Conflicts: 49000 | #Constraints: 7240
10.49/10.61 c #Conflicts: 50000 | #Constraints: 8242
10.49/10.61 c #Conflicts: 51000 | #Constraints: 9245
10.49/10.61 c INPROCESSING
10.49/10.61 c GARBAGE COLLECT
10.49/10.61 c rational objective 0
11.59/11.72 c #Conflicts: 52000 | #Constraints: 5635
11.59/11.72 c #Conflicts: 53000 | #Constraints: 6636
11.59/11.72 c #Conflicts: 54000 | #Constraints: 7638
11.59/11.72 c #Conflicts: 55000 | #Constraints: 8639
11.59/11.72 c #Conflicts: 56000 | #Constraints: 9640
11.59/11.72 c INPROCESSING
11.59/11.72 c GARBAGE COLLECT
11.59/11.72 c rational objective 0
12.89/13.04 c #Conflicts: 57000 | #Constraints: 5833
12.89/13.04 c #Conflicts: 58000 | #Constraints: 6833
12.89/13.04 c #Conflicts: 59000 | #Constraints: 7833
12.89/13.04 c #Conflicts: 60000 | #Constraints: 8833
12.89/13.04 c #Conflicts: 61000 | #Constraints: 9833
12.89/13.04 c INPROCESSING
12.89/13.04 c GARBAGE COLLECT
12.89/13.04 c rational objective 0
14.18/14.33 c #Conflicts: 62000 | #Constraints: 5830
14.18/14.33 c #Conflicts: 63000 | #Constraints: 6831
14.18/14.33 c #Conflicts: 64000 | #Constraints: 7831
14.18/14.33 c #Conflicts: 65000 | #Constraints: 8832
14.18/14.33 c #Conflicts: 66000 | #Constraints: 9832
14.18/14.33 c INPROCESSING
14.18/14.33 c GARBAGE COLLECT
14.18/14.33 c rational objective 0
15.67/15.80 c #Conflicts: 67000 | #Constraints: 5629
15.67/15.80 c #Conflicts: 68000 | #Constraints: 6630
15.67/15.80 c #Conflicts: 69000 | #Constraints: 7630
15.67/15.80 c #Conflicts: 70000 | #Constraints: 8631
15.67/15.80 c #Conflicts: 71000 | #Constraints: 9631
15.67/15.80 c #Conflicts: 72000 | #Constraints: 10631
15.67/15.80 c INPROCESSING
15.67/15.80 c GARBAGE COLLECT
15.67/15.80 c rational objective 0
17.07/17.26 c #Conflicts: 73000 | #Constraints: 6231
17.07/17.26 c #Conflicts: 74000 | #Constraints: 7231
17.07/17.26 c #Conflicts: 75000 | #Constraints: 8231
17.07/17.26 c #Conflicts: 76000 | #Constraints: 9232
17.07/17.26 c #Conflicts: 77000 | #Constraints: 10232
17.07/17.26 c #Conflicts: 78000 | #Constraints: 11233
17.07/17.26 c INPROCESSING
17.07/17.26 c GARBAGE COLLECT
17.07/17.26 c rational objective 0
18.77/18.93 c #Conflicts: 79000 | #Constraints: 6632
18.77/18.93 c #Conflicts: 80000 | #Constraints: 7633
18.77/18.93 c #Conflicts: 81000 | #Constraints: 8633
18.77/18.93 c #Conflicts: 82000 | #Constraints: 9633
18.77/18.93 c #Conflicts: 83000 | #Constraints: 10634
18.77/18.93 c #Conflicts: 84000 | #Constraints: 11634
18.77/18.93 c INPROCESSING
18.77/18.93 c GARBAGE COLLECT
18.77/18.93 c rational objective 0
20.36/20.55 c #Conflicts: 85000 | #Constraints: 6833
20.36/20.55 c #Conflicts: 86000 | #Constraints: 7833
20.36/20.55 c #Conflicts: 87000 | #Constraints: 8833
20.36/20.55 c #Conflicts: 88000 | #Constraints: 9834
20.36/20.55 c #Conflicts: 89000 | #Constraints: 10834
20.36/20.55 c #Conflicts: 90000 | #Constraints: 11834
20.36/20.55 c INPROCESSING
20.36/20.55 c GARBAGE COLLECT
20.36/20.55 c rational objective 0
22.15/22.36 c #Conflicts: 91000 | #Constraints: 6835
22.15/22.36 c #Conflicts: 92000 | #Constraints: 7835
22.15/22.36 c #Conflicts: 93000 | #Constraints: 8835
22.15/22.36 c #Conflicts: 94000 | #Constraints: 9835
22.15/22.36 c #Conflicts: 95000 | #Constraints: 10835
22.15/22.36 c #Conflicts: 96000 | #Constraints: 11835
22.15/22.36 c INPROCESSING
22.15/22.36 c GARBAGE COLLECT
22.15/22.36 c rational objective 0
23.85/24.07 c #Conflicts: 97000 | #Constraints: 6635
23.85/24.07 c #Conflicts: 98000 | #Constraints: 7636
23.85/24.07 c #Conflicts: 99000 | #Constraints: 8636
23.85/24.07 c #Conflicts: 100000 | #Constraints: 9637
23.85/24.07 c #Conflicts: 101000 | #Constraints: 10637
23.85/24.07 c #Conflicts: 102000 | #Constraints: 11637
23.85/24.07 c #Conflicts: 103000 | #Constraints: 12637
23.85/24.07 c INPROCESSING
23.85/24.07 c GARBAGE COLLECT
23.85/24.07 c rational objective 0
25.83/26.03 c #Conflicts: 104000 | #Constraints: 7233
25.83/26.03 c #Conflicts: 105000 | #Constraints: 8233
25.83/26.03 c #Conflicts: 106000 | #Constraints: 9233
25.83/26.03 c #Conflicts: 107000 | #Constraints: 10233
25.83/26.03 c #Conflicts: 108000 | #Constraints: 11233
25.83/26.03 c #Conflicts: 109000 | #Constraints: 12233
25.83/26.03 c #Conflicts: 110000 | #Constraints: 13234
25.83/26.03 c INPROCESSING
25.83/26.03 c GARBAGE COLLECT
25.83/26.03 c rational objective 0
27.73/27.92 c #Conflicts: 111000 | #Constraints: 7635
27.73/27.92 c #Conflicts: 112000 | #Constraints: 8637
27.73/27.92 c #Conflicts: 113000 | #Constraints: 9638
27.73/27.92 c #Conflicts: 114000 | #Constraints: 10638
27.73/27.92 c #Conflicts: 115000 | #Constraints: 11638
27.73/27.92 c #Conflicts: 116000 | #Constraints: 12638
27.73/27.92 c #Conflicts: 117000 | #Constraints: 13638
27.73/27.92 c INPROCESSING
27.73/27.92 c GARBAGE COLLECT
27.73/27.92 c rational objective 0
29.82/30.06 c #Conflicts: 118000 | #Constraints: 7830
29.82/30.06 c #Conflicts: 119000 | #Constraints: 8830
29.82/30.06 c #Conflicts: 120000 | #Constraints: 9830
29.82/30.06 c #Conflicts: 121000 | #Constraints: 10831
29.82/30.06 c #Conflicts: 122000 | #Constraints: 11831
29.82/30.06 c #Conflicts: 123000 | #Constraints: 12831
29.82/30.06 c #Conflicts: 124000 | #Constraints: 13832
29.82/30.06 c INPROCESSING
29.82/30.06 c GARBAGE COLLECT
29.82/30.06 c rational objective 0
31.81/32.09 c #Conflicts: 125000 | #Constraints: 7834
31.81/32.09 c #Conflicts: 126000 | #Constraints: 8834
31.81/32.09 c #Conflicts: 127000 | #Constraints: 9835
31.81/32.09 c #Conflicts: 128000 | #Constraints: 10835
31.81/32.09 c #Conflicts: 129000 | #Constraints: 11835
31.81/32.09 c #Conflicts: 130000 | #Constraints: 12835
31.81/32.09 c #Conflicts: 131000 | #Constraints: 13835
31.81/32.09 c INPROCESSING
31.81/32.09 c GARBAGE COLLECT
31.81/32.09 c rational objective 0
34.17/34.41 c #Conflicts: 132000 | #Constraints: 7629
34.17/34.41 c #Conflicts: 133000 | #Constraints: 8629
34.17/34.41 c #Conflicts: 134000 | #Constraints: 9630
34.17/34.41 c #Conflicts: 135000 | #Constraints: 10630
34.17/34.41 c #Conflicts: 136000 | #Constraints: 11630
34.17/34.41 c #Conflicts: 137000 | #Constraints: 12631
34.17/34.41 c #Conflicts: 138000 | #Constraints: 13631
34.17/34.41 c #Conflicts: 139000 | #Constraints: 14631
34.17/34.41 c INPROCESSING
34.17/34.41 c GARBAGE COLLECT
34.17/34.41 c rational objective 0
36.44/36.72 c #Conflicts: 140000 | #Constraints: 8231
36.44/36.72 c #Conflicts: 141000 | #Constraints: 9231
36.44/36.72 c #Conflicts: 142000 | #Constraints: 10231
36.44/36.72 c #Conflicts: 143000 | #Constraints: 11231
36.44/36.72 c #Conflicts: 144000 | #Constraints: 12231
36.44/36.72 c #Conflicts: 145000 | #Constraints: 13232
36.44/36.72 c #Conflicts: 146000 | #Constraints: 14232
36.44/36.72 c #Conflicts: 147000 | #Constraints: 15233
36.44/36.72 c INPROCESSING
36.44/36.72 c GARBAGE COLLECT
36.44/36.72 c rational objective 0
38.92/39.25 c #Conflicts: 148000 | #Constraints: 8633
38.92/39.25 c #Conflicts: 149000 | #Constraints: 9633
38.92/39.25 c #Conflicts: 150000 | #Constraints: 10633
38.92/39.25 c #Conflicts: 151000 | #Constraints: 11633
38.92/39.25 c #Conflicts: 152000 | #Constraints: 12634
38.92/39.25 c #Conflicts: 153000 | #Constraints: 13635
38.92/39.25 c #Conflicts: 154000 | #Constraints: 14635
38.92/39.25 c #Conflicts: 155000 | #Constraints: 15635
38.92/39.25 c INPROCESSING
38.92/39.25 c GARBAGE COLLECT
38.92/39.25 c rational objective 0
41.31/41.60 c #Conflicts: 156000 | #Constraints: 8836
41.31/41.60 c #Conflicts: 157000 | #Constraints: 9836
41.31/41.60 c #Conflicts: 158000 | #Constraints: 10836
41.31/41.60 c #Conflicts: 159000 | #Constraints: 11836
41.31/41.60 c #Conflicts: 160000 | #Constraints: 12836
41.31/41.60 c #Conflicts: 161000 | #Constraints: 13836
41.31/41.60 c #Conflicts: 162000 | #Constraints: 14836
41.31/41.60 c #Conflicts: 163000 | #Constraints: 15836
41.31/41.60 c INPROCESSING
41.31/41.60 c GARBAGE COLLECT
41.31/41.60 c rational objective 0
43.70/44.04 c #Conflicts: 164000 | #Constraints: 8835
43.70/44.04 c #Conflicts: 165000 | #Constraints: 9835
43.70/44.04 c #Conflicts: 166000 | #Constraints: 10835
43.70/44.04 c #Conflicts: 167000 | #Constraints: 11835
43.70/44.04 c #Conflicts: 168000 | #Constraints: 12835
43.70/44.04 c #Conflicts: 169000 | #Constraints: 13835
43.70/44.04 c #Conflicts: 170000 | #Constraints: 14835
43.70/44.04 c #Conflicts: 171000 | #Constraints: 15835
43.70/44.04 c INPROCESSING
43.70/44.04 c GARBAGE COLLECT
43.70/44.04 c rational objective 0
46.50/46.86 c #Conflicts: 172000 | #Constraints: 8630
46.50/46.86 c #Conflicts: 173000 | #Constraints: 9630
46.50/46.86 c #Conflicts: 174000 | #Constraints: 10630
46.50/46.86 c #Conflicts: 175000 | #Constraints: 11630
46.50/46.86 c #Conflicts: 176000 | #Constraints: 12630
46.50/46.86 c #Conflicts: 177000 | #Constraints: 13630
46.50/46.86 c #Conflicts: 178000 | #Constraints: 14631
46.50/46.86 c #Conflicts: 179000 | #Constraints: 15632
46.50/46.86 c #Conflicts: 180000 | #Constraints: 16632
46.50/46.86 c INPROCESSING
46.50/46.86 c GARBAGE COLLECT
46.50/46.86 c rational objective 0
49.18/49.57 c #Conflicts: 181000 | #Constraints: 9234
49.18/49.57 c #Conflicts: 182000 | #Constraints: 10234
49.18/49.57 c #Conflicts: 183000 | #Constraints: 11234
49.18/49.57 c #Conflicts: 184000 | #Constraints: 12234
49.18/49.57 c #Conflicts: 185000 | #Constraints: 13234
49.18/49.57 c #Conflicts: 186000 | #Constraints: 14234
49.18/49.57 c #Conflicts: 187000 | #Constraints: 15234
49.18/49.57 c #Conflicts: 188000 | #Constraints: 16234
49.18/49.57 c #Conflicts: 189000 | #Constraints: 17235
49.18/49.57 c INPROCESSING
49.18/49.57 c GARBAGE COLLECT
49.18/49.57 c rational objective 0
52.17/52.57 c #Conflicts: 190000 | #Constraints: 9636
52.17/52.57 c #Conflicts: 191000 | #Constraints: 10636
52.17/52.57 c #Conflicts: 192000 | #Constraints: 11636
52.17/52.57 c #Conflicts: 193000 | #Constraints: 12636
52.17/52.57 c #Conflicts: 194000 | #Constraints: 13636
52.17/52.57 c #Conflicts: 195000 | #Constraints: 14636
52.17/52.57 c #Conflicts: 196000 | #Constraints: 15636
52.17/52.57 c #Conflicts: 197000 | #Constraints: 16636
52.17/52.57 c #Conflicts: 198000 | #Constraints: 17636
52.17/52.57 c INPROCESSING
52.17/52.57 c GARBAGE COLLECT
52.17/52.57 c rational objective 0
55.16/55.59 c #Conflicts: 199000 | #Constraints: 9835
55.16/55.59 c #Conflicts: 200000 | #Constraints: 10835
55.16/55.59 c #Conflicts: 201000 | #Constraints: 11835
55.16/55.59 c #Conflicts: 202000 | #Constraints: 12835
55.16/55.59 c #Conflicts: 203000 | #Constraints: 13835
55.16/55.59 c #Conflicts: 204000 | #Constraints: 14835
55.16/55.59 c #Conflicts: 205000 | #Constraints: 15836
55.16/55.59 c #Conflicts: 206000 | #Constraints: 16836
55.16/55.59 c #Conflicts: 207000 | #Constraints: 17836
55.16/55.59 c INPROCESSING
55.16/55.59 c GARBAGE COLLECT
55.16/55.59 c rational objective 0
58.35/58.72 c #Conflicts: 208000 | #Constraints: 9830
58.35/58.72 c #Conflicts: 209000 | #Constraints: 10830
58.35/58.72 c #Conflicts: 210000 | #Constraints: 11830
58.35/58.72 c #Conflicts: 211000 | #Constraints: 12830
58.35/58.72 c #Conflicts: 212000 | #Constraints: 13830
58.35/58.72 c #Conflicts: 213000 | #Constraints: 14831
58.35/58.72 c #Conflicts: 214000 | #Constraints: 15831
58.35/58.72 c #Conflicts: 215000 | #Constraints: 16831
58.35/58.72 c #Conflicts: 216000 | #Constraints: 17831
58.35/58.72 c INPROCESSING
58.35/58.72 c GARBAGE COLLECT
58.35/58.72 c rational objective 0
61.44/61.89 c #Conflicts: 217000 | #Constraints: 9634
61.44/61.89 c #Conflicts: 218000 | #Constraints: 10634
61.44/61.89 c #Conflicts: 219000 | #Constraints: 11634
61.44/61.89 c #Conflicts: 220000 | #Constraints: 12634
61.44/61.89 c #Conflicts: 221000 | #Constraints: 13634
61.44/61.89 c #Conflicts: 222000 | #Constraints: 14634
61.44/61.89 c #Conflicts: 223000 | #Constraints: 15634
61.44/61.89 c #Conflicts: 224000 | #Constraints: 16634
61.44/61.89 c #Conflicts: 225000 | #Constraints: 17635
61.44/61.89 c #Conflicts: 226000 | #Constraints: 18635
61.44/61.89 c INPROCESSING
61.44/61.89 c GARBAGE COLLECT
61.44/61.89 c rational objective 0
64.82/65.30 c #Conflicts: 227000 | #Constraints: 10234
64.82/65.30 c #Conflicts: 228000 | #Constraints: 11234
64.82/65.30 c #Conflicts: 229000 | #Constraints: 12234
64.82/65.30 c #Conflicts: 230000 | #Constraints: 13234
64.82/65.30 c #Conflicts: 231000 | #Constraints: 14234
64.82/65.30 c #Conflicts: 232000 | #Constraints: 15235
64.82/65.30 c #Conflicts: 233000 | #Constraints: 16235
64.82/65.30 c #Conflicts: 234000 | #Constraints: 17235
64.82/65.30 c #Conflicts: 235000 | #Constraints: 18235
64.82/65.30 c #Conflicts: 236000 | #Constraints: 19235
64.82/65.30 c INPROCESSING
64.82/65.30 c GARBAGE COLLECT
64.82/65.30 c rational objective 0
68.48/68.90 c #Conflicts: 237000 | #Constraints: 10968
68.48/68.90 c #Conflicts: 238000 | #Constraints: 11969
68.48/68.90 c #Conflicts: 239000 | #Constraints: 12969
68.48/68.90 c #Conflicts: 240000 | #Constraints: 13970
68.48/68.90 c #Conflicts: 241000 | #Constraints: 14971
68.48/68.90 c #Conflicts: 242000 | #Constraints: 15971
68.48/68.90 c #Conflicts: 243000 | #Constraints: 17083
68.48/68.90 c #Conflicts: 244000 | #Constraints: 18187
68.48/68.90 c #Conflicts: 245000 | #Constraints: 19187
68.48/68.90 c #Conflicts: 246000 | #Constraints: 20187
68.48/68.90 c INPROCESSING
68.48/68.90 c GARBAGE COLLECT
68.48/68.90 c rational objective 0
74.73/75.26 c #Conflicts: 247000 | #Constraints: 11378
74.73/75.26 c #Conflicts: 248000 | #Constraints: 12922
74.73/75.26 c #Conflicts: 249000 | #Constraints: 14471
74.73/75.26 c #Conflicts: 250000 | #Constraints: 16005
74.73/75.26 c #Conflicts: 251000 | #Constraints: 17345
74.73/75.26 c #Conflicts: 252000 | #Constraints: 18597
74.73/75.26 c #Conflicts: 253000 | #Constraints: 20091
74.73/75.26 c #Conflicts: 254000 | #Constraints: 21634
74.73/75.26 c #Conflicts: 255000 | #Constraints: 23145
74.73/75.26 c #Conflicts: 256000 | #Constraints: 24395
74.73/75.26 c INPROCESSING
74.73/75.26 c GARBAGE COLLECT
74.73/75.26 c rational objective 0
80.31/80.82 c #Conflicts: 257000 | #Constraints: 13494
80.31/80.82 c #Conflicts: 258000 | #Constraints: 14967
80.31/80.82 c #Conflicts: 259000 | #Constraints: 16439
80.31/80.82 c #Conflicts: 260000 | #Constraints: 17918
80.31/80.82 c #Conflicts: 261000 | #Constraints: 19411
80.31/80.82 c #Conflicts: 262000 | #Constraints: 20891
80.31/80.82 c #Conflicts: 263000 | #Constraints: 22222
80.31/80.82 c #Conflicts: 264000 | #Constraints: 23711
80.31/80.82 c #Conflicts: 265000 | #Constraints: 25206
80.31/80.82 c #Conflicts: 266000 | #Constraints: 26685
80.31/80.82 c INPROCESSING
80.31/80.82 c GARBAGE COLLECT
80.31/80.82 c rational objective 0
86.28/86.85 c #Conflicts: 267000 | #Constraints: 14204
86.28/86.85 c #Conflicts: 268000 | #Constraints: 15204
86.28/86.85 c #Conflicts: 269000 | #Constraints: 16735
86.28/86.85 c #Conflicts: 270000 | #Constraints: 18218
86.28/86.85 c #Conflicts: 271000 | #Constraints: 19735
86.28/86.85 c #Conflicts: 272000 | #Constraints: 21235
86.28/86.85 c #Conflicts: 273000 | #Constraints: 22768
86.28/86.85 c #Conflicts: 274000 | #Constraints: 24271
86.28/86.85 c #Conflicts: 275000 | #Constraints: 25794
86.28/86.85 c #Conflicts: 276000 | #Constraints: 27311
86.28/86.85 c #Conflicts: 277000 | #Constraints: 28816
86.28/86.85 c INPROCESSING
86.28/86.85 c GARBAGE COLLECT
86.28/86.85 c rational objective 0
92.65/93.23 c #Conflicts: 278000 | #Constraints: 15747
92.65/93.23 c #Conflicts: 279000 | #Constraints: 17240
92.65/93.23 c #Conflicts: 280000 | #Constraints: 18732
92.65/93.23 c #Conflicts: 281000 | #Constraints: 20203
92.65/93.23 c #Conflicts: 282000 | #Constraints: 21701
92.65/93.23 c #Conflicts: 283000 | #Constraints: 23178
92.65/93.23 c #Conflicts: 284000 | #Constraints: 24661
92.65/93.23 c #Conflicts: 285000 | #Constraints: 26141
92.65/93.23 c #Conflicts: 286000 | #Constraints: 27620
92.65/93.23 c #Conflicts: 287000 | #Constraints: 29098
92.65/93.23 c #Conflicts: 288000 | #Constraints: 30589
92.65/93.23 c INPROCESSING
92.65/93.23 c GARBAGE COLLECT
92.65/93.23 c rational objective 0
99.32/99.97 c #Conflicts: 289000 | #Constraints: 16308
99.32/99.97 c #Conflicts: 290000 | #Constraints: 17586
99.32/99.97 c #Conflicts: 291000 | #Constraints: 19129
99.32/99.97 c #Conflicts: 292000 | #Constraints: 20649
99.32/99.97 c #Conflicts: 293000 | #Constraints: 22193
99.32/99.97 c #Conflicts: 294000 | #Constraints: 23732
99.32/99.97 c #Conflicts: 295000 | #Constraints: 25269
99.32/99.97 c #Conflicts: 296000 | #Constraints: 26779
99.32/99.97 c #Conflicts: 297000 | #Constraints: 28220
99.32/99.97 c #Conflicts: 298000 | #Constraints: 29743
99.32/99.97 c #Conflicts: 299000 | #Constraints: 31245
99.32/99.97 c INPROCESSING
99.32/99.97 c GARBAGE COLLECT
99.32/99.97 c rational objective 0
105.41/106.02 c #Conflicts: 300000 | #Constraints: 16986
105.41/106.02 c #Conflicts: 301000 | #Constraints: 18333
105.41/106.02 c #Conflicts: 302000 | #Constraints: 19574
105.41/106.02 c #Conflicts: 303000 | #Constraints: 20574
105.41/106.02 c #Conflicts: 304000 | #Constraints: 21696
105.41/106.02 c #Conflicts: 305000 | #Constraints: 23179
105.41/106.02 c #Conflicts: 306000 | #Constraints: 24651
105.41/106.02 c #Conflicts: 307000 | #Constraints: 25897
105.41/106.02 c #Conflicts: 308000 | #Constraints: 27333
105.41/106.02 c #Conflicts: 309000 | #Constraints: 28680
105.41/106.02 c #Conflicts: 310000 | #Constraints: 29901
105.41/106.02 c INPROCESSING
105.41/106.02 c GARBAGE COLLECT
105.41/106.02 c rational objective 0
111.97/112.65 c #Conflicts: 311000 | #Constraints: 16314
111.97/112.65 c #Conflicts: 312000 | #Constraints: 17808
111.97/112.65 c #Conflicts: 313000 | #Constraints: 19034
111.97/112.65 c #Conflicts: 314000 | #Constraints: 20326
111.97/112.65 c #Conflicts: 315000 | #Constraints: 21817
111.97/112.65 c #Conflicts: 316000 | #Constraints: 23336
111.97/112.65 c #Conflicts: 317000 | #Constraints: 24818
111.97/112.65 c #Conflicts: 318000 | #Constraints: 26322
111.97/112.65 c #Conflicts: 319000 | #Constraints: 27805
111.97/112.65 c #Conflicts: 320000 | #Constraints: 29294
111.97/112.65 c #Conflicts: 321000 | #Constraints: 30777
111.97/112.65 c INPROCESSING
111.97/112.65 c GARBAGE COLLECT
111.97/112.65 c rational objective 0
119.45/120.14 c #Conflicts: 322000 | #Constraints: 16446
119.45/120.14 c #Conflicts: 323000 | #Constraints: 17991
119.45/120.14 c #Conflicts: 324000 | #Constraints: 19521
119.45/120.14 c #Conflicts: 325000 | #Constraints: 20684
119.45/120.14 c #Conflicts: 326000 | #Constraints: 21741
119.45/120.14 c #Conflicts: 327000 | #Constraints: 23253
119.45/120.14 c #Conflicts: 328000 | #Constraints: 24620
119.45/120.14 c #Conflicts: 329000 | #Constraints: 26138
119.45/120.14 c #Conflicts: 330000 | #Constraints: 27566
119.45/120.14 c #Conflicts: 331000 | #Constraints: 29098
119.45/120.14 c #Conflicts: 332000 | #Constraints: 30434
119.45/120.14 c #Conflicts: 333000 | #Constraints: 31930
119.45/120.14 c INPROCESSING
119.45/120.14 c GARBAGE COLLECT
119.45/120.14 c rational objective 0
126.78/127.51 c #Conflicts: 334000 | #Constraints: 17314
126.78/127.51 c #Conflicts: 335000 | #Constraints: 18696
126.78/127.51 c #Conflicts: 336000 | #Constraints: 20182
126.78/127.51 c #Conflicts: 337000 | #Constraints: 21366
126.78/127.51 c #Conflicts: 338000 | #Constraints: 22366
126.78/127.51 c #Conflicts: 339000 | #Constraints: 23746
126.78/127.51 c #Conflicts: 340000 | #Constraints: 25233
126.78/127.51 c #Conflicts: 341000 | #Constraints: 26710
126.78/127.51 c #Conflicts: 342000 | #Constraints: 27813
126.78/127.51 c #Conflicts: 343000 | #Constraints: 29010
126.78/127.51 c #Conflicts: 344000 | #Constraints: 30488
126.78/127.51 c #Conflicts: 345000 | #Constraints: 31773
126.78/127.51 c INPROCESSING
126.78/127.51 c GARBAGE COLLECT
126.78/127.51 c rational objective 0
133.65/134.47 c #Conflicts: 346000 | #Constraints: 17441
133.65/134.47 c #Conflicts: 347000 | #Constraints: 18948
133.65/134.47 c #Conflicts: 348000 | #Constraints: 20099
133.65/134.47 c #Conflicts: 349000 | #Constraints: 21099
133.65/134.47 c #Conflicts: 350000 | #Constraints: 22099
133.65/134.47 c #Conflicts: 351000 | #Constraints: 23099
133.65/134.47 c #Conflicts: 352000 | #Constraints: 24099
133.65/134.47 c #Conflicts: 353000 | #Constraints: 25278
133.65/134.47 c #Conflicts: 354000 | #Constraints: 26793
133.65/134.47 c #Conflicts: 355000 | #Constraints: 28312
133.65/134.47 c #Conflicts: 356000 | #Constraints: 29859
133.65/134.47 c #Conflicts: 357000 | #Constraints: 31408
133.65/134.47 c INPROCESSING
133.65/134.47 c GARBAGE COLLECT
133.65/134.47 c rational objective 0
141.21/142.05 c #Conflicts: 358000 | #Constraints: 17212
141.21/142.05 c #Conflicts: 359000 | #Constraints: 18703
141.21/142.05 c #Conflicts: 360000 | #Constraints: 20190
141.21/142.05 c #Conflicts: 361000 | #Constraints: 21659
141.21/142.05 c #Conflicts: 362000 | #Constraints: 23140
141.21/142.05 c #Conflicts: 363000 | #Constraints: 24636
141.21/142.05 c #Conflicts: 364000 | #Constraints: 26119
141.21/142.05 c #Conflicts: 365000 | #Constraints: 27592
141.21/142.05 c #Conflicts: 366000 | #Constraints: 29056
141.21/142.05 c #Conflicts: 367000 | #Constraints: 30528
141.21/142.05 c #Conflicts: 368000 | #Constraints: 31991
141.21/142.05 c #Conflicts: 369000 | #Constraints: 33460
141.21/142.05 c INPROCESSING
141.21/142.05 c GARBAGE COLLECT
141.21/142.05 c rational objective 0
149.17/150.04 c #Conflicts: 370000 | #Constraints: 17849
149.17/150.04 c #Conflicts: 371000 | #Constraints: 19363
149.17/150.04 c #Conflicts: 372000 | #Constraints: 20910
149.17/150.04 c #Conflicts: 373000 | #Constraints: 22247
149.17/150.04 c #Conflicts: 374000 | #Constraints: 23780
149.17/150.04 c #Conflicts: 375000 | #Constraints: 25282
149.17/150.04 c #Conflicts: 376000 | #Constraints: 26282
149.17/150.04 c #Conflicts: 377000 | #Constraints: 27350
149.17/150.04 c #Conflicts: 378000 | #Constraints: 28802
149.17/150.04 c #Conflicts: 379000 | #Constraints: 30134
149.17/150.04 c #Conflicts: 380000 | #Constraints: 31412
149.17/150.04 c #Conflicts: 381000 | #Constraints: 32857
149.17/150.04 c INPROCESSING
149.17/150.04 c GARBAGE COLLECT
149.17/150.04 c rational objective 0
156.81/157.78 c #Conflicts: 382000 | #Constraints: 17401
156.81/157.78 c #Conflicts: 383000 | #Constraints: 18872
156.81/157.78 c #Conflicts: 384000 | #Constraints: 20317
156.81/157.78 c #Conflicts: 385000 | #Constraints: 21748
156.81/157.78 c #Conflicts: 386000 | #Constraints: 23227
156.81/157.78 c #Conflicts: 387000 | #Constraints: 24700
156.81/157.78 c #Conflicts: 388000 | #Constraints: 26180
156.81/157.78 c #Conflicts: 389000 | #Constraints: 27653
156.81/157.78 c #Conflicts: 390000 | #Constraints: 29049
156.81/157.78 c #Conflicts: 391000 | #Constraints: 30049
156.81/157.78 c #Conflicts: 392000 | #Constraints: 31374
156.81/157.78 c #Conflicts: 393000 | #Constraints: 32684
156.81/157.78 c #Conflicts: 394000 | #Constraints: 33937
156.81/157.78 c INPROCESSING
156.81/157.78 c GARBAGE COLLECT
156.81/157.78 c rational objective 0
166.76/167.76 c #Conflicts: 395000 | #Constraints: 18293
166.76/167.76 c #Conflicts: 396000 | #Constraints: 19801
166.76/167.76 c #Conflicts: 397000 | #Constraints: 21319
166.76/167.76 c #Conflicts: 398000 | #Constraints: 22843
166.76/167.76 c #Conflicts: 399000 | #Constraints: 24382
166.76/167.76 c #Conflicts: 400000 | #Constraints: 25899
166.76/167.76 c #Conflicts: 401000 | #Constraints: 27446
166.76/167.76 c #Conflicts: 402000 | #Constraints: 28989
166.76/167.76 c #Conflicts: 403000 | #Constraints: 30516
166.76/167.76 c #Conflicts: 404000 | #Constraints: 32039
166.76/167.76 c #Conflicts: 405000 | #Constraints: 33588
166.76/167.76 c #Conflicts: 406000 | #Constraints: 35120
166.76/167.76 c #Conflicts: 407000 | #Constraints: 36649
166.76/167.76 c INPROCESSING
166.76/167.76 c GARBAGE COLLECT
166.76/167.76 c rational objective 0
175.70/176.77 c #Conflicts: 408000 | #Constraints: 19817
175.70/176.77 c #Conflicts: 409000 | #Constraints: 21302
175.70/176.77 c #Conflicts: 410000 | #Constraints: 22797
175.70/176.77 c #Conflicts: 411000 | #Constraints: 24271
175.70/176.77 c #Conflicts: 412000 | #Constraints: 25760
175.70/176.77 c #Conflicts: 413000 | #Constraints: 27263
175.70/176.77 c #Conflicts: 414000 | #Constraints: 28741
175.70/176.77 c #Conflicts: 415000 | #Constraints: 30224
175.70/176.77 c #Conflicts: 416000 | #Constraints: 31683
175.70/176.77 c #Conflicts: 417000 | #Constraints: 33142
175.70/176.77 c #Conflicts: 418000 | #Constraints: 34614
175.70/176.77 c #Conflicts: 419000 | #Constraints: 36106
175.70/176.77 c #Conflicts: 420000 | #Constraints: 37430
175.70/176.77 c INPROCESSING
175.70/176.77 c GARBAGE COLLECT
175.70/176.77 c rational objective 0
187.13/188.27 c #Conflicts: 421000 | #Constraints: 20246
187.13/188.27 c #Conflicts: 422000 | #Constraints: 21779
187.13/188.27 c #Conflicts: 423000 | #Constraints: 23312
187.13/188.27 c #Conflicts: 424000 | #Constraints: 24850
187.13/188.27 c #Conflicts: 425000 | #Constraints: 26355
187.13/188.27 c #Conflicts: 426000 | #Constraints: 27909
187.13/188.27 c #Conflicts: 427000 | #Constraints: 29443
187.13/188.27 c #Conflicts: 428000 | #Constraints: 30963
187.13/188.27 c #Conflicts: 429000 | #Constraints: 32489
187.13/188.27 c #Conflicts: 430000 | #Constraints: 34021
187.13/188.27 c #Conflicts: 431000 | #Constraints: 35554
187.13/188.27 c #Conflicts: 432000 | #Constraints: 37104
187.13/188.27 c #Conflicts: 433000 | #Constraints: 38642
187.13/188.27 c INPROCESSING
187.13/188.27 c GARBAGE COLLECT
187.13/188.27 c rational objective 0
198.68/199.80 c #Conflicts: 434000 | #Constraints: 20602
198.68/199.80 c #Conflicts: 435000 | #Constraints: 22087
198.68/199.80 c #Conflicts: 436000 | #Constraints: 23547
198.68/199.80 c #Conflicts: 437000 | #Constraints: 25042
198.68/199.80 c #Conflicts: 438000 | #Constraints: 26517
198.68/199.80 c #Conflicts: 439000 | #Constraints: 28015
198.68/199.80 c #Conflicts: 440000 | #Constraints: 29498
198.68/199.80 c #Conflicts: 441000 | #Constraints: 30990
198.68/199.80 c #Conflicts: 442000 | #Constraints: 32463
198.68/199.80 c #Conflicts: 443000 | #Constraints: 33941
198.68/199.80 c #Conflicts: 444000 | #Constraints: 35426
198.68/199.80 c #Conflicts: 445000 | #Constraints: 36894
198.68/199.80 c #Conflicts: 446000 | #Constraints: 38366
198.68/199.80 c INPROCESSING
198.68/199.80 c GARBAGE COLLECT
198.68/199.80 c rational objective 0
209.44/210.67 c #Conflicts: 447000 | #Constraints: 20254
209.44/210.67 c #Conflicts: 448000 | #Constraints: 21595
209.44/210.67 c #Conflicts: 449000 | #Constraints: 22902
209.44/210.67 c #Conflicts: 450000 | #Constraints: 24469
209.44/210.67 c #Conflicts: 451000 | #Constraints: 25954
209.44/210.67 c #Conflicts: 452000 | #Constraints: 27486
209.44/210.67 c #Conflicts: 453000 | #Constraints: 28842
209.44/210.67 c #Conflicts: 454000 | #Constraints: 30350
209.44/210.67 c #Conflicts: 455000 | #Constraints: 31868
209.44/210.67 c #Conflicts: 456000 | #Constraints: 33391
209.44/210.67 c #Conflicts: 457000 | #Constraints: 34851
209.44/210.67 c #Conflicts: 458000 | #Constraints: 36362
209.44/210.67 c #Conflicts: 459000 | #Constraints: 37885
209.44/210.67 c #Conflicts: 460000 | #Constraints: 39434
209.44/210.67 c INPROCESSING
209.44/210.67 c GARBAGE COLLECT
209.44/210.67 c rational objective 0
219.80/221.06 c #Conflicts: 461000 | #Constraints: 21079
219.80/221.06 c #Conflicts: 462000 | #Constraints: 22562
219.80/221.06 c #Conflicts: 463000 | #Constraints: 24036
219.80/221.06 c #Conflicts: 464000 | #Constraints: 25509
219.80/221.06 c #Conflicts: 465000 | #Constraints: 26988
219.80/221.06 c #Conflicts: 466000 | #Constraints: 28459
219.80/221.06 c #Conflicts: 467000 | #Constraints: 29667
219.80/221.06 c #Conflicts: 468000 | #Constraints: 31151
219.80/221.06 c #Conflicts: 469000 | #Constraints: 32641
219.80/221.06 c #Conflicts: 470000 | #Constraints: 34126
219.80/221.06 c #Conflicts: 471000 | #Constraints: 35126
219.80/221.06 c #Conflicts: 472000 | #Constraints: 36613
219.80/221.06 c #Conflicts: 473000 | #Constraints: 37998
219.80/221.06 c #Conflicts: 474000 | #Constraints: 39480
219.80/221.06 c INPROCESSING
219.80/221.06 c GARBAGE COLLECT
219.80/221.06 c rational objective 0
230.36/231.65 c #Conflicts: 475000 | #Constraints: 21183
230.36/231.65 c #Conflicts: 476000 | #Constraints: 22692
230.36/231.65 c #Conflicts: 477000 | #Constraints: 24194
230.36/231.65 c #Conflicts: 478000 | #Constraints: 25705
230.36/231.65 c #Conflicts: 479000 | #Constraints: 27169
230.36/231.65 c #Conflicts: 480000 | #Constraints: 28657
230.36/231.65 c #Conflicts: 481000 | #Constraints: 29941
230.36/231.65 c #Conflicts: 482000 | #Constraints: 31085
230.36/231.65 c #Conflicts: 483000 | #Constraints: 32514
230.36/231.65 c #Conflicts: 484000 | #Constraints: 33543
230.36/231.65 c #Conflicts: 485000 | #Constraints: 34992
230.36/231.65 c #Conflicts: 486000 | #Constraints: 36405
230.36/231.65 c #Conflicts: 487000 | #Constraints: 37833
230.36/231.65 c #Conflicts: 488000 | #Constraints: 39190
230.36/231.65 c INPROCESSING
230.36/231.65 c GARBAGE COLLECT
230.36/231.65 c rational objective 0
239.73/241.01 c #Conflicts: 489000 | #Constraints: 21095
239.73/241.01 c #Conflicts: 490000 | #Constraints: 22188
239.73/241.01 c #Conflicts: 491000 | #Constraints: 23631
239.73/241.01 c #Conflicts: 492000 | #Constraints: 25036
239.73/241.01 c #Conflicts: 493000 | #Constraints: 26357
239.73/241.01 c #Conflicts: 494000 | #Constraints: 27692
239.73/241.01 c #Conflicts: 495000 | #Constraints: 29150
239.73/241.01 c #Conflicts: 496000 | #Constraints: 30450
239.73/241.01 c #Conflicts: 497000 | #Constraints: 31708
239.73/241.01 c #Conflicts: 498000 | #Constraints: 32963
239.73/241.01 c #Conflicts: 499000 | #Constraints: 34265
239.73/241.01 c #Conflicts: 500000 | #Constraints: 35502
239.73/241.01 c #Conflicts: 501000 | #Constraints: 36708
239.73/241.01 c #Conflicts: 502000 | #Constraints: 37785
239.73/241.01 c INPROCESSING
239.73/241.01 c GARBAGE COLLECT
239.73/241.01 c rational objective 0
250.89/252.27 c #Conflicts: 503000 | #Constraints: 20214
250.89/252.27 c #Conflicts: 504000 | #Constraints: 21606
250.89/252.27 c #Conflicts: 505000 | #Constraints: 22873
250.89/252.27 c #Conflicts: 506000 | #Constraints: 24356
250.89/252.27 c #Conflicts: 507000 | #Constraints: 25812
250.89/252.27 c #Conflicts: 508000 | #Constraints: 27320
250.89/252.27 c #Conflicts: 509000 | #Constraints: 28812
250.89/252.27 c #Conflicts: 510000 | #Constraints: 30017
250.89/252.27 c #Conflicts: 511000 | #Constraints: 31552
250.89/252.27 c #Conflicts: 512000 | #Constraints: 33047
250.89/252.27 c #Conflicts: 513000 | #Constraints: 34559
250.89/252.27 c #Conflicts: 514000 | #Constraints: 36088
250.89/252.27 c #Conflicts: 515000 | #Constraints: 37620
250.89/252.27 c #Conflicts: 516000 | #Constraints: 39158
250.89/252.27 c INPROCESSING
250.89/252.27 c GARBAGE COLLECT
250.89/252.27 c rational objective 0
262.56/263.93 c #Conflicts: 517000 | #Constraints: 20662
262.56/263.93 c #Conflicts: 518000 | #Constraints: 22128
262.56/263.93 c #Conflicts: 519000 | #Constraints: 23618
262.56/263.93 c #Conflicts: 520000 | #Constraints: 25084
262.56/263.93 c #Conflicts: 521000 | #Constraints: 26537
262.56/263.93 c #Conflicts: 522000 | #Constraints: 28007
262.56/263.93 c #Conflicts: 523000 | #Constraints: 29356
262.56/263.93 c #Conflicts: 524000 | #Constraints: 30870
262.56/263.93 c #Conflicts: 525000 | #Constraints: 32358
262.56/263.93 c #Conflicts: 526000 | #Constraints: 33841
262.56/263.93 c #Conflicts: 527000 | #Constraints: 35341
262.56/263.93 c #Conflicts: 528000 | #Constraints: 36827
262.56/263.93 c #Conflicts: 529000 | #Constraints: 38324
262.56/263.93 c #Conflicts: 530000 | #Constraints: 39820
262.56/263.93 c #Conflicts: 531000 | #Constraints: 41311
262.56/263.93 c INPROCESSING
262.56/263.93 c GARBAGE COLLECT
262.56/263.93 c rational objective 0
273.52/274.95 c #Conflicts: 532000 | #Constraints: 22037
273.52/274.95 c #Conflicts: 533000 | #Constraints: 23534
273.52/274.95 c #Conflicts: 534000 | #Constraints: 24894
273.52/274.95 c #Conflicts: 535000 | #Constraints: 25894
273.52/274.95 c #Conflicts: 536000 | #Constraints: 26918
273.52/274.95 c #Conflicts: 537000 | #Constraints: 28155
273.52/274.95 c #Conflicts: 538000 | #Constraints: 29662
273.52/274.95 c #Conflicts: 539000 | #Constraints: 30745
273.52/274.95 c #Conflicts: 540000 | #Constraints: 31937
273.52/274.95 c #Conflicts: 541000 | #Constraints: 33203
273.52/274.95 c #Conflicts: 542000 | #Constraints: 34621
273.52/274.95 c #Conflicts: 543000 | #Constraints: 36160
273.52/274.95 c #Conflicts: 544000 | #Constraints: 37517
273.52/274.95 c #Conflicts: 545000 | #Constraints: 38894
273.52/274.95 c #Conflicts: 546000 | #Constraints: 39918
273.52/274.95 c INPROCESSING
273.52/274.95 c GARBAGE COLLECT
273.52/274.95 c rational objective 0
283.90/285.35 c #Conflicts: 547000 | #Constraints: 21097
283.90/285.35 c #Conflicts: 548000 | #Constraints: 22281
283.90/285.35 c #Conflicts: 549000 | #Constraints: 23766
283.90/285.35 c #Conflicts: 550000 | #Constraints: 25259
283.90/285.35 c #Conflicts: 551000 | #Constraints: 26653
283.90/285.35 c #Conflicts: 552000 | #Constraints: 27654
283.90/285.35 c #Conflicts: 553000 | #Constraints: 29103
283.90/285.35 c #Conflicts: 554000 | #Constraints: 30584
283.90/285.35 c #Conflicts: 555000 | #Constraints: 32070
283.90/285.35 c #Conflicts: 556000 | #Constraints: 33418
283.90/285.35 c #Conflicts: 557000 | #Constraints: 34777
283.90/285.35 c #Conflicts: 558000 | #Constraints: 35777
283.90/285.35 c #Conflicts: 559000 | #Constraints: 36790
283.90/285.35 c #Conflicts: 560000 | #Constraints: 38289
283.90/285.35 c #Conflicts: 561000 | #Constraints: 39745
283.90/285.35 c INPROCESSING
283.90/285.35 c GARBAGE COLLECT
283.90/285.35 c rational objective 0
295.46/296.91 c #Conflicts: 562000 | #Constraints: 21433
295.46/296.91 c #Conflicts: 563000 | #Constraints: 22958
295.46/296.91 c #Conflicts: 564000 | #Constraints: 24391
295.46/296.91 c #Conflicts: 565000 | #Constraints: 25476
295.46/296.91 c #Conflicts: 566000 | #Constraints: 26777
295.46/296.91 c #Conflicts: 567000 | #Constraints: 27821
295.46/296.91 c #Conflicts: 568000 | #Constraints: 29236
295.46/296.91 c #Conflicts: 569000 | #Constraints: 30537
295.46/296.91 c #Conflicts: 570000 | #Constraints: 31718
295.46/296.91 c #Conflicts: 571000 | #Constraints: 32883
295.46/296.91 c #Conflicts: 572000 | #Constraints: 34239
295.46/296.91 c #Conflicts: 573000 | #Constraints: 35762
295.46/296.91 c #Conflicts: 574000 | #Constraints: 37283
295.46/296.91 c #Conflicts: 575000 | #Constraints: 38823
295.46/296.91 c #Conflicts: 576000 | #Constraints: 40340
295.46/296.91 c INPROCESSING
295.46/296.91 c GARBAGE COLLECT
295.46/296.91 c rational objective 0
306.92/308.44 c #Conflicts: 577000 | #Constraints: 21526
306.92/308.44 c #Conflicts: 578000 | #Constraints: 23022
306.92/308.44 c #Conflicts: 579000 | #Constraints: 24103
306.92/308.44 c #Conflicts: 580000 | #Constraints: 25587
306.92/308.44 c #Conflicts: 581000 | #Constraints: 27075
306.92/308.44 c #Conflicts: 582000 | #Constraints: 28439
306.92/308.44 c #Conflicts: 583000 | #Constraints: 29923
306.92/308.44 c #Conflicts: 584000 | #Constraints: 31312
306.92/308.44 c #Conflicts: 585000 | #Constraints: 32785
306.92/308.44 c #Conflicts: 586000 | #Constraints: 34022
306.92/308.44 c #Conflicts: 587000 | #Constraints: 35446
306.92/308.44 c #Conflicts: 588000 | #Constraints: 36446
306.92/308.44 c #Conflicts: 589000 | #Constraints: 37446
306.92/308.44 c #Conflicts: 590000 | #Constraints: 38886
306.92/308.44 c #Conflicts: 591000 | #Constraints: 40368
306.92/308.44 c INPROCESSING
306.92/308.44 c GARBAGE COLLECT
306.92/308.44 c rational objective 0
307.82/309.32 c #Conflicts: 592000 | #Constraints: 21169
307.82/309.32 c #Conflicts: 593000 | #Constraints: 22693
307.82/309.32 c bounds 2 >= 0 @ 300.396
320.68/322.29 c #Conflicts: 594000 | #Constraints: 23836
320.68/322.29 c #Conflicts: 595000 | #Constraints: 25324
320.68/322.29 c #Conflicts: 596000 | #Constraints: 26832
320.68/322.29 c #Conflicts: 597000 | #Constraints: 28287
320.68/322.29 c #Conflicts: 598000 | #Constraints: 29758
320.68/322.29 c #Conflicts: 599000 | #Constraints: 31231
320.68/322.29 c #Conflicts: 600000 | #Constraints: 32752
320.68/322.29 c #Conflicts: 601000 | #Constraints: 34268
320.68/322.29 c #Conflicts: 602000 | #Constraints: 35807
320.68/322.29 c #Conflicts: 603000 | #Constraints: 37307
320.68/322.29 c #Conflicts: 604000 | #Constraints: 38783
320.68/322.29 c #Conflicts: 605000 | #Constraints: 40281
320.68/322.29 c #Conflicts: 606000 | #Constraints: 41783
320.68/322.29 c #Conflicts: 607000 | #Constraints: 43284
320.68/322.29 c INPROCESSING
320.68/322.29 c GARBAGE COLLECT
320.68/322.29 c rational objective 0
331.64/333.24 c #Conflicts: 608000 | #Constraints: 22908
331.64/333.24 c #Conflicts: 609000 | #Constraints: 23999
331.64/333.24 c #Conflicts: 610000 | #Constraints: 25476
331.64/333.24 c #Conflicts: 611000 | #Constraints: 26947
331.64/333.24 c #Conflicts: 612000 | #Constraints: 28416
331.64/333.24 c #Conflicts: 613000 | #Constraints: 29924
331.64/333.24 c #Conflicts: 614000 | #Constraints: 31424
331.64/333.24 c #Conflicts: 615000 | #Constraints: 32897
331.64/333.24 c #Conflicts: 616000 | #Constraints: 34366
331.64/333.24 c #Conflicts: 617000 | #Constraints: 35854
331.64/333.24 c #Conflicts: 618000 | #Constraints: 37327
331.64/333.24 c #Conflicts: 619000 | #Constraints: 38812
331.64/333.24 c #Conflicts: 620000 | #Constraints: 40283
331.64/333.24 c #Conflicts: 621000 | #Constraints: 41769
331.64/333.24 c #Conflicts: 622000 | #Constraints: 43243
331.64/333.24 c #Conflicts: 623000 | #Constraints: 44719
331.64/333.24 c INPROCESSING
331.64/333.24 c GARBAGE COLLECT
331.64/333.24 c rational objective 0
342.62/344.29 c #Conflicts: 624000 | #Constraints: 23398
342.62/344.29 c #Conflicts: 625000 | #Constraints: 24398
342.62/344.29 c #Conflicts: 626000 | #Constraints: 25848
342.62/344.29 c #Conflicts: 627000 | #Constraints: 27180
342.62/344.29 c #Conflicts: 628000 | #Constraints: 28233
342.62/344.29 c #Conflicts: 629000 | #Constraints: 29750
342.62/344.29 c #Conflicts: 630000 | #Constraints: 31226
342.62/344.29 c #Conflicts: 631000 | #Constraints: 32611
342.62/344.29 c #Conflicts: 632000 | #Constraints: 34077
342.62/344.29 c #Conflicts: 633000 | #Constraints: 35386
342.62/344.29 c #Conflicts: 634000 | #Constraints: 36897
342.62/344.29 c #Conflicts: 635000 | #Constraints: 38323
342.62/344.29 c #Conflicts: 636000 | #Constraints: 39752
342.62/344.29 c #Conflicts: 637000 | #Constraints: 41268
342.62/344.29 c #Conflicts: 638000 | #Constraints: 42519
342.62/344.29 c #Conflicts: 639000 | #Constraints: 43521
342.62/344.29 c INPROCESSING
342.62/344.29 c GARBAGE COLLECT
342.62/344.29 c rational objective 0
356.17/357.85 c #Conflicts: 640000 | #Constraints: 23235
356.17/357.85 c #Conflicts: 641000 | #Constraints: 24722
356.17/357.85 c #Conflicts: 642000 | #Constraints: 26188
356.17/357.85 c #Conflicts: 643000 | #Constraints: 27670
356.17/357.85 c #Conflicts: 644000 | #Constraints: 29155
356.17/357.85 c #Conflicts: 645000 | #Constraints: 30639
356.17/357.85 c #Conflicts: 646000 | #Constraints: 32116
356.17/357.85 c #Conflicts: 647000 | #Constraints: 33600
356.17/357.85 c #Conflicts: 648000 | #Constraints: 35092
356.17/357.85 c #Conflicts: 649000 | #Constraints: 36554
356.17/357.85 c #Conflicts: 650000 | #Constraints: 38037
356.17/357.85 c #Conflicts: 651000 | #Constraints: 39524
356.17/357.85 c #Conflicts: 652000 | #Constraints: 40978
356.17/357.85 c #Conflicts: 653000 | #Constraints: 42452
356.17/357.85 c #Conflicts: 654000 | #Constraints: 43927
356.17/357.85 c #Conflicts: 655000 | #Constraints: 45394
356.17/357.85 c INPROCESSING
356.17/357.85 c GARBAGE COLLECT
356.17/357.85 c rational objective 0
366.84/368.58 c #Conflicts: 656000 | #Constraints: 23708
366.84/368.58 c #Conflicts: 657000 | #Constraints: 24988
366.84/368.58 c #Conflicts: 658000 | #Constraints: 26384
366.84/368.58 c #Conflicts: 659000 | #Constraints: 27676
366.84/368.58 c #Conflicts: 660000 | #Constraints: 28676
366.84/368.58 c #Conflicts: 661000 | #Constraints: 29786
366.84/368.58 c #Conflicts: 662000 | #Constraints: 30786
366.84/368.58 c #Conflicts: 663000 | #Constraints: 31813
366.84/368.58 c #Conflicts: 664000 | #Constraints: 32970
366.84/368.58 c #Conflicts: 665000 | #Constraints: 34248
366.84/368.58 c #Conflicts: 666000 | #Constraints: 35291
366.84/368.58 c #Conflicts: 667000 | #Constraints: 36401
366.84/368.58 c #Conflicts: 668000 | #Constraints: 37402
366.84/368.58 c #Conflicts: 669000 | #Constraints: 38566
366.84/368.58 c #Conflicts: 670000 | #Constraints: 39880
366.84/368.58 c #Conflicts: 671000 | #Constraints: 41040
366.84/368.58 c INPROCESSING
366.84/368.58 c GARBAGE COLLECT
366.84/368.58 c rational objective 0
378.01/379.77 c #Conflicts: 672000 | #Constraints: 21430
378.01/379.77 c #Conflicts: 673000 | #Constraints: 22886
378.01/379.77 c #Conflicts: 674000 | #Constraints: 24356
378.01/379.77 c #Conflicts: 675000 | #Constraints: 25733
378.01/379.77 c #Conflicts: 676000 | #Constraints: 27226
378.01/379.77 c #Conflicts: 677000 | #Constraints: 28728
378.01/379.77 c #Conflicts: 678000 | #Constraints: 29964
378.01/379.77 c #Conflicts: 679000 | #Constraints: 31057
378.01/379.77 c #Conflicts: 680000 | #Constraints: 32539
378.01/379.77 c #Conflicts: 681000 | #Constraints: 33977
378.01/379.77 c #Conflicts: 682000 | #Constraints: 34977
378.01/379.77 c #Conflicts: 683000 | #Constraints: 35979
378.01/379.77 c #Conflicts: 684000 | #Constraints: 37464
378.01/379.77 c #Conflicts: 685000 | #Constraints: 38952
378.01/379.77 c #Conflicts: 686000 | #Constraints: 40432
378.01/379.77 c #Conflicts: 687000 | #Constraints: 41898
378.01/379.77 c #Conflicts: 688000 | #Constraints: 43380
378.01/379.77 c INPROCESSING
378.01/379.77 c GARBAGE COLLECT
378.01/379.77 c rational objective 0
391.76/393.53 c #Conflicts: 689000 | #Constraints: 23022
391.76/393.53 c #Conflicts: 690000 | #Constraints: 24507
391.76/393.53 c #Conflicts: 691000 | #Constraints: 26023
391.76/393.53 c #Conflicts: 692000 | #Constraints: 27551
391.76/393.53 c #Conflicts: 693000 | #Constraints: 29070
391.76/393.53 c #Conflicts: 694000 | #Constraints: 30610
391.76/393.53 c #Conflicts: 695000 | #Constraints: 32158
391.76/393.53 c #Conflicts: 696000 | #Constraints: 33693
391.76/393.53 c #Conflicts: 697000 | #Constraints: 35228
391.76/393.53 c #Conflicts: 698000 | #Constraints: 36760
391.76/393.53 c #Conflicts: 699000 | #Constraints: 38283
391.76/393.53 c #Conflicts: 700000 | #Constraints: 39806
391.76/393.53 c #Conflicts: 701000 | #Constraints: 41320
391.76/393.53 c #Conflicts: 702000 | #Constraints: 42826
391.76/393.53 c #Conflicts: 703000 | #Constraints: 44284
391.76/393.53 c #Conflicts: 704000 | #Constraints: 45813
391.76/393.53 c #Conflicts: 705000 | #Constraints: 47331
391.76/393.53 c INPROCESSING
391.76/393.53 c GARBAGE COLLECT
391.76/393.53 c rational objective 0
404.62/406.46 c #Conflicts: 706000 | #Constraints: 24936
404.62/406.46 c #Conflicts: 707000 | #Constraints: 26445
404.62/406.46 c #Conflicts: 708000 | #Constraints: 27902
404.62/406.46 c #Conflicts: 709000 | #Constraints: 29238
404.62/406.46 c #Conflicts: 710000 | #Constraints: 30571
404.62/406.46 c #Conflicts: 711000 | #Constraints: 31800
404.62/406.46 c #Conflicts: 712000 | #Constraints: 33261
404.62/406.46 c #Conflicts: 713000 | #Constraints: 34742
404.62/406.46 c #Conflicts: 714000 | #Constraints: 36215
404.62/406.46 c #Conflicts: 715000 | #Constraints: 37685
404.62/406.46 c #Conflicts: 716000 | #Constraints: 39176
404.62/406.46 c #Conflicts: 717000 | #Constraints: 40662
404.62/406.46 c #Conflicts: 718000 | #Constraints: 42138
404.62/406.46 c #Conflicts: 719000 | #Constraints: 43609
404.62/406.46 c #Conflicts: 720000 | #Constraints: 45079
404.62/406.46 c #Conflicts: 721000 | #Constraints: 46536
404.62/406.46 c #Conflicts: 722000 | #Constraints: 48038
404.62/406.46 c INPROCESSING
404.62/406.46 c GARBAGE COLLECT
404.62/406.46 c rational objective 0
418.78/420.64 c #Conflicts: 723000 | #Constraints: 25439
418.78/420.64 c #Conflicts: 724000 | #Constraints: 26965
418.78/420.64 c #Conflicts: 725000 | #Constraints: 28300
418.78/420.64 c #Conflicts: 726000 | #Constraints: 29650
418.78/420.64 c #Conflicts: 727000 | #Constraints: 31164
418.78/420.64 c #Conflicts: 728000 | #Constraints: 32671
418.78/420.64 c #Conflicts: 729000 | #Constraints: 34171
418.78/420.64 c #Conflicts: 730000 | #Constraints: 35680
418.78/420.64 c #Conflicts: 731000 | #Constraints: 37118
418.78/420.64 c #Conflicts: 732000 | #Constraints: 38632
418.78/420.64 c #Conflicts: 733000 | #Constraints: 40159
418.78/420.64 c #Conflicts: 734000 | #Constraints: 41672
418.78/420.64 c #Conflicts: 735000 | #Constraints: 43160
418.78/420.64 c #Conflicts: 736000 | #Constraints: 44679
418.78/420.64 c #Conflicts: 737000 | #Constraints: 46189
418.78/420.64 c #Conflicts: 738000 | #Constraints: 47718
418.78/420.64 c #Conflicts: 739000 | #Constraints: 49249
418.78/420.64 c INPROCESSING
418.78/420.64 c GARBAGE COLLECT
418.78/420.64 c rational objective 0
432.54/434.41 c #Conflicts: 740000 | #Constraints: 25849
432.54/434.41 c #Conflicts: 741000 | #Constraints: 27270
432.54/434.41 c #Conflicts: 742000 | #Constraints: 28655
432.54/434.41 c #Conflicts: 743000 | #Constraints: 30103
432.54/434.41 c #Conflicts: 744000 | #Constraints: 31580
432.54/434.41 c #Conflicts: 745000 | #Constraints: 33070
432.54/434.41 c #Conflicts: 746000 | #Constraints: 34506
432.54/434.41 c #Conflicts: 747000 | #Constraints: 35832
432.54/434.41 c #Conflicts: 748000 | #Constraints: 37011
432.54/434.41 c #Conflicts: 749000 | #Constraints: 38373
432.54/434.41 c #Conflicts: 750000 | #Constraints: 39856
432.54/434.41 c #Conflicts: 751000 | #Constraints: 41176
432.54/434.41 c #Conflicts: 752000 | #Constraints: 42255
432.54/434.41 c #Conflicts: 753000 | #Constraints: 43598
432.54/434.41 c #Conflicts: 754000 | #Constraints: 45051
432.54/434.41 c #Conflicts: 755000 | #Constraints: 46451
432.54/434.41 c #Conflicts: 756000 | #Constraints: 47942
432.54/434.41 c INPROCESSING
432.54/434.41 c GARBAGE COLLECT
432.54/434.41 c rational objective 0
447.70/449.67 c #Conflicts: 757000 | #Constraints: 24964
447.70/449.67 c #Conflicts: 758000 | #Constraints: 26391
447.70/449.67 c #Conflicts: 759000 | #Constraints: 27906
447.70/449.67 c #Conflicts: 760000 | #Constraints: 29415
447.70/449.67 c #Conflicts: 761000 | #Constraints: 30964
447.70/449.67 c #Conflicts: 762000 | #Constraints: 32502
447.70/449.67 c #Conflicts: 763000 | #Constraints: 34017
447.70/449.67 c #Conflicts: 764000 | #Constraints: 35530
447.70/449.67 c #Conflicts: 765000 | #Constraints: 36993
447.70/449.67 c #Conflicts: 766000 | #Constraints: 38437
447.70/449.67 c #Conflicts: 767000 | #Constraints: 39690
447.70/449.67 c #Conflicts: 768000 | #Constraints: 41172
447.70/449.67 c #Conflicts: 769000 | #Constraints: 42516
447.70/449.67 c #Conflicts: 770000 | #Constraints: 43729
447.70/449.67 c #Conflicts: 771000 | #Constraints: 44973
447.70/449.67 c #Conflicts: 772000 | #Constraints: 46382
447.70/449.67 c #Conflicts: 773000 | #Constraints: 47904
447.70/449.67 c #Conflicts: 774000 | #Constraints: 48919
447.70/449.67 c INPROCESSING
447.70/449.67 c GARBAGE COLLECT
447.70/449.67 c rational objective 0
458.96/460.95 c #Conflicts: 775000 | #Constraints: 25380
458.96/460.95 c #Conflicts: 776000 | #Constraints: 26383
458.96/460.95 c #Conflicts: 777000 | #Constraints: 27384
458.96/460.95 c #Conflicts: 778000 | #Constraints: 28385
458.96/460.95 c #Conflicts: 779000 | #Constraints: 29385
458.96/460.95 c #Conflicts: 780000 | #Constraints: 30385
458.96/460.95 c #Conflicts: 781000 | #Constraints: 31385
458.96/460.95 c #Conflicts: 782000 | #Constraints: 32386
458.96/460.95 c #Conflicts: 783000 | #Constraints: 33386
458.96/460.95 c #Conflicts: 784000 | #Constraints: 34387
458.96/460.95 c #Conflicts: 785000 | #Constraints: 35388
458.96/460.95 c #Conflicts: 786000 | #Constraints: 36388
458.96/460.95 c #Conflicts: 787000 | #Constraints: 37388
458.96/460.95 c #Conflicts: 788000 | #Constraints: 38389
458.96/460.95 c #Conflicts: 789000 | #Constraints: 39390
458.96/460.95 c #Conflicts: 790000 | #Constraints: 40391
458.96/460.95 c #Conflicts: 791000 | #Constraints: 41391
458.96/460.95 c #Conflicts: 792000 | #Constraints: 42391
458.96/460.95 c INPROCESSING
458.96/460.95 c GARBAGE COLLECT
458.96/460.95 c rational objective 0
472.82/474.85 c #Conflicts: 793000 | #Constraints: 22643
472.82/474.85 c #Conflicts: 794000 | #Constraints: 23977
472.82/474.85 c #Conflicts: 795000 | #Constraints: 25194
472.82/474.85 c #Conflicts: 796000 | #Constraints: 26624
472.82/474.85 c #Conflicts: 797000 | #Constraints: 28037
472.82/474.85 c #Conflicts: 798000 | #Constraints: 29369
472.82/474.85 c #Conflicts: 799000 | #Constraints: 30663
472.82/474.85 c #Conflicts: 800000 | #Constraints: 32106
472.82/474.85 c #Conflicts: 801000 | #Constraints: 33424
472.82/474.85 c #Conflicts: 802000 | #Constraints: 34797
472.82/474.85 c #Conflicts: 803000 | #Constraints: 36208
472.82/474.85 c #Conflicts: 804000 | #Constraints: 37208
472.82/474.85 c #Conflicts: 805000 | #Constraints: 38429
472.82/474.85 c #Conflicts: 806000 | #Constraints: 39572
472.82/474.85 c #Conflicts: 807000 | #Constraints: 40806
472.82/474.85 c #Conflicts: 808000 | #Constraints: 42084
472.82/474.85 c #Conflicts: 809000 | #Constraints: 43385
472.82/474.85 c #Conflicts: 810000 | #Constraints: 44733
472.82/474.85 c INPROCESSING
472.82/474.85 c GARBAGE COLLECT
472.82/474.85 c rational objective 0
484.99/487.07 c #Conflicts: 811000 | #Constraints: 23396
484.99/487.07 c #Conflicts: 812000 | #Constraints: 24623
484.99/487.07 c #Conflicts: 813000 | #Constraints: 25708
484.99/487.07 c #Conflicts: 814000 | #Constraints: 26857
484.99/487.07 c #Conflicts: 815000 | #Constraints: 28015
484.99/487.07 c #Conflicts: 816000 | #Constraints: 29181
484.99/487.07 c #Conflicts: 817000 | #Constraints: 30183
484.99/487.07 c #Conflicts: 818000 | #Constraints: 31183
484.99/487.07 c #Conflicts: 819000 | #Constraints: 32226
484.99/487.07 c #Conflicts: 820000 | #Constraints: 33379
484.99/487.07 c #Conflicts: 821000 | #Constraints: 34538
484.99/487.07 c #Conflicts: 822000 | #Constraints: 35664
484.99/487.07 c #Conflicts: 823000 | #Constraints: 37032
484.99/487.07 c #Conflicts: 824000 | #Constraints: 38071
484.99/487.07 c #Conflicts: 825000 | #Constraints: 39353
484.99/487.07 c #Conflicts: 826000 | #Constraints: 40854
484.99/487.07 c #Conflicts: 827000 | #Constraints: 42373
484.99/487.07 c #Conflicts: 828000 | #Constraints: 43597
484.99/487.07 c INPROCESSING
484.99/487.07 c GARBAGE COLLECT
484.99/487.07 c rational objective 0
507.41/509.58 c #Conflicts: 829000 | #Constraints: 23142
507.41/509.58 c #Conflicts: 830000 | #Constraints: 24658
507.41/509.58 c #Conflicts: 831000 | #Constraints: 26157
507.41/509.58 c #Conflicts: 832000 | #Constraints: 27684
507.41/509.58 c #Conflicts: 833000 | #Constraints: 29227
507.41/509.58 c #Conflicts: 834000 | #Constraints: 30739
507.41/509.58 c #Conflicts: 835000 | #Constraints: 31739
507.41/509.58 c #Conflicts: 836000 | #Constraints: 33048
507.41/509.58 c #Conflicts: 837000 | #Constraints: 34582
507.41/509.58 c #Conflicts: 838000 | #Constraints: 36082
507.41/509.58 c #Conflicts: 839000 | #Constraints: 37596
507.41/509.58 c #Conflicts: 840000 | #Constraints: 39101
507.41/509.58 c #Conflicts: 841000 | #Constraints: 40609
507.41/509.58 c #Conflicts: 842000 | #Constraints: 42071
507.41/509.58 c #Conflicts: 843000 | #Constraints: 43558
507.41/509.58 c #Conflicts: 844000 | #Constraints: 45068
507.41/509.58 c #Conflicts: 845000 | #Constraints: 46574
507.41/509.58 c #Conflicts: 846000 | #Constraints: 48099
507.41/509.58 c INPROCESSING
507.41/509.58 c GARBAGE COLLECT
507.41/509.58 c rational objective 0
524.57/527.79 c #Conflicts: 847000 | #Constraints: 25012
524.57/527.79 c #Conflicts: 848000 | #Constraints: 26482
524.57/527.79 c #Conflicts: 849000 | #Constraints: 27853
524.57/527.79 c #Conflicts: 850000 | #Constraints: 29304
524.57/527.79 c #Conflicts: 851000 | #Constraints: 30804
524.57/527.79 c #Conflicts: 852000 | #Constraints: 32294
524.57/527.79 c #Conflicts: 853000 | #Constraints: 33646
524.57/527.79 c #Conflicts: 854000 | #Constraints: 34657
524.57/527.79 c #Conflicts: 855000 | #Constraints: 36117
524.57/527.79 c #Conflicts: 856000 | #Constraints: 37612
524.57/527.79 c #Conflicts: 857000 | #Constraints: 39112
524.57/527.79 c #Conflicts: 858000 | #Constraints: 40603
524.57/527.79 c #Conflicts: 859000 | #Constraints: 42101
524.57/527.79 c #Conflicts: 860000 | #Constraints: 43610
524.57/527.79 c #Conflicts: 861000 | #Constraints: 44868
524.57/527.79 c #Conflicts: 862000 | #Constraints: 45868
524.57/527.79 c #Conflicts: 863000 | #Constraints: 47245
524.57/527.79 c #Conflicts: 864000 | #Constraints: 48736
524.57/527.79 c #Conflicts: 865000 | #Constraints: 50222
524.57/527.79 c INPROCESSING
524.57/527.79 c GARBAGE COLLECT
524.57/527.79 c rational objective 0
543.41/546.66 c #Conflicts: 866000 | #Constraints: 26448
543.41/546.66 c #Conflicts: 867000 | #Constraints: 27938
543.41/546.66 c #Conflicts: 868000 | #Constraints: 29425
543.41/546.66 c #Conflicts: 869000 | #Constraints: 30911
543.41/546.66 c #Conflicts: 870000 | #Constraints: 32392
543.41/546.66 c #Conflicts: 871000 | #Constraints: 33904
543.41/546.66 c #Conflicts: 872000 | #Constraints: 35412
543.41/546.66 c #Conflicts: 873000 | #Constraints: 36915
543.41/546.66 c #Conflicts: 874000 | #Constraints: 38377
543.41/546.66 c #Conflicts: 875000 | #Constraints: 39876
543.41/546.66 c #Conflicts: 876000 | #Constraints: 41362
543.41/546.66 c #Conflicts: 877000 | #Constraints: 42868
543.41/546.66 c #Conflicts: 878000 | #Constraints: 44361
543.41/546.66 c #Conflicts: 879000 | #Constraints: 45872
543.41/546.66 c #Conflicts: 880000 | #Constraints: 47369
543.41/546.66 c #Conflicts: 881000 | #Constraints: 48847
543.41/546.66 c #Conflicts: 882000 | #Constraints: 50345
543.41/546.66 c #Conflicts: 883000 | #Constraints: 51838
543.41/546.66 c #Conflicts: 884000 | #Constraints: 53347
543.41/546.66 c INPROCESSING
543.41/546.66 c GARBAGE COLLECT
543.41/546.66 c rational objective 0
563.18/567.01 c #Conflicts: 885000 | #Constraints: 28202
563.18/567.01 c #Conflicts: 886000 | #Constraints: 29701
563.18/567.01 c #Conflicts: 887000 | #Constraints: 31212
563.18/567.01 c #Conflicts: 888000 | #Constraints: 32760
563.18/567.01 c #Conflicts: 889000 | #Constraints: 34313
563.18/567.01 c #Conflicts: 890000 | #Constraints: 35837
563.18/567.01 c #Conflicts: 891000 | #Constraints: 37386
563.18/567.01 c #Conflicts: 892000 | #Constraints: 38903
563.18/567.01 c #Conflicts: 893000 | #Constraints: 40405
563.18/567.01 c #Conflicts: 894000 | #Constraints: 41926
563.18/567.01 c #Conflicts: 895000 | #Constraints: 43466
563.18/567.01 c #Conflicts: 896000 | #Constraints: 44986
563.18/567.01 c #Conflicts: 897000 | #Constraints: 46518
563.18/567.01 c #Conflicts: 898000 | #Constraints: 48058
563.18/567.01 c #Conflicts: 899000 | #Constraints: 49586
563.18/567.01 c #Conflicts: 900000 | #Constraints: 51108
563.18/567.01 c #Conflicts: 901000 | #Constraints: 52636
563.18/567.01 c #Conflicts: 902000 | #Constraints: 54163
563.18/567.01 c #Conflicts: 903000 | #Constraints: 55682
563.18/567.01 c INPROCESSING
563.18/567.01 c GARBAGE COLLECT
563.18/567.01 c rational objective 0
583.66/589.62 c #Conflicts: 904000 | #Constraints: 29250
583.66/589.62 c #Conflicts: 905000 | #Constraints: 30731
583.66/589.62 c #Conflicts: 906000 | #Constraints: 32217
583.66/589.62 c #Conflicts: 907000 | #Constraints: 33707
583.66/589.62 c #Conflicts: 908000 | #Constraints: 35194
583.66/589.62 c #Conflicts: 909000 | #Constraints: 36696
583.66/589.62 c #Conflicts: 910000 | #Constraints: 38181
583.66/589.62 c #Conflicts: 911000 | #Constraints: 39670
583.66/589.62 c #Conflicts: 912000 | #Constraints: 41174
583.66/589.62 c #Conflicts: 913000 | #Constraints: 42667
583.66/589.62 c #Conflicts: 914000 | #Constraints: 44155
583.66/589.62 c #Conflicts: 915000 | #Constraints: 45629
583.66/589.62 c #Conflicts: 916000 | #Constraints: 47110
583.66/589.62 c #Conflicts: 917000 | #Constraints: 48598
583.66/589.62 c #Conflicts: 918000 | #Constraints: 50102
583.66/589.62 c #Conflicts: 919000 | #Constraints: 51582
583.66/589.62 c #Conflicts: 920000 | #Constraints: 53083
583.66/589.62 c #Conflicts: 921000 | #Constraints: 54571
583.66/589.62 c #Conflicts: 922000 | #Constraints: 56068
583.66/589.62 c INPROCESSING
583.66/589.62 c GARBAGE COLLECT
583.66/589.62 c rational objective 0
608.07/614.14 c #Conflicts: 923000 | #Constraints: 29351
608.07/614.14 c #Conflicts: 924000 | #Constraints: 30893
608.07/614.14 c #Conflicts: 925000 | #Constraints: 32402
608.07/614.14 c #Conflicts: 926000 | #Constraints: 33931
608.07/614.14 c #Conflicts: 927000 | #Constraints: 35450
608.07/614.14 c #Conflicts: 928000 | #Constraints: 36993
608.07/614.14 c #Conflicts: 929000 | #Constraints: 38507
608.07/614.14 c #Conflicts: 930000 | #Constraints: 40025
608.07/614.14 c #Conflicts: 931000 | #Constraints: 41536
608.07/614.14 c #Conflicts: 932000 | #Constraints: 42889
608.07/614.14 c #Conflicts: 933000 | #Constraints: 44092
608.07/614.14 c #Conflicts: 934000 | #Constraints: 45585
608.07/614.14 c #Conflicts: 935000 | #Constraints: 46960
608.07/614.14 c #Conflicts: 936000 | #Constraints: 48484
608.07/614.14 c #Conflicts: 937000 | #Constraints: 50013
608.07/614.14 c #Conflicts: 938000 | #Constraints: 51533
608.07/614.14 c #Conflicts: 939000 | #Constraints: 52570
608.07/614.14 c #Conflicts: 940000 | #Constraints: 53570
608.07/614.14 c #Conflicts: 941000 | #Constraints: 54887
608.07/614.14 c INPROCESSING
608.07/614.14 c GARBAGE COLLECT
608.07/614.14 c rational objective 0
626.82/633.97 c #Conflicts: 942000 | #Constraints: 28383
626.82/633.97 c #Conflicts: 943000 | #Constraints: 29717
626.82/633.97 c #Conflicts: 944000 | #Constraints: 31087
626.82/633.97 c #Conflicts: 945000 | #Constraints: 32435
626.82/633.97 c #Conflicts: 946000 | #Constraints: 33910
626.82/633.97 c #Conflicts: 947000 | #Constraints: 35335
626.82/633.97 c #Conflicts: 948000 | #Constraints: 36710
626.82/633.97 c #Conflicts: 949000 | #Constraints: 37952
626.82/633.97 c #Conflicts: 950000 | #Constraints: 39132
626.82/633.97 c #Conflicts: 951000 | #Constraints: 40538
626.82/633.97 c #Conflicts: 952000 | #Constraints: 41937
626.82/633.97 c #Conflicts: 953000 | #Constraints: 42952
626.82/633.97 c #Conflicts: 954000 | #Constraints: 44008
626.82/633.97 c #Conflicts: 955000 | #Constraints: 45485
626.82/633.97 c #Conflicts: 956000 | #Constraints: 46821
626.82/633.97 c #Conflicts: 957000 | #Constraints: 47975
626.82/633.97 c #Conflicts: 958000 | #Constraints: 49149
626.82/633.97 c #Conflicts: 959000 | #Constraints: 50283
626.82/633.97 c #Conflicts: 960000 | #Constraints: 51511
626.82/633.97 c #Conflicts: 961000 | #Constraints: 52875
626.82/633.97 c INPROCESSING
626.82/633.97 c GARBAGE COLLECT
626.82/633.97 c rational objective 0
646.86/654.05 c #Conflicts: 962000 | #Constraints: 27738
646.86/654.05 c #Conflicts: 963000 | #Constraints: 29161
646.86/654.05 c #Conflicts: 964000 | #Constraints: 30594
646.86/654.05 c #Conflicts: 965000 | #Constraints: 31823
646.86/654.05 c #Conflicts: 966000 | #Constraints: 33186
646.86/654.05 c #Conflicts: 967000 | #Constraints: 34500
646.86/654.05 c #Conflicts: 968000 | #Constraints: 35874
646.86/654.05 c #Conflicts: 969000 | #Constraints: 37317
646.86/654.05 c #Conflicts: 970000 | #Constraints: 38784
646.86/654.05 c #Conflicts: 971000 | #Constraints: 40218
646.86/654.05 c #Conflicts: 972000 | #Constraints: 41723
646.86/654.05 c #Conflicts: 973000 | #Constraints: 43069
646.86/654.05 c #Conflicts: 974000 | #Constraints: 44428
646.86/654.05 c #Conflicts: 975000 | #Constraints: 45822
646.86/654.05 c #Conflicts: 976000 | #Constraints: 47309
646.86/654.05 c #Conflicts: 977000 | #Constraints: 48825
646.86/654.05 c #Conflicts: 978000 | #Constraints: 50256
646.86/654.05 c #Conflicts: 979000 | #Constraints: 51743
646.86/654.05 c #Conflicts: 980000 | #Constraints: 53249
646.86/654.05 c #Conflicts: 981000 | #Constraints: 54756
646.86/654.05 c INPROCESSING
646.86/654.05 c GARBAGE COLLECT
646.86/654.05 c rational objective 0
663.91/671.14 c #Conflicts: 982000 | #Constraints: 28590
663.91/671.14 c #Conflicts: 983000 | #Constraints: 29621
663.91/671.14 c #Conflicts: 984000 | #Constraints: 30662
663.91/671.14 c #Conflicts: 985000 | #Constraints: 31813
663.91/671.14 c #Conflicts: 986000 | #Constraints: 33032
663.91/671.14 c #Conflicts: 987000 | #Constraints: 34194
663.91/671.14 c #Conflicts: 988000 | #Constraints: 35324
663.91/671.14 c #Conflicts: 989000 | #Constraints: 36774
663.91/671.14 c #Conflicts: 990000 | #Constraints: 38071
663.91/671.14 c #Conflicts: 991000 | #Constraints: 39211
663.91/671.14 c #Conflicts: 992000 | #Constraints: 40474
663.91/671.14 c #Conflicts: 993000 | #Constraints: 41563
663.91/671.14 c #Conflicts: 994000 | #Constraints: 42629
663.91/671.14 c #Conflicts: 995000 | #Constraints: 43919
663.91/671.14 c #Conflicts: 996000 | #Constraints: 45306
663.91/671.14 c #Conflicts: 997000 | #Constraints: 46770
663.91/671.14 c #Conflicts: 998000 | #Constraints: 47871
663.91/671.14 c #Conflicts: 999000 | #Constraints: 48973
663.91/671.14 c #Conflicts: 1000000 | #Constraints: 50506
663.91/671.14 c #Conflicts: 1001000 | #Constraints: 51606
663.91/671.14 c INPROCESSING
663.91/671.14 c GARBAGE COLLECT
663.91/671.14 c rational objective 0
683.75/691.06 c #Conflicts: 1002000 | #Constraints: 27279
683.75/691.06 c #Conflicts: 1003000 | #Constraints: 28761
683.75/691.06 c #Conflicts: 1004000 | #Constraints: 30226
683.75/691.06 c #Conflicts: 1005000 | #Constraints: 31575
683.75/691.06 c #Conflicts: 1006000 | #Constraints: 32957
683.75/691.06 c #Conflicts: 1007000 | #Constraints: 34225
683.75/691.06 c #Conflicts: 1008000 | #Constraints: 35372
683.75/691.06 c #Conflicts: 1009000 | #Constraints: 36699
683.75/691.06 c #Conflicts: 1010000 | #Constraints: 38034
683.75/691.06 c #Conflicts: 1011000 | #Constraints: 39388
683.75/691.06 c #Conflicts: 1012000 | #Constraints: 40518
683.75/691.06 c #Conflicts: 1013000 | #Constraints: 41684
683.75/691.06 c #Conflicts: 1014000 | #Constraints: 42939
683.75/691.06 c #Conflicts: 1015000 | #Constraints: 44138
683.75/691.06 c #Conflicts: 1016000 | #Constraints: 45392
683.75/691.06 c #Conflicts: 1017000 | #Constraints: 46718
683.75/691.06 c #Conflicts: 1018000 | #Constraints: 47903
683.75/691.06 c #Conflicts: 1019000 | #Constraints: 48988
683.75/691.06 c #Conflicts: 1020000 | #Constraints: 50348
683.75/691.06 c #Conflicts: 1021000 | #Constraints: 51582
683.75/691.06 c INPROCESSING
683.75/691.06 c GARBAGE COLLECT
683.75/691.06 c rational objective 0
701.58/708.91 c #Conflicts: 1022000 | #Constraints: 26762
701.58/708.91 c #Conflicts: 1023000 | #Constraints: 27995
701.58/708.91 c #Conflicts: 1024000 | #Constraints: 29041
701.58/708.91 c #Conflicts: 1025000 | #Constraints: 30055
701.58/708.91 c #Conflicts: 1026000 | #Constraints: 31171
701.58/708.91 c #Conflicts: 1027000 | #Constraints: 32347
701.58/708.91 c #Conflicts: 1028000 | #Constraints: 33347
701.58/708.91 c #Conflicts: 1029000 | #Constraints: 34429
701.58/708.91 c #Conflicts: 1030000 | #Constraints: 35518
701.58/708.91 c #Conflicts: 1031000 | #Constraints: 36907
701.58/708.91 c #Conflicts: 1032000 | #Constraints: 38318
701.58/708.91 c #Conflicts: 1033000 | #Constraints: 39541
701.58/708.91 c #Conflicts: 1034000 | #Constraints: 40765
701.58/708.91 c #Conflicts: 1035000 | #Constraints: 41765
701.58/708.91 c #Conflicts: 1036000 | #Constraints: 42765
701.58/708.91 c #Conflicts: 1037000 | #Constraints: 43765
701.58/708.91 c #Conflicts: 1038000 | #Constraints: 44796
701.58/708.91 c #Conflicts: 1039000 | #Constraints: 45796
701.58/708.91 c #Conflicts: 1040000 | #Constraints: 46796
701.58/708.91 c #Conflicts: 1041000 | #Constraints: 47796
701.58/708.91 c INPROCESSING
701.58/708.91 c GARBAGE COLLECT
701.58/708.91 c rational objective 0
722.01/729.45 c #Conflicts: 1042000 | #Constraints: 24755
722.01/729.45 c #Conflicts: 1043000 | #Constraints: 25951
722.01/729.45 c #Conflicts: 1044000 | #Constraints: 26958
722.01/729.45 c #Conflicts: 1045000 | #Constraints: 28423
722.01/729.45 c #Conflicts: 1046000 | #Constraints: 29672
722.01/729.45 c #Conflicts: 1047000 | #Constraints: 30764
722.01/729.45 c #Conflicts: 1048000 | #Constraints: 31792
722.01/729.45 c #Conflicts: 1049000 | #Constraints: 33290
722.01/729.45 c #Conflicts: 1050000 | #Constraints: 34617
722.01/729.45 c #Conflicts: 1051000 | #Constraints: 35697
722.01/729.45 c #Conflicts: 1052000 | #Constraints: 36732
722.01/729.45 c #Conflicts: 1053000 | #Constraints: 38002
722.01/729.45 c #Conflicts: 1054000 | #Constraints: 39510
722.01/729.45 c #Conflicts: 1055000 | #Constraints: 40643
722.01/729.45 c #Conflicts: 1056000 | #Constraints: 42169
722.01/729.45 c #Conflicts: 1057000 | #Constraints: 43623
722.01/729.45 c #Conflicts: 1058000 | #Constraints: 45034
722.01/729.45 c #Conflicts: 1059000 | #Constraints: 46575
722.01/729.45 c #Conflicts: 1060000 | #Constraints: 47754
722.01/729.45 c #Conflicts: 1061000 | #Constraints: 49197
722.01/729.45 c #Conflicts: 1062000 | #Constraints: 50431
722.01/729.45 c INPROCESSING
722.01/729.45 c GARBAGE COLLECT
722.01/729.45 c rational objective 0
744.25/751.76 c #Conflicts: 1063000 | #Constraints: 26273
744.25/751.76 c #Conflicts: 1064000 | #Constraints: 27754
744.25/751.76 c #Conflicts: 1065000 | #Constraints: 29213
744.25/751.76 c #Conflicts: 1066000 | #Constraints: 30703
744.25/751.76 c #Conflicts: 1067000 | #Constraints: 32071
744.25/751.76 c #Conflicts: 1068000 | #Constraints: 33388
744.25/751.76 c #Conflicts: 1069000 | #Constraints: 34769
744.25/751.76 c #Conflicts: 1070000 | #Constraints: 36181
744.25/751.76 c #Conflicts: 1071000 | #Constraints: 37665
744.25/751.76 c #Conflicts: 1072000 | #Constraints: 39154
744.25/751.76 c #Conflicts: 1073000 | #Constraints: 40677
744.25/751.76 c #Conflicts: 1074000 | #Constraints: 42170
744.25/751.76 c #Conflicts: 1075000 | #Constraints: 43655
744.25/751.76 c #Conflicts: 1076000 | #Constraints: 45098
744.25/751.76 c #Conflicts: 1077000 | #Constraints: 46493
744.25/751.76 c #Conflicts: 1078000 | #Constraints: 47856
744.25/751.76 c #Conflicts: 1079000 | #Constraints: 49343
744.25/751.76 c #Conflicts: 1080000 | #Constraints: 50789
744.25/751.76 c #Conflicts: 1081000 | #Constraints: 52105
744.25/751.76 c #Conflicts: 1082000 | #Constraints: 53245
744.25/751.76 c #Conflicts: 1083000 | #Constraints: 54718
744.25/751.76 c INPROCESSING
744.25/751.76 c GARBAGE COLLECT
744.25/751.76 c rational objective 0
766.87/774.49 c #Conflicts: 1084000 | #Constraints: 28901
766.87/774.49 c #Conflicts: 1085000 | #Constraints: 30418
766.87/774.49 c #Conflicts: 1086000 | #Constraints: 31943
766.87/774.49 c #Conflicts: 1087000 | #Constraints: 33094
766.87/774.49 c #Conflicts: 1088000 | #Constraints: 34591
766.87/774.49 c #Conflicts: 1089000 | #Constraints: 36124
766.87/774.49 c #Conflicts: 1090000 | #Constraints: 37653
766.87/774.49 c #Conflicts: 1091000 | #Constraints: 39189
766.87/774.49 c #Conflicts: 1092000 | #Constraints: 40541
766.87/774.49 c #Conflicts: 1093000 | #Constraints: 41963
766.87/774.49 c #Conflicts: 1094000 | #Constraints: 43517
766.87/774.49 c #Conflicts: 1095000 | #Constraints: 45018
766.87/774.49 c #Conflicts: 1096000 | #Constraints: 46556
766.87/774.49 c #Conflicts: 1097000 | #Constraints: 48094
766.87/774.49 c #Conflicts: 1098000 | #Constraints: 49629
766.87/774.49 c #Conflicts: 1099000 | #Constraints: 51144
766.87/774.49 c #Conflicts: 1100000 | #Constraints: 52300
766.87/774.49 c #Conflicts: 1101000 | #Constraints: 53831
766.87/774.49 c #Conflicts: 1102000 | #Constraints: 55176
766.87/774.49 c #Conflicts: 1103000 | #Constraints: 56713
766.87/774.49 c #Conflicts: 1104000 | #Constraints: 57906
766.87/774.49 c INPROCESSING
766.87/774.49 c GARBAGE COLLECT
766.87/774.49 c rational objective 0
788.91/796.57 c #Conflicts: 1105000 | #Constraints: 30413
788.91/796.57 c #Conflicts: 1106000 | #Constraints: 31895
788.91/796.57 c #Conflicts: 1107000 | #Constraints: 33401
788.91/796.57 c #Conflicts: 1108000 | #Constraints: 34901
788.91/796.57 c #Conflicts: 1109000 | #Constraints: 36308
788.91/796.57 c #Conflicts: 1110000 | #Constraints: 37626
788.91/796.57 c #Conflicts: 1111000 | #Constraints: 38848
788.91/796.57 c #Conflicts: 1112000 | #Constraints: 40244
788.91/796.57 c #Conflicts: 1113000 | #Constraints: 41544
788.91/796.57 c #Conflicts: 1114000 | #Constraints: 43039
788.91/796.57 c #Conflicts: 1115000 | #Constraints: 44500
788.91/796.57 c #Conflicts: 1116000 | #Constraints: 46002
788.91/796.57 c #Conflicts: 1117000 | #Constraints: 47494
788.91/796.57 c #Conflicts: 1118000 | #Constraints: 48900
788.91/796.57 c #Conflicts: 1119000 | #Constraints: 50132
788.91/796.57 c #Conflicts: 1120000 | #Constraints: 51636
788.91/796.57 c #Conflicts: 1121000 | #Constraints: 53139
788.91/796.57 c #Conflicts: 1122000 | #Constraints: 54635
788.91/796.57 c #Conflicts: 1123000 | #Constraints: 55897
788.91/796.57 c #Conflicts: 1124000 | #Constraints: 57324
788.91/796.57 c #Conflicts: 1125000 | #Constraints: 58827
788.91/796.57 c INPROCESSING
788.91/796.57 c GARBAGE COLLECT
788.91/796.57 c rational objective 0
814.91/822.61 c #Conflicts: 1126000 | #Constraints: 30810
814.91/822.61 c #Conflicts: 1127000 | #Constraints: 32334
814.91/822.61 c #Conflicts: 1128000 | #Constraints: 33856
814.91/822.61 c #Conflicts: 1129000 | #Constraints: 35391
814.91/822.61 c #Conflicts: 1130000 | #Constraints: 36488
814.91/822.61 c #Conflicts: 1131000 | #Constraints: 37932
814.91/822.61 c #Conflicts: 1132000 | #Constraints: 39466
814.91/822.61 c #Conflicts: 1133000 | #Constraints: 40986
814.91/822.61 c #Conflicts: 1134000 | #Constraints: 42528
814.91/822.61 c #Conflicts: 1135000 | #Constraints: 44072
814.91/822.61 c #Conflicts: 1136000 | #Constraints: 45601
814.91/822.61 c #Conflicts: 1137000 | #Constraints: 47122
814.91/822.61 c #Conflicts: 1138000 | #Constraints: 48652
814.91/822.61 c #Conflicts: 1139000 | #Constraints: 50164
814.91/822.61 c #Conflicts: 1140000 | #Constraints: 51169
814.91/822.61 c #Conflicts: 1141000 | #Constraints: 52462
814.91/822.61 c #Conflicts: 1142000 | #Constraints: 53986
814.91/822.61 c #Conflicts: 1143000 | #Constraints: 55531
814.91/822.61 c #Conflicts: 1144000 | #Constraints: 57060
814.91/822.61 c #Conflicts: 1145000 | #Constraints: 58610
814.91/822.61 c #Conflicts: 1146000 | #Constraints: 60145
814.91/822.61 c INPROCESSING
814.91/822.61 c GARBAGE COLLECT
814.91/822.61 c rational objective 0
840.42/848.29 c #Conflicts: 1147000 | #Constraints: 31136
840.42/848.29 c #Conflicts: 1148000 | #Constraints: 32609
840.42/848.29 c #Conflicts: 1149000 | #Constraints: 34099
840.42/848.29 c #Conflicts: 1150000 | #Constraints: 35602
840.42/848.29 c #Conflicts: 1151000 | #Constraints: 37098
840.42/848.29 c #Conflicts: 1152000 | #Constraints: 38585
840.42/848.29 c #Conflicts: 1153000 | #Constraints: 40057
840.42/848.29 c #Conflicts: 1154000 | #Constraints: 41523
840.42/848.29 c #Conflicts: 1155000 | #Constraints: 42795
840.42/848.29 c #Conflicts: 1156000 | #Constraints: 44283
840.42/848.29 c #Conflicts: 1157000 | #Constraints: 45778
840.42/848.29 c #Conflicts: 1158000 | #Constraints: 47268
840.42/848.29 c #Conflicts: 1159000 | #Constraints: 48690
840.42/848.29 c #Conflicts: 1160000 | #Constraints: 50109
840.42/848.29 c #Conflicts: 1161000 | #Constraints: 51423
840.42/848.29 c #Conflicts: 1162000 | #Constraints: 52907
840.42/848.29 c #Conflicts: 1163000 | #Constraints: 54397
840.42/848.29 c #Conflicts: 1164000 | #Constraints: 55894
840.42/848.29 c #Conflicts: 1165000 | #Constraints: 57383
840.42/848.29 c #Conflicts: 1166000 | #Constraints: 58876
840.42/848.29 c #Conflicts: 1167000 | #Constraints: 60365
840.42/848.29 c #Conflicts: 1168000 | #Constraints: 61648
840.42/848.29 c INPROCESSING
840.42/848.29 c GARBAGE COLLECT
840.42/848.29 c rational objective 0
845.01/852.81 c #Conflicts: 1169000 | #Constraints: 32060
845.01/852.81 c #Conflicts: 1170000 | #Constraints: 33282
845.01/852.81 c #Conflicts: 1171000 | #Constraints: 34606
845.01/852.81 c #Conflicts: 1172000 | #Constraints: 36104
845.01/852.81 c #Conflicts: 1173000 | #Constraints: 37443
845.01/852.81 c Inconsistent objective-improving constraint
845.01/852.81 c bounds 0 >= 0 @ 829.088
845.01/852.81 c cpu time 829.088 s
845.01/852.81 c deterministic time 65870411746 6.59e+10
845.01/852.81 c optimization time 0.001499 s
845.01/852.81 c total solve time 829.086 s
845.01/852.81 c core-guided solve time 425.257 s
845.01/852.81 c propagation time 590.379 s
845.01/852.81 c conflict analysis time 218.392 s
845.01/852.81 c propagations 18436792
845.01/852.81 c resolve steps 7370192
845.01/852.81 c decisions 1323103
845.01/852.81 c conflicts 1173867
845.01/852.81 c restarts 2180
845.01/852.81 c inprocessing phases 99
845.01/852.81 c garbage collections 99 ,( 100.00 )
845.01/852.81 c input clauses 0 ,( 0.00 )
845.01/852.81 c input cardinalities 0 ,( 0.00 )
845.01/852.81 c input general constraints 21 ,( 100.00 )
845.01/852.81 c input average constraint length 57.33
845.01/852.81 c input average constraint degree 1203.14
845.01/852.81 c learned clauses 673507 ,( 43.96 )
845.01/852.81 c learned cardinalities 1 ,( 0.00 )
845.01/852.81 c learned general constraints 858586 ,( 56.04 )
845.01/852.81 c learned average constraint length 32.74
845.01/852.81 c learned average constraint degree 1308123671.09
845.01/852.81 c watched CF 32, 64, 128, Arb: 151560 , 0 , 0 , 0
845.01/852.81 c counting CF 32, 64, 128, Arb: 707048 , 0 , 0 , 0
845.01/852.81 c watched constraints 151560 ,( 17.65 )
845.01/852.81 c counting constraints 707047 ,( 82.35 )
845.01/852.81 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 132869081 , 13075 , 5728896534 ,( 49459955 , 5679436579 )
845.01/852.81 c gcd simplifications 641792
845.01/852.81 c detected cardinalities 1
845.01/852.81 c weakened non-implied lits 20826682
845.01/852.81 c weakened non-implying lits 985543
845.01/852.81 c original variables 120
845.01/852.81 c clausal propagations 159765
845.01/852.81 c cardinality propagations 3
845.01/852.81 c watched propagations 16241
845.01/852.81 c counting propagations 17078277
845.01/852.81 c watch lookups 38487468647
845.01/852.81 c watch backjump lookups 0
845.01/852.81 c watch checks 546594149
845.01/852.81 c propagation checks 26326041214
845.01/852.81 c constraint additions 468710685
845.01/852.81 c trail pops 20933488
845.01/852.81 c formula constraints 10
845.01/852.81 c learned constraints 1173663
845.01/852.81 c bound constraints 11
845.01/852.81 c core-guided constraints 0
845.01/852.81 c encountered formula constraints 406787
845.01/852.81 c encountered learned constraints 1413278
845.01/852.81 c encountered bound constraints 633
845.01/852.81 c encountered core-guided constraints 0
845.01/852.81 c LP total time 50.1464 s
845.01/852.81 c LP solve time 21.34 s
845.01/852.81 c LP constraints added 163
845.01/852.81 c LP constraints removed 152
845.01/852.81 c LP pivots internal 903158
845.01/852.81 c LP pivots root 509
845.01/852.81 c LP calls 505348
845.01/852.81 c LP optimalities 147252
845.01/852.81 c LP no pivot count 16671
845.01/852.81 c LP infeasibilities 358095
845.01/852.81 c LP valid Farkas constraints 358095
845.01/852.81 c LP learned Farkas constraints 204
845.01/852.81 c LP basis resets 1
845.01/852.81 c LP cycling count 0
845.01/852.81 c LP singular count 1
845.01/852.81 c LP no primal count 0
845.01/852.81 c LP no farkas count 0
845.01/852.81 c LP other issue count 0
845.01/852.81 c LP Gomory cuts 132
845.01/852.81 c LP learned cuts 21
845.01/852.81 c LP deleted cuts 152
845.01/852.81 c LP encountered Gomory constraints 1667
845.01/852.81 c LP encountered Farkas constraints 6700454
845.01/852.81 c LP encountered learned Farkas constraints 21036
845.01/852.81 c CG auxiliary variables introduced 0
845.01/852.81 c CG solutions found 12
845.01/852.81 c CG cores constructed 0
845.01/852.81 c CG core cardinality constraints returned 0
845.01/852.81 c CG unit cores 0
845.01/852.81 c CG single cores 0
845.01/852.81 c CG blocks removed during cardinality reduction 0
845.01/852.81 c CG first core best 0
845.01/852.81 c CG decision core best 0
845.01/852.81 c CG core reduction tie 0
845.01/852.81 c CG core degree average 0.00
845.01/852.81 c CG core slack average 0.00
845.01/852.81 c CG core upper bound improvements 0
845.01/852.81 c STR number of successful calls 0
845.01/852.81 c STR number of unsuccessful calls 0
845.01/852.81 c STR number of inconclusive calls 0
845.01/852.81 c STR number of successful attempts 0
845.01/852.81 c STR number of unsuccessful attempts 0
845.01/852.81 c STR number of inconclusive attempts 0
845.01/852.81 c STR average degree increase per successful call inf
845.01/852.81 c STR average degree increase per successful attempt inf
845.01/852.81 c STR total number of conflicts for successful attempts 0
845.01/852.81 c STR total number of conflicts for unsuccessful attempts 0
845.01/852.81 c STR total number of conflicts for inconclusive attempts 0
845.01/852.81 c STR average number of conflicts per successful attempt inf
845.01/852.81 c STR average number of conflicts per unsuccessful attempt inf
845.01/852.81 c STR average number of conflicts per inconclusive attempt inf
845.01/852.81 c AVG.sumWPerc 63.59
845.01/852.81 c bigint constraints 0
845.01/852.81 o 0
845.01/852.81 s OPTIMUM FOUND
845.07/853.80 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: 63708 MiB (30703 MiB free)
memory of node 1: 64465 MiB (51357 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532405-1752588256/watcher-4532405-1752588256 -o /tmp/evaluation-result-4532405-1752588256/solver-4532405-1752588256 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1752584602-145311 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532405-1752588256.opb PROOFDIR/proof-4532405-1752588256
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=145773, runsolver pid=145770
Current StackSize limit: 8192 KiB
[startup+0.100055 s]*
/proc/loadavg: 4.16 4.10 4.02 5/271 145776
/proc/meminfo: memFree=84031356/131250000 swapFree=33010160/33010684
[pid=145773] ppid=145770 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/145773/stat : 145773 (run-opt-break-l) S 145770 145773 145301 0 -1 4194304 240 249 0 0 0 0 0 0 20 0 1 0 174503181 4292608 736 18446744073709551615 94710425776128 94710426670661 140724653107360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94710426909712 94710426957456 94710457933824 140724653115667 140724653115868 140724653115868 140724653121472 0
/proc/145773/statm: 1048 736 672 219 0 110 0
[pid=145776] ppid=145773 vsize=55816 memory=10752 CPUtime=0.03 cores=0,2
/proc/145776/stat : 145776 (roundingsat) R 145773 145773 145301 0 -1 4194304 518 0 0 0 3 0 0 0 20 0 1 0 174503186 57155584 2688 18446744073709551615 4227072 8923577 140733293106272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11034624 140733293115666 140733293115942 140733293115942 140733293121514 0
/proc/145776/statm: 13954 2688 2400 1147 0 1380 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 60008 KiB
Current children cumulated memory: 13696 KiB
[startup+0.205525 s]*
/proc/loadavg: 4.16 4.10 4.02 5/271 145776
/proc/meminfo: memFree=84027260/131250000 swapFree=33010160/33010684
[pid=145773] ppid=145770 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/145773/stat : 145773 (run-opt-break-l) S 145770 145773 145301 0 -1 4194304 240 249 0 0 0 0 0 0 20 0 1 0 174503181 4292608 736 18446744073709551615 94710425776128 94710426670661 140724653107360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94710426909712 94710426957456 94710457933824 140724653115667 140724653115868 140724653115868 140724653121472 0
/proc/145773/statm: 1048 736 672 219 0 110 0
[pid=145776] ppid=145773 vsize=56080 memory=13220 CPUtime=0.13 cores=0,2
/proc/145776/stat : 145776 (roundingsat) R 145773 145773 145301 0 -1 4194304 615 0 0 0 12 1 0 0 20 0 1 0 174503186 57425920 3305 18446744073709551615 4227072 8923577 140733293106272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11034624 140733293115666 140733293115942 140733293115942 140733293121514 0
/proc/145776/statm: 14020 3305 2400 1147 0 1446 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 60272 KiB
Current children cumulated memory: 16164 KiB
[startup+0.305686 s]*
/proc/loadavg: 4.16 4.10 4.02 5/271 145776
/proc/meminfo: memFree=84011132/131250000 swapFree=33010160/33010684
[pid=145773] ppid=145770 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/145773/stat : 145773 (run-opt-break-l) S 145770 145773 145301 0 -1 4194304 240 249 0 0 0 0 0 0 20 0 1 0 174503181 4292608 736 18446744073709551615 94710425776128 94710426670661 140724653107360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94710426909712 94710426957456 94710457933824 140724653115667 140724653115868 140724653115868 140724653121472 0
/proc/145773/statm: 1048 736 672 219 0 110 0
[pid=145776] ppid=145773 vsize=56348 memory=13348 CPUtime=0.23 cores=0,2
/proc/145776/stat : 145776 (roundingsat) R 145773 145773 145301 0 -1 4194304 667 0 0 0 22 1 0 0 20 0 1 0 174503186 57700352 3337 18446744073709551615 4227072 8923577 140733293106272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11034624 140733293115666 140733293115942 140733293115942 140733293121514 0
/proc/145776/statm: 14087 3337 2400 1147 0 1513 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 60540 KiB
Current children cumulated memory: 16292 KiB
[startup+0.700153 s]
/proc/loadavg: 4.16 4.10 4.02 5/270 145776
/proc/meminfo: memFree=84011132/131250000 swapFree=33010160/33010684
[pid=145773] ppid=145770 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/145773/stat : 145773 (run-opt-break-l) S 145770 145773 145301 0 -1 4194304 240 249 0 0 0 0 0 0 20 0 1 0 174503181 4292608 736 18446744073709551615 94710425776128 94710426670661 140724653107360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94710426909712 94710426957456 94710457933824 140724653115667 140724653115868 140724653115868 140724653121472 0
/proc/145773/statm: 1048 736 672 219 0 110 0
[pid=145776] ppid=145773 vsize=56908 memory=13988 CPUtime=0.62 cores=0,2
/proc/145776/stat : 145776 (roundingsat) R 145773 145773 145301 0 -1 4194304 824 0 0 0 58 4 0 0 20 0 1 0 174503186 58273792 3497 18446744073709551615 4227072 8923577 140733293106272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11034624 140733293115666 140733293115942 140733293115942 140733293121514 0
/proc/145776/statm: 14227 3497 2400 1147 0 1653 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 61100 KiB
Current children cumulated memory: 16932 KiB
[startup+1.50015 s]
/proc/loadavg: 4.16 4.10 4.02 5/270 145776
/proc/meminfo: memFree=83983164/131250000 swapFree=33010160/33010684
[pid=145773] ppid=145770 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/145773/stat : 145773 (run-opt-break-l) S 145770 145773 145301 0 -1 4194304 240 249 0 0 0 0 0 0 20 0 1 0 174503181 4292608 736 18446744073709551615 94710425776128 94710426670661 140724653107360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94710426909712 94710426957456 94710457933824 140724653115667 140724653115868 140724653115868 140724653121472 0
/proc/145773/statm: 1048 736 672 219 0 110 0
[pid=145776] ppid=145773 vsize=57656 memory=14500 CPUtime=1.41 cores=0,2
/proc/145776/stat : 145776 (roundingsat) R 145773 145773 145301 0 -1 4194304 957 0 0 0 133 8 0 0 20 0 1 0 174503186 59039744 3625 18446744073709551615 4227072 8923577 140733293106272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11034624 140733293115666 140733293115942 140733293115942 140733293121514 0
/proc/145776/statm: 14414 3625 2400 1147 0 1840 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 61848 KiB
Current children cumulated memory: 17444 KiB
[startup+3.10571 s]
/proc/loadavg: 4.15 4.10 4.02 5/270 145776
/proc/meminfo: memFree=83842096/131250000 swapFree=33010160/33010684
[pid=145773] ppid=145770 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/145773/stat : 145773 (run-opt-break-l) S 145770 145773 145301 0 -1 4194304 240 249 0 0 0 0 0 0 20 0 1 0 174503181 4292608 736 18446744073709551615 94710425776128 94710426670661 140724653107360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94710426909712 94710426957456 94710457933824 140724653115667 140724653115868 140724653115868 140724653121472 0
/proc/145773/statm: 1048 736 672 219 0 110 0
[pid=145776] ppid=145773 vsize=58448 memory=15268 CPUtime=3.02 cores=0,2
/proc/145776/stat : 145776 (roundingsat) R 145773 145773 145301 0 -1 4194304 1156 0 0 0 286 16 0 0 20 0 1 0 174503186 59850752 3817 18446744073709551615 4227072 8923577 140733293106272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11034624 140733293115666 140733293115942 140733293115942 140733293121514 0
/proc/145776/statm: 14612 3817 2400 1147 0 2038 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 62640 KiB
Current children cumulated memory: 18212 KiB
[startup+6.30016 s]
/proc/loadavg: 4.15 4.10 4.02 5/270 145776
/proc/meminfo: memFree=83656984/131250000 swapFree=33010160/33010684
[pid=145773] ppid=145770 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/145773/stat : 145773 (run-opt-break-l) S 145770 145773 145301 0 -1 4194304 240 249 0 0 0 0 0 0 20 0 1 0 174503181 4292608 736 18446744073709551615 94710425776128 94710426670661 140724653107360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94710426909712 94710426957456 94710457933824 140724653115667 140724653115868 140724653115868 140724653121472 0
/proc/145773/statm: 1048 736 672 219 0 110 0
[pid=145776] ppid=145773 vsize=59248 memory=16164 CPUtime=6.2 cores=0,2
/proc/145776/stat : 145776 (roundingsat) R 145773 145773 145301 0 -1 4194304 1351 0 0 0 590 30 0 0 20 0 1 0 174503186 60669952 4041 18446744073709551615 4227072 8923577 140733293106272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11034624 140733293115666 140733293115942 140733293115942 140733293121514 0
/proc/145776/statm: 14812 4041 2400 1147 0 2238 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 63440 KiB
Current children cumulated memory: 19108 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.10 4.02 5/270 145776
/proc/meminfo: memFree=83295376/131250000 swapFree=33010160/33010684
[pid=145773] ppid=145770 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/145773/stat : 145773 (run-opt-break-l) S 145770 145773 145301 0 -1 4194304 240 249 0 0 0 0 0 0 20 0 1 0 174503181 4292608 736 18446744073709551615 94710425776128 94710426670661 140724653107360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94710426909712 94710426957456 94710457933824 140724653115667 140724653115868 140724653115868 140724653121472 0
/proc/145773/statm: 1048 736 672 219 0 110 0
[pid=145776] ppid=145773 vsize=60276 memory=16932 CPUtime=12.59 cores=0,2
/proc/145776/stat : 145776 (roundingsat) R 145773 145773 145301 0 -1 4194304 1558 0 0 0 1204 55 0 0 20 0 1 0 174503186 61722624 4233 18446744073709551615 4227072 8923577 140733293106272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11034624 140733293115666 140733293115942 140733293115942 140733293121514 0
/proc/145776/statm: 15069 4233 2400 1147 0 2495 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 64468 KiB
Current children cumulated memory: 19876 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.02 3/268 145776
/proc/meminfo: memFree=82665776/131250000 swapFree=33010160/33010684
[pid=145773] ppid=145770 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/145773/stat : 145773 (run-opt-break-l) S 145770 145773 145301 0 -1 4194304 240 249 0 0 0 0 0 0 20 0 1 0 174503181 4292608 736 18446744073709551615 94710425776128 94710426670661 140724653107360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94710426909712 94710426957456 94710457933824 140724653115667 140724653115868 140724653115868 140724653121472 0
/proc/145773/statm: 1048 736 672 219 0 110 0
[pid=145776] ppid=145773 vsize=62172 memory=20912 CPUtime=25.33 cores=0,2
/proc/145776/stat : 145776 (roundingsat) R 145773 145773 145301 0 -1 4194304 2114 0 0 0 2428 105 0 0 20 0 1 0 174503186 63664128 5228 18446744073709551615 4227072 8923577 140733293106272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11034624 140733293115666 140733293115942 140733293115942 140733293121514 0
/proc/145776/statm: 15543 5228 2400 1147 0 2969 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 66364 KiB
Current children cumulated memory: 23856 KiB
[startup+51.1056 s]
/proc/loadavg: 4.14 4.10 4.02 5/272 145921
/proc/meminfo: memFree=105356848/131250000 swapFree=33010160/33010684
[pid=145773] ppid=145770 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/145773/stat : 145773 (run-opt-break-l) S 145770 145773 145301 0 -1 4194304 240 249 0 0 0 0 0 0 20 0 1 0 174503181 4292608 736 18446744073709551615 94710425776128 94710426670661 140724653107360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94710426909712 94710426957456 94710457933824 140724653115667 140724653115868 140724653115868 140724653121472 0
/proc/145773/statm: 1048 736 672 219 0 110 0
[pid=145776] ppid=145773 vsize=64188 memory=22704 CPUtime=50.78 cores=0,2
/proc/145776/stat : 145776 (roundingsat) R 145773 145773 145301 0 -1 4194304 2697 0 0 0 4885 193 0 0 20 0 1 0 174503186 65728512 5676 18446744073709551615 4227072 8923577 140733293106272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11034624 140733293115666 140733293115942 140733293115942 140733293121514 0
/proc/145776/statm: 16047 5676 2400 1147 0 3473 0
Current children cumulated CPU time: 50.78 s
Current children cumulated vsize: 68380 KiB
Current children cumulated memory: 25648 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.02 5/272 145923
/proc/meminfo: memFree=102972936/131250000 swapFree=33010160/33010684
[pid=145773] ppid=145770 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/145773/stat : 145773 (run-opt-break-l) S 145770 145773 145301 0 -1 4194304 240 249 0 0 0 0 0 0 20 0 1 0 174503181 4292608 736 18446744073709551615 94710425776128 94710426670661 140724653107360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94710426909712 94710426957456 94710457933824 140724653115667 140724653115868 140724653115868 140724653121472 0
/proc/145773/statm: 1048 736 672 219 0 110 0
[pid=145776] ppid=145773 vsize=84836 memory=36660 CPUtime=101.72 cores=0,2
/proc/145776/stat : 145776 (roundingsat) R 145773 145773 145301 0 -1 4194304 6799 0 0 0 9840 332 0 0 20 0 1 0 174503186 86872064 9165 18446744073709551615 4227072 8923577 140733293106272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11034624 140733293115666 140733293115942 140733293115942 140733293121514 0
/proc/145776/statm: 21209 9165 2400 1147 0 8635 0
Current children cumulated CPU time: 101.72 s
Current children cumulated vsize: 89028 KiB
Current children cumulated memory: 39604 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.02 4/269 146000
/proc/meminfo: memFree=111807524/131250000 swapFree=33010160/33010684
[pid=145773] ppid=145770 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/145773/stat : 145773 (run-opt-break-l) S 145770 145773 145301 0 -1 4194304 240 249 0 0 0 0 0 0 20 0 1 0 174503181 4292608 736 18446744073709551615 94710425776128 94710426670661 140724653107360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94710426909712 94710426957456 94710457933824 140724653115667 140724653115868 140724653115868 140724653121472 0
/proc/145773/statm: 1048 736 672 219 0 110 0
[pid=145776] ppid=145773 vsize=88960 memory=42592 CPUtime=161.39 cores=0,2
/proc/145776/stat : 145776 (roundingsat) R 145773 145773 145301 0 -1 4194304 7991 0 0 0 15670 469 0 0 20 0 1 0 174503186 91095040 10648 18446744073709551615 4227072 8923577 140733293106272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11034624 140733293115666 140733293115942 140733293115942 140733293121514 0
/proc/145776/statm: 22240 10648 2400 1147 0 9666 0
Current children cumulated CPU time: 161.39 s
Current children cumulated vsize: 93152 KiB
Current children cumulated memory: 45536 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.03 3/270 146339
/proc/meminfo: memFree=108722832/131250000 swapFree=33010160/33010684
[pid=145773] ppid=145770 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/145773/stat : 145773 (run-opt-break-l) S 145770 145773 145301 0 -1 4194304 240 249 0 0 0 0 0 0 20 0 1 0 174503181 4292608 736 18446744073709551615 94710425776128 94710426670661 140724653107360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94710426909712 94710426957456 94710457933824 140724653115667 140724653115868 140724653115868 140724653121472 0
/proc/145773/statm: 1048 736 672 219 0 110 0
[pid=145776] ppid=145773 vsize=93108 memory=47740 CPUtime=221.09 cores=0,2
/proc/145776/stat : 145776 (roundingsat) R 145773 145773 145301 0 -1 4194304 9524 0 0 0 21531 578 0 0 20 0 1 0 174503186 95342592 11935 18446744073709551615 4227072 8923577 140733293106272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11034624 140733293115666 140733293115942 140733293115942 140733293121514 0
/proc/145776/statm: 23277 11935 2400 1147 0 10703 0
################
# More data... #
################
/proc/145776/stat : 145776 (roundingsat) R 145773 145773 145301 0 -1 4194304 14821 0 0 0 56641 1202 0 0 20 0 1 0 174503186 117714944 15814 18446744073709551615 4227072 8923577 140733293106272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11034624 140733293115666 140733293115942 140733293115942 140733293121514 0
/proc/145776/statm: 28739 15814 2496 1147 0 16165 0
Current children cumulated CPU time: 578.43 s
Current children cumulated vsize: 119148 KiB
Current children cumulated memory: 66200 KiB
[startup+642.3 s]
/proc/loadavg: 4.09 4.10 4.05 5/273 146531
/proc/meminfo: memFree=87294548/131250000 swapFree=33010160/33010684
[pid=145773] ppid=145770 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/145773/stat : 145773 (run-opt-break-l) S 145770 145773 145301 0 -1 4194304 240 249 0 0 0 0 0 0 20 0 1 0 174503181 4292608 736 18446744073709551615 94710425776128 94710426670661 140724653107360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94710426909712 94710426957456 94710457933824 140724653115667 140724653115868 140724653115868 140724653121472 0
/proc/145773/statm: 1048 736 672 219 0 110 0
[pid=145776] ppid=145773 vsize=115472 memory=63896 CPUtime=635.19 cores=0,2
/proc/145776/stat : 145776 (roundingsat) R 145773 145773 145301 0 -1 4194304 14990 0 0 0 62235 1284 0 0 20 0 1 0 174503186 118243328 15974 18446744073709551615 4227072 8923577 140733293106272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11034624 140733293115666 140733293115942 140733293115942 140733293121514 0
/proc/145776/statm: 28868 15974 2496 1147 0 16294 0
Current children cumulated CPU time: 635.19 s
Current children cumulated vsize: 119664 KiB
Current children cumulated memory: 66840 KiB
[startup+702.3 s]
/proc/loadavg: 4.14 4.11 4.05 5/272 146534
/proc/meminfo: memFree=84356888/131250000 swapFree=33010160/33010684
[pid=145773] ppid=145770 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/145773/stat : 145773 (run-opt-break-l) S 145770 145773 145301 0 -1 4194304 240 249 0 0 0 0 0 0 20 0 1 0 174503181 4292608 736 18446744073709551615 94710425776128 94710426670661 140724653107360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94710426909712 94710426957456 94710457933824 140724653115667 140724653115868 140724653115868 140724653121472 0
/proc/145773/statm: 1048 736 672 219 0 110 0
[pid=145776] ppid=145773 vsize=117152 memory=64500 CPUtime=695.01 cores=0,2
/proc/145776/stat : 145776 (roundingsat) R 145773 145773 145301 0 -1 4194304 15549 0 0 0 68119 1382 0 0 20 0 1 0 174503186 119963648 16125 18446744073709551615 4227072 8923577 140733293106272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11034624 140733293115666 140733293115942 140733293115942 140733293121514 0
/proc/145776/statm: 29288 16125 2496 1147 0 16714 0
Current children cumulated CPU time: 695.01 s
Current children cumulated vsize: 121344 KiB
Current children cumulated memory: 67444 KiB
[startup+762.3 s]
/proc/loadavg: 4.10 4.10 4.05 5/273 146537
/proc/meminfo: memFree=82965604/131250000 swapFree=33010160/33010684
[pid=145773] ppid=145770 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/145773/stat : 145773 (run-opt-break-l) S 145770 145773 145301 0 -1 4194304 240 249 0 0 0 0 0 0 20 0 1 0 174503181 4292608 736 18446744073709551615 94710425776128 94710426670661 140724653107360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94710426909712 94710426957456 94710457933824 140724653115667 140724653115868 140724653115868 140724653121472 0
/proc/145773/statm: 1048 736 672 219 0 110 0
[pid=145776] ppid=145773 vsize=117152 memory=64756 CPUtime=754.81 cores=0,2
/proc/145776/stat : 145776 (roundingsat) R 145773 145773 145301 0 -1 4194304 15608 0 0 0 74006 1475 0 0 20 0 1 0 174503186 119963648 16189 18446744073709551615 4227072 8923577 140733293106272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11034624 140733293115666 140733293115942 140733293115942 140733293121514 0
/proc/145776/statm: 29288 16189 2496 1147 0 16714 0
Current children cumulated CPU time: 754.81 s
Current children cumulated vsize: 121344 KiB
Current children cumulated memory: 67700 KiB
[startup+822.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/274 146541
/proc/meminfo: memFree=81321044/131250000 swapFree=33010160/33010684
[pid=145773] ppid=145770 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/145773/stat : 145773 (run-opt-break-l) S 145770 145773 145301 0 -1 4194304 240 249 0 0 0 0 0 0 20 0 1 0 174503181 4292608 736 18446744073709551615 94710425776128 94710426670661 140724653107360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94710426909712 94710426957456 94710457933824 140724653115667 140724653115868 140724653115868 140724653121472 0
/proc/145773/statm: 1048 736 672 219 0 110 0
[pid=145776] ppid=145773 vsize=117924 memory=65580 CPUtime=814.62 cores=0,2
/proc/145776/stat : 145776 (roundingsat) R 145773 145773 145301 0 -1 4194304 16133 0 0 0 79912 1550 0 0 20 0 1 0 174503186 120754176 16395 18446744073709551615 4227072 8923577 140733293106272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11034624 140733293115666 140733293115942 140733293115942 140733293121514 0
/proc/145776/statm: 29481 16395 2496 1147 0 16907 0
Current children cumulated CPU time: 814.62 s
Current children cumulated vsize: 122116 KiB
Current children cumulated memory: 68524 KiB
[startup+853.804 s]
# the end of solver process 145773 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=829.097 s, system=15.9901 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+832 s]*
/proc/loadavg: 4.14 4.11 4.06 5/274 146541
/proc/meminfo: memFree=81174516/131250000 swapFree=33010160/33010684
[pid=145773] ppid=145770 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/145773/stat : 145773 (run-opt-break-l) S 145770 145773 145301 0 -1 4194304 240 249 0 0 0 0 0 0 20 0 1 0 174503181 4292608 736 18446744073709551615 94710425776128 94710426670661 140724653107360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94710426909712 94710426957456 94710457933824 140724653115667 140724653115868 140724653115868 140724653121472 0
/proc/145773/statm: 1048 736 672 219 0 110 0
[pid=145776] ppid=145773 vsize=117924 memory=65692 CPUtime=824.28 cores=0,2
/proc/145776/stat : 145776 (roundingsat) R 145773 145773 145301 0 -1 4194304 16258 0 0 0 80863 1565 0 0 20 0 1 0 174503186 120754176 16423 18446744073709551615 4227072 8923577 140733293106272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11034624 140733293115666 140733293115942 140733293115942 140733293121514 0
/proc/145776/statm: 29481 16423 2496 1147 0 16907 0
Current children cumulated CPU time: 824.28 s
Current children cumulated vsize: 122116 KiB
Current children cumulated memory: 68636 KiB
[startup+844.8 s]
/proc/loadavg: 4.11 4.10 4.05 5/274 146541
/proc/meminfo: memFree=80981012/131250000 swapFree=33010160/33010684
[pid=145773] ppid=145770 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/145773/stat : 145773 (run-opt-break-l) S 145770 145773 145301 0 -1 4194304 240 249 0 0 0 0 0 0 20 0 1 0 174503181 4292608 736 18446744073709551615 94710425776128 94710426670661 140724653107360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94710426909712 94710426957456 94710457933824 140724653115667 140724653115868 140724653115868 140724653121472 0
/proc/145773/statm: 1048 736 672 219 0 110 0
[pid=145776] ppid=145773 vsize=117924 memory=65692 CPUtime=837.03 cores=0,2
/proc/145776/stat : 145776 (roundingsat) R 145773 145773 145301 0 -1 4194304 16262 0 0 0 82121 1582 0 0 20 0 1 0 174503186 120754176 16423 18446744073709551615 4227072 8923577 140733293106272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11034624 140733293115666 140733293115942 140733293115942 140733293121514 0
/proc/145776/statm: 29481 16423 2496 1147 0 16907 0
Current children cumulated CPU time: 837.03 s
Current children cumulated vsize: 122116 KiB
Current children cumulated memory: 68636 KiB
[startup+848 s]*
/proc/loadavg: 4.10 4.10 4.05 7/274 146541
/proc/meminfo: memFree=80955816/131250000 swapFree=33010160/33010684
[pid=145773] ppid=145770 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/145773/stat : 145773 (run-opt-break-l) S 145770 145773 145301 0 -1 4194304 240 249 0 0 0 0 0 0 20 0 1 0 174503181 4292608 736 18446744073709551615 94710425776128 94710426670661 140724653107360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94710426909712 94710426957456 94710457933824 140724653115667 140724653115868 140724653115868 140724653121472 0
/proc/145773/statm: 1048 736 672 219 0 110 0
[pid=145776] ppid=145773 vsize=118956 memory=68336 CPUtime=840.23 cores=0,2
/proc/145776/stat : 145776 (roundingsat) R 145773 145773 145301 0 -1 4194304 16410 0 0 0 82436 1587 0 0 20 0 1 0 174503186 121810944 17084 18446744073709551615 4227072 8923577 140733293106272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11034624 140733293115666 140733293115942 140733293115942 140733293121514 0
/proc/145776/statm: 29739 17084 2496 1147 0 17165 0
Current children cumulated CPU time: 840.23 s
Current children cumulated vsize: 123148 KiB
Current children cumulated memory: 71280 KiB
[startup+851.2 s]
/proc/loadavg: 4.10 4.10 4.05 5/274 146541
/proc/meminfo: memFree=80827036/131250000 swapFree=33010160/33010684
[pid=145773] ppid=145770 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/145773/stat : 145773 (run-opt-break-l) S 145770 145773 145301 0 -1 4194304 240 249 0 0 0 0 0 0 20 0 1 0 174503181 4292608 736 18446744073709551615 94710425776128 94710426670661 140724653107360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94710426909712 94710426957456 94710457933824 140724653115667 140724653115868 140724653115868 140724653121472 0
/proc/145773/statm: 1048 736 672 219 0 110 0
[pid=145776] ppid=145773 vsize=119472 memory=68604 CPUtime=843.4 cores=0,2
/proc/145776/stat : 145776 (roundingsat) R 145773 145773 145301 0 -1 4194304 16596 0 0 0 82749 1591 0 0 20 0 1 0 174503186 122339328 17151 18446744073709551615 4227072 8923577 140733293106272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11034624 140733293115666 140733293115942 140733293115942 140733293121514 0
/proc/145776/statm: 29868 17151 2496 1147 0 17294 0
Current children cumulated CPU time: 843.4 s
Current children cumulated vsize: 123664 KiB
Current children cumulated memory: 71548 KiB
[startup+852.8 s]
/proc/loadavg: 4.10 4.10 4.05 5/274 146541
/proc/meminfo: memFree=80794780/131250000 swapFree=33010160/33010684
[pid=145773] ppid=145770 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/145773/stat : 145773 (run-opt-break-l) S 145770 145773 145301 0 -1 4194304 240 249 0 0 0 0 0 0 20 0 1 0 174503181 4292608 736 18446744073709551615 94710425776128 94710426670661 140724653107360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94710426909712 94710426957456 94710457933824 140724653115667 140724653115868 140724653115868 140724653121472 0
/proc/145773/statm: 1048 736 672 219 0 110 0
[pid=145776] ppid=145773 vsize=119472 memory=68604 CPUtime=845.01 cores=0,2
/proc/145776/stat : 145776 (roundingsat) R 145773 145773 145301 0 -1 4194304 16596 0 0 0 82907 1594 0 0 20 0 1 0 174503186 122339328 17151 18446744073709551615 4227072 8923577 140733293106272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11034624 140733293115666 140733293115942 140733293115942 140733293121514 0
/proc/145776/statm: 29868 17151 2496 1147 0 17294 0
Current children cumulated CPU time: 845.01 s
Current children cumulated vsize: 123664 KiB
Current children cumulated memory: 71548 KiB
[startup+853.6 s]
/proc/loadavg: 4.09 4.10 4.05 4/274 146542
/proc/meminfo: memFree=80764120/131250000 swapFree=33010160/33010684
[pid=145773] ppid=145770 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/145773/stat : 145773 (run-opt-break-l) S 145770 145773 145301 0 -1 4194304 240 249 0 0 0 0 0 0 20 0 1 0 174503181 4292608 736 18446744073709551615 94710425776128 94710426670661 140724653107360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94710426909712 94710426957456 94710457933824 140724653115667 140724653115868 140724653115868 140724653121472 0
/proc/145773/statm: 1048 736 672 219 0 110 0
[pid=145776] ppid=145773 vsize=119472 memory=68604 CPUtime=845.06 cores=0,2
/proc/145776/stat : 145776 (roundingsat) D 145773 145773 145301 0 -1 4194304 16596 0 0 0 82909 1597 0 0 20 0 1 0 174503186 122339328 17151 18446744073709551615 4227072 8923577 140733293106272 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9827200 9836688 11034624 140733293115666 140733293115942 140733293115942 140733293121514 0
/proc/145776/statm: 29868 17151 2496 1147 0 17294 0
Current children cumulated CPU time: 845.06 s
Current children cumulated vsize: 123664 KiB
Current children cumulated memory: 71548 KiB
[startup+853.8 s]
/proc/loadavg: 4.09 4.10 4.05 4/274 146542
/proc/meminfo: memFree=80764120/131250000 swapFree=33010160/33010684
[pid=145773] ppid=145770 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/145773/stat : 145773 (run-opt-break-l) S 145770 145773 145301 0 -1 4194304 240 249 0 0 0 0 0 0 20 0 1 0 174503181 4292608 736 18446744073709551615 94710425776128 94710426670661 140724653107360 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94710426909712 94710426957456 94710457933824 140724653115667 140724653115868 140724653115868 140724653121472 0
/proc/145773/statm: 1048 736 672 219 0 110 0
[pid=145776] ppid=145773 vsize=106816 memory=60004 CPUtime=845.07 cores=0,2
/proc/145776/stat : 145776 (roundingsat) R 145773 145773 145301 0 -1 4194304 16596 0 0 0 82909 1598 0 0 20 0 1 0 174503186 109379584 15067 18446744073709551615 4227072 8923577 140733293106272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11034624 140733293115666 140733293115942 140733293115942 140733293121514 0
/proc/145776/statm: 26704 15067 2496 1147 0 14130 0
Current children cumulated CPU time: 845.07 s
Current children cumulated vsize: 111008 KiB
Current children cumulated memory: 62948 KiB
Child status: 0
Real time (s): 853.804
CPU time (s): 845.087
CPU user time (s): 829.097
CPU system time (s): 15.9901
CPU usage (%): 98.9791
Max. virtual memory (cumulated for all children) (KiB): 123664
Max. memory (cumulated for all children) (KiB): 71548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 829.097
system time used= 15.9901
maximum resident set size= 68976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17109
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12061576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13448
involuntary context switches= 2042
# summary of solver processes directly reported to runsolver:
# pid: 145773
# total CPU time (s): 845.087
# total CPU user time (s): 829.097
# total CPU system time (s): 15.9901
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.77425 second user time and 3.96359 second system time
The end
Begin job on nodeC016 at 2025-07-15 16:04:16
IDJOB=4532405
IDBENCH=147585
IDSOLVER=3393
FILE ID=nodeC016/4532405-1752588256
RUNJOBID= nodeC016-1752584602-145311
SLURM_JOB_ID= 9684346
Free space on /tmp= 430788 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
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 -w /tmp/evaluation-result-4532405-1752588256/watcher-4532405-1752588256 -o /tmp/evaluation-result-4532405-1752588256/solver-4532405-1752588256 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1752584602-145311 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532405-1752588256.opb PROOFDIR/proof-4532405-1752588256
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a8470a83b0b0d2a815a3f0ab26202dcb
RANDOM SEED=1427959576
nodeC016 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.738
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.48
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.672
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.48
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.337
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.48
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 : 3578.045
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.48
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.720
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.734
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.889
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.48
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 : 3700.000
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 84039532 kB
MemAvailable: 124271420 kB
Buffers: 2144 kB
Cached: 40942824 kB
SwapCached: 28 kB
Active: 6190024 kB
Inactive: 40208240 kB
Active(anon): 5468968 kB
Inactive(anon): 2112 kB
Active(file): 721056 kB
Inactive(file): 40206128 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 71140 kB
Writeback: 0 kB
AnonPages: 5453760 kB
Mapped: 120728 kB
Shmem: 18044 kB
KReclaimable: 287884 kB
Slab: 388436 kB
SReclaimable: 287884 kB
SUnreclaim: 100552 kB
KernelStack: 4368 kB
PageTables: 14920 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 6937444 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3557376 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 429624 MiB
End job on nodeC016 at 2025-07-15 16:18:30