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-4517446-1751532435.opb'
0.00/0.01 c read 0.40MB (5.62ms)
0.00/0.01 c [cnf: #variables 364 #clauses 12832 #duplicates 0 #arr 38844]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 8] (2.37ms)
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.02 c candidate Johnson 13, ar 2
0.00/0.07 c found row 13x28, generating row predicate
0.00/0.07 c found row 8x26, generating row predicate
0.00/0.07 c found Johnson 13, ar 2, block_sz 42
0.00/0.07 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.07 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07 c (57.29ms)
0.00/0.07 c
0.00/0.07 c detect symmetries on remainder
0.00/0.07 c [graph: #vertices 14275 #edges 79846]
0.00/0.07 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.07 c [group: #symmetries 1.00*10^0 #generators 0] (1.89ms)
0.00/0.07 c
0.00/0.07 c finalize break order and special generators
0.00/0.07 c
0.00/0.07 c generation finished
0.00/0.07 c [sbp: #constraints 3292 #add_vars 1087]
0.00/0.07 c
0.00/0.07 c write result to 'HOME/instance-4517446-1751532435.opb.pre'
0.00/0.07 c wrote 0.51MB (1.22ms)
0.00/0.07 c ------------------------------------------------------------------
0.00/0.07 c 57.29ms 83.56% detect_special
0.00/0.07 c 5.62ms 8.20% parse
0.00/0.07 c 2.37ms 3.45% approx_orbits
0.00/0.07 c 1.89ms 2.75% detect_generic
0.00/0.07 c 1.22ms 1.78% output
0.00/0.07 c 0.17ms 0.25% other
0.00/0.07 c 0.01ms 0.02% finalize_order
0.00/0.07 c ───────────────────────────────────────────────
0.00/0.07 c 68.56ms 100% total
0.00/0.07 c ------------------------------------------------------------------
0.00/0.08 c RoundingSat 2
0.00/0.08 c branch pb25
0.00/0.08 c commit 63f22ad
0.06/0.16 c #variables 1451 #constraints 16123
0.06/0.16 c objective is ce32
0.06/0.16 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.06/0.16 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.06/0.16 c bounds 11 >= 0 @ 0.054047
0.27/0.34 c bounds 10 >= 0 @ 0.222403
0.27/0.35 c bounds 10 >= 1 @ 0.228119
0.27/0.35 c bounds 9 >= 1 @ 0.22847
0.27/0.35 c bounds 8 >= 1 @ 0.22901
0.27/0.35 c bounds 7 >= 1 @ 0.229771
0.27/0.35 c bounds 6 >= 1 @ 0.230846
0.27/0.35 c bounds 5 >= 1 @ 0.231445
0.46/0.54 c #Conflicts: 1000 | #Constraints: 17132
0.46/0.54 c #Conflicts: 2000 | #Constraints: 18132
0.46/0.54 c INPROCESSING
0.46/0.54 c GARBAGE COLLECT
0.46/0.54 c rational objective 1
0.86/0.91 c #Conflicts: 3000 | #Constraints: 16023
0.86/0.91 c #Conflicts: 4000 | #Constraints: 17023
0.86/0.91 c INPROCESSING
0.86/0.91 c GARBAGE COLLECT
0.86/0.91 c rational objective 1
1.26/1.35 c #Conflicts: 5000 | #Constraints: 16464
1.26/1.35 c #Conflicts: 6000 | #Constraints: 17464
1.26/1.35 c INPROCESSING
1.26/1.35 c GARBAGE COLLECT
1.26/1.35 c rational objective 1
1.75/1.80 c #Conflicts: 7000 | #Constraints: 14533
1.75/1.80 c #Conflicts: 8000 | #Constraints: 15533
1.75/1.80 c #Conflicts: 9000 | #Constraints: 16533
1.75/1.80 c INPROCESSING
1.75/1.80 c GARBAGE COLLECT
1.75/1.80 c rational objective 1
2.25/2.31 c #Conflicts: 10000 | #Constraints: 15258
2.25/2.31 c #Conflicts: 11000 | #Constraints: 16258
2.25/2.31 c #Conflicts: 12000 | #Constraints: 17258
2.25/2.31 c INPROCESSING
2.25/2.31 c GARBAGE COLLECT
2.25/2.31 c rational objective 1
2.44/2.51 c bounds 5 >= 2 @ 2.33247
2.65/2.79 c #Conflicts: 13000 | #Constraints: 15306
2.65/2.79 c #Conflicts: 14000 | #Constraints: 16306
2.65/2.79 c #Conflicts: 15000 | #Constraints: 17306
2.65/2.79 c INPROCESSING
2.65/2.79 c GARBAGE COLLECT
2.65/2.79 c rational objective 2
3.15/3.23 c #Conflicts: 16000 | #Constraints: 15540
3.15/3.23 c #Conflicts: 17000 | #Constraints: 16540
3.15/3.23 c #Conflicts: 18000 | #Constraints: 17540
3.15/3.23 c INPROCESSING
3.15/3.23 c GARBAGE COLLECT
3.15/3.23 c rational objective 2
3.74/3.83 c #Conflicts: 19000 | #Constraints: 15576
3.74/3.83 c #Conflicts: 20000 | #Constraints: 16576
3.74/3.83 c #Conflicts: 21000 | #Constraints: 17576
3.74/3.83 c INPROCESSING
3.74/3.83 c GARBAGE COLLECT
3.74/3.83 c rational objective 2
4.24/4.36 c #Conflicts: 22000 | #Constraints: 13691
4.24/4.36 c #Conflicts: 23000 | #Constraints: 14691
4.24/4.36 c #Conflicts: 24000 | #Constraints: 15691
4.24/4.36 c #Conflicts: 25000 | #Constraints: 16691
4.24/4.36 c INPROCESSING
4.24/4.36 c GARBAGE COLLECT
4.24/4.36 c rational objective 2
4.84/4.97 c #Conflicts: 26000 | #Constraints: 14312
4.84/4.97 c #Conflicts: 27000 | #Constraints: 15312
4.84/4.97 c #Conflicts: 28000 | #Constraints: 16312
4.84/4.97 c #Conflicts: 29000 | #Constraints: 17312
4.84/4.97 c INPROCESSING
4.84/4.97 c GARBAGE COLLECT
4.84/4.97 c rational objective 2
5.54/5.60 c #Conflicts: 30000 | #Constraints: 14705
5.54/5.60 c #Conflicts: 31000 | #Constraints: 15705
5.54/5.60 c #Conflicts: 32000 | #Constraints: 16705
5.54/5.60 c #Conflicts: 33000 | #Constraints: 17705
5.54/5.60 c INPROCESSING
5.54/5.60 c GARBAGE COLLECT
5.54/5.60 c rational objective 2
6.14/6.29 c #Conflicts: 34000 | #Constraints: 14918
6.14/6.29 c #Conflicts: 35000 | #Constraints: 15918
6.14/6.29 c #Conflicts: 36000 | #Constraints: 16918
6.14/6.29 c #Conflicts: 37000 | #Constraints: 17918
6.14/6.29 c INPROCESSING
6.14/6.29 c GARBAGE COLLECT
6.14/6.29 c rational objective 2
6.83/6.97 c #Conflicts: 38000 | #Constraints: 14917
6.83/6.97 c #Conflicts: 39000 | #Constraints: 15917
6.83/6.97 c #Conflicts: 40000 | #Constraints: 16918
6.83/6.97 c #Conflicts: 41000 | #Constraints: 17918
6.83/6.97 c INPROCESSING
6.83/6.97 c GARBAGE COLLECT
6.83/6.97 c rational objective 2
7.54/7.65 c #Conflicts: 42000 | #Constraints: 14734
7.54/7.65 c #Conflicts: 43000 | #Constraints: 15734
7.54/7.65 c #Conflicts: 44000 | #Constraints: 16734
7.54/7.65 c #Conflicts: 45000 | #Constraints: 17734
7.54/7.65 c #Conflicts: 46000 | #Constraints: 18734
7.54/7.65 c INPROCESSING
7.54/7.65 c GARBAGE COLLECT
7.54/7.65 c rational objective 2
8.24/8.39 c #Conflicts: 47000 | #Constraints: 15337
8.24/8.39 c #Conflicts: 48000 | #Constraints: 16337
8.24/8.39 c #Conflicts: 49000 | #Constraints: 17338
8.24/8.39 c #Conflicts: 50000 | #Constraints: 18338
8.24/8.39 c #Conflicts: 51000 | #Constraints: 19339
8.24/8.39 c INPROCESSING
8.24/8.39 c GARBAGE COLLECT
8.24/8.39 c rational objective 2
9.13/9.28 c #Conflicts: 52000 | #Constraints: 15488
9.13/9.28 c #Conflicts: 53000 | #Constraints: 16488
9.13/9.28 c #Conflicts: 54000 | #Constraints: 17488
9.13/9.28 c #Conflicts: 55000 | #Constraints: 18488
9.13/9.28 c #Conflicts: 56000 | #Constraints: 19488
9.13/9.28 c INPROCESSING
9.13/9.28 c GARBAGE COLLECT
9.13/9.28 c rational objective 2
10.04/10.16 c #Conflicts: 57000 | #Constraints: 15750
10.04/10.16 c #Conflicts: 58000 | #Constraints: 16750
10.04/10.16 c #Conflicts: 59000 | #Constraints: 17750
10.04/10.16 c #Conflicts: 60000 | #Constraints: 18750
10.04/10.16 c #Conflicts: 61000 | #Constraints: 19750
10.04/10.16 c INPROCESSING
10.04/10.16 c GARBAGE COLLECT
10.04/10.16 c rational objective 2
10.93/11.09 c #Conflicts: 62000 | #Constraints: 15793
10.93/11.09 c #Conflicts: 63000 | #Constraints: 16793
10.93/11.09 c #Conflicts: 64000 | #Constraints: 17793
10.93/11.09 c #Conflicts: 65000 | #Constraints: 18793
10.93/11.09 c #Conflicts: 66000 | #Constraints: 19793
10.93/11.09 c INPROCESSING
10.93/11.09 c GARBAGE COLLECT
10.93/11.09 c rational objective 2
12.93/13.10 c #Conflicts: 67000 | #Constraints: 15641
12.93/13.10 c #Conflicts: 68000 | #Constraints: 16695
12.93/13.10 c #Conflicts: 69000 | #Constraints: 17742
12.93/13.10 c #Conflicts: 70000 | #Constraints: 18880
12.93/13.10 c #Conflicts: 71000 | #Constraints: 20002
12.93/13.10 c #Conflicts: 72000 | #Constraints: 21335
12.93/13.10 c INPROCESSING
12.93/13.10 c GARBAGE COLLECT
12.93/13.10 c rational objective 2
14.12/14.26 c #Conflicts: 73000 | #Constraints: 16633
14.12/14.26 c #Conflicts: 74000 | #Constraints: 17633
14.12/14.26 c #Conflicts: 75000 | #Constraints: 18633
14.12/14.26 c #Conflicts: 76000 | #Constraints: 19633
14.12/14.26 c #Conflicts: 77000 | #Constraints: 20633
14.12/14.26 c #Conflicts: 78000 | #Constraints: 21633
14.12/14.26 c INPROCESSING
14.12/14.26 c GARBAGE COLLECT
14.12/14.26 c rational objective 2
15.22/15.33 c #Conflicts: 79000 | #Constraints: 16720
15.22/15.33 c #Conflicts: 80000 | #Constraints: 17720
15.22/15.33 c #Conflicts: 81000 | #Constraints: 18720
15.22/15.33 c #Conflicts: 82000 | #Constraints: 19720
15.22/15.33 c #Conflicts: 83000 | #Constraints: 20720
15.22/15.33 c #Conflicts: 84000 | #Constraints: 21720
15.22/15.33 c INPROCESSING
15.22/15.33 c GARBAGE COLLECT
15.22/15.33 c rational objective 2
16.41/16.55 c #Conflicts: 85000 | #Constraints: 16823
16.41/16.55 c #Conflicts: 86000 | #Constraints: 17823
16.41/16.55 c #Conflicts: 87000 | #Constraints: 18823
16.41/16.55 c #Conflicts: 88000 | #Constraints: 19823
16.41/16.55 c #Conflicts: 89000 | #Constraints: 20823
16.41/16.55 c #Conflicts: 90000 | #Constraints: 21823
16.41/16.55 c INPROCESSING
16.41/16.55 c GARBAGE COLLECT
16.41/16.55 c rational objective 2
17.71/17.81 c #Conflicts: 91000 | #Constraints: 16763
17.71/17.81 c #Conflicts: 92000 | #Constraints: 17763
17.71/17.81 c #Conflicts: 93000 | #Constraints: 18763
17.71/17.81 c #Conflicts: 94000 | #Constraints: 19763
17.71/17.81 c #Conflicts: 95000 | #Constraints: 20763
17.71/17.81 c #Conflicts: 96000 | #Constraints: 21763
17.71/17.81 c INPROCESSING
17.71/17.81 c GARBAGE COLLECT
17.71/17.81 c rational objective 2
19.01/19.17 c #Conflicts: 97000 | #Constraints: 16547
19.01/19.17 c #Conflicts: 98000 | #Constraints: 17547
19.01/19.17 c #Conflicts: 99000 | #Constraints: 18547
19.01/19.17 c #Conflicts: 100000 | #Constraints: 19547
19.01/19.17 c #Conflicts: 101000 | #Constraints: 20547
19.01/19.17 c #Conflicts: 102000 | #Constraints: 21547
19.01/19.17 c #Conflicts: 103000 | #Constraints: 22547
19.01/19.17 c INPROCESSING
19.01/19.17 c GARBAGE COLLECT
19.01/19.17 c rational objective 2
20.31/20.40 c #Conflicts: 104000 | #Constraints: 17133
20.31/20.40 c #Conflicts: 105000 | #Constraints: 18133
20.31/20.40 c #Conflicts: 106000 | #Constraints: 19133
20.31/20.40 c #Conflicts: 107000 | #Constraints: 20133
20.31/20.40 c #Conflicts: 108000 | #Constraints: 21133
20.31/20.40 c #Conflicts: 109000 | #Constraints: 22133
20.31/20.40 c #Conflicts: 110000 | #Constraints: 23133
20.31/20.40 c INPROCESSING
20.31/20.40 c GARBAGE COLLECT
20.31/20.40 c rational objective 2
21.50/21.63 c #Conflicts: 111000 | #Constraints: 17284
21.50/21.63 c #Conflicts: 112000 | #Constraints: 18284
21.50/21.63 c #Conflicts: 113000 | #Constraints: 19284
21.50/21.63 c #Conflicts: 114000 | #Constraints: 20284
21.50/21.63 c #Conflicts: 115000 | #Constraints: 21284
21.50/21.63 c #Conflicts: 116000 | #Constraints: 22284
21.50/21.63 c #Conflicts: 117000 | #Constraints: 23284
21.50/21.63 c INPROCESSING
21.50/21.63 c GARBAGE COLLECT
21.50/21.63 c rational objective 2
22.80/22.95 c #Conflicts: 118000 | #Constraints: 17504
22.80/22.95 c #Conflicts: 119000 | #Constraints: 18504
22.80/22.95 c #Conflicts: 120000 | #Constraints: 19504
22.80/22.95 c #Conflicts: 121000 | #Constraints: 20504
22.80/22.95 c #Conflicts: 122000 | #Constraints: 21504
22.80/22.95 c #Conflicts: 123000 | #Constraints: 22504
22.80/22.95 c #Conflicts: 124000 | #Constraints: 23504
22.80/22.95 c INPROCESSING
22.80/22.95 c GARBAGE COLLECT
22.80/22.95 c rational objective 2
24.19/24.31 c #Conflicts: 125000 | #Constraints: 17482
24.19/24.31 c #Conflicts: 126000 | #Constraints: 18482
24.19/24.31 c #Conflicts: 127000 | #Constraints: 19482
24.19/24.31 c #Conflicts: 128000 | #Constraints: 20482
24.19/24.31 c #Conflicts: 129000 | #Constraints: 21482
24.19/24.31 c #Conflicts: 130000 | #Constraints: 22482
24.19/24.31 c #Conflicts: 131000 | #Constraints: 23482
24.19/24.31 c INPROCESSING
24.19/24.31 c GARBAGE COLLECT
24.19/24.31 c rational objective 2
25.49/25.67 c #Conflicts: 132000 | #Constraints: 17294
25.49/25.67 c #Conflicts: 133000 | #Constraints: 18294
25.49/25.67 c #Conflicts: 134000 | #Constraints: 19294
25.49/25.67 c #Conflicts: 135000 | #Constraints: 20294
25.49/25.67 c #Conflicts: 136000 | #Constraints: 21294
25.49/25.67 c #Conflicts: 137000 | #Constraints: 22294
25.49/25.67 c #Conflicts: 138000 | #Constraints: 23294
25.49/25.67 c #Conflicts: 139000 | #Constraints: 24294
25.49/25.67 c INPROCESSING
25.49/25.67 c GARBAGE COLLECT
25.49/25.67 c rational objective 2
27.08/27.20 c #Conflicts: 140000 | #Constraints: 17897
27.08/27.20 c #Conflicts: 141000 | #Constraints: 18897
27.08/27.20 c #Conflicts: 142000 | #Constraints: 19897
27.08/27.20 c #Conflicts: 143000 | #Constraints: 20897
27.08/27.20 c #Conflicts: 144000 | #Constraints: 21897
27.08/27.20 c #Conflicts: 145000 | #Constraints: 22897
27.08/27.20 c #Conflicts: 146000 | #Constraints: 23897
27.08/27.20 c #Conflicts: 147000 | #Constraints: 24897
27.08/27.20 c INPROCESSING
27.08/27.20 c GARBAGE COLLECT
27.08/27.20 c rational objective 2
28.58/28.70 c #Conflicts: 148000 | #Constraints: 18309
28.58/28.70 c #Conflicts: 149000 | #Constraints: 19309
28.58/28.70 c #Conflicts: 150000 | #Constraints: 20309
28.58/28.70 c #Conflicts: 151000 | #Constraints: 21309
28.58/28.70 c #Conflicts: 152000 | #Constraints: 22309
28.58/28.70 c #Conflicts: 153000 | #Constraints: 23309
28.58/28.70 c #Conflicts: 154000 | #Constraints: 24309
28.58/28.70 c #Conflicts: 155000 | #Constraints: 25309
28.58/28.70 c INPROCESSING
28.58/28.70 c GARBAGE COLLECT
28.58/28.70 c rational objective 2
30.18/30.30 c #Conflicts: 156000 | #Constraints: 18509
30.18/30.30 c #Conflicts: 157000 | #Constraints: 19509
30.18/30.30 c #Conflicts: 158000 | #Constraints: 20509
30.18/30.30 c #Conflicts: 159000 | #Constraints: 21509
30.18/30.30 c #Conflicts: 160000 | #Constraints: 22509
30.18/30.30 c #Conflicts: 161000 | #Constraints: 23509
30.18/30.30 c #Conflicts: 162000 | #Constraints: 24509
30.18/30.30 c #Conflicts: 163000 | #Constraints: 25509
30.18/30.30 c INPROCESSING
30.18/30.30 c GARBAGE COLLECT
30.18/30.30 c rational objective 2
31.87/32.07 c #Conflicts: 164000 | #Constraints: 18526
31.87/32.07 c #Conflicts: 165000 | #Constraints: 19526
31.87/32.07 c #Conflicts: 166000 | #Constraints: 20526
31.87/32.07 c #Conflicts: 167000 | #Constraints: 21526
31.87/32.07 c #Conflicts: 168000 | #Constraints: 22526
31.87/32.07 c #Conflicts: 169000 | #Constraints: 23526
31.87/32.07 c #Conflicts: 170000 | #Constraints: 24526
31.87/32.07 c #Conflicts: 171000 | #Constraints: 25526
31.87/32.07 c INPROCESSING
31.87/32.07 c GARBAGE COLLECT
31.87/32.07 c rational objective 2
33.67/33.83 c #Conflicts: 172000 | #Constraints: 18310
33.67/33.83 c #Conflicts: 173000 | #Constraints: 19310
33.67/33.83 c #Conflicts: 174000 | #Constraints: 20310
33.67/33.83 c #Conflicts: 175000 | #Constraints: 21310
33.67/33.83 c #Conflicts: 176000 | #Constraints: 22310
33.67/33.83 c #Conflicts: 177000 | #Constraints: 23310
33.67/33.83 c #Conflicts: 178000 | #Constraints: 24310
33.67/33.83 c #Conflicts: 179000 | #Constraints: 25310
33.67/33.83 c #Conflicts: 180000 | #Constraints: 26310
33.67/33.83 c INPROCESSING
33.67/33.83 c GARBAGE COLLECT
33.67/33.83 c rational objective 2
35.26/35.42 c #Conflicts: 181000 | #Constraints: 18917
35.26/35.42 c #Conflicts: 182000 | #Constraints: 19917
35.26/35.42 c #Conflicts: 183000 | #Constraints: 20917
35.26/35.42 c #Conflicts: 184000 | #Constraints: 21917
35.26/35.42 c #Conflicts: 185000 | #Constraints: 22917
35.26/35.42 c #Conflicts: 186000 | #Constraints: 23917
35.26/35.42 c #Conflicts: 187000 | #Constraints: 24917
35.26/35.42 c #Conflicts: 188000 | #Constraints: 25917
35.26/35.42 c #Conflicts: 189000 | #Constraints: 26917
35.26/35.42 c INPROCESSING
35.26/35.42 c GARBAGE COLLECT
35.26/35.42 c rational objective 2
37.06/37.22 c #Conflicts: 190000 | #Constraints: 19312
37.06/37.22 c #Conflicts: 191000 | #Constraints: 20312
37.06/37.22 c #Conflicts: 192000 | #Constraints: 21312
37.06/37.22 c #Conflicts: 193000 | #Constraints: 22312
37.06/37.22 c #Conflicts: 194000 | #Constraints: 23312
37.06/37.22 c #Conflicts: 195000 | #Constraints: 24312
37.06/37.22 c #Conflicts: 196000 | #Constraints: 25312
37.06/37.22 c #Conflicts: 197000 | #Constraints: 26312
37.06/37.22 c #Conflicts: 198000 | #Constraints: 27312
37.06/37.22 c INPROCESSING
37.06/37.22 c GARBAGE COLLECT
37.06/37.22 c rational objective 2
38.85/39.05 c #Conflicts: 199000 | #Constraints: 19516
38.85/39.05 c #Conflicts: 200000 | #Constraints: 20516
38.85/39.05 c #Conflicts: 201000 | #Constraints: 21516
38.85/39.05 c #Conflicts: 202000 | #Constraints: 22516
38.85/39.05 c #Conflicts: 203000 | #Constraints: 23516
38.85/39.05 c #Conflicts: 204000 | #Constraints: 24516
38.85/39.05 c #Conflicts: 205000 | #Constraints: 25516
38.85/39.05 c #Conflicts: 206000 | #Constraints: 26516
38.85/39.05 c #Conflicts: 207000 | #Constraints: 27516
38.85/39.05 c INPROCESSING
38.85/39.05 c GARBAGE COLLECT
38.85/39.05 c rational objective 2
41.05/41.24 c #Conflicts: 208000 | #Constraints: 19498
41.05/41.24 c #Conflicts: 209000 | #Constraints: 20498
41.05/41.24 c #Conflicts: 210000 | #Constraints: 21498
41.05/41.24 c #Conflicts: 211000 | #Constraints: 22498
41.05/41.24 c #Conflicts: 212000 | #Constraints: 23498
41.05/41.24 c #Conflicts: 213000 | #Constraints: 24498
41.05/41.24 c #Conflicts: 214000 | #Constraints: 25498
41.05/41.24 c #Conflicts: 215000 | #Constraints: 26498
41.05/41.24 c #Conflicts: 216000 | #Constraints: 27498
41.05/41.24 c INPROCESSING
41.05/41.24 c GARBAGE COLLECT
41.05/41.24 c rational objective 2
44.33/44.55 c #Conflicts: 217000 | #Constraints: 19318
44.33/44.55 c #Conflicts: 218000 | #Constraints: 20318
44.33/44.55 c #Conflicts: 219000 | #Constraints: 21500
44.33/44.55 c #Conflicts: 220000 | #Constraints: 22725
44.33/44.55 c #Conflicts: 221000 | #Constraints: 23792
44.33/44.55 c #Conflicts: 222000 | #Constraints: 24945
44.33/44.55 c #Conflicts: 223000 | #Constraints: 26385
44.33/44.55 c #Conflicts: 224000 | #Constraints: 27693
44.33/44.55 c #Conflicts: 225000 | #Constraints: 28693
44.33/44.55 c #Conflicts: 226000 | #Constraints: 29693
44.33/44.55 c INPROCESSING
44.33/44.55 c GARBAGE COLLECT
44.33/44.55 c rational objective 2
46.42/46.66 c #Conflicts: 227000 | #Constraints: 20605
46.42/46.66 c #Conflicts: 228000 | #Constraints: 21605
46.42/46.66 c #Conflicts: 229000 | #Constraints: 22605
46.42/46.66 c #Conflicts: 230000 | #Constraints: 23605
46.42/46.66 c #Conflicts: 231000 | #Constraints: 24605
46.42/46.66 c #Conflicts: 232000 | #Constraints: 25605
46.42/46.66 c #Conflicts: 233000 | #Constraints: 26605
46.42/46.66 c #Conflicts: 234000 | #Constraints: 27605
46.42/46.66 c #Conflicts: 235000 | #Constraints: 28605
46.42/46.66 c #Conflicts: 236000 | #Constraints: 29605
46.42/46.66 c INPROCESSING
46.42/46.66 c GARBAGE COLLECT
46.42/46.66 c rational objective 2
48.72/48.97 c #Conflicts: 237000 | #Constraints: 20660
48.72/48.97 c #Conflicts: 238000 | #Constraints: 21660
48.72/48.97 c #Conflicts: 239000 | #Constraints: 22660
48.72/48.97 c #Conflicts: 240000 | #Constraints: 23660
48.72/48.97 c #Conflicts: 241000 | #Constraints: 24660
48.72/48.97 c #Conflicts: 242000 | #Constraints: 25660
48.72/48.97 c #Conflicts: 243000 | #Constraints: 26660
48.72/48.97 c #Conflicts: 244000 | #Constraints: 27660
48.72/48.97 c #Conflicts: 245000 | #Constraints: 28660
48.72/48.97 c #Conflicts: 246000 | #Constraints: 29660
48.72/48.97 c INPROCESSING
48.72/48.97 c GARBAGE COLLECT
48.72/48.97 c rational objective 2
50.72/50.91 c #Conflicts: 247000 | #Constraints: 20697
50.72/50.91 c #Conflicts: 248000 | #Constraints: 21697
50.72/50.91 c #Conflicts: 249000 | #Constraints: 22697
50.72/50.91 c #Conflicts: 250000 | #Constraints: 23697
50.72/50.91 c #Conflicts: 251000 | #Constraints: 24697
50.72/50.91 c #Conflicts: 252000 | #Constraints: 25697
50.72/50.91 c #Conflicts: 253000 | #Constraints: 26697
50.72/50.91 c #Conflicts: 254000 | #Constraints: 27697
50.72/50.91 c #Conflicts: 255000 | #Constraints: 28697
50.72/50.91 c #Conflicts: 256000 | #Constraints: 29697
50.72/50.91 c INPROCESSING
50.72/50.91 c GARBAGE COLLECT
50.72/50.91 c rational objective 2
53.11/53.32 c #Conflicts: 257000 | #Constraints: 20590
53.11/53.32 c #Conflicts: 258000 | #Constraints: 21590
53.11/53.32 c #Conflicts: 259000 | #Constraints: 22590
53.11/53.32 c #Conflicts: 260000 | #Constraints: 23590
53.11/53.32 c #Conflicts: 261000 | #Constraints: 24590
53.11/53.32 c #Conflicts: 262000 | #Constraints: 25590
53.11/53.32 c #Conflicts: 263000 | #Constraints: 26590
53.11/53.32 c #Conflicts: 264000 | #Constraints: 27590
53.11/53.32 c #Conflicts: 265000 | #Constraints: 28590
53.11/53.32 c #Conflicts: 266000 | #Constraints: 29590
53.11/53.32 c INPROCESSING
53.11/53.32 c GARBAGE COLLECT
53.11/53.32 c rational objective 2
55.20/55.41 c #Conflicts: 267000 | #Constraints: 20364
55.20/55.41 c #Conflicts: 268000 | #Constraints: 21364
55.20/55.41 c #Conflicts: 269000 | #Constraints: 22364
55.20/55.41 c #Conflicts: 270000 | #Constraints: 23364
55.20/55.41 c #Conflicts: 271000 | #Constraints: 24364
55.20/55.41 c #Conflicts: 272000 | #Constraints: 25364
55.20/55.41 c #Conflicts: 273000 | #Constraints: 26364
55.20/55.41 c #Conflicts: 274000 | #Constraints: 27364
55.20/55.41 c #Conflicts: 275000 | #Constraints: 28364
55.20/55.41 c #Conflicts: 276000 | #Constraints: 29364
55.20/55.41 c #Conflicts: 277000 | #Constraints: 30364
55.20/55.41 c INPROCESSING
55.20/55.41 c GARBAGE COLLECT
55.20/55.41 c rational objective 2
57.50/57.76 c #Conflicts: 278000 | #Constraints: 20939
57.50/57.76 c #Conflicts: 279000 | #Constraints: 21939
57.50/57.76 c #Conflicts: 280000 | #Constraints: 22939
57.50/57.76 c #Conflicts: 281000 | #Constraints: 23939
57.50/57.76 c #Conflicts: 282000 | #Constraints: 24939
57.50/57.76 c #Conflicts: 283000 | #Constraints: 25939
57.50/57.76 c #Conflicts: 284000 | #Constraints: 26939
57.50/57.76 c #Conflicts: 285000 | #Constraints: 27939
57.50/57.76 c #Conflicts: 286000 | #Constraints: 28939
57.50/57.76 c #Conflicts: 287000 | #Constraints: 29939
57.50/57.76 c #Conflicts: 288000 | #Constraints: 30939
57.50/57.76 c INPROCESSING
57.50/57.76 c GARBAGE COLLECT
57.50/57.76 c rational objective 2
58.60/58.85 c #Conflicts: 289000 | #Constraints: 21324
58.60/58.85 c #Conflicts: 290000 | #Constraints: 22324
58.60/58.85 c #Conflicts: 291000 | #Constraints: 23324
58.60/58.85 c #Conflicts: 292000 | #Constraints: 24324
58.60/58.85 c bounds 5 >= 3 @ 57.1072
59.80/60.03 c #Conflicts: 293000 | #Constraints: 25327
59.80/60.03 c #Conflicts: 294000 | #Constraints: 26327
59.80/60.03 c #Conflicts: 295000 | #Constraints: 27327
59.80/60.03 c #Conflicts: 296000 | #Constraints: 28327
59.80/60.03 c #Conflicts: 297000 | #Constraints: 29327
59.80/60.03 c #Conflicts: 298000 | #Constraints: 30327
59.80/60.03 c #Conflicts: 299000 | #Constraints: 31327
59.80/60.03 c INPROCESSING
59.80/60.03 c GARBAGE COLLECT
59.80/60.03 c rational objective 3
62.08/62.36 c #Conflicts: 300000 | #Constraints: 17974
62.08/62.36 c #Conflicts: 301000 | #Constraints: 18974
62.08/62.36 c #Conflicts: 302000 | #Constraints: 19974
62.08/62.36 c #Conflicts: 303000 | #Constraints: 20974
62.08/62.36 c #Conflicts: 304000 | #Constraints: 21974
62.08/62.36 c #Conflicts: 305000 | #Constraints: 22974
62.08/62.36 c #Conflicts: 306000 | #Constraints: 23974
62.08/62.36 c #Conflicts: 307000 | #Constraints: 24974
62.08/62.36 c #Conflicts: 308000 | #Constraints: 25974
62.08/62.36 c #Conflicts: 309000 | #Constraints: 26974
62.08/62.36 c #Conflicts: 310000 | #Constraints: 27974
62.08/62.36 c INPROCESSING
62.08/62.36 c GARBAGE COLLECT
62.08/62.36 c rational objective 3
64.18/64.42 c #Conflicts: 311000 | #Constraints: 19615
64.18/64.42 c #Conflicts: 312000 | #Constraints: 20615
64.18/64.42 c #Conflicts: 313000 | #Constraints: 21615
64.18/64.42 c #Conflicts: 314000 | #Constraints: 22615
64.18/64.42 c #Conflicts: 315000 | #Constraints: 23615
64.18/64.42 c #Conflicts: 316000 | #Constraints: 24615
64.18/64.42 c #Conflicts: 317000 | #Constraints: 25615
64.18/64.42 c #Conflicts: 318000 | #Constraints: 26615
64.18/64.42 c #Conflicts: 319000 | #Constraints: 27615
64.18/64.42 c #Conflicts: 320000 | #Constraints: 28615
64.18/64.42 c #Conflicts: 321000 | #Constraints: 29615
64.18/64.42 c INPROCESSING
64.18/64.42 c GARBAGE COLLECT
64.18/64.42 c rational objective 3
67.07/67.39 c #Conflicts: 322000 | #Constraints: 20255
67.07/67.39 c #Conflicts: 323000 | #Constraints: 21255
67.07/67.39 c #Conflicts: 324000 | #Constraints: 22255
67.07/67.39 c #Conflicts: 325000 | #Constraints: 23255
67.07/67.39 c #Conflicts: 326000 | #Constraints: 24255
67.07/67.39 c #Conflicts: 327000 | #Constraints: 25255
67.07/67.39 c #Conflicts: 328000 | #Constraints: 26255
67.07/67.39 c #Conflicts: 329000 | #Constraints: 27255
67.07/67.39 c #Conflicts: 330000 | #Constraints: 28255
67.07/67.39 c #Conflicts: 331000 | #Constraints: 29255
67.07/67.39 c #Conflicts: 332000 | #Constraints: 30255
67.07/67.39 c #Conflicts: 333000 | #Constraints: 31255
67.07/67.39 c INPROCESSING
67.07/67.39 c GARBAGE COLLECT
67.07/67.39 c rational objective 3
69.96/70.26 c #Conflicts: 334000 | #Constraints: 21281
69.96/70.26 c #Conflicts: 335000 | #Constraints: 22281
69.96/70.26 c #Conflicts: 336000 | #Constraints: 23281
69.96/70.26 c #Conflicts: 337000 | #Constraints: 24281
69.96/70.26 c #Conflicts: 338000 | #Constraints: 25281
69.96/70.26 c #Conflicts: 339000 | #Constraints: 26281
69.96/70.26 c #Conflicts: 340000 | #Constraints: 27281
69.96/70.26 c #Conflicts: 341000 | #Constraints: 28281
69.96/70.26 c #Conflicts: 342000 | #Constraints: 29281
69.96/70.26 c #Conflicts: 343000 | #Constraints: 30281
69.96/70.26 c #Conflicts: 344000 | #Constraints: 31281
69.96/70.26 c #Conflicts: 345000 | #Constraints: 32281
69.96/70.26 c INPROCESSING
69.96/70.26 c GARBAGE COLLECT
69.96/70.26 c rational objective 3
72.66/72.93 c #Conflicts: 346000 | #Constraints: 21852
72.66/72.93 c #Conflicts: 347000 | #Constraints: 22852
72.66/72.93 c #Conflicts: 348000 | #Constraints: 23852
72.66/72.93 c #Conflicts: 349000 | #Constraints: 24852
72.66/72.93 c #Conflicts: 350000 | #Constraints: 25852
72.66/72.93 c #Conflicts: 351000 | #Constraints: 26852
72.66/72.93 c #Conflicts: 352000 | #Constraints: 27852
72.66/72.93 c #Conflicts: 353000 | #Constraints: 28852
72.66/72.93 c #Conflicts: 354000 | #Constraints: 29852
72.66/72.93 c #Conflicts: 355000 | #Constraints: 30852
72.66/72.93 c #Conflicts: 356000 | #Constraints: 31852
72.66/72.93 c #Conflicts: 357000 | #Constraints: 32852
72.66/72.93 c INPROCESSING
72.66/72.93 c GARBAGE COLLECT
72.66/72.93 c rational objective 3
75.46/75.76 c #Conflicts: 358000 | #Constraints: 22165
75.46/75.76 c #Conflicts: 359000 | #Constraints: 23165
75.46/75.76 c #Conflicts: 360000 | #Constraints: 24165
75.46/75.76 c #Conflicts: 361000 | #Constraints: 25165
75.46/75.76 c #Conflicts: 362000 | #Constraints: 26165
75.46/75.76 c #Conflicts: 363000 | #Constraints: 27165
75.46/75.76 c #Conflicts: 364000 | #Constraints: 28165
75.46/75.76 c #Conflicts: 365000 | #Constraints: 29165
75.46/75.76 c #Conflicts: 366000 | #Constraints: 30165
75.46/75.76 c #Conflicts: 367000 | #Constraints: 31165
75.46/75.76 c #Conflicts: 368000 | #Constraints: 32165
75.46/75.76 c #Conflicts: 369000 | #Constraints: 33165
75.46/75.76 c INPROCESSING
75.46/75.76 c GARBAGE COLLECT
75.46/75.76 c rational objective 3
78.34/78.68 c #Conflicts: 370000 | #Constraints: 22103
78.34/78.68 c #Conflicts: 371000 | #Constraints: 23103
78.34/78.68 c #Conflicts: 372000 | #Constraints: 24103
78.34/78.68 c #Conflicts: 373000 | #Constraints: 25103
78.34/78.68 c #Conflicts: 374000 | #Constraints: 26103
78.34/78.68 c #Conflicts: 375000 | #Constraints: 27103
78.34/78.68 c #Conflicts: 376000 | #Constraints: 28103
78.34/78.68 c #Conflicts: 377000 | #Constraints: 29103
78.34/78.68 c #Conflicts: 378000 | #Constraints: 30103
78.34/78.68 c #Conflicts: 379000 | #Constraints: 31103
78.34/78.68 c #Conflicts: 380000 | #Constraints: 32103
78.34/78.68 c #Conflicts: 381000 | #Constraints: 33103
78.34/78.68 c INPROCESSING
78.34/78.68 c GARBAGE COLLECT
78.34/78.68 c rational objective 3
81.63/81.93 c #Conflicts: 382000 | #Constraints: 21942
81.63/81.93 c #Conflicts: 383000 | #Constraints: 22946
81.63/81.93 c #Conflicts: 384000 | #Constraints: 23983
81.63/81.93 c #Conflicts: 385000 | #Constraints: 24986
81.63/81.93 c #Conflicts: 386000 | #Constraints: 25987
81.63/81.93 c #Conflicts: 387000 | #Constraints: 26990
81.63/81.93 c #Conflicts: 388000 | #Constraints: 27992
81.63/81.93 c #Conflicts: 389000 | #Constraints: 28992
81.63/81.93 c #Conflicts: 390000 | #Constraints: 29993
81.63/81.93 c #Conflicts: 391000 | #Constraints: 30995
81.63/81.93 c #Conflicts: 392000 | #Constraints: 32018
81.63/81.93 c #Conflicts: 393000 | #Constraints: 33020
81.63/81.93 c #Conflicts: 394000 | #Constraints: 34123
81.63/81.93 c INPROCESSING
81.63/81.93 c GARBAGE COLLECT
81.63/81.93 c rational objective 3
84.53/84.85 c #Conflicts: 395000 | #Constraints: 21938
84.53/84.85 c #Conflicts: 396000 | #Constraints: 22940
84.53/84.85 c #Conflicts: 397000 | #Constraints: 23944
84.53/84.85 c #Conflicts: 398000 | #Constraints: 24953
84.53/84.85 c #Conflicts: 399000 | #Constraints: 25962
84.53/84.85 c #Conflicts: 400000 | #Constraints: 26965
84.53/84.85 c #Conflicts: 401000 | #Constraints: 28039
84.53/84.85 c #Conflicts: 402000 | #Constraints: 29041
84.53/84.85 c #Conflicts: 403000 | #Constraints: 30044
84.53/84.85 c #Conflicts: 404000 | #Constraints: 31061
84.53/84.85 c #Conflicts: 405000 | #Constraints: 32063
84.53/84.85 c #Conflicts: 406000 | #Constraints: 33065
84.53/84.85 c #Conflicts: 407000 | #Constraints: 34066
84.53/84.85 c INPROCESSING
84.53/84.85 c GARBAGE COLLECT
84.53/84.85 c rational objective 3
88.41/88.74 c #Conflicts: 408000 | #Constraints: 22377
88.41/88.74 c #Conflicts: 409000 | #Constraints: 23377
88.41/88.74 c #Conflicts: 410000 | #Constraints: 24377
88.41/88.74 c #Conflicts: 411000 | #Constraints: 25377
88.41/88.74 c #Conflicts: 412000 | #Constraints: 26377
88.41/88.74 c #Conflicts: 413000 | #Constraints: 27377
88.41/88.74 c #Conflicts: 414000 | #Constraints: 28377
88.41/88.74 c #Conflicts: 415000 | #Constraints: 29523
88.41/88.74 c #Conflicts: 416000 | #Constraints: 30633
88.41/88.74 c #Conflicts: 417000 | #Constraints: 31875
88.41/88.74 c #Conflicts: 418000 | #Constraints: 33082
88.41/88.74 c #Conflicts: 419000 | #Constraints: 34118
88.41/88.74 c #Conflicts: 420000 | #Constraints: 35210
88.41/88.74 c INPROCESSING
88.41/88.74 c GARBAGE COLLECT
88.41/88.74 c rational objective 3
91.20/91.51 c #Conflicts: 421000 | #Constraints: 22936
91.20/91.51 c #Conflicts: 422000 | #Constraints: 23936
91.20/91.51 c #Conflicts: 423000 | #Constraints: 24936
91.20/91.51 c #Conflicts: 424000 | #Constraints: 25936
91.20/91.51 c #Conflicts: 425000 | #Constraints: 26936
91.20/91.51 c #Conflicts: 426000 | #Constraints: 27936
91.20/91.51 c #Conflicts: 427000 | #Constraints: 28936
91.20/91.51 c #Conflicts: 428000 | #Constraints: 29936
91.20/91.51 c #Conflicts: 429000 | #Constraints: 30936
91.20/91.51 c #Conflicts: 430000 | #Constraints: 31936
91.20/91.51 c #Conflicts: 431000 | #Constraints: 32936
91.20/91.51 c #Conflicts: 432000 | #Constraints: 33936
91.20/91.51 c #Conflicts: 433000 | #Constraints: 34936
91.20/91.51 c INPROCESSING
91.20/91.51 c GARBAGE COLLECT
91.20/91.51 c rational objective 3
94.49/94.87 c #Conflicts: 434000 | #Constraints: 22706
94.49/94.87 c #Conflicts: 435000 | #Constraints: 23706
94.49/94.87 c #Conflicts: 436000 | #Constraints: 24706
94.49/94.87 c #Conflicts: 437000 | #Constraints: 25706
94.49/94.87 c #Conflicts: 438000 | #Constraints: 26706
94.49/94.87 c #Conflicts: 439000 | #Constraints: 27706
94.49/94.87 c #Conflicts: 440000 | #Constraints: 28706
94.49/94.87 c #Conflicts: 441000 | #Constraints: 29706
94.49/94.87 c #Conflicts: 442000 | #Constraints: 30706
94.49/94.87 c #Conflicts: 443000 | #Constraints: 31706
94.49/94.87 c #Conflicts: 444000 | #Constraints: 32706
94.49/94.87 c #Conflicts: 445000 | #Constraints: 33706
94.49/94.87 c #Conflicts: 446000 | #Constraints: 34706
94.49/94.87 c INPROCESSING
94.49/94.87 c GARBAGE COLLECT
94.49/94.87 c rational objective 3
98.28/98.65 c #Conflicts: 447000 | #Constraints: 22396
98.28/98.65 c #Conflicts: 448000 | #Constraints: 23396
98.28/98.65 c #Conflicts: 449000 | #Constraints: 24396
98.28/98.65 c #Conflicts: 450000 | #Constraints: 25396
98.28/98.65 c #Conflicts: 451000 | #Constraints: 26396
98.28/98.65 c #Conflicts: 452000 | #Constraints: 27396
98.28/98.65 c #Conflicts: 453000 | #Constraints: 28396
98.28/98.65 c #Conflicts: 454000 | #Constraints: 29396
98.28/98.65 c #Conflicts: 455000 | #Constraints: 30396
98.28/98.65 c #Conflicts: 456000 | #Constraints: 31396
98.28/98.65 c #Conflicts: 457000 | #Constraints: 32396
98.28/98.65 c #Conflicts: 458000 | #Constraints: 33396
98.28/98.65 c #Conflicts: 459000 | #Constraints: 34396
98.28/98.65 c #Conflicts: 460000 | #Constraints: 35396
98.28/98.65 c INPROCESSING
98.28/98.65 c GARBAGE COLLECT
98.28/98.65 c rational objective 3
101.69/102.05 c #Conflicts: 461000 | #Constraints: 22920
101.69/102.05 c #Conflicts: 462000 | #Constraints: 23920
101.69/102.05 c #Conflicts: 463000 | #Constraints: 24920
101.69/102.05 c #Conflicts: 464000 | #Constraints: 25920
101.69/102.05 c #Conflicts: 465000 | #Constraints: 26920
101.69/102.05 c #Conflicts: 466000 | #Constraints: 27920
101.69/102.05 c #Conflicts: 467000 | #Constraints: 28920
101.69/102.05 c #Conflicts: 468000 | #Constraints: 29920
101.69/102.05 c #Conflicts: 469000 | #Constraints: 30920
101.69/102.05 c #Conflicts: 470000 | #Constraints: 31920
101.69/102.05 c #Conflicts: 471000 | #Constraints: 32920
101.69/102.05 c #Conflicts: 472000 | #Constraints: 33920
101.69/102.05 c #Conflicts: 473000 | #Constraints: 34920
101.69/102.05 c #Conflicts: 474000 | #Constraints: 35920
101.69/102.05 c INPROCESSING
101.69/102.05 c GARBAGE COLLECT
101.69/102.05 c rational objective 3
106.56/107.00 c #Conflicts: 475000 | #Constraints: 23307
106.56/107.00 c #Conflicts: 476000 | #Constraints: 24325
106.56/107.00 c #Conflicts: 477000 | #Constraints: 25729
106.56/107.00 c #Conflicts: 478000 | #Constraints: 26881
106.56/107.00 c #Conflicts: 479000 | #Constraints: 27913
106.56/107.00 c #Conflicts: 480000 | #Constraints: 29000
106.56/107.00 c #Conflicts: 481000 | #Constraints: 30114
106.56/107.00 c #Conflicts: 482000 | #Constraints: 31157
106.56/107.00 c #Conflicts: 483000 | #Constraints: 32169
106.56/107.00 c #Conflicts: 484000 | #Constraints: 33200
106.56/107.00 c #Conflicts: 485000 | #Constraints: 34344
106.56/107.00 c #Conflicts: 486000 | #Constraints: 35358
106.56/107.00 c #Conflicts: 487000 | #Constraints: 36378
106.56/107.00 c #Conflicts: 488000 | #Constraints: 37406
106.56/107.00 c INPROCESSING
106.56/107.00 c GARBAGE COLLECT
106.56/107.00 c rational objective 3
109.66/110.02 c #Conflicts: 489000 | #Constraints: 24045
109.66/110.02 c #Conflicts: 490000 | #Constraints: 25045
109.66/110.02 c #Conflicts: 491000 | #Constraints: 26045
109.66/110.02 c #Conflicts: 492000 | #Constraints: 27045
109.66/110.02 c #Conflicts: 493000 | #Constraints: 28045
109.66/110.02 c #Conflicts: 494000 | #Constraints: 29045
109.66/110.02 c #Conflicts: 495000 | #Constraints: 30045
109.66/110.02 c #Conflicts: 496000 | #Constraints: 31045
109.66/110.02 c #Conflicts: 497000 | #Constraints: 32045
109.66/110.02 c #Conflicts: 498000 | #Constraints: 33045
109.66/110.02 c #Conflicts: 499000 | #Constraints: 34045
109.66/110.02 c #Conflicts: 500000 | #Constraints: 35045
109.66/110.02 c #Conflicts: 501000 | #Constraints: 36045
109.66/110.02 c #Conflicts: 502000 | #Constraints: 37045
109.66/110.02 c INPROCESSING
109.66/110.02 c GARBAGE COLLECT
109.66/110.02 c rational objective 3
112.66/113.08 c #Conflicts: 503000 | #Constraints: 23759
112.66/113.08 c #Conflicts: 504000 | #Constraints: 24759
112.66/113.08 c #Conflicts: 505000 | #Constraints: 25759
112.66/113.08 c #Conflicts: 506000 | #Constraints: 26759
112.66/113.08 c #Conflicts: 507000 | #Constraints: 27759
112.66/113.08 c #Conflicts: 508000 | #Constraints: 28759
112.66/113.08 c #Conflicts: 509000 | #Constraints: 29759
112.66/113.08 c #Conflicts: 510000 | #Constraints: 30759
112.66/113.08 c #Conflicts: 511000 | #Constraints: 31759
112.66/113.08 c #Conflicts: 512000 | #Constraints: 32759
112.66/113.08 c #Conflicts: 513000 | #Constraints: 33759
112.66/113.08 c #Conflicts: 514000 | #Constraints: 34759
112.66/113.08 c #Conflicts: 515000 | #Constraints: 35759
112.66/113.08 c #Conflicts: 516000 | #Constraints: 36759
112.66/113.08 c INPROCESSING
112.66/113.08 c GARBAGE COLLECT
112.66/113.08 c rational objective 3
116.44/116.88 c #Conflicts: 517000 | #Constraints: 23408
116.44/116.88 c #Conflicts: 518000 | #Constraints: 24408
116.44/116.88 c #Conflicts: 519000 | #Constraints: 25408
116.44/116.88 c #Conflicts: 520000 | #Constraints: 26408
116.44/116.88 c #Conflicts: 521000 | #Constraints: 27408
116.44/116.88 c #Conflicts: 522000 | #Constraints: 28408
116.44/116.88 c #Conflicts: 523000 | #Constraints: 29408
116.44/116.88 c #Conflicts: 524000 | #Constraints: 30408
116.44/116.88 c #Conflicts: 525000 | #Constraints: 31408
116.44/116.88 c #Conflicts: 526000 | #Constraints: 32408
116.44/116.88 c #Conflicts: 527000 | #Constraints: 33408
116.44/116.88 c #Conflicts: 528000 | #Constraints: 34408
116.44/116.88 c #Conflicts: 529000 | #Constraints: 35408
116.44/116.88 c #Conflicts: 530000 | #Constraints: 36408
116.44/116.88 c #Conflicts: 531000 | #Constraints: 37408
116.44/116.88 c INPROCESSING
116.44/116.88 c GARBAGE COLLECT
116.44/116.88 c rational objective 3
120.13/120.56 c #Conflicts: 532000 | #Constraints: 23943
120.13/120.56 c #Conflicts: 533000 | #Constraints: 24943
120.13/120.56 c #Conflicts: 534000 | #Constraints: 25943
120.13/120.56 c #Conflicts: 535000 | #Constraints: 26943
120.13/120.56 c #Conflicts: 536000 | #Constraints: 27943
120.13/120.56 c #Conflicts: 537000 | #Constraints: 28943
120.13/120.56 c #Conflicts: 538000 | #Constraints: 29943
120.13/120.56 c #Conflicts: 539000 | #Constraints: 30943
120.13/120.56 c #Conflicts: 540000 | #Constraints: 31943
120.13/120.56 c #Conflicts: 541000 | #Constraints: 32943
120.13/120.56 c #Conflicts: 542000 | #Constraints: 33943
120.13/120.56 c #Conflicts: 543000 | #Constraints: 34943
120.13/120.56 c #Conflicts: 544000 | #Constraints: 35943
120.13/120.56 c #Conflicts: 545000 | #Constraints: 36943
120.13/120.56 c #Conflicts: 546000 | #Constraints: 37943
120.13/120.56 c INPROCESSING
120.13/120.56 c GARBAGE COLLECT
120.13/120.56 c rational objective 3
124.02/124.45 c #Conflicts: 547000 | #Constraints: 24304
124.02/124.45 c #Conflicts: 548000 | #Constraints: 25304
124.02/124.45 c #Conflicts: 549000 | #Constraints: 26304
124.02/124.45 c #Conflicts: 550000 | #Constraints: 27304
124.02/124.45 c #Conflicts: 551000 | #Constraints: 28304
124.02/124.45 c #Conflicts: 552000 | #Constraints: 29304
124.02/124.45 c #Conflicts: 553000 | #Constraints: 30304
124.02/124.45 c #Conflicts: 554000 | #Constraints: 31304
124.02/124.45 c #Conflicts: 555000 | #Constraints: 32304
124.02/124.45 c #Conflicts: 556000 | #Constraints: 33304
124.02/124.45 c #Conflicts: 557000 | #Constraints: 34304
124.02/124.45 c #Conflicts: 558000 | #Constraints: 35304
124.02/124.45 c #Conflicts: 559000 | #Constraints: 36304
124.02/124.45 c #Conflicts: 560000 | #Constraints: 37304
124.02/124.45 c #Conflicts: 561000 | #Constraints: 38304
124.02/124.45 c INPROCESSING
124.02/124.45 c GARBAGE COLLECT
124.02/124.45 c rational objective 3
128.01/128.44 c #Conflicts: 562000 | #Constraints: 24498
128.01/128.44 c #Conflicts: 563000 | #Constraints: 25498
128.01/128.44 c #Conflicts: 564000 | #Constraints: 26498
128.01/128.44 c #Conflicts: 565000 | #Constraints: 27498
128.01/128.44 c #Conflicts: 566000 | #Constraints: 28498
128.01/128.44 c #Conflicts: 567000 | #Constraints: 29498
128.01/128.44 c #Conflicts: 568000 | #Constraints: 30498
128.01/128.44 c #Conflicts: 569000 | #Constraints: 31498
128.01/128.44 c #Conflicts: 570000 | #Constraints: 32498
128.01/128.44 c #Conflicts: 571000 | #Constraints: 33498
128.01/128.44 c #Conflicts: 572000 | #Constraints: 34498
128.01/128.44 c #Conflicts: 573000 | #Constraints: 35498
128.01/128.44 c #Conflicts: 574000 | #Constraints: 36498
128.01/128.44 c #Conflicts: 575000 | #Constraints: 37498
128.01/128.44 c #Conflicts: 576000 | #Constraints: 38498
128.01/128.44 c INPROCESSING
128.01/128.44 c GARBAGE COLLECT
128.01/128.44 c rational objective 3
132.20/132.68 c #Conflicts: 577000 | #Constraints: 24482
132.20/132.68 c #Conflicts: 578000 | #Constraints: 25482
132.20/132.68 c #Conflicts: 579000 | #Constraints: 26482
132.20/132.68 c #Conflicts: 580000 | #Constraints: 27482
132.20/132.68 c #Conflicts: 581000 | #Constraints: 28482
132.20/132.68 c #Conflicts: 582000 | #Constraints: 29482
132.20/132.68 c #Conflicts: 583000 | #Constraints: 30482
132.20/132.68 c #Conflicts: 584000 | #Constraints: 31482
132.20/132.68 c #Conflicts: 585000 | #Constraints: 32482
132.20/132.68 c #Conflicts: 586000 | #Constraints: 33482
132.20/132.68 c #Conflicts: 587000 | #Constraints: 34482
132.20/132.68 c #Conflicts: 588000 | #Constraints: 35482
132.20/132.68 c #Conflicts: 589000 | #Constraints: 36482
132.20/132.68 c #Conflicts: 590000 | #Constraints: 37482
132.20/132.68 c #Conflicts: 591000 | #Constraints: 38482
132.20/132.68 c INPROCESSING
132.20/132.68 c GARBAGE COLLECT
132.20/132.68 c rational objective 3
136.29/136.74 c #Conflicts: 592000 | #Constraints: 24286
136.29/136.74 c #Conflicts: 593000 | #Constraints: 25286
136.29/136.74 c #Conflicts: 594000 | #Constraints: 26286
136.29/136.74 c #Conflicts: 595000 | #Constraints: 27286
136.29/136.74 c #Conflicts: 596000 | #Constraints: 28286
136.29/136.74 c #Conflicts: 597000 | #Constraints: 29286
136.29/136.74 c #Conflicts: 598000 | #Constraints: 30286
136.29/136.74 c #Conflicts: 599000 | #Constraints: 31286
136.29/136.74 c #Conflicts: 600000 | #Constraints: 32286
136.29/136.74 c #Conflicts: 601000 | #Constraints: 33286
136.29/136.74 c #Conflicts: 602000 | #Constraints: 34286
136.29/136.74 c #Conflicts: 603000 | #Constraints: 35286
136.29/136.74 c #Conflicts: 604000 | #Constraints: 36286
136.29/136.74 c #Conflicts: 605000 | #Constraints: 37286
136.29/136.74 c #Conflicts: 606000 | #Constraints: 38286
136.29/136.74 c #Conflicts: 607000 | #Constraints: 39286
136.29/136.74 c INPROCESSING
136.29/136.74 c GARBAGE COLLECT
136.29/136.74 c rational objective 3
140.28/140.71 c #Conflicts: 608000 | #Constraints: 24885
140.28/140.71 c #Conflicts: 609000 | #Constraints: 25885
140.28/140.71 c #Conflicts: 610000 | #Constraints: 26885
140.28/140.71 c #Conflicts: 611000 | #Constraints: 27885
140.28/140.71 c #Conflicts: 612000 | #Constraints: 28885
140.28/140.71 c #Conflicts: 613000 | #Constraints: 29885
140.28/140.71 c #Conflicts: 614000 | #Constraints: 30885
140.28/140.71 c #Conflicts: 615000 | #Constraints: 31885
140.28/140.71 c #Conflicts: 616000 | #Constraints: 32885
140.28/140.71 c #Conflicts: 617000 | #Constraints: 33885
140.28/140.71 c #Conflicts: 618000 | #Constraints: 34885
140.28/140.71 c #Conflicts: 619000 | #Constraints: 35885
140.28/140.71 c #Conflicts: 620000 | #Constraints: 36885
140.28/140.71 c #Conflicts: 621000 | #Constraints: 37885
140.28/140.71 c #Conflicts: 622000 | #Constraints: 38885
140.28/140.71 c #Conflicts: 623000 | #Constraints: 39885
140.28/140.71 c INPROCESSING
140.28/140.71 c GARBAGE COLLECT
140.28/140.71 c rational objective 3
145.06/145.51 c #Conflicts: 624000 | #Constraints: 25263
145.06/145.51 c #Conflicts: 625000 | #Constraints: 26263
145.06/145.51 c #Conflicts: 626000 | #Constraints: 27263
145.06/145.51 c #Conflicts: 627000 | #Constraints: 28263
145.06/145.51 c #Conflicts: 628000 | #Constraints: 29263
145.06/145.51 c #Conflicts: 629000 | #Constraints: 30263
145.06/145.51 c #Conflicts: 630000 | #Constraints: 31263
145.06/145.51 c #Conflicts: 631000 | #Constraints: 32263
145.06/145.51 c #Conflicts: 632000 | #Constraints: 33263
145.06/145.51 c #Conflicts: 633000 | #Constraints: 34263
145.06/145.51 c #Conflicts: 634000 | #Constraints: 35263
145.06/145.51 c #Conflicts: 635000 | #Constraints: 36263
145.06/145.51 c #Conflicts: 636000 | #Constraints: 37263
145.06/145.51 c #Conflicts: 637000 | #Constraints: 38263
145.06/145.51 c #Conflicts: 638000 | #Constraints: 39263
145.06/145.51 c #Conflicts: 639000 | #Constraints: 40263
145.06/145.51 c INPROCESSING
145.06/145.51 c GARBAGE COLLECT
145.06/145.51 c rational objective 3
148.75/149.24 c #Conflicts: 640000 | #Constraints: 25481
148.75/149.24 c #Conflicts: 641000 | #Constraints: 26481
148.75/149.24 c #Conflicts: 642000 | #Constraints: 27481
148.75/149.24 c #Conflicts: 643000 | #Constraints: 28481
148.75/149.24 c #Conflicts: 644000 | #Constraints: 29481
148.75/149.24 c #Conflicts: 645000 | #Constraints: 30481
148.75/149.24 c #Conflicts: 646000 | #Constraints: 31481
148.75/149.24 c #Conflicts: 647000 | #Constraints: 32481
148.75/149.24 c #Conflicts: 648000 | #Constraints: 33481
148.75/149.24 c #Conflicts: 649000 | #Constraints: 34481
148.75/149.24 c #Conflicts: 650000 | #Constraints: 35481
148.75/149.24 c #Conflicts: 651000 | #Constraints: 36481
148.75/149.24 c #Conflicts: 652000 | #Constraints: 37481
148.75/149.24 c #Conflicts: 653000 | #Constraints: 38481
148.75/149.24 c #Conflicts: 654000 | #Constraints: 39481
148.75/149.24 c #Conflicts: 655000 | #Constraints: 40481
148.75/149.24 c INPROCESSING
148.75/149.24 c GARBAGE COLLECT
148.75/149.24 c rational objective 3
151.05/151.56 c #Conflicts: 656000 | #Constraints: 25483
151.05/151.56 c #Conflicts: 657000 | #Constraints: 26483
151.05/151.56 c #Conflicts: 658000 | #Constraints: 27483
151.05/151.56 c #Conflicts: 659000 | #Constraints: 28483
151.05/151.56 c #Conflicts: 660000 | #Constraints: 29483
151.05/151.56 c #Conflicts: 661000 | #Constraints: 30483
151.05/151.56 c #Conflicts: 662000 | #Constraints: 31483
151.05/151.56 c #Conflicts: 663000 | #Constraints: 32483
151.05/151.56 c bounds 5 >= 4 @ 147.605
152.94/153.47 c #Conflicts: 664000 | #Constraints: 33484
152.94/153.47 c #Conflicts: 665000 | #Constraints: 34484
152.94/153.47 c #Conflicts: 666000 | #Constraints: 35484
152.94/153.47 c #Conflicts: 667000 | #Constraints: 36484
152.94/153.47 c #Conflicts: 668000 | #Constraints: 37484
152.94/153.47 c #Conflicts: 669000 | #Constraints: 38484
152.94/153.47 c #Conflicts: 670000 | #Constraints: 39484
152.94/153.47 c #Conflicts: 671000 | #Constraints: 40484
152.94/153.47 c INPROCESSING
152.94/153.47 c GARBAGE COLLECT
152.94/153.47 c rational objective 4
156.64/157.12 c #Conflicts: 672000 | #Constraints: 19708
156.64/157.12 c #Conflicts: 673000 | #Constraints: 20708
156.64/157.12 c #Conflicts: 674000 | #Constraints: 21708
156.64/157.12 c #Conflicts: 675000 | #Constraints: 22708
156.64/157.12 c #Conflicts: 676000 | #Constraints: 23708
156.64/157.12 c #Conflicts: 677000 | #Constraints: 24708
156.64/157.12 c #Conflicts: 678000 | #Constraints: 25708
156.64/157.12 c #Conflicts: 679000 | #Constraints: 26708
156.64/157.12 c #Conflicts: 680000 | #Constraints: 27708
156.64/157.12 c #Conflicts: 681000 | #Constraints: 28708
156.64/157.12 c #Conflicts: 682000 | #Constraints: 29708
156.64/157.12 c #Conflicts: 683000 | #Constraints: 30708
156.64/157.12 c #Conflicts: 684000 | #Constraints: 31708
156.64/157.12 c #Conflicts: 685000 | #Constraints: 32708
156.64/157.12 c #Conflicts: 686000 | #Constraints: 33708
156.64/157.12 c #Conflicts: 687000 | #Constraints: 34708
156.64/157.12 c #Conflicts: 688000 | #Constraints: 35708
156.64/157.12 c INPROCESSING
156.64/157.12 c GARBAGE COLLECT
156.64/157.12 c rational objective 4
160.23/160.72 c #Conflicts: 689000 | #Constraints: 22938
160.23/160.72 c #Conflicts: 690000 | #Constraints: 23938
160.23/160.72 c #Conflicts: 691000 | #Constraints: 24938
160.23/160.72 c #Conflicts: 692000 | #Constraints: 25938
160.23/160.72 c #Conflicts: 693000 | #Constraints: 26938
160.23/160.72 c #Conflicts: 694000 | #Constraints: 27938
160.23/160.72 c #Conflicts: 695000 | #Constraints: 28938
160.23/160.72 c #Conflicts: 696000 | #Constraints: 29938
160.23/160.72 c #Conflicts: 697000 | #Constraints: 30938
160.23/160.72 c #Conflicts: 698000 | #Constraints: 31938
160.23/160.72 c #Conflicts: 699000 | #Constraints: 32938
160.23/160.72 c #Conflicts: 700000 | #Constraints: 33938
160.23/160.72 c #Conflicts: 701000 | #Constraints: 34938
160.23/160.72 c #Conflicts: 702000 | #Constraints: 35938
160.23/160.72 c #Conflicts: 703000 | #Constraints: 36938
160.23/160.72 c #Conflicts: 704000 | #Constraints: 37938
160.23/160.72 c #Conflicts: 705000 | #Constraints: 38938
160.23/160.72 c INPROCESSING
160.23/160.72 c GARBAGE COLLECT
160.23/160.72 c rational objective 4
163.82/164.30 c #Conflicts: 706000 | #Constraints: 24551
163.82/164.30 c #Conflicts: 707000 | #Constraints: 25552
163.82/164.30 c #Conflicts: 708000 | #Constraints: 26555
163.82/164.30 c #Conflicts: 709000 | #Constraints: 27594
163.82/164.30 c #Conflicts: 710000 | #Constraints: 28596
163.82/164.30 c #Conflicts: 711000 | #Constraints: 29597
163.82/164.30 c #Conflicts: 712000 | #Constraints: 30598
163.82/164.30 c #Conflicts: 713000 | #Constraints: 31599
163.82/164.30 c #Conflicts: 714000 | #Constraints: 32601
163.82/164.30 c #Conflicts: 715000 | #Constraints: 33603
163.82/164.30 c #Conflicts: 716000 | #Constraints: 34606
163.82/164.30 c #Conflicts: 717000 | #Constraints: 35607
163.82/164.30 c #Conflicts: 718000 | #Constraints: 36608
163.82/164.30 c #Conflicts: 719000 | #Constraints: 37609
163.82/164.30 c #Conflicts: 720000 | #Constraints: 38624
163.82/164.30 c #Conflicts: 721000 | #Constraints: 39628
163.82/164.30 c #Conflicts: 722000 | #Constraints: 40630
163.82/164.30 c INPROCESSING
163.82/164.30 c GARBAGE COLLECT
163.82/164.30 c rational objective 4
169.00/169.58 c #Conflicts: 723000 | #Constraints: 25449
169.00/169.58 c #Conflicts: 724000 | #Constraints: 26450
169.00/169.58 c #Conflicts: 725000 | #Constraints: 27451
169.00/169.58 c #Conflicts: 726000 | #Constraints: 28456
169.00/169.58 c #Conflicts: 727000 | #Constraints: 29550
169.00/169.58 c #Conflicts: 728000 | #Constraints: 30971
169.00/169.58 c #Conflicts: 729000 | #Constraints: 32093
169.00/169.58 c #Conflicts: 730000 | #Constraints: 33096
169.00/169.58 c #Conflicts: 731000 | #Constraints: 34101
169.00/169.58 c #Conflicts: 732000 | #Constraints: 35109
169.00/169.58 c #Conflicts: 733000 | #Constraints: 36110
169.00/169.58 c #Conflicts: 734000 | #Constraints: 37111
169.00/169.58 c #Conflicts: 735000 | #Constraints: 38111
169.00/169.58 c #Conflicts: 736000 | #Constraints: 39116
169.00/169.58 c #Conflicts: 737000 | #Constraints: 40118
169.00/169.58 c #Conflicts: 738000 | #Constraints: 41119
169.00/169.58 c #Conflicts: 739000 | #Constraints: 42121
169.00/169.58 c INPROCESSING
169.00/169.58 c GARBAGE COLLECT
169.00/169.58 c rational objective 4
174.39/174.92 c #Conflicts: 740000 | #Constraints: 26091
174.39/174.92 c #Conflicts: 741000 | #Constraints: 27092
174.39/174.92 c #Conflicts: 742000 | #Constraints: 28131
174.39/174.92 c #Conflicts: 743000 | #Constraints: 29145
174.39/174.92 c #Conflicts: 744000 | #Constraints: 30185
174.39/174.92 c #Conflicts: 745000 | #Constraints: 31406
174.39/174.92 c #Conflicts: 746000 | #Constraints: 32553
174.39/174.92 c #Conflicts: 747000 | #Constraints: 33647
174.39/174.92 c #Conflicts: 748000 | #Constraints: 34695
174.39/174.92 c #Conflicts: 749000 | #Constraints: 35713
174.39/174.92 c #Conflicts: 750000 | #Constraints: 36748
174.39/174.92 c #Conflicts: 751000 | #Constraints: 38084
174.39/174.92 c #Conflicts: 752000 | #Constraints: 39333
174.39/174.92 c #Conflicts: 753000 | #Constraints: 40373
174.39/174.92 c #Conflicts: 754000 | #Constraints: 41408
174.39/174.92 c #Conflicts: 755000 | #Constraints: 42431
174.39/174.92 c #Conflicts: 756000 | #Constraints: 43507
174.39/174.92 c INPROCESSING
174.39/174.92 c GARBAGE COLLECT
174.39/174.92 c rational objective 4
178.78/179.36 c #Conflicts: 757000 | #Constraints: 26593
178.78/179.36 c #Conflicts: 758000 | #Constraints: 27593
178.78/179.36 c #Conflicts: 759000 | #Constraints: 28593
178.78/179.36 c #Conflicts: 760000 | #Constraints: 29593
178.78/179.36 c #Conflicts: 761000 | #Constraints: 30593
178.78/179.36 c #Conflicts: 762000 | #Constraints: 31593
178.78/179.36 c #Conflicts: 763000 | #Constraints: 32593
178.78/179.36 c #Conflicts: 764000 | #Constraints: 33593
178.78/179.36 c #Conflicts: 765000 | #Constraints: 34593
178.78/179.36 c #Conflicts: 766000 | #Constraints: 35593
178.78/179.36 c #Conflicts: 767000 | #Constraints: 36593
178.78/179.36 c #Conflicts: 768000 | #Constraints: 37593
178.78/179.36 c #Conflicts: 769000 | #Constraints: 38593
178.78/179.36 c #Conflicts: 770000 | #Constraints: 39593
178.78/179.36 c #Conflicts: 771000 | #Constraints: 40593
178.78/179.36 c #Conflicts: 772000 | #Constraints: 41593
178.78/179.36 c #Conflicts: 773000 | #Constraints: 42593
178.78/179.36 c #Conflicts: 774000 | #Constraints: 43593
178.78/179.36 c INPROCESSING
178.78/179.36 c GARBAGE COLLECT
178.78/179.36 c rational objective 4
182.67/183.20 c #Conflicts: 775000 | #Constraints: 26814
182.67/183.20 c #Conflicts: 776000 | #Constraints: 27814
182.67/183.20 c #Conflicts: 777000 | #Constraints: 28814
182.67/183.20 c #Conflicts: 778000 | #Constraints: 29814
182.67/183.20 c #Conflicts: 779000 | #Constraints: 30814
182.67/183.20 c #Conflicts: 780000 | #Constraints: 31814
182.67/183.20 c #Conflicts: 781000 | #Constraints: 32814
182.67/183.20 c #Conflicts: 782000 | #Constraints: 33814
182.67/183.20 c #Conflicts: 783000 | #Constraints: 34814
182.67/183.20 c #Conflicts: 784000 | #Constraints: 35814
182.67/183.20 c #Conflicts: 785000 | #Constraints: 36814
182.67/183.20 c #Conflicts: 786000 | #Constraints: 37814
182.67/183.20 c #Conflicts: 787000 | #Constraints: 38814
182.67/183.20 c #Conflicts: 788000 | #Constraints: 39814
182.67/183.20 c #Conflicts: 789000 | #Constraints: 40814
182.67/183.20 c #Conflicts: 790000 | #Constraints: 41814
182.67/183.20 c #Conflicts: 791000 | #Constraints: 42814
182.67/183.20 c #Conflicts: 792000 | #Constraints: 43814
182.67/183.20 c INPROCESSING
182.67/183.20 c GARBAGE COLLECT
182.67/183.20 c rational objective 4
186.47/187.03 c #Conflicts: 793000 | #Constraints: 26006
186.47/187.03 c #Conflicts: 794000 | #Constraints: 27006
186.47/187.03 c #Conflicts: 795000 | #Constraints: 28006
186.47/187.03 c #Conflicts: 796000 | #Constraints: 29006
186.47/187.03 c #Conflicts: 797000 | #Constraints: 30006
186.47/187.03 c #Conflicts: 798000 | #Constraints: 31006
186.47/187.03 c #Conflicts: 799000 | #Constraints: 32006
186.47/187.03 c #Conflicts: 800000 | #Constraints: 33006
186.47/187.03 c #Conflicts: 801000 | #Constraints: 34006
186.47/187.03 c #Conflicts: 802000 | #Constraints: 35006
186.47/187.03 c #Conflicts: 803000 | #Constraints: 36006
186.47/187.03 c #Conflicts: 804000 | #Constraints: 37006
186.47/187.03 c #Conflicts: 805000 | #Constraints: 38006
186.47/187.03 c #Conflicts: 806000 | #Constraints: 39006
186.47/187.03 c #Conflicts: 807000 | #Constraints: 40006
186.47/187.03 c #Conflicts: 808000 | #Constraints: 41006
186.47/187.03 c #Conflicts: 809000 | #Constraints: 42006
186.47/187.03 c #Conflicts: 810000 | #Constraints: 43006
186.47/187.03 c INPROCESSING
186.47/187.03 c GARBAGE COLLECT
186.47/187.03 c rational objective 4
190.95/191.57 c #Conflicts: 811000 | #Constraints: 23522
190.95/191.57 c #Conflicts: 812000 | #Constraints: 24522
190.95/191.57 c #Conflicts: 813000 | #Constraints: 25522
190.95/191.57 c #Conflicts: 814000 | #Constraints: 26522
190.95/191.57 c #Conflicts: 815000 | #Constraints: 27522
190.95/191.57 c #Conflicts: 816000 | #Constraints: 28522
190.95/191.57 c #Conflicts: 817000 | #Constraints: 29522
190.95/191.57 c #Conflicts: 818000 | #Constraints: 30522
190.95/191.57 c #Conflicts: 819000 | #Constraints: 31522
190.95/191.57 c #Conflicts: 820000 | #Constraints: 32522
190.95/191.57 c #Conflicts: 821000 | #Constraints: 33522
190.95/191.57 c #Conflicts: 822000 | #Constraints: 34522
190.95/191.57 c #Conflicts: 823000 | #Constraints: 35522
190.95/191.57 c #Conflicts: 824000 | #Constraints: 36522
190.95/191.57 c #Conflicts: 825000 | #Constraints: 37522
190.95/191.57 c #Conflicts: 826000 | #Constraints: 38522
190.95/191.57 c #Conflicts: 827000 | #Constraints: 39522
190.95/191.57 c #Conflicts: 828000 | #Constraints: 40522
190.95/191.57 c INPROCESSING
190.95/191.57 c GARBAGE COLLECT
190.95/191.57 c rational objective 4
194.83/195.47 c #Conflicts: 829000 | #Constraints: 23555
194.83/195.47 c #Conflicts: 830000 | #Constraints: 24555
194.83/195.47 c #Conflicts: 831000 | #Constraints: 25555
194.83/195.47 c #Conflicts: 832000 | #Constraints: 26555
194.83/195.47 c #Conflicts: 833000 | #Constraints: 27555
194.83/195.47 c #Conflicts: 834000 | #Constraints: 28555
194.83/195.47 c #Conflicts: 835000 | #Constraints: 29555
194.83/195.47 c #Conflicts: 836000 | #Constraints: 30555
194.83/195.47 c #Conflicts: 837000 | #Constraints: 31555
194.83/195.47 c #Conflicts: 838000 | #Constraints: 32555
194.83/195.47 c #Conflicts: 839000 | #Constraints: 33555
194.83/195.47 c #Conflicts: 840000 | #Constraints: 34555
194.83/195.47 c #Conflicts: 841000 | #Constraints: 35555
194.83/195.47 c #Conflicts: 842000 | #Constraints: 36555
194.83/195.47 c #Conflicts: 843000 | #Constraints: 37555
194.83/195.47 c #Conflicts: 844000 | #Constraints: 38555
194.83/195.47 c #Conflicts: 845000 | #Constraints: 39555
194.83/195.47 c #Conflicts: 846000 | #Constraints: 40555
194.83/195.47 c INPROCESSING
194.83/195.47 c GARBAGE COLLECT
194.83/195.47 c rational objective 4
198.81/199.46 c #Conflicts: 847000 | #Constraints: 23363
198.81/199.46 c #Conflicts: 848000 | #Constraints: 24363
198.81/199.46 c #Conflicts: 849000 | #Constraints: 25363
198.81/199.46 c #Conflicts: 850000 | #Constraints: 26363
198.81/199.46 c #Conflicts: 851000 | #Constraints: 27363
198.81/199.46 c #Conflicts: 852000 | #Constraints: 28363
198.81/199.46 c #Conflicts: 853000 | #Constraints: 29363
198.81/199.46 c #Conflicts: 854000 | #Constraints: 30363
198.81/199.46 c #Conflicts: 855000 | #Constraints: 31363
198.81/199.46 c #Conflicts: 856000 | #Constraints: 32363
198.81/199.46 c #Conflicts: 857000 | #Constraints: 33363
198.81/199.46 c #Conflicts: 858000 | #Constraints: 34363
198.81/199.46 c #Conflicts: 859000 | #Constraints: 35363
198.81/199.46 c #Conflicts: 860000 | #Constraints: 36363
198.81/199.46 c #Conflicts: 861000 | #Constraints: 37363
198.81/199.46 c #Conflicts: 862000 | #Constraints: 38363
198.81/199.46 c #Conflicts: 863000 | #Constraints: 39363
198.81/199.46 c #Conflicts: 864000 | #Constraints: 40363
198.81/199.46 c #Conflicts: 865000 | #Constraints: 41363
198.81/199.46 c INPROCESSING
198.81/199.46 c GARBAGE COLLECT
198.81/199.46 c rational objective 4
202.61/203.24 c #Conflicts: 866000 | #Constraints: 23941
202.61/203.24 c #Conflicts: 867000 | #Constraints: 24941
202.61/203.24 c #Conflicts: 868000 | #Constraints: 25941
202.61/203.24 c #Conflicts: 869000 | #Constraints: 26941
202.61/203.24 c #Conflicts: 870000 | #Constraints: 27941
202.61/203.24 c #Conflicts: 871000 | #Constraints: 28941
202.61/203.24 c #Conflicts: 872000 | #Constraints: 29941
202.61/203.24 c #Conflicts: 873000 | #Constraints: 30941
202.61/203.24 c #Conflicts: 874000 | #Constraints: 31941
202.61/203.24 c #Conflicts: 875000 | #Constraints: 32941
202.61/203.24 c #Conflicts: 876000 | #Constraints: 33941
202.61/203.24 c #Conflicts: 877000 | #Constraints: 34941
202.61/203.24 c #Conflicts: 878000 | #Constraints: 35941
202.61/203.24 c #Conflicts: 879000 | #Constraints: 36941
202.61/203.24 c #Conflicts: 880000 | #Constraints: 37941
202.61/203.24 c #Conflicts: 881000 | #Constraints: 38941
202.61/203.24 c #Conflicts: 882000 | #Constraints: 39941
202.61/203.24 c #Conflicts: 883000 | #Constraints: 40941
202.61/203.24 c #Conflicts: 884000 | #Constraints: 41941
202.61/203.24 c INPROCESSING
202.61/203.24 c GARBAGE COLLECT
202.61/203.24 c rational objective 4
207.09/207.77 c #Conflicts: 885000 | #Constraints: 24355
207.09/207.77 c #Conflicts: 886000 | #Constraints: 25355
207.09/207.77 c #Conflicts: 887000 | #Constraints: 26355
207.09/207.77 c #Conflicts: 888000 | #Constraints: 27355
207.09/207.77 c #Conflicts: 889000 | #Constraints: 28355
207.09/207.77 c #Conflicts: 890000 | #Constraints: 29355
207.09/207.77 c #Conflicts: 891000 | #Constraints: 30355
207.09/207.77 c #Conflicts: 892000 | #Constraints: 31355
207.09/207.77 c #Conflicts: 893000 | #Constraints: 32355
207.09/207.77 c #Conflicts: 894000 | #Constraints: 33355
207.09/207.77 c #Conflicts: 895000 | #Constraints: 34355
207.09/207.77 c #Conflicts: 896000 | #Constraints: 35355
207.09/207.77 c #Conflicts: 897000 | #Constraints: 36355
207.09/207.77 c #Conflicts: 898000 | #Constraints: 37355
207.09/207.77 c #Conflicts: 899000 | #Constraints: 38355
207.09/207.77 c #Conflicts: 900000 | #Constraints: 39355
207.09/207.77 c #Conflicts: 901000 | #Constraints: 40355
207.09/207.77 c #Conflicts: 902000 | #Constraints: 41355
207.09/207.77 c #Conflicts: 903000 | #Constraints: 42355
207.09/207.77 c INPROCESSING
207.09/207.77 c GARBAGE COLLECT
207.09/207.77 c rational objective 4
211.08/211.74 c #Conflicts: 904000 | #Constraints: 24565
211.08/211.74 c #Conflicts: 905000 | #Constraints: 25565
211.08/211.74 c #Conflicts: 906000 | #Constraints: 26565
211.08/211.74 c #Conflicts: 907000 | #Constraints: 27565
211.08/211.74 c #Conflicts: 908000 | #Constraints: 28565
211.08/211.74 c #Conflicts: 909000 | #Constraints: 29565
211.08/211.74 c #Conflicts: 910000 | #Constraints: 30565
211.08/211.74 c #Conflicts: 911000 | #Constraints: 31565
211.08/211.74 c #Conflicts: 912000 | #Constraints: 32565
211.08/211.74 c #Conflicts: 913000 | #Constraints: 33565
211.08/211.74 c #Conflicts: 914000 | #Constraints: 34565
211.08/211.74 c #Conflicts: 915000 | #Constraints: 35565
211.08/211.74 c #Conflicts: 916000 | #Constraints: 36565
211.08/211.74 c #Conflicts: 917000 | #Constraints: 37565
211.08/211.74 c #Conflicts: 918000 | #Constraints: 38565
211.08/211.74 c #Conflicts: 919000 | #Constraints: 39565
211.08/211.74 c #Conflicts: 920000 | #Constraints: 40565
211.08/211.74 c #Conflicts: 921000 | #Constraints: 41565
211.08/211.74 c #Conflicts: 922000 | #Constraints: 42565
211.08/211.74 c INPROCESSING
211.08/211.74 c GARBAGE COLLECT
211.08/211.74 c rational objective 4
214.87/215.52 c #Conflicts: 923000 | #Constraints: 24571
214.87/215.52 c #Conflicts: 924000 | #Constraints: 25571
214.87/215.52 c #Conflicts: 925000 | #Constraints: 26573
214.87/215.52 c #Conflicts: 926000 | #Constraints: 27573
214.87/215.52 c #Conflicts: 927000 | #Constraints: 28573
214.87/215.52 c #Conflicts: 928000 | #Constraints: 29574
214.87/215.52 c #Conflicts: 929000 | #Constraints: 30577
214.87/215.52 c #Conflicts: 930000 | #Constraints: 31579
214.87/215.52 c #Conflicts: 931000 | #Constraints: 32579
214.87/215.52 c #Conflicts: 932000 | #Constraints: 33581
214.87/215.52 c #Conflicts: 933000 | #Constraints: 34581
214.87/215.52 c #Conflicts: 934000 | #Constraints: 35583
214.87/215.52 c #Conflicts: 935000 | #Constraints: 36583
214.87/215.52 c #Conflicts: 936000 | #Constraints: 37583
214.87/215.52 c #Conflicts: 937000 | #Constraints: 38584
214.87/215.52 c #Conflicts: 938000 | #Constraints: 39585
214.87/215.52 c #Conflicts: 939000 | #Constraints: 40585
214.87/215.52 c #Conflicts: 940000 | #Constraints: 41585
214.87/215.52 c #Conflicts: 941000 | #Constraints: 42585
214.87/215.52 c INPROCESSING
214.87/215.52 c GARBAGE COLLECT
214.87/215.52 c rational objective 4
219.75/220.41 c #Conflicts: 942000 | #Constraints: 24376
219.75/220.41 c #Conflicts: 943000 | #Constraints: 25376
219.75/220.41 c #Conflicts: 944000 | #Constraints: 26376
219.75/220.41 c #Conflicts: 945000 | #Constraints: 27376
219.75/220.41 c #Conflicts: 946000 | #Constraints: 28376
219.75/220.41 c #Conflicts: 947000 | #Constraints: 29376
219.75/220.41 c #Conflicts: 948000 | #Constraints: 30376
219.75/220.41 c #Conflicts: 949000 | #Constraints: 31376
219.75/220.41 c #Conflicts: 950000 | #Constraints: 32376
219.75/220.41 c #Conflicts: 951000 | #Constraints: 33376
219.75/220.41 c #Conflicts: 952000 | #Constraints: 34376
219.75/220.41 c #Conflicts: 953000 | #Constraints: 35376
219.75/220.41 c #Conflicts: 954000 | #Constraints: 36376
219.75/220.41 c #Conflicts: 955000 | #Constraints: 37376
219.75/220.41 c #Conflicts: 956000 | #Constraints: 38376
219.75/220.41 c #Conflicts: 957000 | #Constraints: 39376
219.75/220.41 c #Conflicts: 958000 | #Constraints: 40376
219.75/220.41 c #Conflicts: 959000 | #Constraints: 41376
219.75/220.41 c #Conflicts: 960000 | #Constraints: 42376
219.75/220.41 c #Conflicts: 961000 | #Constraints: 43376
219.75/220.41 c INPROCESSING
219.75/220.41 c GARBAGE COLLECT
219.75/220.41 c rational objective 4
224.04/224.71 c #Conflicts: 962000 | #Constraints: 24969
224.04/224.71 c #Conflicts: 963000 | #Constraints: 25969
224.04/224.71 c #Conflicts: 964000 | #Constraints: 26969
224.04/224.71 c #Conflicts: 965000 | #Constraints: 27969
224.04/224.71 c #Conflicts: 966000 | #Constraints: 28969
224.04/224.71 c #Conflicts: 967000 | #Constraints: 29969
224.04/224.71 c #Conflicts: 968000 | #Constraints: 30969
224.04/224.71 c #Conflicts: 969000 | #Constraints: 31969
224.04/224.71 c #Conflicts: 970000 | #Constraints: 32969
224.04/224.71 c #Conflicts: 971000 | #Constraints: 33969
224.04/224.71 c #Conflicts: 972000 | #Constraints: 34969
224.04/224.71 c #Conflicts: 973000 | #Constraints: 35969
224.04/224.71 c #Conflicts: 974000 | #Constraints: 36969
224.04/224.71 c #Conflicts: 975000 | #Constraints: 37969
224.04/224.71 c #Conflicts: 976000 | #Constraints: 38969
224.04/224.71 c #Conflicts: 977000 | #Constraints: 39969
224.04/224.71 c #Conflicts: 978000 | #Constraints: 40969
224.04/224.71 c #Conflicts: 979000 | #Constraints: 41969
224.04/224.71 c #Conflicts: 980000 | #Constraints: 42969
224.04/224.71 c #Conflicts: 981000 | #Constraints: 43969
224.04/224.71 c INPROCESSING
224.04/224.71 c GARBAGE COLLECT
224.04/224.71 c rational objective 4
228.52/229.24 c #Conflicts: 982000 | #Constraints: 25372
228.52/229.24 c #Conflicts: 983000 | #Constraints: 26372
228.52/229.24 c #Conflicts: 984000 | #Constraints: 27372
228.52/229.24 c #Conflicts: 985000 | #Constraints: 28372
228.52/229.24 c #Conflicts: 986000 | #Constraints: 29372
228.52/229.24 c #Conflicts: 987000 | #Constraints: 30372
228.52/229.24 c #Conflicts: 988000 | #Constraints: 31372
228.52/229.24 c #Conflicts: 989000 | #Constraints: 32372
228.52/229.24 c #Conflicts: 990000 | #Constraints: 33372
228.52/229.24 c #Conflicts: 991000 | #Constraints: 34372
228.52/229.24 c #Conflicts: 992000 | #Constraints: 35372
228.52/229.24 c #Conflicts: 993000 | #Constraints: 36372
228.52/229.24 c #Conflicts: 994000 | #Constraints: 37372
228.52/229.24 c #Conflicts: 995000 | #Constraints: 38372
228.52/229.24 c #Conflicts: 996000 | #Constraints: 39372
228.52/229.24 c #Conflicts: 997000 | #Constraints: 40372
228.52/229.24 c #Conflicts: 998000 | #Constraints: 41372
228.52/229.24 c #Conflicts: 999000 | #Constraints: 42372
228.52/229.24 c #Conflicts: 1000000 | #Constraints: 43372
228.52/229.24 c #Conflicts: 1001000 | #Constraints: 44372
228.52/229.24 c INPROCESSING
228.52/229.24 c GARBAGE COLLECT
228.52/229.24 c rational objective 4
234.31/235.00 c #Conflicts: 1002000 | #Constraints: 25565
234.31/235.00 c #Conflicts: 1003000 | #Constraints: 26572
234.31/235.00 c #Conflicts: 1004000 | #Constraints: 27594
234.31/235.00 c #Conflicts: 1005000 | #Constraints: 28601
234.31/235.00 c #Conflicts: 1006000 | #Constraints: 29606
234.31/235.00 c #Conflicts: 1007000 | #Constraints: 30615
234.31/235.00 c #Conflicts: 1008000 | #Constraints: 31634
234.31/235.00 c #Conflicts: 1009000 | #Constraints: 32637
234.31/235.00 c #Conflicts: 1010000 | #Constraints: 33931
234.31/235.00 c #Conflicts: 1011000 | #Constraints: 35068
234.31/235.00 c #Conflicts: 1012000 | #Constraints: 36178
234.31/235.00 c #Conflicts: 1013000 | #Constraints: 37253
234.31/235.00 c #Conflicts: 1014000 | #Constraints: 38452
234.31/235.00 c #Conflicts: 1015000 | #Constraints: 39773
234.31/235.00 c #Conflicts: 1016000 | #Constraints: 40866
234.31/235.00 c #Conflicts: 1017000 | #Constraints: 41990
234.31/235.00 c #Conflicts: 1018000 | #Constraints: 43015
234.31/235.00 c #Conflicts: 1019000 | #Constraints: 44035
234.31/235.00 c #Conflicts: 1020000 | #Constraints: 45064
234.31/235.00 c #Conflicts: 1021000 | #Constraints: 46116
234.31/235.00 c INPROCESSING
234.31/235.00 c GARBAGE COLLECT
234.31/235.00 c rational objective 4
238.99/239.71 c #Conflicts: 1022000 | #Constraints: 23737
238.99/239.71 c #Conflicts: 1023000 | #Constraints: 24737
238.99/239.71 c #Conflicts: 1024000 | #Constraints: 25737
238.99/239.71 c #Conflicts: 1025000 | #Constraints: 26737
238.99/239.71 c #Conflicts: 1026000 | #Constraints: 27737
238.99/239.71 c #Conflicts: 1027000 | #Constraints: 28737
238.99/239.71 c #Conflicts: 1028000 | #Constraints: 29737
238.99/239.71 c #Conflicts: 1029000 | #Constraints: 30737
238.99/239.71 c #Conflicts: 1030000 | #Constraints: 31737
238.99/239.71 c #Conflicts: 1031000 | #Constraints: 32737
238.99/239.71 c #Conflicts: 1032000 | #Constraints: 33737
238.99/239.71 c #Conflicts: 1033000 | #Constraints: 34737
238.99/239.71 c #Conflicts: 1034000 | #Constraints: 35737
238.99/239.71 c #Conflicts: 1035000 | #Constraints: 36737
238.99/239.71 c #Conflicts: 1036000 | #Constraints: 37737
238.99/239.71 c #Conflicts: 1037000 | #Constraints: 38737
238.99/239.71 c #Conflicts: 1038000 | #Constraints: 39737
238.99/239.71 c #Conflicts: 1039000 | #Constraints: 40737
238.99/239.71 c #Conflicts: 1040000 | #Constraints: 41737
238.99/239.71 c #Conflicts: 1041000 | #Constraints: 42737
238.99/239.71 c INPROCESSING
238.99/239.71 c GARBAGE COLLECT
238.99/239.71 c rational objective 4
243.28/244.07 c #Conflicts: 1042000 | #Constraints: 24437
243.28/244.07 c #Conflicts: 1043000 | #Constraints: 25437
243.28/244.07 c #Conflicts: 1044000 | #Constraints: 26437
243.28/244.07 c #Conflicts: 1045000 | #Constraints: 27437
243.28/244.07 c #Conflicts: 1046000 | #Constraints: 28437
243.28/244.07 c #Conflicts: 1047000 | #Constraints: 29437
243.28/244.07 c #Conflicts: 1048000 | #Constraints: 30437
243.28/244.07 c #Conflicts: 1049000 | #Constraints: 31437
243.28/244.07 c #Conflicts: 1050000 | #Constraints: 32437
243.28/244.07 c #Conflicts: 1051000 | #Constraints: 33437
243.28/244.07 c #Conflicts: 1052000 | #Constraints: 34437
243.28/244.07 c #Conflicts: 1053000 | #Constraints: 35437
243.28/244.07 c #Conflicts: 1054000 | #Constraints: 36437
243.28/244.07 c #Conflicts: 1055000 | #Constraints: 37437
243.28/244.07 c #Conflicts: 1056000 | #Constraints: 38437
243.28/244.07 c #Conflicts: 1057000 | #Constraints: 39437
243.28/244.07 c #Conflicts: 1058000 | #Constraints: 40437
243.28/244.07 c #Conflicts: 1059000 | #Constraints: 41437
243.28/244.07 c #Conflicts: 1060000 | #Constraints: 42437
243.28/244.07 c #Conflicts: 1061000 | #Constraints: 43437
243.28/244.07 c #Conflicts: 1062000 | #Constraints: 44437
243.28/244.07 c INPROCESSING
243.28/244.07 c GARBAGE COLLECT
243.28/244.07 c rational objective 4
247.96/248.75 c #Conflicts: 1063000 | #Constraints: 25480
247.96/248.75 c #Conflicts: 1064000 | #Constraints: 26480
247.96/248.75 c #Conflicts: 1065000 | #Constraints: 27480
247.96/248.75 c #Conflicts: 1066000 | #Constraints: 28480
247.96/248.75 c #Conflicts: 1067000 | #Constraints: 29480
247.96/248.75 c #Conflicts: 1068000 | #Constraints: 30480
247.96/248.75 c #Conflicts: 1069000 | #Constraints: 31480
247.96/248.75 c #Conflicts: 1070000 | #Constraints: 32480
247.96/248.75 c #Conflicts: 1071000 | #Constraints: 33480
247.96/248.75 c #Conflicts: 1072000 | #Constraints: 34480
247.96/248.75 c #Conflicts: 1073000 | #Constraints: 35480
247.96/248.75 c #Conflicts: 1074000 | #Constraints: 36480
247.96/248.75 c #Conflicts: 1075000 | #Constraints: 37480
247.96/248.75 c #Conflicts: 1076000 | #Constraints: 38480
247.96/248.75 c #Conflicts: 1077000 | #Constraints: 39480
247.96/248.75 c #Conflicts: 1078000 | #Constraints: 40480
247.96/248.75 c #Conflicts: 1079000 | #Constraints: 41480
247.96/248.75 c #Conflicts: 1080000 | #Constraints: 42480
247.96/248.75 c #Conflicts: 1081000 | #Constraints: 43480
247.96/248.75 c #Conflicts: 1082000 | #Constraints: 44480
247.96/248.75 c #Conflicts: 1083000 | #Constraints: 45480
247.96/248.75 c INPROCESSING
247.96/248.75 c GARBAGE COLLECT
247.96/248.75 c rational objective 4
252.35/253.17 c #Conflicts: 1084000 | #Constraints: 26096
252.35/253.17 c #Conflicts: 1085000 | #Constraints: 27096
252.35/253.17 c #Conflicts: 1086000 | #Constraints: 28096
252.35/253.17 c #Conflicts: 1087000 | #Constraints: 29096
252.35/253.17 c #Conflicts: 1088000 | #Constraints: 30096
252.35/253.17 c #Conflicts: 1089000 | #Constraints: 31096
252.35/253.17 c #Conflicts: 1090000 | #Constraints: 32096
252.35/253.17 c #Conflicts: 1091000 | #Constraints: 33096
252.35/253.17 c #Conflicts: 1092000 | #Constraints: 34096
252.35/253.17 c #Conflicts: 1093000 | #Constraints: 35096
252.35/253.17 c #Conflicts: 1094000 | #Constraints: 36096
252.35/253.17 c #Conflicts: 1095000 | #Constraints: 37096
252.35/253.17 c #Conflicts: 1096000 | #Constraints: 38096
252.35/253.17 c #Conflicts: 1097000 | #Constraints: 39096
252.35/253.17 c #Conflicts: 1098000 | #Constraints: 40096
252.35/253.17 c #Conflicts: 1099000 | #Constraints: 41096
252.35/253.17 c #Conflicts: 1100000 | #Constraints: 42096
252.35/253.17 c #Conflicts: 1101000 | #Constraints: 43096
252.35/253.17 c #Conflicts: 1102000 | #Constraints: 44096
252.35/253.17 c #Conflicts: 1103000 | #Constraints: 45096
252.35/253.17 c #Conflicts: 1104000 | #Constraints: 46096
252.35/253.17 c INPROCESSING
252.35/253.17 c GARBAGE COLLECT
252.35/253.17 c rational objective 4
256.93/257.79 c #Conflicts: 1105000 | #Constraints: 26427
256.93/257.79 c #Conflicts: 1106000 | #Constraints: 27427
256.93/257.79 c #Conflicts: 1107000 | #Constraints: 28427
256.93/257.79 c #Conflicts: 1108000 | #Constraints: 29427
256.93/257.79 c #Conflicts: 1109000 | #Constraints: 30427
256.93/257.79 c #Conflicts: 1110000 | #Constraints: 31427
256.93/257.79 c #Conflicts: 1111000 | #Constraints: 32427
256.93/257.79 c #Conflicts: 1112000 | #Constraints: 33427
256.93/257.79 c #Conflicts: 1113000 | #Constraints: 34427
256.93/257.79 c #Conflicts: 1114000 | #Constraints: 35427
256.93/257.79 c #Conflicts: 1115000 | #Constraints: 36427
256.93/257.79 c #Conflicts: 1116000 | #Constraints: 37427
256.93/257.79 c #Conflicts: 1117000 | #Constraints: 38427
256.93/257.79 c #Conflicts: 1118000 | #Constraints: 39427
256.93/257.79 c #Conflicts: 1119000 | #Constraints: 40427
256.93/257.79 c #Conflicts: 1120000 | #Constraints: 41427
256.93/257.79 c #Conflicts: 1121000 | #Constraints: 42427
256.93/257.79 c #Conflicts: 1122000 | #Constraints: 43427
256.93/257.79 c #Conflicts: 1123000 | #Constraints: 44427
256.93/257.79 c #Conflicts: 1124000 | #Constraints: 45427
256.93/257.79 c #Conflicts: 1125000 | #Constraints: 46427
256.93/257.79 c INPROCESSING
256.93/257.79 c GARBAGE COLLECT
256.93/257.79 c rational objective 4
263.81/264.65 c #Conflicts: 1126000 | #Constraints: 26484
263.81/264.65 c #Conflicts: 1127000 | #Constraints: 27484
263.81/264.65 c #Conflicts: 1128000 | #Constraints: 28511
263.81/264.65 c #Conflicts: 1129000 | #Constraints: 29638
263.81/264.65 c #Conflicts: 1130000 | #Constraints: 30781
263.81/264.65 c #Conflicts: 1131000 | #Constraints: 31978
263.81/264.65 c #Conflicts: 1132000 | #Constraints: 33189
263.81/264.65 c #Conflicts: 1133000 | #Constraints: 34193
263.81/264.65 c #Conflicts: 1134000 | #Constraints: 35282
263.81/264.65 c #Conflicts: 1135000 | #Constraints: 36531
263.81/264.65 c #Conflicts: 1136000 | #Constraints: 37663
263.81/264.65 c #Conflicts: 1137000 | #Constraints: 38719
263.81/264.65 c #Conflicts: 1138000 | #Constraints: 39751
263.81/264.65 c #Conflicts: 1139000 | #Constraints: 40945
263.81/264.65 c #Conflicts: 1140000 | #Constraints: 42099
263.81/264.65 c #Conflicts: 1141000 | #Constraints: 43125
263.81/264.65 c #Conflicts: 1142000 | #Constraints: 44177
263.81/264.65 c #Conflicts: 1143000 | #Constraints: 45219
263.81/264.65 c #Conflicts: 1144000 | #Constraints: 46272
263.81/264.65 c #Conflicts: 1145000 | #Constraints: 47407
263.81/264.65 c #Conflicts: 1146000 | #Constraints: 48517
263.81/264.65 c INPROCESSING
263.81/264.65 c GARBAGE COLLECT
263.81/264.65 c rational objective 4
269.69/270.54 c #Conflicts: 1147000 | #Constraints: 27341
269.69/270.54 c #Conflicts: 1148000 | #Constraints: 28341
269.69/270.54 c #Conflicts: 1149000 | #Constraints: 29341
269.69/270.54 c #Conflicts: 1150000 | #Constraints: 30341
269.69/270.54 c #Conflicts: 1151000 | #Constraints: 31341
269.69/270.54 c #Conflicts: 1152000 | #Constraints: 32341
269.69/270.54 c #Conflicts: 1153000 | #Constraints: 33341
269.69/270.54 c #Conflicts: 1154000 | #Constraints: 34341
269.69/270.54 c #Conflicts: 1155000 | #Constraints: 35341
269.69/270.54 c #Conflicts: 1156000 | #Constraints: 36341
269.69/270.54 c #Conflicts: 1157000 | #Constraints: 37341
269.69/270.54 c #Conflicts: 1158000 | #Constraints: 38341
269.69/270.54 c #Conflicts: 1159000 | #Constraints: 39341
269.69/270.54 c #Conflicts: 1160000 | #Constraints: 40341
269.69/270.54 c #Conflicts: 1161000 | #Constraints: 41341
269.69/270.54 c #Conflicts: 1162000 | #Constraints: 42341
269.69/270.54 c #Conflicts: 1163000 | #Constraints: 43341
269.69/270.54 c #Conflicts: 1164000 | #Constraints: 44341
269.69/270.54 c #Conflicts: 1165000 | #Constraints: 45341
269.69/270.54 c #Conflicts: 1166000 | #Constraints: 46341
269.69/270.54 c #Conflicts: 1167000 | #Constraints: 47341
269.69/270.54 c #Conflicts: 1168000 | #Constraints: 48341
269.69/270.54 c INPROCESSING
269.69/270.54 c GARBAGE COLLECT
269.69/270.54 c rational objective 4
274.57/275.49 c #Conflicts: 1169000 | #Constraints: 27382
274.57/275.49 c #Conflicts: 1170000 | #Constraints: 28382
274.57/275.49 c #Conflicts: 1171000 | #Constraints: 29382
274.57/275.49 c #Conflicts: 1172000 | #Constraints: 30382
274.57/275.49 c #Conflicts: 1173000 | #Constraints: 31384
274.57/275.49 c #Conflicts: 1174000 | #Constraints: 32384
274.57/275.49 c #Conflicts: 1175000 | #Constraints: 33385
274.57/275.49 c #Conflicts: 1176000 | #Constraints: 34385
274.57/275.49 c #Conflicts: 1177000 | #Constraints: 35385
274.57/275.49 c #Conflicts: 1178000 | #Constraints: 36385
274.57/275.49 c #Conflicts: 1179000 | #Constraints: 37386
274.57/275.49 c #Conflicts: 1180000 | #Constraints: 38386
274.57/275.49 c #Conflicts: 1181000 | #Constraints: 39388
274.57/275.49 c #Conflicts: 1182000 | #Constraints: 40388
274.57/275.49 c #Conflicts: 1183000 | #Constraints: 41388
274.57/275.49 c #Conflicts: 1184000 | #Constraints: 42389
274.57/275.49 c #Conflicts: 1185000 | #Constraints: 43389
274.57/275.49 c #Conflicts: 1186000 | #Constraints: 44390
274.57/275.49 c #Conflicts: 1187000 | #Constraints: 45390
274.57/275.49 c #Conflicts: 1188000 | #Constraints: 46390
274.57/275.49 c #Conflicts: 1189000 | #Constraints: 47390
274.57/275.49 c #Conflicts: 1190000 | #Constraints: 48390
274.57/275.49 c INPROCESSING
274.57/275.49 c GARBAGE COLLECT
274.57/275.49 c rational objective 4
279.96/280.82 c #Conflicts: 1191000 | #Constraints: 27466
279.96/280.82 c #Conflicts: 1192000 | #Constraints: 28466
279.96/280.82 c #Conflicts: 1193000 | #Constraints: 29466
279.96/280.82 c #Conflicts: 1194000 | #Constraints: 30466
279.96/280.82 c #Conflicts: 1195000 | #Constraints: 31466
279.96/280.82 c #Conflicts: 1196000 | #Constraints: 32466
279.96/280.82 c #Conflicts: 1197000 | #Constraints: 33466
279.96/280.82 c #Conflicts: 1198000 | #Constraints: 34466
279.96/280.82 c #Conflicts: 1199000 | #Constraints: 35466
279.96/280.82 c #Conflicts: 1200000 | #Constraints: 36466
279.96/280.82 c #Conflicts: 1201000 | #Constraints: 37466
279.96/280.82 c #Conflicts: 1202000 | #Constraints: 38466
279.96/280.82 c #Conflicts: 1203000 | #Constraints: 39466
279.96/280.82 c #Conflicts: 1204000 | #Constraints: 40466
279.96/280.82 c #Conflicts: 1205000 | #Constraints: 41466
279.96/280.82 c #Conflicts: 1206000 | #Constraints: 42466
279.96/280.82 c #Conflicts: 1207000 | #Constraints: 43466
279.96/280.82 c #Conflicts: 1208000 | #Constraints: 44466
279.96/280.82 c #Conflicts: 1209000 | #Constraints: 45466
279.96/280.82 c #Conflicts: 1210000 | #Constraints: 46466
279.96/280.82 c #Conflicts: 1211000 | #Constraints: 47466
279.96/280.82 c #Conflicts: 1212000 | #Constraints: 48466
279.96/280.82 c INPROCESSING
279.96/280.82 c GARBAGE COLLECT
279.96/280.82 c rational objective 4
285.44/286.34 c #Conflicts: 1213000 | #Constraints: 27548
285.44/286.34 c #Conflicts: 1214000 | #Constraints: 28548
285.44/286.34 c #Conflicts: 1215000 | #Constraints: 29548
285.44/286.34 c #Conflicts: 1216000 | #Constraints: 30551
285.44/286.34 c #Conflicts: 1217000 | #Constraints: 31552
285.44/286.34 c #Conflicts: 1218000 | #Constraints: 32553
285.44/286.34 c #Conflicts: 1219000 | #Constraints: 33553
285.44/286.34 c #Conflicts: 1220000 | #Constraints: 34553
285.44/286.34 c #Conflicts: 1221000 | #Constraints: 35555
285.44/286.34 c #Conflicts: 1222000 | #Constraints: 36556
285.44/286.34 c #Conflicts: 1223000 | #Constraints: 37556
285.44/286.34 c #Conflicts: 1224000 | #Constraints: 38557
285.44/286.34 c #Conflicts: 1225000 | #Constraints: 39559
285.44/286.34 c #Conflicts: 1226000 | #Constraints: 40564
285.44/286.34 c #Conflicts: 1227000 | #Constraints: 41566
285.44/286.34 c #Conflicts: 1228000 | #Constraints: 42568
285.44/286.34 c #Conflicts: 1229000 | #Constraints: 43570
285.44/286.34 c #Conflicts: 1230000 | #Constraints: 44574
285.44/286.34 c #Conflicts: 1231000 | #Constraints: 45576
285.44/286.34 c #Conflicts: 1232000 | #Constraints: 46587
285.44/286.34 c #Conflicts: 1233000 | #Constraints: 47598
285.44/286.34 c #Conflicts: 1234000 | #Constraints: 48620
285.44/286.34 c INPROCESSING
285.44/286.34 c GARBAGE COLLECT
285.44/286.34 c rational objective 4
290.52/291.46 c #Conflicts: 1235000 | #Constraints: 27530
290.52/291.46 c #Conflicts: 1236000 | #Constraints: 28530
290.52/291.46 c #Conflicts: 1237000 | #Constraints: 29530
290.52/291.46 c #Conflicts: 1238000 | #Constraints: 30530
290.52/291.46 c #Conflicts: 1239000 | #Constraints: 31530
290.52/291.46 c #Conflicts: 1240000 | #Constraints: 32530
290.52/291.46 c #Conflicts: 1241000 | #Constraints: 33530
290.52/291.46 c #Conflicts: 1242000 | #Constraints: 34530
290.52/291.46 c #Conflicts: 1243000 | #Constraints: 35530
290.52/291.46 c #Conflicts: 1244000 | #Constraints: 36530
290.52/291.46 c #Conflicts: 1245000 | #Constraints: 37530
290.52/291.46 c #Conflicts: 1246000 | #Constraints: 38530
290.52/291.46 c #Conflicts: 1247000 | #Constraints: 39530
290.52/291.46 c #Conflicts: 1248000 | #Constraints: 40530
290.52/291.46 c #Conflicts: 1249000 | #Constraints: 41530
290.52/291.46 c #Conflicts: 1250000 | #Constraints: 42530
290.52/291.46 c #Conflicts: 1251000 | #Constraints: 43530
290.52/291.46 c #Conflicts: 1252000 | #Constraints: 44530
290.52/291.46 c #Conflicts: 1253000 | #Constraints: 45530
290.52/291.46 c #Conflicts: 1254000 | #Constraints: 46530
290.52/291.46 c #Conflicts: 1255000 | #Constraints: 47530
290.52/291.46 c #Conflicts: 1256000 | #Constraints: 48530
290.52/291.46 c INPROCESSING
290.52/291.46 c GARBAGE COLLECT
290.52/291.46 c rational objective 4
297.10/298.06 c #Conflicts: 1257000 | #Constraints: 27290
297.10/298.06 c #Conflicts: 1258000 | #Constraints: 28290
297.10/298.06 c #Conflicts: 1259000 | #Constraints: 29290
297.10/298.06 c #Conflicts: 1260000 | #Constraints: 30290
297.10/298.06 c #Conflicts: 1261000 | #Constraints: 31290
297.10/298.06 c #Conflicts: 1262000 | #Constraints: 32290
297.10/298.06 c #Conflicts: 1263000 | #Constraints: 33290
297.10/298.06 c #Conflicts: 1264000 | #Constraints: 34290
297.10/298.06 c #Conflicts: 1265000 | #Constraints: 35290
297.10/298.06 c #Conflicts: 1266000 | #Constraints: 36290
297.10/298.06 c #Conflicts: 1267000 | #Constraints: 37290
297.10/298.06 c #Conflicts: 1268000 | #Constraints: 38290
297.10/298.06 c #Conflicts: 1269000 | #Constraints: 39290
297.10/298.06 c #Conflicts: 1270000 | #Constraints: 40290
297.10/298.06 c #Conflicts: 1271000 | #Constraints: 41290
297.10/298.06 c #Conflicts: 1272000 | #Constraints: 42290
297.10/298.06 c #Conflicts: 1273000 | #Constraints: 43290
297.10/298.06 c #Conflicts: 1274000 | #Constraints: 44290
297.10/298.06 c #Conflicts: 1275000 | #Constraints: 45290
297.10/298.06 c #Conflicts: 1276000 | #Constraints: 46290
297.10/298.06 c #Conflicts: 1277000 | #Constraints: 47290
297.10/298.06 c #Conflicts: 1278000 | #Constraints: 48290
297.10/298.06 c #Conflicts: 1279000 | #Constraints: 49290
297.10/298.06 c INPROCESSING
297.10/298.06 c GARBAGE COLLECT
297.10/298.06 c rational objective 4
302.39/303.33 c #Conflicts: 1280000 | #Constraints: 27879
302.39/303.33 c #Conflicts: 1281000 | #Constraints: 28879
302.39/303.33 c #Conflicts: 1282000 | #Constraints: 29879
302.39/303.33 c #Conflicts: 1283000 | #Constraints: 30879
302.39/303.33 c #Conflicts: 1284000 | #Constraints: 31879
302.39/303.33 c #Conflicts: 1285000 | #Constraints: 32879
302.39/303.33 c #Conflicts: 1286000 | #Constraints: 33879
302.39/303.33 c #Conflicts: 1287000 | #Constraints: 34879
302.39/303.33 c #Conflicts: 1288000 | #Constraints: 35879
302.39/303.33 c #Conflicts: 1289000 | #Constraints: 36879
302.39/303.33 c #Conflicts: 1290000 | #Constraints: 37879
302.39/303.33 c #Conflicts: 1291000 | #Constraints: 38879
302.39/303.33 c #Conflicts: 1292000 | #Constraints: 39879
302.39/303.33 c #Conflicts: 1293000 | #Constraints: 40879
302.39/303.33 c #Conflicts: 1294000 | #Constraints: 41879
302.39/303.33 c #Conflicts: 1295000 | #Constraints: 42879
302.39/303.33 c #Conflicts: 1296000 | #Constraints: 43879
302.39/303.33 c #Conflicts: 1297000 | #Constraints: 44879
302.39/303.33 c #Conflicts: 1298000 | #Constraints: 45879
302.39/303.33 c #Conflicts: 1299000 | #Constraints: 46879
302.39/303.33 c #Conflicts: 1300000 | #Constraints: 47879
302.39/303.33 c #Conflicts: 1301000 | #Constraints: 48879
302.39/303.33 c #Conflicts: 1302000 | #Constraints: 49879
302.39/303.33 c INPROCESSING
302.39/303.33 c GARBAGE COLLECT
302.39/303.33 c rational objective 4
308.76/309.78 c #Conflicts: 1303000 | #Constraints: 28265
308.76/309.78 c #Conflicts: 1304000 | #Constraints: 29265
308.76/309.78 c #Conflicts: 1305000 | #Constraints: 30265
308.76/309.78 c #Conflicts: 1306000 | #Constraints: 31265
308.76/309.78 c #Conflicts: 1307000 | #Constraints: 32265
308.76/309.78 c #Conflicts: 1308000 | #Constraints: 33265
308.76/309.78 c #Conflicts: 1309000 | #Constraints: 34265
308.76/309.78 c #Conflicts: 1310000 | #Constraints: 35265
308.76/309.78 c #Conflicts: 1311000 | #Constraints: 36265
308.76/309.78 c #Conflicts: 1312000 | #Constraints: 37265
308.76/309.78 c #Conflicts: 1313000 | #Constraints: 38265
308.76/309.78 c #Conflicts: 1314000 | #Constraints: 39265
308.76/309.78 c #Conflicts: 1315000 | #Constraints: 40265
308.76/309.78 c #Conflicts: 1316000 | #Constraints: 41265
308.76/309.78 c #Conflicts: 1317000 | #Constraints: 42265
308.76/309.78 c #Conflicts: 1318000 | #Constraints: 43265
308.76/309.78 c #Conflicts: 1319000 | #Constraints: 44265
308.76/309.78 c #Conflicts: 1320000 | #Constraints: 45265
308.76/309.78 c #Conflicts: 1321000 | #Constraints: 46265
308.76/309.78 c #Conflicts: 1322000 | #Constraints: 47265
308.76/309.78 c #Conflicts: 1323000 | #Constraints: 48265
308.76/309.78 c #Conflicts: 1324000 | #Constraints: 49265
308.76/309.78 c #Conflicts: 1325000 | #Constraints: 50265
308.76/309.78 c INPROCESSING
308.76/309.78 c GARBAGE COLLECT
308.76/309.78 c rational objective 4
314.06/315.05 c #Conflicts: 1326000 | #Constraints: 26317
314.06/315.05 c #Conflicts: 1327000 | #Constraints: 27317
314.06/315.05 c #Conflicts: 1328000 | #Constraints: 28317
314.06/315.05 c #Conflicts: 1329000 | #Constraints: 29317
314.06/315.05 c #Conflicts: 1330000 | #Constraints: 30317
314.06/315.05 c #Conflicts: 1331000 | #Constraints: 31317
314.06/315.05 c #Conflicts: 1332000 | #Constraints: 32317
314.06/315.05 c #Conflicts: 1333000 | #Constraints: 33317
314.06/315.05 c #Conflicts: 1334000 | #Constraints: 34317
314.06/315.05 c #Conflicts: 1335000 | #Constraints: 35317
314.06/315.05 c #Conflicts: 1336000 | #Constraints: 36317
314.06/315.05 c #Conflicts: 1337000 | #Constraints: 37317
314.06/315.05 c #Conflicts: 1338000 | #Constraints: 38317
314.06/315.05 c #Conflicts: 1339000 | #Constraints: 39317
314.06/315.05 c #Conflicts: 1340000 | #Constraints: 40317
314.06/315.05 c #Conflicts: 1341000 | #Constraints: 41317
314.06/315.05 c #Conflicts: 1342000 | #Constraints: 42317
314.06/315.05 c #Conflicts: 1343000 | #Constraints: 43317
314.06/315.05 c #Conflicts: 1344000 | #Constraints: 44317
314.06/315.05 c #Conflicts: 1345000 | #Constraints: 45317
314.06/315.05 c #Conflicts: 1346000 | #Constraints: 46317
314.06/315.05 c #Conflicts: 1347000 | #Constraints: 47317
314.06/315.05 c #Conflicts: 1348000 | #Constraints: 48317
314.06/315.05 c INPROCESSING
314.06/315.05 c GARBAGE COLLECT
314.06/315.05 c rational objective 4
319.52/320.57 c #Conflicts: 1349000 | #Constraints: 24440
319.52/320.57 c #Conflicts: 1350000 | #Constraints: 25440
319.52/320.57 c #Conflicts: 1351000 | #Constraints: 26440
319.52/320.57 c #Conflicts: 1352000 | #Constraints: 27440
319.52/320.57 c #Conflicts: 1353000 | #Constraints: 28440
319.52/320.57 c #Conflicts: 1354000 | #Constraints: 29440
319.52/320.57 c #Conflicts: 1355000 | #Constraints: 30440
319.52/320.57 c #Conflicts: 1356000 | #Constraints: 31440
319.52/320.57 c #Conflicts: 1357000 | #Constraints: 32440
319.52/320.57 c #Conflicts: 1358000 | #Constraints: 33440
319.52/320.57 c #Conflicts: 1359000 | #Constraints: 34440
319.52/320.57 c #Conflicts: 1360000 | #Constraints: 35440
319.52/320.57 c #Conflicts: 1361000 | #Constraints: 36440
319.52/320.57 c #Conflicts: 1362000 | #Constraints: 37440
319.52/320.57 c #Conflicts: 1363000 | #Constraints: 38440
319.52/320.57 c #Conflicts: 1364000 | #Constraints: 39440
319.52/320.57 c #Conflicts: 1365000 | #Constraints: 40440
319.52/320.57 c #Conflicts: 1366000 | #Constraints: 41440
319.52/320.57 c #Conflicts: 1367000 | #Constraints: 42440
319.52/320.57 c #Conflicts: 1368000 | #Constraints: 43440
319.52/320.57 c #Conflicts: 1369000 | #Constraints: 44440
319.52/320.57 c #Conflicts: 1370000 | #Constraints: 45440
319.52/320.57 c #Conflicts: 1371000 | #Constraints: 46440
319.52/320.57 c INPROCESSING
319.52/320.57 c GARBAGE COLLECT
319.52/320.57 c rational objective 4
323.42/324.45 c #Conflicts: 1372000 | #Constraints: 25924
323.42/324.45 c #Conflicts: 1373000 | #Constraints: 26924
323.42/324.45 c #Conflicts: 1374000 | #Constraints: 27924
323.42/324.45 c #Conflicts: 1375000 | #Constraints: 28924
323.42/324.45 c #Conflicts: 1376000 | #Constraints: 29924
323.42/324.45 c #Conflicts: 1377000 | #Constraints: 30924
323.42/324.45 c #Conflicts: 1378000 | #Constraints: 31924
323.42/324.45 c #Conflicts: 1379000 | #Constraints: 32924
323.42/324.45 c #Conflicts: 1380000 | #Constraints: 33924
323.42/324.45 c #Conflicts: 1381000 | #Constraints: 34924
323.42/324.45 c #Conflicts: 1382000 | #Constraints: 35924
323.42/324.45 c #Conflicts: 1383000 | #Constraints: 36924
323.42/324.45 c #Conflicts: 1384000 | #Constraints: 37924
323.42/324.45 c #Conflicts: 1385000 | #Constraints: 38924
323.42/324.45 c #Conflicts: 1386000 | #Constraints: 39924
323.42/324.45 c #Conflicts: 1387000 | #Constraints: 40924
323.42/324.45 c #Conflicts: 1388000 | #Constraints: 41924
323.42/324.45 c bounds 5 >= 5 @ 316.09
323.42/324.45 c cpu time 316.09 s
323.42/324.45 c deterministic time 12546596324 1.25e+10
323.42/324.45 c optimization time 0.004657 s
323.42/324.45 c total solve time 316.036 s
323.42/324.45 c core-guided solve time 164.219 s
323.42/324.45 c propagation time 240.924 s
323.42/324.45 c conflict analysis time 54.418 s
323.42/324.45 c propagations 96434735
323.42/324.45 c resolve steps 18965640
323.42/324.45 c decisions 1723923
323.42/324.45 c conflicts 1388173
323.42/324.45 c restarts 2663
323.42/324.45 c inprocessing phases 108
323.42/324.45 c garbage collections 108 ,( 100.00 )
323.42/324.45 c input clauses 16123 ,( 99.88 )
323.42/324.45 c input cardinalities 18 ,( 0.11 )
323.42/324.45 c input general constraints 2 ,( 0.01 )
323.42/324.45 c input average constraint length 3.02
323.42/324.45 c input average constraint degree 1.01
323.42/324.45 c learned clauses 1336694 ,( 95.55 )
323.42/324.45 c learned cardinalities 218 ,( 0.02 )
323.42/324.45 c learned general constraints 62030 ,( 4.43 )
323.42/324.45 c learned average constraint length 95.80
323.42/324.45 c learned average constraint degree 15550648.51
323.42/324.45 c watched CF 32, 64, 128, Arb: 23786 , 0 , 0 , 0
323.42/324.45 c counting CF 32, 64, 128, Arb: 38247 , 0 , 0 , 0
323.42/324.45 c watched constraints 23786 ,( 38.34 )
323.42/324.45 c counting constraints 38246 ,( 61.66 )
323.42/324.45 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1297035449 , 17812765 , 352045145 ,( 41318256 , 310726889 )
323.42/324.45 c gcd simplifications 647
323.42/324.45 c detected cardinalities 13
323.42/324.45 c weakened non-implied lits 2207471
323.42/324.45 c weakened non-implying lits 19
323.42/324.45 c original variables 1451
323.42/324.45 c clausal propagations 89026205
323.42/324.45 c cardinality propagations 4057471
323.42/324.45 c watched propagations 81689
323.42/324.45 c counting propagations 1878159
323.42/324.45 c watch lookups 3778534650
323.42/324.45 c watch backjump lookups 0
323.42/324.45 c watch checks 6560971617
323.42/324.45 c propagation checks 1564620409
323.42/324.45 c constraint additions 443372173
323.42/324.45 c trail pops 99546387
323.42/324.45 c formula constraints 16123
323.42/324.45 c learned constraints 1388166
323.42/324.45 c bound constraints 10
323.42/324.45 c core-guided constraints 10
323.42/324.45 c encountered formula constraints 8717254
323.42/324.45 c encountered learned constraints 11562880
323.42/324.45 c encountered bound constraints 9
323.42/324.45 c encountered core-guided constraints 3
323.42/324.45 c LP total time 123.202 s
323.42/324.45 c LP solve time 103.97 s
323.42/324.45 c LP constraints added 18405
323.42/324.45 c LP constraints removed 2254
323.42/324.45 c LP pivots internal 1388193
323.42/324.45 c LP pivots root 4236
323.42/324.45 c LP calls 50090
323.42/324.45 c LP optimalities 39676
323.42/324.45 c LP no pivot count 2243
323.42/324.45 c LP infeasibilities 10390
323.42/324.45 c LP valid Farkas constraints 10388
323.42/324.45 c LP learned Farkas constraints 3
323.42/324.45 c LP basis resets 23
323.42/324.45 c LP cycling count 21
323.42/324.45 c LP singular count 0
323.42/324.45 c LP no primal count 0
323.42/324.45 c LP no farkas count 0
323.42/324.45 c LP other issue count 2
323.42/324.45 c LP Gomory cuts 385
323.42/324.45 c LP learned cuts 1897
323.42/324.45 c LP deleted cuts 2254
323.42/324.45 c LP encountered Gomory constraints 62999
323.42/324.45 c LP encountered Farkas constraints 10661
323.42/324.45 c LP encountered learned Farkas constraints 4
323.42/324.45 c CG auxiliary variables introduced 4
323.42/324.45 c CG solutions found 6
323.42/324.45 c CG cores constructed 4
323.42/324.45 c CG core cardinality constraints returned 0
323.42/324.45 c CG unit cores 0
323.42/324.45 c CG single cores 4
323.42/324.45 c CG blocks removed during cardinality reduction 0
323.42/324.45 c CG first core best 0
323.42/324.45 c CG decision core best 0
323.42/324.45 c CG core reduction tie 0
323.42/324.45 c CG core degree average 1.00
323.42/324.45 c CG core slack average 2.25
323.42/324.45 c CG core upper bound improvements 1
323.42/324.45 c STR number of successful calls 0
323.42/324.45 c STR number of unsuccessful calls 0
323.42/324.45 c STR number of inconclusive calls 0
323.42/324.45 c STR number of successful attempts 0
323.42/324.45 c STR number of unsuccessful attempts 0
323.42/324.45 c STR number of inconclusive attempts 0
323.42/324.45 c STR average degree increase per successful call inf
323.42/324.45 c STR average degree increase per successful attempt inf
323.42/324.45 c STR total number of conflicts for successful attempts 0
323.42/324.45 c STR total number of conflicts for unsuccessful attempts 0
323.42/324.45 c STR total number of conflicts for inconclusive attempts 0
323.42/324.45 c STR average number of conflicts per successful attempt inf
323.42/324.45 c STR average number of conflicts per unsuccessful attempt inf
323.42/324.45 c STR average number of conflicts per inconclusive attempt inf
323.42/324.45 c AVG.sumWPerc 54.82
323.42/324.45 c bigint constraints 0
323.42/324.45 o 5
323.42/324.45 s OPTIMUM FOUND
323.42/324.45 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 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 x267 x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 x276 -x277 -x278 x279 x280 x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364
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 (62513 MiB free)
memory of node 1: 64507 MiB (63296 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517446-1751532435/watcher-4517446-1751532435 -o /tmp/evaluation-result-4517446-1751532435/solver-4517446-1751532435 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751532423-74272 --watchdog 3760 run-opt-ls.sh HOME/instance-4517446-1751532435.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=74618, runsolver pid=74615
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 1.36 1.87 2.68 5/268 74621
/proc/meminfo: memFree=128823348/131249996 swapFree=33010416/33010684
[pid=74618] ppid=74615 vsize=4192 memory=2816 CPUtime=0.06 cores=0,2
/proc/74618/stat : 74618 (run-opt-ls.sh) S 74615 74618 74262 0 -1 4194304 237 2231 0 0 0 0 6 0 20 0 1 0 68923050 4292608 704 18446744073709551615 94509474881536 94509475776069 140737422650432 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509476015120 94509476062864 94509484167168 140737422657895 140737422658021 140737422658021 140737422663623 0
/proc/74618/statm: 1048 704 640 219 0 110 0
[pid=74621] ppid=74618 vsize=56756 memory=10112 CPUtime=0 cores=0,2
/proc/74621/stat : 74621 (roundingsat) R 74618 74618 74262 0 -1 4194304 766 0 0 0 0 0 0 0 20 0 1 0 68923058 58118144 2528 18446744073709551615 4227072 8923433 140728060794960 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 13795328 140728060799302 140728060799528 140728060799528 140728060805098 0
/proc/74621/statm: 14189 2528 1984 1147 0 1616 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 60948 KiB
Current children cumulated memory: 12928 KiB
[startup+0.205725 s]*
/proc/loadavg: 1.36 1.87 2.68 5/268 74621
/proc/meminfo: memFree=128807660/131249996 swapFree=33010416/33010684
[pid=74618] ppid=74615 vsize=4192 memory=2816 CPUtime=0.06 cores=0,2
/proc/74618/stat : 74618 (run-opt-ls.sh) S 74615 74618 74262 0 -1 4194304 237 2231 0 0 0 0 6 0 20 0 1 0 68923050 4292608 704 18446744073709551615 94509474881536 94509475776069 140737422650432 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509476015120 94509476062864 94509484167168 140737422657895 140737422658021 140737422658021 140737422663623 0
/proc/74618/statm: 1048 704 640 219 0 110 0
[pid=74621] ppid=74618 vsize=78796 memory=35364 CPUtime=0.11 cores=0,2
/proc/74621/stat : 74621 (roundingsat) R 74618 74618 74262 0 -1 4194304 5783 0 0 0 9 2 0 0 20 0 1 0 68923058 80687104 8841 18446744073709551615 4227072 8923433 140728060794960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13795328 140728060799302 140728060799528 140728060799528 140728060805098 0
/proc/74621/statm: 19699 8841 2336 1147 0 7126 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 82988 KiB
Current children cumulated memory: 38180 KiB
[startup+0.305702 s]*
/proc/loadavg: 1.36 1.87 2.68 5/268 74621
/proc/meminfo: memFree=128807660/131249996 swapFree=33010416/33010684
[pid=74618] ppid=74615 vsize=4192 memory=2816 CPUtime=0.06 cores=0,2
/proc/74618/stat : 74618 (run-opt-ls.sh) S 74615 74618 74262 0 -1 4194304 237 2231 0 0 0 0 6 0 20 0 1 0 68923050 4292608 704 18446744073709551615 94509474881536 94509475776069 140737422650432 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509476015120 94509476062864 94509484167168 140737422657895 140737422658021 140737422658021 140737422663623 0
/proc/74618/statm: 1048 704 640 219 0 110 0
[pid=74621] ppid=74618 vsize=78796 memory=35364 CPUtime=0.21 cores=0,2
/proc/74621/stat : 74621 (roundingsat) R 74618 74618 74262 0 -1 4194304 5784 0 0 0 19 2 0 0 20 0 1 0 68923058 80687104 8841 18446744073709551615 4227072 8923433 140728060794960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13795328 140728060799302 140728060799528 140728060799528 140728060805098 0
/proc/74621/statm: 19699 8841 2336 1147 0 7126 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 82988 KiB
Current children cumulated memory: 38180 KiB
[startup+0.700163 s]
/proc/loadavg: 1.36 1.87 2.68 5/268 74621
/proc/meminfo: memFree=128807660/131249996 swapFree=33010416/33010684
[pid=74618] ppid=74615 vsize=4192 memory=2816 CPUtime=0.06 cores=0,2
/proc/74618/stat : 74618 (run-opt-ls.sh) S 74615 74618 74262 0 -1 4194304 237 2231 0 0 0 0 6 0 20 0 1 0 68923050 4292608 704 18446744073709551615 94509474881536 94509475776069 140737422650432 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509476015120 94509476062864 94509484167168 140737422657895 140737422658021 140737422658021 140737422663623 0
/proc/74618/statm: 1048 704 640 219 0 110 0
[pid=74621] ppid=74618 vsize=81920 memory=37540 CPUtime=0.59 cores=0,2
/proc/74621/stat : 74621 (roundingsat) R 74618 74618 74262 0 -1 4194304 6328 0 0 0 56 3 0 0 20 0 1 0 68923058 83886080 9385 18446744073709551615 4227072 8923433 140728060794960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13795328 140728060799302 140728060799528 140728060799528 140728060805098 0
/proc/74621/statm: 20480 9385 2400 1147 0 7907 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 86112 KiB
Current children cumulated memory: 40356 KiB
[startup+1.5002 s]
/proc/loadavg: 1.36 1.87 2.68 5/268 74621
/proc/meminfo: memFree=128806904/131249996 swapFree=33010416/33010684
[pid=74618] ppid=74615 vsize=4192 memory=2816 CPUtime=0.06 cores=0,2
/proc/74618/stat : 74618 (run-opt-ls.sh) S 74615 74618 74262 0 -1 4194304 237 2231 0 0 0 0 6 0 20 0 1 0 68923050 4292608 704 18446744073709551615 94509474881536 94509475776069 140737422650432 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509476015120 94509476062864 94509484167168 140737422657895 140737422658021 140737422658021 140737422663623 0
/proc/74618/statm: 1048 704 640 219 0 110 0
[pid=74621] ppid=74618 vsize=82632 memory=38564 CPUtime=1.39 cores=0,2
/proc/74621/stat : 74621 (roundingsat) R 74618 74618 74262 0 -1 4194304 6568 0 0 0 134 5 0 0 20 0 1 0 68923058 84615168 9641 18446744073709551615 4227072 8923433 140728060794960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13795328 140728060799302 140728060799528 140728060799528 140728060805098 0
/proc/74621/statm: 20658 9641 2400 1147 0 8085 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 86824 KiB
Current children cumulated memory: 41380 KiB
[startup+3.10554 s]
/proc/loadavg: 1.58 1.90 2.69 5/268 74621
/proc/meminfo: memFree=128802052/131249996 swapFree=33010416/33010684
[pid=74618] ppid=74615 vsize=4192 memory=2816 CPUtime=0.06 cores=0,2
/proc/74618/stat : 74618 (run-opt-ls.sh) S 74615 74618 74262 0 -1 4194304 237 2231 0 0 0 0 6 0 20 0 1 0 68923050 4292608 704 18446744073709551615 94509474881536 94509475776069 140737422650432 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509476015120 94509476062864 94509484167168 140737422657895 140737422658021 140737422658021 140737422663623 0
/proc/74618/statm: 1048 704 640 219 0 110 0
[pid=74621] ppid=74618 vsize=82884 memory=40652 CPUtime=3 cores=0,2
/proc/74621/stat : 74621 (roundingsat) R 74618 74618 74262 0 -1 4194304 6573 0 0 0 291 9 0 0 20 0 1 0 68923058 84873216 10163 18446744073709551615 4227072 8923433 140728060794960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13795328 140728060799302 140728060799528 140728060799528 140728060805098 0
/proc/74621/statm: 20721 10163 2400 1147 0 8148 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 87076 KiB
Current children cumulated memory: 43468 KiB
[startup+6.30017 s]
/proc/loadavg: 1.58 1.90 2.69 5/268 74621
/proc/meminfo: memFree=128794240/131249996 swapFree=33010416/33010684
[pid=74618] ppid=74615 vsize=4192 memory=2816 CPUtime=0.06 cores=0,2
/proc/74618/stat : 74618 (run-opt-ls.sh) S 74615 74618 74262 0 -1 4194304 237 2231 0 0 0 0 6 0 20 0 1 0 68923050 4292608 704 18446744073709551615 94509474881536 94509475776069 140737422650432 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509476015120 94509476062864 94509484167168 140737422657895 140737422658021 140737422658021 140737422663623 0
/proc/74618/statm: 1048 704 640 219 0 110 0
[pid=74621] ppid=74618 vsize=82884 memory=40780 CPUtime=6.18 cores=0,2
/proc/74621/stat : 74621 (roundingsat) R 74618 74618 74262 0 -1 4194304 6624 0 0 0 600 18 0 0 20 0 1 0 68923058 84873216 10195 18446744073709551615 4227072 8923433 140728060794960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13795328 140728060799302 140728060799528 140728060799528 140728060805098 0
/proc/74621/statm: 20721 10195 2400 1147 0 8148 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 87076 KiB
Current children cumulated memory: 43596 KiB
[startup+12.7002 s]
/proc/loadavg: 1.85 1.95 2.70 5/268 74621
/proc/meminfo: memFree=128782928/131249996 swapFree=33010416/33010684
[pid=74618] ppid=74615 vsize=4192 memory=2816 CPUtime=0.06 cores=0,2
/proc/74618/stat : 74618 (run-opt-ls.sh) S 74615 74618 74262 0 -1 4194304 237 2231 0 0 0 0 6 0 20 0 1 0 68923050 4292608 704 18446744073709551615 94509474881536 94509475776069 140737422650432 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509476015120 94509476062864 94509484167168 140737422657895 140737422658021 140737422658021 140737422663623 0
/proc/74618/statm: 1048 704 640 219 0 110 0
[pid=74621] ppid=74618 vsize=89732 memory=47564 CPUtime=12.57 cores=0,2
/proc/74621/stat : 74621 (roundingsat) R 74618 74618 74262 0 -1 4194304 8323 0 0 0 1223 34 0 0 20 0 1 0 68923058 91885568 11891 18446744073709551615 4227072 8923433 140728060794960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13795328 140728060799302 140728060799528 140728060799528 140728060805098 0
/proc/74621/statm: 22433 11891 2400 1147 0 9860 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 93924 KiB
Current children cumulated memory: 50380 KiB
[startup+25.5002 s]
/proc/loadavg: 2.33 2.05 2.73 5/268 74715
/proc/meminfo: memFree=128755124/131249996 swapFree=33010416/33010684
[pid=74618] ppid=74615 vsize=4192 memory=2816 CPUtime=0.06 cores=0,2
/proc/74618/stat : 74618 (run-opt-ls.sh) S 74615 74618 74262 0 -1 4194304 237 2231 0 0 0 0 6 0 20 0 1 0 68923050 4292608 704 18446744073709551615 94509474881536 94509475776069 140737422650432 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509476015120 94509476062864 94509484167168 140737422657895 140737422658021 140737422658021 140737422663623 0
/proc/74618/statm: 1048 704 640 219 0 110 0
[pid=74621] ppid=74618 vsize=93944 memory=49996 CPUtime=25.33 cores=0,2
/proc/74621/stat : 74621 (roundingsat) R 74618 74618 74262 0 -1 4194304 8933 0 0 0 2467 66 0 0 20 0 1 0 68923058 96198656 12499 18446744073709551615 4227072 8923433 140728060794960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13795328 140728060799302 140728060799528 140728060799528 140728060805098 0
/proc/74621/statm: 23486 12499 2400 1147 0 10913 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 98136 KiB
Current children cumulated memory: 52812 KiB
[startup+51.1055 s]
/proc/loadavg: 3.03 2.24 2.77 5/267 75092
/proc/meminfo: memFree=128886860/131249996 swapFree=33010416/33010684
[pid=74618] ppid=74615 vsize=4192 memory=2816 CPUtime=0.06 cores=0,2
/proc/74618/stat : 74618 (run-opt-ls.sh) S 74615 74618 74262 0 -1 4194304 237 2231 0 0 0 0 6 0 20 0 1 0 68923050 4292608 704 18446744073709551615 94509474881536 94509475776069 140737422650432 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509476015120 94509476062864 94509484167168 140737422657895 140737422658021 140737422658021 140737422663623 0
/proc/74618/statm: 1048 704 640 219 0 110 0
[pid=74621] ppid=74618 vsize=102132 memory=58516 CPUtime=50.86 cores=0,2
/proc/74621/stat : 74621 (roundingsat) R 74618 74618 74262 0 -1 4194304 10525 0 0 0 4955 131 0 0 20 0 1 0 68923058 104583168 14629 18446744073709551615 4227072 8923433 140728060794960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13795328 140728060799302 140728060799528 140728060799528 140728060805098 0
/proc/74621/statm: 25533 14629 2464 1147 0 12960 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 106324 KiB
Current children cumulated memory: 61332 KiB
[startup+102.3 s]
/proc/loadavg: 3.62 2.53 2.84 5/268 75189
/proc/meminfo: memFree=127847340/131249996 swapFree=33010416/33010684
[pid=74618] ppid=74615 vsize=4192 memory=2816 CPUtime=0.06 cores=0,2
/proc/74618/stat : 74618 (run-opt-ls.sh) S 74615 74618 74262 0 -1 4194304 237 2231 0 0 0 0 6 0 20 0 1 0 68923050 4292608 704 18446744073709551615 94509474881536 94509475776069 140737422650432 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509476015120 94509476062864 94509484167168 140737422657895 140737422658021 140737422658021 140737422663623 0
/proc/74618/statm: 1048 704 640 219 0 110 0
[pid=74621] ppid=74618 vsize=106276 memory=64148 CPUtime=101.92 cores=0,2
/proc/74621/stat : 74621 (roundingsat) R 74618 74618 74262 0 -1 4194304 11728 0 0 0 9947 245 0 0 20 0 1 0 68923058 108826624 16037 18446744073709551615 4227072 8923433 140728060794960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13795328 140728060799302 140728060799528 140728060799528 140728060805098 0
/proc/74621/statm: 26569 16037 2464 1147 0 13996 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 110468 KiB
Current children cumulated memory: 66964 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.82 2.92 5/268 75331
/proc/meminfo: memFree=127107808/131249996 swapFree=33010416/33010684
[pid=74618] ppid=74615 vsize=4192 memory=2816 CPUtime=0.06 cores=0,2
/proc/74618/stat : 74618 (run-opt-ls.sh) S 74615 74618 74262 0 -1 4194304 237 2231 0 0 0 0 6 0 20 0 1 0 68923050 4292608 704 18446744073709551615 94509474881536 94509475776069 140737422650432 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509476015120 94509476062864 94509484167168 140737422657895 140737422658021 140737422658021 140737422663623 0
/proc/74618/statm: 1048 704 640 219 0 110 0
[pid=74621] ppid=74618 vsize=118060 memory=74544 CPUtime=161.77 cores=0,2
/proc/74621/stat : 74621 (roundingsat) R 74618 74618 74262 0 -1 4194304 13307 0 0 0 15804 373 0 0 20 0 1 0 68923058 120893440 18636 18446744073709551615 4227072 8923433 140728060794960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13795328 140728060799302 140728060799528 140728060799528 140728060805098 0
/proc/74621/statm: 29515 18636 2464 1147 0 16942 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 122252 KiB
Current children cumulated memory: 77360 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 3.05 3.00 5/268 75522
/proc/meminfo: memFree=126844972/131249996 swapFree=33010416/33010684
[pid=74618] ppid=74615 vsize=4192 memory=2816 CPUtime=0.06 cores=0,2
/proc/74618/stat : 74618 (run-opt-ls.sh) S 74615 74618 74262 0 -1 4194304 237 2231 0 0 0 0 6 0 20 0 1 0 68923050 4292608 704 18446744073709551615 94509474881536 94509475776069 140737422650432 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509476015120 94509476062864 94509484167168 140737422657895 140737422658021 140737422658021 140737422663623 0
/proc/74618/statm: 1048 704 640 219 0 110 0
[pid=74621] ppid=74618 vsize=118060 memory=74544 CPUtime=221.59 cores=0,2
/proc/74621/stat : 74621 (roundingsat) R 74618 74618 74262 0 -1 4194304 13308 0 0 0 21651 508 0 0 20 0 1 0 68923058 120893440 18636 18446744073709551615 4227072 8923433 140728060794960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13795328 140728060799302 140728060799528 140728060799528 140728060805098 0
/proc/74621/statm: 29515 18636 2464 1147 0 16942 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 122252 KiB
Current children cumulated memory: 77360 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.25 3.08 5/269 75525
/proc/meminfo: memFree=125545900/131249996 swapFree=33010416/33010684
[pid=74618] ppid=74615 vsize=4192 memory=2816 CPUtime=0.06 cores=0,2
/proc/74618/stat : 74618 (run-opt-ls.sh) S 74615 74618 74262 0 -1 4194304 237 2231 0 0 0 0 6 0 20 0 1 0 68923050 4292608 704 18446744073709551615 94509474881536 94509475776069 140737422650432 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509476015120 94509476062864 94509484167168 140737422657895 140737422658021 140737422658021 140737422663623 0
/proc/74618/statm: 1048 704 640 219 0 110 0
[pid=74621] ppid=74618 vsize=121460 memory=78000 CPUtime=281.39 cores=0,2
/proc/74621/stat : 74621 (roundingsat) R 74618 74618 74262 0 -1 4194304 14159 0 0 0 27497 642 0 0 20 0 1 0 68923058 124375040 19500 18446744073709551615 4227072 8923433 140728060794960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13795328 140728060799302 140728060799528 140728060799528 140728060805098 0
/proc/74621/statm: 30365 19500 2464 1147 0 17792 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 125652 KiB
Current children cumulated memory: 80816 KiB
[startup+324.461 s]
# the end of solver process 74618 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=316.163 s, system=7.33755 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+307.2 s]
/proc/loadavg: 4.07 3.32 3.10 5/269 75525
/proc/meminfo: memFree=124807304/131249996 swapFree=33010416/33010684
[pid=74618] ppid=74615 vsize=4192 memory=2816 CPUtime=0.06 cores=0,2
/proc/74618/stat : 74618 (run-opt-ls.sh) S 74615 74618 74262 0 -1 4194304 237 2231 0 0 0 0 6 0 20 0 1 0 68923050 4292608 704 18446744073709551615 94509474881536 94509475776069 140737422650432 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509476015120 94509476062864 94509484167168 140737422657895 140737422658021 140737422658021 140737422663623 0
/proc/74618/statm: 1048 704 640 219 0 110 0
[pid=74621] ppid=74618 vsize=121460 memory=78000 CPUtime=306.21 cores=0,2
/proc/74621/stat : 74621 (roundingsat) R 74618 74618 74262 0 -1 4194304 14159 0 0 0 29924 697 0 0 20 0 1 0 68923058 124375040 19500 18446744073709551615 4227072 8923433 140728060794960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13795328 140728060799302 140728060799528 140728060799528 140728060805098 0
/proc/74621/statm: 30365 19500 2464 1147 0 17792 0
Current children cumulated CPU time: 306.27 s
Current children cumulated vsize: 125652 KiB
Current children cumulated memory: 80816 KiB
[startup+313.6 s]
/proc/loadavg: 4.14 3.36 3.12 5/269 75525
/proc/meminfo: memFree=124799240/131249996 swapFree=33010416/33010684
[pid=74618] ppid=74615 vsize=4192 memory=2816 CPUtime=0.06 cores=0,2
/proc/74618/stat : 74618 (run-opt-ls.sh) S 74615 74618 74262 0 -1 4194304 237 2231 0 0 0 0 6 0 20 0 1 0 68923050 4292608 704 18446744073709551615 94509474881536 94509475776069 140737422650432 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509476015120 94509476062864 94509484167168 140737422657895 140737422658021 140737422658021 140737422663623 0
/proc/74618/statm: 1048 704 640 219 0 110 0
[pid=74621] ppid=74618 vsize=121460 memory=78000 CPUtime=312.59 cores=0,2
/proc/74621/stat : 74621 (roundingsat) R 74618 74618 74262 0 -1 4194304 14159 0 0 0 30549 710 0 0 20 0 1 0 68923058 124375040 19500 18446744073709551615 4227072 8923433 140728060794960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13795328 140728060799302 140728060799528 140728060799528 140728060805098 0
/proc/74621/statm: 30365 19500 2464 1147 0 17792 0
Current children cumulated CPU time: 312.65 s
Current children cumulated vsize: 125652 KiB
Current children cumulated memory: 80816 KiB
[startup+320 s]*
/proc/loadavg: 4.12 3.37 3.12 5/269 75525
/proc/meminfo: memFree=124775304/131249996 swapFree=33010416/33010684
[pid=74618] ppid=74615 vsize=4192 memory=2816 CPUtime=0.06 cores=0,2
/proc/74618/stat : 74618 (run-opt-ls.sh) S 74615 74618 74262 0 -1 4194304 237 2231 0 0 0 0 6 0 20 0 1 0 68923050 4292608 704 18446744073709551615 94509474881536 94509475776069 140737422650432 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509476015120 94509476062864 94509484167168 140737422657895 140737422658021 140737422658021 140737422663623 0
/proc/74618/statm: 1048 704 640 219 0 110 0
[pid=74621] ppid=74618 vsize=121460 memory=78000 CPUtime=318.97 cores=0,2
/proc/74621/stat : 74621 (roundingsat) R 74618 74618 74262 0 -1 4194304 14159 0 0 0 31173 724 0 0 20 0 1 0 68923058 124375040 19500 18446744073709551615 4227072 8923433 140728060794960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13795328 140728060799302 140728060799528 140728060799528 140728060805098 0
/proc/74621/statm: 30365 19500 2464 1147 0 17792 0
Current children cumulated CPU time: 319.03 s
Current children cumulated vsize: 125652 KiB
Current children cumulated memory: 80816 KiB
[startup+321.6 s]
/proc/loadavg: 4.12 3.37 3.12 5/269 75525
/proc/meminfo: memFree=124775304/131249996 swapFree=33010416/33010684
[pid=74618] ppid=74615 vsize=4192 memory=2816 CPUtime=0.06 cores=0,2
/proc/74618/stat : 74618 (run-opt-ls.sh) S 74615 74618 74262 0 -1 4194304 237 2231 0 0 0 0 6 0 20 0 1 0 68923050 4292608 704 18446744073709551615 94509474881536 94509475776069 140737422650432 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509476015120 94509476062864 94509484167168 140737422657895 140737422658021 140737422658021 140737422663623 0
/proc/74618/statm: 1048 704 640 219 0 110 0
[pid=74621] ppid=74618 vsize=121460 memory=78000 CPUtime=320.56 cores=0,2
/proc/74621/stat : 74621 (roundingsat) R 74618 74618 74262 0 -1 4194304 14159 0 0 0 31329 727 0 0 20 0 1 0 68923058 124375040 19500 18446744073709551615 4227072 8923433 140728060794960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13795328 140728060799302 140728060799528 140728060799528 140728060805098 0
/proc/74621/statm: 30365 19500 2464 1147 0 17792 0
Current children cumulated CPU time: 320.62 s
Current children cumulated vsize: 125652 KiB
Current children cumulated memory: 80816 KiB
[startup+323.2 s]
/proc/loadavg: 4.11 3.38 3.13 5/269 75526
/proc/meminfo: memFree=124750712/131249996 swapFree=33010416/33010684
[pid=74618] ppid=74615 vsize=4192 memory=2816 CPUtime=0.06 cores=0,2
/proc/74618/stat : 74618 (run-opt-ls.sh) S 74615 74618 74262 0 -1 4194304 237 2231 0 0 0 0 6 0 20 0 1 0 68923050 4292608 704 18446744073709551615 94509474881536 94509475776069 140737422650432 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509476015120 94509476062864 94509484167168 140737422657895 140737422658021 140737422658021 140737422663623 0
/proc/74618/statm: 1048 704 640 219 0 110 0
[pid=74621] ppid=74618 vsize=121460 memory=78000 CPUtime=322.16 cores=0,2
/proc/74621/stat : 74621 (roundingsat) R 74618 74618 74262 0 -1 4194304 14159 0 0 0 31486 730 0 0 20 0 1 0 68923058 124375040 19500 18446744073709551615 4227072 8923433 140728060794960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13795328 140728060799302 140728060799528 140728060799528 140728060805098 0
/proc/74621/statm: 30365 19500 2464 1147 0 17792 0
Current children cumulated CPU time: 322.22 s
Current children cumulated vsize: 125652 KiB
Current children cumulated memory: 80816 KiB
[startup+324 s]*
/proc/loadavg: 4.11 3.38 3.13 5/269 75526
/proc/meminfo: memFree=124744064/131249996 swapFree=33010416/33010684
[pid=74618] ppid=74615 vsize=4192 memory=2816 CPUtime=0.06 cores=0,2
/proc/74618/stat : 74618 (run-opt-ls.sh) S 74615 74618 74262 0 -1 4194304 237 2231 0 0 0 0 6 0 20 0 1 0 68923050 4292608 704 18446744073709551615 94509474881536 94509475776069 140737422650432 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509476015120 94509476062864 94509484167168 140737422657895 140737422658021 140737422658021 140737422663623 0
/proc/74618/statm: 1048 704 640 219 0 110 0
[pid=74621] ppid=74618 vsize=121460 memory=78000 CPUtime=322.96 cores=0,2
/proc/74621/stat : 74621 (roundingsat) R 74618 74618 74262 0 -1 4194304 14159 0 0 0 31564 732 0 0 20 0 1 0 68923058 124375040 19500 18446744073709551615 4227072 8923433 140728060794960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13795328 140728060799302 140728060799528 140728060799528 140728060805098 0
/proc/74621/statm: 30365 19500 2464 1147 0 17792 0
Current children cumulated CPU time: 323.02 s
Current children cumulated vsize: 125652 KiB
Current children cumulated memory: 80816 KiB
[startup+324.4 s]
/proc/loadavg: 4.11 3.38 3.13 5/269 75526
/proc/meminfo: memFree=124744064/131249996 swapFree=33010416/33010684
[pid=74618] ppid=74615 vsize=4192 memory=2816 CPUtime=0.06 cores=0,2
/proc/74618/stat : 74618 (run-opt-ls.sh) S 74615 74618 74262 0 -1 4194304 237 2231 0 0 0 0 6 0 20 0 1 0 68923050 4292608 704 18446744073709551615 94509474881536 94509475776069 140737422650432 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94509476015120 94509476062864 94509484167168 140737422657895 140737422658021 140737422658021 140737422663623 0
/proc/74618/statm: 1048 704 640 219 0 110 0
[pid=74621] ppid=74618 vsize=121460 memory=78000 CPUtime=323.36 cores=0,2
/proc/74621/stat : 74621 (roundingsat) R 74618 74618 74262 0 -1 4194304 14159 0 0 0 31603 733 0 0 20 0 1 0 68923058 124375040 19500 18446744073709551615 4227072 8923433 140728060794960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13795328 140728060799302 140728060799528 140728060799528 140728060805098 0
/proc/74621/statm: 30365 19500 2464 1147 0 17792 0
Current children cumulated CPU time: 323.42 s
Current children cumulated vsize: 125652 KiB
Current children cumulated memory: 80816 KiB
Child status: 0
Real time (s): 324.461
CPU time (s): 323.5
CPU user time (s): 316.163
CPU system time (s): 7.33755
CPU usage (%): 99.704
Max. virtual memory (cumulated for all children) (KiB): 125652
Max. memory (cumulated for all children) (KiB): 80816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 316.163
system time used= 7.33755
maximum resident set size= 78000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16651
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 223
involuntary context switches= 744
# summary of solver processes directly reported to runsolver:
# pid: 74618
# total CPU time (s): 323.5
# total CPU user time (s): 316.163
# total CPU system time (s): 7.33755
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.695593 second user time and 1.4446 second system time
The end
Begin job on nodeC030 at 2025-07-03 10:47:15
IDJOB=4517446
IDBENCH=176086
IDSOLVER=3355
FILE ID=nodeC030/4517446-1751532435
RUNJOBID= nodeC030-1751532423-74272
SLURM_JOB_ID= 9598677
Free space on /tmp= 432480 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=13-t=8.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517446-1751532435/watcher-4517446-1751532435 -o /tmp/evaluation-result-4517446-1751532435/solver-4517446-1751532435 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751532423-74272 --watchdog 3760 run-opt-ls.sh HOME/instance-4517446-1751532435.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6f78fc52c3f94736c8d8a5f9c953ef5f
RANDOM SEED=207758679
nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.319
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 : 7000.62
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 : 3600.182
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 : 7000.62
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 : 3760.852
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 : 7000.62
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 : 3610.661
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 : 7000.62
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 : 3600.307
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 : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.318
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 : 7000.62
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 : 3709.112
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 : 7000.62
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 : 3591.978
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 : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128829636 kB
MemAvailable: 129521580 kB
Buffers: 2564 kB
Cached: 1483604 kB
SwapCached: 16 kB
Active: 741064 kB
Inactive: 1040076 kB
Active(anon): 308472 kB
Inactive(anon): 4548 kB
Active(file): 432592 kB
Inactive(file): 1035528 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7624 kB
Writeback: 16 kB
AnonPages: 298152 kB
Mapped: 117404 kB
Shmem: 18048 kB
KReclaimable: 125728 kB
Slab: 214308 kB
SReclaimable: 125728 kB
SUnreclaim: 88580 kB
KernelStack: 4364 kB
PageTables: 4008 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 689500 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 96256 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432472 MiB
End job on nodeC030 at 2025-07-03 10:52:39