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-4490384-1751371591.opb'
0.00/0.01 c read 0.01MB (0.18ms)
0.00/0.01 c [cnf: #variables 120 #clauses 11 #duplicates 0 #arr 634]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 0] (0.20ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01 c (0.04ms)
0.00/0.01 c
0.00/0.01 c detect symmetries on remainder
0.00/0.01 c [graph: #vertices 793 #edges 2592]
0.00/0.01 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01 c [group: #symmetries 1.00*10^0 #generators 0] (0.06ms)
0.00/0.01 c
0.00/0.01 c finalize break order and special generators
0.00/0.01 c
0.00/0.01 c generation finished
0.00/0.01 c [sbp: #constraints 0 #add_vars 0]
0.00/0.01 c
0.00/0.01 c write result to 'HOME/instance-4490384-1751371591.opb.pre'
0.00/0.01 c wrote 0.01MB (0.07ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 0.20ms 32.22% approx_orbits
0.00/0.01 c 0.18ms 29.11% parse
0.00/0.01 c 0.07ms 11.44% output
0.00/0.01 c 0.06ms 9.95% other
0.00/0.01 c 0.06ms 9.95% detect_generic
0.00/0.01 c 0.04ms 6.46% detect_special
0.00/0.01 c 0.01ms 0.87% finalize_order
0.00/0.01 c ───────────────────────────────────────────────
0.00/0.01 c 0.61ms 100% total
0.00/0.01 c ------------------------------------------------------------------
0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.02 c #variables 120 #constraints 10
0.00/0.02 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 11 , 0 , 0 , 0
0.00/0.02 c bounds - >= 0 @ 0.000874
0.00/0.02 c rational objective 0
0.00/0.03 c bounds 302 >= 0 @ 0.005857
0.00/0.03 c bounds 153 >= 0 @ 0.005995
0.00/0.03 c bounds 151 >= 0 @ 0.006422
0.00/0.03 c bounds 99 >= 0 @ 0.008538
0.00/0.05 c bounds 33 >= 0 @ 0.029329
0.00/0.05 c bounds 31 >= 0 @ 0.029662
0.00/0.06 c bounds 27 >= 0 @ 0.02987
0.00/0.07 c bounds 25 >= 0 @ 0.042555
0.06/0.14 c #Conflicts: 1000 | #Constraints: 1038
0.06/0.14 c bounds 6 >= 0 @ 0.103545
0.06/0.17 c #Conflicts: 2000 | #Constraints: 2050
0.06/0.17 c INPROCESSING
0.06/0.17 c GARBAGE COLLECT
0.06/0.17 c rational objective 0
0.26/0.38 c #Conflicts: 3000 | #Constraints: 2041
0.26/0.38 c #Conflicts: 4000 | #Constraints: 3044
0.26/0.38 c INPROCESSING
0.26/0.38 c GARBAGE COLLECT
0.26/0.38 c rational objective 0
0.55/0.63 c #Conflicts: 5000 | #Constraints: 2440
0.55/0.63 c #Conflicts: 6000 | #Constraints: 3443
0.55/0.63 c INPROCESSING
0.55/0.63 c GARBAGE COLLECT
0.55/0.63 c rational objective 0
0.84/0.93 c #Conflicts: 7000 | #Constraints: 2434
0.84/0.93 c #Conflicts: 8000 | #Constraints: 3435
0.84/0.93 c #Conflicts: 9000 | #Constraints: 4436
0.84/0.93 c INPROCESSING
0.84/0.93 c GARBAGE COLLECT
0.84/0.93 c rational objective 0
1.14/1.24 c #Conflicts: 10000 | #Constraints: 3134
1.14/1.24 c #Conflicts: 11000 | #Constraints: 4135
1.14/1.24 c #Conflicts: 12000 | #Constraints: 5136
1.14/1.24 c INPROCESSING
1.14/1.24 c GARBAGE COLLECT
1.14/1.24 c rational objective 0
1.53/1.63 c #Conflicts: 13000 | #Constraints: 3583
1.53/1.63 c #Conflicts: 14000 | #Constraints: 4587
1.53/1.63 c #Conflicts: 15000 | #Constraints: 5587
1.53/1.63 c INPROCESSING
1.53/1.63 c GARBAGE COLLECT
1.53/1.63 c rational objective 0
1.94/2.06 c #Conflicts: 16000 | #Constraints: 3811
1.94/2.06 c #Conflicts: 17000 | #Constraints: 4811
1.94/2.06 c #Conflicts: 18000 | #Constraints: 5811
1.94/2.06 c INPROCESSING
1.94/2.06 c GARBAGE COLLECT
1.94/2.06 c rational objective 0
2.43/2.52 c #Conflicts: 19000 | #Constraints: 3821
2.43/2.52 c #Conflicts: 20000 | #Constraints: 4822
2.43/2.52 c #Conflicts: 21000 | #Constraints: 5822
2.43/2.52 c bounds 3 >= 0 @ 2.33853
2.43/2.55 c INPROCESSING
2.43/2.55 c GARBAGE COLLECT
2.43/2.55 c rational objective 0
2.94/3.01 c #Conflicts: 22000 | #Constraints: 3626
2.94/3.01 c #Conflicts: 23000 | #Constraints: 4627
2.94/3.01 c #Conflicts: 24000 | #Constraints: 5628
2.94/3.01 c #Conflicts: 25000 | #Constraints: 6628
2.94/3.01 c INPROCESSING
2.94/3.01 c GARBAGE COLLECT
2.94/3.01 c rational objective 0
3.43/3.57 c #Conflicts: 26000 | #Constraints: 4230
3.43/3.57 c #Conflicts: 27000 | #Constraints: 5231
3.43/3.57 c #Conflicts: 28000 | #Constraints: 6233
3.43/3.57 c #Conflicts: 29000 | #Constraints: 7235
3.43/3.57 c INPROCESSING
3.43/3.57 c GARBAGE COLLECT
3.43/3.57 c rational objective 0
4.04/4.17 c #Conflicts: 30000 | #Constraints: 4635
4.04/4.17 c #Conflicts: 31000 | #Constraints: 5637
4.04/4.17 c #Conflicts: 32000 | #Constraints: 6638
4.04/4.17 c #Conflicts: 33000 | #Constraints: 7640
4.04/4.17 c INPROCESSING
4.04/4.17 c GARBAGE COLLECT
4.04/4.17 c rational objective 0
4.73/4.82 c #Conflicts: 34000 | #Constraints: 4831
4.73/4.82 c #Conflicts: 35000 | #Constraints: 5831
4.73/4.82 c #Conflicts: 36000 | #Constraints: 6831
4.73/4.82 c #Conflicts: 37000 | #Constraints: 7831
4.73/4.82 c INPROCESSING
4.73/4.82 c GARBAGE COLLECT
4.73/4.82 c rational objective 0
5.32/5.47 c #Conflicts: 38000 | #Constraints: 4835
5.32/5.47 c #Conflicts: 39000 | #Constraints: 5835
5.32/5.47 c #Conflicts: 40000 | #Constraints: 6836
5.32/5.47 c #Conflicts: 41000 | #Constraints: 7836
5.32/5.47 c INPROCESSING
5.32/5.47 c GARBAGE COLLECT
5.32/5.47 c rational objective 0
6.12/6.24 c #Conflicts: 42000 | #Constraints: 4635
6.12/6.24 c #Conflicts: 43000 | #Constraints: 5636
6.12/6.24 c #Conflicts: 44000 | #Constraints: 6636
6.12/6.24 c #Conflicts: 45000 | #Constraints: 7637
6.12/6.24 c #Conflicts: 46000 | #Constraints: 8637
6.12/6.24 c INPROCESSING
6.12/6.24 c GARBAGE COLLECT
6.12/6.24 c rational objective 0
6.82/6.98 c #Conflicts: 47000 | #Constraints: 5236
6.82/6.98 c #Conflicts: 48000 | #Constraints: 6236
6.82/6.98 c #Conflicts: 49000 | #Constraints: 7240
6.82/6.98 c #Conflicts: 50000 | #Constraints: 8242
6.82/6.98 c #Conflicts: 51000 | #Constraints: 9245
6.82/6.98 c INPROCESSING
6.82/6.98 c GARBAGE COLLECT
6.82/6.98 c rational objective 0
7.62/7.74 c #Conflicts: 52000 | #Constraints: 5635
7.62/7.74 c #Conflicts: 53000 | #Constraints: 6636
7.62/7.74 c #Conflicts: 54000 | #Constraints: 7638
7.62/7.74 c #Conflicts: 55000 | #Constraints: 8639
7.62/7.74 c #Conflicts: 56000 | #Constraints: 9640
7.62/7.74 c INPROCESSING
7.62/7.74 c GARBAGE COLLECT
7.62/7.74 c rational objective 0
8.51/8.68 c #Conflicts: 57000 | #Constraints: 5833
8.51/8.68 c #Conflicts: 58000 | #Constraints: 6833
8.51/8.68 c #Conflicts: 59000 | #Constraints: 7833
8.51/8.68 c #Conflicts: 60000 | #Constraints: 8833
8.51/8.68 c #Conflicts: 61000 | #Constraints: 9833
8.51/8.68 c INPROCESSING
8.51/8.68 c GARBAGE COLLECT
8.51/8.68 c rational objective 0
9.41/9.59 c #Conflicts: 62000 | #Constraints: 5830
9.41/9.59 c #Conflicts: 63000 | #Constraints: 6831
9.41/9.59 c #Conflicts: 64000 | #Constraints: 7831
9.41/9.59 c #Conflicts: 65000 | #Constraints: 8832
9.41/9.59 c #Conflicts: 66000 | #Constraints: 9832
9.41/9.59 c INPROCESSING
9.41/9.59 c GARBAGE COLLECT
9.41/9.59 c rational objective 0
10.51/10.64 c #Conflicts: 67000 | #Constraints: 5629
10.51/10.64 c #Conflicts: 68000 | #Constraints: 6630
10.51/10.64 c #Conflicts: 69000 | #Constraints: 7630
10.51/10.64 c #Conflicts: 70000 | #Constraints: 8631
10.51/10.64 c #Conflicts: 71000 | #Constraints: 9631
10.51/10.64 c #Conflicts: 72000 | #Constraints: 10631
10.51/10.64 c INPROCESSING
10.51/10.64 c GARBAGE COLLECT
10.51/10.64 c rational objective 0
11.61/11.70 c #Conflicts: 73000 | #Constraints: 6231
11.61/11.70 c #Conflicts: 74000 | #Constraints: 7231
11.61/11.70 c #Conflicts: 75000 | #Constraints: 8231
11.61/11.70 c #Conflicts: 76000 | #Constraints: 9232
11.61/11.70 c #Conflicts: 77000 | #Constraints: 10232
11.61/11.70 c #Conflicts: 78000 | #Constraints: 11233
11.61/11.70 c INPROCESSING
11.61/11.70 c GARBAGE COLLECT
11.61/11.70 c rational objective 0
12.81/12.90 c #Conflicts: 79000 | #Constraints: 6632
12.81/12.90 c #Conflicts: 80000 | #Constraints: 7633
12.81/12.90 c #Conflicts: 81000 | #Constraints: 8633
12.81/12.90 c #Conflicts: 82000 | #Constraints: 9633
12.81/12.90 c #Conflicts: 83000 | #Constraints: 10634
12.81/12.90 c #Conflicts: 84000 | #Constraints: 11634
12.81/12.90 c INPROCESSING
12.81/12.90 c GARBAGE COLLECT
12.81/12.90 c rational objective 0
13.91/14.09 c #Conflicts: 85000 | #Constraints: 6833
13.91/14.09 c #Conflicts: 86000 | #Constraints: 7833
13.91/14.09 c #Conflicts: 87000 | #Constraints: 8833
13.91/14.09 c #Conflicts: 88000 | #Constraints: 9834
13.91/14.09 c #Conflicts: 89000 | #Constraints: 10834
13.91/14.09 c #Conflicts: 90000 | #Constraints: 11834
13.91/14.09 c INPROCESSING
13.91/14.09 c GARBAGE COLLECT
13.91/14.09 c rational objective 0
15.30/15.45 c #Conflicts: 91000 | #Constraints: 6835
15.30/15.45 c #Conflicts: 92000 | #Constraints: 7835
15.30/15.45 c #Conflicts: 93000 | #Constraints: 8835
15.30/15.45 c #Conflicts: 94000 | #Constraints: 9835
15.30/15.45 c #Conflicts: 95000 | #Constraints: 10835
15.30/15.45 c #Conflicts: 96000 | #Constraints: 11835
15.30/15.45 c INPROCESSING
15.30/15.45 c GARBAGE COLLECT
15.30/15.45 c rational objective 0
16.59/16.72 c #Conflicts: 97000 | #Constraints: 6635
16.59/16.72 c #Conflicts: 98000 | #Constraints: 7636
16.59/16.72 c #Conflicts: 99000 | #Constraints: 8636
16.59/16.72 c #Conflicts: 100000 | #Constraints: 9637
16.59/16.72 c #Conflicts: 101000 | #Constraints: 10637
16.59/16.72 c #Conflicts: 102000 | #Constraints: 11637
16.59/16.72 c #Conflicts: 103000 | #Constraints: 12637
16.59/16.72 c INPROCESSING
16.59/16.72 c GARBAGE COLLECT
16.59/16.72 c rational objective 0
18.09/18.20 c #Conflicts: 104000 | #Constraints: 7233
18.09/18.20 c #Conflicts: 105000 | #Constraints: 8233
18.09/18.20 c #Conflicts: 106000 | #Constraints: 9233
18.09/18.20 c #Conflicts: 107000 | #Constraints: 10233
18.09/18.20 c #Conflicts: 108000 | #Constraints: 11233
18.09/18.20 c #Conflicts: 109000 | #Constraints: 12233
18.09/18.20 c #Conflicts: 110000 | #Constraints: 13234
18.09/18.20 c INPROCESSING
18.09/18.20 c GARBAGE COLLECT
18.09/18.20 c rational objective 0
19.49/19.61 c #Conflicts: 111000 | #Constraints: 7635
19.49/19.61 c #Conflicts: 112000 | #Constraints: 8637
19.49/19.61 c #Conflicts: 113000 | #Constraints: 9638
19.49/19.61 c #Conflicts: 114000 | #Constraints: 10638
19.49/19.61 c #Conflicts: 115000 | #Constraints: 11638
19.49/19.61 c #Conflicts: 116000 | #Constraints: 12638
19.49/19.61 c #Conflicts: 117000 | #Constraints: 13638
19.49/19.61 c INPROCESSING
19.49/19.61 c GARBAGE COLLECT
19.49/19.61 c rational objective 0
21.09/21.20 c #Conflicts: 118000 | #Constraints: 7830
21.09/21.20 c #Conflicts: 119000 | #Constraints: 8830
21.09/21.20 c #Conflicts: 120000 | #Constraints: 9830
21.09/21.20 c #Conflicts: 121000 | #Constraints: 10831
21.09/21.20 c #Conflicts: 122000 | #Constraints: 11831
21.09/21.20 c #Conflicts: 123000 | #Constraints: 12831
21.09/21.20 c #Conflicts: 124000 | #Constraints: 13832
21.09/21.20 c INPROCESSING
21.09/21.20 c GARBAGE COLLECT
21.09/21.20 c rational objective 0
22.58/22.71 c #Conflicts: 125000 | #Constraints: 7834
22.58/22.71 c #Conflicts: 126000 | #Constraints: 8834
22.58/22.71 c #Conflicts: 127000 | #Constraints: 9835
22.58/22.71 c #Conflicts: 128000 | #Constraints: 10835
22.58/22.71 c #Conflicts: 129000 | #Constraints: 11835
22.58/22.71 c #Conflicts: 130000 | #Constraints: 12835
22.58/22.71 c #Conflicts: 131000 | #Constraints: 13835
22.58/22.71 c INPROCESSING
22.58/22.71 c GARBAGE COLLECT
22.58/22.71 c rational objective 0
24.28/24.45 c #Conflicts: 132000 | #Constraints: 7629
24.28/24.45 c #Conflicts: 133000 | #Constraints: 8629
24.28/24.45 c #Conflicts: 134000 | #Constraints: 9630
24.28/24.45 c #Conflicts: 135000 | #Constraints: 10630
24.28/24.45 c #Conflicts: 136000 | #Constraints: 11630
24.28/24.45 c #Conflicts: 137000 | #Constraints: 12631
24.28/24.45 c #Conflicts: 138000 | #Constraints: 13631
24.28/24.45 c #Conflicts: 139000 | #Constraints: 14631
24.28/24.45 c INPROCESSING
24.28/24.45 c GARBAGE COLLECT
24.28/24.45 c rational objective 0
26.08/26.20 c #Conflicts: 140000 | #Constraints: 8231
26.08/26.20 c #Conflicts: 141000 | #Constraints: 9231
26.08/26.20 c #Conflicts: 142000 | #Constraints: 10231
26.08/26.20 c #Conflicts: 143000 | #Constraints: 11231
26.08/26.20 c #Conflicts: 144000 | #Constraints: 12231
26.08/26.20 c #Conflicts: 145000 | #Constraints: 13232
26.08/26.20 c #Conflicts: 146000 | #Constraints: 14232
26.08/26.20 c #Conflicts: 147000 | #Constraints: 15233
26.08/26.20 c INPROCESSING
26.08/26.20 c GARBAGE COLLECT
26.08/26.20 c rational objective 0
27.98/28.11 c #Conflicts: 148000 | #Constraints: 8633
27.98/28.11 c #Conflicts: 149000 | #Constraints: 9633
27.98/28.11 c #Conflicts: 150000 | #Constraints: 10633
27.98/28.11 c #Conflicts: 151000 | #Constraints: 11633
27.98/28.11 c #Conflicts: 152000 | #Constraints: 12634
27.98/28.11 c #Conflicts: 153000 | #Constraints: 13635
27.98/28.11 c #Conflicts: 154000 | #Constraints: 14635
27.98/28.11 c #Conflicts: 155000 | #Constraints: 15635
27.98/28.11 c INPROCESSING
27.98/28.11 c GARBAGE COLLECT
27.98/28.11 c rational objective 0
29.76/29.91 c #Conflicts: 156000 | #Constraints: 8836
29.76/29.91 c #Conflicts: 157000 | #Constraints: 9836
29.76/29.91 c #Conflicts: 158000 | #Constraints: 10836
29.76/29.91 c #Conflicts: 159000 | #Constraints: 11836
29.76/29.91 c #Conflicts: 160000 | #Constraints: 12836
29.76/29.91 c #Conflicts: 161000 | #Constraints: 13836
29.76/29.91 c #Conflicts: 162000 | #Constraints: 14836
29.76/29.91 c #Conflicts: 163000 | #Constraints: 15836
29.76/29.91 c INPROCESSING
29.76/29.91 c GARBAGE COLLECT
29.76/29.91 c rational objective 0
31.55/31.76 c #Conflicts: 164000 | #Constraints: 8835
31.55/31.76 c #Conflicts: 165000 | #Constraints: 9835
31.55/31.76 c #Conflicts: 166000 | #Constraints: 10835
31.55/31.76 c #Conflicts: 167000 | #Constraints: 11835
31.55/31.76 c #Conflicts: 168000 | #Constraints: 12835
31.55/31.76 c #Conflicts: 169000 | #Constraints: 13835
31.55/31.76 c #Conflicts: 170000 | #Constraints: 14835
31.55/31.76 c #Conflicts: 171000 | #Constraints: 15835
31.55/31.76 c INPROCESSING
31.55/31.76 c GARBAGE COLLECT
31.55/31.76 c rational objective 0
33.75/33.98 c #Conflicts: 172000 | #Constraints: 8630
33.75/33.98 c #Conflicts: 173000 | #Constraints: 9630
33.75/33.98 c #Conflicts: 174000 | #Constraints: 10630
33.75/33.98 c #Conflicts: 175000 | #Constraints: 11630
33.75/33.98 c #Conflicts: 176000 | #Constraints: 12630
33.75/33.98 c #Conflicts: 177000 | #Constraints: 13630
33.75/33.98 c #Conflicts: 178000 | #Constraints: 14631
33.75/33.98 c #Conflicts: 179000 | #Constraints: 15632
33.75/33.98 c #Conflicts: 180000 | #Constraints: 16632
33.75/33.98 c INPROCESSING
33.75/33.98 c GARBAGE COLLECT
33.75/33.98 c rational objective 0
35.86/36.10 c #Conflicts: 181000 | #Constraints: 9234
35.86/36.10 c #Conflicts: 182000 | #Constraints: 10234
35.86/36.10 c #Conflicts: 183000 | #Constraints: 11234
35.86/36.10 c #Conflicts: 184000 | #Constraints: 12234
35.86/36.10 c #Conflicts: 185000 | #Constraints: 13234
35.86/36.10 c #Conflicts: 186000 | #Constraints: 14234
35.86/36.10 c #Conflicts: 187000 | #Constraints: 15234
35.86/36.10 c #Conflicts: 188000 | #Constraints: 16234
35.86/36.10 c #Conflicts: 189000 | #Constraints: 17235
35.86/36.10 c INPROCESSING
35.86/36.10 c GARBAGE COLLECT
35.86/36.10 c rational objective 0
38.24/38.41 c #Conflicts: 190000 | #Constraints: 9636
38.24/38.41 c #Conflicts: 191000 | #Constraints: 10636
38.24/38.41 c #Conflicts: 192000 | #Constraints: 11636
38.24/38.41 c #Conflicts: 193000 | #Constraints: 12636
38.24/38.41 c #Conflicts: 194000 | #Constraints: 13636
38.24/38.41 c #Conflicts: 195000 | #Constraints: 14636
38.24/38.41 c #Conflicts: 196000 | #Constraints: 15636
38.24/38.41 c #Conflicts: 197000 | #Constraints: 16636
38.24/38.41 c #Conflicts: 198000 | #Constraints: 17636
38.24/38.41 c INPROCESSING
38.24/38.41 c GARBAGE COLLECT
38.24/38.41 c rational objective 0
40.63/40.82 c #Conflicts: 199000 | #Constraints: 9835
40.63/40.82 c #Conflicts: 200000 | #Constraints: 10835
40.63/40.82 c #Conflicts: 201000 | #Constraints: 11835
40.63/40.82 c #Conflicts: 202000 | #Constraints: 12835
40.63/40.82 c #Conflicts: 203000 | #Constraints: 13835
40.63/40.82 c #Conflicts: 204000 | #Constraints: 14835
40.63/40.82 c #Conflicts: 205000 | #Constraints: 15836
40.63/40.82 c #Conflicts: 206000 | #Constraints: 16836
40.63/40.82 c #Conflicts: 207000 | #Constraints: 17836
40.63/40.82 c INPROCESSING
40.63/40.82 c GARBAGE COLLECT
40.63/40.82 c rational objective 0
43.03/43.25 c #Conflicts: 208000 | #Constraints: 9830
43.03/43.25 c #Conflicts: 209000 | #Constraints: 10830
43.03/43.25 c #Conflicts: 210000 | #Constraints: 11830
43.03/43.25 c #Conflicts: 211000 | #Constraints: 12830
43.03/43.25 c #Conflicts: 212000 | #Constraints: 13830
43.03/43.25 c #Conflicts: 213000 | #Constraints: 14831
43.03/43.25 c #Conflicts: 214000 | #Constraints: 15831
43.03/43.25 c #Conflicts: 215000 | #Constraints: 16831
43.03/43.25 c #Conflicts: 216000 | #Constraints: 17831
43.03/43.25 c INPROCESSING
43.03/43.25 c GARBAGE COLLECT
43.03/43.25 c rational objective 0
45.52/45.75 c #Conflicts: 217000 | #Constraints: 9634
45.52/45.75 c #Conflicts: 218000 | #Constraints: 10634
45.52/45.75 c #Conflicts: 219000 | #Constraints: 11634
45.52/45.75 c #Conflicts: 220000 | #Constraints: 12634
45.52/45.75 c #Conflicts: 221000 | #Constraints: 13634
45.52/45.75 c #Conflicts: 222000 | #Constraints: 14634
45.52/45.75 c #Conflicts: 223000 | #Constraints: 15634
45.52/45.75 c #Conflicts: 224000 | #Constraints: 16634
45.52/45.75 c #Conflicts: 225000 | #Constraints: 17635
45.52/45.75 c #Conflicts: 226000 | #Constraints: 18635
45.52/45.75 c INPROCESSING
45.52/45.75 c GARBAGE COLLECT
45.52/45.75 c rational objective 0
48.21/48.44 c #Conflicts: 227000 | #Constraints: 10234
48.21/48.44 c #Conflicts: 228000 | #Constraints: 11234
48.21/48.44 c #Conflicts: 229000 | #Constraints: 12234
48.21/48.44 c #Conflicts: 230000 | #Constraints: 13234
48.21/48.44 c #Conflicts: 231000 | #Constraints: 14234
48.21/48.44 c #Conflicts: 232000 | #Constraints: 15235
48.21/48.44 c #Conflicts: 233000 | #Constraints: 16235
48.21/48.44 c #Conflicts: 234000 | #Constraints: 17235
48.21/48.44 c #Conflicts: 235000 | #Constraints: 18235
48.21/48.44 c #Conflicts: 236000 | #Constraints: 19235
48.21/48.44 c INPROCESSING
48.21/48.44 c GARBAGE COLLECT
48.21/48.44 c rational objective 0
51.11/51.30 c #Conflicts: 237000 | #Constraints: 10968
51.11/51.30 c #Conflicts: 238000 | #Constraints: 11969
51.11/51.30 c #Conflicts: 239000 | #Constraints: 12969
51.11/51.30 c #Conflicts: 240000 | #Constraints: 13970
51.11/51.30 c #Conflicts: 241000 | #Constraints: 14971
51.11/51.30 c #Conflicts: 242000 | #Constraints: 15971
51.11/51.30 c #Conflicts: 243000 | #Constraints: 17083
51.11/51.30 c #Conflicts: 244000 | #Constraints: 18187
51.11/51.30 c #Conflicts: 245000 | #Constraints: 19187
51.11/51.30 c #Conflicts: 246000 | #Constraints: 20187
51.11/51.30 c INPROCESSING
51.11/51.30 c GARBAGE COLLECT
51.11/51.30 c rational objective 0
56.59/56.86 c #Conflicts: 247000 | #Constraints: 11378
56.59/56.86 c #Conflicts: 248000 | #Constraints: 12922
56.59/56.86 c #Conflicts: 249000 | #Constraints: 14471
56.59/56.86 c #Conflicts: 250000 | #Constraints: 16005
56.59/56.86 c #Conflicts: 251000 | #Constraints: 17345
56.59/56.86 c #Conflicts: 252000 | #Constraints: 18597
56.59/56.86 c #Conflicts: 253000 | #Constraints: 20091
56.59/56.86 c #Conflicts: 254000 | #Constraints: 21634
56.59/56.86 c #Conflicts: 255000 | #Constraints: 23145
56.59/56.86 c #Conflicts: 256000 | #Constraints: 24395
56.59/56.86 c INPROCESSING
56.59/56.86 c GARBAGE COLLECT
56.59/56.86 c rational objective 0
61.28/61.52 c #Conflicts: 257000 | #Constraints: 13494
61.28/61.52 c #Conflicts: 258000 | #Constraints: 14967
61.28/61.52 c #Conflicts: 259000 | #Constraints: 16439
61.28/61.52 c #Conflicts: 260000 | #Constraints: 17918
61.28/61.52 c #Conflicts: 261000 | #Constraints: 19411
61.28/61.52 c #Conflicts: 262000 | #Constraints: 20891
61.28/61.52 c #Conflicts: 263000 | #Constraints: 22222
61.28/61.52 c #Conflicts: 264000 | #Constraints: 23711
61.28/61.52 c #Conflicts: 265000 | #Constraints: 25206
61.28/61.52 c #Conflicts: 266000 | #Constraints: 26685
61.28/61.52 c INPROCESSING
61.28/61.52 c GARBAGE COLLECT
61.28/61.52 c rational objective 0
66.27/66.59 c #Conflicts: 267000 | #Constraints: 14204
66.27/66.59 c #Conflicts: 268000 | #Constraints: 15204
66.27/66.59 c #Conflicts: 269000 | #Constraints: 16735
66.27/66.59 c #Conflicts: 270000 | #Constraints: 18218
66.27/66.59 c #Conflicts: 271000 | #Constraints: 19735
66.27/66.59 c #Conflicts: 272000 | #Constraints: 21235
66.27/66.59 c #Conflicts: 273000 | #Constraints: 22768
66.27/66.59 c #Conflicts: 274000 | #Constraints: 24271
66.27/66.59 c #Conflicts: 275000 | #Constraints: 25794
66.27/66.59 c #Conflicts: 276000 | #Constraints: 27311
66.27/66.59 c #Conflicts: 277000 | #Constraints: 28816
66.27/66.59 c INPROCESSING
66.27/66.59 c GARBAGE COLLECT
66.27/66.59 c rational objective 0
71.76/72.07 c #Conflicts: 278000 | #Constraints: 15747
71.76/72.07 c #Conflicts: 279000 | #Constraints: 17240
71.76/72.07 c #Conflicts: 280000 | #Constraints: 18732
71.76/72.07 c #Conflicts: 281000 | #Constraints: 20203
71.76/72.07 c #Conflicts: 282000 | #Constraints: 21701
71.76/72.07 c #Conflicts: 283000 | #Constraints: 23178
71.76/72.07 c #Conflicts: 284000 | #Constraints: 24661
71.76/72.07 c #Conflicts: 285000 | #Constraints: 26141
71.76/72.07 c #Conflicts: 286000 | #Constraints: 27620
71.76/72.07 c #Conflicts: 287000 | #Constraints: 29098
71.76/72.07 c #Conflicts: 288000 | #Constraints: 30589
71.76/72.07 c INPROCESSING
71.76/72.07 c GARBAGE COLLECT
71.76/72.07 c rational objective 0
77.54/77.86 c #Conflicts: 289000 | #Constraints: 16308
77.54/77.86 c #Conflicts: 290000 | #Constraints: 17586
77.54/77.86 c #Conflicts: 291000 | #Constraints: 19129
77.54/77.86 c #Conflicts: 292000 | #Constraints: 20649
77.54/77.86 c #Conflicts: 293000 | #Constraints: 22193
77.54/77.86 c #Conflicts: 294000 | #Constraints: 23732
77.54/77.86 c #Conflicts: 295000 | #Constraints: 25269
77.54/77.86 c #Conflicts: 296000 | #Constraints: 26779
77.54/77.86 c #Conflicts: 297000 | #Constraints: 28220
77.54/77.86 c #Conflicts: 298000 | #Constraints: 29743
77.54/77.86 c #Conflicts: 299000 | #Constraints: 31245
77.54/77.86 c INPROCESSING
77.54/77.86 c GARBAGE COLLECT
77.54/77.86 c rational objective 0
82.73/83.04 c #Conflicts: 300000 | #Constraints: 16986
82.73/83.04 c #Conflicts: 301000 | #Constraints: 18333
82.73/83.04 c #Conflicts: 302000 | #Constraints: 19574
82.73/83.04 c #Conflicts: 303000 | #Constraints: 20574
82.73/83.04 c #Conflicts: 304000 | #Constraints: 21696
82.73/83.04 c #Conflicts: 305000 | #Constraints: 23179
82.73/83.04 c #Conflicts: 306000 | #Constraints: 24651
82.73/83.04 c #Conflicts: 307000 | #Constraints: 25897
82.73/83.04 c #Conflicts: 308000 | #Constraints: 27333
82.73/83.04 c #Conflicts: 309000 | #Constraints: 28680
82.73/83.04 c #Conflicts: 310000 | #Constraints: 29901
82.73/83.04 c INPROCESSING
82.73/83.04 c GARBAGE COLLECT
82.73/83.04 c rational objective 0
88.50/88.85 c #Conflicts: 311000 | #Constraints: 16314
88.50/88.85 c #Conflicts: 312000 | #Constraints: 17808
88.50/88.85 c #Conflicts: 313000 | #Constraints: 19034
88.50/88.85 c #Conflicts: 314000 | #Constraints: 20326
88.50/88.85 c #Conflicts: 315000 | #Constraints: 21817
88.50/88.85 c #Conflicts: 316000 | #Constraints: 23336
88.50/88.85 c #Conflicts: 317000 | #Constraints: 24818
88.50/88.85 c #Conflicts: 318000 | #Constraints: 26322
88.50/88.85 c #Conflicts: 319000 | #Constraints: 27805
88.50/88.85 c #Conflicts: 320000 | #Constraints: 29294
88.50/88.85 c #Conflicts: 321000 | #Constraints: 30777
88.50/88.85 c INPROCESSING
88.50/88.85 c GARBAGE COLLECT
88.50/88.85 c rational objective 0
94.89/95.28 c #Conflicts: 322000 | #Constraints: 16446
94.89/95.28 c #Conflicts: 323000 | #Constraints: 17991
94.89/95.28 c #Conflicts: 324000 | #Constraints: 19521
94.89/95.28 c #Conflicts: 325000 | #Constraints: 20684
94.89/95.28 c #Conflicts: 326000 | #Constraints: 21741
94.89/95.28 c #Conflicts: 327000 | #Constraints: 23253
94.89/95.28 c #Conflicts: 328000 | #Constraints: 24620
94.89/95.28 c #Conflicts: 329000 | #Constraints: 26138
94.89/95.28 c #Conflicts: 330000 | #Constraints: 27566
94.89/95.28 c #Conflicts: 331000 | #Constraints: 29098
94.89/95.28 c #Conflicts: 332000 | #Constraints: 30434
94.89/95.28 c #Conflicts: 333000 | #Constraints: 31930
94.89/95.28 c INPROCESSING
94.89/95.28 c GARBAGE COLLECT
94.89/95.28 c rational objective 0
101.27/101.69 c #Conflicts: 334000 | #Constraints: 17314
101.27/101.69 c #Conflicts: 335000 | #Constraints: 18696
101.27/101.69 c #Conflicts: 336000 | #Constraints: 20182
101.27/101.69 c #Conflicts: 337000 | #Constraints: 21366
101.27/101.69 c #Conflicts: 338000 | #Constraints: 22366
101.27/101.69 c #Conflicts: 339000 | #Constraints: 23746
101.27/101.69 c #Conflicts: 340000 | #Constraints: 25233
101.27/101.69 c #Conflicts: 341000 | #Constraints: 26710
101.27/101.69 c #Conflicts: 342000 | #Constraints: 27813
101.27/101.69 c #Conflicts: 343000 | #Constraints: 29010
101.27/101.69 c #Conflicts: 344000 | #Constraints: 30488
101.27/101.69 c #Conflicts: 345000 | #Constraints: 31773
101.27/101.69 c INPROCESSING
101.27/101.69 c GARBAGE COLLECT
101.27/101.69 c rational objective 0
107.16/107.59 c #Conflicts: 346000 | #Constraints: 17441
107.16/107.59 c #Conflicts: 347000 | #Constraints: 18948
107.16/107.59 c #Conflicts: 348000 | #Constraints: 20099
107.16/107.59 c #Conflicts: 349000 | #Constraints: 21099
107.16/107.59 c #Conflicts: 350000 | #Constraints: 22099
107.16/107.59 c #Conflicts: 351000 | #Constraints: 23099
107.16/107.59 c #Conflicts: 352000 | #Constraints: 24099
107.16/107.59 c #Conflicts: 353000 | #Constraints: 25278
107.16/107.59 c #Conflicts: 354000 | #Constraints: 26793
107.16/107.59 c #Conflicts: 355000 | #Constraints: 28312
107.16/107.59 c #Conflicts: 356000 | #Constraints: 29859
107.16/107.59 c #Conflicts: 357000 | #Constraints: 31408
107.16/107.59 c INPROCESSING
107.16/107.59 c GARBAGE COLLECT
107.16/107.59 c rational objective 0
114.04/114.43 c #Conflicts: 358000 | #Constraints: 17212
114.04/114.43 c #Conflicts: 359000 | #Constraints: 18703
114.04/114.43 c #Conflicts: 360000 | #Constraints: 20190
114.04/114.43 c #Conflicts: 361000 | #Constraints: 21659
114.04/114.43 c #Conflicts: 362000 | #Constraints: 23140
114.04/114.43 c #Conflicts: 363000 | #Constraints: 24636
114.04/114.43 c #Conflicts: 364000 | #Constraints: 26119
114.04/114.43 c #Conflicts: 365000 | #Constraints: 27592
114.04/114.43 c #Conflicts: 366000 | #Constraints: 29056
114.04/114.43 c #Conflicts: 367000 | #Constraints: 30528
114.04/114.43 c #Conflicts: 368000 | #Constraints: 31991
114.04/114.43 c #Conflicts: 369000 | #Constraints: 33460
114.04/114.43 c INPROCESSING
114.04/114.43 c GARBAGE COLLECT
114.04/114.43 c rational objective 0
120.93/121.36 c #Conflicts: 370000 | #Constraints: 17849
120.93/121.36 c #Conflicts: 371000 | #Constraints: 19363
120.93/121.36 c #Conflicts: 372000 | #Constraints: 20910
120.93/121.36 c #Conflicts: 373000 | #Constraints: 22247
120.93/121.36 c #Conflicts: 374000 | #Constraints: 23780
120.93/121.36 c #Conflicts: 375000 | #Constraints: 25282
120.93/121.36 c #Conflicts: 376000 | #Constraints: 26282
120.93/121.36 c #Conflicts: 377000 | #Constraints: 27350
120.93/121.36 c #Conflicts: 378000 | #Constraints: 28802
120.93/121.36 c #Conflicts: 379000 | #Constraints: 30134
120.93/121.36 c #Conflicts: 380000 | #Constraints: 31412
120.93/121.36 c #Conflicts: 381000 | #Constraints: 32857
120.93/121.36 c INPROCESSING
120.93/121.36 c GARBAGE COLLECT
120.93/121.36 c rational objective 0
127.71/128.13 c #Conflicts: 382000 | #Constraints: 17401
127.71/128.13 c #Conflicts: 383000 | #Constraints: 18872
127.71/128.13 c #Conflicts: 384000 | #Constraints: 20317
127.71/128.13 c #Conflicts: 385000 | #Constraints: 21748
127.71/128.13 c #Conflicts: 386000 | #Constraints: 23227
127.71/128.13 c #Conflicts: 387000 | #Constraints: 24700
127.71/128.13 c #Conflicts: 388000 | #Constraints: 26180
127.71/128.13 c #Conflicts: 389000 | #Constraints: 27653
127.71/128.13 c #Conflicts: 390000 | #Constraints: 29049
127.71/128.13 c #Conflicts: 391000 | #Constraints: 30049
127.71/128.13 c #Conflicts: 392000 | #Constraints: 31374
127.71/128.13 c #Conflicts: 393000 | #Constraints: 32684
127.71/128.13 c #Conflicts: 394000 | #Constraints: 33937
127.71/128.13 c INPROCESSING
127.71/128.13 c GARBAGE COLLECT
127.71/128.13 c rational objective 0
136.98/137.44 c #Conflicts: 395000 | #Constraints: 18293
136.98/137.44 c #Conflicts: 396000 | #Constraints: 19801
136.98/137.44 c #Conflicts: 397000 | #Constraints: 21319
136.98/137.44 c #Conflicts: 398000 | #Constraints: 22843
136.98/137.44 c #Conflicts: 399000 | #Constraints: 24382
136.98/137.44 c #Conflicts: 400000 | #Constraints: 25899
136.98/137.44 c #Conflicts: 401000 | #Constraints: 27446
136.98/137.44 c #Conflicts: 402000 | #Constraints: 28989
136.98/137.44 c #Conflicts: 403000 | #Constraints: 30516
136.98/137.44 c #Conflicts: 404000 | #Constraints: 32039
136.98/137.44 c #Conflicts: 405000 | #Constraints: 33588
136.98/137.44 c #Conflicts: 406000 | #Constraints: 35120
136.98/137.44 c #Conflicts: 407000 | #Constraints: 36649
136.98/137.44 c INPROCESSING
136.98/137.44 c GARBAGE COLLECT
136.98/137.44 c rational objective 0
144.96/145.40 c #Conflicts: 408000 | #Constraints: 19817
144.96/145.40 c #Conflicts: 409000 | #Constraints: 21302
144.96/145.40 c #Conflicts: 410000 | #Constraints: 22797
144.96/145.40 c #Conflicts: 411000 | #Constraints: 24271
144.96/145.40 c #Conflicts: 412000 | #Constraints: 25760
144.96/145.40 c #Conflicts: 413000 | #Constraints: 27263
144.96/145.40 c #Conflicts: 414000 | #Constraints: 28741
144.96/145.40 c #Conflicts: 415000 | #Constraints: 30224
144.96/145.40 c #Conflicts: 416000 | #Constraints: 31683
144.96/145.40 c #Conflicts: 417000 | #Constraints: 33142
144.96/145.40 c #Conflicts: 418000 | #Constraints: 34614
144.96/145.40 c #Conflicts: 419000 | #Constraints: 36106
144.96/145.40 c #Conflicts: 420000 | #Constraints: 37430
144.96/145.40 c INPROCESSING
144.96/145.40 c GARBAGE COLLECT
144.96/145.40 c rational objective 0
155.43/155.99 c #Conflicts: 421000 | #Constraints: 20246
155.43/155.99 c #Conflicts: 422000 | #Constraints: 21779
155.43/155.99 c #Conflicts: 423000 | #Constraints: 23312
155.43/155.99 c #Conflicts: 424000 | #Constraints: 24850
155.43/155.99 c #Conflicts: 425000 | #Constraints: 26355
155.43/155.99 c #Conflicts: 426000 | #Constraints: 27909
155.43/155.99 c #Conflicts: 427000 | #Constraints: 29443
155.43/155.99 c #Conflicts: 428000 | #Constraints: 30963
155.43/155.99 c #Conflicts: 429000 | #Constraints: 32489
155.43/155.99 c #Conflicts: 430000 | #Constraints: 34021
155.43/155.99 c #Conflicts: 431000 | #Constraints: 35554
155.43/155.99 c #Conflicts: 432000 | #Constraints: 37104
155.43/155.99 c #Conflicts: 433000 | #Constraints: 38642
155.43/155.99 c INPROCESSING
155.43/155.99 c GARBAGE COLLECT
155.43/155.99 c rational objective 0
166.00/166.55 c #Conflicts: 434000 | #Constraints: 20602
166.00/166.55 c #Conflicts: 435000 | #Constraints: 22087
166.00/166.55 c #Conflicts: 436000 | #Constraints: 23547
166.00/166.55 c #Conflicts: 437000 | #Constraints: 25042
166.00/166.55 c #Conflicts: 438000 | #Constraints: 26517
166.00/166.55 c #Conflicts: 439000 | #Constraints: 28015
166.00/166.55 c #Conflicts: 440000 | #Constraints: 29498
166.00/166.55 c #Conflicts: 441000 | #Constraints: 30990
166.00/166.55 c #Conflicts: 442000 | #Constraints: 32463
166.00/166.55 c #Conflicts: 443000 | #Constraints: 33941
166.00/166.55 c #Conflicts: 444000 | #Constraints: 35426
166.00/166.55 c #Conflicts: 445000 | #Constraints: 36894
166.00/166.55 c #Conflicts: 446000 | #Constraints: 38366
166.00/166.55 c INPROCESSING
166.00/166.55 c GARBAGE COLLECT
166.00/166.55 c rational objective 0
175.77/176.36 c #Conflicts: 447000 | #Constraints: 20254
175.77/176.36 c #Conflicts: 448000 | #Constraints: 21595
175.77/176.36 c #Conflicts: 449000 | #Constraints: 22902
175.77/176.36 c #Conflicts: 450000 | #Constraints: 24469
175.77/176.36 c #Conflicts: 451000 | #Constraints: 25954
175.77/176.36 c #Conflicts: 452000 | #Constraints: 27486
175.77/176.36 c #Conflicts: 453000 | #Constraints: 28842
175.77/176.36 c #Conflicts: 454000 | #Constraints: 30350
175.77/176.36 c #Conflicts: 455000 | #Constraints: 31868
175.77/176.36 c #Conflicts: 456000 | #Constraints: 33391
175.77/176.36 c #Conflicts: 457000 | #Constraints: 34851
175.77/176.36 c #Conflicts: 458000 | #Constraints: 36362
175.77/176.36 c #Conflicts: 459000 | #Constraints: 37885
175.77/176.36 c #Conflicts: 460000 | #Constraints: 39434
175.77/176.36 c INPROCESSING
175.77/176.36 c GARBAGE COLLECT
175.77/176.36 c rational objective 0
185.25/185.87 c #Conflicts: 461000 | #Constraints: 21079
185.25/185.87 c #Conflicts: 462000 | #Constraints: 22562
185.25/185.87 c #Conflicts: 463000 | #Constraints: 24036
185.25/185.87 c #Conflicts: 464000 | #Constraints: 25509
185.25/185.87 c #Conflicts: 465000 | #Constraints: 26988
185.25/185.87 c #Conflicts: 466000 | #Constraints: 28459
185.25/185.87 c #Conflicts: 467000 | #Constraints: 29667
185.25/185.87 c #Conflicts: 468000 | #Constraints: 31151
185.25/185.87 c #Conflicts: 469000 | #Constraints: 32641
185.25/185.87 c #Conflicts: 470000 | #Constraints: 34126
185.25/185.87 c #Conflicts: 471000 | #Constraints: 35126
185.25/185.87 c #Conflicts: 472000 | #Constraints: 36613
185.25/185.87 c #Conflicts: 473000 | #Constraints: 37998
185.25/185.87 c #Conflicts: 474000 | #Constraints: 39480
185.25/185.87 c INPROCESSING
185.25/185.87 c GARBAGE COLLECT
185.25/185.87 c rational objective 0
195.03/195.64 c #Conflicts: 475000 | #Constraints: 21183
195.03/195.64 c #Conflicts: 476000 | #Constraints: 22692
195.03/195.64 c #Conflicts: 477000 | #Constraints: 24194
195.03/195.64 c #Conflicts: 478000 | #Constraints: 25705
195.03/195.64 c #Conflicts: 479000 | #Constraints: 27169
195.03/195.64 c #Conflicts: 480000 | #Constraints: 28657
195.03/195.64 c #Conflicts: 481000 | #Constraints: 29941
195.03/195.64 c #Conflicts: 482000 | #Constraints: 31085
195.03/195.64 c #Conflicts: 483000 | #Constraints: 32514
195.03/195.64 c #Conflicts: 484000 | #Constraints: 33543
195.03/195.64 c #Conflicts: 485000 | #Constraints: 34992
195.03/195.64 c #Conflicts: 486000 | #Constraints: 36405
195.03/195.64 c #Conflicts: 487000 | #Constraints: 37833
195.03/195.64 c #Conflicts: 488000 | #Constraints: 39190
195.03/195.64 c INPROCESSING
195.03/195.64 c GARBAGE COLLECT
195.03/195.64 c rational objective 0
203.90/204.54 c #Conflicts: 489000 | #Constraints: 21095
203.90/204.54 c #Conflicts: 490000 | #Constraints: 22188
203.90/204.54 c #Conflicts: 491000 | #Constraints: 23631
203.90/204.54 c #Conflicts: 492000 | #Constraints: 25036
203.90/204.54 c #Conflicts: 493000 | #Constraints: 26357
203.90/204.54 c #Conflicts: 494000 | #Constraints: 27692
203.90/204.54 c #Conflicts: 495000 | #Constraints: 29150
203.90/204.54 c #Conflicts: 496000 | #Constraints: 30450
203.90/204.54 c #Conflicts: 497000 | #Constraints: 31708
203.90/204.54 c #Conflicts: 498000 | #Constraints: 32963
203.90/204.54 c #Conflicts: 499000 | #Constraints: 34265
203.90/204.54 c #Conflicts: 500000 | #Constraints: 35502
203.90/204.54 c #Conflicts: 501000 | #Constraints: 36708
203.90/204.54 c #Conflicts: 502000 | #Constraints: 37785
203.90/204.54 c INPROCESSING
203.90/204.54 c GARBAGE COLLECT
203.90/204.54 c rational objective 0
213.77/214.49 c #Conflicts: 503000 | #Constraints: 20214
213.77/214.49 c #Conflicts: 504000 | #Constraints: 21606
213.77/214.49 c #Conflicts: 505000 | #Constraints: 22873
213.77/214.49 c #Conflicts: 506000 | #Constraints: 24356
213.77/214.49 c #Conflicts: 507000 | #Constraints: 25812
213.77/214.49 c #Conflicts: 508000 | #Constraints: 27320
213.77/214.49 c #Conflicts: 509000 | #Constraints: 28812
213.77/214.49 c #Conflicts: 510000 | #Constraints: 30017
213.77/214.49 c #Conflicts: 511000 | #Constraints: 31552
213.77/214.49 c #Conflicts: 512000 | #Constraints: 33047
213.77/214.49 c #Conflicts: 513000 | #Constraints: 34559
213.77/214.49 c #Conflicts: 514000 | #Constraints: 36088
213.77/214.49 c #Conflicts: 515000 | #Constraints: 37620
213.77/214.49 c #Conflicts: 516000 | #Constraints: 39158
213.77/214.49 c INPROCESSING
213.77/214.49 c GARBAGE COLLECT
213.77/214.49 c rational objective 0
223.95/224.60 c #Conflicts: 517000 | #Constraints: 20662
223.95/224.60 c #Conflicts: 518000 | #Constraints: 22128
223.95/224.60 c #Conflicts: 519000 | #Constraints: 23618
223.95/224.60 c #Conflicts: 520000 | #Constraints: 25084
223.95/224.60 c #Conflicts: 521000 | #Constraints: 26537
223.95/224.60 c #Conflicts: 522000 | #Constraints: 28007
223.95/224.60 c #Conflicts: 523000 | #Constraints: 29356
223.95/224.60 c #Conflicts: 524000 | #Constraints: 30870
223.95/224.60 c #Conflicts: 525000 | #Constraints: 32358
223.95/224.60 c #Conflicts: 526000 | #Constraints: 33841
223.95/224.60 c #Conflicts: 527000 | #Constraints: 35341
223.95/224.60 c #Conflicts: 528000 | #Constraints: 36827
223.95/224.60 c #Conflicts: 529000 | #Constraints: 38324
223.95/224.60 c #Conflicts: 530000 | #Constraints: 39820
223.95/224.60 c #Conflicts: 531000 | #Constraints: 41311
223.95/224.60 c INPROCESSING
223.95/224.60 c GARBAGE COLLECT
223.95/224.60 c rational objective 0
233.72/234.48 c #Conflicts: 532000 | #Constraints: 22037
233.72/234.48 c #Conflicts: 533000 | #Constraints: 23534
233.72/234.48 c #Conflicts: 534000 | #Constraints: 24894
233.72/234.48 c #Conflicts: 535000 | #Constraints: 25894
233.72/234.48 c #Conflicts: 536000 | #Constraints: 26918
233.72/234.48 c #Conflicts: 537000 | #Constraints: 28155
233.72/234.48 c #Conflicts: 538000 | #Constraints: 29662
233.72/234.48 c #Conflicts: 539000 | #Constraints: 30745
233.72/234.48 c #Conflicts: 540000 | #Constraints: 31937
233.72/234.48 c #Conflicts: 541000 | #Constraints: 33203
233.72/234.48 c #Conflicts: 542000 | #Constraints: 34621
233.72/234.48 c #Conflicts: 543000 | #Constraints: 36160
233.72/234.48 c #Conflicts: 544000 | #Constraints: 37517
233.72/234.48 c #Conflicts: 545000 | #Constraints: 38894
233.72/234.48 c #Conflicts: 546000 | #Constraints: 39918
233.72/234.48 c INPROCESSING
233.72/234.48 c GARBAGE COLLECT
233.72/234.48 c rational objective 0
242.80/243.53 c #Conflicts: 547000 | #Constraints: 21097
242.80/243.53 c #Conflicts: 548000 | #Constraints: 22281
242.80/243.53 c #Conflicts: 549000 | #Constraints: 23766
242.80/243.53 c #Conflicts: 550000 | #Constraints: 25259
242.80/243.53 c #Conflicts: 551000 | #Constraints: 26653
242.80/243.53 c #Conflicts: 552000 | #Constraints: 27654
242.80/243.53 c #Conflicts: 553000 | #Constraints: 29103
242.80/243.53 c #Conflicts: 554000 | #Constraints: 30584
242.80/243.53 c #Conflicts: 555000 | #Constraints: 32070
242.80/243.53 c #Conflicts: 556000 | #Constraints: 33418
242.80/243.53 c #Conflicts: 557000 | #Constraints: 34777
242.80/243.53 c #Conflicts: 558000 | #Constraints: 35777
242.80/243.53 c #Conflicts: 559000 | #Constraints: 36790
242.80/243.53 c #Conflicts: 560000 | #Constraints: 38289
242.80/243.53 c #Conflicts: 561000 | #Constraints: 39745
242.80/243.53 c INPROCESSING
242.80/243.53 c GARBAGE COLLECT
242.80/243.53 c rational objective 0
252.77/253.56 c #Conflicts: 562000 | #Constraints: 21433
252.77/253.56 c #Conflicts: 563000 | #Constraints: 22958
252.77/253.56 c #Conflicts: 564000 | #Constraints: 24391
252.77/253.56 c #Conflicts: 565000 | #Constraints: 25476
252.77/253.56 c #Conflicts: 566000 | #Constraints: 26777
252.77/253.56 c #Conflicts: 567000 | #Constraints: 27821
252.77/253.56 c #Conflicts: 568000 | #Constraints: 29236
252.77/253.56 c #Conflicts: 569000 | #Constraints: 30537
252.77/253.56 c #Conflicts: 570000 | #Constraints: 31718
252.77/253.56 c #Conflicts: 571000 | #Constraints: 32883
252.77/253.56 c #Conflicts: 572000 | #Constraints: 34239
252.77/253.56 c #Conflicts: 573000 | #Constraints: 35762
252.77/253.56 c #Conflicts: 574000 | #Constraints: 37283
252.77/253.56 c #Conflicts: 575000 | #Constraints: 38823
252.77/253.56 c #Conflicts: 576000 | #Constraints: 40340
252.77/253.56 c INPROCESSING
252.77/253.56 c GARBAGE COLLECT
252.77/253.56 c rational objective 0
262.94/263.71 c #Conflicts: 577000 | #Constraints: 21526
262.94/263.71 c #Conflicts: 578000 | #Constraints: 23022
262.94/263.71 c #Conflicts: 579000 | #Constraints: 24103
262.94/263.71 c #Conflicts: 580000 | #Constraints: 25587
262.94/263.71 c #Conflicts: 581000 | #Constraints: 27075
262.94/263.71 c #Conflicts: 582000 | #Constraints: 28439
262.94/263.71 c #Conflicts: 583000 | #Constraints: 29923
262.94/263.71 c #Conflicts: 584000 | #Constraints: 31312
262.94/263.71 c #Conflicts: 585000 | #Constraints: 32785
262.94/263.71 c #Conflicts: 586000 | #Constraints: 34022
262.94/263.71 c #Conflicts: 587000 | #Constraints: 35446
262.94/263.71 c #Conflicts: 588000 | #Constraints: 36446
262.94/263.71 c #Conflicts: 589000 | #Constraints: 37446
262.94/263.71 c #Conflicts: 590000 | #Constraints: 38886
262.94/263.71 c #Conflicts: 591000 | #Constraints: 40368
262.94/263.71 c INPROCESSING
262.94/263.71 c GARBAGE COLLECT
262.94/263.71 c rational objective 0
263.64/264.46 c #Conflicts: 592000 | #Constraints: 21169
263.64/264.46 c #Conflicts: 593000 | #Constraints: 22693
263.64/264.46 c bounds 2 >= 0 @ 259.543
274.71/275.55 c #Conflicts: 594000 | #Constraints: 23836
274.71/275.55 c #Conflicts: 595000 | #Constraints: 25324
274.71/275.55 c #Conflicts: 596000 | #Constraints: 26832
274.71/275.55 c #Conflicts: 597000 | #Constraints: 28287
274.71/275.55 c #Conflicts: 598000 | #Constraints: 29758
274.71/275.55 c #Conflicts: 599000 | #Constraints: 31231
274.71/275.55 c #Conflicts: 600000 | #Constraints: 32752
274.71/275.55 c #Conflicts: 601000 | #Constraints: 34268
274.71/275.55 c #Conflicts: 602000 | #Constraints: 35807
274.71/275.55 c #Conflicts: 603000 | #Constraints: 37307
274.71/275.55 c #Conflicts: 604000 | #Constraints: 38783
274.71/275.55 c #Conflicts: 605000 | #Constraints: 40281
274.71/275.55 c #Conflicts: 606000 | #Constraints: 41783
274.71/275.55 c #Conflicts: 607000 | #Constraints: 43284
274.71/275.55 c INPROCESSING
274.71/275.55 c GARBAGE COLLECT
274.71/275.55 c rational objective 0
284.58/285.40 c #Conflicts: 608000 | #Constraints: 22908
284.58/285.40 c #Conflicts: 609000 | #Constraints: 23999
284.58/285.40 c #Conflicts: 610000 | #Constraints: 25476
284.58/285.40 c #Conflicts: 611000 | #Constraints: 26947
284.58/285.40 c #Conflicts: 612000 | #Constraints: 28416
284.58/285.40 c #Conflicts: 613000 | #Constraints: 29924
284.58/285.40 c #Conflicts: 614000 | #Constraints: 31424
284.58/285.40 c #Conflicts: 615000 | #Constraints: 32897
284.58/285.40 c #Conflicts: 616000 | #Constraints: 34366
284.58/285.40 c #Conflicts: 617000 | #Constraints: 35854
284.58/285.40 c #Conflicts: 618000 | #Constraints: 37327
284.58/285.40 c #Conflicts: 619000 | #Constraints: 38812
284.58/285.40 c #Conflicts: 620000 | #Constraints: 40283
284.58/285.40 c #Conflicts: 621000 | #Constraints: 41769
284.58/285.40 c #Conflicts: 622000 | #Constraints: 43243
284.58/285.40 c #Conflicts: 623000 | #Constraints: 44719
284.58/285.40 c INPROCESSING
284.58/285.40 c GARBAGE COLLECT
284.58/285.40 c rational objective 0
294.86/295.72 c #Conflicts: 624000 | #Constraints: 23398
294.86/295.72 c #Conflicts: 625000 | #Constraints: 24398
294.86/295.72 c #Conflicts: 626000 | #Constraints: 25848
294.86/295.72 c #Conflicts: 627000 | #Constraints: 27180
294.86/295.72 c #Conflicts: 628000 | #Constraints: 28233
294.86/295.72 c #Conflicts: 629000 | #Constraints: 29750
294.86/295.72 c #Conflicts: 630000 | #Constraints: 31226
294.86/295.72 c #Conflicts: 631000 | #Constraints: 32611
294.86/295.72 c #Conflicts: 632000 | #Constraints: 34077
294.86/295.72 c #Conflicts: 633000 | #Constraints: 35386
294.86/295.72 c #Conflicts: 634000 | #Constraints: 36897
294.86/295.72 c #Conflicts: 635000 | #Constraints: 38323
294.86/295.72 c #Conflicts: 636000 | #Constraints: 39752
294.86/295.72 c #Conflicts: 637000 | #Constraints: 41268
294.86/295.72 c #Conflicts: 638000 | #Constraints: 42519
294.86/295.72 c #Conflicts: 639000 | #Constraints: 43521
294.86/295.72 c INPROCESSING
294.86/295.72 c GARBAGE COLLECT
294.86/295.72 c rational objective 0
307.23/308.13 c #Conflicts: 640000 | #Constraints: 23235
307.23/308.13 c #Conflicts: 641000 | #Constraints: 24722
307.23/308.13 c #Conflicts: 642000 | #Constraints: 26188
307.23/308.13 c #Conflicts: 643000 | #Constraints: 27670
307.23/308.13 c #Conflicts: 644000 | #Constraints: 29155
307.23/308.13 c #Conflicts: 645000 | #Constraints: 30639
307.23/308.13 c #Conflicts: 646000 | #Constraints: 32116
307.23/308.13 c #Conflicts: 647000 | #Constraints: 33600
307.23/308.13 c #Conflicts: 648000 | #Constraints: 35092
307.23/308.13 c #Conflicts: 649000 | #Constraints: 36554
307.23/308.13 c #Conflicts: 650000 | #Constraints: 38037
307.23/308.13 c #Conflicts: 651000 | #Constraints: 39524
307.23/308.13 c #Conflicts: 652000 | #Constraints: 40978
307.23/308.13 c #Conflicts: 653000 | #Constraints: 42452
307.23/308.13 c #Conflicts: 654000 | #Constraints: 43927
307.23/308.13 c #Conflicts: 655000 | #Constraints: 45394
307.23/308.13 c INPROCESSING
307.23/308.13 c GARBAGE COLLECT
307.23/308.13 c rational objective 0
317.11/318.00 c #Conflicts: 656000 | #Constraints: 23708
317.11/318.00 c #Conflicts: 657000 | #Constraints: 24988
317.11/318.00 c #Conflicts: 658000 | #Constraints: 26384
317.11/318.00 c #Conflicts: 659000 | #Constraints: 27676
317.11/318.00 c #Conflicts: 660000 | #Constraints: 28676
317.11/318.00 c #Conflicts: 661000 | #Constraints: 29786
317.11/318.00 c #Conflicts: 662000 | #Constraints: 30786
317.11/318.00 c #Conflicts: 663000 | #Constraints: 31813
317.11/318.00 c #Conflicts: 664000 | #Constraints: 32970
317.11/318.00 c #Conflicts: 665000 | #Constraints: 34248
317.11/318.00 c #Conflicts: 666000 | #Constraints: 35291
317.11/318.00 c #Conflicts: 667000 | #Constraints: 36401
317.11/318.00 c #Conflicts: 668000 | #Constraints: 37402
317.11/318.00 c #Conflicts: 669000 | #Constraints: 38566
317.11/318.00 c #Conflicts: 670000 | #Constraints: 39880
317.11/318.00 c #Conflicts: 671000 | #Constraints: 41040
317.11/318.00 c INPROCESSING
317.11/318.00 c GARBAGE COLLECT
317.11/318.00 c rational objective 0
327.27/328.21 c #Conflicts: 672000 | #Constraints: 21430
327.27/328.21 c #Conflicts: 673000 | #Constraints: 22886
327.27/328.21 c #Conflicts: 674000 | #Constraints: 24356
327.27/328.21 c #Conflicts: 675000 | #Constraints: 25733
327.27/328.21 c #Conflicts: 676000 | #Constraints: 27226
327.27/328.21 c #Conflicts: 677000 | #Constraints: 28728
327.27/328.21 c #Conflicts: 678000 | #Constraints: 29964
327.27/328.21 c #Conflicts: 679000 | #Constraints: 31057
327.27/328.21 c #Conflicts: 680000 | #Constraints: 32539
327.27/328.21 c #Conflicts: 681000 | #Constraints: 33977
327.27/328.21 c #Conflicts: 682000 | #Constraints: 34977
327.27/328.21 c #Conflicts: 683000 | #Constraints: 35979
327.27/328.21 c #Conflicts: 684000 | #Constraints: 37464
327.27/328.21 c #Conflicts: 685000 | #Constraints: 38952
327.27/328.21 c #Conflicts: 686000 | #Constraints: 40432
327.27/328.21 c #Conflicts: 687000 | #Constraints: 41898
327.27/328.21 c #Conflicts: 688000 | #Constraints: 43380
327.27/328.21 c INPROCESSING
327.27/328.21 c GARBAGE COLLECT
327.27/328.21 c rational objective 0
341.23/342.24 c #Conflicts: 689000 | #Constraints: 23022
341.23/342.24 c #Conflicts: 690000 | #Constraints: 24507
341.23/342.24 c #Conflicts: 691000 | #Constraints: 26023
341.23/342.24 c #Conflicts: 692000 | #Constraints: 27551
341.23/342.24 c #Conflicts: 693000 | #Constraints: 29070
341.23/342.24 c #Conflicts: 694000 | #Constraints: 30610
341.23/342.24 c #Conflicts: 695000 | #Constraints: 32158
341.23/342.24 c #Conflicts: 696000 | #Constraints: 33693
341.23/342.24 c #Conflicts: 697000 | #Constraints: 35228
341.23/342.24 c #Conflicts: 698000 | #Constraints: 36760
341.23/342.24 c #Conflicts: 699000 | #Constraints: 38283
341.23/342.24 c #Conflicts: 700000 | #Constraints: 39806
341.23/342.24 c #Conflicts: 701000 | #Constraints: 41320
341.23/342.24 c #Conflicts: 702000 | #Constraints: 42826
341.23/342.24 c #Conflicts: 703000 | #Constraints: 44284
341.23/342.24 c #Conflicts: 704000 | #Constraints: 45813
341.23/342.24 c #Conflicts: 705000 | #Constraints: 47331
341.23/342.24 c INPROCESSING
341.23/342.24 c GARBAGE COLLECT
341.23/342.24 c rational objective 0
353.30/354.31 c #Conflicts: 706000 | #Constraints: 24936
353.30/354.31 c #Conflicts: 707000 | #Constraints: 26445
353.30/354.31 c #Conflicts: 708000 | #Constraints: 27902
353.30/354.31 c #Conflicts: 709000 | #Constraints: 29238
353.30/354.31 c #Conflicts: 710000 | #Constraints: 30571
353.30/354.31 c #Conflicts: 711000 | #Constraints: 31800
353.30/354.31 c #Conflicts: 712000 | #Constraints: 33261
353.30/354.31 c #Conflicts: 713000 | #Constraints: 34742
353.30/354.31 c #Conflicts: 714000 | #Constraints: 36215
353.30/354.31 c #Conflicts: 715000 | #Constraints: 37685
353.30/354.31 c #Conflicts: 716000 | #Constraints: 39176
353.30/354.31 c #Conflicts: 717000 | #Constraints: 40662
353.30/354.31 c #Conflicts: 718000 | #Constraints: 42138
353.30/354.31 c #Conflicts: 719000 | #Constraints: 43609
353.30/354.31 c #Conflicts: 720000 | #Constraints: 45079
353.30/354.31 c #Conflicts: 721000 | #Constraints: 46536
353.30/354.31 c #Conflicts: 722000 | #Constraints: 48038
353.30/354.31 c INPROCESSING
353.30/354.31 c GARBAGE COLLECT
353.30/354.31 c rational objective 0
366.46/367.53 c #Conflicts: 723000 | #Constraints: 25439
366.46/367.53 c #Conflicts: 724000 | #Constraints: 26965
366.46/367.53 c #Conflicts: 725000 | #Constraints: 28300
366.46/367.53 c #Conflicts: 726000 | #Constraints: 29650
366.46/367.53 c #Conflicts: 727000 | #Constraints: 31164
366.46/367.53 c #Conflicts: 728000 | #Constraints: 32671
366.46/367.53 c #Conflicts: 729000 | #Constraints: 34171
366.46/367.53 c #Conflicts: 730000 | #Constraints: 35680
366.46/367.53 c #Conflicts: 731000 | #Constraints: 37118
366.46/367.53 c #Conflicts: 732000 | #Constraints: 38632
366.46/367.53 c #Conflicts: 733000 | #Constraints: 40159
366.46/367.53 c #Conflicts: 734000 | #Constraints: 41672
366.46/367.53 c #Conflicts: 735000 | #Constraints: 43160
366.46/367.53 c #Conflicts: 736000 | #Constraints: 44679
366.46/367.53 c #Conflicts: 737000 | #Constraints: 46189
366.46/367.53 c #Conflicts: 738000 | #Constraints: 47718
366.46/367.53 c #Conflicts: 739000 | #Constraints: 49249
366.46/367.53 c INPROCESSING
366.46/367.53 c GARBAGE COLLECT
366.46/367.53 c rational objective 0
380.13/381.27 c #Conflicts: 740000 | #Constraints: 25849
380.13/381.27 c #Conflicts: 741000 | #Constraints: 27270
380.13/381.27 c #Conflicts: 742000 | #Constraints: 28655
380.13/381.27 c #Conflicts: 743000 | #Constraints: 30103
380.13/381.27 c #Conflicts: 744000 | #Constraints: 31580
380.13/381.27 c #Conflicts: 745000 | #Constraints: 33070
380.13/381.27 c #Conflicts: 746000 | #Constraints: 34506
380.13/381.27 c #Conflicts: 747000 | #Constraints: 35832
380.13/381.27 c #Conflicts: 748000 | #Constraints: 37011
380.13/381.27 c #Conflicts: 749000 | #Constraints: 38373
380.13/381.27 c #Conflicts: 750000 | #Constraints: 39856
380.13/381.27 c #Conflicts: 751000 | #Constraints: 41176
380.13/381.27 c #Conflicts: 752000 | #Constraints: 42255
380.13/381.27 c #Conflicts: 753000 | #Constraints: 43598
380.13/381.27 c #Conflicts: 754000 | #Constraints: 45051
380.13/381.27 c #Conflicts: 755000 | #Constraints: 46451
380.13/381.27 c #Conflicts: 756000 | #Constraints: 47942
380.13/381.27 c INPROCESSING
380.13/381.27 c GARBAGE COLLECT
380.13/381.27 c rational objective 0
394.49/395.69 c #Conflicts: 757000 | #Constraints: 24964
394.49/395.69 c #Conflicts: 758000 | #Constraints: 26391
394.49/395.69 c #Conflicts: 759000 | #Constraints: 27906
394.49/395.69 c #Conflicts: 760000 | #Constraints: 29415
394.49/395.69 c #Conflicts: 761000 | #Constraints: 30964
394.49/395.69 c #Conflicts: 762000 | #Constraints: 32502
394.49/395.69 c #Conflicts: 763000 | #Constraints: 34017
394.49/395.69 c #Conflicts: 764000 | #Constraints: 35530
394.49/395.69 c #Conflicts: 765000 | #Constraints: 36993
394.49/395.69 c #Conflicts: 766000 | #Constraints: 38437
394.49/395.69 c #Conflicts: 767000 | #Constraints: 39690
394.49/395.69 c #Conflicts: 768000 | #Constraints: 41172
394.49/395.69 c #Conflicts: 769000 | #Constraints: 42516
394.49/395.69 c #Conflicts: 770000 | #Constraints: 43729
394.49/395.69 c #Conflicts: 771000 | #Constraints: 44973
394.49/395.69 c #Conflicts: 772000 | #Constraints: 46382
394.49/395.69 c #Conflicts: 773000 | #Constraints: 47904
394.49/395.69 c #Conflicts: 774000 | #Constraints: 48919
394.49/395.69 c INPROCESSING
394.49/395.69 c GARBAGE COLLECT
394.49/395.69 c rational objective 0
405.07/406.26 c #Conflicts: 775000 | #Constraints: 25380
405.07/406.26 c #Conflicts: 776000 | #Constraints: 26383
405.07/406.26 c #Conflicts: 777000 | #Constraints: 27384
405.07/406.26 c #Conflicts: 778000 | #Constraints: 28385
405.07/406.26 c #Conflicts: 779000 | #Constraints: 29385
405.07/406.26 c #Conflicts: 780000 | #Constraints: 30385
405.07/406.26 c #Conflicts: 781000 | #Constraints: 31385
405.07/406.26 c #Conflicts: 782000 | #Constraints: 32386
405.07/406.26 c #Conflicts: 783000 | #Constraints: 33386
405.07/406.26 c #Conflicts: 784000 | #Constraints: 34387
405.07/406.26 c #Conflicts: 785000 | #Constraints: 35388
405.07/406.26 c #Conflicts: 786000 | #Constraints: 36388
405.07/406.26 c #Conflicts: 787000 | #Constraints: 37388
405.07/406.26 c #Conflicts: 788000 | #Constraints: 38389
405.07/406.26 c #Conflicts: 789000 | #Constraints: 39390
405.07/406.26 c #Conflicts: 790000 | #Constraints: 40391
405.07/406.26 c #Conflicts: 791000 | #Constraints: 41391
405.07/406.26 c #Conflicts: 792000 | #Constraints: 42391
405.07/406.26 c INPROCESSING
405.07/406.26 c GARBAGE COLLECT
405.07/406.26 c rational objective 0
418.33/419.50 c #Conflicts: 793000 | #Constraints: 22643
418.33/419.50 c #Conflicts: 794000 | #Constraints: 23977
418.33/419.50 c #Conflicts: 795000 | #Constraints: 25194
418.33/419.50 c #Conflicts: 796000 | #Constraints: 26624
418.33/419.50 c #Conflicts: 797000 | #Constraints: 28037
418.33/419.50 c #Conflicts: 798000 | #Constraints: 29369
418.33/419.50 c #Conflicts: 799000 | #Constraints: 30663
418.33/419.50 c #Conflicts: 800000 | #Constraints: 32106
418.33/419.50 c #Conflicts: 801000 | #Constraints: 33424
418.33/419.50 c #Conflicts: 802000 | #Constraints: 34797
418.33/419.50 c #Conflicts: 803000 | #Constraints: 36208
418.33/419.50 c #Conflicts: 804000 | #Constraints: 37208
418.33/419.50 c #Conflicts: 805000 | #Constraints: 38429
418.33/419.50 c #Conflicts: 806000 | #Constraints: 39572
418.33/419.50 c #Conflicts: 807000 | #Constraints: 40806
418.33/419.50 c #Conflicts: 808000 | #Constraints: 42084
418.33/419.50 c #Conflicts: 809000 | #Constraints: 43385
418.33/419.50 c #Conflicts: 810000 | #Constraints: 44733
418.33/419.50 c INPROCESSING
418.33/419.50 c GARBAGE COLLECT
418.33/419.50 c rational objective 0
429.50/430.70 c #Conflicts: 811000 | #Constraints: 23396
429.50/430.70 c #Conflicts: 812000 | #Constraints: 24623
429.50/430.70 c #Conflicts: 813000 | #Constraints: 25708
429.50/430.70 c #Conflicts: 814000 | #Constraints: 26857
429.50/430.70 c #Conflicts: 815000 | #Constraints: 28015
429.50/430.70 c #Conflicts: 816000 | #Constraints: 29181
429.50/430.70 c #Conflicts: 817000 | #Constraints: 30183
429.50/430.70 c #Conflicts: 818000 | #Constraints: 31183
429.50/430.70 c #Conflicts: 819000 | #Constraints: 32226
429.50/430.70 c #Conflicts: 820000 | #Constraints: 33379
429.50/430.70 c #Conflicts: 821000 | #Constraints: 34538
429.50/430.70 c #Conflicts: 822000 | #Constraints: 35664
429.50/430.70 c #Conflicts: 823000 | #Constraints: 37032
429.50/430.70 c #Conflicts: 824000 | #Constraints: 38071
429.50/430.70 c #Conflicts: 825000 | #Constraints: 39353
429.50/430.70 c #Conflicts: 826000 | #Constraints: 40854
429.50/430.70 c #Conflicts: 827000 | #Constraints: 42373
429.50/430.70 c #Conflicts: 828000 | #Constraints: 43597
429.50/430.70 c INPROCESSING
429.50/430.70 c GARBAGE COLLECT
429.50/430.70 c rational objective 0
450.75/452.03 c #Conflicts: 829000 | #Constraints: 23142
450.75/452.03 c #Conflicts: 830000 | #Constraints: 24658
450.75/452.03 c #Conflicts: 831000 | #Constraints: 26157
450.75/452.03 c #Conflicts: 832000 | #Constraints: 27684
450.75/452.03 c #Conflicts: 833000 | #Constraints: 29227
450.75/452.03 c #Conflicts: 834000 | #Constraints: 30739
450.75/452.03 c #Conflicts: 835000 | #Constraints: 31739
450.75/452.03 c #Conflicts: 836000 | #Constraints: 33048
450.75/452.03 c #Conflicts: 837000 | #Constraints: 34582
450.75/452.03 c #Conflicts: 838000 | #Constraints: 36082
450.75/452.03 c #Conflicts: 839000 | #Constraints: 37596
450.75/452.03 c #Conflicts: 840000 | #Constraints: 39101
450.75/452.03 c #Conflicts: 841000 | #Constraints: 40609
450.75/452.03 c #Conflicts: 842000 | #Constraints: 42071
450.75/452.03 c #Conflicts: 843000 | #Constraints: 43558
450.75/452.03 c #Conflicts: 844000 | #Constraints: 45068
450.75/452.03 c #Conflicts: 845000 | #Constraints: 46574
450.75/452.03 c #Conflicts: 846000 | #Constraints: 48099
450.75/452.03 c INPROCESSING
450.75/452.03 c GARBAGE COLLECT
450.75/452.03 c rational objective 0
466.30/467.67 c #Conflicts: 847000 | #Constraints: 25012
466.30/467.67 c #Conflicts: 848000 | #Constraints: 26482
466.30/467.67 c #Conflicts: 849000 | #Constraints: 27853
466.30/467.67 c #Conflicts: 850000 | #Constraints: 29304
466.30/467.67 c #Conflicts: 851000 | #Constraints: 30804
466.30/467.67 c #Conflicts: 852000 | #Constraints: 32294
466.30/467.67 c #Conflicts: 853000 | #Constraints: 33646
466.30/467.67 c #Conflicts: 854000 | #Constraints: 34657
466.30/467.67 c #Conflicts: 855000 | #Constraints: 36117
466.30/467.67 c #Conflicts: 856000 | #Constraints: 37612
466.30/467.67 c #Conflicts: 857000 | #Constraints: 39112
466.30/467.67 c #Conflicts: 858000 | #Constraints: 40603
466.30/467.67 c #Conflicts: 859000 | #Constraints: 42101
466.30/467.67 c #Conflicts: 860000 | #Constraints: 43610
466.30/467.67 c #Conflicts: 861000 | #Constraints: 44868
466.30/467.67 c #Conflicts: 862000 | #Constraints: 45868
466.30/467.67 c #Conflicts: 863000 | #Constraints: 47245
466.30/467.67 c #Conflicts: 864000 | #Constraints: 48736
466.30/467.67 c #Conflicts: 865000 | #Constraints: 50222
466.30/467.67 c INPROCESSING
466.30/467.67 c GARBAGE COLLECT
466.30/467.67 c rational objective 0
485.15/486.52 c #Conflicts: 866000 | #Constraints: 26448
485.15/486.52 c #Conflicts: 867000 | #Constraints: 27938
485.15/486.52 c #Conflicts: 868000 | #Constraints: 29425
485.15/486.52 c #Conflicts: 869000 | #Constraints: 30911
485.15/486.52 c #Conflicts: 870000 | #Constraints: 32392
485.15/486.52 c #Conflicts: 871000 | #Constraints: 33904
485.15/486.52 c #Conflicts: 872000 | #Constraints: 35412
485.15/486.52 c #Conflicts: 873000 | #Constraints: 36915
485.15/486.52 c #Conflicts: 874000 | #Constraints: 38377
485.15/486.52 c #Conflicts: 875000 | #Constraints: 39876
485.15/486.52 c #Conflicts: 876000 | #Constraints: 41362
485.15/486.52 c #Conflicts: 877000 | #Constraints: 42868
485.15/486.52 c #Conflicts: 878000 | #Constraints: 44361
485.15/486.52 c #Conflicts: 879000 | #Constraints: 45872
485.15/486.52 c #Conflicts: 880000 | #Constraints: 47369
485.15/486.52 c #Conflicts: 881000 | #Constraints: 48847
485.15/486.52 c #Conflicts: 882000 | #Constraints: 50345
485.15/486.52 c #Conflicts: 883000 | #Constraints: 51838
485.15/486.52 c #Conflicts: 884000 | #Constraints: 53347
485.15/486.52 c INPROCESSING
485.15/486.52 c GARBAGE COLLECT
485.15/486.52 c rational objective 0
505.89/507.39 c #Conflicts: 885000 | #Constraints: 28202
505.89/507.39 c #Conflicts: 886000 | #Constraints: 29701
505.89/507.39 c #Conflicts: 887000 | #Constraints: 31212
505.89/507.39 c #Conflicts: 888000 | #Constraints: 32760
505.89/507.39 c #Conflicts: 889000 | #Constraints: 34313
505.89/507.39 c #Conflicts: 890000 | #Constraints: 35837
505.89/507.39 c #Conflicts: 891000 | #Constraints: 37386
505.89/507.39 c #Conflicts: 892000 | #Constraints: 38903
505.89/507.39 c #Conflicts: 893000 | #Constraints: 40405
505.89/507.39 c #Conflicts: 894000 | #Constraints: 41926
505.89/507.39 c #Conflicts: 895000 | #Constraints: 43466
505.89/507.39 c #Conflicts: 896000 | #Constraints: 44986
505.89/507.39 c #Conflicts: 897000 | #Constraints: 46518
505.89/507.39 c #Conflicts: 898000 | #Constraints: 48058
505.89/507.39 c #Conflicts: 899000 | #Constraints: 49586
505.89/507.39 c #Conflicts: 900000 | #Constraints: 51108
505.89/507.39 c #Conflicts: 901000 | #Constraints: 52636
505.89/507.39 c #Conflicts: 902000 | #Constraints: 54163
505.89/507.39 c #Conflicts: 903000 | #Constraints: 55682
505.89/507.39 c INPROCESSING
505.89/507.39 c GARBAGE COLLECT
505.89/507.39 c rational objective 0
529.01/530.52 c #Conflicts: 904000 | #Constraints: 29250
529.01/530.52 c #Conflicts: 905000 | #Constraints: 30731
529.01/530.52 c #Conflicts: 906000 | #Constraints: 32217
529.01/530.52 c #Conflicts: 907000 | #Constraints: 33707
529.01/530.52 c #Conflicts: 908000 | #Constraints: 35194
529.01/530.52 c #Conflicts: 909000 | #Constraints: 36696
529.01/530.52 c #Conflicts: 910000 | #Constraints: 38181
529.01/530.52 c #Conflicts: 911000 | #Constraints: 39670
529.01/530.52 c #Conflicts: 912000 | #Constraints: 41174
529.01/530.52 c #Conflicts: 913000 | #Constraints: 42667
529.01/530.52 c #Conflicts: 914000 | #Constraints: 44155
529.01/530.52 c #Conflicts: 915000 | #Constraints: 45629
529.01/530.52 c #Conflicts: 916000 | #Constraints: 47110
529.01/530.52 c #Conflicts: 917000 | #Constraints: 48598
529.01/530.52 c #Conflicts: 918000 | #Constraints: 50102
529.01/530.52 c #Conflicts: 919000 | #Constraints: 51582
529.01/530.52 c #Conflicts: 920000 | #Constraints: 53083
529.01/530.52 c #Conflicts: 921000 | #Constraints: 54571
529.01/530.52 c #Conflicts: 922000 | #Constraints: 56068
529.01/530.52 c INPROCESSING
529.01/530.52 c GARBAGE COLLECT
529.01/530.52 c rational objective 0
555.13/556.75 c #Conflicts: 923000 | #Constraints: 29351
555.13/556.75 c #Conflicts: 924000 | #Constraints: 30893
555.13/556.75 c #Conflicts: 925000 | #Constraints: 32402
555.13/556.75 c #Conflicts: 926000 | #Constraints: 33931
555.13/556.75 c #Conflicts: 927000 | #Constraints: 35450
555.13/556.75 c #Conflicts: 928000 | #Constraints: 36993
555.13/556.75 c #Conflicts: 929000 | #Constraints: 38507
555.13/556.75 c #Conflicts: 930000 | #Constraints: 40025
555.13/556.75 c #Conflicts: 931000 | #Constraints: 41536
555.13/556.75 c #Conflicts: 932000 | #Constraints: 42889
555.13/556.75 c #Conflicts: 933000 | #Constraints: 44092
555.13/556.75 c #Conflicts: 934000 | #Constraints: 45585
555.13/556.75 c #Conflicts: 935000 | #Constraints: 46960
555.13/556.75 c #Conflicts: 936000 | #Constraints: 48484
555.13/556.75 c #Conflicts: 937000 | #Constraints: 50013
555.13/556.75 c #Conflicts: 938000 | #Constraints: 51533
555.13/556.75 c #Conflicts: 939000 | #Constraints: 52570
555.13/556.75 c #Conflicts: 940000 | #Constraints: 53570
555.13/556.75 c #Conflicts: 941000 | #Constraints: 54887
555.13/556.75 c INPROCESSING
555.13/556.75 c GARBAGE COLLECT
555.13/556.75 c rational objective 0
572.29/573.97 c #Conflicts: 942000 | #Constraints: 28383
572.29/573.97 c #Conflicts: 943000 | #Constraints: 29717
572.29/573.97 c #Conflicts: 944000 | #Constraints: 31087
572.29/573.97 c #Conflicts: 945000 | #Constraints: 32435
572.29/573.97 c #Conflicts: 946000 | #Constraints: 33910
572.29/573.97 c #Conflicts: 947000 | #Constraints: 35335
572.29/573.97 c #Conflicts: 948000 | #Constraints: 36710
572.29/573.97 c #Conflicts: 949000 | #Constraints: 37952
572.29/573.97 c #Conflicts: 950000 | #Constraints: 39132
572.29/573.97 c #Conflicts: 951000 | #Constraints: 40538
572.29/573.97 c #Conflicts: 952000 | #Constraints: 41937
572.29/573.97 c #Conflicts: 953000 | #Constraints: 42952
572.29/573.97 c #Conflicts: 954000 | #Constraints: 44008
572.29/573.97 c #Conflicts: 955000 | #Constraints: 45485
572.29/573.97 c #Conflicts: 956000 | #Constraints: 46821
572.29/573.97 c #Conflicts: 957000 | #Constraints: 47975
572.29/573.97 c #Conflicts: 958000 | #Constraints: 49149
572.29/573.97 c #Conflicts: 959000 | #Constraints: 50283
572.29/573.97 c #Conflicts: 960000 | #Constraints: 51511
572.29/573.97 c #Conflicts: 961000 | #Constraints: 52875
572.29/573.97 c INPROCESSING
572.29/573.97 c GARBAGE COLLECT
572.29/573.97 c rational objective 0
590.45/592.16 c #Conflicts: 962000 | #Constraints: 27738
590.45/592.16 c #Conflicts: 963000 | #Constraints: 29161
590.45/592.16 c #Conflicts: 964000 | #Constraints: 30594
590.45/592.16 c #Conflicts: 965000 | #Constraints: 31823
590.45/592.16 c #Conflicts: 966000 | #Constraints: 33186
590.45/592.16 c #Conflicts: 967000 | #Constraints: 34500
590.45/592.16 c #Conflicts: 968000 | #Constraints: 35874
590.45/592.16 c #Conflicts: 969000 | #Constraints: 37317
590.45/592.16 c #Conflicts: 970000 | #Constraints: 38784
590.45/592.16 c #Conflicts: 971000 | #Constraints: 40218
590.45/592.16 c #Conflicts: 972000 | #Constraints: 41723
590.45/592.16 c #Conflicts: 973000 | #Constraints: 43069
590.45/592.16 c #Conflicts: 974000 | #Constraints: 44428
590.45/592.16 c #Conflicts: 975000 | #Constraints: 45822
590.45/592.16 c #Conflicts: 976000 | #Constraints: 47309
590.45/592.16 c #Conflicts: 977000 | #Constraints: 48825
590.45/592.16 c #Conflicts: 978000 | #Constraints: 50256
590.45/592.16 c #Conflicts: 979000 | #Constraints: 51743
590.45/592.16 c #Conflicts: 980000 | #Constraints: 53249
590.45/592.16 c #Conflicts: 981000 | #Constraints: 54756
590.45/592.16 c INPROCESSING
590.45/592.16 c GARBAGE COLLECT
590.45/592.16 c rational objective 0
606.60/608.37 c #Conflicts: 982000 | #Constraints: 28590
606.60/608.37 c #Conflicts: 983000 | #Constraints: 29621
606.60/608.37 c #Conflicts: 984000 | #Constraints: 30662
606.60/608.37 c #Conflicts: 985000 | #Constraints: 31813
606.60/608.37 c #Conflicts: 986000 | #Constraints: 33032
606.60/608.37 c #Conflicts: 987000 | #Constraints: 34194
606.60/608.37 c #Conflicts: 988000 | #Constraints: 35324
606.60/608.37 c #Conflicts: 989000 | #Constraints: 36774
606.60/608.37 c #Conflicts: 990000 | #Constraints: 38071
606.60/608.37 c #Conflicts: 991000 | #Constraints: 39211
606.60/608.37 c #Conflicts: 992000 | #Constraints: 40474
606.60/608.37 c #Conflicts: 993000 | #Constraints: 41563
606.60/608.37 c #Conflicts: 994000 | #Constraints: 42629
606.60/608.37 c #Conflicts: 995000 | #Constraints: 43919
606.60/608.37 c #Conflicts: 996000 | #Constraints: 45306
606.60/608.37 c #Conflicts: 997000 | #Constraints: 46770
606.60/608.37 c #Conflicts: 998000 | #Constraints: 47871
606.60/608.37 c #Conflicts: 999000 | #Constraints: 48973
606.60/608.37 c #Conflicts: 1000000 | #Constraints: 50506
606.60/608.37 c #Conflicts: 1001000 | #Constraints: 51606
606.60/608.37 c INPROCESSING
606.60/608.37 c GARBAGE COLLECT
606.60/608.37 c rational objective 0
625.85/627.60 c #Conflicts: 1002000 | #Constraints: 27279
625.85/627.60 c #Conflicts: 1003000 | #Constraints: 28761
625.85/627.60 c #Conflicts: 1004000 | #Constraints: 30226
625.85/627.60 c #Conflicts: 1005000 | #Constraints: 31575
625.85/627.60 c #Conflicts: 1006000 | #Constraints: 32957
625.85/627.60 c #Conflicts: 1007000 | #Constraints: 34225
625.85/627.60 c #Conflicts: 1008000 | #Constraints: 35372
625.85/627.60 c #Conflicts: 1009000 | #Constraints: 36699
625.85/627.60 c #Conflicts: 1010000 | #Constraints: 38034
625.85/627.60 c #Conflicts: 1011000 | #Constraints: 39388
625.85/627.60 c #Conflicts: 1012000 | #Constraints: 40518
625.85/627.60 c #Conflicts: 1013000 | #Constraints: 41684
625.85/627.60 c #Conflicts: 1014000 | #Constraints: 42939
625.85/627.60 c #Conflicts: 1015000 | #Constraints: 44138
625.85/627.60 c #Conflicts: 1016000 | #Constraints: 45392
625.85/627.60 c #Conflicts: 1017000 | #Constraints: 46718
625.85/627.60 c #Conflicts: 1018000 | #Constraints: 47903
625.85/627.60 c #Conflicts: 1019000 | #Constraints: 48988
625.85/627.60 c #Conflicts: 1020000 | #Constraints: 50348
625.85/627.60 c #Conflicts: 1021000 | #Constraints: 51582
625.85/627.60 c INPROCESSING
625.85/627.60 c GARBAGE COLLECT
625.85/627.60 c rational objective 0
641.62/643.46 c #Conflicts: 1022000 | #Constraints: 26762
641.62/643.46 c #Conflicts: 1023000 | #Constraints: 27995
641.62/643.46 c #Conflicts: 1024000 | #Constraints: 29041
641.62/643.46 c #Conflicts: 1025000 | #Constraints: 30055
641.62/643.46 c #Conflicts: 1026000 | #Constraints: 31171
641.62/643.46 c #Conflicts: 1027000 | #Constraints: 32347
641.62/643.46 c #Conflicts: 1028000 | #Constraints: 33347
641.62/643.46 c #Conflicts: 1029000 | #Constraints: 34429
641.62/643.46 c #Conflicts: 1030000 | #Constraints: 35518
641.62/643.46 c #Conflicts: 1031000 | #Constraints: 36907
641.62/643.46 c #Conflicts: 1032000 | #Constraints: 38318
641.62/643.46 c #Conflicts: 1033000 | #Constraints: 39541
641.62/643.46 c #Conflicts: 1034000 | #Constraints: 40765
641.62/643.46 c #Conflicts: 1035000 | #Constraints: 41765
641.62/643.46 c #Conflicts: 1036000 | #Constraints: 42765
641.62/643.46 c #Conflicts: 1037000 | #Constraints: 43765
641.62/643.46 c #Conflicts: 1038000 | #Constraints: 44796
641.62/643.46 c #Conflicts: 1039000 | #Constraints: 45796
641.62/643.46 c #Conflicts: 1040000 | #Constraints: 46796
641.62/643.46 c #Conflicts: 1041000 | #Constraints: 47796
641.62/643.46 c INPROCESSING
641.62/643.46 c GARBAGE COLLECT
641.62/643.46 c rational objective 0
659.77/661.62 c #Conflicts: 1042000 | #Constraints: 24755
659.77/661.62 c #Conflicts: 1043000 | #Constraints: 25951
659.77/661.62 c #Conflicts: 1044000 | #Constraints: 26958
659.77/661.62 c #Conflicts: 1045000 | #Constraints: 28423
659.77/661.62 c #Conflicts: 1046000 | #Constraints: 29672
659.77/661.62 c #Conflicts: 1047000 | #Constraints: 30764
659.77/661.62 c #Conflicts: 1048000 | #Constraints: 31792
659.77/661.62 c #Conflicts: 1049000 | #Constraints: 33290
659.77/661.62 c #Conflicts: 1050000 | #Constraints: 34617
659.77/661.62 c #Conflicts: 1051000 | #Constraints: 35697
659.77/661.62 c #Conflicts: 1052000 | #Constraints: 36732
659.77/661.62 c #Conflicts: 1053000 | #Constraints: 38002
659.77/661.62 c #Conflicts: 1054000 | #Constraints: 39510
659.77/661.62 c #Conflicts: 1055000 | #Constraints: 40643
659.77/661.62 c #Conflicts: 1056000 | #Constraints: 42169
659.77/661.62 c #Conflicts: 1057000 | #Constraints: 43623
659.77/661.62 c #Conflicts: 1058000 | #Constraints: 45034
659.77/661.62 c #Conflicts: 1059000 | #Constraints: 46575
659.77/661.62 c #Conflicts: 1060000 | #Constraints: 47754
659.77/661.62 c #Conflicts: 1061000 | #Constraints: 49197
659.77/661.62 c #Conflicts: 1062000 | #Constraints: 50431
659.77/661.62 c INPROCESSING
659.77/661.62 c GARBAGE COLLECT
659.77/661.62 c rational objective 0
679.91/681.84 c #Conflicts: 1063000 | #Constraints: 26273
679.91/681.84 c #Conflicts: 1064000 | #Constraints: 27754
679.91/681.84 c #Conflicts: 1065000 | #Constraints: 29213
679.91/681.84 c #Conflicts: 1066000 | #Constraints: 30703
679.91/681.84 c #Conflicts: 1067000 | #Constraints: 32071
679.91/681.84 c #Conflicts: 1068000 | #Constraints: 33388
679.91/681.84 c #Conflicts: 1069000 | #Constraints: 34769
679.91/681.84 c #Conflicts: 1070000 | #Constraints: 36181
679.91/681.84 c #Conflicts: 1071000 | #Constraints: 37665
679.91/681.84 c #Conflicts: 1072000 | #Constraints: 39154
679.91/681.84 c #Conflicts: 1073000 | #Constraints: 40677
679.91/681.84 c #Conflicts: 1074000 | #Constraints: 42170
679.91/681.84 c #Conflicts: 1075000 | #Constraints: 43655
679.91/681.84 c #Conflicts: 1076000 | #Constraints: 45098
679.91/681.84 c #Conflicts: 1077000 | #Constraints: 46493
679.91/681.84 c #Conflicts: 1078000 | #Constraints: 47856
679.91/681.84 c #Conflicts: 1079000 | #Constraints: 49343
679.91/681.84 c #Conflicts: 1080000 | #Constraints: 50789
679.91/681.84 c #Conflicts: 1081000 | #Constraints: 52105
679.91/681.84 c #Conflicts: 1082000 | #Constraints: 53245
679.91/681.84 c #Conflicts: 1083000 | #Constraints: 54718
679.91/681.84 c INPROCESSING
679.91/681.84 c GARBAGE COLLECT
679.91/681.84 c rational objective 0
702.26/704.29 c #Conflicts: 1084000 | #Constraints: 28901
702.26/704.29 c #Conflicts: 1085000 | #Constraints: 30418
702.26/704.29 c #Conflicts: 1086000 | #Constraints: 31943
702.26/704.29 c #Conflicts: 1087000 | #Constraints: 33094
702.26/704.29 c #Conflicts: 1088000 | #Constraints: 34591
702.26/704.29 c #Conflicts: 1089000 | #Constraints: 36124
702.26/704.29 c #Conflicts: 1090000 | #Constraints: 37653
702.26/704.29 c #Conflicts: 1091000 | #Constraints: 39189
702.26/704.29 c #Conflicts: 1092000 | #Constraints: 40541
702.26/704.29 c #Conflicts: 1093000 | #Constraints: 41963
702.26/704.29 c #Conflicts: 1094000 | #Constraints: 43517
702.26/704.29 c #Conflicts: 1095000 | #Constraints: 45018
702.26/704.29 c #Conflicts: 1096000 | #Constraints: 46556
702.26/704.29 c #Conflicts: 1097000 | #Constraints: 48094
702.26/704.29 c #Conflicts: 1098000 | #Constraints: 49629
702.26/704.29 c #Conflicts: 1099000 | #Constraints: 51144
702.26/704.29 c #Conflicts: 1100000 | #Constraints: 52300
702.26/704.29 c #Conflicts: 1101000 | #Constraints: 53831
702.26/704.29 c #Conflicts: 1102000 | #Constraints: 55176
702.26/704.29 c #Conflicts: 1103000 | #Constraints: 56713
702.26/704.29 c #Conflicts: 1104000 | #Constraints: 57906
702.26/704.29 c INPROCESSING
702.26/704.29 c GARBAGE COLLECT
702.26/704.29 c rational objective 0
723.89/726.00 c #Conflicts: 1105000 | #Constraints: 30413
723.89/726.00 c #Conflicts: 1106000 | #Constraints: 31895
723.89/726.00 c #Conflicts: 1107000 | #Constraints: 33401
723.89/726.00 c #Conflicts: 1108000 | #Constraints: 34901
723.89/726.00 c #Conflicts: 1109000 | #Constraints: 36308
723.89/726.00 c #Conflicts: 1110000 | #Constraints: 37626
723.89/726.00 c #Conflicts: 1111000 | #Constraints: 38848
723.89/726.00 c #Conflicts: 1112000 | #Constraints: 40244
723.89/726.00 c #Conflicts: 1113000 | #Constraints: 41544
723.89/726.00 c #Conflicts: 1114000 | #Constraints: 43039
723.89/726.00 c #Conflicts: 1115000 | #Constraints: 44500
723.89/726.00 c #Conflicts: 1116000 | #Constraints: 46002
723.89/726.00 c #Conflicts: 1117000 | #Constraints: 47494
723.89/726.00 c #Conflicts: 1118000 | #Constraints: 48900
723.89/726.00 c #Conflicts: 1119000 | #Constraints: 50132
723.89/726.00 c #Conflicts: 1120000 | #Constraints: 51636
723.89/726.00 c #Conflicts: 1121000 | #Constraints: 53139
723.89/726.00 c #Conflicts: 1122000 | #Constraints: 54635
723.89/726.00 c #Conflicts: 1123000 | #Constraints: 55897
723.89/726.00 c #Conflicts: 1124000 | #Constraints: 57324
723.89/726.00 c #Conflicts: 1125000 | #Constraints: 58827
723.89/726.00 c INPROCESSING
723.89/726.00 c GARBAGE COLLECT
723.89/726.00 c rational objective 0
748.73/750.82 c #Conflicts: 1126000 | #Constraints: 30810
748.73/750.82 c #Conflicts: 1127000 | #Constraints: 32334
748.73/750.82 c #Conflicts: 1128000 | #Constraints: 33856
748.73/750.82 c #Conflicts: 1129000 | #Constraints: 35391
748.73/750.82 c #Conflicts: 1130000 | #Constraints: 36488
748.73/750.82 c #Conflicts: 1131000 | #Constraints: 37932
748.73/750.82 c #Conflicts: 1132000 | #Constraints: 39466
748.73/750.82 c #Conflicts: 1133000 | #Constraints: 40986
748.73/750.82 c #Conflicts: 1134000 | #Constraints: 42528
748.73/750.82 c #Conflicts: 1135000 | #Constraints: 44072
748.73/750.82 c #Conflicts: 1136000 | #Constraints: 45601
748.73/750.82 c #Conflicts: 1137000 | #Constraints: 47122
748.73/750.82 c #Conflicts: 1138000 | #Constraints: 48652
748.73/750.82 c #Conflicts: 1139000 | #Constraints: 50164
748.73/750.82 c #Conflicts: 1140000 | #Constraints: 51169
748.73/750.82 c #Conflicts: 1141000 | #Constraints: 52462
748.73/750.82 c #Conflicts: 1142000 | #Constraints: 53986
748.73/750.82 c #Conflicts: 1143000 | #Constraints: 55531
748.73/750.82 c #Conflicts: 1144000 | #Constraints: 57060
748.73/750.82 c #Conflicts: 1145000 | #Constraints: 58610
748.73/750.82 c #Conflicts: 1146000 | #Constraints: 60145
748.73/750.82 c INPROCESSING
748.73/750.82 c GARBAGE COLLECT
748.73/750.82 c rational objective 0
772.97/775.12 c #Conflicts: 1147000 | #Constraints: 31136
772.97/775.12 c #Conflicts: 1148000 | #Constraints: 32609
772.97/775.12 c #Conflicts: 1149000 | #Constraints: 34099
772.97/775.12 c #Conflicts: 1150000 | #Constraints: 35602
772.97/775.12 c #Conflicts: 1151000 | #Constraints: 37098
772.97/775.12 c #Conflicts: 1152000 | #Constraints: 38585
772.97/775.12 c #Conflicts: 1153000 | #Constraints: 40057
772.97/775.12 c #Conflicts: 1154000 | #Constraints: 41523
772.97/775.12 c #Conflicts: 1155000 | #Constraints: 42795
772.97/775.12 c #Conflicts: 1156000 | #Constraints: 44283
772.97/775.12 c #Conflicts: 1157000 | #Constraints: 45778
772.97/775.12 c #Conflicts: 1158000 | #Constraints: 47268
772.97/775.12 c #Conflicts: 1159000 | #Constraints: 48690
772.97/775.12 c #Conflicts: 1160000 | #Constraints: 50109
772.97/775.12 c #Conflicts: 1161000 | #Constraints: 51423
772.97/775.12 c #Conflicts: 1162000 | #Constraints: 52907
772.97/775.12 c #Conflicts: 1163000 | #Constraints: 54397
772.97/775.12 c #Conflicts: 1164000 | #Constraints: 55894
772.97/775.12 c #Conflicts: 1165000 | #Constraints: 57383
772.97/775.12 c #Conflicts: 1166000 | #Constraints: 58876
772.97/775.12 c #Conflicts: 1167000 | #Constraints: 60365
772.97/775.12 c #Conflicts: 1168000 | #Constraints: 61648
772.97/775.12 c INPROCESSING
772.97/775.12 c GARBAGE COLLECT
772.97/775.12 c rational objective 0
777.15/779.38 c #Conflicts: 1169000 | #Constraints: 32060
777.15/779.38 c #Conflicts: 1170000 | #Constraints: 33282
777.15/779.38 c #Conflicts: 1171000 | #Constraints: 34606
777.15/779.38 c #Conflicts: 1172000 | #Constraints: 36104
777.15/779.38 c #Conflicts: 1173000 | #Constraints: 37443
777.15/779.38 c Inconsistent objective-improving constraint
777.15/779.38 c bounds 0 >= 0 @ 768.113
777.15/779.38 c cpu time 768.113 s
777.15/779.38 c deterministic time 65870411746 6.59e+10
777.15/779.38 c optimization time 0.000986 s
777.15/779.38 c total solve time 768.111 s
777.15/779.38 c core-guided solve time 393.447 s
777.15/779.38 c propagation time 603.603 s
777.15/779.38 c conflict analysis time 151.778 s
777.15/779.38 c propagations 18436792
777.15/779.38 c resolve steps 7370192
777.15/779.38 c decisions 1323103
777.15/779.38 c conflicts 1173867
777.15/779.38 c restarts 2180
777.15/779.38 c inprocessing phases 99
777.15/779.38 c garbage collections 99 ,( 100.00 )
777.15/779.38 c input clauses 0 ,( 0.00 )
777.15/779.38 c input cardinalities 0 ,( 0.00 )
777.15/779.38 c input general constraints 21 ,( 100.00 )
777.15/779.38 c input average constraint length 57.33
777.15/779.38 c input average constraint degree 1203.14
777.15/779.38 c learned clauses 673507 ,( 43.96 )
777.15/779.38 c learned cardinalities 1 ,( 0.00 )
777.15/779.38 c learned general constraints 858586 ,( 56.04 )
777.15/779.38 c learned average constraint length 32.74
777.15/779.38 c learned average constraint degree 1308123671.09
777.15/779.38 c watched CF 32, 64, 128, Arb: 151560 , 0 , 0 , 0
777.15/779.38 c counting CF 32, 64, 128, Arb: 707048 , 0 , 0 , 0
777.15/779.38 c watched constraints 151560 ,( 17.65 )
777.15/779.38 c counting constraints 707047 ,( 82.35 )
777.15/779.38 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 132869081 , 13075 , 5728896534 ,( 49459955 , 5679436579 )
777.15/779.38 c gcd simplifications 641792
777.15/779.38 c detected cardinalities 1
777.15/779.38 c weakened non-implied lits 20826682
777.15/779.38 c weakened non-implying lits 985543
777.15/779.38 c original variables 120
777.15/779.38 c clausal propagations 159765
777.15/779.38 c cardinality propagations 3
777.15/779.38 c watched propagations 16241
777.15/779.38 c counting propagations 17078277
777.15/779.38 c watch lookups 38487468647
777.15/779.38 c watch backjump lookups 0
777.15/779.38 c watch checks 546594149
777.15/779.38 c propagation checks 26326041214
777.15/779.38 c constraint additions 468710685
777.15/779.38 c trail pops 20933488
777.15/779.38 c formula constraints 10
777.15/779.38 c learned constraints 1173663
777.15/779.38 c bound constraints 11
777.15/779.38 c core-guided constraints 0
777.15/779.38 c encountered formula constraints 406787
777.15/779.38 c encountered learned constraints 1413278
777.15/779.38 c encountered bound constraints 633
777.15/779.38 c encountered core-guided constraints 0
777.15/779.38 c LP total time 35.0327 s
777.15/779.38 c LP solve time 21.29 s
777.15/779.38 c LP constraints added 163
777.15/779.38 c LP constraints removed 152
777.15/779.38 c LP pivots internal 903158
777.15/779.38 c LP pivots root 509
777.15/779.38 c LP calls 505348
777.15/779.38 c LP optimalities 147252
777.15/779.38 c LP no pivot count 16671
777.15/779.38 c LP infeasibilities 358095
777.15/779.38 c LP valid Farkas constraints 358095
777.15/779.38 c LP learned Farkas constraints 204
777.15/779.38 c LP basis resets 1
777.15/779.38 c LP cycling count 0
777.15/779.38 c LP singular count 1
777.15/779.38 c LP no primal count 0
777.15/779.38 c LP no farkas count 0
777.15/779.38 c LP other issue count 0
777.15/779.38 c LP Gomory cuts 132
777.15/779.38 c LP learned cuts 21
777.15/779.38 c LP deleted cuts 152
777.15/779.38 c LP encountered Gomory constraints 1667
777.15/779.38 c LP encountered Farkas constraints 6700454
777.15/779.38 c LP encountered learned Farkas constraints 21036
777.15/779.38 c CG auxiliary variables introduced 0
777.15/779.38 c CG solutions found 12
777.15/779.38 c CG cores constructed 0
777.15/779.38 c CG core cardinality constraints returned 0
777.15/779.38 c CG unit cores 0
777.15/779.38 c CG single cores 0
777.15/779.38 c CG blocks removed during cardinality reduction 0
777.15/779.38 c CG first core best 0
777.15/779.38 c CG decision core best 0
777.15/779.38 c CG core reduction tie 0
777.15/779.38 c CG core degree average 0.00
777.15/779.38 c CG core slack average 0.00
777.15/779.38 c CG core upper bound improvements 0
777.15/779.38 c STR number of successful calls 0
777.15/779.38 c STR number of unsuccessful calls 0
777.15/779.38 c STR number of inconclusive calls 0
777.15/779.38 c STR number of successful attempts 0
777.15/779.38 c STR number of unsuccessful attempts 0
777.15/779.38 c STR number of inconclusive attempts 0
777.15/779.38 c STR average degree increase per successful call inf
777.15/779.38 c STR average degree increase per successful attempt inf
777.15/779.38 c STR total number of conflicts for successful attempts 0
777.15/779.38 c STR total number of conflicts for unsuccessful attempts 0
777.15/779.38 c STR total number of conflicts for inconclusive attempts 0
777.15/779.38 c STR average number of conflicts per successful attempt inf
777.15/779.38 c STR average number of conflicts per unsuccessful attempt inf
777.15/779.38 c STR average number of conflicts per inconclusive attempt inf
777.15/779.38 c AVG.sumWPerc 63.59
777.15/779.38 c bigint constraints 0
777.15/779.38 o 0
777.15/779.38 s OPTIMUM FOUND
777.15/779.38 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 x88 -x89 x90 x91 x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 x101 -x102 x103 x104 -x105 x106 x107 -x108 x109 -x110 x111 x112 -x113 x114 -x115 x116 x117 x118 x119 x120
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62626 MiB free)
memory of node 1: 64507 MiB (61207 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490384-1751371591/watcher-4490384-1751371591 -o /tmp/evaluation-result-4490384-1751371591/solver-4490384-1751371591 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751371504-56780 --watchdog 3760 run-opt-break.sh HOME/instance-4490384-1751371591.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=57219, runsolver pid=57216
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 3.64 3.13 3.62 5/269 57222
/proc/meminfo: memFree=126806008/131249996 swapFree=33010684/33010684
[pid=57219] ppid=57216 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57219/stat : 57219 (run-opt-break.s) S 57216 57219 56765 0 -1 4194304 239 245 0 0 0 0 0 0 20 0 1 0 52836966 4292608 736 18446744073709551615 93914542551040 93914543445573 140721960328000 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93914543684624 93914543732368 93914560389120 140721960331617 140721960331746 140721960331746 140721960337348 0
/proc/57219/statm: 1048 736 672 219 0 110 0
[pid=57222] ppid=57219 vsize=55940 memory=12908 CPUtime=0.06 cores=5,7
/proc/57222/stat : 57222 (roundingsat) R 57219 57219 56765 0 -1 4194304 589 0 0 0 6 0 0 0 20 0 1 0 52836967 57282560 3227 18446744073709551615 4227072 8923433 140723305539808 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 37982208 140723305544036 140723305544232 140723305544232 140723305549802 0
/proc/57222/statm: 13985 3227 2368 1147 0 1412 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 60132 KiB
Current children cumulated memory: 15852 KiB
[startup+0.205733 s]*
/proc/loadavg: 3.64 3.13 3.62 5/269 57222
/proc/meminfo: memFree=126806484/131249996 swapFree=33010684/33010684
[pid=57219] ppid=57216 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57219/stat : 57219 (run-opt-break.s) S 57216 57219 56765 0 -1 4194304 239 245 0 0 0 0 0 0 20 0 1 0 52836966 4292608 736 18446744073709551615 93914542551040 93914543445573 140721960328000 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93914543684624 93914543732368 93914560389120 140721960331617 140721960331746 140721960331746 140721960337348 0
/proc/57219/statm: 1048 736 672 219 0 110 0
[pid=57222] ppid=57219 vsize=56352 memory=13292 CPUtime=0.17 cores=5,7
/proc/57222/stat : 57222 (roundingsat) R 57219 57219 56765 0 -1 4194304 665 0 0 0 16 1 0 0 20 0 1 0 52836967 57704448 3323 18446744073709551615 4227072 8923433 140723305539808 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 37982208 140723305544036 140723305544232 140723305544232 140723305549802 0
/proc/57222/statm: 14088 3323 2368 1147 0 1515 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 60544 KiB
Current children cumulated memory: 16236 KiB
[startup+0.30548 s]*
/proc/loadavg: 3.64 3.13 3.62 5/269 57222
/proc/meminfo: memFree=126805980/131249996 swapFree=33010684/33010684
[pid=57219] ppid=57216 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57219/stat : 57219 (run-opt-break.s) S 57216 57219 56765 0 -1 4194304 239 245 0 0 0 0 0 0 20 0 1 0 52836966 4292608 736 18446744073709551615 93914542551040 93914543445573 140721960328000 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93914543684624 93914543732368 93914560389120 140721960331617 140721960331746 140721960331746 140721960337348 0
/proc/57219/statm: 1048 736 672 219 0 110 0
[pid=57222] ppid=57219 vsize=56632 memory=13420 CPUtime=0.26 cores=5,7
/proc/57222/stat : 57222 (roundingsat) R 57219 57219 56765 0 -1 4194304 719 0 0 0 24 2 0 0 20 0 1 0 52836967 57991168 3355 18446744073709551615 4227072 8923433 140723305539808 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 37982208 140723305544036 140723305544232 140723305544232 140723305549802 0
/proc/57222/statm: 14158 3355 2368 1147 0 1585 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 60824 KiB
Current children cumulated memory: 16364 KiB
[startup+0.700173 s]
/proc/loadavg: 3.64 3.13 3.62 5/269 57222
/proc/meminfo: memFree=126805476/131249996 swapFree=33010684/33010684
[pid=57219] ppid=57216 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57219/stat : 57219 (run-opt-break.s) S 57216 57219 56765 0 -1 4194304 239 245 0 0 0 0 0 0 20 0 1 0 52836966 4292608 736 18446744073709551615 93914542551040 93914543445573 140721960328000 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93914543684624 93914543732368 93914560389120 140721960331617 140721960331746 140721960331746 140721960337348 0
/proc/57219/statm: 1048 736 672 219 0 110 0
[pid=57222] ppid=57219 vsize=57048 memory=13932 CPUtime=0.64 cores=5,7
/proc/57222/stat : 57222 (roundingsat) R 57219 57219 56765 0 -1 4194304 838 0 0 0 61 3 0 0 20 0 1 0 52836967 58417152 3483 18446744073709551615 4227072 8923433 140723305539808 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 37982208 140723305544036 140723305544232 140723305544232 140723305549802 0
/proc/57222/statm: 14262 3483 2368 1147 0 1689 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 61240 KiB
Current children cumulated memory: 16876 KiB
[startup+1.50017 s]
/proc/loadavg: 3.64 3.13 3.62 5/269 57222
/proc/meminfo: memFree=126804468/131249996 swapFree=33010684/33010684
[pid=57219] ppid=57216 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57219/stat : 57219 (run-opt-break.s) S 57216 57219 56765 0 -1 4194304 239 245 0 0 0 0 0 0 20 0 1 0 52836966 4292608 736 18446744073709551615 93914542551040 93914543445573 140721960328000 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93914543684624 93914543732368 93914560389120 140721960331617 140721960331746 140721960331746 140721960337348 0
/proc/57219/statm: 1048 736 672 219 0 110 0
[pid=57222] ppid=57219 vsize=57868 memory=14572 CPUtime=1.44 cores=5,7
/proc/57222/stat : 57222 (roundingsat) R 57219 57219 56765 0 -1 4194304 1006 0 0 0 136 8 0 0 20 0 1 0 52836967 59256832 3643 18446744073709551615 4227072 8923433 140723305539808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37982208 140723305544036 140723305544232 140723305544232 140723305549802 0
/proc/57222/statm: 14467 3643 2368 1147 0 1894 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 62060 KiB
Current children cumulated memory: 17516 KiB
[startup+3.10549 s]
/proc/loadavg: 3.66 3.15 3.62 5/269 57222
/proc/meminfo: memFree=126792076/131249996 swapFree=33010684/33010684
[pid=57219] ppid=57216 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57219/stat : 57219 (run-opt-break.s) S 57216 57219 56765 0 -1 4194304 239 245 0 0 0 0 0 0 20 0 1 0 52836966 4292608 736 18446744073709551615 93914542551040 93914543445573 140721960328000 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93914543684624 93914543732368 93914560389120 140721960331617 140721960331746 140721960331746 140721960337348 0
/proc/57219/statm: 1048 736 672 219 0 110 0
[pid=57222] ppid=57219 vsize=58412 memory=15212 CPUtime=3.03 cores=5,7
/proc/57222/stat : 57222 (roundingsat) R 57219 57219 56765 0 -1 4194304 1161 0 0 0 289 14 0 0 20 0 1 0 52836967 59813888 3803 18446744073709551615 4227072 8923433 140723305539808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37982208 140723305544036 140723305544232 140723305544232 140723305549802 0
/proc/57222/statm: 14603 3803 2368 1147 0 2030 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 62604 KiB
Current children cumulated memory: 18156 KiB
[startup+6.30016 s]
/proc/loadavg: 3.66 3.15 3.62 5/269 57222
/proc/meminfo: memFree=126767628/131249996 swapFree=33010684/33010684
[pid=57219] ppid=57216 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57219/stat : 57219 (run-opt-break.s) S 57216 57219 56765 0 -1 4194304 239 245 0 0 0 0 0 0 20 0 1 0 52836966 4292608 736 18446744073709551615 93914542551040 93914543445573 140721960328000 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93914543684624 93914543732368 93914560389120 140721960331617 140721960331746 140721960331746 140721960337348 0
/proc/57219/statm: 1048 736 672 219 0 110 0
[pid=57222] ppid=57219 vsize=59600 memory=16108 CPUtime=6.23 cores=5,7
/proc/57222/stat : 57222 (roundingsat) R 57219 57219 56765 0 -1 4194304 1385 0 0 0 596 27 0 0 20 0 1 0 52836967 61030400 4027 18446744073709551615 4227072 8923433 140723305539808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37982208 140723305544036 140723305544232 140723305544232 140723305549802 0
/proc/57222/statm: 14900 4027 2368 1147 0 2327 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 63792 KiB
Current children cumulated memory: 19052 KiB
[startup+12.7002 s]
/proc/loadavg: 3.72 3.18 3.62 5/269 57222
/proc/meminfo: memFree=126764032/131249996 swapFree=33010684/33010684
[pid=57219] ppid=57216 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57219/stat : 57219 (run-opt-break.s) S 57216 57219 56765 0 -1 4194304 239 245 0 0 0 0 0 0 20 0 1 0 52836966 4292608 736 18446744073709551615 93914542551040 93914543445573 140721960328000 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93914543684624 93914543732368 93914560389120 140721960331617 140721960331746 140721960331746 140721960337348 0
/proc/57219/statm: 1048 736 672 219 0 110 0
[pid=57222] ppid=57219 vsize=60432 memory=19000 CPUtime=12.6 cores=5,7
/proc/57222/stat : 57222 (roundingsat) R 57219 57219 56765 0 -1 4194304 1642 0 0 0 1214 46 0 0 20 0 1 0 52836967 61882368 4750 18446744073709551615 4227072 8923433 140723305539808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37982208 140723305544036 140723305544232 140723305544232 140723305549802 0
/proc/57222/statm: 15108 4750 2368 1147 0 2535 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 64624 KiB
Current children cumulated memory: 21944 KiB
[startup+25.5002 s]
/proc/loadavg: 3.76 3.20 3.63 5/269 57222
/proc/meminfo: memFree=126718840/131249996 swapFree=33010684/33010684
[pid=57219] ppid=57216 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57219/stat : 57219 (run-opt-break.s) S 57216 57219 56765 0 -1 4194304 239 245 0 0 0 0 0 0 20 0 1 0 52836966 4292608 736 18446744073709551615 93914542551040 93914543445573 140721960328000 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93914543684624 93914543732368 93914560389120 140721960331617 140721960331746 140721960331746 140721960337348 0
/proc/57219/statm: 1048 736 672 219 0 110 0
[pid=57222] ppid=57219 vsize=62436 memory=20792 CPUtime=25.38 cores=5,7
/proc/57222/stat : 57222 (roundingsat) R 57219 57219 56765 0 -1 4194304 2098 0 0 0 2457 81 0 0 20 0 1 0 52836967 63934464 5198 18446744073709551615 4227072 8923433 140723305539808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37982208 140723305544036 140723305544232 140723305544232 140723305549802 0
/proc/57222/statm: 15609 5198 2368 1147 0 3036 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 66628 KiB
Current children cumulated memory: 23736 KiB
[startup+51.1056 s]
/proc/loadavg: 3.90 3.29 3.64 5/270 57271
/proc/meminfo: memFree=126989308/131249996 swapFree=33010684/33010684
[pid=57219] ppid=57216 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57219/stat : 57219 (run-opt-break.s) S 57216 57219 56765 0 -1 4194304 239 245 0 0 0 0 0 0 20 0 1 0 52836966 4292608 736 18446744073709551615 93914542551040 93914543445573 140721960328000 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93914543684624 93914543732368 93914560389120 140721960331617 140721960331746 140721960331746 140721960337348 0
/proc/57219/statm: 1048 736 672 219 0 110 0
[pid=57222] ppid=57219 vsize=64356 memory=22328 CPUtime=50.92 cores=5,7
/proc/57222/stat : 57222 (roundingsat) R 57219 57219 56765 0 -1 4194304 2664 0 0 0 4949 143 0 0 20 0 1 0 52836967 65900544 5582 18446744073709551615 4227072 8923433 140723305539808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37982208 140723305544036 140723305544232 140723305544232 140723305549802 0
/proc/57222/statm: 16089 5582 2368 1147 0 3516 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 68548 KiB
Current children cumulated memory: 25272 KiB
[startup+102.3 s]
/proc/loadavg: 3.96 3.41 3.67 5/270 57273
/proc/meminfo: memFree=126941364/131249996 swapFree=33010684/33010684
[pid=57219] ppid=57216 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57219/stat : 57219 (run-opt-break.s) S 57216 57219 56765 0 -1 4194304 239 245 0 0 0 0 0 0 20 0 1 0 52836966 4292608 736 18446744073709551615 93914542551040 93914543445573 140721960328000 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93914543684624 93914543732368 93914560389120 140721960331617 140721960331746 140721960331746 140721960337348 0
/proc/57219/statm: 1048 736 672 219 0 110 0
[pid=57222] ppid=57219 vsize=84592 memory=36164 CPUtime=101.98 cores=5,7
/proc/57222/stat : 57222 (roundingsat) R 57219 57219 56765 0 -1 4194304 6519 0 0 0 9977 221 0 0 20 0 1 0 52836967 86622208 9041 18446744073709551615 4227072 8923433 140723305539808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37982208 140723305544036 140723305544232 140723305544232 140723305549802 0
/proc/57222/statm: 21148 9041 2368 1147 0 8575 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 88784 KiB
Current children cumulated memory: 39108 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 3.55 3.70 5/271 57282
/proc/meminfo: memFree=126893876/131249996 swapFree=33010684/33010684
[pid=57219] ppid=57216 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57219/stat : 57219 (run-opt-break.s) S 57216 57219 56765 0 -1 4194304 239 245 0 0 0 0 0 0 20 0 1 0 52836966 4292608 736 18446744073709551615 93914542551040 93914543445573 140721960328000 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93914543684624 93914543732368 93914560389120 140721960331617 140721960331746 140721960331746 140721960337348 0
/proc/57219/statm: 1048 736 672 219 0 110 0
[pid=57222] ppid=57219 vsize=87940 memory=42780 CPUtime=161.81 cores=5,7
/proc/57222/stat : 57222 (roundingsat) R 57219 57219 56765 0 -1 4194304 8014 0 0 0 15887 294 0 0 20 0 1 0 52836967 90050560 10695 18446744073709551615 4227072 8923433 140723305539808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37982208 140723305544036 140723305544232 140723305544232 140723305549802 0
/proc/57222/statm: 21985 10695 2368 1147 0 9412 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 92132 KiB
Current children cumulated memory: 45724 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.65 3.73 5/270 57285
/proc/meminfo: memFree=126749756/131249996 swapFree=33010684/33010684
[pid=57219] ppid=57216 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57219/stat : 57219 (run-opt-break.s) S 57216 57219 56765 0 -1 4194304 239 245 0 0 0 0 0 0 20 0 1 0 52836966 4292608 736 18446744073709551615 93914542551040 93914543445573 140721960328000 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93914543684624 93914543732368 93914560389120 140721960331617 140721960331746 140721960331746 140721960337348 0
/proc/57219/statm: 1048 736 672 219 0 110 0
[pid=57222] ppid=57219 vsize=91068 memory=45012 CPUtime=221.65 cores=5,7
/proc/57222/stat : 57222 (roundingsat) R 57219 57219 56765 0 -1 4194304 8847 0 0 0 21802 363 0 0 20 0 1 0 52836967 93253632 11253 18446744073709551615 4227072 8923433 140723305539808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37982208 140723305544036 140723305544232 140723305544232 140723305549802 0
/proc/57222/statm: 22767 11253 2368 1147 0 10194 0
Current children cumulated CPU time: 221.65 s
################
# More data... #
################
/proc/57222/stat : 57222 (roundingsat) R 57219 57219 56765 0 -1 4194304 14681 0 0 0 51398 686 0 0 20 0 1 0 52836967 115019776 14035 18446744073709551615 4227072 8923433 140723305539808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37982208 140723305544036 140723305544232 140723305544232 140723305549802 0
/proc/57222/statm: 28081 14035 2432 1147 0 15508 0
Current children cumulated CPU time: 520.84 s
Current children cumulated vsize: 116516 KiB
Current children cumulated memory: 59084 KiB
[startup+582.3 s]
/proc/loadavg: 4.46 4.08 3.90 5/267 57297
/proc/meminfo: memFree=126444316/131249996 swapFree=33010684/33010684
[pid=57219] ppid=57216 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57219/stat : 57219 (run-opt-break.s) S 57216 57219 56765 0 -1 4194304 239 245 0 0 0 0 0 0 20 0 1 0 52836966 4292608 736 18446744073709551615 93914542551040 93914543445573 140721960328000 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93914543684624 93914543732368 93914560389120 140721960331617 140721960331746 140721960331746 140721960337348 0
/proc/57219/statm: 1048 736 672 219 0 110 0
[pid=57222] ppid=57219 vsize=113096 memory=59568 CPUtime=580.66 cores=5,7
/proc/57222/stat : 57222 (roundingsat) R 57219 57219 56765 0 -1 4194304 15080 0 0 0 57331 735 0 0 20 0 1 0 52836967 115810304 14892 18446744073709551615 4227072 8923433 140723305539808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37982208 140723305544036 140723305544232 140723305544232 140723305549802 0
/proc/57222/statm: 28274 14892 2432 1147 0 15701 0
Current children cumulated CPU time: 580.66 s
Current children cumulated vsize: 117288 KiB
Current children cumulated memory: 62512 KiB
[startup+642.3 s]
/proc/loadavg: 4.23 4.08 3.91 5/267 57299
/proc/meminfo: memFree=126432468/131249996 swapFree=33010684/33010684
[pid=57219] ppid=57216 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57219/stat : 57219 (run-opt-break.s) S 57216 57219 56765 0 -1 4194304 239 245 0 0 0 0 0 0 20 0 1 0 52836966 4292608 736 18446744073709551615 93914542551040 93914543445573 140721960328000 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93914543684624 93914543732368 93914560389120 140721960331617 140721960331746 140721960331746 140721960337348 0
/proc/57219/statm: 1048 736 672 219 0 110 0
[pid=57222] ppid=57219 vsize=114376 memory=60088 CPUtime=640.51 cores=5,7
/proc/57222/stat : 57222 (roundingsat) R 57219 57219 56765 0 -1 4194304 15936 0 0 0 63253 798 0 0 20 0 1 0 52836967 117121024 15022 18446744073709551615 4227072 8923433 140723305539808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37982208 140723305544036 140723305544232 140723305544232 140723305549802 0
/proc/57222/statm: 28594 15022 2432 1147 0 16021 0
Current children cumulated CPU time: 640.51 s
Current children cumulated vsize: 118568 KiB
Current children cumulated memory: 63032 KiB
[startup+702.3 s]
/proc/loadavg: 4.13 4.08 3.92 5/267 57301
/proc/meminfo: memFree=126417720/131249996 swapFree=33010684/33010684
[pid=57219] ppid=57216 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57219/stat : 57219 (run-opt-break.s) S 57216 57219 56765 0 -1 4194304 239 245 0 0 0 0 0 0 20 0 1 0 52836966 4292608 736 18446744073709551615 93914542551040 93914543445573 140721960328000 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93914543684624 93914543732368 93914560389120 140721960331617 140721960331746 140721960331746 140721960337348 0
/proc/57219/statm: 1048 736 672 219 0 110 0
[pid=57222] ppid=57219 vsize=115600 memory=61368 CPUtime=700.36 cores=5,7
/proc/57222/stat : 57222 (roundingsat) R 57219 57219 56765 0 -1 4194304 16269 0 0 0 69183 853 0 0 20 0 1 0 52836967 118374400 15342 18446744073709551615 4227072 8923433 140723305539808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37982208 140723305544036 140723305544232 140723305544232 140723305549802 0
/proc/57222/statm: 28900 15342 2432 1147 0 16327 0
Current children cumulated CPU time: 700.36 s
Current children cumulated vsize: 119792 KiB
Current children cumulated memory: 64312 KiB
[startup+762.3 s]
/proc/loadavg: 4.15 4.09 3.94 5/268 57310
/proc/meminfo: memFree=126314212/131249996 swapFree=33010684/33010684
[pid=57219] ppid=57216 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57219/stat : 57219 (run-opt-break.s) S 57216 57219 56765 0 -1 4194304 239 245 0 0 0 0 0 0 20 0 1 0 52836966 4292608 736 18446744073709551615 93914542551040 93914543445573 140721960328000 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93914543684624 93914543732368 93914560389120 140721960331617 140721960331746 140721960331746 140721960337348 0
/proc/57219/statm: 1048 736 672 219 0 110 0
[pid=57222] ppid=57219 vsize=115856 memory=62132 CPUtime=760.2 cores=5,7
/proc/57222/stat : 57222 (roundingsat) R 57219 57219 56765 0 -1 4194304 16863 0 0 0 75118 902 0 0 20 0 1 0 52836967 118636544 15533 18446744073709551615 4227072 8923433 140723305539808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37982208 140723305544036 140723305544232 140723305544232 140723305549802 0
/proc/57222/statm: 28964 15533 2432 1147 0 16391 0
Current children cumulated CPU time: 760.2 s
Current children cumulated vsize: 120048 KiB
Current children cumulated memory: 65076 KiB
[startup+779.391 s]
# the end of solver process 57219 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=768.115 s, system=9.1464 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+768 s]*
/proc/loadavg: 4.14 4.09 3.94 5/268 57310
/proc/meminfo: memFree=126307896/131249996 swapFree=33010684/33010684
[pid=57219] ppid=57216 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57219/stat : 57219 (run-opt-break.s) S 57216 57219 56765 0 -1 4194304 239 245 0 0 0 0 0 0 20 0 1 0 52836966 4292608 736 18446744073709551615 93914542551040 93914543445573 140721960328000 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93914543684624 93914543732368 93914560389120 140721960331617 140721960331746 140721960331746 140721960337348 0
/proc/57219/statm: 1048 736 672 219 0 110 0
[pid=57222] ppid=57219 vsize=115856 memory=62132 CPUtime=765.89 cores=5,7
/proc/57222/stat : 57222 (roundingsat) R 57219 57219 56765 0 -1 4194304 16863 0 0 0 75684 905 0 0 20 0 1 0 52836967 118636544 15533 18446744073709551615 4227072 8923433 140723305539808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37982208 140723305544036 140723305544232 140723305544232 140723305549802 0
/proc/57222/statm: 28964 15533 2432 1147 0 16391 0
Current children cumulated CPU time: 765.89 s
Current children cumulated vsize: 120048 KiB
Current children cumulated memory: 65076 KiB
[startup+774.4 s]
/proc/loadavg: 4.13 4.09 3.94 5/269 57312
/proc/meminfo: memFree=126307912/131249996 swapFree=33010684/33010684
[pid=57219] ppid=57216 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57219/stat : 57219 (run-opt-break.s) S 57216 57219 56765 0 -1 4194304 239 245 0 0 0 0 0 0 20 0 1 0 52836966 4292608 736 18446744073709551615 93914542551040 93914543445573 140721960328000 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93914543684624 93914543732368 93914560389120 140721960331617 140721960331746 140721960331746 140721960337348 0
/proc/57219/statm: 1048 736 672 219 0 110 0
[pid=57222] ppid=57219 vsize=116888 memory=62644 CPUtime=772.27 cores=5,7
/proc/57222/stat : 57222 (roundingsat) R 57219 57219 56765 0 -1 4194304 17013 0 0 0 76318 909 0 0 20 0 1 0 52836967 119693312 15661 18446744073709551615 4227072 8923433 140723305539808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37982208 140723305544036 140723305544232 140723305544232 140723305549802 0
/proc/57222/statm: 29222 15661 2432 1147 0 16649 0
Current children cumulated CPU time: 772.27 s
Current children cumulated vsize: 121080 KiB
Current children cumulated memory: 65588 KiB
[startup+777.6 s]
/proc/loadavg: 4.12 4.09 3.94 5/269 57312
/proc/meminfo: memFree=126306904/131249996 swapFree=33010684/33010684
[pid=57219] ppid=57216 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57219/stat : 57219 (run-opt-break.s) S 57216 57219 56765 0 -1 4194304 239 245 0 0 0 0 0 0 20 0 1 0 52836966 4292608 736 18446744073709551615 93914542551040 93914543445573 140721960328000 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93914543684624 93914543732368 93914560389120 140721960331617 140721960331746 140721960331746 140721960337348 0
/proc/57219/statm: 1048 736 672 219 0 110 0
[pid=57222] ppid=57219 vsize=117404 memory=63008 CPUtime=775.46 cores=5,7
/proc/57222/stat : 57222 (roundingsat) R 57219 57219 56765 0 -1 4194304 17204 0 0 0 76635 911 0 0 20 0 1 0 52836967 120221696 15752 18446744073709551615 4227072 8923433 140723305539808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37982208 140723305544036 140723305544232 140723305544232 140723305549802 0
/proc/57222/statm: 29351 15752 2432 1147 0 16778 0
Current children cumulated CPU time: 775.46 s
Current children cumulated vsize: 121596 KiB
Current children cumulated memory: 65952 KiB
[startup+778.4 s]
/proc/loadavg: 4.12 4.09 3.94 5/269 57312
/proc/meminfo: memFree=126306904/131249996 swapFree=33010684/33010684
[pid=57219] ppid=57216 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57219/stat : 57219 (run-opt-break.s) S 57216 57219 56765 0 -1 4194304 239 245 0 0 0 0 0 0 20 0 1 0 52836966 4292608 736 18446744073709551615 93914542551040 93914543445573 140721960328000 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93914543684624 93914543732368 93914560389120 140721960331617 140721960331746 140721960331746 140721960337348 0
/proc/57219/statm: 1048 736 672 219 0 110 0
[pid=57222] ppid=57219 vsize=117404 memory=63008 CPUtime=776.26 cores=5,7
/proc/57222/stat : 57222 (roundingsat) R 57219 57219 56765 0 -1 4194304 17204 0 0 0 76714 912 0 0 20 0 1 0 52836967 120221696 15752 18446744073709551615 4227072 8923433 140723305539808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37982208 140723305544036 140723305544232 140723305544232 140723305549802 0
/proc/57222/statm: 29351 15752 2432 1147 0 16778 0
Current children cumulated CPU time: 776.26 s
Current children cumulated vsize: 121596 KiB
Current children cumulated memory: 65952 KiB
[startup+778.8 s]
/proc/loadavg: 4.12 4.09 3.94 5/269 57312
/proc/meminfo: memFree=126306904/131249996 swapFree=33010684/33010684
[pid=57219] ppid=57216 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57219/stat : 57219 (run-opt-break.s) S 57216 57219 56765 0 -1 4194304 239 245 0 0 0 0 0 0 20 0 1 0 52836966 4292608 736 18446744073709551615 93914542551040 93914543445573 140721960328000 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93914543684624 93914543732368 93914560389120 140721960331617 140721960331746 140721960331746 140721960337348 0
/proc/57219/statm: 1048 736 672 219 0 110 0
[pid=57222] ppid=57219 vsize=117404 memory=63008 CPUtime=776.66 cores=5,7
/proc/57222/stat : 57222 (roundingsat) R 57219 57219 56765 0 -1 4194304 17204 0 0 0 76753 913 0 0 20 0 1 0 52836967 120221696 15752 18446744073709551615 4227072 8923433 140723305539808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37982208 140723305544036 140723305544232 140723305544232 140723305549802 0
/proc/57222/statm: 29351 15752 2432 1147 0 16778 0
Current children cumulated CPU time: 776.66 s
Current children cumulated vsize: 121596 KiB
Current children cumulated memory: 65952 KiB
[startup+779.2 s]
/proc/loadavg: 4.12 4.09 3.94 5/269 57312
/proc/meminfo: memFree=126306904/131249996 swapFree=33010684/33010684
[pid=57219] ppid=57216 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57219/stat : 57219 (run-opt-break.s) S 57216 57219 56765 0 -1 4194304 239 245 0 0 0 0 0 0 20 0 1 0 52836966 4292608 736 18446744073709551615 93914542551040 93914543445573 140721960328000 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93914543684624 93914543732368 93914560389120 140721960331617 140721960331746 140721960331746 140721960337348 0
/proc/57219/statm: 1048 736 672 219 0 110 0
[pid=57222] ppid=57219 vsize=117404 memory=63008 CPUtime=777.05 cores=5,7
/proc/57222/stat : 57222 (roundingsat) R 57219 57219 56765 0 -1 4194304 17204 0 0 0 76792 913 0 0 20 0 1 0 52836967 120221696 15752 18446744073709551615 4227072 8923433 140723305539808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37982208 140723305544036 140723305544232 140723305544232 140723305549802 0
/proc/57222/statm: 29351 15752 2432 1147 0 16778 0
Current children cumulated CPU time: 777.05 s
Current children cumulated vsize: 121596 KiB
Current children cumulated memory: 65952 KiB
[startup+779.3 s]
/proc/loadavg: 4.12 4.09 3.94 5/269 57312
/proc/meminfo: memFree=126306904/131249996 swapFree=33010684/33010684
[pid=57219] ppid=57216 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57219/stat : 57219 (run-opt-break.s) S 57216 57219 56765 0 -1 4194304 239 245 0 0 0 0 0 0 20 0 1 0 52836966 4292608 736 18446744073709551615 93914542551040 93914543445573 140721960328000 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93914543684624 93914543732368 93914560389120 140721960331617 140721960331746 140721960331746 140721960337348 0
/proc/57219/statm: 1048 736 672 219 0 110 0
[pid=57222] ppid=57219 vsize=117404 memory=63008 CPUtime=777.15 cores=5,7
/proc/57222/stat : 57222 (roundingsat) R 57219 57219 56765 0 -1 4194304 17204 0 0 0 76802 913 0 0 20 0 1 0 52836967 120221696 15752 18446744073709551615 4227072 8923433 140723305539808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37982208 140723305544036 140723305544232 140723305544232 140723305549802 0
/proc/57222/statm: 29351 15752 2432 1147 0 16778 0
Current children cumulated CPU time: 777.15 s
Current children cumulated vsize: 121596 KiB
Current children cumulated memory: 65952 KiB
Child status: 0
Real time (s): 779.391
CPU time (s): 777.261
CPU user time (s): 768.115
CPU system time (s): 9.1464
CPU usage (%): 99.7268
Max. virtual memory (cumulated for all children) (KiB): 122080
Max. memory (cumulated for all children) (KiB): 66356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 768.115
system time used= 9.1464
maximum resident set size= 63412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17712
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208
involuntary context switches= 664
# summary of solver processes directly reported to runsolver:
# pid: 57219
# total CPU time (s): 777.261
# total CPU user time (s): 768.115
# total CPU system time (s): 9.1464
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.55692 second user time and 3.6482 second system time
The end
Begin job on nodeC024 at 2025-07-01 14:06:31
IDJOB=4490384
IDBENCH=147585
IDSOLVER=3359
FILE ID=nodeC024/4490384-1751371591
RUNJOBID= nodeC024-1751371504-56780
SLURM_JOB_ID= 9598196
Free space on /tmp= 432840 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_3.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490384-1751371591/watcher-4490384-1751371591 -o /tmp/evaluation-result-4490384-1751371591/solver-4490384-1751371591 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751371504-56780 --watchdog 3760 run-opt-break.sh HOME/instance-4490384-1751371591.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a8470a83b0b0d2a815a3f0ab26202dcb
RANDOM SEED=1949507858
nodeC024 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.721
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.36
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.431
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.36
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 : 3549.777
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.728
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.36
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.671
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.36
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.686
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.36
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 : 3555.455
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.36
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 : 3628.881
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126805528 kB
MemAvailable: 128292556 kB
Buffers: 3280 kB
Cached: 2280156 kB
SwapCached: 0 kB
Active: 1796788 kB
Inactive: 2023660 kB
Active(anon): 1555084 kB
Inactive(anon): 0 kB
Active(file): 241704 kB
Inactive(file): 2023660 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14592 kB
Writeback: 16 kB
AnonPages: 1540092 kB
Mapped: 117104 kB
Shmem: 18064 kB
KReclaimable: 121404 kB
Slab: 210244 kB
SReclaimable: 121404 kB
SUnreclaim: 88840 kB
KernelStack: 4400 kB
PageTables: 6336 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2222664 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 819200 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432916 MiB
End job on nodeC024 at 2025-07-01 14:19:30