0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.04 c #variables 2724 #constraints 6385
1.77/1.89 c #Conflicts: 1000 | #Constraints: 7384
1.77/1.89 c #Conflicts: 2000 | #Constraints: 8384
1.77/1.89 c INPROCESSING
1.77/1.89 c GARBAGE COLLECT
1.77/1.89 c #Conflicts: 3000 | #Constraints: 8717
1.77/1.89 c #Conflicts: 4000 | #Constraints: 9717
1.77/1.89 c #Conflicts: 5000 | #Constraints: 10717
1.77/1.89 c #Conflicts: 6000 | #Constraints: 11717
1.77/1.89 c INPROCESSING
1.77/1.89 c GARBAGE COLLECT
1.77/1.89 c #Conflicts: 7000 | #Constraints: 10274
1.77/1.89 c #Conflicts: 8000 | #Constraints: 11274
1.77/1.89 c #Conflicts: 9000 | #Constraints: 12274
1.77/1.89 c INPROCESSING
1.77/1.89 c GARBAGE COLLECT
1.77/1.89 c #Conflicts: 10000 | #Constraints: 10427
1.77/1.89 c #Conflicts: 11000 | #Constraints: 11427
1.77/1.89 c #Conflicts: 12000 | #Constraints: 12427
1.77/1.89 c INPROCESSING
1.77/1.89 c GARBAGE COLLECT
1.77/1.89 c rational objective 908
2.37/2.48 c #Conflicts: 13000 | #Constraints: 10228
2.37/2.48 c #Conflicts: 14000 | #Constraints: 11228
2.37/2.48 c #Conflicts: 15000 | #Constraints: 12228
2.37/2.48 c #Conflicts: 16000 | #Constraints: 13228
2.37/2.48 c INPROCESSING
2.37/2.48 c GARBAGE COLLECT
2.37/2.48 c rational objective 908
2.97/3.07 c #Conflicts: 17000 | #Constraints: 10797
2.97/3.07 c #Conflicts: 18000 | #Constraints: 11797
2.97/3.07 c #Conflicts: 19000 | #Constraints: 12797
2.97/3.07 c #Conflicts: 20000 | #Constraints: 13797
2.97/3.07 c INPROCESSING
2.97/3.07 c GARBAGE COLLECT
2.97/3.07 c rational objective 908
3.76/3.81 c #Conflicts: 21000 | #Constraints: 11135
3.76/3.81 c #Conflicts: 22000 | #Constraints: 12135
3.76/3.81 c #Conflicts: 23000 | #Constraints: 13135
3.76/3.81 c #Conflicts: 24000 | #Constraints: 14135
3.76/3.81 c INPROCESSING
3.76/3.81 c GARBAGE COLLECT
3.76/3.81 c rational objective 908
4.46/4.55 c #Conflicts: 25000 | #Constraints: 11245
4.46/4.55 c #Conflicts: 26000 | #Constraints: 12245
4.46/4.55 c #Conflicts: 27000 | #Constraints: 13245
4.46/4.55 c #Conflicts: 28000 | #Constraints: 14245
4.46/4.55 c INPROCESSING
4.46/4.55 c GARBAGE COLLECT
4.46/4.55 c rational objective 908
7.26/7.39 c #Conflicts: 29000 | #Constraints: 11151
7.26/7.39 c #Conflicts: 30000 | #Constraints: 12151
7.26/7.39 c #Conflicts: 31000 | #Constraints: 13151
7.26/7.39 c #Conflicts: 32000 | #Constraints: 14151
7.26/7.39 c #Conflicts: 33000 | #Constraints: 15151
7.26/7.39 c INPROCESSING
7.26/7.39 c GARBAGE COLLECT
7.26/7.39 c #Conflicts: 34000 | #Constraints: 11851
7.26/7.39 c #Conflicts: 35000 | #Constraints: 12851
7.26/7.39 c #Conflicts: 36000 | #Constraints: 13851
7.26/7.39 c #Conflicts: 37000 | #Constraints: 14851
7.26/7.39 c #Conflicts: 38000 | #Constraints: 15851
7.26/7.39 c INPROCESSING
7.26/7.39 c GARBAGE COLLECT
7.26/7.39 c #Conflicts: 39000 | #Constraints: 12368
7.26/7.39 c #Conflicts: 40000 | #Constraints: 13368
7.26/7.39 c #Conflicts: 41000 | #Constraints: 14368
7.26/7.39 c #Conflicts: 42000 | #Constraints: 15368
7.26/7.39 c INPROCESSING
7.26/7.39 c GARBAGE COLLECT
7.26/7.39 c #Conflicts: 43000 | #Constraints: 11677
7.26/7.39 c #Conflicts: 44000 | #Constraints: 12677
7.26/7.39 c #Conflicts: 45000 | #Constraints: 13677
7.26/7.39 c #Conflicts: 46000 | #Constraints: 14677
7.26/7.39 c #Conflicts: 47000 | #Constraints: 15677
7.26/7.39 c #Conflicts: 48000 | #Constraints: 16677
7.26/7.39 c INPROCESSING
7.26/7.39 c GARBAGE COLLECT
7.26/7.39 c rational objective 908
8.16/8.22 c #Conflicts: 49000 | #Constraints: 12789
8.16/8.22 c #Conflicts: 50000 | #Constraints: 13789
8.16/8.22 c #Conflicts: 51000 | #Constraints: 14789
8.16/8.22 c #Conflicts: 52000 | #Constraints: 15789
8.16/8.22 c #Conflicts: 53000 | #Constraints: 16789
8.16/8.22 c INPROCESSING
8.16/8.22 c GARBAGE COLLECT
8.16/8.22 c rational objective 908
8.96/9.08 c #Conflicts: 54000 | #Constraints: 12688
8.96/9.08 c #Conflicts: 55000 | #Constraints: 13688
8.96/9.08 c #Conflicts: 56000 | #Constraints: 14688
8.96/9.08 c #Conflicts: 57000 | #Constraints: 15688
8.96/9.08 c #Conflicts: 58000 | #Constraints: 16688
8.96/9.08 c INPROCESSING
8.96/9.08 c GARBAGE COLLECT
8.96/9.08 c rational objective 908
11.74/11.80 c #Conflicts: 59000 | #Constraints: 12394
11.74/11.80 c #Conflicts: 60000 | #Constraints: 13394
11.74/11.80 c #Conflicts: 61000 | #Constraints: 14394
11.74/11.80 c #Conflicts: 62000 | #Constraints: 15394
11.74/11.80 c #Conflicts: 63000 | #Constraints: 16394
11.74/11.80 c #Conflicts: 64000 | #Constraints: 17394
11.74/11.80 c INPROCESSING
11.74/11.80 c GARBAGE COLLECT
11.74/11.80 c #Conflicts: 65000 | #Constraints: 12893
11.74/11.80 c #Conflicts: 66000 | #Constraints: 13893
11.74/11.80 c #Conflicts: 67000 | #Constraints: 14893
11.74/11.80 c #Conflicts: 68000 | #Constraints: 15893
11.74/11.80 c #Conflicts: 69000 | #Constraints: 16893
11.74/11.80 c #Conflicts: 70000 | #Constraints: 17893
11.74/11.80 c INPROCESSING
11.74/11.80 c GARBAGE COLLECT
11.74/11.80 c #Conflicts: 71000 | #Constraints: 13195
11.74/11.80 c #Conflicts: 72000 | #Constraints: 14195
11.74/11.80 c #Conflicts: 73000 | #Constraints: 15195
11.74/11.80 c #Conflicts: 74000 | #Constraints: 16195
11.74/11.80 c #Conflicts: 75000 | #Constraints: 17195
11.74/11.80 c #Conflicts: 76000 | #Constraints: 18195
11.74/11.80 c INPROCESSING
11.74/11.80 c GARBAGE COLLECT
11.74/11.80 c rational objective 908
12.64/12.72 c #Conflicts: 77000 | #Constraints: 13305
12.64/12.72 c #Conflicts: 78000 | #Constraints: 14305
12.64/12.72 c #Conflicts: 79000 | #Constraints: 15305
12.64/12.72 c #Conflicts: 80000 | #Constraints: 16305
12.64/12.72 c #Conflicts: 81000 | #Constraints: 17305
12.64/12.72 c #Conflicts: 82000 | #Constraints: 18305
12.64/12.72 c INPROCESSING
12.64/12.72 c GARBAGE COLLECT
12.64/12.72 c rational objective 908
13.84/13.92 c #Conflicts: 83000 | #Constraints: 13198
13.84/13.92 c #Conflicts: 84000 | #Constraints: 14198
13.84/13.92 c #Conflicts: 85000 | #Constraints: 15198
13.84/13.92 c #Conflicts: 86000 | #Constraints: 16198
13.84/13.92 c #Conflicts: 87000 | #Constraints: 17198
13.84/13.92 c #Conflicts: 88000 | #Constraints: 18198
13.84/13.92 c #Conflicts: 89000 | #Constraints: 19198
13.84/13.92 c INPROCESSING
13.84/13.92 c GARBAGE COLLECT
13.84/13.92 c rational objective 908
15.14/15.23 c #Conflicts: 90000 | #Constraints: 13891
15.14/15.23 c #Conflicts: 91000 | #Constraints: 14891
15.14/15.23 c #Conflicts: 92000 | #Constraints: 15891
15.14/15.23 c #Conflicts: 93000 | #Constraints: 16891
15.14/15.23 c #Conflicts: 94000 | #Constraints: 17891
15.14/15.23 c #Conflicts: 95000 | #Constraints: 18891
15.14/15.23 c #Conflicts: 96000 | #Constraints: 19891
15.14/15.23 c INPROCESSING
15.14/15.23 c GARBAGE COLLECT
15.14/15.23 c rational objective 908
16.53/16.67 c #Conflicts: 97000 | #Constraints: 14405
16.53/16.67 c #Conflicts: 98000 | #Constraints: 15405
16.53/16.67 c #Conflicts: 99000 | #Constraints: 16405
16.53/16.67 c #Conflicts: 100000 | #Constraints: 17405
16.53/16.67 c #Conflicts: 101000 | #Constraints: 18405
16.53/16.67 c #Conflicts: 102000 | #Constraints: 19405
16.53/16.67 c INPROCESSING
16.53/16.67 c GARBAGE COLLECT
16.53/16.67 c rational objective 908
17.62/17.75 c #Conflicts: 103000 | #Constraints: 13697
17.62/17.75 c #Conflicts: 104000 | #Constraints: 14697
17.62/17.75 c #Conflicts: 105000 | #Constraints: 15697
17.62/17.75 c #Conflicts: 106000 | #Constraints: 16697
17.62/17.75 c #Conflicts: 107000 | #Constraints: 17697
17.62/17.75 c #Conflicts: 108000 | #Constraints: 18697
17.62/17.75 c #Conflicts: 109000 | #Constraints: 19697
17.62/17.75 c #Conflicts: 110000 | #Constraints: 20697
17.62/17.75 c INPROCESSING
17.62/17.75 c GARBAGE COLLECT
17.62/17.75 c rational objective 908
18.72/18.85 c #Conflicts: 111000 | #Constraints: 14799
18.72/18.85 c #Conflicts: 112000 | #Constraints: 15799
18.72/18.85 c #Conflicts: 113000 | #Constraints: 16799
18.72/18.85 c #Conflicts: 114000 | #Constraints: 17799
18.72/18.85 c #Conflicts: 115000 | #Constraints: 18799
18.72/18.85 c #Conflicts: 116000 | #Constraints: 19799
18.72/18.85 c #Conflicts: 117000 | #Constraints: 20799
18.72/18.85 c INPROCESSING
18.72/18.85 c GARBAGE COLLECT
18.72/18.85 c rational objective 908
19.82/20.00 c #Conflicts: 118000 | #Constraints: 14718
19.82/20.00 c #Conflicts: 119000 | #Constraints: 15718
19.82/20.00 c #Conflicts: 120000 | #Constraints: 16718
19.82/20.00 c #Conflicts: 121000 | #Constraints: 17718
19.82/20.00 c #Conflicts: 122000 | #Constraints: 18718
19.82/20.00 c #Conflicts: 123000 | #Constraints: 19718
19.82/20.00 c #Conflicts: 124000 | #Constraints: 20718
19.82/20.00 c INPROCESSING
19.82/20.00 c GARBAGE COLLECT
19.82/20.00 c rational objective 908
21.12/21.25 c #Conflicts: 125000 | #Constraints: 14404
21.12/21.25 c #Conflicts: 126000 | #Constraints: 15404
21.12/21.25 c #Conflicts: 127000 | #Constraints: 16404
21.12/21.25 c #Conflicts: 128000 | #Constraints: 17404
21.12/21.25 c #Conflicts: 129000 | #Constraints: 18404
21.12/21.25 c #Conflicts: 130000 | #Constraints: 19404
21.12/21.25 c #Conflicts: 131000 | #Constraints: 20404
21.12/21.25 c #Conflicts: 132000 | #Constraints: 21404
21.12/21.25 c INPROCESSING
21.12/21.25 c GARBAGE COLLECT
21.12/21.25 c rational objective 908
22.31/22.47 c #Conflicts: 133000 | #Constraints: 14894
22.31/22.47 c #Conflicts: 134000 | #Constraints: 15894
22.31/22.47 c #Conflicts: 135000 | #Constraints: 16894
22.31/22.47 c #Conflicts: 136000 | #Constraints: 17894
22.31/22.47 c #Conflicts: 137000 | #Constraints: 18894
22.31/22.47 c #Conflicts: 138000 | #Constraints: 19894
22.31/22.47 c #Conflicts: 139000 | #Constraints: 20894
22.31/22.47 c #Conflicts: 140000 | #Constraints: 21894
22.31/22.47 c INPROCESSING
22.31/22.47 c GARBAGE COLLECT
22.31/22.47 c rational objective 908
23.52/23.65 c #Conflicts: 141000 | #Constraints: 15198
23.52/23.65 c #Conflicts: 142000 | #Constraints: 16198
23.52/23.65 c #Conflicts: 143000 | #Constraints: 17198
23.52/23.65 c #Conflicts: 144000 | #Constraints: 18198
23.52/23.65 c #Conflicts: 145000 | #Constraints: 19198
23.52/23.65 c #Conflicts: 146000 | #Constraints: 20198
23.52/23.65 c #Conflicts: 147000 | #Constraints: 21198
23.52/23.65 c #Conflicts: 148000 | #Constraints: 22198
23.52/23.65 c INPROCESSING
23.52/23.65 c GARBAGE COLLECT
23.52/23.65 c rational objective 908
24.82/24.99 c #Conflicts: 149000 | #Constraints: 15295
24.82/24.99 c #Conflicts: 150000 | #Constraints: 16295
24.82/24.99 c #Conflicts: 151000 | #Constraints: 17295
24.82/24.99 c #Conflicts: 152000 | #Constraints: 18295
24.82/24.99 c #Conflicts: 153000 | #Constraints: 19295
24.82/24.99 c #Conflicts: 154000 | #Constraints: 20295
24.82/24.99 c #Conflicts: 155000 | #Constraints: 21295
24.82/24.99 c #Conflicts: 156000 | #Constraints: 22295
24.82/24.99 c INPROCESSING
24.82/24.99 c GARBAGE COLLECT
24.82/24.99 c rational objective 908
26.11/26.26 c #Conflicts: 157000 | #Constraints: 15194
26.11/26.26 c #Conflicts: 158000 | #Constraints: 16194
26.11/26.26 c #Conflicts: 159000 | #Constraints: 17194
26.11/26.26 c #Conflicts: 160000 | #Constraints: 18194
26.11/26.26 c #Conflicts: 161000 | #Constraints: 19194
26.11/26.26 c #Conflicts: 162000 | #Constraints: 20194
26.11/26.26 c #Conflicts: 163000 | #Constraints: 21194
26.11/26.26 c #Conflicts: 164000 | #Constraints: 22194
26.11/26.26 c #Conflicts: 165000 | #Constraints: 23194
26.11/26.26 c INPROCESSING
26.11/26.26 c GARBAGE COLLECT
26.11/26.26 c rational objective 908
27.41/27.55 c #Conflicts: 166000 | #Constraints: 15916
27.41/27.55 c #Conflicts: 167000 | #Constraints: 16916
27.41/27.55 c #Conflicts: 168000 | #Constraints: 17916
27.41/27.55 c #Conflicts: 169000 | #Constraints: 18916
27.41/27.55 c #Conflicts: 170000 | #Constraints: 19916
27.41/27.55 c #Conflicts: 171000 | #Constraints: 20916
27.41/27.55 c #Conflicts: 172000 | #Constraints: 21916
27.41/27.55 c #Conflicts: 173000 | #Constraints: 22916
27.41/27.55 c #Conflicts: 174000 | #Constraints: 23916
27.41/27.55 c INPROCESSING
27.41/27.55 c GARBAGE COLLECT
27.41/27.55 c rational objective 908
28.80/28.93 c #Conflicts: 175000 | #Constraints: 16427
28.80/28.93 c #Conflicts: 176000 | #Constraints: 17427
28.80/28.93 c #Conflicts: 177000 | #Constraints: 18427
28.80/28.93 c #Conflicts: 178000 | #Constraints: 19427
28.80/28.93 c #Conflicts: 179000 | #Constraints: 20427
28.80/28.93 c #Conflicts: 180000 | #Constraints: 21427
28.80/28.93 c #Conflicts: 181000 | #Constraints: 22427
28.80/28.93 c #Conflicts: 182000 | #Constraints: 23427
28.80/28.93 c INPROCESSING
28.80/28.93 c GARBAGE COLLECT
28.80/28.93 c rational objective 908
30.30/30.48 c #Conflicts: 183000 | #Constraints: 15703
30.30/30.48 c #Conflicts: 184000 | #Constraints: 16703
30.30/30.48 c #Conflicts: 185000 | #Constraints: 17703
30.30/30.48 c #Conflicts: 186000 | #Constraints: 18703
30.30/30.48 c #Conflicts: 187000 | #Constraints: 19703
30.30/30.48 c #Conflicts: 188000 | #Constraints: 20703
30.30/30.48 c #Conflicts: 189000 | #Constraints: 21703
30.30/30.48 c #Conflicts: 190000 | #Constraints: 22703
30.30/30.48 c #Conflicts: 191000 | #Constraints: 23703
30.30/30.48 c #Conflicts: 192000 | #Constraints: 24703
30.30/30.48 c INPROCESSING
30.30/30.48 c GARBAGE COLLECT
30.30/30.48 c rational objective 908
32.01/32.19 c #Conflicts: 193000 | #Constraints: 16825
32.01/32.19 c #Conflicts: 194000 | #Constraints: 17825
32.01/32.19 c #Conflicts: 195000 | #Constraints: 18825
32.01/32.19 c #Conflicts: 196000 | #Constraints: 19825
32.01/32.19 c #Conflicts: 197000 | #Constraints: 20825
32.01/32.19 c #Conflicts: 198000 | #Constraints: 21825
32.01/32.19 c #Conflicts: 199000 | #Constraints: 22825
32.01/32.19 c #Conflicts: 200000 | #Constraints: 23825
32.01/32.19 c #Conflicts: 201000 | #Constraints: 24825
32.01/32.19 c INPROCESSING
32.01/32.19 c GARBAGE COLLECT
32.01/32.19 c rational objective 908
33.69/33.82 c #Conflicts: 202000 | #Constraints: 16725
33.69/33.82 c #Conflicts: 203000 | #Constraints: 17725
33.69/33.82 c #Conflicts: 204000 | #Constraints: 18725
33.69/33.82 c #Conflicts: 205000 | #Constraints: 19725
33.69/33.82 c #Conflicts: 206000 | #Constraints: 20725
33.69/33.82 c #Conflicts: 207000 | #Constraints: 21725
33.69/33.82 c #Conflicts: 208000 | #Constraints: 22725
33.69/33.82 c #Conflicts: 209000 | #Constraints: 23725
33.69/33.82 c #Conflicts: 210000 | #Constraints: 24725
33.69/33.82 c INPROCESSING
33.69/33.82 c GARBAGE COLLECT
33.69/33.82 c rational objective 908
35.29/35.45 c #Conflicts: 211000 | #Constraints: 16403
35.29/35.45 c #Conflicts: 212000 | #Constraints: 17403
35.29/35.45 c #Conflicts: 213000 | #Constraints: 18403
35.29/35.45 c #Conflicts: 214000 | #Constraints: 19403
35.29/35.45 c #Conflicts: 215000 | #Constraints: 20403
35.29/35.45 c #Conflicts: 216000 | #Constraints: 21403
35.29/35.45 c #Conflicts: 217000 | #Constraints: 22403
35.29/35.45 c #Conflicts: 218000 | #Constraints: 23403
35.29/35.45 c #Conflicts: 219000 | #Constraints: 24403
35.29/35.45 c #Conflicts: 220000 | #Constraints: 25403
35.29/35.45 c INPROCESSING
35.29/35.45 c GARBAGE COLLECT
35.29/35.45 c rational objective 908
36.89/37.05 c #Conflicts: 221000 | #Constraints: 16908
36.89/37.05 c #Conflicts: 222000 | #Constraints: 17908
36.89/37.05 c #Conflicts: 223000 | #Constraints: 18908
36.89/37.05 c #Conflicts: 224000 | #Constraints: 19908
36.89/37.05 c #Conflicts: 225000 | #Constraints: 20908
36.89/37.05 c #Conflicts: 226000 | #Constraints: 21908
36.89/37.05 c #Conflicts: 227000 | #Constraints: 22908
36.89/37.05 c #Conflicts: 228000 | #Constraints: 23908
36.89/37.05 c #Conflicts: 229000 | #Constraints: 24908
36.89/37.05 c #Conflicts: 230000 | #Constraints: 25908
36.89/37.05 c INPROCESSING
36.89/37.05 c GARBAGE COLLECT
36.89/37.05 c rational objective 908
38.48/38.62 c #Conflicts: 231000 | #Constraints: 17201
38.48/38.62 c #Conflicts: 232000 | #Constraints: 18201
38.48/38.62 c #Conflicts: 233000 | #Constraints: 19201
38.48/38.62 c #Conflicts: 234000 | #Constraints: 20201
38.48/38.62 c #Conflicts: 235000 | #Constraints: 21201
38.48/38.62 c #Conflicts: 236000 | #Constraints: 22201
38.48/38.62 c #Conflicts: 237000 | #Constraints: 23201
38.48/38.62 c #Conflicts: 238000 | #Constraints: 24201
38.48/38.62 c #Conflicts: 239000 | #Constraints: 25201
38.48/38.62 c #Conflicts: 240000 | #Constraints: 26201
38.48/38.62 c INPROCESSING
38.48/38.62 c GARBAGE COLLECT
38.48/38.62 c rational objective 908
40.07/40.25 c #Conflicts: 241000 | #Constraints: 17294
40.07/40.25 c #Conflicts: 242000 | #Constraints: 18294
40.07/40.25 c #Conflicts: 243000 | #Constraints: 19294
40.07/40.25 c #Conflicts: 244000 | #Constraints: 20294
40.07/40.25 c #Conflicts: 245000 | #Constraints: 21294
40.07/40.25 c #Conflicts: 246000 | #Constraints: 22294
40.07/40.25 c #Conflicts: 247000 | #Constraints: 23294
40.07/40.25 c #Conflicts: 248000 | #Constraints: 24294
40.07/40.25 c #Conflicts: 249000 | #Constraints: 25294
40.07/40.25 c #Conflicts: 250000 | #Constraints: 26294
40.07/40.25 c INPROCESSING
40.07/40.25 c GARBAGE COLLECT
40.07/40.25 c rational objective 908
41.78/41.97 c #Conflicts: 251000 | #Constraints: 17203
41.78/41.97 c #Conflicts: 252000 | #Constraints: 18203
41.78/41.97 c #Conflicts: 253000 | #Constraints: 19203
41.78/41.97 c #Conflicts: 254000 | #Constraints: 20203
41.78/41.97 c #Conflicts: 255000 | #Constraints: 21203
41.78/41.97 c #Conflicts: 256000 | #Constraints: 22203
41.78/41.97 c #Conflicts: 257000 | #Constraints: 23203
41.78/41.97 c #Conflicts: 258000 | #Constraints: 24203
41.78/41.97 c #Conflicts: 259000 | #Constraints: 25203
41.78/41.97 c #Conflicts: 260000 | #Constraints: 26203
41.78/41.97 c #Conflicts: 261000 | #Constraints: 27203
41.78/41.97 c INPROCESSING
41.78/41.97 c GARBAGE COLLECT
41.78/41.97 c rational objective 908
43.37/43.59 c #Conflicts: 262000 | #Constraints: 17901
43.37/43.59 c #Conflicts: 263000 | #Constraints: 18901
43.37/43.59 c #Conflicts: 264000 | #Constraints: 19901
43.37/43.59 c #Conflicts: 265000 | #Constraints: 20901
43.37/43.59 c #Conflicts: 266000 | #Constraints: 21901
43.37/43.59 c #Conflicts: 267000 | #Constraints: 22901
43.37/43.59 c #Conflicts: 268000 | #Constraints: 23901
43.37/43.59 c #Conflicts: 269000 | #Constraints: 24901
43.37/43.59 c #Conflicts: 270000 | #Constraints: 25901
43.37/43.59 c #Conflicts: 271000 | #Constraints: 26901
43.37/43.59 c #Conflicts: 272000 | #Constraints: 27901
43.37/43.59 c INPROCESSING
43.37/43.59 c GARBAGE COLLECT
43.37/43.59 c rational objective 908
45.26/45.40 c #Conflicts: 273000 | #Constraints: 18395
45.26/45.40 c #Conflicts: 274000 | #Constraints: 19395
45.26/45.40 c #Conflicts: 275000 | #Constraints: 20395
45.26/45.40 c #Conflicts: 276000 | #Constraints: 21395
45.26/45.40 c #Conflicts: 277000 | #Constraints: 22395
45.26/45.40 c #Conflicts: 278000 | #Constraints: 23395
45.26/45.40 c #Conflicts: 279000 | #Constraints: 24395
45.26/45.40 c #Conflicts: 280000 | #Constraints: 25395
45.26/45.40 c #Conflicts: 281000 | #Constraints: 26395
45.26/45.40 c #Conflicts: 282000 | #Constraints: 27395
45.26/45.40 c INPROCESSING
45.26/45.40 c GARBAGE COLLECT
45.26/45.40 c rational objective 908
47.06/47.24 c #Conflicts: 283000 | #Constraints: 17709
47.06/47.24 c #Conflicts: 284000 | #Constraints: 18709
47.06/47.24 c #Conflicts: 285000 | #Constraints: 19709
47.06/47.24 c #Conflicts: 286000 | #Constraints: 20709
47.06/47.24 c #Conflicts: 287000 | #Constraints: 21709
47.06/47.24 c #Conflicts: 288000 | #Constraints: 22709
47.06/47.24 c #Conflicts: 289000 | #Constraints: 23709
47.06/47.24 c #Conflicts: 290000 | #Constraints: 24709
47.06/47.24 c #Conflicts: 291000 | #Constraints: 25709
47.06/47.24 c #Conflicts: 292000 | #Constraints: 26709
47.06/47.24 c #Conflicts: 293000 | #Constraints: 27709
47.06/47.24 c #Conflicts: 294000 | #Constraints: 28709
47.06/47.24 c INPROCESSING
47.06/47.24 c GARBAGE COLLECT
47.06/47.24 c rational objective 908
48.96/49.16 c #Conflicts: 295000 | #Constraints: 18814
48.96/49.16 c #Conflicts: 296000 | #Constraints: 19814
48.96/49.16 c #Conflicts: 297000 | #Constraints: 20814
48.96/49.16 c #Conflicts: 298000 | #Constraints: 21814
48.96/49.16 c #Conflicts: 299000 | #Constraints: 22814
48.96/49.16 c #Conflicts: 300000 | #Constraints: 23814
48.96/49.16 c #Conflicts: 301000 | #Constraints: 24814
48.96/49.16 c #Conflicts: 302000 | #Constraints: 25814
48.96/49.16 c #Conflicts: 303000 | #Constraints: 26814
48.96/49.16 c #Conflicts: 304000 | #Constraints: 27814
48.96/49.16 c #Conflicts: 305000 | #Constraints: 28814
48.96/49.16 c INPROCESSING
48.96/49.16 c GARBAGE COLLECT
48.96/49.16 c rational objective 908
50.66/50.88 c #Conflicts: 306000 | #Constraints: 18713
50.66/50.88 c #Conflicts: 307000 | #Constraints: 19713
50.66/50.88 c #Conflicts: 308000 | #Constraints: 20713
50.66/50.88 c #Conflicts: 309000 | #Constraints: 21713
50.66/50.88 c #Conflicts: 310000 | #Constraints: 22713
50.66/50.88 c #Conflicts: 311000 | #Constraints: 23713
50.66/50.88 c #Conflicts: 312000 | #Constraints: 24713
50.66/50.88 c #Conflicts: 313000 | #Constraints: 25713
50.66/50.88 c #Conflicts: 314000 | #Constraints: 26713
50.66/50.88 c #Conflicts: 315000 | #Constraints: 27713
50.66/50.88 c #Conflicts: 316000 | #Constraints: 28713
50.66/50.88 c INPROCESSING
50.66/50.88 c GARBAGE COLLECT
50.66/50.88 c rational objective 908
52.54/52.78 c #Conflicts: 317000 | #Constraints: 18415
52.54/52.78 c #Conflicts: 318000 | #Constraints: 19415
52.54/52.78 c #Conflicts: 319000 | #Constraints: 20415
52.54/52.78 c #Conflicts: 320000 | #Constraints: 21415
52.54/52.78 c #Conflicts: 321000 | #Constraints: 22415
52.54/52.78 c #Conflicts: 322000 | #Constraints: 23415
52.54/52.78 c #Conflicts: 323000 | #Constraints: 24415
52.54/52.78 c #Conflicts: 324000 | #Constraints: 25415
52.54/52.78 c #Conflicts: 325000 | #Constraints: 26415
52.54/52.78 c #Conflicts: 326000 | #Constraints: 27415
52.54/52.78 c #Conflicts: 327000 | #Constraints: 28415
52.54/52.78 c #Conflicts: 328000 | #Constraints: 29415
52.54/52.78 c INPROCESSING
52.54/52.78 c GARBAGE COLLECT
52.54/52.78 c rational objective 908
54.44/54.69 c #Conflicts: 329000 | #Constraints: 18909
54.44/54.69 c #Conflicts: 330000 | #Constraints: 19909
54.44/54.69 c #Conflicts: 331000 | #Constraints: 20909
54.44/54.69 c #Conflicts: 332000 | #Constraints: 21909
54.44/54.69 c #Conflicts: 333000 | #Constraints: 22909
54.44/54.69 c #Conflicts: 334000 | #Constraints: 23909
54.44/54.69 c #Conflicts: 335000 | #Constraints: 24909
54.44/54.69 c #Conflicts: 336000 | #Constraints: 25909
54.44/54.69 c #Conflicts: 337000 | #Constraints: 26909
54.44/54.69 c #Conflicts: 338000 | #Constraints: 27909
54.44/54.69 c #Conflicts: 339000 | #Constraints: 28909
54.44/54.69 c #Conflicts: 340000 | #Constraints: 29909
54.44/54.69 c INPROCESSING
54.44/54.69 c GARBAGE COLLECT
54.44/54.69 c rational objective 908
56.54/56.78 c #Conflicts: 341000 | #Constraints: 19213
56.54/56.78 c #Conflicts: 342000 | #Constraints: 20213
56.54/56.78 c #Conflicts: 343000 | #Constraints: 21213
56.54/56.78 c #Conflicts: 344000 | #Constraints: 22213
56.54/56.78 c #Conflicts: 345000 | #Constraints: 23213
56.54/56.78 c #Conflicts: 346000 | #Constraints: 24213
56.54/56.78 c #Conflicts: 347000 | #Constraints: 25213
56.54/56.78 c #Conflicts: 348000 | #Constraints: 26213
56.54/56.78 c #Conflicts: 349000 | #Constraints: 27213
56.54/56.78 c #Conflicts: 350000 | #Constraints: 28213
56.54/56.78 c #Conflicts: 351000 | #Constraints: 29213
56.54/56.78 c #Conflicts: 352000 | #Constraints: 30213
56.54/56.78 c INPROCESSING
56.54/56.78 c GARBAGE COLLECT
56.54/56.78 c rational objective 908
58.53/58.72 c #Conflicts: 353000 | #Constraints: 19308
58.53/58.72 c #Conflicts: 354000 | #Constraints: 20308
58.53/58.72 c #Conflicts: 355000 | #Constraints: 21308
58.53/58.72 c #Conflicts: 356000 | #Constraints: 22308
58.53/58.72 c #Conflicts: 357000 | #Constraints: 23308
58.53/58.72 c #Conflicts: 358000 | #Constraints: 24308
58.53/58.72 c #Conflicts: 359000 | #Constraints: 25308
58.53/58.72 c #Conflicts: 360000 | #Constraints: 26308
58.53/58.72 c #Conflicts: 361000 | #Constraints: 27308
58.53/58.72 c #Conflicts: 362000 | #Constraints: 28308
58.53/58.72 c #Conflicts: 363000 | #Constraints: 29308
58.53/58.72 c #Conflicts: 364000 | #Constraints: 30308
58.53/58.72 c INPROCESSING
58.53/58.72 c GARBAGE COLLECT
58.53/58.72 c rational objective 908
60.93/61.14 c #Conflicts: 365000 | #Constraints: 19207
60.93/61.14 c #Conflicts: 366000 | #Constraints: 20207
60.93/61.14 c #Conflicts: 367000 | #Constraints: 21207
60.93/61.14 c #Conflicts: 368000 | #Constraints: 22207
60.93/61.14 c #Conflicts: 369000 | #Constraints: 23207
60.93/61.14 c #Conflicts: 370000 | #Constraints: 24207
60.93/61.14 c #Conflicts: 371000 | #Constraints: 25207
60.93/61.14 c #Conflicts: 372000 | #Constraints: 26207
60.93/61.14 c #Conflicts: 373000 | #Constraints: 27207
60.93/61.14 c #Conflicts: 374000 | #Constraints: 28207
60.93/61.14 c #Conflicts: 375000 | #Constraints: 29207
60.93/61.14 c #Conflicts: 376000 | #Constraints: 30207
60.93/61.14 c #Conflicts: 377000 | #Constraints: 31207
60.93/61.14 c INPROCESSING
60.93/61.14 c GARBAGE COLLECT
60.93/61.14 c rational objective 908
63.12/63.35 c #Conflicts: 378000 | #Constraints: 19932
63.12/63.35 c #Conflicts: 379000 | #Constraints: 20932
63.12/63.35 c #Conflicts: 380000 | #Constraints: 21932
63.12/63.35 c #Conflicts: 381000 | #Constraints: 22932
63.12/63.35 c #Conflicts: 382000 | #Constraints: 23932
63.12/63.35 c #Conflicts: 383000 | #Constraints: 24932
63.12/63.35 c #Conflicts: 384000 | #Constraints: 25932
63.12/63.35 c #Conflicts: 385000 | #Constraints: 26932
63.12/63.35 c #Conflicts: 386000 | #Constraints: 27932
63.12/63.35 c #Conflicts: 387000 | #Constraints: 28932
63.12/63.35 c #Conflicts: 388000 | #Constraints: 29932
63.12/63.35 c #Conflicts: 389000 | #Constraints: 30932
63.12/63.35 c #Conflicts: 390000 | #Constraints: 31932
63.12/63.35 c INPROCESSING
63.12/63.35 c GARBAGE COLLECT
63.12/63.35 c rational objective 908
65.21/65.49 c #Conflicts: 391000 | #Constraints: 20434
65.21/65.49 c #Conflicts: 392000 | #Constraints: 21434
65.21/65.49 c #Conflicts: 393000 | #Constraints: 22434
65.21/65.49 c #Conflicts: 394000 | #Constraints: 23434
65.21/65.49 c #Conflicts: 395000 | #Constraints: 24434
65.21/65.49 c #Conflicts: 396000 | #Constraints: 25434
65.21/65.49 c #Conflicts: 397000 | #Constraints: 26434
65.21/65.49 c #Conflicts: 398000 | #Constraints: 27434
65.21/65.49 c #Conflicts: 399000 | #Constraints: 28434
65.21/65.49 c #Conflicts: 400000 | #Constraints: 29434
65.21/65.49 c #Conflicts: 401000 | #Constraints: 30434
65.21/65.49 c #Conflicts: 402000 | #Constraints: 31434
65.21/65.49 c INPROCESSING
65.21/65.49 c GARBAGE COLLECT
65.21/65.49 c rational objective 908
67.71/67.99 c #Conflicts: 403000 | #Constraints: 19729
67.71/67.99 c #Conflicts: 404000 | #Constraints: 20729
67.71/67.99 c #Conflicts: 405000 | #Constraints: 21729
67.71/67.99 c #Conflicts: 406000 | #Constraints: 22729
67.71/67.99 c #Conflicts: 407000 | #Constraints: 23729
67.71/67.99 c #Conflicts: 408000 | #Constraints: 24729
67.71/67.99 c #Conflicts: 409000 | #Constraints: 25729
67.71/67.99 c #Conflicts: 410000 | #Constraints: 26729
67.71/67.99 c #Conflicts: 411000 | #Constraints: 27729
67.71/67.99 c #Conflicts: 412000 | #Constraints: 28729
67.71/67.99 c #Conflicts: 413000 | #Constraints: 29729
67.71/67.99 c #Conflicts: 414000 | #Constraints: 30729
67.71/67.99 c #Conflicts: 415000 | #Constraints: 31729
67.71/67.99 c #Conflicts: 416000 | #Constraints: 32729
67.71/67.99 c INPROCESSING
67.71/67.99 c GARBAGE COLLECT
67.71/67.99 c rational objective 908
70.20/70.44 c #Conflicts: 417000 | #Constraints: 20827
70.20/70.44 c #Conflicts: 418000 | #Constraints: 21827
70.20/70.44 c #Conflicts: 419000 | #Constraints: 22827
70.20/70.44 c #Conflicts: 420000 | #Constraints: 23827
70.20/70.44 c #Conflicts: 421000 | #Constraints: 24827
70.20/70.44 c #Conflicts: 422000 | #Constraints: 25827
70.20/70.44 c #Conflicts: 423000 | #Constraints: 26827
70.20/70.44 c #Conflicts: 424000 | #Constraints: 27827
70.20/70.44 c #Conflicts: 425000 | #Constraints: 28827
70.20/70.44 c #Conflicts: 426000 | #Constraints: 29827
70.20/70.44 c #Conflicts: 427000 | #Constraints: 30827
70.20/70.44 c #Conflicts: 428000 | #Constraints: 31827
70.20/70.44 c #Conflicts: 429000 | #Constraints: 32827
70.20/70.44 c INPROCESSING
70.20/70.44 c GARBAGE COLLECT
70.20/70.44 c rational objective 908
73.29/73.51 c #Conflicts: 430000 | #Constraints: 20740
73.29/73.51 c #Conflicts: 431000 | #Constraints: 21740
73.29/73.51 c #Conflicts: 432000 | #Constraints: 22740
73.29/73.51 c #Conflicts: 433000 | #Constraints: 23740
73.29/73.51 c #Conflicts: 434000 | #Constraints: 24740
73.29/73.51 c #Conflicts: 435000 | #Constraints: 25740
73.29/73.51 c #Conflicts: 436000 | #Constraints: 26740
73.29/73.51 c #Conflicts: 437000 | #Constraints: 27740
73.29/73.51 c #Conflicts: 438000 | #Constraints: 28740
73.29/73.51 c #Conflicts: 439000 | #Constraints: 29740
73.29/73.51 c #Conflicts: 440000 | #Constraints: 30740
73.29/73.51 c #Conflicts: 441000 | #Constraints: 31740
73.29/73.51 c #Conflicts: 442000 | #Constraints: 32740
73.29/73.51 c INPROCESSING
73.29/73.51 c GARBAGE COLLECT
73.29/73.51 c rational objective 908
75.49/75.80 c #Conflicts: 443000 | #Constraints: 20437
75.49/75.80 c #Conflicts: 444000 | #Constraints: 21437
75.49/75.80 c #Conflicts: 445000 | #Constraints: 22437
75.49/75.80 c #Conflicts: 446000 | #Constraints: 23437
75.49/75.80 c #Conflicts: 447000 | #Constraints: 24437
75.49/75.80 c #Conflicts: 448000 | #Constraints: 25437
75.49/75.80 c #Conflicts: 449000 | #Constraints: 26437
75.49/75.80 c #Conflicts: 450000 | #Constraints: 27437
75.49/75.80 c #Conflicts: 451000 | #Constraints: 28437
75.49/75.80 c #Conflicts: 452000 | #Constraints: 29437
75.49/75.80 c #Conflicts: 453000 | #Constraints: 30437
75.49/75.80 c #Conflicts: 454000 | #Constraints: 31437
75.49/75.80 c #Conflicts: 455000 | #Constraints: 32437
75.49/75.80 c #Conflicts: 456000 | #Constraints: 33437
75.49/75.80 c INPROCESSING
75.49/75.80 c GARBAGE COLLECT
75.49/75.80 c rational objective 908
77.79/78.05 c #Conflicts: 457000 | #Constraints: 20935
77.79/78.05 c #Conflicts: 458000 | #Constraints: 21935
77.79/78.05 c #Conflicts: 459000 | #Constraints: 22935
77.79/78.05 c #Conflicts: 460000 | #Constraints: 23935
77.79/78.05 c #Conflicts: 461000 | #Constraints: 24935
77.79/78.05 c #Conflicts: 462000 | #Constraints: 25935
77.79/78.05 c #Conflicts: 463000 | #Constraints: 26935
77.79/78.05 c #Conflicts: 464000 | #Constraints: 27935
77.79/78.05 c #Conflicts: 465000 | #Constraints: 28935
77.79/78.05 c #Conflicts: 466000 | #Constraints: 29935
77.79/78.05 c #Conflicts: 467000 | #Constraints: 30935
77.79/78.05 c #Conflicts: 468000 | #Constraints: 31935
77.79/78.05 c #Conflicts: 469000 | #Constraints: 32935
77.79/78.05 c #Conflicts: 470000 | #Constraints: 33935
77.79/78.05 c INPROCESSING
77.79/78.05 c GARBAGE COLLECT
77.79/78.05 c rational objective 908
80.68/80.92 c #Conflicts: 471000 | #Constraints: 21249
80.68/80.92 c #Conflicts: 472000 | #Constraints: 22249
80.68/80.92 c #Conflicts: 473000 | #Constraints: 23249
80.68/80.92 c #Conflicts: 474000 | #Constraints: 24249
80.68/80.92 c #Conflicts: 475000 | #Constraints: 25249
80.68/80.92 c #Conflicts: 476000 | #Constraints: 26249
80.68/80.92 c #Conflicts: 477000 | #Constraints: 27249
80.68/80.92 c #Conflicts: 478000 | #Constraints: 28249
80.68/80.92 c #Conflicts: 479000 | #Constraints: 29249
80.68/80.92 c #Conflicts: 480000 | #Constraints: 30249
80.68/80.92 c #Conflicts: 481000 | #Constraints: 31249
80.68/80.92 c #Conflicts: 482000 | #Constraints: 32249
80.68/80.92 c #Conflicts: 483000 | #Constraints: 33249
80.68/80.92 c #Conflicts: 484000 | #Constraints: 34249
80.68/80.92 c INPROCESSING
80.68/80.92 c GARBAGE COLLECT
80.68/80.92 c rational objective 908
83.57/83.84 c #Conflicts: 485000 | #Constraints: 21343
83.57/83.84 c #Conflicts: 486000 | #Constraints: 22343
83.57/83.84 c #Conflicts: 487000 | #Constraints: 23343
83.57/83.84 c #Conflicts: 488000 | #Constraints: 24343
83.57/83.84 c #Conflicts: 489000 | #Constraints: 25343
83.57/83.84 c #Conflicts: 490000 | #Constraints: 26343
83.57/83.84 c #Conflicts: 491000 | #Constraints: 27343
83.57/83.84 c #Conflicts: 492000 | #Constraints: 28343
83.57/83.84 c #Conflicts: 493000 | #Constraints: 29343
83.57/83.84 c #Conflicts: 494000 | #Constraints: 30343
83.57/83.84 c #Conflicts: 495000 | #Constraints: 31343
83.57/83.84 c #Conflicts: 496000 | #Constraints: 32343
83.57/83.84 c #Conflicts: 497000 | #Constraints: 33343
83.57/83.84 c #Conflicts: 498000 | #Constraints: 34343
83.57/83.84 c INPROCESSING
83.57/83.84 c GARBAGE COLLECT
83.57/83.84 c rational objective 908
86.77/87.01 c #Conflicts: 499000 | #Constraints: 21235
86.77/87.01 c #Conflicts: 500000 | #Constraints: 22235
86.77/87.01 c #Conflicts: 501000 | #Constraints: 23235
86.77/87.01 c #Conflicts: 502000 | #Constraints: 24235
86.77/87.01 c #Conflicts: 503000 | #Constraints: 25235
86.77/87.01 c #Conflicts: 504000 | #Constraints: 26235
86.77/87.01 c #Conflicts: 505000 | #Constraints: 27235
86.77/87.01 c #Conflicts: 506000 | #Constraints: 28235
86.77/87.01 c #Conflicts: 507000 | #Constraints: 29235
86.77/87.01 c #Conflicts: 508000 | #Constraints: 30235
86.77/87.01 c #Conflicts: 509000 | #Constraints: 31235
86.77/87.01 c #Conflicts: 510000 | #Constraints: 32235
86.77/87.01 c #Conflicts: 511000 | #Constraints: 33235
86.77/87.01 c #Conflicts: 512000 | #Constraints: 34235
86.77/87.01 c #Conflicts: 513000 | #Constraints: 35235
86.77/87.01 c INPROCESSING
86.77/87.01 c GARBAGE COLLECT
86.77/87.01 c rational objective 908
89.35/89.65 c #Conflicts: 514000 | #Constraints: 21928
89.35/89.65 c #Conflicts: 515000 | #Constraints: 22928
89.35/89.65 c #Conflicts: 516000 | #Constraints: 23928
89.35/89.65 c #Conflicts: 517000 | #Constraints: 24928
89.35/89.65 c #Conflicts: 518000 | #Constraints: 25928
89.35/89.65 c #Conflicts: 519000 | #Constraints: 26928
89.35/89.65 c #Conflicts: 520000 | #Constraints: 27928
89.35/89.65 c #Conflicts: 521000 | #Constraints: 28928
89.35/89.65 c #Conflicts: 522000 | #Constraints: 29928
89.35/89.65 c #Conflicts: 523000 | #Constraints: 30928
89.35/89.65 c #Conflicts: 524000 | #Constraints: 31928
89.35/89.65 c #Conflicts: 525000 | #Constraints: 32928
89.35/89.65 c #Conflicts: 526000 | #Constraints: 33928
89.35/89.65 c #Conflicts: 527000 | #Constraints: 34928
89.35/89.65 c #Conflicts: 528000 | #Constraints: 35928
89.35/89.65 c INPROCESSING
89.35/89.65 c GARBAGE COLLECT
89.35/89.65 c rational objective 908
92.05/92.36 c #Conflicts: 529000 | #Constraints: 22443
92.05/92.36 c #Conflicts: 530000 | #Constraints: 23443
92.05/92.36 c #Conflicts: 531000 | #Constraints: 24443
92.05/92.36 c #Conflicts: 532000 | #Constraints: 25443
92.05/92.36 c #Conflicts: 533000 | #Constraints: 26443
92.05/92.36 c #Conflicts: 534000 | #Constraints: 27443
92.05/92.36 c #Conflicts: 535000 | #Constraints: 28443
92.05/92.36 c #Conflicts: 536000 | #Constraints: 29443
92.05/92.36 c #Conflicts: 537000 | #Constraints: 30443
92.05/92.36 c #Conflicts: 538000 | #Constraints: 31443
92.05/92.36 c #Conflicts: 539000 | #Constraints: 32443
92.05/92.36 c #Conflicts: 540000 | #Constraints: 33443
92.05/92.36 c #Conflicts: 541000 | #Constraints: 34443
92.05/92.36 c #Conflicts: 542000 | #Constraints: 35443
92.05/92.36 c INPROCESSING
92.05/92.36 c GARBAGE COLLECT
92.05/92.36 c rational objective 908
94.85/95.15 c #Conflicts: 543000 | #Constraints: 21732
94.85/95.15 c #Conflicts: 544000 | #Constraints: 22732
94.85/95.15 c #Conflicts: 545000 | #Constraints: 23732
94.85/95.15 c #Conflicts: 546000 | #Constraints: 24732
94.85/95.15 c #Conflicts: 547000 | #Constraints: 25732
94.85/95.15 c #Conflicts: 548000 | #Constraints: 26732
94.85/95.15 c #Conflicts: 549000 | #Constraints: 27732
94.85/95.15 c #Conflicts: 550000 | #Constraints: 28732
94.85/95.15 c #Conflicts: 551000 | #Constraints: 29732
94.85/95.15 c #Conflicts: 552000 | #Constraints: 30732
94.85/95.15 c #Conflicts: 553000 | #Constraints: 31732
94.85/95.15 c #Conflicts: 554000 | #Constraints: 32732
94.85/95.15 c #Conflicts: 555000 | #Constraints: 33732
94.85/95.15 c #Conflicts: 556000 | #Constraints: 34732
94.85/95.15 c #Conflicts: 557000 | #Constraints: 35732
94.85/95.15 c #Conflicts: 558000 | #Constraints: 36732
94.85/95.15 c INPROCESSING
94.85/95.15 c GARBAGE COLLECT
94.85/95.15 c rational objective 908
97.64/97.91 c #Conflicts: 559000 | #Constraints: 22817
97.64/97.91 c #Conflicts: 560000 | #Constraints: 23817
97.64/97.91 c #Conflicts: 561000 | #Constraints: 24817
97.64/97.91 c #Conflicts: 562000 | #Constraints: 25817
97.64/97.91 c #Conflicts: 563000 | #Constraints: 26817
97.64/97.91 c #Conflicts: 564000 | #Constraints: 27817
97.64/97.91 c #Conflicts: 565000 | #Constraints: 28817
97.64/97.91 c #Conflicts: 566000 | #Constraints: 29817
97.64/97.91 c #Conflicts: 567000 | #Constraints: 30817
97.64/97.91 c #Conflicts: 568000 | #Constraints: 31817
97.64/97.91 c #Conflicts: 569000 | #Constraints: 32817
97.64/97.91 c #Conflicts: 570000 | #Constraints: 33817
97.64/97.91 c #Conflicts: 571000 | #Constraints: 34817
97.64/97.91 c #Conflicts: 572000 | #Constraints: 35817
97.64/97.91 c #Conflicts: 573000 | #Constraints: 36817
97.64/97.91 c INPROCESSING
97.64/97.91 c GARBAGE COLLECT
97.64/97.91 c rational objective 908
100.43/100.79 c #Conflicts: 574000 | #Constraints: 22722
100.43/100.79 c #Conflicts: 575000 | #Constraints: 23722
100.43/100.79 c #Conflicts: 576000 | #Constraints: 24722
100.43/100.79 c #Conflicts: 577000 | #Constraints: 25722
100.43/100.79 c #Conflicts: 578000 | #Constraints: 26722
100.43/100.79 c #Conflicts: 579000 | #Constraints: 27722
100.43/100.79 c #Conflicts: 580000 | #Constraints: 28722
100.43/100.79 c #Conflicts: 581000 | #Constraints: 29722
100.43/100.79 c #Conflicts: 582000 | #Constraints: 30722
100.43/100.79 c #Conflicts: 583000 | #Constraints: 31722
100.43/100.79 c #Conflicts: 584000 | #Constraints: 32722
100.43/100.79 c #Conflicts: 585000 | #Constraints: 33722
100.43/100.79 c #Conflicts: 586000 | #Constraints: 34722
100.43/100.79 c #Conflicts: 587000 | #Constraints: 35722
100.43/100.79 c #Conflicts: 588000 | #Constraints: 36722
100.43/100.79 c INPROCESSING
100.43/100.79 c GARBAGE COLLECT
100.43/100.79 c rational objective 908
103.52/103.80 c #Conflicts: 589000 | #Constraints: 22416
103.52/103.80 c #Conflicts: 590000 | #Constraints: 23416
103.52/103.80 c #Conflicts: 591000 | #Constraints: 24416
103.52/103.80 c #Conflicts: 592000 | #Constraints: 25416
103.52/103.80 c #Conflicts: 593000 | #Constraints: 26416
103.52/103.80 c #Conflicts: 594000 | #Constraints: 27416
103.52/103.80 c #Conflicts: 595000 | #Constraints: 28416
103.52/103.80 c #Conflicts: 596000 | #Constraints: 29416
103.52/103.80 c #Conflicts: 597000 | #Constraints: 30416
103.52/103.80 c #Conflicts: 598000 | #Constraints: 31416
103.52/103.80 c #Conflicts: 599000 | #Constraints: 32416
103.52/103.80 c #Conflicts: 600000 | #Constraints: 33416
103.52/103.80 c #Conflicts: 601000 | #Constraints: 34416
103.52/103.80 c #Conflicts: 602000 | #Constraints: 35416
103.52/103.80 c #Conflicts: 603000 | #Constraints: 36416
103.52/103.80 c #Conflicts: 604000 | #Constraints: 37416
103.52/103.80 c INPROCESSING
103.52/103.80 c GARBAGE COLLECT
103.52/103.80 c rational objective 908
106.73/107.06 c #Conflicts: 605000 | #Constraints: 22926
106.73/107.06 c #Conflicts: 606000 | #Constraints: 23926
106.73/107.06 c #Conflicts: 607000 | #Constraints: 24926
106.73/107.06 c #Conflicts: 608000 | #Constraints: 25926
106.73/107.06 c #Conflicts: 609000 | #Constraints: 26926
106.73/107.06 c #Conflicts: 610000 | #Constraints: 27926
106.73/107.06 c #Conflicts: 611000 | #Constraints: 28926
106.73/107.06 c #Conflicts: 612000 | #Constraints: 29926
106.73/107.06 c #Conflicts: 613000 | #Constraints: 30926
106.73/107.06 c #Conflicts: 614000 | #Constraints: 31926
106.73/107.06 c #Conflicts: 615000 | #Constraints: 32926
106.73/107.06 c #Conflicts: 616000 | #Constraints: 33926
106.73/107.06 c #Conflicts: 617000 | #Constraints: 34926
106.73/107.06 c #Conflicts: 618000 | #Constraints: 35926
106.73/107.06 c #Conflicts: 619000 | #Constraints: 36926
106.73/107.06 c #Conflicts: 620000 | #Constraints: 37926
106.73/107.06 c INPROCESSING
106.73/107.06 c GARBAGE COLLECT
106.73/107.06 c rational objective 908
109.71/110.03 c #Conflicts: 621000 | #Constraints: 23217
109.71/110.03 c #Conflicts: 622000 | #Constraints: 24217
109.71/110.03 c #Conflicts: 623000 | #Constraints: 25217
109.71/110.03 c #Conflicts: 624000 | #Constraints: 26217
109.71/110.03 c #Conflicts: 625000 | #Constraints: 27217
109.71/110.03 c #Conflicts: 626000 | #Constraints: 28217
109.71/110.03 c #Conflicts: 627000 | #Constraints: 29217
109.71/110.03 c #Conflicts: 628000 | #Constraints: 30217
109.71/110.03 c #Conflicts: 629000 | #Constraints: 31217
109.71/110.03 c #Conflicts: 630000 | #Constraints: 32217
109.71/110.03 c #Conflicts: 631000 | #Constraints: 33217
109.71/110.03 c #Conflicts: 632000 | #Constraints: 34217
109.71/110.03 c #Conflicts: 633000 | #Constraints: 35217
109.71/110.03 c #Conflicts: 634000 | #Constraints: 36217
109.71/110.03 c #Conflicts: 635000 | #Constraints: 37217
109.71/110.03 c #Conflicts: 636000 | #Constraints: 38217
109.71/110.03 c INPROCESSING
109.71/110.03 c GARBAGE COLLECT
109.71/110.03 c rational objective 908
112.61/112.90 c #Conflicts: 637000 | #Constraints: 23315
112.61/112.90 c #Conflicts: 638000 | #Constraints: 24315
112.61/112.90 c #Conflicts: 639000 | #Constraints: 25315
112.61/112.90 c #Conflicts: 640000 | #Constraints: 26315
112.61/112.90 c #Conflicts: 641000 | #Constraints: 27315
112.61/112.90 c #Conflicts: 642000 | #Constraints: 28315
112.61/112.90 c #Conflicts: 643000 | #Constraints: 29315
112.61/112.90 c #Conflicts: 644000 | #Constraints: 30315
112.61/112.90 c #Conflicts: 645000 | #Constraints: 31315
112.61/112.90 c #Conflicts: 646000 | #Constraints: 32315
112.61/112.90 c #Conflicts: 647000 | #Constraints: 33315
112.61/112.90 c #Conflicts: 648000 | #Constraints: 34315
112.61/112.90 c #Conflicts: 649000 | #Constraints: 35315
112.61/112.90 c #Conflicts: 650000 | #Constraints: 36315
112.61/112.90 c #Conflicts: 651000 | #Constraints: 37315
112.61/112.90 c #Conflicts: 652000 | #Constraints: 38315
112.61/112.90 c INPROCESSING
112.61/112.90 c GARBAGE COLLECT
112.61/112.90 c rational objective 908
115.70/116.01 c #Conflicts: 653000 | #Constraints: 23231
115.70/116.01 c #Conflicts: 654000 | #Constraints: 24231
115.70/116.01 c #Conflicts: 655000 | #Constraints: 25231
115.70/116.01 c #Conflicts: 656000 | #Constraints: 26231
115.70/116.01 c #Conflicts: 657000 | #Constraints: 27231
115.70/116.01 c #Conflicts: 658000 | #Constraints: 28231
115.70/116.01 c #Conflicts: 659000 | #Constraints: 29231
115.70/116.01 c #Conflicts: 660000 | #Constraints: 30231
115.70/116.01 c #Conflicts: 661000 | #Constraints: 31231
115.70/116.01 c #Conflicts: 662000 | #Constraints: 32231
115.70/116.01 c #Conflicts: 663000 | #Constraints: 33231
115.70/116.01 c #Conflicts: 664000 | #Constraints: 34231
115.70/116.01 c #Conflicts: 665000 | #Constraints: 35231
115.70/116.01 c #Conflicts: 666000 | #Constraints: 36231
115.70/116.01 c #Conflicts: 667000 | #Constraints: 37231
115.70/116.01 c #Conflicts: 668000 | #Constraints: 38231
115.70/116.01 c #Conflicts: 669000 | #Constraints: 39231
115.70/116.01 c INPROCESSING
115.70/116.01 c GARBAGE COLLECT
115.70/116.01 c rational objective 908
118.88/119.25 c #Conflicts: 670000 | #Constraints: 23927
118.88/119.25 c #Conflicts: 671000 | #Constraints: 24927
118.88/119.25 c #Conflicts: 672000 | #Constraints: 25927
118.88/119.25 c #Conflicts: 673000 | #Constraints: 26927
118.88/119.25 c #Conflicts: 674000 | #Constraints: 27927
118.88/119.25 c #Conflicts: 675000 | #Constraints: 28927
118.88/119.25 c #Conflicts: 676000 | #Constraints: 29927
118.88/119.25 c #Conflicts: 677000 | #Constraints: 30927
118.88/119.25 c #Conflicts: 678000 | #Constraints: 31927
118.88/119.25 c #Conflicts: 679000 | #Constraints: 32927
118.88/119.25 c #Conflicts: 680000 | #Constraints: 33927
118.88/119.25 c #Conflicts: 681000 | #Constraints: 34927
118.88/119.25 c #Conflicts: 682000 | #Constraints: 35927
118.88/119.25 c #Conflicts: 683000 | #Constraints: 36927
118.88/119.25 c #Conflicts: 684000 | #Constraints: 37927
118.88/119.25 c #Conflicts: 685000 | #Constraints: 38927
118.88/119.25 c #Conflicts: 686000 | #Constraints: 39927
118.88/119.25 c INPROCESSING
118.88/119.25 c GARBAGE COLLECT
118.88/119.25 c rational objective 908
122.28/122.64 c #Conflicts: 687000 | #Constraints: 24444
122.28/122.64 c #Conflicts: 688000 | #Constraints: 25444
122.28/122.64 c #Conflicts: 689000 | #Constraints: 26444
122.28/122.64 c #Conflicts: 690000 | #Constraints: 27444
122.28/122.64 c #Conflicts: 691000 | #Constraints: 28444
122.28/122.64 c #Conflicts: 692000 | #Constraints: 29444
122.28/122.64 c #Conflicts: 693000 | #Constraints: 30444
122.28/122.64 c #Conflicts: 694000 | #Constraints: 31444
122.28/122.64 c #Conflicts: 695000 | #Constraints: 32444
122.28/122.64 c #Conflicts: 696000 | #Constraints: 33444
122.28/122.64 c #Conflicts: 697000 | #Constraints: 34444
122.28/122.64 c #Conflicts: 698000 | #Constraints: 35444
122.28/122.64 c #Conflicts: 699000 | #Constraints: 36444
122.28/122.64 c #Conflicts: 700000 | #Constraints: 37444
122.28/122.64 c #Conflicts: 701000 | #Constraints: 38444
122.28/122.64 c #Conflicts: 702000 | #Constraints: 39444
122.28/122.64 c INPROCESSING
122.28/122.64 c GARBAGE COLLECT
122.28/122.64 c rational objective 908
126.07/126.48 c #Conflicts: 703000 | #Constraints: 23746
126.07/126.48 c #Conflicts: 704000 | #Constraints: 24746
126.07/126.48 c #Conflicts: 705000 | #Constraints: 25746
126.07/126.48 c #Conflicts: 706000 | #Constraints: 26746
126.07/126.48 c #Conflicts: 707000 | #Constraints: 27746
126.07/126.48 c #Conflicts: 708000 | #Constraints: 28746
126.07/126.48 c #Conflicts: 709000 | #Constraints: 29746
126.07/126.48 c #Conflicts: 710000 | #Constraints: 30746
126.07/126.48 c #Conflicts: 711000 | #Constraints: 31746
126.07/126.48 c #Conflicts: 712000 | #Constraints: 32746
126.07/126.48 c #Conflicts: 713000 | #Constraints: 33746
126.07/126.48 c #Conflicts: 714000 | #Constraints: 34746
126.07/126.48 c #Conflicts: 715000 | #Constraints: 35746
126.07/126.48 c #Conflicts: 716000 | #Constraints: 36746
126.07/126.48 c #Conflicts: 717000 | #Constraints: 37746
126.07/126.48 c #Conflicts: 718000 | #Constraints: 38746
126.07/126.48 c #Conflicts: 719000 | #Constraints: 39746
126.07/126.48 c #Conflicts: 720000 | #Constraints: 40746
126.07/126.48 c INPROCESSING
126.07/126.48 c GARBAGE COLLECT
126.07/126.48 c rational objective 908
130.56/130.93 c #Conflicts: 721000 | #Constraints: 24841
130.56/130.93 c #Conflicts: 722000 | #Constraints: 25841
130.56/130.93 c #Conflicts: 723000 | #Constraints: 26841
130.56/130.93 c #Conflicts: 724000 | #Constraints: 27841
130.56/130.93 c #Conflicts: 725000 | #Constraints: 28841
130.56/130.93 c #Conflicts: 726000 | #Constraints: 29841
130.56/130.93 c #Conflicts: 727000 | #Constraints: 30841
130.56/130.93 c #Conflicts: 728000 | #Constraints: 31841
130.56/130.93 c #Conflicts: 729000 | #Constraints: 32841
130.56/130.93 c #Conflicts: 730000 | #Constraints: 33841
130.56/130.93 c #Conflicts: 731000 | #Constraints: 34841
130.56/130.93 c #Conflicts: 732000 | #Constraints: 35841
130.56/130.93 c #Conflicts: 733000 | #Constraints: 36841
130.56/130.93 c #Conflicts: 734000 | #Constraints: 37841
130.56/130.93 c #Conflicts: 735000 | #Constraints: 38841
130.56/130.93 c #Conflicts: 736000 | #Constraints: 39841
130.56/130.93 c #Conflicts: 737000 | #Constraints: 40841
130.56/130.93 c INPROCESSING
130.56/130.93 c GARBAGE COLLECT
130.56/130.93 c rational objective 908
133.85/134.28 c #Conflicts: 738000 | #Constraints: 24738
133.85/134.28 c #Conflicts: 739000 | #Constraints: 25738
133.85/134.28 c #Conflicts: 740000 | #Constraints: 26738
133.85/134.28 c #Conflicts: 741000 | #Constraints: 27738
133.85/134.28 c #Conflicts: 742000 | #Constraints: 28738
133.85/134.28 c #Conflicts: 743000 | #Constraints: 29738
133.85/134.28 c #Conflicts: 744000 | #Constraints: 30738
133.85/134.28 c #Conflicts: 745000 | #Constraints: 31738
133.85/134.28 c #Conflicts: 746000 | #Constraints: 32738
133.85/134.28 c #Conflicts: 747000 | #Constraints: 33738
133.85/134.28 c #Conflicts: 748000 | #Constraints: 34738
133.85/134.28 c #Conflicts: 749000 | #Constraints: 35738
133.85/134.28 c #Conflicts: 750000 | #Constraints: 36738
133.85/134.28 c #Conflicts: 751000 | #Constraints: 37738
133.85/134.28 c #Conflicts: 752000 | #Constraints: 38738
133.85/134.28 c #Conflicts: 753000 | #Constraints: 39738
133.85/134.28 c #Conflicts: 754000 | #Constraints: 40738
133.85/134.28 c INPROCESSING
133.85/134.28 c GARBAGE COLLECT
133.85/134.28 c rational objective 908
137.24/137.60 c #Conflicts: 755000 | #Constraints: 24421
137.24/137.60 c #Conflicts: 756000 | #Constraints: 25421
137.24/137.60 c #Conflicts: 757000 | #Constraints: 26421
137.24/137.60 c #Conflicts: 758000 | #Constraints: 27421
137.24/137.60 c #Conflicts: 759000 | #Constraints: 28421
137.24/137.60 c #Conflicts: 760000 | #Constraints: 29421
137.24/137.60 c #Conflicts: 761000 | #Constraints: 30421
137.24/137.60 c #Conflicts: 762000 | #Constraints: 31421
137.24/137.60 c #Conflicts: 763000 | #Constraints: 32421
137.24/137.60 c #Conflicts: 764000 | #Constraints: 33421
137.24/137.60 c #Conflicts: 765000 | #Constraints: 34421
137.24/137.60 c #Conflicts: 766000 | #Constraints: 35421
137.24/137.60 c #Conflicts: 767000 | #Constraints: 36421
137.24/137.60 c #Conflicts: 768000 | #Constraints: 37421
137.24/137.60 c #Conflicts: 769000 | #Constraints: 38421
137.24/137.60 c #Conflicts: 770000 | #Constraints: 39421
137.24/137.60 c #Conflicts: 771000 | #Constraints: 40421
137.24/137.60 c #Conflicts: 772000 | #Constraints: 41421
137.24/137.60 c INPROCESSING
137.24/137.60 c GARBAGE COLLECT
137.24/137.60 c rational objective 908
140.44/140.83 c #Conflicts: 773000 | #Constraints: 24927
140.44/140.83 c #Conflicts: 774000 | #Constraints: 25927
140.44/140.83 c #Conflicts: 775000 | #Constraints: 26927
140.44/140.83 c #Conflicts: 776000 | #Constraints: 27927
140.44/140.83 c #Conflicts: 777000 | #Constraints: 28927
140.44/140.83 c #Conflicts: 778000 | #Constraints: 29927
140.44/140.83 c #Conflicts: 779000 | #Constraints: 30927
140.44/140.83 c #Conflicts: 780000 | #Constraints: 31927
140.44/140.83 c #Conflicts: 781000 | #Constraints: 32927
140.44/140.83 c #Conflicts: 782000 | #Constraints: 33927
140.44/140.83 c #Conflicts: 783000 | #Constraints: 34927
140.44/140.83 c #Conflicts: 784000 | #Constraints: 35927
140.44/140.83 c #Conflicts: 785000 | #Constraints: 36927
140.44/140.83 c #Conflicts: 786000 | #Constraints: 37927
140.44/140.83 c #Conflicts: 787000 | #Constraints: 38927
140.44/140.83 c #Conflicts: 788000 | #Constraints: 39927
140.44/140.83 c #Conflicts: 789000 | #Constraints: 40927
140.44/140.83 c #Conflicts: 790000 | #Constraints: 41927
140.44/140.83 c INPROCESSING
140.44/140.83 c GARBAGE COLLECT
140.44/140.83 c rational objective 908
144.03/144.43 c #Conflicts: 791000 | #Constraints: 25225
144.03/144.43 c #Conflicts: 792000 | #Constraints: 26225
144.03/144.43 c #Conflicts: 793000 | #Constraints: 27225
144.03/144.43 c #Conflicts: 794000 | #Constraints: 28225
144.03/144.43 c #Conflicts: 795000 | #Constraints: 29225
144.03/144.43 c #Conflicts: 796000 | #Constraints: 30225
144.03/144.43 c #Conflicts: 797000 | #Constraints: 31225
144.03/144.43 c #Conflicts: 798000 | #Constraints: 32225
144.03/144.43 c #Conflicts: 799000 | #Constraints: 33225
144.03/144.43 c #Conflicts: 800000 | #Constraints: 34225
144.03/144.43 c #Conflicts: 801000 | #Constraints: 35225
144.03/144.43 c #Conflicts: 802000 | #Constraints: 36225
144.03/144.43 c #Conflicts: 803000 | #Constraints: 37225
144.03/144.43 c #Conflicts: 804000 | #Constraints: 38225
144.03/144.43 c #Conflicts: 805000 | #Constraints: 39225
144.03/144.43 c #Conflicts: 806000 | #Constraints: 40225
144.03/144.43 c #Conflicts: 807000 | #Constraints: 41225
144.03/144.43 c #Conflicts: 808000 | #Constraints: 42225
144.03/144.43 c INPROCESSING
144.03/144.43 c GARBAGE COLLECT
144.03/144.43 c rational objective 908
147.63/148.06 c #Conflicts: 809000 | #Constraints: 25316
147.63/148.06 c #Conflicts: 810000 | #Constraints: 26316
147.63/148.06 c #Conflicts: 811000 | #Constraints: 27316
147.63/148.06 c #Conflicts: 812000 | #Constraints: 28316
147.63/148.06 c #Conflicts: 813000 | #Constraints: 29316
147.63/148.06 c #Conflicts: 814000 | #Constraints: 30316
147.63/148.06 c #Conflicts: 815000 | #Constraints: 31316
147.63/148.06 c #Conflicts: 816000 | #Constraints: 32316
147.63/148.06 c #Conflicts: 817000 | #Constraints: 33316
147.63/148.06 c #Conflicts: 818000 | #Constraints: 34316
147.63/148.06 c #Conflicts: 819000 | #Constraints: 35316
147.63/148.06 c #Conflicts: 820000 | #Constraints: 36316
147.63/148.06 c #Conflicts: 821000 | #Constraints: 37316
147.63/148.06 c #Conflicts: 822000 | #Constraints: 38316
147.63/148.06 c #Conflicts: 823000 | #Constraints: 39316
147.63/148.06 c #Conflicts: 824000 | #Constraints: 40316
147.63/148.06 c #Conflicts: 825000 | #Constraints: 41316
147.63/148.06 c #Conflicts: 826000 | #Constraints: 42316
147.63/148.06 c INPROCESSING
147.63/148.06 c GARBAGE COLLECT
147.63/148.06 c rational objective 908
151.80/152.24 c #Conflicts: 827000 | #Constraints: 25228
151.80/152.24 c #Conflicts: 828000 | #Constraints: 26228
151.80/152.24 c #Conflicts: 829000 | #Constraints: 27228
151.80/152.24 c #Conflicts: 830000 | #Constraints: 28228
151.80/152.24 c #Conflicts: 831000 | #Constraints: 29228
151.80/152.24 c #Conflicts: 832000 | #Constraints: 30228
151.80/152.24 c #Conflicts: 833000 | #Constraints: 31228
151.80/152.24 c #Conflicts: 834000 | #Constraints: 32228
151.80/152.24 c #Conflicts: 835000 | #Constraints: 33228
151.80/152.24 c #Conflicts: 836000 | #Constraints: 34228
151.80/152.24 c #Conflicts: 837000 | #Constraints: 35228
151.80/152.24 c #Conflicts: 838000 | #Constraints: 36228
151.80/152.24 c #Conflicts: 839000 | #Constraints: 37228
151.80/152.24 c #Conflicts: 840000 | #Constraints: 38228
151.80/152.24 c #Conflicts: 841000 | #Constraints: 39228
151.80/152.24 c #Conflicts: 842000 | #Constraints: 40228
151.80/152.24 c #Conflicts: 843000 | #Constraints: 41228
151.80/152.24 c #Conflicts: 844000 | #Constraints: 42228
151.80/152.24 c #Conflicts: 845000 | #Constraints: 43228
151.80/152.24 c INPROCESSING
151.80/152.24 c GARBAGE COLLECT
151.80/152.24 c rational objective 908
155.70/156.15 c #Conflicts: 846000 | #Constraints: 25937
155.70/156.15 c #Conflicts: 847000 | #Constraints: 26937
155.70/156.15 c #Conflicts: 848000 | #Constraints: 27937
155.70/156.15 c #Conflicts: 849000 | #Constraints: 28937
155.70/156.15 c #Conflicts: 850000 | #Constraints: 29937
155.70/156.15 c #Conflicts: 851000 | #Constraints: 30937
155.70/156.15 c #Conflicts: 852000 | #Constraints: 31937
155.70/156.15 c #Conflicts: 853000 | #Constraints: 32937
155.70/156.15 c #Conflicts: 854000 | #Constraints: 33937
155.70/156.15 c #Conflicts: 855000 | #Constraints: 34937
155.70/156.15 c #Conflicts: 856000 | #Constraints: 35937
155.70/156.15 c #Conflicts: 857000 | #Constraints: 36937
155.70/156.15 c #Conflicts: 858000 | #Constraints: 37937
155.70/156.15 c #Conflicts: 859000 | #Constraints: 38937
155.70/156.15 c #Conflicts: 860000 | #Constraints: 39937
155.70/156.15 c #Conflicts: 861000 | #Constraints: 40937
155.70/156.15 c #Conflicts: 862000 | #Constraints: 41937
155.70/156.15 c #Conflicts: 863000 | #Constraints: 42937
155.70/156.15 c #Conflicts: 864000 | #Constraints: 43937
155.70/156.15 c INPROCESSING
155.70/156.15 c GARBAGE COLLECT
155.70/156.15 c rational objective 908
159.69/160.11 c #Conflicts: 865000 | #Constraints: 26424
159.69/160.11 c #Conflicts: 866000 | #Constraints: 27424
159.69/160.11 c #Conflicts: 867000 | #Constraints: 28424
159.69/160.11 c #Conflicts: 868000 | #Constraints: 29424
159.69/160.11 c #Conflicts: 869000 | #Constraints: 30424
159.69/160.11 c #Conflicts: 870000 | #Constraints: 31424
159.69/160.11 c #Conflicts: 871000 | #Constraints: 32424
159.69/160.11 c #Conflicts: 872000 | #Constraints: 33424
159.69/160.11 c #Conflicts: 873000 | #Constraints: 34424
159.69/160.11 c #Conflicts: 874000 | #Constraints: 35424
159.69/160.11 c #Conflicts: 875000 | #Constraints: 36424
159.69/160.11 c #Conflicts: 876000 | #Constraints: 37424
159.69/160.11 c #Conflicts: 877000 | #Constraints: 38424
159.69/160.11 c #Conflicts: 878000 | #Constraints: 39424
159.69/160.11 c #Conflicts: 879000 | #Constraints: 40424
159.69/160.11 c #Conflicts: 880000 | #Constraints: 41424
159.69/160.11 c #Conflicts: 881000 | #Constraints: 42424
159.69/160.11 c #Conflicts: 882000 | #Constraints: 43424
159.69/160.11 c INPROCESSING
159.69/160.11 c GARBAGE COLLECT
159.69/160.11 c rational objective 908
163.58/164.08 c #Conflicts: 883000 | #Constraints: 25721
163.58/164.08 c #Conflicts: 884000 | #Constraints: 26721
163.58/164.08 c #Conflicts: 885000 | #Constraints: 27721
163.58/164.08 c #Conflicts: 886000 | #Constraints: 28721
163.58/164.08 c #Conflicts: 887000 | #Constraints: 29721
163.58/164.08 c #Conflicts: 888000 | #Constraints: 30721
163.58/164.08 c #Conflicts: 889000 | #Constraints: 31721
163.58/164.08 c #Conflicts: 890000 | #Constraints: 32721
163.58/164.08 c #Conflicts: 891000 | #Constraints: 33721
163.58/164.08 c #Conflicts: 892000 | #Constraints: 34721
163.58/164.08 c #Conflicts: 893000 | #Constraints: 35721
163.58/164.08 c #Conflicts: 894000 | #Constraints: 36721
163.58/164.08 c #Conflicts: 895000 | #Constraints: 37721
163.58/164.08 c #Conflicts: 896000 | #Constraints: 38721
163.58/164.08 c #Conflicts: 897000 | #Constraints: 39721
163.58/164.08 c #Conflicts: 898000 | #Constraints: 40721
163.58/164.08 c #Conflicts: 899000 | #Constraints: 41721
163.58/164.08 c #Conflicts: 900000 | #Constraints: 42721
163.58/164.08 c #Conflicts: 901000 | #Constraints: 43721
163.58/164.08 c #Conflicts: 902000 | #Constraints: 44721
163.58/164.08 c INPROCESSING
163.58/164.08 c GARBAGE COLLECT
163.58/164.08 c rational objective 908
167.97/168.41 c #Conflicts: 903000 | #Constraints: 26842
167.97/168.41 c #Conflicts: 904000 | #Constraints: 27842
167.97/168.41 c #Conflicts: 905000 | #Constraints: 28842
167.97/168.41 c #Conflicts: 906000 | #Constraints: 29842
167.97/168.41 c #Conflicts: 907000 | #Constraints: 30842
167.97/168.41 c #Conflicts: 908000 | #Constraints: 31842
167.97/168.41 c #Conflicts: 909000 | #Constraints: 32842
167.97/168.41 c #Conflicts: 910000 | #Constraints: 33842
167.97/168.41 c #Conflicts: 911000 | #Constraints: 34842
167.97/168.41 c #Conflicts: 912000 | #Constraints: 35842
167.97/168.41 c #Conflicts: 913000 | #Constraints: 36842
167.97/168.41 c #Conflicts: 914000 | #Constraints: 37842
167.97/168.41 c #Conflicts: 915000 | #Constraints: 38842
167.97/168.41 c #Conflicts: 916000 | #Constraints: 39842
167.97/168.41 c #Conflicts: 917000 | #Constraints: 40842
167.97/168.41 c #Conflicts: 918000 | #Constraints: 41842
167.97/168.41 c #Conflicts: 919000 | #Constraints: 42842
167.97/168.41 c #Conflicts: 920000 | #Constraints: 43842
167.97/168.41 c #Conflicts: 921000 | #Constraints: 44842
167.97/168.41 c INPROCESSING
167.97/168.41 c GARBAGE COLLECT
167.97/168.41 c rational objective 908
172.67/173.13 c #Conflicts: 922000 | #Constraints: 26738
172.67/173.13 c #Conflicts: 923000 | #Constraints: 27738
172.67/173.13 c #Conflicts: 924000 | #Constraints: 28738
172.67/173.13 c #Conflicts: 925000 | #Constraints: 29738
172.67/173.13 c #Conflicts: 926000 | #Constraints: 30738
172.67/173.13 c #Conflicts: 927000 | #Constraints: 31738
172.67/173.13 c #Conflicts: 928000 | #Constraints: 32738
172.67/173.13 c #Conflicts: 929000 | #Constraints: 33738
172.67/173.13 c #Conflicts: 930000 | #Constraints: 34738
172.67/173.13 c #Conflicts: 931000 | #Constraints: 35738
172.67/173.13 c #Conflicts: 932000 | #Constraints: 36738
172.67/173.13 c #Conflicts: 933000 | #Constraints: 37738
172.67/173.13 c #Conflicts: 934000 | #Constraints: 38738
172.67/173.13 c #Conflicts: 935000 | #Constraints: 39738
172.67/173.13 c #Conflicts: 936000 | #Constraints: 40738
172.67/173.13 c #Conflicts: 937000 | #Constraints: 41738
172.67/173.13 c #Conflicts: 938000 | #Constraints: 42738
172.67/173.13 c #Conflicts: 939000 | #Constraints: 43738
172.67/173.13 c #Conflicts: 940000 | #Constraints: 44738
172.67/173.13 c INPROCESSING
172.67/173.13 c GARBAGE COLLECT
172.67/173.13 c rational objective 908
176.74/177.22 c #Conflicts: 941000 | #Constraints: 26434
176.74/177.22 c #Conflicts: 942000 | #Constraints: 27434
176.74/177.22 c #Conflicts: 943000 | #Constraints: 28434
176.74/177.22 c #Conflicts: 944000 | #Constraints: 29434
176.74/177.22 c #Conflicts: 945000 | #Constraints: 30434
176.74/177.22 c #Conflicts: 946000 | #Constraints: 31434
176.74/177.22 c #Conflicts: 947000 | #Constraints: 32434
176.74/177.22 c #Conflicts: 948000 | #Constraints: 33434
176.74/177.22 c #Conflicts: 949000 | #Constraints: 34434
176.74/177.22 c #Conflicts: 950000 | #Constraints: 35434
176.74/177.22 c #Conflicts: 951000 | #Constraints: 36434
176.74/177.22 c #Conflicts: 952000 | #Constraints: 37434
176.74/177.22 c #Conflicts: 953000 | #Constraints: 38434
176.74/177.22 c #Conflicts: 954000 | #Constraints: 39434
176.74/177.22 c #Conflicts: 955000 | #Constraints: 40434
176.74/177.22 c #Conflicts: 956000 | #Constraints: 41434
176.74/177.22 c #Conflicts: 957000 | #Constraints: 42434
176.74/177.22 c #Conflicts: 958000 | #Constraints: 43434
176.74/177.22 c #Conflicts: 959000 | #Constraints: 44434
176.74/177.22 c #Conflicts: 960000 | #Constraints: 45434
176.74/177.22 c INPROCESSING
176.74/177.22 c GARBAGE COLLECT
176.74/177.22 c rational objective 908
180.84/181.39 c #Conflicts: 961000 | #Constraints: 26934
180.84/181.39 c #Conflicts: 962000 | #Constraints: 27934
180.84/181.39 c #Conflicts: 963000 | #Constraints: 28934
180.84/181.39 c #Conflicts: 964000 | #Constraints: 29934
180.84/181.39 c #Conflicts: 965000 | #Constraints: 30934
180.84/181.39 c #Conflicts: 966000 | #Constraints: 31934
180.84/181.39 c #Conflicts: 967000 | #Constraints: 32934
180.84/181.39 c #Conflicts: 968000 | #Constraints: 33934
180.84/181.39 c #Conflicts: 969000 | #Constraints: 34934
180.84/181.39 c #Conflicts: 970000 | #Constraints: 35934
180.84/181.39 c #Conflicts: 971000 | #Constraints: 36934
180.84/181.39 c #Conflicts: 972000 | #Constraints: 37934
180.84/181.39 c #Conflicts: 973000 | #Constraints: 38934
180.84/181.39 c #Conflicts: 974000 | #Constraints: 39934
180.84/181.39 c #Conflicts: 975000 | #Constraints: 40934
180.84/181.39 c #Conflicts: 976000 | #Constraints: 41934
180.84/181.39 c #Conflicts: 977000 | #Constraints: 42934
180.84/181.39 c #Conflicts: 978000 | #Constraints: 43934
180.84/181.39 c #Conflicts: 979000 | #Constraints: 44934
180.84/181.39 c #Conflicts: 980000 | #Constraints: 45934
180.84/181.39 c INPROCESSING
180.84/181.39 c GARBAGE COLLECT
180.84/181.39 c rational objective 908
185.03/185.56 c #Conflicts: 981000 | #Constraints: 27230
185.03/185.56 c #Conflicts: 982000 | #Constraints: 28230
185.03/185.56 c #Conflicts: 983000 | #Constraints: 29230
185.03/185.56 c #Conflicts: 984000 | #Constraints: 30230
185.03/185.56 c #Conflicts: 985000 | #Constraints: 31230
185.03/185.56 c #Conflicts: 986000 | #Constraints: 32230
185.03/185.56 c #Conflicts: 987000 | #Constraints: 33230
185.03/185.56 c #Conflicts: 988000 | #Constraints: 34230
185.03/185.56 c #Conflicts: 989000 | #Constraints: 35230
185.03/185.56 c #Conflicts: 990000 | #Constraints: 36230
185.03/185.56 c #Conflicts: 991000 | #Constraints: 37230
185.03/185.56 c #Conflicts: 992000 | #Constraints: 38230
185.03/185.56 c #Conflicts: 993000 | #Constraints: 39230
185.03/185.56 c #Conflicts: 994000 | #Constraints: 40230
185.03/185.56 c #Conflicts: 995000 | #Constraints: 41230
185.03/185.56 c #Conflicts: 996000 | #Constraints: 42230
185.03/185.56 c #Conflicts: 997000 | #Constraints: 43230
185.03/185.56 c #Conflicts: 998000 | #Constraints: 44230
185.03/185.56 c #Conflicts: 999000 | #Constraints: 45230
185.03/185.56 c #Conflicts: 1000000 | #Constraints: 46230
185.03/185.56 c INPROCESSING
185.03/185.56 c GARBAGE COLLECT
185.03/185.56 c rational objective 908
190.62/191.15 c #Conflicts: 1001000 | #Constraints: 27342
190.62/191.15 c #Conflicts: 1002000 | #Constraints: 28342
190.62/191.15 c #Conflicts: 1003000 | #Constraints: 29342
190.62/191.15 c #Conflicts: 1004000 | #Constraints: 30342
190.62/191.15 c #Conflicts: 1005000 | #Constraints: 31342
190.62/191.15 c #Conflicts: 1006000 | #Constraints: 32342
190.62/191.15 c #Conflicts: 1007000 | #Constraints: 33342
190.62/191.15 c #Conflicts: 1008000 | #Constraints: 34342
190.62/191.15 c #Conflicts: 1009000 | #Constraints: 35342
190.62/191.15 c #Conflicts: 1010000 | #Constraints: 36342
190.62/191.15 c #Conflicts: 1011000 | #Constraints: 37342
190.62/191.15 c #Conflicts: 1012000 | #Constraints: 38342
190.62/191.15 c #Conflicts: 1013000 | #Constraints: 39342
190.62/191.15 c #Conflicts: 1014000 | #Constraints: 40342
190.62/191.15 c #Conflicts: 1015000 | #Constraints: 41342
190.62/191.15 c #Conflicts: 1016000 | #Constraints: 42342
190.62/191.15 c #Conflicts: 1017000 | #Constraints: 43342
190.62/191.15 c #Conflicts: 1018000 | #Constraints: 44342
190.62/191.15 c #Conflicts: 1019000 | #Constraints: 45342
190.62/191.15 c #Conflicts: 1020000 | #Constraints: 46342
190.62/191.15 c INPROCESSING
190.62/191.15 c GARBAGE COLLECT
190.62/191.15 c rational objective 908
195.70/196.26 c #Conflicts: 1021000 | #Constraints: 27247
195.70/196.26 c #Conflicts: 1022000 | #Constraints: 28247
195.70/196.26 c #Conflicts: 1023000 | #Constraints: 29247
195.70/196.26 c #Conflicts: 1024000 | #Constraints: 30247
195.70/196.26 c #Conflicts: 1025000 | #Constraints: 31247
195.70/196.26 c #Conflicts: 1026000 | #Constraints: 32247
195.70/196.26 c #Conflicts: 1027000 | #Constraints: 33247
195.70/196.26 c #Conflicts: 1028000 | #Constraints: 34247
195.70/196.26 c #Conflicts: 1029000 | #Constraints: 35247
195.70/196.26 c #Conflicts: 1030000 | #Constraints: 36247
195.70/196.26 c #Conflicts: 1031000 | #Constraints: 37247
195.70/196.26 c #Conflicts: 1032000 | #Constraints: 38247
195.70/196.26 c #Conflicts: 1033000 | #Constraints: 39247
195.70/196.26 c #Conflicts: 1034000 | #Constraints: 40247
195.70/196.26 c #Conflicts: 1035000 | #Constraints: 41247
195.70/196.26 c #Conflicts: 1036000 | #Constraints: 42247
195.70/196.26 c #Conflicts: 1037000 | #Constraints: 43247
195.70/196.26 c #Conflicts: 1038000 | #Constraints: 44247
195.70/196.26 c #Conflicts: 1039000 | #Constraints: 45247
195.70/196.26 c #Conflicts: 1040000 | #Constraints: 46247
195.70/196.26 c #Conflicts: 1041000 | #Constraints: 47247
195.70/196.26 c INPROCESSING
195.70/196.26 c GARBAGE COLLECT
195.70/196.26 c rational objective 908
200.69/201.24 c #Conflicts: 1042000 | #Constraints: 27954
200.69/201.24 c #Conflicts: 1043000 | #Constraints: 28954
200.69/201.24 c #Conflicts: 1044000 | #Constraints: 29954
200.69/201.24 c #Conflicts: 1045000 | #Constraints: 30954
200.69/201.24 c #Conflicts: 1046000 | #Constraints: 31954
200.69/201.24 c #Conflicts: 1047000 | #Constraints: 32954
200.69/201.24 c #Conflicts: 1048000 | #Constraints: 33954
200.69/201.24 c #Conflicts: 1049000 | #Constraints: 34954
200.69/201.24 c #Conflicts: 1050000 | #Constraints: 35954
200.69/201.24 c #Conflicts: 1051000 | #Constraints: 36954
200.69/201.24 c #Conflicts: 1052000 | #Constraints: 37954
200.69/201.24 c #Conflicts: 1053000 | #Constraints: 38954
200.69/201.24 c #Conflicts: 1054000 | #Constraints: 39954
200.69/201.24 c #Conflicts: 1055000 | #Constraints: 40954
200.69/201.24 c #Conflicts: 1056000 | #Constraints: 41954
200.69/201.24 c #Conflicts: 1057000 | #Constraints: 42954
200.69/201.24 c #Conflicts: 1058000 | #Constraints: 43954
200.69/201.24 c #Conflicts: 1059000 | #Constraints: 44954
200.69/201.24 c #Conflicts: 1060000 | #Constraints: 45954
200.69/201.24 c #Conflicts: 1061000 | #Constraints: 46954
200.69/201.24 c #Conflicts: 1062000 | #Constraints: 47954
200.69/201.24 c INPROCESSING
200.69/201.24 c GARBAGE COLLECT
200.69/201.24 c rational objective 908
204.98/205.57 c #Conflicts: 1063000 | #Constraints: 28450
204.98/205.57 c #Conflicts: 1064000 | #Constraints: 29450
204.98/205.57 c #Conflicts: 1065000 | #Constraints: 30450
204.98/205.57 c #Conflicts: 1066000 | #Constraints: 31450
204.98/205.57 c #Conflicts: 1067000 | #Constraints: 32450
204.98/205.57 c #Conflicts: 1068000 | #Constraints: 33450
204.98/205.57 c #Conflicts: 1069000 | #Constraints: 34450
204.98/205.57 c #Conflicts: 1070000 | #Constraints: 35450
204.98/205.57 c #Conflicts: 1071000 | #Constraints: 36450
204.98/205.57 c #Conflicts: 1072000 | #Constraints: 37450
204.98/205.57 c #Conflicts: 1073000 | #Constraints: 38450
204.98/205.57 c #Conflicts: 1074000 | #Constraints: 39450
204.98/205.57 c #Conflicts: 1075000 | #Constraints: 40450
204.98/205.57 c #Conflicts: 1076000 | #Constraints: 41450
204.98/205.57 c #Conflicts: 1077000 | #Constraints: 42450
204.98/205.57 c #Conflicts: 1078000 | #Constraints: 43450
204.98/205.57 c #Conflicts: 1079000 | #Constraints: 44450
204.98/205.57 c #Conflicts: 1080000 | #Constraints: 45450
204.98/205.57 c #Conflicts: 1081000 | #Constraints: 46450
204.98/205.57 c #Conflicts: 1082000 | #Constraints: 47450
204.98/205.57 c INPROCESSING
204.98/205.57 c GARBAGE COLLECT
204.98/205.57 c rational objective 908
210.76/211.35 c #Conflicts: 1083000 | #Constraints: 27733
210.76/211.35 c #Conflicts: 1084000 | #Constraints: 28733
210.76/211.35 c #Conflicts: 1085000 | #Constraints: 29733
210.76/211.35 c #Conflicts: 1086000 | #Constraints: 30733
210.76/211.35 c #Conflicts: 1087000 | #Constraints: 31733
210.76/211.35 c #Conflicts: 1088000 | #Constraints: 32733
210.76/211.35 c #Conflicts: 1089000 | #Constraints: 33733
210.76/211.35 c #Conflicts: 1090000 | #Constraints: 34733
210.76/211.35 c #Conflicts: 1091000 | #Constraints: 35733
210.76/211.35 c #Conflicts: 1092000 | #Constraints: 36733
210.76/211.35 c #Conflicts: 1093000 | #Constraints: 37733
210.76/211.35 c #Conflicts: 1094000 | #Constraints: 38733
210.76/211.35 c #Conflicts: 1095000 | #Constraints: 39733
210.76/211.35 c #Conflicts: 1096000 | #Constraints: 40733
210.76/211.35 c #Conflicts: 1097000 | #Constraints: 41733
210.76/211.35 c #Conflicts: 1098000 | #Constraints: 42733
210.76/211.35 c #Conflicts: 1099000 | #Constraints: 43733
210.76/211.35 c #Conflicts: 1100000 | #Constraints: 44733
210.76/211.35 c #Conflicts: 1101000 | #Constraints: 45733
210.76/211.35 c #Conflicts: 1102000 | #Constraints: 46733
210.76/211.35 c #Conflicts: 1103000 | #Constraints: 47733
210.76/211.35 c #Conflicts: 1104000 | #Constraints: 48733
210.76/211.35 c INPROCESSING
210.76/211.35 c GARBAGE COLLECT
210.76/211.35 c rational objective 908
215.35/215.90 c #Conflicts: 1105000 | #Constraints: 28842
215.35/215.90 c #Conflicts: 1106000 | #Constraints: 29842
215.35/215.90 c #Conflicts: 1107000 | #Constraints: 30842
215.35/215.90 c #Conflicts: 1108000 | #Constraints: 31842
215.35/215.90 c #Conflicts: 1109000 | #Constraints: 32842
215.35/215.90 c #Conflicts: 1110000 | #Constraints: 33842
215.35/215.90 c #Conflicts: 1111000 | #Constraints: 34842
215.35/215.90 c #Conflicts: 1112000 | #Constraints: 35842
215.35/215.90 c #Conflicts: 1113000 | #Constraints: 36842
215.35/215.90 c #Conflicts: 1114000 | #Constraints: 37842
215.35/215.90 c #Conflicts: 1115000 | #Constraints: 38842
215.35/215.90 c #Conflicts: 1116000 | #Constraints: 39842
215.35/215.90 c #Conflicts: 1117000 | #Constraints: 40842
215.35/215.90 c #Conflicts: 1118000 | #Constraints: 41842
215.35/215.90 c #Conflicts: 1119000 | #Constraints: 42842
215.35/215.90 c #Conflicts: 1120000 | #Constraints: 43842
215.35/215.90 c #Conflicts: 1121000 | #Constraints: 44842
215.35/215.90 c #Conflicts: 1122000 | #Constraints: 45842
215.35/215.90 c #Conflicts: 1123000 | #Constraints: 46842
215.35/215.90 c #Conflicts: 1124000 | #Constraints: 47842
215.35/215.90 c #Conflicts: 1125000 | #Constraints: 48842
215.35/215.90 c INPROCESSING
215.35/215.90 c GARBAGE COLLECT
215.35/215.90 c rational objective 908
219.85/220.43 c #Conflicts: 1126000 | #Constraints: 28755
219.85/220.43 c #Conflicts: 1127000 | #Constraints: 29755
219.85/220.43 c #Conflicts: 1128000 | #Constraints: 30755
219.85/220.43 c #Conflicts: 1129000 | #Constraints: 31755
219.85/220.43 c #Conflicts: 1130000 | #Constraints: 32755
219.85/220.43 c #Conflicts: 1131000 | #Constraints: 33755
219.85/220.43 c #Conflicts: 1132000 | #Constraints: 34755
219.85/220.43 c #Conflicts: 1133000 | #Constraints: 35755
219.85/220.43 c #Conflicts: 1134000 | #Constraints: 36755
219.85/220.43 c #Conflicts: 1135000 | #Constraints: 37755
219.85/220.43 c #Conflicts: 1136000 | #Constraints: 38755
219.85/220.43 c #Conflicts: 1137000 | #Constraints: 39755
219.85/220.43 c #Conflicts: 1138000 | #Constraints: 40755
219.85/220.43 c #Conflicts: 1139000 | #Constraints: 41755
219.85/220.43 c #Conflicts: 1140000 | #Constraints: 42755
219.85/220.43 c #Conflicts: 1141000 | #Constraints: 43755
219.85/220.43 c #Conflicts: 1142000 | #Constraints: 44755
219.85/220.43 c #Conflicts: 1143000 | #Constraints: 45755
219.85/220.43 c #Conflicts: 1144000 | #Constraints: 46755
219.85/220.43 c #Conflicts: 1145000 | #Constraints: 47755
219.85/220.43 c #Conflicts: 1146000 | #Constraints: 48755
219.85/220.43 c INPROCESSING
219.85/220.43 c GARBAGE COLLECT
219.85/220.43 c rational objective 908
224.63/225.21 c #Conflicts: 1147000 | #Constraints: 28442
224.63/225.21 c #Conflicts: 1148000 | #Constraints: 29442
224.63/225.21 c #Conflicts: 1149000 | #Constraints: 30442
224.63/225.21 c #Conflicts: 1150000 | #Constraints: 31442
224.63/225.21 c #Conflicts: 1151000 | #Constraints: 32442
224.63/225.21 c #Conflicts: 1152000 | #Constraints: 33442
224.63/225.21 c #Conflicts: 1153000 | #Constraints: 34442
224.63/225.21 c #Conflicts: 1154000 | #Constraints: 35442
224.63/225.21 c #Conflicts: 1155000 | #Constraints: 36442
224.63/225.21 c #Conflicts: 1156000 | #Constraints: 37442
224.63/225.21 c #Conflicts: 1157000 | #Constraints: 38442
224.63/225.21 c #Conflicts: 1158000 | #Constraints: 39442
224.63/225.21 c #Conflicts: 1159000 | #Constraints: 40442
224.63/225.21 c #Conflicts: 1160000 | #Constraints: 41442
224.63/225.21 c #Conflicts: 1161000 | #Constraints: 42442
224.63/225.21 c #Conflicts: 1162000 | #Constraints: 43442
224.63/225.21 c #Conflicts: 1163000 | #Constraints: 44442
224.63/225.21 c #Conflicts: 1164000 | #Constraints: 45442
224.63/225.21 c #Conflicts: 1165000 | #Constraints: 46442
224.63/225.21 c #Conflicts: 1166000 | #Constraints: 47442
224.63/225.21 c #Conflicts: 1167000 | #Constraints: 48442
224.63/225.21 c #Conflicts: 1168000 | #Constraints: 49442
224.63/225.21 c INPROCESSING
224.63/225.21 c GARBAGE COLLECT
224.63/225.21 c rational objective 908
230.11/230.77 c #Conflicts: 1169000 | #Constraints: 28933
230.11/230.77 c #Conflicts: 1170000 | #Constraints: 29933
230.11/230.77 c #Conflicts: 1171000 | #Constraints: 30933
230.11/230.77 c #Conflicts: 1172000 | #Constraints: 31933
230.11/230.77 c #Conflicts: 1173000 | #Constraints: 32933
230.11/230.77 c #Conflicts: 1174000 | #Constraints: 33933
230.11/230.77 c #Conflicts: 1175000 | #Constraints: 34933
230.11/230.77 c #Conflicts: 1176000 | #Constraints: 35933
230.11/230.77 c #Conflicts: 1177000 | #Constraints: 36933
230.11/230.77 c #Conflicts: 1178000 | #Constraints: 37933
230.11/230.77 c #Conflicts: 1179000 | #Constraints: 38933
230.11/230.77 c #Conflicts: 1180000 | #Constraints: 39933
230.11/230.77 c #Conflicts: 1181000 | #Constraints: 40933
230.11/230.77 c #Conflicts: 1182000 | #Constraints: 41933
230.11/230.77 c #Conflicts: 1183000 | #Constraints: 42933
230.11/230.77 c #Conflicts: 1184000 | #Constraints: 43933
230.11/230.77 c #Conflicts: 1185000 | #Constraints: 44933
230.11/230.77 c #Conflicts: 1186000 | #Constraints: 45933
230.11/230.77 c #Conflicts: 1187000 | #Constraints: 46933
230.11/230.77 c #Conflicts: 1188000 | #Constraints: 47933
230.11/230.77 c #Conflicts: 1189000 | #Constraints: 48933
230.11/230.77 c #Conflicts: 1190000 | #Constraints: 49933
230.11/230.77 c INPROCESSING
230.11/230.77 c GARBAGE COLLECT
230.11/230.77 c rational objective 908
235.30/235.96 c #Conflicts: 1191000 | #Constraints: 29237
235.30/235.96 c #Conflicts: 1192000 | #Constraints: 30237
235.30/235.96 c #Conflicts: 1193000 | #Constraints: 31237
235.30/235.96 c #Conflicts: 1194000 | #Constraints: 32237
235.30/235.96 c #Conflicts: 1195000 | #Constraints: 33237
235.30/235.96 c #Conflicts: 1196000 | #Constraints: 34237
235.30/235.96 c #Conflicts: 1197000 | #Constraints: 35237
235.30/235.96 c #Conflicts: 1198000 | #Constraints: 36237
235.30/235.96 c #Conflicts: 1199000 | #Constraints: 37237
235.30/235.96 c #Conflicts: 1200000 | #Constraints: 38237
235.30/235.96 c #Conflicts: 1201000 | #Constraints: 39237
235.30/235.96 c #Conflicts: 1202000 | #Constraints: 40237
235.30/235.96 c #Conflicts: 1203000 | #Constraints: 41237
235.30/235.96 c #Conflicts: 1204000 | #Constraints: 42237
235.30/235.96 c #Conflicts: 1205000 | #Constraints: 43237
235.30/235.96 c #Conflicts: 1206000 | #Constraints: 44237
235.30/235.96 c #Conflicts: 1207000 | #Constraints: 45237
235.30/235.96 c #Conflicts: 1208000 | #Constraints: 46237
235.30/235.96 c #Conflicts: 1209000 | #Constraints: 47237
235.30/235.96 c #Conflicts: 1210000 | #Constraints: 48237
235.30/235.96 c #Conflicts: 1211000 | #Constraints: 49237
235.30/235.96 c #Conflicts: 1212000 | #Constraints: 50237
235.30/235.96 c INPROCESSING
235.30/235.96 c GARBAGE COLLECT
235.30/235.96 c rational objective 908
240.19/240.89 c #Conflicts: 1213000 | #Constraints: 29348
240.19/240.89 c #Conflicts: 1214000 | #Constraints: 30348
240.19/240.89 c #Conflicts: 1215000 | #Constraints: 31348
240.19/240.89 c #Conflicts: 1216000 | #Constraints: 32348
240.19/240.89 c #Conflicts: 1217000 | #Constraints: 33348
240.19/240.89 c #Conflicts: 1218000 | #Constraints: 34348
240.19/240.89 c #Conflicts: 1219000 | #Constraints: 35348
240.19/240.89 c #Conflicts: 1220000 | #Constraints: 36348
240.19/240.89 c #Conflicts: 1221000 | #Constraints: 37348
240.19/240.89 c #Conflicts: 1222000 | #Constraints: 38348
240.19/240.89 c #Conflicts: 1223000 | #Constraints: 39348
240.19/240.89 c #Conflicts: 1224000 | #Constraints: 40348
240.19/240.89 c #Conflicts: 1225000 | #Constraints: 41348
240.19/240.89 c #Conflicts: 1226000 | #Constraints: 42348
240.19/240.89 c #Conflicts: 1227000 | #Constraints: 43348
240.19/240.89 c #Conflicts: 1228000 | #Constraints: 44348
240.19/240.89 c #Conflicts: 1229000 | #Constraints: 45348
240.19/240.89 c #Conflicts: 1230000 | #Constraints: 46348
240.19/240.89 c #Conflicts: 1231000 | #Constraints: 47348
240.19/240.89 c #Conflicts: 1232000 | #Constraints: 48348
240.19/240.89 c #Conflicts: 1233000 | #Constraints: 49348
240.19/240.89 c #Conflicts: 1234000 | #Constraints: 50348
240.19/240.89 c INPROCESSING
240.19/240.89 c GARBAGE COLLECT
240.19/240.89 c rational objective 908
245.57/246.21 c #Conflicts: 1235000 | #Constraints: 29244
245.57/246.21 c #Conflicts: 1236000 | #Constraints: 30244
245.57/246.21 c #Conflicts: 1237000 | #Constraints: 31244
245.57/246.21 c #Conflicts: 1238000 | #Constraints: 32244
245.57/246.21 c #Conflicts: 1239000 | #Constraints: 33244
245.57/246.21 c #Conflicts: 1240000 | #Constraints: 34244
245.57/246.21 c #Conflicts: 1241000 | #Constraints: 35244
245.57/246.21 c #Conflicts: 1242000 | #Constraints: 36244
245.57/246.21 c #Conflicts: 1243000 | #Constraints: 37244
245.57/246.21 c #Conflicts: 1244000 | #Constraints: 38244
245.57/246.21 c #Conflicts: 1245000 | #Constraints: 39244
245.57/246.21 c #Conflicts: 1246000 | #Constraints: 40244
245.57/246.21 c #Conflicts: 1247000 | #Constraints: 41244
245.57/246.21 c #Conflicts: 1248000 | #Constraints: 42244
245.57/246.21 c #Conflicts: 1249000 | #Constraints: 43244
245.57/246.21 c #Conflicts: 1250000 | #Constraints: 44244
245.57/246.21 c #Conflicts: 1251000 | #Constraints: 45244
245.57/246.21 c #Conflicts: 1252000 | #Constraints: 46244
245.57/246.21 c #Conflicts: 1253000 | #Constraints: 47244
245.57/246.21 c #Conflicts: 1254000 | #Constraints: 48244
245.57/246.21 c #Conflicts: 1255000 | #Constraints: 49244
245.57/246.21 c #Conflicts: 1256000 | #Constraints: 50244
245.57/246.21 c #Conflicts: 1257000 | #Constraints: 51244
245.57/246.21 c INPROCESSING
245.57/246.21 c GARBAGE COLLECT
245.57/246.21 c rational objective 908
251.07/251.78 c #Conflicts: 1258000 | #Constraints: 29940
251.07/251.78 c #Conflicts: 1259000 | #Constraints: 30940
251.07/251.78 c #Conflicts: 1260000 | #Constraints: 31940
251.07/251.78 c #Conflicts: 1261000 | #Constraints: 32940
251.07/251.78 c #Conflicts: 1262000 | #Constraints: 33940
251.07/251.78 c #Conflicts: 1263000 | #Constraints: 34940
251.07/251.78 c #Conflicts: 1264000 | #Constraints: 35940
251.07/251.78 c #Conflicts: 1265000 | #Constraints: 36940
251.07/251.78 c #Conflicts: 1266000 | #Constraints: 37940
251.07/251.78 c #Conflicts: 1267000 | #Constraints: 38940
251.07/251.78 c #Conflicts: 1268000 | #Constraints: 39940
251.07/251.78 c #Conflicts: 1269000 | #Constraints: 40940
251.07/251.78 c #Conflicts: 1270000 | #Constraints: 41940
251.07/251.78 c #Conflicts: 1271000 | #Constraints: 42940
251.07/251.78 c #Conflicts: 1272000 | #Constraints: 43940
251.07/251.78 c #Conflicts: 1273000 | #Constraints: 44940
251.07/251.78 c #Conflicts: 1274000 | #Constraints: 45940
251.07/251.78 c #Conflicts: 1275000 | #Constraints: 46940
251.07/251.78 c #Conflicts: 1276000 | #Constraints: 47940
251.07/251.78 c #Conflicts: 1277000 | #Constraints: 48940
251.07/251.78 c #Conflicts: 1278000 | #Constraints: 49940
251.07/251.78 c #Conflicts: 1279000 | #Constraints: 50940
251.07/251.78 c #Conflicts: 1280000 | #Constraints: 51940
251.07/251.78 c INPROCESSING
251.07/251.78 c GARBAGE COLLECT
251.07/251.78 c rational objective 908
256.46/257.13 c #Conflicts: 1281000 | #Constraints: 30448
256.46/257.13 c #Conflicts: 1282000 | #Constraints: 31448
256.46/257.13 c #Conflicts: 1283000 | #Constraints: 32448
256.46/257.13 c #Conflicts: 1284000 | #Constraints: 33448
256.46/257.13 c #Conflicts: 1285000 | #Constraints: 34448
256.46/257.13 c #Conflicts: 1286000 | #Constraints: 35448
256.46/257.13 c #Conflicts: 1287000 | #Constraints: 36448
256.46/257.13 c #Conflicts: 1288000 | #Constraints: 37448
256.46/257.13 c #Conflicts: 1289000 | #Constraints: 38448
256.46/257.13 c #Conflicts: 1290000 | #Constraints: 39448
256.46/257.13 c #Conflicts: 1291000 | #Constraints: 40448
256.46/257.13 c #Conflicts: 1292000 | #Constraints: 41448
256.46/257.13 c #Conflicts: 1293000 | #Constraints: 42448
256.46/257.13 c #Conflicts: 1294000 | #Constraints: 43448
256.46/257.13 c #Conflicts: 1295000 | #Constraints: 44448
256.46/257.13 c #Conflicts: 1296000 | #Constraints: 45448
256.46/257.13 c #Conflicts: 1297000 | #Constraints: 46448
256.46/257.13 c #Conflicts: 1298000 | #Constraints: 47448
256.46/257.13 c #Conflicts: 1299000 | #Constraints: 48448
256.46/257.13 c #Conflicts: 1300000 | #Constraints: 49448
256.46/257.13 c #Conflicts: 1301000 | #Constraints: 50448
256.46/257.13 c #Conflicts: 1302000 | #Constraints: 51448
256.46/257.13 c INPROCESSING
256.46/257.13 c GARBAGE COLLECT
256.46/257.13 c rational objective 908
261.84/262.57 c #Conflicts: 1303000 | #Constraints: 29748
261.84/262.57 c #Conflicts: 1304000 | #Constraints: 30748
261.84/262.57 c #Conflicts: 1305000 | #Constraints: 31748
261.84/262.57 c #Conflicts: 1306000 | #Constraints: 32748
261.84/262.57 c #Conflicts: 1307000 | #Constraints: 33748
261.84/262.57 c #Conflicts: 1308000 | #Constraints: 34748
261.84/262.57 c #Conflicts: 1309000 | #Constraints: 35748
261.84/262.57 c #Conflicts: 1310000 | #Constraints: 36748
261.84/262.57 c #Conflicts: 1311000 | #Constraints: 37748
261.84/262.57 c #Conflicts: 1312000 | #Constraints: 38748
261.84/262.57 c #Conflicts: 1313000 | #Constraints: 39748
261.84/262.57 c #Conflicts: 1314000 | #Constraints: 40748
261.84/262.57 c #Conflicts: 1315000 | #Constraints: 41748
261.84/262.57 c #Conflicts: 1316000 | #Constraints: 42748
261.84/262.57 c #Conflicts: 1317000 | #Constraints: 43748
261.84/262.57 c #Conflicts: 1318000 | #Constraints: 44748
261.84/262.57 c #Conflicts: 1319000 | #Constraints: 45748
261.84/262.57 c #Conflicts: 1320000 | #Constraints: 46748
261.84/262.57 c #Conflicts: 1321000 | #Constraints: 47748
261.84/262.57 c #Conflicts: 1322000 | #Constraints: 48748
261.84/262.57 c #Conflicts: 1323000 | #Constraints: 49748
261.84/262.57 c #Conflicts: 1324000 | #Constraints: 50748
261.84/262.57 c #Conflicts: 1325000 | #Constraints: 51748
261.84/262.57 c #Conflicts: 1326000 | #Constraints: 52748
261.84/262.57 c INPROCESSING
261.84/262.57 c GARBAGE COLLECT
261.84/262.57 c rational objective 908
267.33/268.04 c #Conflicts: 1327000 | #Constraints: 30848
267.33/268.04 c #Conflicts: 1328000 | #Constraints: 31848
267.33/268.04 c #Conflicts: 1329000 | #Constraints: 32848
267.33/268.04 c #Conflicts: 1330000 | #Constraints: 33848
267.33/268.04 c #Conflicts: 1331000 | #Constraints: 34848
267.33/268.04 c #Conflicts: 1332000 | #Constraints: 35848
267.33/268.04 c #Conflicts: 1333000 | #Constraints: 36848
267.33/268.04 c #Conflicts: 1334000 | #Constraints: 37848
267.33/268.04 c #Conflicts: 1335000 | #Constraints: 38848
267.33/268.04 c #Conflicts: 1336000 | #Constraints: 39848
267.33/268.04 c #Conflicts: 1337000 | #Constraints: 40848
267.33/268.04 c #Conflicts: 1338000 | #Constraints: 41848
267.33/268.04 c #Conflicts: 1339000 | #Constraints: 42848
267.33/268.04 c #Conflicts: 1340000 | #Constraints: 43848
267.33/268.04 c #Conflicts: 1341000 | #Constraints: 44848
267.33/268.04 c #Conflicts: 1342000 | #Constraints: 45848
267.33/268.04 c #Conflicts: 1343000 | #Constraints: 46848
267.33/268.04 c #Conflicts: 1344000 | #Constraints: 47848
267.33/268.04 c #Conflicts: 1345000 | #Constraints: 48848
267.33/268.04 c #Conflicts: 1346000 | #Constraints: 49848
267.33/268.04 c #Conflicts: 1347000 | #Constraints: 50848
267.33/268.04 c #Conflicts: 1348000 | #Constraints: 51848
267.33/268.04 c #Conflicts: 1349000 | #Constraints: 52848
267.33/268.04 c INPROCESSING
267.33/268.04 c GARBAGE COLLECT
267.33/268.04 c rational objective 908
273.32/274.04 c #Conflicts: 1350000 | #Constraints: 30739
273.32/274.04 c #Conflicts: 1351000 | #Constraints: 31739
273.32/274.04 c #Conflicts: 1352000 | #Constraints: 32739
273.32/274.04 c #Conflicts: 1353000 | #Constraints: 33739
273.32/274.04 c #Conflicts: 1354000 | #Constraints: 34739
273.32/274.04 c #Conflicts: 1355000 | #Constraints: 35739
273.32/274.04 c #Conflicts: 1356000 | #Constraints: 36739
273.32/274.04 c #Conflicts: 1357000 | #Constraints: 37739
273.32/274.04 c #Conflicts: 1358000 | #Constraints: 38739
273.32/274.04 c #Conflicts: 1359000 | #Constraints: 39739
273.32/274.04 c #Conflicts: 1360000 | #Constraints: 40739
273.32/274.04 c #Conflicts: 1361000 | #Constraints: 41739
273.32/274.04 c #Conflicts: 1362000 | #Constraints: 42739
273.32/274.04 c #Conflicts: 1363000 | #Constraints: 43739
273.32/274.04 c #Conflicts: 1364000 | #Constraints: 44739
273.32/274.04 c #Conflicts: 1365000 | #Constraints: 45739
273.32/274.04 c #Conflicts: 1366000 | #Constraints: 46739
273.32/274.04 c #Conflicts: 1367000 | #Constraints: 47739
273.32/274.04 c #Conflicts: 1368000 | #Constraints: 48739
273.32/274.04 c #Conflicts: 1369000 | #Constraints: 49739
273.32/274.04 c #Conflicts: 1370000 | #Constraints: 50739
273.32/274.04 c #Conflicts: 1371000 | #Constraints: 51739
273.32/274.04 c #Conflicts: 1372000 | #Constraints: 52739
273.32/274.04 c INPROCESSING
273.32/274.04 c GARBAGE COLLECT
273.32/274.04 c rational objective 908
279.40/280.10 c #Conflicts: 1373000 | #Constraints: 30443
279.40/280.10 c #Conflicts: 1374000 | #Constraints: 31443
279.40/280.10 c #Conflicts: 1375000 | #Constraints: 32443
279.40/280.10 c #Conflicts: 1376000 | #Constraints: 33443
279.40/280.10 c #Conflicts: 1377000 | #Constraints: 34443
279.40/280.10 c #Conflicts: 1378000 | #Constraints: 35443
279.40/280.10 c #Conflicts: 1379000 | #Constraints: 36443
279.40/280.10 c #Conflicts: 1380000 | #Constraints: 37443
279.40/280.10 c #Conflicts: 1381000 | #Constraints: 38443
279.40/280.10 c #Conflicts: 1382000 | #Constraints: 39443
279.40/280.10 c #Conflicts: 1383000 | #Constraints: 40443
279.40/280.10 c #Conflicts: 1384000 | #Constraints: 41443
279.40/280.10 c #Conflicts: 1385000 | #Constraints: 42443
279.40/280.10 c #Conflicts: 1386000 | #Constraints: 43443
279.40/280.10 c #Conflicts: 1387000 | #Constraints: 44443
279.40/280.10 c #Conflicts: 1388000 | #Constraints: 45443
279.40/280.10 c #Conflicts: 1389000 | #Constraints: 46443
279.40/280.10 c #Conflicts: 1390000 | #Constraints: 47443
279.40/280.10 c #Conflicts: 1391000 | #Constraints: 48443
279.40/280.10 c #Conflicts: 1392000 | #Constraints: 49443
279.40/280.10 c #Conflicts: 1393000 | #Constraints: 50443
279.40/280.10 c #Conflicts: 1394000 | #Constraints: 51443
279.40/280.10 c #Conflicts: 1395000 | #Constraints: 52443
279.40/280.10 c #Conflicts: 1396000 | #Constraints: 53443
279.40/280.10 c INPROCESSING
279.40/280.10 c GARBAGE COLLECT
279.40/280.10 c rational objective 908
306.93/307.79 c #Conflicts: 1397000 | #Constraints: 30955
306.93/307.79 c #Conflicts: 1398000 | #Constraints: 31955
306.93/307.79 c #Conflicts: 1399000 | #Constraints: 32955
306.93/307.79 c #Conflicts: 1400000 | #Constraints: 33955
306.93/307.79 c #Conflicts: 1401000 | #Constraints: 34955
306.93/307.79 c #Conflicts: 1402000 | #Constraints: 35955
306.93/307.79 c #Conflicts: 1403000 | #Constraints: 36955
306.93/307.79 c #Conflicts: 1404000 | #Constraints: 37955
306.93/307.79 c #Conflicts: 1405000 | #Constraints: 38955
306.93/307.79 c #Conflicts: 1406000 | #Constraints: 39955
306.93/307.79 c #Conflicts: 1407000 | #Constraints: 40955
306.93/307.79 c #Conflicts: 1408000 | #Constraints: 41955
306.93/307.79 c #Conflicts: 1409000 | #Constraints: 42955
306.93/307.79 c #Conflicts: 1410000 | #Constraints: 43955
306.93/307.79 c #Conflicts: 1411000 | #Constraints: 44955
306.93/307.79 c #Conflicts: 1412000 | #Constraints: 45955
306.93/307.79 c #Conflicts: 1413000 | #Constraints: 46955
306.93/307.79 c #Conflicts: 1414000 | #Constraints: 47955
306.93/307.79 c #Conflicts: 1415000 | #Constraints: 48955
306.93/307.79 c #Conflicts: 1416000 | #Constraints: 49955
306.93/307.79 c #Conflicts: 1417000 | #Constraints: 50955
306.93/307.79 c #Conflicts: 1418000 | #Constraints: 51955
306.93/307.79 c #Conflicts: 1419000 | #Constraints: 52955
306.93/307.79 c #Conflicts: 1420000 | #Constraints: 53955
306.93/307.79 c #Conflicts: 1421000 | #Constraints: 54955
306.93/307.79 c #Conflicts: 1422000 | #Constraints: 55955
306.93/307.79 c #Conflicts: 1423000 | #Constraints: 56955
306.93/307.79 c #Conflicts: 1424000 | #Constraints: 57955
306.93/307.79 c #Conflicts: 1425000 | #Constraints: 58955
306.93/307.79 c #Conflicts: 1426000 | #Constraints: 59955
306.93/307.79 c #Conflicts: 1427000 | #Constraints: 60955
306.93/307.79 c #Conflicts: 1428000 | #Constraints: 61955
306.93/307.79 c #Conflicts: 1429000 | #Constraints: 62955
306.93/307.79 c #Conflicts: 1430000 | #Constraints: 63955
306.93/307.79 c #Conflicts: 1431000 | #Constraints: 64955
306.93/307.79 c #Conflicts: 1432000 | #Constraints: 65955
306.93/307.79 c #Conflicts: 1433000 | #Constraints: 66955
306.93/307.79 c #Conflicts: 1434000 | #Constraints: 67955
306.93/307.79 c #Conflicts: 1435000 | #Constraints: 68955
306.93/307.79 c #Conflicts: 1436000 | #Constraints: 69955
306.93/307.79 c #Conflicts: 1437000 | #Constraints: 70955
306.93/307.79 c #Conflicts: 1438000 | #Constraints: 71955
306.93/307.79 c #Conflicts: 1439000 | #Constraints: 72955
306.93/307.79 c #Conflicts: 1440000 | #Constraints: 73955
306.93/307.79 c #Conflicts: 1441000 | #Constraints: 74955
306.93/307.79 c #Conflicts: 1442000 | #Constraints: 75955
306.93/307.79 c #Conflicts: 1443000 | #Constraints: 76955
306.93/307.79 c #Conflicts: 1444000 | #Constraints: 77955
306.93/307.79 c #Conflicts: 1445000 | #Constraints: 78955
306.93/307.79 c #Conflicts: 1446000 | #Constraints: 79955
306.93/307.79 c #Conflicts: 1447000 | #Constraints: 80955
306.93/307.79 c #Conflicts: 1448000 | #Constraints: 81955
306.93/307.79 c #Conflicts: 1449000 | #Constraints: 82955
306.93/307.79 c #Conflicts: 1450000 | #Constraints: 83955
306.93/307.79 c #Conflicts: 1451000 | #Constraints: 84955
306.93/307.79 c #Conflicts: 1452000 | #Constraints: 85955
306.93/307.79 c #Conflicts: 1453000 | #Constraints: 86955
306.93/307.79 c #Conflicts: 1454000 | #Constraints: 87955
306.93/307.79 c #Conflicts: 1455000 | #Constraints: 88955
306.93/307.79 c #Conflicts: 1456000 | #Constraints: 89955
306.93/307.79 c #Conflicts: 1457000 | #Constraints: 90955
306.93/307.79 c #Conflicts: 1458000 | #Constraints: 91955
306.93/307.79 c #Conflicts: 1459000 | #Constraints: 92955
306.93/307.79 c #Conflicts: 1460000 | #Constraints: 93955
306.93/307.79 c #Conflicts: 1461000 | #Constraints: 94955
306.93/307.79 c #Conflicts: 1462000 | #Constraints: 95955
306.93/307.79 c #Conflicts: 1463000 | #Constraints: 96955
306.93/307.79 c #Conflicts: 1464000 | #Constraints: 97955
306.93/307.79 c #Conflicts: 1465000 | #Constraints: 98955
306.93/307.79 c #Conflicts: 1466000 | #Constraints: 99955
306.93/307.79 c #Conflicts: 1467000 | #Constraints: 100955
306.93/307.79 c #Conflicts: 1468000 | #Constraints: 101955
306.93/307.79 c #Conflicts: 1469000 | #Constraints: 102955
306.93/307.79 c #Conflicts: 1470000 | #Constraints: 103955
306.93/307.79 c #Conflicts: 1471000 | #Constraints: 104955
306.93/307.79 c #Conflicts: 1472000 | #Constraints: 105955
306.93/307.79 c #Conflicts: 1473000 | #Constraints: 106955
306.93/307.79 c #Conflicts: 1474000 | #Constraints: 107955
306.93/307.79 c #Conflicts: 1475000 | #Constraints: 108955
335.55/336.47 c #Conflicts: 1476000 | #Constraints: 109955
335.55/336.47 c #Conflicts: 1477000 | #Constraints: 110955
335.55/336.47 c #Conflicts: 1478000 | #Constraints: 111955
335.55/336.47 c #Conflicts: 1479000 | #Constraints: 112955
335.55/336.47 c #Conflicts: 1480000 | #Constraints: 113955
335.55/336.47 c #Conflicts: 1481000 | #Constraints: 114955
335.55/336.47 c #Conflicts: 1482000 | #Constraints: 115955
335.55/336.47 c #Conflicts: 1483000 | #Constraints: 116955
335.55/336.47 c #Conflicts: 1484000 | #Constraints: 117955
335.55/336.47 c #Conflicts: 1485000 | #Constraints: 118955
335.55/336.47 c #Conflicts: 1486000 | #Constraints: 119955
335.55/336.47 c #Conflicts: 1487000 | #Constraints: 120955
335.55/336.47 c #Conflicts: 1488000 | #Constraints: 121955
335.55/336.47 c #Conflicts: 1489000 | #Constraints: 122955
335.55/336.47 c #Conflicts: 1490000 | #Constraints: 123955
335.55/336.47 c #Conflicts: 1491000 | #Constraints: 124955
335.55/336.47 c #Conflicts: 1492000 | #Constraints: 125955
335.55/336.47 c #Conflicts: 1493000 | #Constraints: 126955
335.55/336.47 c #Conflicts: 1494000 | #Constraints: 127955
335.55/336.47 c #Conflicts: 1495000 | #Constraints: 128955
335.55/336.47 c #Conflicts: 1496000 | #Constraints: 129955
335.55/336.47 c #Conflicts: 1497000 | #Constraints: 130955
335.55/336.47 c #Conflicts: 1498000 | #Constraints: 131955
335.55/336.47 c #Conflicts: 1499000 | #Constraints: 132955
335.55/336.47 c #Conflicts: 1500000 | #Constraints: 133955
335.55/336.47 c #Conflicts: 1501000 | #Constraints: 134955
335.55/336.47 c #Conflicts: 1502000 | #Constraints: 135955
335.55/336.47 c #Conflicts: 1503000 | #Constraints: 136955
335.55/336.47 c #Conflicts: 1504000 | #Constraints: 137955
335.55/336.47 c #Conflicts: 1505000 | #Constraints: 138955
335.55/336.47 c #Conflicts: 1506000 | #Constraints: 139955
335.55/336.47 c #Conflicts: 1507000 | #Constraints: 140955
335.55/336.47 c #Conflicts: 1508000 | #Constraints: 141955
335.55/336.47 c #Conflicts: 1509000 | #Constraints: 142955
335.55/336.47 c #Conflicts: 1510000 | #Constraints: 143955
335.55/336.47 c #Conflicts: 1511000 | #Constraints: 144955
335.55/336.47 c #Conflicts: 1512000 | #Constraints: 145955
335.55/336.47 c #Conflicts: 1513000 | #Constraints: 146955
335.55/336.47 c #Conflicts: 1514000 | #Constraints: 147955
335.55/336.47 c #Conflicts: 1515000 | #Constraints: 148955
335.55/336.47 c INPROCESSING
335.55/336.47 c GARBAGE COLLECT
335.55/336.47 c rational objective 908
348.61/349.57 c #Conflicts: 1516000 | #Constraints: 78552
348.61/349.57 c #Conflicts: 1517000 | #Constraints: 79552
348.61/349.57 c #Conflicts: 1518000 | #Constraints: 80552
348.61/349.57 c #Conflicts: 1519000 | #Constraints: 81552
348.61/349.57 c #Conflicts: 1520000 | #Constraints: 82552
348.61/349.57 c #Conflicts: 1521000 | #Constraints: 83552
348.61/349.57 c #Conflicts: 1522000 | #Constraints: 84552
348.61/349.57 c #Conflicts: 1523000 | #Constraints: 85552
348.61/349.57 c #Conflicts: 1524000 | #Constraints: 86552
348.61/349.57 c #Conflicts: 1525000 | #Constraints: 87552
348.61/349.57 c #Conflicts: 1526000 | #Constraints: 88552
348.61/349.57 c #Conflicts: 1527000 | #Constraints: 89552
348.61/349.57 c #Conflicts: 1528000 | #Constraints: 90552
348.61/349.57 c #Conflicts: 1529000 | #Constraints: 91552
348.61/349.57 c #Conflicts: 1530000 | #Constraints: 92552
348.61/349.57 c #Conflicts: 1531000 | #Constraints: 93552
348.61/349.57 c #Conflicts: 1532000 | #Constraints: 94552
348.61/349.57 c #Conflicts: 1533000 | #Constraints: 95552
348.61/349.57 c #Conflicts: 1534000 | #Constraints: 96552
348.61/349.57 c #Conflicts: 1535000 | #Constraints: 97552
348.61/349.57 c #Conflicts: 1536000 | #Constraints: 98552
348.61/349.57 c #Conflicts: 1537000 | #Constraints: 99552
348.61/349.57 c #Conflicts: 1538000 | #Constraints: 100552
348.61/349.57 c #Conflicts: 1539000 | #Constraints: 101552
348.61/349.57 c #Conflicts: 1540000 | #Constraints: 102552
348.61/349.57 c INPROCESSING
348.61/349.57 c GARBAGE COLLECT
348.61/349.57 c rational objective 908
358.98/359.91 c #Conflicts: 1541000 | #Constraints: 55348
358.98/359.91 c #Conflicts: 1542000 | #Constraints: 56348
358.98/359.91 c #Conflicts: 1543000 | #Constraints: 57348
358.98/359.91 c #Conflicts: 1544000 | #Constraints: 58348
358.98/359.91 c #Conflicts: 1545000 | #Constraints: 59348
358.98/359.91 c #Conflicts: 1546000 | #Constraints: 60348
358.98/359.91 c #Conflicts: 1547000 | #Constraints: 61348
358.98/359.91 c #Conflicts: 1548000 | #Constraints: 62348
358.98/359.91 c #Conflicts: 1549000 | #Constraints: 63348
358.98/359.91 c #Conflicts: 1550000 | #Constraints: 64348
358.98/359.91 c #Conflicts: 1551000 | #Constraints: 65348
358.98/359.91 c #Conflicts: 1552000 | #Constraints: 66348
358.98/359.91 c #Conflicts: 1553000 | #Constraints: 67348
358.98/359.91 c #Conflicts: 1554000 | #Constraints: 68348
358.98/359.91 c #Conflicts: 1555000 | #Constraints: 69348
358.98/359.91 c #Conflicts: 1556000 | #Constraints: 70348
358.98/359.91 c #Conflicts: 1557000 | #Constraints: 71348
358.98/359.91 c #Conflicts: 1558000 | #Constraints: 72348
358.98/359.91 c #Conflicts: 1559000 | #Constraints: 73348
358.98/359.91 c #Conflicts: 1560000 | #Constraints: 74348
358.98/359.91 c #Conflicts: 1561000 | #Constraints: 75348
358.98/359.91 c #Conflicts: 1562000 | #Constraints: 76348
358.98/359.91 c #Conflicts: 1563000 | #Constraints: 77348
358.98/359.91 c #Conflicts: 1564000 | #Constraints: 78348
358.98/359.91 c #Conflicts: 1565000 | #Constraints: 79348
358.98/359.91 c #Conflicts: 1566000 | #Constraints: 80348
358.98/359.91 c INPROCESSING
358.98/359.91 c GARBAGE COLLECT
358.98/359.91 c rational objective 908
367.56/368.59 c #Conflicts: 1567000 | #Constraints: 44650
367.56/368.59 c #Conflicts: 1568000 | #Constraints: 45650
367.56/368.59 c #Conflicts: 1569000 | #Constraints: 46650
367.56/368.59 c #Conflicts: 1570000 | #Constraints: 47650
367.56/368.59 c #Conflicts: 1571000 | #Constraints: 48650
367.56/368.59 c #Conflicts: 1572000 | #Constraints: 49650
367.56/368.59 c #Conflicts: 1573000 | #Constraints: 50650
367.56/368.59 c #Conflicts: 1574000 | #Constraints: 51650
367.56/368.59 c #Conflicts: 1575000 | #Constraints: 52650
367.56/368.59 c #Conflicts: 1576000 | #Constraints: 53650
367.56/368.59 c #Conflicts: 1577000 | #Constraints: 54650
367.56/368.59 c #Conflicts: 1578000 | #Constraints: 55650
367.56/368.59 c #Conflicts: 1579000 | #Constraints: 56650
367.56/368.59 c #Conflicts: 1580000 | #Constraints: 57650
367.56/368.59 c #Conflicts: 1581000 | #Constraints: 58650
367.56/368.59 c #Conflicts: 1582000 | #Constraints: 59650
367.56/368.59 c #Conflicts: 1583000 | #Constraints: 60650
367.56/368.59 c #Conflicts: 1584000 | #Constraints: 61650
367.56/368.59 c #Conflicts: 1585000 | #Constraints: 62650
367.56/368.59 c #Conflicts: 1586000 | #Constraints: 63650
367.56/368.59 c #Conflicts: 1587000 | #Constraints: 64650
367.56/368.59 c #Conflicts: 1588000 | #Constraints: 65650
367.56/368.59 c #Conflicts: 1589000 | #Constraints: 66650
367.56/368.59 c #Conflicts: 1590000 | #Constraints: 67650
367.56/368.59 c #Conflicts: 1591000 | #Constraints: 68650
367.56/368.59 c INPROCESSING
367.56/368.59 c GARBAGE COLLECT
367.56/368.59 c rational objective 908
371.35/372.37 c #Conflicts: 1592000 | #Constraints: 35216
371.35/372.37 c #Conflicts: 1593000 | #Constraints: 36216
371.35/372.37 c #Conflicts: 1594000 | #Constraints: 37216
371.35/372.37 c #Conflicts: 1595000 | #Constraints: 38216
371.35/372.37 c #Conflicts: 1596000 | #Constraints: 39216
371.35/372.37 c #Conflicts: 1597000 | #Constraints: 40216
371.35/372.37 c #Conflicts: 1598000 | #Constraints: 41216
371.35/372.37 c #Conflicts: 1599000 | #Constraints: 42216
371.35/372.37 c #Conflicts: 1600000 | #Constraints: 43216
371.35/372.37 c #Conflicts: 1601000 | #Constraints: 44216
371.35/372.37 c #Conflicts: 1602000 | #Constraints: 45216
371.35/372.37 c #Conflicts: 1603000 | #Constraints: 46216
371.35/372.37 c #Conflicts: 1604000 | #Constraints: 47216
371.35/372.37 c #Conflicts: 1605000 | #Constraints: 48216
371.35/372.37 c #Conflicts: 1606000 | #Constraints: 49216
371.35/372.37 c #Conflicts: 1607000 | #Constraints: 50216
371.35/372.37 c #Conflicts: 1608000 | #Constraints: 51216
371.35/372.37 c #Conflicts: 1609000 | #Constraints: 52216
371.35/372.37 c #Conflicts: 1610000 | #Constraints: 53216
371.35/372.37 c cpu time 365.578 s
371.35/372.37 c deterministic time 12758305145 1.28e+10
371.35/372.37 c optimization time 9.4e-05 s
371.35/372.37 c total solve time 365.563 s
371.35/372.37 c core-guided solve time 0 s
371.35/372.37 c propagation time 209.911 s
371.35/372.37 c conflict analysis time 128.696 s
371.35/372.37 c propagations 457123575
371.35/372.37 c resolve steps 53750790
371.35/372.37 c decisions 2086067
371.35/372.37 c conflicts 1610218
371.35/372.37 c restarts 3069
371.35/372.37 c inprocessing phases 109
371.35/372.37 c garbage collections 109 ,( 100.00 )
371.35/372.37 c input clauses 3005 ,( 47.06 )
371.35/372.37 c input cardinalities 3380 ,( 52.94 )
371.35/372.37 c input general constraints 0 ,( 0.00 )
371.35/372.37 c input average constraint length 2.67
371.35/372.37 c input average constraint degree 1.53
371.35/372.37 c learned clauses 1609047 ,( 99.92 )
371.35/372.37 c learned cardinalities 1064 ,( 0.07 )
371.35/372.37 c learned general constraints 230 ,( 0.01 )
371.35/372.37 c learned average constraint length 189.91
371.35/372.37 c learned average constraint degree 19500.72
371.35/372.37 c watched CF 32, 64, 128, Arb: 216 , 0 , 0 , 0
371.35/372.37 c counting CF 32, 64, 128, Arb: 14 , 0 , 0 , 0
371.35/372.37 c watched constraints 216 ,( 93.91 )
371.35/372.37 c counting constraints 14 ,( 6.09 )
371.35/372.37 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2493718750 , 510833293 , 257986 ,( 159266 , 98720 )
371.35/372.37 c gcd simplifications 184
371.35/372.37 c detected cardinalities 10
371.35/372.37 c weakened non-implied lits 4190068
371.35/372.37 c weakened non-implying lits 219
371.35/372.37 c original variables 2724
371.35/372.37 c clausal propagations 268501903
371.35/372.37 c cardinality propagations 186979580
371.35/372.37 c watched propagations 11807
371.35/372.37 c counting propagations 19074
371.35/372.37 c watch lookups 3014008515
371.35/372.37 c watch backjump lookups 0
371.35/372.37 c watch checks 6303167507
371.35/372.37 c propagation checks 1639716716
371.35/372.37 c constraint additions 881205089
371.35/372.37 c trail pops 460818872
371.35/372.37 c formula constraints 6385
371.35/372.37 c learned constraints 1610217
371.35/372.37 c bound constraints 0
371.35/372.37 c core-guided constraints 0
371.35/372.37 c encountered formula constraints 31414043
371.35/372.37 c encountered learned constraints 23905531
371.35/372.37 c encountered bound constraints 0
371.35/372.37 c encountered core-guided constraints 0
371.35/372.37 c LP total time 15.4873 s
371.35/372.37 c LP solve time 4.7 s
371.35/372.37 c LP constraints added 6824
371.35/372.37 c LP constraints removed 434
371.35/372.37 c LP pivots internal 161227
371.35/372.37 c LP pivots root 17576
371.35/372.37 c LP calls 393
371.35/372.37 c LP optimalities 391
371.35/372.37 c LP no pivot count 75
371.35/372.37 c LP infeasibilities 0
371.35/372.37 c LP valid Farkas constraints 0
371.35/372.37 c LP learned Farkas constraints 0
371.35/372.37 c LP basis resets 0
371.35/372.37 c LP cycling count 0
371.35/372.37 c LP singular count 0
371.35/372.37 c LP no primal count 0
371.35/372.37 c LP no farkas count 0
371.35/372.37 c LP other issue count 0
371.35/372.37 c LP Gomory cuts 124
371.35/372.37 c LP learned cuts 315
371.35/372.37 c LP deleted cuts 434
371.35/372.37 c LP encountered Gomory constraints 41434
371.35/372.37 c LP encountered Farkas constraints 0
371.35/372.37 c LP encountered learned Farkas constraints 0
371.35/372.37 c CG auxiliary variables introduced 0
371.35/372.37 c CG solutions found 0
371.35/372.37 c CG cores constructed 0
371.35/372.37 c CG core cardinality constraints returned 0
371.35/372.37 c CG unit cores 0
371.35/372.37 c CG single cores 0
371.35/372.37 c CG blocks removed during cardinality reduction 0
371.35/372.37 c CG first core best 0
371.35/372.37 c CG decision core best 0
371.35/372.37 c CG core reduction tie 0
371.35/372.37 c CG core degree average 0.00
371.35/372.37 c CG core slack average 0.00
371.35/372.37 c CG core upper bound improvements 0
371.35/372.37 c STR number of successful calls 0
371.35/372.37 c STR number of unsuccessful calls 0
371.35/372.37 c STR number of inconclusive calls 0
371.35/372.37 c STR number of successful attempts 0
371.35/372.37 c STR number of unsuccessful attempts 0
371.35/372.37 c STR number of inconclusive attempts 0
371.35/372.37 c STR average degree increase per successful call inf
371.35/372.37 c STR average degree increase per successful attempt inf
371.35/372.37 c STR total number of conflicts for successful attempts 0
371.35/372.37 c STR total number of conflicts for unsuccessful attempts 0
371.35/372.37 c STR total number of conflicts for inconclusive attempts 0
371.35/372.37 c STR average number of conflicts per successful attempt inf
371.35/372.37 c STR average number of conflicts per unsuccessful attempt inf
371.35/372.37 c STR average number of conflicts per inconclusive attempt inf
371.35/372.37 c AVG.sumWPerc 10.16
371.35/372.37 c bigint constraints 0
371.35/372.37 s UNSATISFIABLE
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 (62836 MiB free)
memory of node 1: 64507 MiB (63934 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510942-1751196933/watcher-4510942-1751196933 -o /tmp/evaluation-result-4510942-1751196933/solver-4510942-1751196933 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751192387-26736 --watchdog 3760 run-dec-ls.sh HOME/instance-4510942-1751196933.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=28145, runsolver pid=28142
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.04 4.08 4.04 5/271 28147
/proc/meminfo: memFree=129795004/131250000 swapFree=33010684/33010684
[pid=28145] ppid=28142 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28145/stat : 28145 (run-dec-ls.sh) S 28142 28145 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35371112 4292608 736 18446744073709551615 94639477125120 94639478019653 140724868232944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94639478258704 94639478306448 94639507767296 140724868237671 140724868237797 140724868237797 140724868243399 0
/proc/28145/statm: 1048 736 672 219 0 110 0
[pid=28147] ppid=28145 vsize=67840 memory=23464 CPUtime=0.08 cores=1,3
/proc/28147/stat : 28147 (roundingsat) R 28145 28145 26724 0 -1 4194304 3794 0 0 0 6 2 0 0 20 0 1 0 35371112 69468160 5866 18446744073709551615 4227072 8923433 140730878565040 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14225408 140730878572960 140730878573096 140730878573096 140730878578666 0
/proc/28147/statm: 16960 5866 2304 1147 0 4387 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 72032 KiB
Current children cumulated memory: 26408 KiB
[startup+0.205717 s]*
/proc/loadavg: 4.04 4.08 4.04 5/271 28147
/proc/meminfo: memFree=129795004/131250000 swapFree=33010684/33010684
[pid=28145] ppid=28142 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28145/stat : 28145 (run-dec-ls.sh) S 28142 28145 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35371112 4292608 736 18446744073709551615 94639477125120 94639478019653 140724868232944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94639478258704 94639478306448 94639507767296 140724868237671 140724868237797 140724868237797 140724868243399 0
/proc/28145/statm: 1048 736 672 219 0 110 0
[pid=28147] ppid=28145 vsize=67840 memory=23592 CPUtime=0.18 cores=1,3
/proc/28147/stat : 28147 (roundingsat) R 28145 28145 26724 0 -1 4194304 3805 0 0 0 14 4 0 0 20 0 1 0 35371112 69468160 5898 18446744073709551615 4227072 8923433 140730878565040 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14225408 140730878572960 140730878573096 140730878573096 140730878578666 0
/proc/28147/statm: 16960 5898 2336 1147 0 4387 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 72032 KiB
Current children cumulated memory: 26536 KiB
[startup+0.305401 s]*
/proc/loadavg: 4.04 4.08 4.04 5/271 28147
/proc/meminfo: memFree=129795004/131250000 swapFree=33010684/33010684
[pid=28145] ppid=28142 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28145/stat : 28145 (run-dec-ls.sh) S 28142 28145 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35371112 4292608 736 18446744073709551615 94639477125120 94639478019653 140724868232944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94639478258704 94639478306448 94639507767296 140724868237671 140724868237797 140724868237797 140724868243399 0
/proc/28145/statm: 1048 736 672 219 0 110 0
[pid=28147] ppid=28145 vsize=67840 memory=23720 CPUtime=0.28 cores=1,3
/proc/28147/stat : 28147 (roundingsat) R 28145 28145 26724 0 -1 4194304 3808 0 0 0 23 5 0 0 20 0 1 0 35371112 69468160 5930 18446744073709551615 4227072 8923433 140730878565040 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14225408 140730878572960 140730878573096 140730878573096 140730878578666 0
/proc/28147/statm: 16960 5930 2368 1147 0 4387 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 72032 KiB
Current children cumulated memory: 26664 KiB
[startup+0.700156 s]
/proc/loadavg: 4.04 4.08 4.04 5/271 28147
/proc/meminfo: memFree=129795004/131250000 swapFree=33010684/33010684
[pid=28145] ppid=28142 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28145/stat : 28145 (run-dec-ls.sh) S 28142 28145 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35371112 4292608 736 18446744073709551615 94639477125120 94639478019653 140724868232944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94639478258704 94639478306448 94639507767296 140724868237671 140724868237797 140724868237797 140724868243399 0
/proc/28145/statm: 1048 736 672 219 0 110 0
[pid=28147] ppid=28145 vsize=67840 memory=23720 CPUtime=0.67 cores=1,3
/proc/28147/stat : 28147 (roundingsat) R 28145 28145 26724 0 -1 4194304 3808 0 0 0 59 8 0 0 20 0 1 0 35371112 69468160 5930 18446744073709551615 4227072 8923433 140730878565040 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14225408 140730878572960 140730878573096 140730878573096 140730878578666 0
/proc/28147/statm: 16960 5930 2368 1147 0 4387 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 72032 KiB
Current children cumulated memory: 26664 KiB
[startup+1.50017 s]
/proc/loadavg: 4.04 4.08 4.04 5/271 28147
/proc/meminfo: memFree=129795208/131250000 swapFree=33010684/33010684
[pid=28145] ppid=28142 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28145/stat : 28145 (run-dec-ls.sh) S 28142 28145 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35371112 4292608 736 18446744073709551615 94639477125120 94639478019653 140724868232944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94639478258704 94639478306448 94639507767296 140724868237671 140724868237797 140724868237797 140724868243399 0
/proc/28145/statm: 1048 736 672 219 0 110 0
[pid=28147] ppid=28145 vsize=68520 memory=26492 CPUtime=1.47 cores=1,3
/proc/28147/stat : 28147 (roundingsat) R 28145 28145 26724 0 -1 4194304 3989 0 0 0 137 10 0 0 20 0 1 0 35371112 70164480 6623 18446744073709551615 4227072 8923433 140730878565040 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14225408 140730878572960 140730878573096 140730878573096 140730878578666 0
/proc/28147/statm: 17130 6623 2368 1147 0 4557 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 72712 KiB
Current children cumulated memory: 29436 KiB
[startup+3.10582 s]
/proc/loadavg: 4.04 4.08 4.04 5/271 28147
/proc/meminfo: memFree=129795664/131250000 swapFree=33010684/33010684
[pid=28145] ppid=28142 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28145/stat : 28145 (run-dec-ls.sh) S 28142 28145 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35371112 4292608 736 18446744073709551615 94639477125120 94639478019653 140724868232944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94639478258704 94639478306448 94639507767296 140724868237671 140724868237797 140724868237797 140724868243399 0
/proc/28145/statm: 1048 736 672 219 0 110 0
[pid=28147] ppid=28145 vsize=70604 memory=28284 CPUtime=3.07 cores=1,3
/proc/28147/stat : 28147 (roundingsat) R 28145 28145 26724 0 -1 4194304 4444 0 0 0 294 13 0 0 20 0 1 0 35371112 72298496 7071 18446744073709551615 4227072 8923433 140730878565040 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14225408 140730878572960 140730878573096 140730878573096 140730878578666 0
/proc/28147/statm: 17651 7071 2368 1147 0 5078 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 74796 KiB
Current children cumulated memory: 31228 KiB
[startup+6.30016 s]
/proc/loadavg: 4.12 4.10 4.05 5/270 28147
/proc/meminfo: memFree=129793688/131250000 swapFree=33010684/33010684
[pid=28145] ppid=28142 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28145/stat : 28145 (run-dec-ls.sh) S 28142 28145 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35371112 4292608 736 18446744073709551615 94639477125120 94639478019653 140724868232944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94639478258704 94639478306448 94639507767296 140724868237671 140724868237797 140724868237797 140724868243399 0
/proc/28145/statm: 1048 736 672 219 0 110 0
[pid=28147] ppid=28145 vsize=71208 memory=28796 CPUtime=6.26 cores=1,3
/proc/28147/stat : 28147 (roundingsat) R 28145 28145 26724 0 -1 4194304 4590 0 0 0 605 21 0 0 20 0 1 0 35371112 72916992 7199 18446744073709551615 4227072 8923433 140730878565040 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14225408 140730878572960 140730878573096 140730878573096 140730878578666 0
/proc/28147/statm: 17802 7199 2368 1147 0 5229 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 75400 KiB
Current children cumulated memory: 31740 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.05 5/270 28148
/proc/meminfo: memFree=129787008/131250000 swapFree=33010684/33010684
[pid=28145] ppid=28142 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28145/stat : 28145 (run-dec-ls.sh) S 28142 28145 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35371112 4292608 736 18446744073709551615 94639477125120 94639478019653 140724868232944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94639478258704 94639478306448 94639507767296 140724868237671 140724868237797 140724868237797 140724868243399 0
/proc/28145/statm: 1048 736 672 219 0 110 0
[pid=28147] ppid=28145 vsize=74612 memory=32148 CPUtime=12.64 cores=1,3
/proc/28147/stat : 28147 (roundingsat) R 28145 28145 26724 0 -1 4194304 4811 0 0 0 1230 34 0 0 20 0 1 0 35371112 76402688 8037 18446744073709551615 4227072 8923433 140730878565040 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14225408 140730878572960 140730878573096 140730878573096 140730878578666 0
/proc/28147/statm: 18653 8037 2368 1147 0 6080 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 78804 KiB
Current children cumulated memory: 35092 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.05 5/270 28148
/proc/meminfo: memFree=129787284/131250000 swapFree=33010684/33010684
[pid=28145] ppid=28142 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28145/stat : 28145 (run-dec-ls.sh) S 28142 28145 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35371112 4292608 736 18446744073709551615 94639477125120 94639478019653 140724868232944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94639478258704 94639478306448 94639507767296 140724868237671 140724868237797 140724868237797 140724868243399 0
/proc/28145/statm: 1048 736 672 219 0 110 0
[pid=28147] ppid=28145 vsize=76148 memory=33684 CPUtime=25.41 cores=1,3
/proc/28147/stat : 28147 (roundingsat) R 28145 28145 26724 0 -1 4194304 5199 0 0 0 2483 58 0 0 20 0 1 0 35371112 77975552 8421 18446744073709551615 4227072 8923433 140730878565040 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14225408 140730878572960 140730878573096 140730878573096 140730878578666 0
/proc/28147/statm: 19037 8421 2368 1147 0 6464 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 80340 KiB
Current children cumulated memory: 36628 KiB
[startup+51.1058 s]
/proc/loadavg: 4.13 4.10 4.05 5/270 28148
/proc/meminfo: memFree=129786320/131250000 swapFree=33010684/33010684
[pid=28145] ppid=28142 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28145/stat : 28145 (run-dec-ls.sh) S 28142 28145 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35371112 4292608 736 18446744073709551615 94639477125120 94639478019653 140724868232944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94639478258704 94639478306448 94639507767296 140724868237671 140724868237797 140724868237797 140724868243399 0
/proc/28145/statm: 1048 736 672 219 0 110 0
[pid=28147] ppid=28145 vsize=82520 memory=38776 CPUtime=50.95 cores=1,3
/proc/28147/stat : 28147 (roundingsat) R 28145 28145 26724 0 -1 4194304 5977 0 0 0 4979 116 0 0 20 0 1 0 35371112 84500480 9694 18446744073709551615 4227072 8923433 140730878565040 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14225408 140730878572960 140730878573096 140730878573096 140730878578666 0
/proc/28147/statm: 20630 9694 2368 1147 0 8057 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 86712 KiB
Current children cumulated memory: 41720 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/270 28150
/proc/meminfo: memFree=129778868/131250000 swapFree=33010684/33010684
[pid=28145] ppid=28142 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28145/stat : 28145 (run-dec-ls.sh) S 28142 28145 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35371112 4292608 736 18446744073709551615 94639477125120 94639478019653 140724868232944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94639478258704 94639478306448 94639507767296 140724868237671 140724868237797 140724868237797 140724868243399 0
/proc/28145/statm: 1048 736 672 219 0 110 0
[pid=28147] ppid=28145 vsize=92888 memory=48252 CPUtime=102.02 cores=1,3
/proc/28147/stat : 28147 (roundingsat) R 28145 28145 26724 0 -1 4194304 7324 0 0 0 9992 210 0 0 20 0 1 0 35371112 95117312 12063 18446744073709551615 4227072 8923433 140730878565040 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14225408 140730878572960 140730878573096 140730878573096 140730878578666 0
/proc/28147/statm: 23222 12063 2368 1147 0 10649 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 97080 KiB
Current children cumulated memory: 51196 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.05 5/270 28152
/proc/meminfo: memFree=129758824/131250000 swapFree=33010684/33010684
[pid=28145] ppid=28142 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28145/stat : 28145 (run-dec-ls.sh) S 28142 28145 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35371112 4292608 736 18446744073709551615 94639477125120 94639478019653 140724868232944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94639478258704 94639478306448 94639507767296 140724868237671 140724868237797 140724868237797 140724868243399 0
/proc/28145/statm: 1048 736 672 219 0 110 0
[pid=28147] ppid=28145 vsize=106520 memory=56304 CPUtime=161.88 cores=1,3
/proc/28147/stat : 28147 (roundingsat) R 28145 28145 26724 0 -1 4194304 8344 0 0 0 15876 312 0 0 20 0 1 0 35371112 109076480 14076 18446744073709551615 4227072 8923433 140730878565040 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14225408 140730878572960 140730878573096 140730878573096 140730878578666 0
/proc/28147/statm: 26630 14076 2368 1147 0 14057 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 110712 KiB
Current children cumulated memory: 59248 KiB
[startup+222.3 s]
/proc/loadavg: 4.47 4.18 4.09 5/270 28155
/proc/meminfo: memFree=129735108/131250000 swapFree=33010684/33010684
[pid=28145] ppid=28142 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28145/stat : 28145 (run-dec-ls.sh) S 28142 28145 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35371112 4292608 736 18446744073709551615 94639477125120 94639478019653 140724868232944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94639478258704 94639478306448 94639507767296 140724868237671 140724868237797 140724868237797 140724868243399 0
/proc/28145/statm: 1048 736 672 219 0 110 0
[pid=28147] ppid=28145 vsize=108272 memory=60152 CPUtime=221.74 cores=1,3
/proc/28147/stat : 28147 (roundingsat) R 28145 28145 26724 0 -1 4194304 8795 0 0 0 21766 408 0 0 20 0 1 0 35371112 110870528 15038 18446744073709551615 4227072 8923433 140730878565040 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14225408 140730878572960 140730878573096 140730878573096 140730878578666 0
/proc/28147/statm: 27068 15038 2368 1147 0 14495 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 112464 KiB
Current children cumulated memory: 63096 KiB
[startup+282.3 s]
/proc/loadavg: 4.23 4.16 4.09 5/270 28157
/proc/meminfo: memFree=129714000/131250000 swapFree=33010684/33010684
[pid=28145] ppid=28142 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28145/stat : 28145 (run-dec-ls.sh) S 28142 28145 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35371112 4292608 736 18446744073709551615 94639477125120 94639478019653 140724868232944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94639478258704 94639478306448 94639507767296 140724868237671 140724868237797 140724868237797 140724868243399 0
/proc/28145/statm: 1048 736 672 219 0 110 0
[pid=28147] ppid=28145 vsize=109464 memory=65520 CPUtime=281.59 cores=1,3
/proc/28147/stat : 28147 (roundingsat) R 28145 28145 26724 0 -1 4194304 9119 0 0 0 27665 494 0 0 20 0 1 0 35371112 112091136 16380 18446744073709551615 4227072 8923433 140730878565040 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14225408 140730878572960 140730878573096 140730878573096 140730878578666 0
/proc/28147/statm: 27366 16380 2368 1147 0 14793 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 113656 KiB
Current children cumulated memory: 68464 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.15 4.09 5/268 28159
/proc/meminfo: memFree=129613136/131250000 swapFree=33010684/33010684
[pid=28145] ppid=28142 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28145/stat : 28145 (run-dec-ls.sh) S 28142 28145 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35371112 4292608 736 18446744073709551615 94639477125120 94639478019653 140724868232944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94639478258704 94639478306448 94639507767296 140724868237671 140724868237797 140724868237797 140724868243399 0
/proc/28145/statm: 1048 736 672 219 0 110 0
[pid=28147] ppid=28145 vsize=225668 memory=176516 CPUtime=341.43 cores=1,3
/proc/28147/stat : 28147 (roundingsat) R 28145 28145 26724 0 -1 4194304 13888 0 0 0 33591 552 0 0 20 0 1 0 35371112 231084032 44129 18446744073709551615 4227072 8923433 140730878565040 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14225408 140730878572960 140730878573096 140730878573096 140730878578666 0
/proc/28147/statm: 56417 44129 2368 1147 0 43844 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 229860 KiB
Current children cumulated memory: 179460 KiB
[startup+372.376 s]
# the end of solver process 28145 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=365.583 s, system=5.85888 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+358.4 s]
/proc/loadavg: 4.16 4.16 4.09 5/268 28159
/proc/meminfo: memFree=129600616/131250000 swapFree=33010684/33010684
[pid=28145] ppid=28142 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28145/stat : 28145 (run-dec-ls.sh) S 28142 28145 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35371112 4292608 736 18446744073709551615 94639477125120 94639478019653 140724868232944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94639478258704 94639478306448 94639507767296 140724868237671 140724868237797 140724868237797 140724868243399 0
/proc/28145/statm: 1048 736 672 219 0 110 0
[pid=28147] ppid=28145 vsize=225668 memory=177540 CPUtime=357.49 cores=1,3
/proc/28147/stat : 28147 (roundingsat) R 28145 28145 26724 0 -1 4194304 13933 0 0 0 35180 569 0 0 20 0 1 0 35371112 231084032 44385 18446744073709551615 4227072 8923433 140730878565040 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14225408 140730878572960 140730878573096 140730878573096 140730878578666 0
/proc/28147/statm: 56417 44385 2368 1147 0 43844 0
Current children cumulated CPU time: 357.49 s
Current children cumulated vsize: 229860 KiB
Current children cumulated memory: 180484 KiB
[startup+364.8 s]
/proc/loadavg: 4.15 4.15 4.09 5/268 28160
/proc/meminfo: memFree=129593712/131250000 swapFree=33010684/33010684
[pid=28145] ppid=28142 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28145/stat : 28145 (run-dec-ls.sh) S 28142 28145 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35371112 4292608 736 18446744073709551615 94639477125120 94639478019653 140724868232944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94639478258704 94639478306448 94639507767296 140724868237671 140724868237797 140724868237797 140724868243399 0
/proc/28145/statm: 1048 736 672 219 0 110 0
[pid=28147] ppid=28145 vsize=225668 memory=179588 CPUtime=363.88 cores=1,3
/proc/28147/stat : 28147 (roundingsat) R 28145 28145 26724 0 -1 4194304 13941 0 0 0 35812 576 0 0 20 0 1 0 35371112 231084032 44897 18446744073709551615 4227072 8923433 140730878565040 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14225408 140730878572960 140730878573096 140730878573096 140730878578666 0
/proc/28147/statm: 56417 44897 2368 1147 0 43844 0
Current children cumulated CPU time: 363.88 s
Current children cumulated vsize: 229860 KiB
Current children cumulated memory: 182532 KiB
[startup+368 s]*
/proc/loadavg: 4.14 4.15 4.09 5/268 28160
/proc/meminfo: memFree=129592956/131250000 swapFree=33010684/33010684
[pid=28145] ppid=28142 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28145/stat : 28145 (run-dec-ls.sh) S 28142 28145 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35371112 4292608 736 18446744073709551615 94639477125120 94639478019653 140724868232944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94639478258704 94639478306448 94639507767296 140724868237671 140724868237797 140724868237797 140724868243399 0
/proc/28145/statm: 1048 736 672 219 0 110 0
[pid=28147] ppid=28145 vsize=225668 memory=179588 CPUtime=367.07 cores=1,3
/proc/28147/stat : 28147 (roundingsat) R 28145 28145 26724 0 -1 4194304 13941 0 0 0 36128 579 0 0 20 0 1 0 35371112 231084032 44897 18446744073709551615 4227072 8923433 140730878565040 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14225408 140730878572960 140730878573096 140730878573096 140730878578666 0
/proc/28147/statm: 56417 44897 2368 1147 0 43844 0
Current children cumulated CPU time: 367.07 s
Current children cumulated vsize: 229860 KiB
Current children cumulated memory: 182532 KiB
[startup+369.6 s]
/proc/loadavg: 4.14 4.15 4.09 5/268 28160
/proc/meminfo: memFree=129595232/131250000 swapFree=33010684/33010684
[pid=28145] ppid=28142 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28145/stat : 28145 (run-dec-ls.sh) S 28142 28145 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35371112 4292608 736 18446744073709551615 94639477125120 94639478019653 140724868232944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94639478258704 94639478306448 94639507767296 140724868237671 140724868237797 140724868237797 140724868243399 0
/proc/28145/statm: 1048 736 672 219 0 110 0
[pid=28147] ppid=28145 vsize=225668 memory=179588 CPUtime=368.66 cores=1,3
/proc/28147/stat : 28147 (roundingsat) R 28145 28145 26724 0 -1 4194304 13941 0 0 0 36285 581 0 0 20 0 1 0 35371112 231084032 44897 18446744073709551615 4227072 8923433 140730878565040 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14225408 140730878572960 140730878573096 140730878573096 140730878578666 0
/proc/28147/statm: 56417 44897 2368 1147 0 43844 0
Current children cumulated CPU time: 368.66 s
Current children cumulated vsize: 229860 KiB
Current children cumulated memory: 182532 KiB
[startup+371.2 s]
/proc/loadavg: 4.13 4.15 4.09 5/268 28160
/proc/meminfo: memFree=129595232/131250000 swapFree=33010684/33010684
[pid=28145] ppid=28142 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28145/stat : 28145 (run-dec-ls.sh) S 28142 28145 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35371112 4292608 736 18446744073709551615 94639477125120 94639478019653 140724868232944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94639478258704 94639478306448 94639507767296 140724868237671 140724868237797 140724868237797 140724868243399 0
/proc/28145/statm: 1048 736 672 219 0 110 0
[pid=28147] ppid=28145 vsize=225668 memory=179588 CPUtime=370.25 cores=1,3
/proc/28147/stat : 28147 (roundingsat) R 28145 28145 26724 0 -1 4194304 13941 0 0 0 36443 582 0 0 20 0 1 0 35371112 231084032 44897 18446744073709551615 4227072 8923433 140730878565040 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14225408 140730878572960 140730878573096 140730878573096 140730878578666 0
/proc/28147/statm: 56417 44897 2368 1147 0 43844 0
Current children cumulated CPU time: 370.25 s
Current children cumulated vsize: 229860 KiB
Current children cumulated memory: 182532 KiB
[startup+372 s]*
/proc/loadavg: 4.13 4.15 4.09 5/268 28160
/proc/meminfo: memFree=129593468/131250000 swapFree=33010684/33010684
[pid=28145] ppid=28142 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28145/stat : 28145 (run-dec-ls.sh) S 28142 28145 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35371112 4292608 736 18446744073709551615 94639477125120 94639478019653 140724868232944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94639478258704 94639478306448 94639507767296 140724868237671 140724868237797 140724868237797 140724868243399 0
/proc/28145/statm: 1048 736 672 219 0 110 0
[pid=28147] ppid=28145 vsize=225668 memory=179588 CPUtime=371.06 cores=1,3
/proc/28147/stat : 28147 (roundingsat) R 28145 28145 26724 0 -1 4194304 13941 0 0 0 36522 584 0 0 20 0 1 0 35371112 231084032 44897 18446744073709551615 4227072 8923433 140730878565040 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14225408 140730878572960 140730878573096 140730878573096 140730878578666 0
/proc/28147/statm: 56417 44897 2368 1147 0 43844 0
Current children cumulated CPU time: 371.06 s
Current children cumulated vsize: 229860 KiB
Current children cumulated memory: 182532 KiB
[startup+372.2 s]
/proc/loadavg: 4.13 4.15 4.09 5/268 28160
/proc/meminfo: memFree=129593468/131250000 swapFree=33010684/33010684
[pid=28145] ppid=28142 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28145/stat : 28145 (run-dec-ls.sh) S 28142 28145 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35371112 4292608 736 18446744073709551615 94639477125120 94639478019653 140724868232944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94639478258704 94639478306448 94639507767296 140724868237671 140724868237797 140724868237797 140724868243399 0
/proc/28145/statm: 1048 736 672 219 0 110 0
[pid=28147] ppid=28145 vsize=225668 memory=179588 CPUtime=371.26 cores=1,3
/proc/28147/stat : 28147 (roundingsat) R 28145 28145 26724 0 -1 4194304 13941 0 0 0 36541 585 0 0 20 0 1 0 35371112 231084032 44897 18446744073709551615 4227072 8923433 140730878565040 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14225408 140730878572960 140730878573096 140730878573096 140730878578666 0
/proc/28147/statm: 56417 44897 2368 1147 0 43844 0
Current children cumulated CPU time: 371.26 s
Current children cumulated vsize: 229860 KiB
Current children cumulated memory: 182532 KiB
[startup+372.3 s]
/proc/loadavg: 4.13 4.15 4.09 5/268 28160
/proc/meminfo: memFree=129593468/131250000 swapFree=33010684/33010684
[pid=28145] ppid=28142 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28145/stat : 28145 (run-dec-ls.sh) S 28142 28145 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35371112 4292608 736 18446744073709551615 94639477125120 94639478019653 140724868232944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94639478258704 94639478306448 94639507767296 140724868237671 140724868237797 140724868237797 140724868243399 0
/proc/28145/statm: 1048 736 672 219 0 110 0
[pid=28147] ppid=28145 vsize=225668 memory=179588 CPUtime=371.35 cores=1,3
/proc/28147/stat : 28147 (roundingsat) R 28145 28145 26724 0 -1 4194304 13941 0 0 0 36550 585 0 0 20 0 1 0 35371112 231084032 44897 18446744073709551615 4227072 8923433 140730878565040 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14225408 140730878572960 140730878573096 140730878573096 140730878578666 0
/proc/28147/statm: 56417 44897 2368 1147 0 43844 0
Current children cumulated CPU time: 371.35 s
Current children cumulated vsize: 229860 KiB
Current children cumulated memory: 182532 KiB
Child status: 0
Real time (s): 372.376
CPU time (s): 371.442
CPU user time (s): 365.583
CPU system time (s): 5.85888
CPU usage (%): 99.7491
Max. virtual memory (cumulated for all children) (KiB): 229860
Max. memory (cumulated for all children) (KiB): 182532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 365.583
system time used= 5.85888
maximum resident set size= 179588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14171
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 168
involuntary context switches= 797
# summary of solver processes directly reported to runsolver:
# pid: 28145
# total CPU time (s): 371.442
# total CPU user time (s): 365.583
# total CPU system time (s): 5.85888
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.679826 second user time and 1.82117 second system time
The end
Begin job on nodeC018 at 2025-06-29 13:35:33
IDJOB=4510942
IDBENCH=160406
IDSOLVER=3353
FILE ID=nodeC018/4510942-1751196933
RUNJOBID= nodeC018-1751192387-26736
SLURM_JOB_ID= 9587583
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l050-r049-n1.cnf-extracted.pb.metafix.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510942-1751196933/watcher-4510942-1751196933 -o /tmp/evaluation-result-4510942-1751196933/solver-4510942-1751196933 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751192387-26736 --watchdog 3760 run-dec-ls.sh HOME/instance-4510942-1751196933.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bbbcfa0a64e8945cae78db4c3e84f0d8
RANDOM SEED=1318922662
nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.831
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.787
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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 : 3567.741
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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 : 3663.407
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.848
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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.126
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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 : 3427.755
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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 : 3600.246
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129812924 kB
MemAvailable: 129507728 kB
Buffers: 3280 kB
Cached: 504668 kB
SwapCached: 0 kB
Active: 595068 kB
Inactive: 247496 kB
Active(anon): 352696 kB
Inactive(anon): 0 kB
Active(file): 242372 kB
Inactive(file): 247496 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7248 kB
Writeback: 16 kB
AnonPages: 333344 kB
Mapped: 112664 kB
Shmem: 18076 kB
KReclaimable: 87948 kB
Slab: 171932 kB
SReclaimable: 87948 kB
SUnreclaim: 83984 kB
KernelStack: 4432 kB
PageTables: 3832 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 675408 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 219136 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC018 at 2025-06-29 13:41:45